Index of /adtrem/adtrem-ijcar20/benchmarks/DTT-nolemmas/isaplanner/

../
goal1.smt2                                         09-Apr-2021 10:36                2059
goal11.smt2                                        09-Apr-2021 10:36                1672
goal12.smt2                                        09-Apr-2021 10:36                1925
goal13.smt2                                        09-Apr-2021 10:36                1726
goal14.smt2                                        09-Apr-2021 10:36                1904
goal15.smt2                                        09-Apr-2021 10:36                2030
goal16.smt2                                        09-Apr-2021 10:36                1621
goal19.smt2                                        09-Apr-2021 10:36                1965
goal2.smt2                                         09-Apr-2021 10:36                1981
goal20.smt2                                        09-Apr-2021 10:36                2012
goal26.smt2                                        09-Apr-2021 10:36                1792
goal27.smt2                                        09-Apr-2021 10:36                1792
goal28.smt2                                        09-Apr-2021 10:36                1780
goal29.smt2                                        09-Apr-2021 10:36                1797
goal3.smt2                                         09-Apr-2021 10:36                1964
goal30.smt2                                        09-Apr-2021 10:36                2011
goal37.smt2                                        09-Apr-2021 10:36                1804
goal38.smt2                                        09-Apr-2021 10:36                1884
goal39.smt2                                        09-Apr-2021 10:36                1850
goal4.smt2                                         09-Apr-2021 10:36                1817
goal40.smt2                                        09-Apr-2021 10:36                1684
goal41.smt2                                        09-Apr-2021 10:36                1936
goal42.smt2                                        09-Apr-2021 10:36                1746
goal43.smt2                                        09-Apr-2021 10:36                2412
goal44.smt2                                        09-Apr-2021 10:36                1785
goal45.smt2                                        09-Apr-2021 10:36                1765
goal46.smt2                                        09-Apr-2021 10:36                1695
goal47.smt2                                        09-Apr-2021 10:36                2093
goal48.smt2                                        09-Apr-2021 10:36                1918
goal49.smt2                                        09-Apr-2021 10:36                1939
goal5.smt2                                         09-Apr-2021 10:36                1838
goal50.smt2                                        09-Apr-2021 10:36                2204
goal51.smt2                                        09-Apr-2021 10:36                1896
goal52.smt2                                        09-Apr-2021 10:36                1976
goal53.smt2                                        09-Apr-2021 10:36                2105
goal56.smt2                                        09-Apr-2021 10:36                2152
goal57.smt2                                        09-Apr-2021 10:36                1832
goal58.smt2                                        09-Apr-2021 10:36                2064
goal59.smt2                                        09-Apr-2021 10:36                2156
goal60.smt2                                        09-Apr-2021 10:36                1774
goal61.smt2                                        09-Apr-2021 10:36                1780
goal62.smt2                                        09-Apr-2021 10:36                1785
goal63.smt2                                        09-Apr-2021 10:36                1635
goal64.smt2                                        09-Apr-2021 10:36                2186
goal65.smt2                                        09-Apr-2021 10:36                1892
goal67.smt2                                        09-Apr-2021 10:36                1957
goal68.smt2                                        09-Apr-2021 10:36                1996
goal69.smt2                                        09-Apr-2021 10:36                1901
goal72.smt2                                        09-Apr-2021 10:36                2046
goal73.smt2                                        09-Apr-2021 10:36                2052
goal74.smt2                                        09-Apr-2021 10:36                2426
goal75.smt2                                        09-Apr-2021 10:36                1990
goal76.smt2                                        09-Apr-2021 10:36                2426
goal77.smt2                                        09-Apr-2021 10:36                1905
goal78.smt2                                        09-Apr-2021 10:36                1850
goal79.smt2                                        09-Apr-2021 10:36                2091
goal80.smt2                                        09-Apr-2021 10:36                2063
goal82.smt2                                        09-Apr-2021 10:36                2163
goal83.smt2                                        09-Apr-2021 10:36                2045
goal84.smt2                                        09-Apr-2021 10:36                2180
goal85.smt2                                        09-Apr-2021 10:36                2617
goal86.smt2                                        09-Apr-2021 10:36                2617
goal87.smt2                                        09-Apr-2021 10:36                2430