Index of /logs/monteverdi-old/20180619-CHC-small
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
chc-small-treeautomizer-hopcroft.2018-06-19_1559.logfiles/ 2019-03-15 14:14 -
chc-small-treeautomizer-naive.2018-06-19_1604.logfiles/ 2019-03-15 14:14 -
chc-small-ultimate.2018-06-19_1610.logfiles/ 2019-03-15 14:14 -
chc-small-z3-ari.2018-06-19_1614.logfiles/ 2019-03-15 14:14 -
![[TXT]](/icons/text.gif)
chc-small-treeautomizer-hopcroft.2018-06-19_1559.results.TreeAutomizerHopcroft.CHC.txt 2019-03-15 14:14 3.6K
chc-small-treeautomizer-hopcroft.2018-06-19_1559.results.TreeAutomizerHopcroft.CHC.xml 2019-03-15 14:14 27K
chc-small-treeautomizer-naive.2018-06-19_1604.results.TreeAutomizer-Naive.CHC.txt 2019-03-15 14:14 3.6K
chc-small-treeautomizer-naive.2018-06-19_1604.results.TreeAutomizer-Naive.CHC.xml 2019-03-15 14:14 27K
chc-small-ultimate.2018-06-19_1610.results.CHC.CHC.txt 2019-03-15 14:14 3.5K
chc-small-ultimate.2018-06-19_1610.results.CHC.CHC.xml 2019-03-15 14:14 27K
chc-small-z3-ari.2018-06-19_1614.results.CHC-z3-ari.CHC.txt 2019-03-15 14:14 3.3K
chc-small-z3-ari.2018-06-19_1614.results.CHC-z3-ari.CHC.xml 2019-03-15 14:14 22K
results.2018-06-19_1625.table.csv 2019-03-15 14:14 6.1K
results.2018-06-19_1625.table.html 2019-03-15 14:14 101K