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

 Name                                                       Last modified      Size  Description
 Parent Directory                                                                -   
 def_smtinterpol.2021-04-20_18-22-30.logfiles/              2021-04-20 20:11    -   
 def_smtinterpol.2021-04-20_18-22-30.results.BV.SMT-LIB.txt 2021-04-20 20:11  212K  
 def_smtinterpol.2021-04-20_18-22-30.results.BV.SMT-LIB.xml 2021-04-20 20:11  1.6M  
 overview                                                   2021-04-20 20:11  163   
 td-bitvectors.table.csv                                    2021-04-20 20:11  131K  
 td-bitvectors.table.html                                   2021-04-20 20:11  1.6M