Index of /logs/monteverdi-old/20180620-2-CHC-small

 Name                                                                                   Last modified      Size  Description
 Parent Directory                                                                                            -   
 chc-small-treeautomizer-hopcroft.2018-06-20_1336.logfiles/                             2019-03-15 14:14    -   
 chc-small-treeautomizer-naive.2018-06-20_1347.logfiles/                                2019-03-15 14:14    -   
 chc-small-ultimate-goto.2018-06-20_1357.logfiles/                                      2019-03-15 14:14    -   
 chc-small-ultimate.2018-06-20_1407.logfiles/                                           2019-03-15 14:14    -   
 chc-small-treeautomizer-hopcroft.2018-06-20_1336.results.TreeAutomizerHopcroft.CHC.txt 2019-03-15 14:14  3.6K  
 chc-small-treeautomizer-hopcroft.2018-06-20_1336.results.TreeAutomizerHopcroft.CHC.xml 2019-03-15 14:14   27K  
 chc-small-treeautomizer-naive.2018-06-20_1347.results.TreeAutomizer-Naive.CHC.txt      2019-03-15 14:14  3.6K  
 chc-small-treeautomizer-naive.2018-06-20_1347.results.TreeAutomizer-Naive.CHC.xml      2019-03-15 14:14   27K  
 chc-small-ultimate-goto.2018-06-20_1357.results.CHC-Goto.CHC.txt                       2019-03-15 14:14  3.5K  
 chc-small-ultimate-goto.2018-06-20_1357.results.CHC-Goto.CHC.xml                       2019-03-15 14:14   27K  
 chc-small-ultimate.2018-06-20_1407.results.CHC.CHC.txt                                 2019-03-15 14:14  3.5K  
 chc-small-ultimate.2018-06-20_1407.results.CHC.CHC.xml                                 2019-03-15 14:14   27K  
 chc-small-z3-ari.2018-06-19_1614.results.CHC-z3-ari.CHC.xml                            2019-03-15 14:14   22K  
 results.2018-06-20_1605.table.csv                                                      2019-03-15 14:14  7.8K  
 results.2018-06-20_1605.table.html                                                     2019-03-15 14:14  111K