Index of /logs/CHC/20180621-CHC-small

 Name                                                                                   Last modified      Size  Description
 Parent Directory                                                                                            -   
 chc-small-treeautomizer-hopcroft.2018-06-20_2235.logfiles/                             2018-06-20 22:44    -   
 chc-small-treeautomizer-naive.2018-06-20_2245.logfiles/                                2018-06-20 22:54    -   
 chc-small-ultimate-goto.2018-06-20_2255.logfiles/                                      2018-06-20 23:05    -   
 chc-small-ultimate.2018-06-20_2306.logfiles/                                           2018-06-20 23:16    -   
 chc-small-treeautomizer-hopcroft.2018-06-20_2235.results.TreeAutomizerHopcroft.CHC.txt 2018-06-20 22:45  3.6K  
 chc-small-treeautomizer-hopcroft.2018-06-20_2235.results.TreeAutomizerHopcroft.CHC.xml 2018-06-20 22:45   28K  
 chc-small-treeautomizer-naive.2018-06-20_2245.results.TreeAutomizer-Naive.CHC.txt      2018-06-20 22:55  3.6K  
 chc-small-treeautomizer-naive.2018-06-20_2245.results.TreeAutomizer-Naive.CHC.xml      2018-06-20 22:55   27K  
 chc-small-ultimate-goto.2018-06-20_2255.results.CHC-Goto.CHC.txt                       2018-06-20 23:06  3.5K  
 chc-small-ultimate-goto.2018-06-20_2255.results.CHC-Goto.CHC.xml                       2018-06-20 23:06   27K  
 chc-small-ultimate.2018-06-20_2306.results.CHC.CHC.txt                                 2018-06-20 23:17  3.5K  
 chc-small-ultimate.2018-06-20_2306.results.CHC.CHC.xml                                 2018-06-20 23:17   28K  
 chc-small-z3-ari.2018-06-19_1614.results.CHC-z3-ari.CHC.xml                            2018-06-21 06:51   22K  
 results.2018-06-21_0651.table.csv                                                      2018-06-21 06:51  7.8K  
 results.2018-06-21_0651.table.html                                                     2018-06-21 06:51  111K