# . * SAT 4 * UNSAT 5 * TIMEOUT 18 * UNKNOWN 0 * UNSET 2 * ERROR 2 # Meta data 
Ramon benchmark for Z3
-
Job description: 
Job tag: qfbv-master-perf-pr
Runner: lev-ripper
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 | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |bench0_check.smt2 | 0.028s | 19.18MiB| sat | 0 | | | |bench1_check.smt2 | 0.038s | 19.328MiB| sat | 0 | | | |1hSVT2qncdEm.smt2 | 1.378s | 31.364MiB| unsat | 0 | | | |kGtGKWuCDzgr.smt2 | 1.803s | 40.996MiB| unsat | 0 | | | |bench_6159.smt2 | 3.775s | 189.0MiB| sat | 0 | | | |bench_2155.smt2 | 4.083s | 189.0MiB| sat | 0 | | | |bench5.smt2 | 5.448s | 1700.0MiB| unsat | 0 | | | |bench11.smt2 | 5.602s | 1705.0MiB| unsat | 0 | | | |bench7.smt2 | 7.759s | 1780.0MiB| unsat | 0 | | | |bench25.smt2 | 26.535s | 12.798GiB| unset | 137 | | | |bench1_bw512.smt2 | 28.242s | 6387.0MiB| unset | 137 | | | |bench25_core.smt2 | 30.026s | 42.168MiB| timeout | 0 | | | |bench1_bw64.smt2 | 30.086s | 849.0MiB| timeout | 0 | | | |bench_4153.smt2 | 30.095s | 137.0MiB| timeout | 0 | | | |bench0_simplified.smt2 | 30.189s | 767.0MiB| timeout | 0 | | | |bench1_bw300.smt2 | 30.429s | 3231.0MiB| timeout | 0 | | | |bench2.smt2 | 30.453s | 3193.0MiB| timeout | 0 | | | |bench31.smt2 | 30.594s | 6376.0MiB| timeout | 0 | | | |bench3.smt2 | 30.600s | 3293.0MiB| timeout | 0 | | | |bench27.smt2 | 30.621s | 3633.0MiB| timeout | 0 | | | |bench23.smt2 | 30.626s | 3623.0MiB| timeout | 0 | | | |bench6.smt2 | 30.629s | 6232.0MiB| timeout | 0 | | | |bench13.smt2 | 30.645s | 6376.0MiB| timeout | 0 | | | |bench1_bw256.smt2 | 30.650s | 6401.0MiB| timeout | 0 | | | |bench1_bw1024.smt2 | 30.668s | 6620.0MiB| timeout | 0 | | | |bench1.smt2 | 30.725s | 6401.0MiB| timeout | 0 | | | |bench1_bw8192.smt2 | 30.761s | 7258.0MiB| timeout | 0 | | | |bench15.smt2 | 30.815s | 6460.0MiB| timeout | 0 | | | |bench0.smt2 | 30.833s | 6401.0MiB| timeout | 0 | | |