detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21020.smt2 (content) ok ok 0.087s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21010.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc20512.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc20438.smt2 (content) ok ok 0.090s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc20437.smt2 (content) ok ok 0.128s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc20436.smt2 (content) ok ok 0.116s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc20433.smt2 (content) ok ok 0.118s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc20428.smt2 (content) ok ok 0.126s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc20427.smt2 (content) ok ok 0.093s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc20423.smt2 (content) ok ok 0.111s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc20417.smt2 (content) ok ok 0.120s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc20413.smt2 (content) ok ok 0.114s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc20411.smt2 (content) ok ok 0.112s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc20254.smt2 (content) ok ok 0.093s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc20235.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37260.smt2 (content) ok ok 0.094s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37255.smt2 (content) ok ok 0.083s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37251.smt2 (content) ok ok 0.087s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37249.smt2 (content) ok ok 0.088s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37247.smt2 (content) ok ok 0.087s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37243.smt2 (content) ok ok 0.075s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37242.smt2 (content) ok ok 0.099s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37241.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37231.smt2 (content) ok ok 0.076s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_innfeed_vc37230.smt2 (content) ok ok 0.068s