Index of /logs/Taipan/20181108-104456-Taipan-df4b876e9a

Icon  Name                                                                                    Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                             -   
[DIR] svcomp19-reach-eca-taipan-nowrapper.2018-11-06_1819.logfiles/                           2018-11-07 22:19    -   
[   ] overview                                                                                2018-11-08 10:46   26K  
[TXT] results.2018-11-08_1044.diff.csv                                                        2018-11-08 10:44  210K  
[TXT] results.2018-11-08_1044.diff.html                                                       2018-11-08 10:44  1.3M  
[TXT] results.2018-11-08_1044.table.csv                                                       2018-11-08 10:44  513K  
[TXT] results.2018-11-08_1044.table.html                                                      2018-11-08 10:44  3.0M  
[TXT] results.2018-11-13_0842.diff.csv                                                        2018-11-13 08:42  258K  
[TXT] results.2018-11-13_0842.diff.html                                                       2018-11-13 08:42  1.6M  
[TXT] results.2018-11-13_0842.table.csv                                                       2018-11-13 08:42  600K  
[TXT] results.2018-11-13_0842.table.html                                                      2018-11-13 08:43  3.6M  
[TXT] svcomp19-reach-eca-taipan-nowrapper.2018-11-06_1819.results.Automizer.ECA.xml           2018-11-06 23:02  2.2M  
[TXT] svcomp19-reach-eca-taipan-nowrapper.2018-11-06_1819.results.Automizer.Loops.xml         2018-11-06 23:02  310K  
[TXT] svcomp19-reach-eca-taipan-nowrapper.2018-11-06_1819.results.Automizer.xml               2018-11-06 23:02  2.5M  
[TXT] svcomp19-reach-eca-taipan-nowrapper.2018-11-06_1819.results.Taipan-EXP.ECA.xml          2018-11-07 10:49  2.3M  
[TXT] svcomp19-reach-eca-taipan-nowrapper.2018-11-06_1819.results.Taipan-EXP.Loops.xml        2018-11-07 10:49  322K  
[TXT] svcomp19-reach-eca-taipan-nowrapper.2018-11-06_1819.results.Taipan-EXP.xml              2018-11-07 10:49  2.6M  
[TXT] svcomp19-reach-eca-taipan-nowrapper.2018-11-06_1819.results.Taipan-INT-LIM.ECA.xml      2018-11-07 22:23  2.4M  
[TXT] svcomp19-reach-eca-taipan-nowrapper.2018-11-06_1819.results.Taipan-INT-LIM.Loops.xml    2018-11-07 22:23  322K  
[TXT] svcomp19-reach-eca-taipan-nowrapper.2018-11-06_1819.results.Taipan-INT-LIM.xml          2018-11-07 22:23  2.7M  
[TXT] svcomp19-reach-eca-taipan-nowrapper.2018-11-06_1819.results.Taipan-INT.ECA.xml          2018-11-07 16:56  2.2M  
[TXT] svcomp19-reach-eca-taipan-nowrapper.2018-11-06_1819.results.Taipan-INT.Loops.xml        2018-11-07 16:56  322K  
[TXT] svcomp19-reach-eca-taipan-nowrapper.2018-11-06_1819.results.Taipan-INT.xml              2018-11-07 16:56  2.5M  
[TXT] svcomp19-reach-eca-taipan-nowrapper.2018-11-06_1819.results.Taipan.ECA.xml              2018-11-07 05:17  2.2M  
[TXT] svcomp19-reach-eca-taipan-nowrapper.2018-11-06_1819.results.Taipan.Loops.xml            2018-11-07 05:17  330K  
[TXT] svcomp19-reach-eca-taipan-nowrapper.2018-11-06_1819.results.Taipan.xml                  2018-11-07 05:16  2.6M  
[TXT] svcomp19-reach-eca-taipan-nowrapper.2018-11-06_1819.results.txt                         2018-11-07 22:23  1.2M  
[TXT] svcomp19-reach-eca-taipan-nowrapper.2018-11-12_1524.results.Taipan-INT-LIM-10.ECA.xml   2018-11-13 08:54  2.4M  
[TXT] svcomp19-reach-eca-taipan-nowrapper.2018-11-12_1524.results.Taipan-INT-LIM-10.Loops.xml 2018-11-13 08:54  318K  
[TXT] svcomp19-reach-eca-taipan-nowrapper.2018-11-12_1524.results.Taipan-INT-LIM-10.xml       2018-11-13 08:41  2.7M  
[   ] true-false-results                                                                      2018-11-13 08:59  1.5K