Index of /logs/bv-solver-eval/20241105-175514-bv-solver-eval-b75d321738-M

Icon  Name                                                                                     Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                              -   
[DIR] uautomizer-fast-bitvector-solvers.2024-11-04_11-37-58.logfiles-dump/                     2024-11-05 17:55    -   
[DIR] uautomizer-fast-bitvector-solvers.2024-11-04_11-37-58.logfiles/                          2024-11-05 16:14    -   
[   ] overview                                                                                 2024-11-05 17:55   72K  
[TXT] results.2024-11-05_17-52-50.diff.csv                                                     2024-11-05 17:52  129K  
[TXT] results.2024-11-05_17-52-50.diff.html                                                    2024-11-05 17:52  1.8M  
[TXT] results.2024-11-05_17-52-50.table.csv                                                    2024-11-05 17:52  1.4M  
[TXT] results.2024-11-05_17-52-50.table.html                                                   2024-11-05 17:52  9.6M  
[TXT] uautomizer-fast-bitvector-solvers.2024-11-04_11-37-58.results.bitwuzla.ReachSafety64.xml 2024-11-05 16:16  5.2M  
[TXT] uautomizer-fast-bitvector-solvers.2024-11-04_11-37-58.results.CVC4.ReachSafety64.xml     2024-11-04 22:58  5.2M  
[TXT] uautomizer-fast-bitvector-solvers.2024-11-04_11-37-58.results.CVC5.ReachSafety64.xml     2024-11-05 04:47  5.2M  
[TXT] uautomizer-fast-bitvector-solvers.2024-11-04_11-37-58.results.MathSAT.ReachSafety64.xml  2024-11-05 10:30  5.2M  
[TXT] uautomizer-fast-bitvector-solvers.2024-11-04_11-37-58.results.txt                        2024-11-05 16:16  4.6M  
[TXT] uautomizer-fast-bitvector-solvers.2024-11-04_11-37-58.results.Z3.ReachSafety64.xml       2024-11-04 17:19  5.2M