Index of /logs/bv-solver-eval/20241115-210643-bv-solver-eval-3dddfdf24e-M

 Name                                                                                 Last modified      Size  Description
 Parent Directory                                                                                          -   
 uautomizer-fast-bitvector-solvers.2024-11-15_12-57-55.logfiles-dump/                 2024-11-15 21:06    -   
 uautomizer-fast-bitvector-solvers.2024-11-15_12-57-55.logfiles/                      2024-11-15 18:42    -   
 overview                                                                             2024-11-15 21:06  182K  
 results.2024-11-15_20-58-57.diff.csv                                                 2024-11-15 20:58  116K  
 results.2024-11-15_20-58-57.diff.html                                                2024-11-15 20:58  1.7M  
 results.2024-11-15_20-58-57.table.csv                                                2024-11-15 20:58  1.0M  
 results.2024-11-15_20-58-57.table.html                                               2024-11-15 20:59  6.6M  
 uautomizer-fast-bitvector-solvers.2024-11-05_22-38-37.results.Fox.ReachSafety64.xml  2024-11-06 16:33  5.2M  
 uautomizer-fast-bitvector-solvers.2024-11-05_22-38-37.results.Wolf.ReachSafety64.xml 2024-11-06 07:38  5.2M  
 uautomizer-fast-bitvector-solvers.2024-11-15_12-57-55.results.Fox.ReachSafety64.txt  2024-11-15 18:43  943K  
 uautomizer-fast-bitvector-solvers.2024-11-15_12-57-55.results.Fox.ReachSafety64.xml  2024-11-15 18:43  5.2M