Index of /logs/student-qvasars/20220405-225912-student-qvasars-7390193ce8

 Name                                                                                                             Last modified      Size  Description
 Parent Directory                                                                                                                      -   
 student-acceleration-qvasars.2022-04-04_18-52-15.logfiles-dump/                                                  2022-04-05 22:59    -   
 student-acceleration-qvasars.2022-04-04_18-52-15.logfiles/                                                       2022-04-05 10:01    -   
 overview                                                                                                         2022-04-05 22:59  106K  
 results.2022-04-05_22-54-38.diff.csv                                                                             2022-04-05 22:54   19K  
 results.2022-04-05_22-54-38.diff.html                                                                            2022-04-05 22:54  1.2M  
 results.2022-04-05_22-54-38.table.csv                                                                            2022-04-05 22:54  169K  
 results.2022-04-05_22-54-38.table.html                                                                           2022-04-05 22:54  2.0M  
 student-acceleration-qvasars.2022-04-04_18-52-15.results.Automizer IcfgTranformation Jordan.reach-svcomp-all.xml 2022-04-05 04:49  1.3M  
 student-acceleration-qvasars.2022-04-04_18-52-15.results.Automizer IcfgTranformation QVasar.reach-svcomp-all.xml 2022-04-05 10:15  1.1M  
 student-acceleration-qvasars.2022-04-04_18-52-15.results.DEFAULT.reach-svcomp-all.xml                            2022-04-05 00:08  1.2M  
 student-acceleration-qvasars.2022-04-04_18-52-15.results.txt                                                     2022-04-05 10:15  306K