Index of /logs/student-concurrency/20200117-101231-student-concurrency-abd8500205

 Name                                                                                   Last modified      Size  Description
 Parent Directory                                                                                            -   
 student-concurrency-bpl.2020-01-16_1747.logfiles/                                      2020-01-16 23:39    -   
 overview                                                                               2020-01-17 10:12  1.2K  
 results.2020-01-17_1012.diff.csv                                                       2020-01-17 10:12   17K  
 results.2020-01-17_1012.diff.html                                                      2020-01-17 10:12  790K  
 results.2020-01-17_1012.table.csv                                                      2020-01-17 10:12   20K  
 results.2020-01-17_1012.table.html                                                     2020-01-17 10:12  807K  
 student-concurrency-bpl.2020-01-16_1747.results.Automizer FA-NoLbe-MCR.Synth.xml       2020-01-16 21:04   27K  
 student-concurrency-bpl.2020-01-16_1747.results.Automizer FA-NoLbe.Synth.xml           2020-01-16 19:40   28K  
 student-concurrency-bpl.2020-01-16_1747.results.Automizer FA-SemanticLbe-MCR.Synth.xml 2020-01-16 20:08   27K  
 student-concurrency-bpl.2020-01-16_1747.results.Automizer FA-SemanticLbe.Synth.xml     2020-01-16 18:44   28K  
 student-concurrency-bpl.2020-01-16_1747.results.Automizer FA-VariableLbe-MCR.Synth.xml 2020-01-16 20:36   28K  
 student-concurrency-bpl.2020-01-16_1747.results.Automizer FA-VariableLbe.Synth.xml     2020-01-16 19:12   28K  
 student-concurrency-bpl.2020-01-16_1747.results.Automizer PN-NoLbe-MCR.Synth.xml       2020-01-16 23:53   28K  
 student-concurrency-bpl.2020-01-16_1747.results.Automizer PN-NoLbe.Synth.xml           2020-01-16 22:29   28K  
 student-concurrency-bpl.2020-01-16_1747.results.Automizer PN-SemanticLbe-MCR.Synth.xml 2020-01-16 22:57   28K  
 student-concurrency-bpl.2020-01-16_1747.results.Automizer PN-SemanticLbe.Synth.xml     2020-01-16 21:32   28K  
 student-concurrency-bpl.2020-01-16_1747.results.Automizer PN-VariableLbe-MCR.Synth.xml 2020-01-16 23:25   28K  
 student-concurrency-bpl.2020-01-16_1747.results.Automizer PN-VariableLbe.Synth.xml     2020-01-16 22:00   29K  
 student-concurrency-bpl.2020-01-16_1747.results.Automizer SVCOMP 2020.Synth.xml        2020-01-16 18:16   29K  
 student-concurrency-bpl.2020-01-16_1747.results.txt                                    2020-01-16 23:53   30K