detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21638.smt2 (content) ok ok 0.099s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21637.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21636.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21633.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21631.smt2 (content) ok ok 0.077s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21458.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21457.smt2 (content) ok ok 0.089s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21454.smt2 (content) ok ok 0.085s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21453.smt2 (content) ok ok 0.104s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21452.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21451.smt2 (content) ok ok 0.079s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21448.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21447.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21446.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21440.smt2 (content) ok ok 0.081s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21439.smt2 (content) ok ok 0.081s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21435.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21434.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21433.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21430.smt2 (content) ok ok 0.102s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21429.smt2 (content) ok ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21428.smt2 (content) ok ok 0.073s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21427.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21424.smt2 (content) ok ok 0.073s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21422.smt2 (content) ok ok 0.073s