Index of /logs/Taipan/20181027-101029-Taipan-1dbac8bcc0

 Name                                                                             Last modified      Size  Description
 Parent Directory                                                                                      -   
 svcomp19-reach-eca-taipan-nowrapper.2018-10-26_1821.logfiles/                    2018-10-27 09:16    -   
 svcomp19-reach-eca-taipan-nowrapper.2018-10-27_1019.logfiles/                    2018-10-27 17:22    -   
 overview                                                                         2018-10-27 10:11   14K  
 results.2018-10-27_1010.diff.csv                                                 2018-10-27 10:10  114K  
 results.2018-10-27_1010.diff.html                                                2018-10-27 10:10  737K  
 results.2018-10-27_1010.table.csv                                                2018-10-27 10:10  303K  
 results.2018-10-27_1010.table.html                                               2018-10-27 10:10  1.8M  
 results.2018-10-27_1723.diff.csv                                                 2018-10-27 17:23  149K  
 results.2018-10-27_1723.diff.html                                                2018-10-27 17:23  957K  
 results.2018-10-27_1723.table.csv                                                2018-10-27 17:23  382K  
 results.2018-10-27_1723.table.html                                               2018-10-27 17:23  2.3M  
 svcomp19-reach-eca-taipan-nowrapper.2018-10-26_1821.results.Automizer.ECA.xml    2018-10-26 22:38  2.0M  
 svcomp19-reach-eca-taipan-nowrapper.2018-10-26_1821.results.Automizer.Loops.xml  2018-10-26 22:38  236K  
 svcomp19-reach-eca-taipan-nowrapper.2018-10-26_1821.results.Automizer.xml        2018-10-26 22:38  2.3M  
 svcomp19-reach-eca-taipan-nowrapper.2018-10-26_1821.results.Taipan-EXP.ECA.xml   2018-10-27 09:21  2.1M  
 svcomp19-reach-eca-taipan-nowrapper.2018-10-26_1821.results.Taipan-EXP.Loops.xml 2018-10-27 09:21  247K  
 svcomp19-reach-eca-taipan-nowrapper.2018-10-26_1821.results.Taipan-EXP.xml       2018-10-27 09:21  2.3M  
 svcomp19-reach-eca-taipan-nowrapper.2018-10-26_1821.results.Taipan.ECA.xml       2018-10-27 04:20  2.0M  
 svcomp19-reach-eca-taipan-nowrapper.2018-10-26_1821.results.Taipan.Loops.xml     2018-10-27 04:20  243K  
 svcomp19-reach-eca-taipan-nowrapper.2018-10-26_1821.results.Taipan.xml           2018-10-27 04:20  2.3M  
 svcomp19-reach-eca-taipan-nowrapper.2018-10-26_1821.results.txt                  2018-10-27 09:21  573K  
 svcomp19-reach-eca-taipan-nowrapper.2018-10-27_1019.results.Taipan-INT.csv       2018-10-27 17:22  149K  
 svcomp19-reach-eca-taipan-nowrapper.2018-10-27_1019.results.Taipan-INT.ECA.xml   2018-10-27 17:22  2.0M  
 svcomp19-reach-eca-taipan-nowrapper.2018-10-27_1019.results.Taipan-INT.html      2018-10-27 17:22  833K  
 svcomp19-reach-eca-taipan-nowrapper.2018-10-27_1019.results.Taipan-INT.Loops.xml 2018-10-27 17:22  243K  
 svcomp19-reach-eca-taipan-nowrapper.2018-10-27_1019.results.Taipan-INT.txt       2018-10-27 17:22  192K  
 svcomp19-reach-eca-taipan-nowrapper.2018-10-27_1019.results.Taipan-INT.xml       2018-10-27 17:22  2.2M