detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc24809.smt2 (content) ok ok 0.111s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc24808.smt2 (content) ok ok 0.121s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc24800.smt2 (content) ok ok 0.113s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc24797.smt2 (content) ok ok 0.114s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc24636.smt2 (content) ok ok 0.101s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc24627.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc24623.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc24622.smt2 (content) ok ok 0.116s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33755.smt2 (content) ok ok 0.124s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33754.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33752.smt2 (content) ok ok 0.127s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33749.smt2 (content) ok ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33745.smt2 (content) ok ok 0.110s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33743.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33741.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33738.smt2 (content) ok ok 0.077s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33736.smt2 (content) ok ok 0.101s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33735.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33732.smt2 (content) ok ok 0.088s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33728.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33727.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33725.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33719.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33718.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc33564.smt2 (content) ok ok 0.095s