Index of /logs/smtinterpol-student-bitvectors/20210518-100944-smtinterpol-student-bitvectors-a09cf152-M

 Name                                                     Last modified      Size  Description
 Parent Directory                                                              -   
 bv-selection.2021-05-17_12-07-58.logfiles/               2021-05-18 10:08    -   
 bv-selection.2021-05-17_12-07-01.results.BV.SMT-LIB.txt  2021-05-18 10:08  1.1K  
 bv-selection.2021-05-17_12-07-58.results.BV.SMT-LIB.csv  2021-05-18 10:08  136K  
 bv-selection.2021-05-17_12-07-58.results.BV.SMT-LIB.html 2021-05-18 10:08  1.7M  
 bv-selection.2021-05-17_12-07-58.results.BV.SMT-LIB.txt  2021-05-18 10:08  277K  
 bv-selection.2021-05-17_12-07-58.results.BV.SMT-LIB.xml  2021-05-18 10:08  1.9M  
 overview                                                 2021-05-18 10:08  163