Index of /logs/monteverdi-old/20180615-CHC

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