Index of /logs/monteverdi-old/20180623-2-CHC

 Name                                                                             Last modified      Size  Description
 Parent Directory                                                                                      -   
 chc-treeautomizer-hopcroft.2018-06-23_1244.logfiles/                             2019-03-15 14:14    -   
 chc-treeautomizer-hopcroft.2018-06-21_0653.results.TreeAutomizerHopcroft.CHC.xml 2019-03-15 14:14  1.9M  
 chc-treeautomizer-hopcroft.2018-06-23_1244.results.TreeAutomizerHopcroft.CHC.txt 2019-03-15 14:14  286K  
 chc-treeautomizer-hopcroft.2018-06-23_1244.results.TreeAutomizerHopcroft.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-23_2111.diff.csv                                                 2019-03-15 14:14  296K  
 results.2018-06-23_2111.diff.html                                                2019-03-15 14:14  1.7M  
 results.2018-06-23_2111.table.csv                                                2019-03-15 14:14  407K  
 results.2018-06-23_2111.table.html                                               2019-03-15 14:14  2.3M