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