Index of /logs/Taipan/20181113-084005-Taipan-63daa26c68

 Name                                                                                    Last modified      Size  Description
 Parent Directory                                                                                             -   
 svcomp19-reach-eca-taipan-nowrapper.2018-11-12_1524.logfiles/                           2018-11-12 20:48    -   
 overview                                                                                2018-11-13 08:40   11K  
 svcomp19-reach-eca-taipan-nowrapper.2018-11-12_1524.results.Taipan-INT-LIM-10.csv       2018-11-13 08:39  165K  
 svcomp19-reach-eca-taipan-nowrapper.2018-11-12_1524.results.Taipan-INT-LIM-10.ECA.xml   2018-11-12 20:51  2.4M  
 svcomp19-reach-eca-taipan-nowrapper.2018-11-12_1524.results.Taipan-INT-LIM-10.html      2018-11-13 08:39  930K  
 svcomp19-reach-eca-taipan-nowrapper.2018-11-12_1524.results.Taipan-INT-LIM-10.Loops.xml 2018-11-12 20:51  318K  
 svcomp19-reach-eca-taipan-nowrapper.2018-11-12_1524.results.Taipan-INT-LIM-10.txt       2018-11-12 20:51  241K  
 svcomp19-reach-eca-taipan-nowrapper.2018-11-12_1524.results.Taipan-INT-LIM-10.xml       2018-11-12 20:51  2.7M