Index of /logs/student-concurrency/20200211-102502-student-concurrency-d9e330db44

 Name                                                                                   Last modified      Size  Description
 Parent Directory                                                                                            -   
 student-concurrency-bpl.2020-02-10_1929.logfiles/                                      2020-02-11 01:21    -   
 results/                                                                               2020-02-11 10:57    -   
 student-concurrency-bpl.2020-02-10_1929.results.txt                                    2020-02-11 01:34   30K  
 student-concurrency-bpl.2020-02-10_1929.results.Automizer SVCOMP 2020.Synth.xml        2020-02-10 19:57   29K  
 student-concurrency-bpl.2020-02-10_1929.results.Automizer PN-VariableLbe.Synth.xml     2020-02-10 23:42   28K  
 student-concurrency-bpl.2020-02-10_1929.results.Automizer PN-VariableLbe-MCR.Synth.xml 2020-02-11 01:06   28K  
 student-concurrency-bpl.2020-02-10_1929.results.Automizer PN-SemanticLbe.Synth.xml     2020-02-10 23:14   29K  
 student-concurrency-bpl.2020-02-10_1929.results.Automizer PN-SemanticLbe-MCR.Synth.xml 2020-02-11 00:38   28K  
 student-concurrency-bpl.2020-02-10_1929.results.Automizer PN-NoLbe.Synth.xml           2020-02-11 00:10   28K  
 student-concurrency-bpl.2020-02-10_1929.results.Automizer PN-NoLbe-MCR.Synth.xml       2020-02-11 01:34   28K  
 student-concurrency-bpl.2020-02-10_1929.results.Automizer FA-VariableLbe.Synth.xml     2020-02-10 20:54   28K  
 student-concurrency-bpl.2020-02-10_1929.results.Automizer FA-VariableLbe-MCR.Synth.xml 2020-02-10 22:18   29K  
 student-concurrency-bpl.2020-02-10_1929.results.Automizer FA-SemanticLbe.Synth.xml     2020-02-10 20:25   28K  
 student-concurrency-bpl.2020-02-10_1929.results.Automizer FA-SemanticLbe-MCR.Synth.xml 2020-02-10 21:50   28K  
 student-concurrency-bpl.2020-02-10_1929.results.Automizer FA-NoLbe.Synth.xml           2020-02-10 21:21   28K  
 student-concurrency-bpl.2020-02-10_1929.results.Automizer FA-NoLbe-MCR.Synth.xml       2020-02-10 22:45   27K  
 results.2020-02-11_1024.table.html                                                     2020-02-11 10:24  807K  
 results.2020-02-11_1024.table.csv                                                      2020-02-11 10:24   19K  
 results.2020-02-11_1024.diff.html                                                      2020-02-11 10:24  790K  
 results.2020-02-11_1024.diff.csv                                                       2020-02-11 10:24   17K  
 overview                                                                               2020-02-11 10:39  1.4K