detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105357.smt2 (content) ok ok 0.455s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105354.smt2 (content) ok ok 0.371s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105353.smt2 (content) ok ok 0.308s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105346.smt2 (content) ok ok 0.314s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105324.smt2 (content) ok ok 0.486s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105323.smt2 (content) ok ok 0.549s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105322.smt2 (content) ok ok 0.364s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105321.smt2 (content) ok ok 0.375s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105319.smt2 (content) ok ok 0.345s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105251.smt2 (content) ok ok 0.477s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105153.smt2 (content) ok ok 0.431s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/cvs_v1.11.22/cvs_vc105128.smt2 (content) ok ok 0.505s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_999.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_998.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_997.smt2 (content) ok ok 0.046s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_996.smt2 (content) ok ok 0.063s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_995.smt2 (content) ok ok 0.073s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_994.smt2 (content) ok ok 0.106s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_993.smt2 (content) ok ok 0.077s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_992.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_991.smt2 (content) ok ok 0.140s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_990.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_99.smt2 (content) ok ok 0.107s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_989.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_988.smt2 (content) ok ok 0.012s