Index of /logs/equality/eq-cav18-reach-heapsep-180130

 Name                                                                                  Last modified      Size  Description
 Parent Directory                                                                                           -   
 csv/                                                                                  2018-01-30 07:45    -   
 equality-cav18-reach-heapsep-32.2018-01-29_2236.logfiles/                             2018-01-30 07:51    -   
 equality-cav18-reach-heapsep-32.2018-01-29_2236.results.Automizer.32bitMem.xml        2018-01-30 02:29  244K  
 equality-cav18-reach-heapsep-32.2018-01-29_2236.results.AutomizerHeapSep.32bitMem.xml 2018-01-30 06:27  244K  
 equality-cav18-reach-heapsep-32.2018-01-29_2236.results.HeapSep.32bitMem.xml          2018-01-30 07:52  231K  
 equality-cav18-reach-heapsep-32.2018-01-29_2236.results.txt                           2018-01-30 07:52  127K  
 results.2018-01-30_0905.diff.csv                                                      2018-01-30 09:05   48K  
 results.2018-01-30_0905.diff.html                                                     2018-01-30 09:05  334K  
 results.2018-01-30_0905.table.csv                                                     2018-01-30 09:05   60K  
 results.2018-01-30_0905.table.html                                                    2018-01-30 09:05  395K