detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33349.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33348.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33347.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33344.smt2 (content) ok ok 0.073s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33343.smt2 (content) ok ok 0.107s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33342.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33341.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33337.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33335.smt2 (content) ok ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33182.smt2 (content) ok ok 0.099s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33177.smt2 (content) ok ok 0.083s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33170.smt2 (content) ok ok 0.095s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33164.smt2 (content) ok ok 0.077s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33163.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33162.smt2 (content) ok ok 0.083s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33158.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33153.smt2 (content) ok ok 0.076s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc32740.smt2 (content) ok ok 0.046s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc32662.smt2 (content) ok ok 0.175s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc32661.smt2 (content) ok ok 0.119s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc32659.smt2 (content) ok ok 0.122s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc32653.smt2 (content) ok ok 0.116s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc32648.smt2 (content) ok ok 0.123s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc32642.smt2 (content) ok ok 0.114s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc32638.smt2 (content) ok ok 0.115s