Index of /logs/smtinterpol-student-bitvectors/20210420-180109-smtinterpol-student-bitvectors-33cbc6e7

 Name                                                       Last modified      Size  Description
 Parent Directory                                                                -   
 def_smtinterpol.2021-04-20_18-01-00.logfiles/              2021-04-20 17:59    -   
 def_smtinterpol.2021-04-20_18-01-00.results.BV.SMT-LIB.txt 2021-04-20 17:59  3.4K  
 def_smtinterpol.2021-04-20_18-01-00.results.BV.SMT-LIB.xml 2021-04-20 17:59   26K  
 overview                                                   2021-04-20 17:59  161   
 td-bitvectors.table.csv                                    2021-04-20 17:59  2.2K  
 td-bitvectors.table.html                                   2021-04-20 17:59  1.1M