Index of /adtrem/adtrem-ijcar20/benchmarks/DTT-nolemmas/clam/
../
goal10.smt2 09-Apr-2021 10:36 1746
goal11.smt2 09-Apr-2021 10:36 1782
goal12.smt2 09-Apr-2021 10:36 1907
goal17.smt2 09-Apr-2021 10:36 1800
goal18.smt2 09-Apr-2021 10:36 1782
goal19.smt2 09-Apr-2021 10:36 1788
goal2.smt2 09-Apr-2021 10:36 1803
goal20.smt2 09-Apr-2021 10:36 1884
goal21.smt2 09-Apr-2021 10:36 2052
goal22.smt2 09-Apr-2021 10:36 1922
goal23.smt2 09-Apr-2021 10:36 2019
goal25.smt2 09-Apr-2021 10:36 2014
goal27.smt2 09-Apr-2021 10:36 1889
goal28.smt2 09-Apr-2021 10:36 2222
goal29.smt2 09-Apr-2021 10:36 1889
goal3.smt2 09-Apr-2021 10:36 1896
goal30.smt2 09-Apr-2021 10:36 1758
goal31.smt2 09-Apr-2021 10:36 1896
goal32.smt2 09-Apr-2021 10:36 2022
goal38.smt2 09-Apr-2021 10:36 1818
goal39.smt2 09-Apr-2021 10:36 1962
goal4.smt2 09-Apr-2021 10:36 1867
goal46.smt2 09-Apr-2021 10:36 2044
goal49.smt2 09-Apr-2021 10:36 2034
goal5.smt2 09-Apr-2021 10:36 1894
goal50.smt2 09-Apr-2021 10:36 2116
goal52.smt2 09-Apr-2021 10:36 1828
goal53.smt2 09-Apr-2021 10:36 1810
goal54.smt2 09-Apr-2021 10:36 1776
goal55.smt2 09-Apr-2021 10:36 1814
goal56.smt2 09-Apr-2021 10:36 1811
goal57.smt2 09-Apr-2021 10:36 1849
goal58.smt2 09-Apr-2021 10:36 1784
goal59.smt2 09-Apr-2021 10:36 1814
goal6.smt2 09-Apr-2021 10:36 2016
goal60.smt2 09-Apr-2021 10:36 1810
goal61.smt2 09-Apr-2021 10:36 1688
goal63.smt2 09-Apr-2021 10:36 1702
goal64.smt2 09-Apr-2021 10:36 1956
goal65.smt2 09-Apr-2021 10:36 1851
goal69.smt2 09-Apr-2021 10:36 2162
goal7.smt2 09-Apr-2021 10:36 2147
goal70.smt2 09-Apr-2021 10:36 2127
goal71.smt2 09-Apr-2021 10:36 2148
goal72.smt2 09-Apr-2021 10:36 1680
goal75.smt2 09-Apr-2021 10:36 1906
goal76.smt2 09-Apr-2021 10:36 2239
goal77.smt2 09-Apr-2021 10:36 1912
goal78.smt2 09-Apr-2021 10:36 1912
goal8.smt2 09-Apr-2021 10:36 1752
goal81.smt2 09-Apr-2021 10:36 1918
goal82.smt2 09-Apr-2021 10:36 1918
goal9.smt2 09-Apr-2021 10:36 1787