instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/opt/22-treeWeight-671-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/opt/14-treeWeight-835-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/opt/21-treeWeight-588-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/opt/19-treeWeight-440-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/opt/25-treeWeight-659-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/opt/13-treeWeight-581-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/opt/23-treeWeight-542-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/opt/30-treeWeight-674-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/opt/27-treeWeight-616-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/opt/16-treeWeight-522-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/opt/10-treeWeight-687-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/opt/18-treeWeight-703-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/opt/01-treeWeight-315-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/opt/08-treeWeight-486-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/opt/28-treeWeight-746-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/opt/03-treeWeight-646-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/opt/06-treeWeight-648-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/opt/07-treeWeight-814-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/opt/12-treeWeight-624-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/opt/20-treeWeight-689-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/easy/07-treeWeight-1898-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/easy/19-treeWeight-1192-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/easy/10-treeWeight-1173-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/easy/30-treeWeight-1493-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/easy/04-treeWeight-730-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/easy/25-treeWeight-1344-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/easy/09-treeWeight-1164-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/easy/23-treeWeight-2469-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/easy/21-treeWeight-1178-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/easy/27-treeWeight-1857-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/easy/05-treeWeight-1052-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/easy/16-treeWeight-1796-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/easy/22-treeWeight-1194-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/easy/20-treeWeight-1103-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/easy/12-treeWeight-1250-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/easy/02-treeWeight-1279-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/easy/29-treeWeight-1724-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/hard/23-treeWeight-592-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/hard/12-treeWeight-674-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/hard/29-treeWeight-808-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/hard/01-treeWeight-365-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/hard/25-treeWeight-709-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/hard/11-treeWeight-699-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/hard/05-treeWeight-822-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/hard/30-treeWeight-724-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/hard/21-treeWeight-638-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/hard/02-treeWeight-803-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/hard/14-treeWeight-885-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/hard/27-treeWeight-666-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/hard/06-treeWeight-698-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/unsat/22-treeWeight-670-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/unsat/15-treeWeight-484-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/unsat/11-treeWeight-648-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/unsat/16-treeWeight-521-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/unsat/20-treeWeight-688-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/unsat/12-treeWeight-623-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/unsat/01-treeWeight-314-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/unsat/29-treeWeight-757-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/unsat/06-treeWeight-647-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/unsat/23-treeWeight-541-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/unsat/05-treeWeight-771-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/unsat/14-treeWeight-834-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/unsat/02-treeWeight-752-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/unsat/08-treeWeight-485-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/10leaves/unsat/09-treeWeight-593-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/opt/09-treeWeight-453-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/opt/07-treeWeight-372-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/opt/05-treeWeight-512-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/opt/22-treeWeight-302-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/opt/25-treeWeight-665-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/opt/08-treeWeight-553-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/opt/01-treeWeight-495-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/opt/17-treeWeight-568-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/opt/03-treeWeight-618-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/opt/21-treeWeight-467-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/opt/29-treeWeight-326-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/opt/12-treeWeight-637-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/opt/19-treeWeight-736-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/opt/06-treeWeight-456-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/opt/26-treeWeight-661-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/opt/28-treeWeight-605-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/opt/11-treeWeight-653-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/opt/20-treeWeight-646-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/opt/23-treeWeight-291-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/easy/15-treeWeight-1237-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/easy/25-treeWeight-1278-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/easy/13-treeWeight-823-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/easy/18-treeWeight-1026-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/easy/09-treeWeight-1509-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/easy/05-treeWeight-1337-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/easy/08-treeWeight-2070-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/easy/02-treeWeight-773-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/easy/23-treeWeight-627-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/easy/10-treeWeight-936-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/easy/28-treeWeight-1381-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/easy/29-treeWeight-828-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/easy/22-treeWeight-835-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/easy/20-treeWeight-904-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/hard/05-treeWeight-562-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/hard/20-treeWeight-696-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/hard/06-treeWeight-506-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/hard/12-treeWeight-687-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/hard/08-treeWeight-603-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/hard/26-treeWeight-711-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/hard/24-treeWeight-549-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/hard/30-treeWeight-567-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/hard/01-treeWeight-545-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/hard/04-treeWeight-695-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/hard/13-treeWeight-503-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/hard/14-treeWeight-503-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/hard/07-treeWeight-422-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/unsat/19-treeWeight-735-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/unsat/01-treeWeight-494-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/unsat/06-treeWeight-455-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/unsat/15-treeWeight-615-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/unsat/17-treeWeight-567-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/unsat/28-treeWeight-604-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/unsat/05-treeWeight-511-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/unsat/21-treeWeight-466-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/unsat/09-treeWeight-452-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/unsat/13-treeWeight-452-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/unsat/20-treeWeight-645-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/unsat/16-treeWeight-444-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/unsat/03-treeWeight-617-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/8leaves/unsat/29-treeWeight-325-8leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/opt/05-treeWeight-53-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/opt/12-treeWeight-58-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/opt/27-treeWeight-104-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/opt/13-treeWeight-100-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/opt/01-treeWeight-85-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/opt/23-treeWeight-69-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/opt/02-treeWeight-77-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/opt/11-treeWeight-89-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/opt/06-treeWeight-77-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/opt/09-treeWeight-63-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/opt/17-treeWeight-48-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/opt/25-treeWeight-91-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/opt/07-treeWeight-77-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/opt/28-treeWeight-76-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/opt/15-treeWeight-59-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/easy/12-treeWeight-104-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/easy/25-treeWeight-177-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/easy/16-treeWeight-116-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/easy/03-treeWeight-150-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/easy/02-treeWeight-195-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/easy/27-treeWeight-295-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/easy/17-treeWeight-161-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/easy/26-treeWeight-171-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/easy/23-treeWeight-163-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/easy/11-treeWeight-198-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/easy/30-treeWeight-169-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/easy/24-treeWeight-127-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/easy/28-treeWeight-230-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/hard/03-treeWeight-54-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/hard/15-treeWeight-64-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/hard/28-treeWeight-81-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/hard/23-treeWeight-74-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/hard/09-treeWeight-68-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/hard/05-treeWeight-58-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/hard/20-treeWeight-73-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/hard/01-treeWeight-90-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/hard/02-treeWeight-82-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/hard/17-treeWeight-53-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/hard/12-treeWeight-63-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/hard/27-treeWeight-109-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/hard/08-treeWeight-92-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/hard/04-treeWeight-91-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/hard/22-treeWeight-84-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/hard/14-treeWeight-85-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/unsat/27-treeWeight-103-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/unsat/23-treeWeight-68-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/unsat/28-treeWeight-75-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/unsat/14-treeWeight-79-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/unsat/29-treeWeight-91-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/unsat/18-treeWeight-101-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/unsat/22-treeWeight-78-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/unsat/30-treeWeight-103-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/unsat/20-treeWeight-67-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/unsat/04-treeWeight-85-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/unsat/06-treeWeight-76-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/unsat/03-treeWeight-48-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/unsat/26-treeWeight-91-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/small/unsat/08-treeWeight-86-10leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/opt/23-treeWeight-679-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/opt/22-treeWeight-579-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/opt/07-treeWeight-690-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/opt/04-treeWeight-632-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/opt/18-treeWeight-657-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/opt/10-treeWeight-795-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/opt/14-treeWeight-279-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/opt/11-treeWeight-545-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/opt/26-treeWeight-239-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/opt/05-treeWeight-693-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/opt/16-treeWeight-824-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/easy/18-treeWeight-1528-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/easy/03-treeWeight-1554-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/easy/04-treeWeight-1976-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/easy/11-treeWeight-1018-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/easy/09-treeWeight-1242-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/easy/12-treeWeight-847-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/easy/06-treeWeight-1101-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/easy/02-treeWeight-1153-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/easy/19-treeWeight-1008-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/easy/07-treeWeight-1490-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/easy/05-treeWeight-1515-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/easy/16-treeWeight-1703-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/easy/17-treeWeight-1687-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/hard/10-treeWeight-845-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/hard/30-treeWeight-568-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/hard/07-treeWeight-740-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/hard/02-treeWeight-882-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/hard/13-treeWeight-517-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/hard/16-treeWeight-874-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/hard/23-treeWeight-729-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/hard/15-treeWeight-787-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/hard/14-treeWeight-329-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/hard/06-treeWeight-690-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/hard/29-treeWeight-524-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/hard/22-treeWeight-629-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/hard/18-treeWeight-707-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/hard/21-treeWeight-894-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/hard/27-treeWeight-752-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/hard/25-treeWeight-735-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/unsat/25-treeWeight-684-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/unsat/01-treeWeight-801-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/unsat/09-treeWeight-671-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/unsat/29-treeWeight-473-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/unsat/06-treeWeight-639-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/unsat/11-treeWeight-544-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/unsat/18-treeWeight-656-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/unsat/22-treeWeight-578-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/unsat/27-treeWeight-701-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/unsat/05-treeWeight-692-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/unsat/23-treeWeight-678-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/unsat/12-treeWeight-430-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/unsat/08-treeWeight-604-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/unsat/13-treeWeight-466-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/unsat/04-treeWeight-631-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/unsat/16-treeWeight-823-9leaves.asp.ground
instances/asp/data/weighted-sequence/weighted-sequence/weighted-sequence-last/weighted-sequence/instances/9leaves/unsat/24-treeWeight-447-9leaves.asp.ground
