Index of /adtrem/ADTRem-JLC-benchmarks/CHC-source-prolog/clam/
../
dunsat-goal3.pl 12-Apr-2021 13:58 528
dunsat-goal6.pl 12-Apr-2021 13:58 678
goal10.pl 12-Apr-2021 13:58 661
goal11.pl 12-Apr-2021 13:58 712
goal12.pl 12-Apr-2021 13:58 805
goal17.pl 12-Apr-2021 13:58 742
goal18.pl 12-Apr-2021 13:58 712
goal19.pl 12-Apr-2021 13:58 722
goal2.pl 12-Apr-2021 13:58 426
goal20.pl 12-Apr-2021 13:58 709
goal21.pl 12-Apr-2021 13:58 874
goal22.pl 12-Apr-2021 13:58 825
goal23.pl 12-Apr-2021 13:58 817
goal25.pl 12-Apr-2021 13:58 975
goal27.pl 12-Apr-2021 13:58 791
goal28.pl 12-Apr-2021 13:58 1182
goal29.pl 12-Apr-2021 13:58 791
goal3.pl 12-Apr-2021 13:58 518
goal30.pl 12-Apr-2021 13:58 677
goal31.pl 12-Apr-2021 13:58 796
goal32.pl 12-Apr-2021 13:58 844
goal38.pl 12-Apr-2021 13:58 568
goal39.pl 12-Apr-2021 13:58 538
goal4.pl 12-Apr-2021 13:58 512
goal46.pl 12-Apr-2021 13:58 981
goal49.pl 12-Apr-2021 13:58 996
goal5.pl 12-Apr-2021 13:58 496
goal50.pl 12-Apr-2021 13:58 718
goal52.pl 12-Apr-2021 13:58 432
goal53.pl 12-Apr-2021 13:58 398
goal54.pl 12-Apr-2021 13:58 631
goal55.pl 12-Apr-2021 13:58 642
goal56.pl 12-Apr-2021 13:58 663
goal57.pl 12-Apr-2021 13:58 674
goal58.pl 12-Apr-2021 13:58 684
goal59.pl 12-Apr-2021 13:58 725
goal6.pl 12-Apr-2021 13:58 668
goal60.pl 12-Apr-2021 13:58 727
goal61.pl 12-Apr-2021 13:58 582
goal63.pl 12-Apr-2021 13:58 606
goal64.pl 12-Apr-2021 13:58 848
goal65.pl 12-Apr-2021 13:58 456
goal69.pl 12-Apr-2021 13:58 920
goal7.pl 12-Apr-2021 13:58 751
goal70.pl 12-Apr-2021 13:58 667
goal71.pl 12-Apr-2021 13:58 1045
goal72.pl 12-Apr-2021 13:58 602
goal75.pl 12-Apr-2021 13:58 805
goal76.pl 12-Apr-2021 13:58 1196
goal77.pl 12-Apr-2021 13:58 815
goal78.pl 12-Apr-2021 13:58 815
goal8.pl 12-Apr-2021 13:58 620
goal81.pl 12-Apr-2021 13:58 820
goal82.pl 12-Apr-2021 13:58 820
goal9.pl 12-Apr-2021 13:58 652
unsat-goal10.pl 12-Apr-2021 13:58 661
unsat-goal17.pl 12-Apr-2021 13:58 742
unsat-goal18.pl 12-Apr-2021 13:58 712
unsat-goal2.pl 12-Apr-2021 13:58 426
unsat-goal27.pl 12-Apr-2021 13:58 791
unsat-goal28.pl 12-Apr-2021 13:58 1182
unsat-goal3.pl 12-Apr-2021 13:58 518
unsat-goal30.pl 12-Apr-2021 13:58 677
unsat-goal38.pl 12-Apr-2021 13:58 547
unsat-goal46.pl 12-Apr-2021 13:58 981
unsat-goal5.pl 12-Apr-2021 13:58 496
unsat-goal50.pl 12-Apr-2021 13:58 718
unsat-goal54.pl 12-Apr-2021 13:58 631
unsat-goal55.pl 12-Apr-2021 13:58 642
unsat-goal58.pl 12-Apr-2021 13:58 684
unsat-goal60.pl 12-Apr-2021 13:58 727
unsat-goal61.pl 12-Apr-2021 13:58 582
unsat-goal7.pl 12-Apr-2021 13:58 751
unsat-goal70.pl 12-Apr-2021 13:58 667
unsat-goal77.pl 12-Apr-2021 13:58 815
unsat-goal78.pl 12-Apr-2021 13:58 815
unsat-goal81.pl 12-Apr-2021 13:58 820
unsat-goal9.pl 12-Apr-2021 13:58 652