instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/opt/24-treeWeight-613-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/opt/29-treeWeight-758-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/opt/05-treeWeight-772-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/opt/11-treeWeight-649-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/opt/04-treeWeight-526-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/opt/26-treeWeight-478-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/opt/09-treeWeight-594-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/opt/17-treeWeight-752-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/opt/02-treeWeight-753-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/opt/15-treeWeight-485-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/easy/14-treeWeight-1786-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/easy/28-treeWeight-1632-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/easy/15-treeWeight-893-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/easy/08-treeWeight-1711-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/easy/03-treeWeight-1366-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/easy/24-treeWeight-1349-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/easy/26-treeWeight-857-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/easy/06-treeWeight-1166-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/easy/18-treeWeight-1518-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/easy/13-treeWeight-1388-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/easy/11-treeWeight-1335-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/easy/17-treeWeight-1107-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/easy/01-treeWeight-1124-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/hard/20-treeWeight-739-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/hard/18-treeWeight-753-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/hard/16-treeWeight-572-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/hard/07-treeWeight-864-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/hard/19-treeWeight-490-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/hard/24-treeWeight-663-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/hard/17-treeWeight-802-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/hard/10-treeWeight-737-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/hard/15-treeWeight-535-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/hard/22-treeWeight-721-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/hard/03-treeWeight-696-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/hard/04-treeWeight-576-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/hard/28-treeWeight-796-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/hard/08-treeWeight-536-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/hard/09-treeWeight-644-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/hard/13-treeWeight-631-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/hard/26-treeWeight-528-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/unsat/18-treeWeight-702-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/unsat/28-treeWeight-745-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/unsat/13-treeWeight-580-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/unsat/25-treeWeight-658-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/unsat/19-treeWeight-439-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/unsat/04-treeWeight-525-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/unsat/24-treeWeight-612-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/unsat/26-treeWeight-477-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/unsat/27-treeWeight-615-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/unsat/03-treeWeight-645-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/unsat/21-treeWeight-587-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/unsat/10-treeWeight-686-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/unsat/07-treeWeight-813-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/unsat/30-treeWeight-673-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/10leaves/unsat/17-treeWeight-751-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/opt/24-treeWeight-499-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/opt/02-treeWeight-431-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/opt/04-treeWeight-645-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/opt/16-treeWeight-445-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/opt/27-treeWeight-310-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/opt/30-treeWeight-517-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/opt/14-treeWeight-453-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/opt/10-treeWeight-289-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/opt/18-treeWeight-417-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/opt/13-treeWeight-453-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/opt/15-treeWeight-616-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/easy/04-treeWeight-985-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/easy/27-treeWeight-836-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/easy/17-treeWeight-1285-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/easy/19-treeWeight-1085-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/easy/14-treeWeight-813-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/easy/11-treeWeight-1281-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/easy/06-treeWeight-992-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/easy/21-treeWeight-1452-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/easy/07-treeWeight-940-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/easy/24-treeWeight-1009-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/easy/12-treeWeight-1024-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/easy/26-treeWeight-1009-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/easy/30-treeWeight-1321-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/easy/03-treeWeight-1186-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/easy/16-treeWeight-1091-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/easy/01-treeWeight-1962-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/hard/11-treeWeight-703-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/hard/29-treeWeight-376-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/hard/09-treeWeight-503-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/hard/23-treeWeight-341-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/hard/02-treeWeight-481-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/hard/03-treeWeight-668-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/hard/16-treeWeight-495-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/hard/28-treeWeight-655-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/hard/22-treeWeight-352-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/hard/17-treeWeight-618-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/hard/19-treeWeight-786-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/hard/15-treeWeight-666-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/hard/25-treeWeight-715-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/hard/10-treeWeight-339-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/hard/21-treeWeight-517-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/hard/18-treeWeight-467-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/hard/27-treeWeight-360-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/unsat/12-treeWeight-636-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/unsat/08-treeWeight-552-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/unsat/02-treeWeight-430-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/unsat/30-treeWeight-516-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/unsat/18-treeWeight-416-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/unsat/07-treeWeight-371-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/unsat/11-treeWeight-652-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/unsat/26-treeWeight-660-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/unsat/14-treeWeight-452-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/unsat/23-treeWeight-290-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/unsat/25-treeWeight-664-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/unsat/04-treeWeight-644-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/unsat/22-treeWeight-301-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/unsat/27-treeWeight-309-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/unsat/10-treeWeight-288-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/8leaves/unsat/24-treeWeight-498-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/opt/19-treeWeight-70-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/opt/03-treeWeight-49-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/opt/21-treeWeight-84-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/opt/24-treeWeight-59-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/opt/22-treeWeight-79-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/opt/08-treeWeight-87-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/opt/29-treeWeight-92-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/opt/14-treeWeight-80-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/opt/18-treeWeight-102-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/opt/16-treeWeight-40-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/opt/26-treeWeight-92-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/opt/20-treeWeight-68-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/opt/04-treeWeight-86-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/opt/30-treeWeight-104-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/opt/10-treeWeight-48-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/easy/05-treeWeight-206-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/easy/18-treeWeight-254-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/easy/14-treeWeight-154-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/easy/20-treeWeight-166-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/easy/19-treeWeight-181-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/easy/13-treeWeight-318-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/easy/01-treeWeight-180-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/easy/06-treeWeight-146-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/easy/29-treeWeight-136-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/easy/08-treeWeight-233-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/easy/09-treeWeight-117-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/easy/07-treeWeight-157-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/easy/22-treeWeight-156-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/easy/04-treeWeight-184-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/easy/10-treeWeight-88-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/easy/21-treeWeight-159-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/easy/15-treeWeight-184-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/hard/07-treeWeight-82-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/hard/19-treeWeight-75-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/hard/24-treeWeight-64-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/hard/25-treeWeight-96-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/hard/16-treeWeight-45-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/hard/06-treeWeight-82-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/hard/30-treeWeight-109-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/hard/10-treeWeight-53-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/hard/26-treeWeight-97-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/hard/11-treeWeight-94-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/hard/21-treeWeight-89-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/hard/18-treeWeight-107-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/hard/29-treeWeight-97-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/hard/13-treeWeight-105-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/unsat/05-treeWeight-52-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/unsat/19-treeWeight-69-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/unsat/09-treeWeight-62-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/unsat/11-treeWeight-88-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/unsat/07-treeWeight-76-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/unsat/12-treeWeight-57-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/unsat/25-treeWeight-90-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/unsat/02-treeWeight-76-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/unsat/10-treeWeight-47-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/unsat/01-treeWeight-84-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/unsat/13-treeWeight-99-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/unsat/15-treeWeight-58-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/unsat/16-treeWeight-39-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/unsat/21-treeWeight-83-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/unsat/24-treeWeight-58-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/small/unsat/17-treeWeight-47-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/opt/17-treeWeight-707-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/opt/28-treeWeight-720-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/opt/29-treeWeight-474-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/opt/03-treeWeight-754-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/opt/02-treeWeight-832-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/opt/01-treeWeight-802-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/opt/13-treeWeight-467-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/opt/15-treeWeight-737-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/opt/27-treeWeight-702-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/opt/24-treeWeight-448-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/opt/08-treeWeight-605-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/opt/19-treeWeight-782-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/opt/20-treeWeight-430-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/opt/30-treeWeight-518-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/opt/09-treeWeight-672-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/opt/06-treeWeight-640-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/opt/12-treeWeight-431-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/opt/25-treeWeight-685-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/opt/21-treeWeight-844-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/easy/28-treeWeight-1800-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/easy/20-treeWeight-935-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/easy/21-treeWeight-1975-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/easy/10-treeWeight-1866-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/easy/26-treeWeight-883-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/easy/13-treeWeight-986-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/easy/29-treeWeight-1054-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/easy/22-treeWeight-2849-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/easy/14-treeWeight-1055-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/easy/24-treeWeight-1255-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/easy/25-treeWeight-1219-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/easy/08-treeWeight-1606-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/easy/27-treeWeight-1159-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/easy/23-treeWeight-1008-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/easy/30-treeWeight-1543-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/easy/01-treeWeight-1395-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/easy/15-treeWeight-1550-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/hard/26-treeWeight-289-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/hard/04-treeWeight-682-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/hard/20-treeWeight-480-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/hard/19-treeWeight-832-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/hard/09-treeWeight-722-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/hard/17-treeWeight-757-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/hard/24-treeWeight-498-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/hard/03-treeWeight-804-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/hard/28-treeWeight-770-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/hard/05-treeWeight-743-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/hard/08-treeWeight-655-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/hard/11-treeWeight-595-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/hard/12-treeWeight-481-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/hard/01-treeWeight-852-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/unsat/21-treeWeight-843-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/unsat/07-treeWeight-689-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/unsat/14-treeWeight-278-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/unsat/10-treeWeight-794-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/unsat/26-treeWeight-238-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/unsat/15-treeWeight-736-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/unsat/03-treeWeight-753-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/unsat/30-treeWeight-517-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/unsat/02-treeWeight-831-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/unsat/17-treeWeight-706-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/unsat/20-treeWeight-429-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/unsat/19-treeWeight-781-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-first/weighted-sequence/instances/9leaves/unsat/28-treeWeight-719-9leaves.asp.ground
