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

 Name                                                                                Last modified      Size  Description
 Parent Directory                                                                                         -   
 csv/                                                                                2018-01-21 11:00    -   
 equality-cav18-mempurity-32.2018-01-20_2154.logfiles/                               2018-01-21 11:00    -   
 equality-cav18-mempurity-32.2018-01-20_2154.results.AbsInt.32bitMem.xml             2018-01-20 23:22  353K  
 equality-cav18-mempurity-32.2018-01-20_2154.results.AbsInt_imprecise.32bitMem.xml   2018-01-21 00:28  347K  
 equality-cav18-mempurity-32.2018-01-20_2154.results.AbsInt_mostprecise.32bitMem.xml 2018-01-21 02:45  376K  
 equality-cav18-mempurity-32.2018-01-20_2154.results.AbsInt_precise.32bitMem.xml     2018-01-21 05:29  370K  
 equality-cav18-mempurity-32.2018-01-20_2154.results.AbsInt_preciseopt.32bitMem.xml  2018-01-21 08:11  362K  
 equality-cav18-mempurity-32.2018-01-20_2154.results.AbsInt_smtcomp.32bitMem.xml     2018-01-21 10:05  353K  
 equality-cav18-mempurity-32.2018-01-20_2154.results.AutomizerCamel.32bitMem.xml     2018-01-20 22:33  366K  
 equality-cav18-mempurity-32.2018-01-20_2154.results.Taipan.32bitMem.xml             2018-01-21 00:18  366K  
 equality-cav18-mempurity-32.2018-01-20_2154.results.Taipan_imprecise.32bitMem.xml   2018-01-21 01:07  367K  
 equality-cav18-mempurity-32.2018-01-20_2154.results.Taipan_mostprecise.32bitMem.xml 2018-01-21 03:51  380K  
 equality-cav18-mempurity-32.2018-01-20_2154.results.Taipan_precise.32bitMem.xml     2018-01-21 06:34  368K  
 equality-cav18-mempurity-32.2018-01-20_2154.results.Taipan_preciseopt.32bitMem.xml  2018-01-21 09:16  367K  
 equality-cav18-mempurity-32.2018-01-20_2154.results.Taipan_smtcomp.32bitMem.xml     2018-01-21 11:00  367K  
 equality-cav18-mempurity-32.2018-01-20_2154.results.txt                             2018-01-21 11:00  682K  
 results.2018-01-21_1401.diff.csv                                                    2018-01-21 14:01  216K  
 results.2018-01-21_1401.diff.html                                                   2018-01-21 14:01  1.3M  
 results.2018-01-21_1401.table.csv                                                   2018-01-21 14:01  266K  
 results.2018-01-21_1401.table.html                                                  2018-01-21 14:01  1.6M