# . * SAT 4 * UNSAT 5 * TIMEOUT 17 * UNKNOWN 0 * UNSET 3 * ERROR 3 # Meta data 
Ramon benchmark for Z3
-
Job description: 
Job tag: qfbv-master-perf-pr
Runner: guido
Z3 repo: Z3Prover/z3
Z3 commit: 7ec980f6f8a802c8df97715fc8d0edc1deb1d960
Z3 branch: daily-perf-improver-626c8de5af64f883
Z3 options: "-T:30"
Z3 inputs: inputs/QF_BV_small
Z3 commit message: staged files
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |bench1_check.smt2 | 0.010s | 18.996MiB| sat | 0 | | | |bench0_check.smt2 | 0.015s | 18.632MiB| sat | 0 | | | |1hSVT2qncdEm.smt2 | 2.091s | 30.852MiB| unsat | 0 | | | |kGtGKWuCDzgr.smt2 | 2.424s | 41.14MiB| unsat | 0 | | | |bench5.smt2 | 3.406s | 1701.0MiB| unsat | 0 | | | |bench11.smt2 | 4.237s | 1705.0MiB| unsat | 0 | | | |bench_6159.smt2 | 4.856s | 189.0MiB| sat | 0 | | | |bench_2155.smt2 | 4.930s | 189.0MiB| sat | 0 | | | |bench7.smt2 | 7.031s | 1781.0MiB| unsat | 0 | | | |bench25.smt2 | 17.847s | 12.8GiB| unset | 137 | | | |bench1_bw8192.smt2 | 21.456s | 7264.0MiB| unset | 137 | | | |bench15.smt2 | 26.783s | 6460.0MiB| unset | 137 | | | |bench25_core.smt2 | 30.008s | 43.776MiB| timeout | 0 | | | |bench_4153.smt2 | 30.023s | 139.0MiB| timeout | 0 | | | |bench1_bw64.smt2 | 30.044s | 849.0MiB| timeout | 0 | | | |bench0_simplified.smt2 | 30.093s | 767.0MiB| timeout | 0 | | | |bench2.smt2 | 30.228s | 5885.0MiB| timeout | 0 | | | |bench3.smt2 | 30.286s | 5762.0MiB| timeout | 0 | | | |bench6.smt2 | 30.352s | 6235.0MiB| timeout | 0 | | | |bench23.smt2 | 30.370s | 3630.0MiB| timeout | 0 | | | |bench27.smt2 | 30.385s | 3644.0MiB| timeout | 0 | | | |bench1_bw300.smt2 | 30.397s | 6430.0MiB| timeout | 0 | | | |bench31.smt2 | 30.412s | 6389.0MiB| timeout | 0 | | | |bench1_bw1024.smt2 | 30.419s | 6622.0MiB| timeout | 0 | | | |bench13.smt2 | 30.436s | 6379.0MiB| timeout | 0 | | | |bench1_bw256.smt2 | 30.443s | 6410.0MiB| timeout | 0 | | | |bench1_bw512.smt2 | 30.449s | 6426.0MiB| timeout | 0 | | | |bench1.smt2 | 30.463s | 6411.0MiB| timeout | 0 | | | |bench0.smt2 | 30.475s | 6410.0MiB| timeout | 0 | | |