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

 Name                                                Last modified      Size  Description
 Parent Directory                                                         -   
 def_smtinterpol.2021-04-20_17-14-27.logfiles/       2021-04-20 17:18    -   
 def_smtinterpol.2021-04-20_17-14-27.results.BV.txt  2021-04-20 17:18  3.4K  
 overview                                            2021-04-20 17:18  161   
 def_smtinterpol.2021-04-20_17-14-27.results.BV.csv  2021-04-20 17:18  1.5K  
 def_smtinterpol.2021-04-20_17-14-27.results.BV.xml  2021-04-20 17:18   25K  
 def_smtinterpol.2021-04-20_17-14-27.results.BV.html 2021-04-20 17:18  1.1M