detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov4bw0128.smt2 (content) ok ok 0.129s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov4bw0064.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov4bw0032.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov3bw1024.smt2 (content) ok ok 0.749s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov3bw0896.smt2 (content) ok ok 0.707s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov3bw0768.smt2 (content) ok ok 0.592s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov3bw0640.smt2 (content) ok ok 0.531s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov3bw0512.smt2 (content) ok ok 0.373s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov3bw0384.smt2 (content) ok ok 0.278s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov3bw0256.smt2 (content) ok ok 0.199s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov3bw0128.smt2 (content) ok ok 0.111s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov3bw0064.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov3bw0032.smt2 (content) ok ok 0.054s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw512.smt2 (content) ok ok 0.557s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw448.smt2 (content) ok ok 0.480s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw384.smt2 (content) ok ok 0.464s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw320.smt2 (content) ok ok 0.437s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw256.smt2 (content) ok ok 0.357s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw224.smt2 (content) ok ok 0.322s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw192.smt2 (content) ok ok 0.216s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw160.smt2 (content) ok ok 0.189s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw128.smt2 (content) ok ok 0.187s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw112.smt2 (content) ok ok 0.140s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw096.smt2 (content) ok ok 0.128s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw080.smt2 (content) ok ok 0.109s