detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37227.smt2 (content) ok ok 0.074s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37224.smt2 (content) ok ok 0.093s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37220.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37219.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37058.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37055.smt2 (content) ok ok 0.132s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37052.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37051.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37046.smt2 (content) ok ok 0.088s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37044.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37038.smt2 (content) ok ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37035.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37034.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37030.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc36634.smt2 (content) ok ok 0.119s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc36620.smt2 (content) ok ok 0.129s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc36619.smt2 (content) ok ok 0.114s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc36616.smt2 (content) ok ok 0.138s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc36615.smt2 (content) ok ok 0.108s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc36608.smt2 (content) ok ok 0.106s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc36602.smt2 (content) ok ok 0.096s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc36461.smt2 (content) ok ok 0.105s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc36459.smt2 (content) ok ok 0.104s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc36443.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc36442.smt2 (content) ok ok 0.099s