detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33563.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33562.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33561.smt2 (content) ok ok 0.103s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33559.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33558.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33557.smt2 (content) ok ok 0.088s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33554.smt2 (content) ok ok 0.089s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33552.smt2 (content) ok ok 0.090s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33545.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33544.smt2 (content) ok ok 0.075s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33541.smt2 (content) ok ok 0.087s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33538.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33536.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33535.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33534.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33533.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33532.smt2 (content) ok ok 0.093s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33529.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33528.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33527.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33369.smt2 (content) ok ok 0.115s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33361.smt2 (content) ok ok 0.094s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33359.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33354.smt2 (content) ok ok 0.077s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33353.smt2 (content) ok ok 0.114s