# . * SAT 0 * UNSAT 0 * TIMEOUT 0 * UNKNOWN 0 * UNSET 29 * ERROR 29 # Meta data 
Ramon benchmark for Z3
-
Job description: 
Job tag: smt-p
Runner: lev-ripper
Z3 repo: Z3Prover/z3
Z3 commit: f77123c13cc8dabe8d1d0217a3312738da834eba
Z3 branch: 
Z3 options: "-T:60 smt.th"
Z3 inputs: inputs/QF_BV_small
Z3 commit message: enable passive, add check for bloom up-to-date
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |bench11.smt2 | 1000.000s | -1B| unset | -1 | | | |kGtGKWuCDzgr.smt2 | 1000.000s | -1B| unset | -1 | | | |bench1_bw1024.smt2 | 1000.000s | -1B| unset | -1 | | | |bench0_simplified.smt2 | 1000.000s | -1B| unset | -1 | | | |bench25_core.smt2 | 1000.000s | -1B| unset | -1 | | | |bench1.smt2 | 1000.000s | -1B| unset | -1 | | | |bench7.smt2 | 1000.000s | -1B| unset | -1 | | | |bench27.smt2 | 1000.000s | -1B| unset | -1 | | | |bench31.smt2 | 1000.000s | -1B| unset | -1 | | | |bench1_bw512.smt2 | 1000.000s | -1B| unset | -1 | | | |bench2.smt2 | 1000.000s | -1B| unset | -1 | | | |bench0.smt2 | 1000.000s | -1B| unset | -1 | | | |bench15.smt2 | 1000.000s | -1B| unset | -1 | | | |bench23.smt2 | 1000.000s | -1B| unset | -1 | | | |bench_4153.smt2 | 1000.000s | -1B| unset | -1 | | | |bench6.smt2 | 1000.000s | -1B| unset | -1 | | | |bench13.smt2 | 1000.000s | -1B| unset | -1 | | | |bench1_bw256.smt2 | 1000.000s | -1B| unset | -1 | | | |bench5.smt2 | 1000.000s | -1B| unset | -1 | | | |bench25.smt2 | 1000.000s | -1B| unset | -1 | | | |bench3.smt2 | 1000.000s | -1B| unset | -1 | | | |bench_2155.smt2 | 1000.000s | -1B| unset | -1 | | | |bench_6159.smt2 | 1000.000s | -1B| unset | -1 | | | |bench1_bw8192.smt2 | 1000.000s | -1B| unset | -1 | | | |1hSVT2qncdEm.smt2 | 1000.000s | -1B| unset | -1 | | | |bench0_check.smt2 | 1000.000s | -1B| unset | -1 | | | |bench1_check.smt2 | 1000.000s | -1B| unset | -1 | | | |bench1_bw300.smt2 | 1000.000s | -1B| unset | -1 | | | |bench1_bw64.smt2 | 1000.000s | -1B| unset | -1 | | |