detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc7099.smt2 (content) ok ok 0.738s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc7098.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc7094.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc7093.smt2 (content) ok ok 0.742s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc7092.smt2 (content) ok ok 0.800s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc7089.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc7087.smt2 (content) ok ok 0.937s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc7086.smt2 (content) ok ok 0.778s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc7084.smt2 (content) ok ok 0.896s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc7082.smt2 (content) ok ok 0.758s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc7078.smt2 (content) ok ok 0.577s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc7074.smt2 (content) ok ok 0.468s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc7073.smt2 (content) ok ok 0.546s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc7072.smt2 (content) ok ok 0.771s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc7071.smt2 (content) ok ok 0.921s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc7069.smt2 (content) ok ok 0.523s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc7068.smt2 (content) ok ok 0.926s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc7067.smt2 (content) ok ok 0.860s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc7064.smt2 (content) ok ok 0.884s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc7060.smt2 (content) ok ok 0.800s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc7059.smt2 (content) ok ok 0.791s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6847.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6845.smt2 (content) ok ok 0.972s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6348.smt2 (content) ok ok 0.618s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6347.smt2 (content) ok ok 1.4s