Index of /adtrem/ADTRem-JLC-benchmarks/CHC-source/isaplanner/
../
dunsat-goal48.smt2 15-Apr-2021 10:33 2992
goal1.smt2 15-Apr-2021 10:33 2821
goal11.smt2 15-Apr-2021 10:33 1979
goal12.smt2 15-Apr-2021 10:33 2787
goal13.smt2 15-Apr-2021 10:33 2072
goal14.smt2 15-Apr-2021 10:33 2861
goal15.smt2 15-Apr-2021 10:33 2487
goal16.smt2 15-Apr-2021 10:33 1168
goal19.smt2 15-Apr-2021 10:33 1907
goal2.smt2 15-Apr-2021 10:33 2060
goal20.smt2 15-Apr-2021 10:33 2467
goal26.smt2 15-Apr-2021 10:33 1776
goal27.smt2 15-Apr-2021 10:33 1776
goal28.smt2 15-Apr-2021 10:33 1745
goal29.smt2 15-Apr-2021 10:33 2076
goal3.smt2 15-Apr-2021 10:33 2195
goal30.smt2 15-Apr-2021 10:33 2909
goal37.smt2 15-Apr-2021 10:33 2451
goal38.smt2 15-Apr-2021 10:33 1766
goal39.smt2 15-Apr-2021 10:33 1473
goal4.smt2 15-Apr-2021 10:33 1569
goal40.smt2 15-Apr-2021 10:33 1189
goal41.smt2 15-Apr-2021 10:33 2818
goal42.smt2 15-Apr-2021 10:33 2122
goal43.smt2 15-Apr-2021 10:33 4228
goal44.smt2 15-Apr-2021 10:33 3745
goal45.smt2 15-Apr-2021 10:33 3555
goal46.smt2 15-Apr-2021 10:33 1538
goal47.smt2 15-Apr-2021 10:33 1810
goal48.smt2 15-Apr-2021 10:33 2992
goal49.smt2 15-Apr-2021 10:33 2946
goal5.smt2 15-Apr-2021 10:33 1569
goal50.smt2 15-Apr-2021 10:33 3784
goal51.smt2 15-Apr-2021 10:33 2593
goal52.smt2 15-Apr-2021 10:33 2009
goal53.smt2 15-Apr-2021 10:33 2895
goal56.smt2 15-Apr-2021 10:33 3575
goal57.smt2 15-Apr-2021 10:33 2309
goal58.smt2 15-Apr-2021 10:33 3359
goal59.smt2 15-Apr-2021 10:33 4547
goal60.smt2 15-Apr-2021 10:33 1573
goal61.smt2 15-Apr-2021 10:33 1984
goal62.smt2 15-Apr-2021 10:33 2093
goal63.smt2 15-Apr-2021 10:33 1633
goal64.smt2 15-Apr-2021 10:33 2819
goal65.smt2 15-Apr-2021 10:33 1672
goal67.smt2 15-Apr-2021 10:33 2399
goal68.smt2 15-Apr-2021 10:33 2442
goal69.smt2 15-Apr-2021 10:33 2168
goal72.smt2 15-Apr-2021 10:33 3245
goal73.smt2 15-Apr-2021 10:33 3975
goal74.smt2 15-Apr-2021 10:33 4234
goal75.smt2 15-Apr-2021 10:33 3168
goal76.smt2 15-Apr-2021 10:33 4234
goal77.smt2 15-Apr-2021 10:33 2707
goal78.smt2 15-Apr-2021 10:33 1473
goal79.smt2 15-Apr-2021 10:33 3279
goal80.smt2 15-Apr-2021 10:33 2623
goal82.smt2 15-Apr-2021 10:33 3640
goal83.smt2 15-Apr-2021 10:33 2810
goal84.smt2 15-Apr-2021 10:33 4627
goal85.smt2 15-Apr-2021 10:33 5603
goal86.smt2 15-Apr-2021 10:33 5629
goal87.smt2 15-Apr-2021 10:33 5341
unsat-goal1.smt2 15-Apr-2021 10:33 2820
unsat-goal11.smt2 15-Apr-2021 10:33 1978
unsat-goal12.smt2 15-Apr-2021 10:33 2786
unsat-goal14.smt2 15-Apr-2021 10:33 2860
unsat-goal2.smt2 15-Apr-2021 10:33 1769
unsat-goal27.smt2 15-Apr-2021 10:33 1775
unsat-goal28.smt2 15-Apr-2021 10:33 1744
unsat-goal3.smt2 15-Apr-2021 10:33 2189
unsat-goal30.smt2 15-Apr-2021 10:33 2908
unsat-goal39.smt2 15-Apr-2021 10:33 1443
unsat-goal4.smt2 15-Apr-2021 10:33 1374
unsat-goal40.smt2 15-Apr-2021 10:33 1160
unsat-goal42.smt2 15-Apr-2021 10:33 2121
unsat-goal43.smt2 15-Apr-2021 10:33 4227
unsat-goal45.smt2 15-Apr-2021 10:33 3554
unsat-goal5.smt2 15-Apr-2021 10:33 1374
unsat-goal50.smt2 15-Apr-2021 10:33 3782
unsat-goal52.smt2 15-Apr-2021 10:33 1797
unsat-goal59.smt2 15-Apr-2021 10:33 4546
unsat-goal61.smt2 15-Apr-2021 10:33 1721
unsat-goal65.smt2 15-Apr-2021 10:33 1457
unsat-goal67.smt2 15-Apr-2021 10:33 2393
unsat-goal72.smt2 15-Apr-2021 10:33 3245
unsat-goal74.smt2 15-Apr-2021 10:33 4232
unsat-goal80.smt2 15-Apr-2021 10:33 2622
unsat-goal82.smt2 15-Apr-2021 10:33 3638
unsat-goal84.smt2 15-Apr-2021 10:33 4626
unsat-goal85.smt2 15-Apr-2021 10:33 5602