Index of /logs/monteverdi-old/20180623-CHC
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
chc-treeautomizer-hopcroft.2018-06-21_0653.logfiles/ 2019-03-15 14:15 -
chc-treeautomizer-naive.2018-06-21_1542.logfiles/ 2019-03-15 14:16 -
chc-ultimate-goto.2018-06-22_0031.logfiles/ 2019-03-15 14:15 -
chc-ultimate.2018-06-22_1029.logfiles/ 2019-03-15 14:16 -
![[TXT]](/icons/text.gif)
chc-treeautomizer-hopcroft.2018-06-21_0653.results.TreeAutomizerHopcroft.CHC.txt 2019-03-15 14:14 287K
chc-treeautomizer-hopcroft.2018-06-21_0653.results.TreeAutomizerHopcroft.CHC.xml 2019-03-15 14:16 1.9M
chc-treeautomizer-naive.2018-06-21_1542.results.TreeAutomizer-Naive.CHC.txt 2019-03-15 14:16 286K
chc-treeautomizer-naive.2018-06-21_1542.results.TreeAutomizer-Naive.CHC.xml 2019-03-15 14:16 1.9M
chc-ultimate-goto.2018-06-22_0031.results.CHC-Goto.CHC.txt 2019-03-15 14:15 284K
chc-ultimate-goto.2018-06-22_0031.results.CHC-Goto.CHC.xml 2019-03-15 14:15 1.9M
chc-ultimate.2018-06-22_1029.results.CHC.CHC.txt 2019-03-15 14:15 284K
chc-ultimate.2018-06-22_1029.results.CHC.CHC.xml 2019-03-15 14:16 1.9M
chc-z3-ari.2018-06-15_2105.results.CHC-z3-ari.CHC.xml 2019-03-15 14:16 1.4M
results.2018-06-23_0938.diff.csv 2019-03-15 14:16 620K
results.2018-06-23_0938.diff.html 2019-03-15 14:16 3.5M
results.2018-06-23_0938.table.csv 2019-03-15 14:15 623K
results.2018-06-23_0938.table.html 2019-03-15 14:16 3.5M