The current version of pack scasp does not contain a file ATTIC/test_scasp/weight_seq/instances/51-weight_assignment_tree-2133-0.asp
scasp
ATTIC/test_scasp/weight_seq/instances/51-weight_assignment_tree-2133-0.asp