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

 Name                                                                             Last modified      Size  Description
 Parent Directory                                                                                      -   
 chc-treeautomizer-hopcroft.2018-06-23_1244.logfiles/                             2018-06-23 21:03    -   
 results.2018-06-23_2111.table.html                                               2018-06-23 21:11  2.3M  
 results.2018-06-23_2111.table.csv                                                2018-06-23 21:11  407K  
 results.2018-06-23_2111.diff.html                                                2018-06-23 21:11  1.7M  
 results.2018-06-23_2111.diff.csv                                                 2018-06-23 21:11  296K  
 chc-z3-ari.2018-06-15_2105.results.CHC-z3-ari.CHC.xml                            2018-06-23 21:11  1.4M  
 chc-treeautomizer-hopcroft.2018-06-23_1244.results.TreeAutomizerHopcroft.CHC.xml 2018-06-23 21:03  1.9M  
 chc-treeautomizer-hopcroft.2018-06-23_1244.results.TreeAutomizerHopcroft.CHC.txt 2018-06-23 21:03  286K  
 chc-treeautomizer-hopcroft.2018-06-21_0653.results.TreeAutomizerHopcroft.CHC.xml 2018-06-23 21:11  1.9M