Index of /logs/smtinterpol-student-bitvectors/20210529-103829-smtinterpol-student-bitvectors-2b9544ae

 Name                                                               Last modified      Size  Description
 Parent Directory                                                                        -   
 z3bv-selection-z3.2021-05-29_05-00-04.logfiles/                    2021-05-29 10:37    -   
 smtinterpolbv-selection.2021-05-28_11-23-12.logfiles/              2021-05-29 10:37    -   
 overview                                                           2021-05-29 10:37  163   
 smtinterpolbv-selection.2021-05-28_11-23-12.results.BV.SMT-LIB.xml 2021-05-29 10:37  1.9M  
 z3bv-selection-z3.2021-05-29_05-00-04.results.BV.SMT-LIB.txt       2021-05-29 10:37  277K  
 td-bitvectors.diff.csv                                             2021-05-29 10:37   79K  
 td-bitvectors.diff.html                                            2021-05-29 10:37  1.4M  
 td-bitvectors.table.csv                                            2021-05-29 10:37  248K  
 z3bv-selection-z3.2021-05-29_05-00-04.results.BV.SMT-LIB.xml       2021-05-29 10:37  1.3M  
 smtinterpolbv-selection.2021-05-28_11-23-12.results.BV.SMT-LIB.txt 2021-05-29 10:37  277K  
 td-bitvectors.table.html                                           2021-05-29 10:37  2.2M