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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 def_smtinterpol.2021-04-20_17-26-29.logfiles/      2021-04-20 17:41    -   
 td-bitvectors.table.html                           2021-04-20 17:41  1.1M  
 td-bitvectors.table.csv                            2021-04-20 17:41  2.2K  
 overview                                           2021-04-20 17:41  161   
 def_smtinterpol.2021-04-20_17-26-29.results.BV.xml 2021-04-20 17:41   25K  
 def_smtinterpol.2021-04-20_17-26-29.results.BV.txt 2021-04-20 17:41  3.4K