# . * SAT 4 * UNSAT 5 * TIMEOUT 15 * UNKNOWN 0 * UNSET 5 * ERROR 5 # Meta data 
Ramon benchmark for Z3
-
Job description: 
Job tag: qfbv-master
Runner: guido
Z3 repo: Z3Prover/z3
Z3 commit: f300dfc425e08a565f7362f3fc6e5aaa80462ea5
Z3 branch: master
Z3 options: "-T:30"
Z3 inputs: inputs/QF_BV_small
Z3 commit message: recompile improvers
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |bench1_check.smt2 | 0.008s | 19.256MiB| sat | 0 | | | |bench0_check.smt2 | 0.008s | 19.244MiB| sat | 0 | | | |kGtGKWuCDzgr.smt2 | 1.901s | 41.376MiB| unsat | 0 | | | |1hSVT2qncdEm.smt2 | 1.965s | 31.064MiB| unsat | 0 | | | |bench_6159.smt2 | 3.553s | 188.0MiB| sat | 0 | | | |bench5.smt2 | 4.545s | 1702.0MiB| unsat | 0 | | | |bench11.smt2 | 4.703s | 1708.0MiB| unsat | 0 | | | |bench_2155.smt2 | 5.450s | 188.0MiB| sat | 0 | | | |bench7.smt2 | 5.723s | 1785.0MiB| unsat | 0 | | | |bench25.smt2 | 14.580s | 12.8GiB| unset | 137 | | | |bench15.smt2 | 21.519s | 6460.0MiB| unset | 137 | | | |bench3.smt2 | 22.899s | 5753.0MiB| unset | 137 | | | |bench1_bw1024.smt2 | 26.965s | 8837.0MiB| unset | 137 | | | |bench1_bw8192.smt2 | 29.597s | 14.521GiB| unset | 137 | | | |bench25_core.smt2 | 30.007s | 44.22MiB| timeout | 0 | | | |bench_4153.smt2 | 30.016s | 138.0MiB| timeout | 0 | | | |bench0_simplified.smt2 | 30.047s | 767.0MiB| timeout | 0 | | | |bench1_bw64.smt2 | 30.053s | 850.0MiB| timeout | 0 | | | |bench2.smt2 | 30.082s | 5895.0MiB| timeout | 0 | | | |bench0.smt2 | 30.120s | 6411.0MiB| timeout | 0 | | | |bench1_bw300.smt2 | 30.123s | 6429.0MiB| timeout | 0 | | | |bench27.smt2 | 30.134s | 3636.0MiB| timeout | 0 | | | |bench6.smt2 | 30.138s | 6236.0MiB| timeout | 0 | | | |bench23.smt2 | 30.141s | 3624.0MiB| timeout | 0 | | | |bench1_bw512.smt2 | 30.144s | 6426.0MiB| timeout | 0 | | | |bench13.smt2 | 30.157s | 6381.0MiB| timeout | 0 | | | |bench1_bw256.smt2 | 30.158s | 6410.0MiB| timeout | 0 | | | |bench31.smt2 | 30.169s | 6383.0MiB| timeout | 0 | | | |bench1.smt2 | 30.180s | 6410.0MiB| timeout | 0 | | |