Index of /logs/equality/eq-cav18-mempurity-180124

 Name                                                                                         Last modified      Size  Description
 Parent Directory                                                                                                  -   
 csv/                                                                                         2018-01-23 22:55    -   
 equality-cav18-mempurity-32-notaipan.2018-01-23_1420.logfiles/                               2018-01-23 22:55    -   
 equality-cav18-mempurity-32-notaipan.2018-01-23_1420.results.AbsInt.32bitMem.xml             2018-01-23 16:08  360K  
 equality-cav18-mempurity-32-notaipan.2018-01-23_1420.results.AbsInt_imprecise.32bitMem.xml   2018-01-23 16:24  347K  
 equality-cav18-mempurity-32-notaipan.2018-01-23_1420.results.AbsInt_mostprecise.32bitMem.xml 2018-01-23 18:12  364K  
 equality-cav18-mempurity-32-notaipan.2018-01-23_1420.results.AbsInt_precise.32bitMem.xml     2018-01-23 20:00  363K  
 equality-cav18-mempurity-32-notaipan.2018-01-23_1420.results.AbsInt_preciseopt.32bitMem.xml  2018-01-23 21:49  365K  
 equality-cav18-mempurity-32-notaipan.2018-01-23_1420.results.AbsInt_smtcomp.32bitMem.xml     2018-01-23 22:55  360K  
 equality-cav18-mempurity-32-notaipan.2018-01-23_1420.results.AutomizerCamel.32bitMem.xml     2018-01-23 15:00  367K  
 equality-cav18-mempurity-32-notaipan.2018-01-23_1420.results.txt                             2018-01-23 22:55  367K  
 results.2018-01-24_0806.diff.csv                                                             2018-01-24 08:06  116K  
 results.2018-01-24_0806.diff.html                                                            2018-01-24 08:06  775K  
 results.2018-01-24_0806.table.csv                                                            2018-01-24 08:06  147K  
 results.2018-01-24_0806.table.html                                                           2018-01-24 08:06  969K