detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21246.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21245.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21244.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21243.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21242.smt2 (content) ok ok 0.101s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21239.smt2 (content) ok ok 0.107s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21237.smt2 (content) ok ok 0.087s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21232.smt2 (content) ok ok 0.075s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21230.smt2 (content) ok ok 0.079s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21229.smt2 (content) ok ok 0.081s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21225.smt2 (content) ok ok 0.073s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21221.smt2 (content) ok ok 0.095s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21220.smt2 (content) ok ok 0.088s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21219.smt2 (content) ok ok 0.077s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21217.smt2 (content) ok ok 0.077s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21215.smt2 (content) ok ok 0.075s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21212.smt2 (content) ok ok 0.077s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21211.smt2 (content) ok ok 0.093s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21209.smt2 (content) ok ok 0.079s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21208.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21207.smt2 (content) ok ok 0.109s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21040.smt2 (content) ok ok 0.101s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21039.smt2 (content) ok ok 0.100s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21037.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21034.smt2 (content) ok ok 0.080s