Index of /logs/smtinterpol-student-bitvectors/20210518-164437-smtinterpol-student-bitvectors-51b59f53-M

 Name                                                        Last modified      Size  Description
 Parent Directory                                                                 -   
 bv-selection-z3.2021-05-18_11-19-52.logfiles/               2021-05-18 16:43    -   
 bv-selection-z3.2021-05-18_11-19-52.results.BV.SMT-LIB.xml  2021-05-18 16:43  1.3M  
 bv-selection-z3.2021-05-18_11-19-52.results.BV.SMT-LIB.html 2021-05-18 16:43  1.6M  
 bv-selection-z3.2021-05-18_11-19-52.results.BV.SMT-LIB.csv  2021-05-18 16:43  129K  
 bv-selection-z3.2021-05-18_11-19-52.results.BV.SMT-LIB.txt  2021-05-18 16:43  277K  
 overview                                                    2021-05-18 16:43  163   
 comparison.diff.csv                                         2021-05-18 16:54   67K  
 comparison.table.csv                                        2021-05-18 16:54  199K  
 comparison.diff.html                                        2021-05-18 16:54  1.4M  
 comparison.table.html                                       2021-05-18 16:54  2.1M