Index of /adtrem/ADTRem-JLC-benchmarks/CHC-source-prolog/isaplanner/
../
dunsat-goal48.pl 12-Apr-2021 13:58 1291
goal1.pl 12-Apr-2021 13:58 962
goal11.pl 12-Apr-2021 13:58 563
goal12.pl 12-Apr-2021 13:58 948
goal13.pl 12-Apr-2021 13:58 713
goal14.pl 12-Apr-2021 13:58 1011
goal15.pl 12-Apr-2021 13:58 745
goal16.pl 12-Apr-2021 13:58 448
goal19.pl 12-Apr-2021 13:58 685
goal2.pl 12-Apr-2021 13:58 672
goal20.pl 12-Apr-2021 13:58 736
goal26.pl 12-Apr-2021 13:58 679
goal27.pl 12-Apr-2021 13:58 573
goal28.pl 12-Apr-2021 13:58 530
goal29.pl 12-Apr-2021 13:58 587
goal3.pl 12-Apr-2021 13:58 660
goal30.pl 12-Apr-2021 13:58 876
goal37.pl 12-Apr-2021 13:58 744
goal38.pl 12-Apr-2021 13:58 523
goal39.pl 12-Apr-2021 13:58 432
goal4.pl 12-Apr-2021 13:58 455
goal40.pl 12-Apr-2021 13:58 404
goal41.pl 12-Apr-2021 13:58 951
goal42.pl 12-Apr-2021 13:58 721
goal43.pl 12-Apr-2021 13:58 1374
goal44.pl 12-Apr-2021 13:58 1089
goal45.pl 12-Apr-2021 13:58 981
goal46.pl 12-Apr-2021 13:58 360
goal47.pl 12-Apr-2021 13:58 1264
goal48.pl 12-Apr-2021 13:58 1282
goal49.pl 12-Apr-2021 13:58 1619
goal5.pl 12-Apr-2021 13:58 660
goal50.pl 12-Apr-2021 13:58 1342
goal51.pl 12-Apr-2021 13:58 903
goal52.pl 12-Apr-2021 13:58 621
goal53.pl 12-Apr-2021 13:58 861
goal56.pl 12-Apr-2021 13:58 1238
goal57.pl 12-Apr-2021 13:58 702
goal58.pl 12-Apr-2021 13:58 1112
goal59.pl 12-Apr-2021 13:58 1348
goal60.pl 12-Apr-2021 13:58 605
goal61.pl 12-Apr-2021 13:58 753
goal62.pl 12-Apr-2021 13:58 785
goal63.pl 12-Apr-2021 13:58 597
goal64.pl 12-Apr-2021 13:58 1039
goal65.pl 12-Apr-2021 13:58 571
goal67.pl 12-Apr-2021 13:58 729
goal68.pl 12-Apr-2021 13:58 914
goal69.pl 12-Apr-2021 13:58 632
goal72.pl 12-Apr-2021 13:58 1055
goal73.pl 12-Apr-2021 13:58 1288
goal74.pl 12-Apr-2021 13:58 1428
goal75.pl 12-Apr-2021 13:58 1005
goal76.pl 12-Apr-2021 13:58 1428
goal77.pl 12-Apr-2021 13:58 996
goal78.pl 12-Apr-2021 13:58 432
goal79.pl 12-Apr-2021 13:58 1004
goal80.pl 12-Apr-2021 13:58 770
goal82.pl 12-Apr-2021 13:58 1262
goal83.pl 12-Apr-2021 13:58 863
goal84.pl 12-Apr-2021 13:58 1341
goal85.pl 12-Apr-2021 13:58 1819
goal86.pl 12-Apr-2021 13:58 1793
goal87.pl 12-Apr-2021 13:58 1680
unsat-goal1.pl 12-Apr-2021 13:58 962
unsat-goal11.pl 12-Apr-2021 13:58 563
unsat-goal12.pl 12-Apr-2021 13:58 948
unsat-goal14.pl 12-Apr-2021 13:58 1011
unsat-goal2.pl 12-Apr-2021 13:58 580
unsat-goal27.pl 12-Apr-2021 13:58 573
unsat-goal28.pl 12-Apr-2021 13:58 530
unsat-goal3.pl 12-Apr-2021 13:58 658
unsat-goal30.pl 12-Apr-2021 13:58 876
unsat-goal39.pl 12-Apr-2021 13:58 430
unsat-goal4.pl 12-Apr-2021 13:58 408
unsat-goal40.pl 12-Apr-2021 13:58 401
unsat-goal42.pl 12-Apr-2021 13:58 721
unsat-goal43.pl 12-Apr-2021 13:58 1374
unsat-goal45.pl 12-Apr-2021 13:58 981
unsat-goal5.pl 12-Apr-2021 13:58 418
unsat-goal50.pl 12-Apr-2021 13:58 1342
unsat-goal52.pl 12-Apr-2021 13:58 566
unsat-goal59.pl 12-Apr-2021 13:58 1348
unsat-goal61.pl 12-Apr-2021 13:58 684
unsat-goal65.pl 12-Apr-2021 13:58 526
unsat-goal67.pl 12-Apr-2021 13:58 727
unsat-goal72.pl 12-Apr-2021 13:58 1055
unsat-goal74.pl 12-Apr-2021 13:58 1428
unsat-goal80.pl 12-Apr-2021 13:58 770
unsat-goal82.pl 12-Apr-2021 13:58 1262
unsat-goal84.pl 12-Apr-2021 13:58 1341
unsat-goal85.pl 12-Apr-2021 13:58 1819