Index of /logs/student-bvtoint/20220109-221540-student-bvtoint-6a1f112c6f-M

 Name                                                                               Last modified      Size  Description
 Parent Directory                                                                                        -   
 student-bitvec-to-int.2022-01-09_21-49-56.logfiles/                                2022-01-09 22:10    -   
 overview                                                                           2022-01-09 22:15  5.2K  
 results.2022-01-09_22-15-02.diff.csv                                               2022-01-09 22:15   11K  
 results.2022-01-09_22-15-02.diff.html                                              2022-01-09 22:15  1.1M  
 results.2022-01-09_22-15-02.table.csv                                              2022-01-09 22:15   19K  
 results.2022-01-09_22-15-02.table.html                                             2022-01-09 22:15  1.2M  
 student-bitvec-to-int.2022-01-09_21-49-56.results.BvToInt-Bitwise.reach-svcomp.xml 2022-01-09 22:00   76K  
 student-bitvec-to-int.2022-01-09_21-49-56.results.BvToInt-Lazy.reach-svcomp.xml    2022-01-09 22:03   76K  
 student-bitvec-to-int.2022-01-09_21-49-56.results.BvToInt-None.reach-svcomp.xml    2022-01-09 22:07   75K  
 student-bitvec-to-int.2022-01-09_21-49-56.results.BvToInt-Sum.reach-svcomp.xml     2022-01-09 22:11   76K  
 student-bitvec-to-int.2022-01-09_21-49-56.results.Default-BV.reach-svcomp.xml      2022-01-09 21:56   75K  
 student-bitvec-to-int.2022-01-09_21-49-56.results.Default-Integer.reach-svcomp.xml 2022-01-09 21:52   77K  
 student-bitvec-to-int.2022-01-09_21-49-56.results.txt                              2022-01-09 22:11   42K