Index of /logs/CHC/20180616-CHC

 Name                                                                             Last modified      Size  Description
 Parent Directory                                                                                      -   
 chc-z3-ari.2018-06-15_2105.logfiles/                                             2018-06-16 01:00    -   
 chc-treeautomizer-hopcroft.2018-06-15_0115.results.TreeAutomizerHopcroft.CHC.xml 2018-06-16 08:18  1.9M  
 chc-treeautomizer-naive.2018-06-15_0624.results.TreeAutomizer-Naive.CHC.xml      2018-06-16 08:18  1.9M  
 chc-treeautomizer.2018-06-14_2002.results.TreeAutomizer.CHC.xml                  2018-06-16 08:17  1.9M  
 chc-ultimate.2018-06-12_1555.results.CHC.CHC.xml                                 2018-06-16 08:18  2.2M  
 chc-z3-ari.2018-06-15_2105.results.CHC-z3-ari.CHC.txt                            2018-06-16 01:00  284K  
 chc-z3-ari.2018-06-15_2105.results.CHC-z3-ari.CHC.xml                            2018-06-16 01:00  1.4M  
 results.2018-06-16_0818.diff.csv                                                 2018-06-16 08:18  614K  
 results.2018-06-16_0818.diff.html                                                2018-06-16 08:18  3.5M  
 results.2018-06-16_0818.table.csv                                                2018-06-16 08:18  617K  
 results.2018-06-16_0818.table.html                                               2018-06-16 08:18  3.5M