# . * SAT 4 * UNSAT 5 * TIMEOUT 17 * UNKNOWN 0 * UNSET 3 * ERROR 3 # Meta data 
Ramon benchmark for Z3
-
Job description: 
Job tag: qfbv-master
Runner: lev-ripper
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 | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |bench0_check.smt2 | 0.018s | 18.94MiB| sat | 0 | | | |bench1_check.smt2 | 0.029s | 19.224MiB| sat | 0 | | | |1hSVT2qncdEm.smt2 | 1.483s | 31.148MiB| unsat | 0 | | | |kGtGKWuCDzgr.smt2 | 1.775s | 40.992MiB| unsat | 0 | | | |bench_6159.smt2 | 3.662s | 188.0MiB| sat | 0 | | | |bench_2155.smt2 | 3.665s | 189.0MiB| sat | 0 | | | |bench11.smt2 | 5.596s | 1705.0MiB| unsat | 0 | | | |bench5.smt2 | 5.598s | 1700.0MiB| unsat | 0 | | | |bench7.smt2 | 7.863s | 1780.0MiB| unsat | 0 | | | |bench25.smt2 | 19.899s | 12.8GiB| unset | 137 | | | |bench15.smt2 | 26.059s | 6460.0MiB| unset | 137 | | | |bench1_bw512.smt2 | 27.290s | 6422.0MiB| unset | 137 | | | |bench25_core.smt2 | 30.048s | 41.036MiB| timeout | 0 | | | |bench_4153.smt2 | 30.076s | 137.0MiB| timeout | 0 | | | |bench1_bw64.smt2 | 30.133s | 849.0MiB| timeout | 0 | | | |bench0_simplified.smt2 | 30.214s | 767.0MiB| timeout | 0 | | | |bench1_bw300.smt2 | 30.464s | 3230.0MiB| timeout | 0 | | | |bench2.smt2 | 30.523s | 3193.0MiB| timeout | 0 | | | |bench3.smt2 | 30.523s | 3186.0MiB| timeout | 0 | | | |bench23.smt2 | 30.638s | 3623.0MiB| timeout | 0 | | | |bench27.smt2 | 30.670s | 3633.0MiB| timeout | 0 | | | |bench13.smt2 | 30.785s | 6375.0MiB| timeout | 0 | | | |bench1_bw256.smt2 | 30.788s | 6401.0MiB| timeout | 0 | | | |bench1.smt2 | 30.790s | 6401.0MiB| timeout | 0 | | | |bench6.smt2 | 30.795s | 6225.0MiB| timeout | 0 | | | |bench0.smt2 | 30.802s | 6400.0MiB| timeout | 0 | | | |bench31.smt2 | 30.833s | 6378.0MiB| timeout | 0 | | | |bench1_bw1024.smt2 | 30.895s | 6620.0MiB| timeout | 0 | | | |bench1_bw8192.smt2 | 31.018s | 7257.0MiB| timeout | 0 | | |