Index of /logs/bv-solver-eval/20241102-181619-bv-solver-eval-2fd5b25e37

 Name                                                                                        Last modified      Size  Description
 Parent Directory                                                                                                 -   
 uautomizer-fast-bitvector-solvers.2024-10-31_21-41-35.logfiles-dump/                        2024-11-02 18:16    -   
 uautomizer-fast-bitvector-solvers.2024-10-31_21-41-35.logfiles/                             2024-11-01 22:35    -   
 overview                                                                                    2024-11-02 18:16  180K  
 results.2024-11-02_18-13-52.diff.csv                                                        2024-11-02 18:13  544K  
 results.2024-11-02_18-13-52.diff.html                                                       2024-11-02 18:13  4.4M  
 results.2024-11-02_18-13-52.table.csv                                                       2024-11-02 18:13  1.6M  
 results.2024-11-02_18-13-52.table.html                                                      2024-11-02 18:13   11M  
 uautomizer-fast-bitvector-solvers.2024-10-31_21-41-35.results.bitwuzla.ReachSafety64.xml    2024-11-01 22:37  5.2M  
 uautomizer-fast-bitvector-solvers.2024-10-31_21-41-35.results.CVC4.ReachSafety64.xml        2024-11-01 09:59  5.2M  
 uautomizer-fast-bitvector-solvers.2024-10-31_21-41-35.results.CVC5.ReachSafety64.xml        2024-11-01 14:15  5.2M  
 uautomizer-fast-bitvector-solvers.2024-10-31_21-41-35.results.MathSAT.ReachSafety64.xml     2024-11-01 18:24  5.2M  
 uautomizer-fast-bitvector-solvers.2024-10-31_21-41-35.results.SMTInterpol.ReachSafety64.xml 2024-11-01 02:04  5.2M  
 uautomizer-fast-bitvector-solvers.2024-10-31_21-41-35.results.txt                           2024-11-01 22:37  5.6M  
 uautomizer-fast-bitvector-solvers.2024-10-31_21-41-35.results.Z3.ReachSafety64.xml          2024-11-01 05:50  5.2M