Index of /logs/CHC/20180615-CHC

 Name                                                                             Last modified      Size  Description
 Parent Directory                                                                                      -   
 chc-treeautomizer-hopcroft.2018-06-15_0115.logfiles/                             2018-06-15 06:23    -   
 chc-treeautomizer-naive.2018-06-15_0624.logfiles/                                2018-06-15 11:36    -   
 chc-treeautomizer.2018-06-14_2002.logfiles/                                      2018-06-15 01:13    -   
 chc-treeautomizer-hopcroft.2018-06-15_0115.results.TreeAutomizerHopcroft.CHC.txt 2018-06-15 06:24  286K  
 chc-treeautomizer-hopcroft.2018-06-15_0115.results.TreeAutomizerHopcroft.CHC.xml 2018-06-15 06:24  1.9M  
 chc-treeautomizer-naive.2018-06-15_0624.results.TreeAutomizer-Naive.CHC.txt      2018-06-15 11:37  285K  
 chc-treeautomizer-naive.2018-06-15_0624.results.TreeAutomizer-Naive.CHC.xml      2018-06-15 11:37  1.9M  
 chc-treeautomizer.2018-06-14_2002.results.TreeAutomizer.CHC.txt                  2018-06-15 01:15  285K  
 chc-treeautomizer.2018-06-14_2002.results.TreeAutomizer.CHC.xml                  2018-06-15 01:15  1.9M  
 chc-ultimate.2018-06-12_1555.results.CHC.CHC.xml                                 2018-06-15 12:34  2.2M  
 chc-z3.2018-06-08_1701.results.CHC.CHC.xml                                       2018-06-15 12:34  1.4M  
 results.2018-06-15_1234.diff.csv                                                 2018-06-15 12:34  614K  
 results.2018-06-15_1234.diff.html                                                2018-06-15 12:34  3.5M  
 results.2018-06-15_1234.table.csv                                                2018-06-15 12:34  617K  
 results.2018-06-15_1234.table.html                                               2018-06-15 12:34  3.5M