Index of /adtrem/adtrem-ijcar20/benchmarks/CHC-source-prolog/isaplanner/

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