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

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