Index of /logs/bv-solver-eval/20241103-163326-bv-solver-eval-b75d321738-M

Icon  Name                                                                                         Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                                  -   
[DIR] uautomizer-fast-bitvector-solvers.2024-11-02_19-34-52.logfiles-dump/                         2024-11-03 16:33    -   
[DIR] uautomizer-fast-bitvector-solvers.2024-11-02_19-34-52.logfiles/                              2024-11-03 11:58    -   
[DIR] uautomizer-fast-bitvector-solvers.2024-11-03_12-04-32.logfiles-dump/                         2024-11-03 16:33    -   
[DIR] uautomizer-fast-bitvector-solvers.2024-11-03_12-04-32.logfiles/                              2024-11-03 15:23    -   
[   ] overview                                                                                     2024-11-03 16:33   61K  
[TXT] results.2024-11-03_16-31-25.diff.csv                                                         2024-11-03 16:31  548K  
[TXT] results.2024-11-03_16-31-25.diff.html                                                        2024-11-03 16:31  4.3M  
[TXT] results.2024-11-03_16-31-25.table.csv                                                        2024-11-03 16:31  718K  
[TXT] results.2024-11-03_16-31-25.table.html                                                       2024-11-03 16:31  5.4M  
[TXT] uautomizer-fast-bitvector-solvers.2024-11-02_19-34-52.results.bitwuzla.ReachSafety32.xml.bak 2024-11-03 11:58  2.3M  
[TXT] uautomizer-fast-bitvector-solvers.2024-11-02_19-34-52.results.CVC4.ReachSafety32.xml         2024-11-03 04:12  2.4M  
[TXT] uautomizer-fast-bitvector-solvers.2024-11-02_19-34-52.results.CVC5.ReachSafety32.xml         2024-11-03 07:31  2.4M  
[TXT] uautomizer-fast-bitvector-solvers.2024-11-02_19-34-52.results.MathSAT.ReachSafety32.xml      2024-11-03 10:47  2.4M  
[TXT] uautomizer-fast-bitvector-solvers.2024-11-02_19-34-52.results.SMTInterpol.ReachSafety32.xml  2024-11-02 21:08  2.3M  
[TXT] uautomizer-fast-bitvector-solvers.2024-11-02_19-34-52.results.txt                            2024-11-03 11:58  1.6M  
[TXT] uautomizer-fast-bitvector-solvers.2024-11-02_19-34-52.results.Z3.ReachSafety32.xml           2024-11-03 00:29  2.4M  
[TXT] uautomizer-fast-bitvector-solvers.2024-11-03_12-04-32.results.bitwuzla.ReachSafety32.txt     2024-11-03 15:23  271K  
[TXT] uautomizer-fast-bitvector-solvers.2024-11-03_12-04-32.results.bitwuzla.ReachSafety32.xml     2024-11-03 15:23  2.4M