# .

* SAT 4
* UNSAT 5
* TIMEOUT 15
* UNKNOWN 0

* UNSET 5

* ERROR 5

# Meta data

<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: smt
Runner: guido
Z3 repo: Z3Prover/z3
Z3 commit: 35b1d094251c53066abf374190e9dd41fef9e966
Z3 branch: 
Z3 options: "-T:60 "
Z3 inputs: inputs/QF_BV_small
Z3 commit message: working on ho-matcher

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|bench0_check.smt2                                            |    0.009s | 18.508MiB| sat | 0 |  |  |
|bench1_check.smt2                                            |    0.012s | 18.508MiB| sat | 0 |  |  |
|1hSVT2qncdEm.smt2                                            |    2.054s | 30.672MiB| unsat | 0 |  |  |
|kGtGKWuCDzgr.smt2                                            |    2.270s | 40.368MiB| unsat | 0 |  |  |
|bench_6159.smt2                                              |    3.879s | 188.0MiB| sat | 0 |  |  |
|bench_2155.smt2                                              |    4.789s | 188.0MiB| sat | 0 |  |  |
|bench5.smt2                                                  |    5.317s | 1700.0MiB| unsat | 0 |  |  |
|bench11.smt2                                                 |    5.411s | 1705.0MiB| unsat | 0 |  |  |
|bench7.smt2                                                  |    6.669s | 1783.0MiB| unsat | 0 |  |  |
|bench25.smt2                                                 |   18.726s | 12.8GiB| unset | 137 |  |  |
|bench1_bw8192.smt2                                           |   22.934s | 7264.0MiB| unset | 137 |  |  |
|bench15.smt2                                                 |   28.596s | 6459.0MiB| unset | 137 |  |  |
|bench1_bw1024.smt2                                           |   35.944s | 10.816GiB| unset | 137 |  |  |
|bench1_bw512.smt2                                            |   41.080s | 12.838GiB| unset | 137 |  |  |
|bench25_core.smt2                                            |   59.913s | 49.78MiB| timeout | 0 |  |  |
|bench_4153.smt2                                              |   59.924s | 138.0MiB| timeout | 0 |  |  |
|bench1_bw64.smt2                                             |   59.997s | 849.0MiB| timeout | 0 |  |  |
|bench0_simplified.smt2                                       |   60.013s | 768.0MiB| timeout | 0 |  |  |
|bench27.smt2                                                 |   60.271s | 3632.0MiB| timeout | 0 |  |  |
|bench2.smt2                                                  |   60.291s | 5886.0MiB| timeout | 0 |  |  |
|bench3.smt2                                                  |   60.323s | 5759.0MiB| timeout | 0 |  |  |
|bench6.smt2                                                  |   60.333s | 6231.0MiB| timeout | 0 |  |  |
|bench23.smt2                                                 |   60.346s | 3623.0MiB| timeout | 0 |  |  |
|bench31.smt2                                                 |   60.401s | 6378.0MiB| timeout | 0 |  |  |
|bench13.smt2                                                 |   60.407s | 6388.0MiB| timeout | 0 |  |  |
|bench0.smt2                                                  |   60.428s | 6409.0MiB| timeout | 0 |  |  |
|bench1_bw300.smt2                                            |   60.470s | 12.778GiB| timeout | 0 |  |  |
|bench1_bw256.smt2                                            |   60.529s | 7153.0MiB| timeout | 0 |  |  |
|bench1.smt2                                                  |   60.545s | 6410.0MiB| timeout | 0 |  |  |