detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw064.smt2 (content) ok ok 0.093s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw048.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw032.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov2bw016.smt2 (content) ok ok 0.048s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov1bw48.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov1bw32.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov1bw24.smt2 (content) ok ok 0.050s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov1bw16.smt2 (content) ok ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov1bw12.smt2 (content) ok ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov1bw08.smt2 (content) ok ok 0.046s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/smulov1bw04.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbsdown256.smt2 (content) ok ok 0.349s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbsdown128.smt2 (content) ok ok 0.199s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbsdown064.smt2 (content) ok ok 0.108s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbsdown032.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbsdown016.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbsdown008.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbs256.smt2 (content) ok ok 0.361s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbs128.smt2 (content) ok ok 0.194s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbs064.smt2 (content) ok ok 0.112s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbs032.smt2 (content) ok ok 0.074s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbs016.smt2 (content) ok ok 0.054s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbs008.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbe256.smt2 (content) ok ok 0.632s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbe128.smt2 (content) ok ok 0.315s