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

 Name                                                                          Last modified      Size  Description
 Parent Directory                                                                                   -   
 equality-cav18-reach-heapsep-32.2018-01-30_1955.logfiles/                     2018-01-30 23:22    -   
 csv/                                                                          2018-01-30 22:35    -   
 equality-cav18-reach-heapsep-32.2018-01-30_1955.results.HeapSep.32bitMem.xml  2018-01-30 23:27  231K  
 equality-cav18-reach-heapsep-32.2018-01-30_1955.results.HeapSep.32bitMem.txt  2018-01-30 23:27   43K  
 equality-cav18-reach-heapsep-32.2018-01-30_1955.results.HeapSep.32bitMem.html 2018-01-31 07:50  208K  
 equality-cav18-reach-heapsep-32.2018-01-30_1955.results.HeapSep.32bitMem.csv  2018-01-31 07:50   28K