Index of /adtrem/ADTRem-JLC-benchmarks/DTT-nolemmas/clam/
../
dunsat-goal3.smt2 12-Apr-2021 13:58 1919
dunsat-goal6.smt2 12-Apr-2021 13:58 2037
goal10.smt2 12-Apr-2021 13:58 1746
goal11.smt2 12-Apr-2021 13:58 1782
goal12.smt2 12-Apr-2021 13:58 1907
goal17.smt2 12-Apr-2021 13:58 1800
goal18.smt2 12-Apr-2021 13:58 1782
goal19.smt2 12-Apr-2021 13:58 1788
goal2.smt2 12-Apr-2021 13:58 1803
goal20.smt2 12-Apr-2021 13:58 1884
goal21.smt2 12-Apr-2021 13:58 2052
goal22.smt2 12-Apr-2021 13:58 1922
goal23.smt2 12-Apr-2021 13:58 2019
goal25.smt2 12-Apr-2021 13:58 2014
goal27.smt2 12-Apr-2021 13:58 1889
goal28.smt2 12-Apr-2021 13:58 2222
goal29.smt2 12-Apr-2021 13:58 1889
goal3.smt2 12-Apr-2021 13:58 1896
goal30.smt2 12-Apr-2021 13:58 1758
goal31.smt2 12-Apr-2021 13:58 1896
goal32.smt2 12-Apr-2021 13:58 2022
goal38.smt2 12-Apr-2021 13:58 1818
goal39.smt2 12-Apr-2021 13:58 1965
goal4.smt2 12-Apr-2021 13:58 1867
goal46.smt2 12-Apr-2021 13:58 2044
goal49.smt2 12-Apr-2021 13:58 2034
goal5.smt2 12-Apr-2021 13:58 1894
goal50.smt2 12-Apr-2021 13:58 2116
goal52.smt2 12-Apr-2021 13:58 1828
goal53.smt2 12-Apr-2021 13:58 1810
goal54.smt2 12-Apr-2021 13:58 1776
goal55.smt2 12-Apr-2021 13:58 1814
goal56.smt2 12-Apr-2021 13:58 1811
goal57.smt2 12-Apr-2021 13:58 1849
goal58.smt2 12-Apr-2021 13:58 1784
goal59.smt2 12-Apr-2021 13:58 1814
goal6.smt2 12-Apr-2021 13:58 2016
goal60.smt2 12-Apr-2021 13:58 1810
goal61.smt2 12-Apr-2021 13:58 1688
goal63.smt2 12-Apr-2021 13:58 1702
goal64.smt2 12-Apr-2021 13:58 1956
goal65.smt2 12-Apr-2021 13:58 1851
goal69.smt2 12-Apr-2021 13:58 2166
goal7.smt2 12-Apr-2021 13:58 2147
goal70.smt2 12-Apr-2021 13:58 2127
goal71.smt2 12-Apr-2021 13:58 2148
goal72.smt2 12-Apr-2021 13:58 1680
goal75.smt2 12-Apr-2021 13:58 1906
goal76.smt2 12-Apr-2021 13:58 2239
goal77.smt2 12-Apr-2021 13:58 1912
goal78.smt2 12-Apr-2021 13:58 1912
goal8.smt2 12-Apr-2021 13:58 1752
goal81.smt2 12-Apr-2021 13:58 1918
goal82.smt2 12-Apr-2021 13:58 1918
goal9.smt2 12-Apr-2021 13:58 1787
unsat-goal10.smt2 12-Apr-2021 13:58 1751
unsat-goal17.smt2 12-Apr-2021 13:58 1805
unsat-goal18.smt2 12-Apr-2021 13:58 1787
unsat-goal2.smt2 12-Apr-2021 13:58 1809
unsat-goal27.smt2 12-Apr-2021 13:58 1895
unsat-goal28.smt2 12-Apr-2021 13:58 2228
unsat-goal3.smt2 12-Apr-2021 13:58 1901
unsat-goal30.smt2 12-Apr-2021 13:58 1764
unsat-goal38.smt2 12-Apr-2021 13:58 1824
unsat-goal46.smt2 12-Apr-2021 13:58 2049
unsat-goal5.smt2 12-Apr-2021 13:58 1899
unsat-goal50.smt2 12-Apr-2021 13:58 2122
unsat-goal54.smt2 12-Apr-2021 13:58 1781
unsat-goal55.smt2 12-Apr-2021 13:58 1819
unsat-goal58.smt2 12-Apr-2021 13:58 1790
unsat-goal60.smt2 12-Apr-2021 13:58 1816
unsat-goal61.smt2 12-Apr-2021 13:58 1694
unsat-goal7.smt2 12-Apr-2021 13:58 2152
unsat-goal70.smt2 12-Apr-2021 13:58 2132
unsat-goal77.smt2 12-Apr-2021 13:58 1918
unsat-goal78.smt2 12-Apr-2021 13:58 1918
unsat-goal81.smt2 12-Apr-2021 13:58 1924
unsat-goal9.smt2 12-Apr-2021 13:58 1792