detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc32637.smt2 (content) ok ok 0.101s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc32635.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc32499.smt2 (content) ok ok 0.094s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc32492.smt2 (content) ok ok 0.090s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc32481.smt2 (content) ok ok 0.106s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc32478.smt2 (content) ok ok 0.088s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc32473.smt2 (content) ok ok 0.093s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innd_innd_vc32472.smt2 (content) ok ok 0.094s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc81761.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc81760.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc81759.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc81758.smt2 (content) ok ok 0.051s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc71402.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105458.smt2 (content) ok ok 0.394s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105453.smt2 (content) ok ok 0.444s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105447.smt2 (content) ok ok 0.403s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105439.smt2 (content) ok ok 0.550s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105433.smt2 (content) ok ok 0.378s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105422.smt2 (content) ok ok 0.430s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105421.smt2 (content) ok ok 0.393s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105413.smt2 (content) ok ok 0.487s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105410.smt2 (content) ok ok 0.416s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105369.smt2 (content) ok ok 0.513s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105366.smt2 (content) ok ok 0.327s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105365.smt2 (content) ok ok 0.485s