Index of /logs/Taipan/20181025-085632-Taipan-d3804244a8

 Name                                                                           Last modified      Size  Description
 Parent Directory                                                                                    -   
 svcomp19-reach-eca-taipan-nowrapper.2018-10-24_1316.logfiles/                  2018-10-25 02:18    -   
 overview                                                                       2018-10-25 08:56   13K  
 results.2018-10-25_0856.diff.csv                                               2018-10-25 08:56  152K  
 results.2018-10-25_0856.diff.html                                              2018-10-25 08:56  948K  
 results.2018-10-25_0856.table.csv                                              2018-10-25 08:56  268K  
 results.2018-10-25_0856.table.html                                             2018-10-25 08:56  1.6M  
 svcomp19-reach-eca-taipan-nowrapper.2018-10-24_1316.results.Automizer.ECA.xml  2018-10-24 17:14  2.0M  
 svcomp19-reach-eca-taipan-nowrapper.2018-10-24_1316.results.Taipan-EXP.ECA.xml 2018-10-25 02:21  2.1M  
 svcomp19-reach-eca-taipan-nowrapper.2018-10-24_1316.results.Taipan.ECA.xml     2018-10-24 22:39  2.0M  
 svcomp19-reach-eca-taipan-nowrapper.2018-10-24_1316.results.txt                2018-10-25 02:21  462K