Index of /logs/bv-solver-eval/20241031-214048-bv-solver-eval-2fd5b25e37

Icon  Name                                                                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                                 -   
[DIR] uautomizer-fast-bitvector-solvers.2024-10-31_15-02-25.logfiles-dump/                        2024-10-31 21:40    -   
[DIR] uautomizer-fast-bitvector-solvers.2024-10-31_15-02-25.logfiles/                             2024-10-31 21:35    -   
[   ] overview                                                                                    2024-10-31 21:40   32K  
[TXT] results.2024-10-31_21-40-07.diff.csv                                                        2024-10-31 21:40   63K  
[TXT] results.2024-10-31_21-40-07.diff.html                                                       2024-10-31 21:40  1.4M  
[TXT] results.2024-10-31_21-40-07.table.csv                                                       2024-10-31 21:40  1.2M  
[TXT] results.2024-10-31_21-40-07.table.html                                                      2024-10-31 21:40  7.2M  
[TXT] uautomizer-fast-bitvector-solvers.2024-10-31_15-02-25.results.CVC4.ReachSafety32.xml        2024-10-31 21:35  6.2M  
[TXT] uautomizer-fast-bitvector-solvers.2024-10-31_15-02-25.results.SMTInterpol.ReachSafety32.xml 2024-10-31 17:23  6.2M  
[TXT] uautomizer-fast-bitvector-solvers.2024-10-31_15-02-25.results.txt                           2024-10-31 21:35  2.5M  
[TXT] uautomizer-fast-bitvector-solvers.2024-10-31_15-02-25.results.Z3.ReachSafety32.xml          2024-10-31 19:31  6.2M