Index of /adtrem/ADTRem-JLC-benchmarks/CHC-transformed/isaplanner/
../
dunsat-goal48.t.t.smt2 21-Apr-2021 08:05 2513
goal1.t.t.smt2 21-Apr-2021 08:05 1448
goal11.t.t.smt2 21-Apr-2021 08:05 746
goal12.t.t.smt2 21-Apr-2021 08:05 1656
goal13.t.t.smt2 21-Apr-2021 08:05 1252
goal14.t.t.smt2 21-Apr-2021 08:05 1000
goal15.t.t.smt2 21-Apr-2021 08:05 2168
goal16.t.t.smt2 21-Apr-2021 08:05 546
goal19.t.t.smt2 21-Apr-2021 08:05 4113
goal2.t.t.smt2 21-Apr-2021 08:05 3212
goal20.t.t.smt2 21-Apr-2021 08:05 3475
goal26.t.t.smt2 21-Apr-2021 08:05 4446
goal27.t.t.smt2 21-Apr-2021 08:05 9822
goal28.t.t.smt2 21-Apr-2021 08:05 952
goal29.t.t.smt2 21-Apr-2021 08:05 2029
goal3.t.t.smt2 21-Apr-2021 08:05 1560
goal30.t.t.smt2 21-Apr-2021 08:05 1884
goal37.t.t.smt2 21-Apr-2021 08:05 1542
goal38.t.t.smt2 21-Apr-2021 08:05 1982
goal39.t.t.smt2 21-Apr-2021 08:05 7505
goal4.t.t.smt2 21-Apr-2021 08:05 3194
goal40.t.t.smt2 21-Apr-2021 08:05 271
goal41.t.t.smt2 21-Apr-2021 08:05 1400
goal42.t.t.smt2 21-Apr-2021 08:05 1067
goal43.t.t.smt2 21-Apr-2021 08:05 943
goal44.t.t.smt2 21-Apr-2021 08:05 790
goal45.t.t.smt2 21-Apr-2021 08:05 686
goal46.t.t.smt2 21-Apr-2021 08:05 187
goal47.t.t.smt2 21-Apr-2021 08:05 3224
goal48.t.t.smt2 21-Apr-2021 08:05 972
goal49.t.t.smt2 21-Apr-2021 08:05 1782
goal5.t.t.smt2 21-Apr-2021 08:05 3194
goal50.t.t.smt2 21-Apr-2021 08:05 4832
goal51.t.t.smt2 21-Apr-2021 08:05 868
goal52.t.t.smt2 21-Apr-2021 08:05 9642
goal53.t.t.smt2 21-Apr-2021 08:05 12231
goal56.t.t.smt2 21-Apr-2021 08:05 19711
goal57.t.t.smt2 21-Apr-2021 08:05 2363
goal58.t.t.smt2 21-Apr-2021 08:05 7680
goal59.t.t.smt2 21-Apr-2021 08:05 3901
goal60.t.t.smt2 21-Apr-2021 08:05 4961
goal61.t.t.smt2 21-Apr-2021 08:05 2217
goal62.t.t.smt2 21-Apr-2021 08:05 3189
goal63.t.t.smt2 21-Apr-2021 08:05 1094
goal64.t.t.smt2 21-Apr-2021 08:05 4110
goal65.t.t.smt2 21-Apr-2021 08:05 2854
goal67.t.t.smt2 21-Apr-2021 08:05 827
goal68.t.t.smt2 21-Apr-2021 08:05 6175
goal69.t.t.smt2 21-Apr-2021 08:05 1019
goal72.t.t.smt2 21-Apr-2021 08:05 12877
goal73.t.t.smt2 21-Apr-2021 08:05 21925
goal74.t.t.smt2 21-Apr-2021 08:05 174092
goal75.t.t.smt2 21-Apr-2021 08:05 138804
goal77.t.t.smt2 21-Apr-2021 08:05 4396
goal78.t.t.smt2 21-Apr-2021 08:05 7505
goal79.t.t.smt2 21-Apr-2021 08:05 9960
goal80.t.t.smt2 21-Apr-2021 08:05 4447
goal82.t.t.smt2 21-Apr-2021 08:05 6607
goal83.t.t.smt2 21-Apr-2021 08:05 4038
goal84.t.t.smt2 21-Apr-2021 08:05 3698
unsat-goal1.t.t.smt2 21-Apr-2021 08:05 1447
unsat-goal11.t.t.smt2 21-Apr-2021 08:05 745
unsat-goal12.t.t.smt2 21-Apr-2021 08:05 1655
unsat-goal14.t.t.smt2 21-Apr-2021 08:05 999
unsat-goal2.t.t.smt2 21-Apr-2021 08:05 1661
unsat-goal27.t.t.smt2 21-Apr-2021 08:05 20595
unsat-goal28.t.t.smt2 21-Apr-2021 08:05 951
unsat-goal3.t.t.smt2 21-Apr-2021 08:05 1554
unsat-goal30.t.t.smt2 21-Apr-2021 08:05 1883
unsat-goal39.t.t.smt2 21-Apr-2021 08:05 3771
unsat-goal4.t.t.smt2 21-Apr-2021 08:05 1654
unsat-goal40.t.t.smt2 21-Apr-2021 08:05 415
unsat-goal42.t.t.smt2 21-Apr-2021 08:05 1066
unsat-goal43.t.t.smt2 21-Apr-2021 08:05 942
unsat-goal45.t.t.smt2 21-Apr-2021 08:05 685
unsat-goal5.t.t.smt2 21-Apr-2021 08:05 1654
unsat-goal50.t.t.smt2 21-Apr-2021 08:05 117006
unsat-goal52.t.t.smt2 21-Apr-2021 08:05 4873
unsat-goal59.t.t.smt2 21-Apr-2021 08:05 3900
unsat-goal61.t.t.smt2 21-Apr-2021 08:05 1583
unsat-goal65.t.t.smt2 21-Apr-2021 08:05 1492
unsat-goal67.t.t.smt2 21-Apr-2021 08:05 821
unsat-goal72.t.t.smt2 21-Apr-2021 08:05 12877
unsat-goal74.t.t.smt2 21-Apr-2021 08:05 174090
unsat-goal80.t.t.smt2 21-Apr-2021 08:05 4446
unsat-goal82.t.t.smt2 21-Apr-2021 08:05 6605
unsat-goal84.t.t.smt2 21-Apr-2021 08:05 3697