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