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

 Name                                                                             Last modified      Size  Description
 Parent Directory                                                                                      -   
 chc-treeautomizer-hopcroft.2018-06-18_1714.logfiles/                             2019-03-15 14:13    -   
 chc-ultimate.2018-06-18_1125.logfiles/                                           2019-03-15 14:14    -   
 chc-treeautomizer-hopcroft.2018-06-18_1714.results.TreeAutomizerHopcroft.CHC.txt 2019-03-15 14:14  286K  
 chc-treeautomizer-hopcroft.2018-06-18_1714.results.TreeAutomizerHopcroft.CHC.xml 2019-03-15 14:14  1.9M  
 chc-ultimate.2018-06-18_1125.results.CHC.CHC.txt                                 2019-03-15 14:14  284K  
 chc-ultimate.2018-06-18_1125.results.CHC.CHC.xml                                 2019-03-15 14:14  1.9M  
 chc-z3-ari.2018-06-15_2105.results.CHC-z3-ari.CHC.xml                            2019-03-15 14:14  1.4M  
 results.2018-06-19_0937.diff.csv                                                 2019-03-15 14:14  389K  
 results.2018-06-19_0937.diff.html                                                2019-03-15 14:14  2.2M  
 results.2018-06-19_0937.table.csv                                                2019-03-15 14:13  401K  
 results.2018-06-19_0937.table.html                                               2019-03-15 14:14  2.3M