Index of /logs/CHC/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/ 2018-06-21 15:41 -
chc-treeautomizer-naive.2018-06-21_1542.logfiles/ 2018-06-22 00:30 -
chc-ultimate-goto.2018-06-22_0031.logfiles/ 2018-06-22 10:28 -
chc-ultimate.2018-06-22_1029.logfiles/ 2018-06-22 20:48 -
![[TXT]](/icons/text.gif)
chc-treeautomizer-hopcroft.2018-06-21_0653.results.TreeAutomizerHopcroft.CHC.txt 2018-06-21 15:42 287K
chc-treeautomizer-hopcroft.2018-06-21_0653.results.TreeAutomizerHopcroft.CHC.xml 2018-06-21 15:42 1.9M
chc-treeautomizer-naive.2018-06-21_1542.results.TreeAutomizer-Naive.CHC.txt 2018-06-22 00:31 286K
chc-treeautomizer-naive.2018-06-21_1542.results.TreeAutomizer-Naive.CHC.xml 2018-06-22 00:31 1.9M
chc-ultimate-goto.2018-06-22_0031.results.CHC-Goto.CHC.txt 2018-06-22 10:29 284K
chc-ultimate-goto.2018-06-22_0031.results.CHC-Goto.CHC.xml 2018-06-22 10:29 1.9M
chc-ultimate.2018-06-22_1029.results.CHC.CHC.txt 2018-06-22 20:49 284K
chc-ultimate.2018-06-22_1029.results.CHC.CHC.xml 2018-06-22 20:49 1.9M
chc-z3-ari.2018-06-15_2105.results.CHC-z3-ari.CHC.xml 2018-06-23 09:38 1.4M
results.2018-06-23_0938.diff.csv 2018-06-23 09:38 620K
results.2018-06-23_0938.diff.html 2018-06-23 09:38 3.5M
results.2018-06-23_0938.table.csv 2018-06-23 09:38 623K
results.2018-06-23_0938.table.html 2018-06-23 09:38 3.5M