Index of /logs/student-jordan/20210506-201551-student-acceleration-6253b08b30

 Name                                                                                                            Last modified      Size  Description
 Parent Directory                                                                                                                     -   
 student-acceleration.2021-05-05_23-23-36.logfiles-dump/                                                         2021-05-06 20:14    -   
 student-acceleration.2021-05-05_23-23-36.logfiles/                                                              2021-05-06 20:15    -   
 overview                                                                                                        2021-05-06 20:15   30K  
 results.2021-05-06_20-15-28.diff.csv                                                                            2021-05-06 20:15  109K  
 results.2021-05-06_20-15-28.diff.html                                                                           2021-05-06 20:15  1.7M  
 results.2021-05-06_20-15-28.table.csv                                                                           2021-05-06 20:14  151K  
 results.2021-05-06_20-15-28.table.html                                                                          2021-05-06 20:15  1.9M  
 student-acceleration.2021-05-05_23-23-36.results.Automizer AcceleratedInterpolation Jordan.reach-svcomp-all.xml 2021-05-06 20:14  1.0M  
 student-acceleration.2021-05-05_23-23-36.results.Automizer DEFAULT.reach-svcomp-all.xml                         2021-05-06 20:15  1.2M  
 student-acceleration.2021-05-05_23-23-36.results.Automizer IcfgTranformation Jordan.reach-svcomp-all.xml        2021-05-06 20:14  1.2M  
 student-acceleration.2021-05-05_23-23-36.results.txt                                                            2021-05-06 20:14  286K