detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4828.smt2 (content) ok ok 4.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4827.smt2 (content) ok ok 5.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4826.smt2 (content) ok ok 4.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4825.smt2 (content) ok ok 4.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4824.smt2 (content) ok ok 3.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4823.smt2 (content) ok ok 5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4822.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4821.smt2 (content) ok ok 5.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4820.smt2 (content) ok ok 3.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4819.smt2 (content) ok ok 3.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4818.smt2 (content) ok ok 3.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4817.smt2 (content) ok ok 3.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4816.smt2 (content) ok ok 4.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4815.smt2 (content) ok ok 4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4814.smt2 (content) ok ok 3.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4813.smt2 (content) ok ok 2.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4812.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4811.smt2 (content) ok ok 3.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4810.smt2 (content) ok ok 3.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4809.smt2 (content) ok ok 0.577s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4806.smt2 (content) ok ok 0.759s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4803.smt2 (content) ok ok 0.768s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4801.smt2 (content) ok ok 0.542s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4797.smt2 (content) ok ok 0.713s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4796.smt2 (content) ok ok 0.472s