Index of /adtrem/ADTRem-JLC-benchmarks/DTT-nolemmas/isaplanner/
../
dunsat-goal48.smt2 12-Apr-2021 13:58 1937
goal1.smt2 12-Apr-2021 13:58 2059
goal11.smt2 12-Apr-2021 13:58 1672
goal12.smt2 12-Apr-2021 13:58 1925
goal13.smt2 12-Apr-2021 13:58 1726
goal14.smt2 12-Apr-2021 13:58 1904
goal15.smt2 12-Apr-2021 13:58 2030
goal16.smt2 12-Apr-2021 13:58 1621
goal19.smt2 12-Apr-2021 13:58 1965
goal2.smt2 12-Apr-2021 13:58 1981
goal20.smt2 12-Apr-2021 13:58 2012
goal26.smt2 12-Apr-2021 13:58 1792
goal27.smt2 12-Apr-2021 13:58 1792
goal28.smt2 12-Apr-2021 13:58 1780
goal29.smt2 12-Apr-2021 13:58 1797
goal3.smt2 12-Apr-2021 13:58 1964
goal30.smt2 12-Apr-2021 13:58 2011
goal37.smt2 12-Apr-2021 13:58 1804
goal38.smt2 12-Apr-2021 13:58 1884
goal39.smt2 12-Apr-2021 13:58 1850
goal4.smt2 12-Apr-2021 13:58 1817
goal40.smt2 12-Apr-2021 13:58 1684
goal41.smt2 12-Apr-2021 13:58 1936
goal42.smt2 12-Apr-2021 13:58 1746
goal43.smt2 12-Apr-2021 13:58 2412
goal44.smt2 12-Apr-2021 13:58 1785
goal45.smt2 12-Apr-2021 13:58 1765
goal46.smt2 12-Apr-2021 13:58 1695
goal47.smt2 12-Apr-2021 13:58 2093
goal48.smt2 12-Apr-2021 13:58 1918
goal49.smt2 12-Apr-2021 13:58 1939
goal5.smt2 12-Apr-2021 13:58 1838
goal50.smt2 12-Apr-2021 13:58 2204
goal51.smt2 12-Apr-2021 13:58 1896
goal52.smt2 12-Apr-2021 13:58 1976
goal53.smt2 12-Apr-2021 13:58 2105
goal56.smt2 12-Apr-2021 13:58 2152
goal57.smt2 12-Apr-2021 13:58 1832
goal58.smt2 12-Apr-2021 13:58 2064
goal59.smt2 12-Apr-2021 13:58 2156
goal60.smt2 12-Apr-2021 13:58 1774
goal61.smt2 12-Apr-2021 13:58 1780
goal62.smt2 12-Apr-2021 13:58 1785
goal63.smt2 12-Apr-2021 13:58 1635
goal64.smt2 12-Apr-2021 13:58 2189
goal65.smt2 12-Apr-2021 13:58 1892
goal67.smt2 12-Apr-2021 13:58 1957
goal68.smt2 12-Apr-2021 13:58 1996
goal69.smt2 12-Apr-2021 13:58 1901
goal72.smt2 12-Apr-2021 13:58 2046
goal73.smt2 12-Apr-2021 13:58 2052
goal74.smt2 12-Apr-2021 13:58 2426
goal75.smt2 12-Apr-2021 13:58 1990
goal76.smt2 12-Apr-2021 13:58 2426
goal77.smt2 12-Apr-2021 13:58 1905
goal78.smt2 12-Apr-2021 13:58 1850
goal79.smt2 12-Apr-2021 13:58 2091
goal80.smt2 12-Apr-2021 13:58 2063
goal82.smt2 12-Apr-2021 13:58 2163
goal83.smt2 12-Apr-2021 13:58 2045
goal84.smt2 12-Apr-2021 13:58 2180
goal85.smt2 12-Apr-2021 13:58 2617
goal86.smt2 12-Apr-2021 13:58 2617
goal87.smt2 12-Apr-2021 13:58 2430
unsat-goal1.smt2 12-Apr-2021 13:58 2065
unsat-goal11.smt2 12-Apr-2021 13:58 1678
unsat-goal12.smt2 12-Apr-2021 13:58 1931
unsat-goal14.smt2 12-Apr-2021 13:58 1910
unsat-goal2.smt2 12-Apr-2021 13:58 1987
unsat-goal27.smt2 12-Apr-2021 13:58 1798
unsat-goal28.smt2 12-Apr-2021 13:58 1786
unsat-goal3.smt2 12-Apr-2021 13:58 1970
unsat-goal30.smt2 12-Apr-2021 13:58 2017
unsat-goal39.smt2 12-Apr-2021 13:58 1856
unsat-goal4.smt2 12-Apr-2021 13:58 1823
unsat-goal40.smt2 12-Apr-2021 13:58 1690
unsat-goal42.smt2 12-Apr-2021 13:58 1752
unsat-goal43.smt2 12-Apr-2021 13:58 2418
unsat-goal45.smt2 12-Apr-2021 13:58 1771
unsat-goal5.smt2 12-Apr-2021 13:58 1844
unsat-goal50.smt2 12-Apr-2021 13:58 2210
unsat-goal52.smt2 12-Apr-2021 13:58 1982
unsat-goal59.smt2 12-Apr-2021 13:58 2162
unsat-goal61.smt2 12-Apr-2021 13:58 1786
unsat-goal65.smt2 12-Apr-2021 13:58 1898
unsat-goal67.smt2 12-Apr-2021 13:58 1963
unsat-goal72.smt2 12-Apr-2021 13:58 2052
unsat-goal74.smt2 12-Apr-2021 13:58 2432
unsat-goal80.smt2 12-Apr-2021 13:58 2069
unsat-goal82.smt2 12-Apr-2021 13:58 2169
unsat-goal84.smt2 12-Apr-2021 13:58 2186
unsat-goal85.smt2 12-Apr-2021 13:58 2623