detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225935.smt2 (content) ok ok 1.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225916.smt2 (content) ok ok 1.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225912.smt2 (content) ok ok 1.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225910.smt2 (content) ok ok 2.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225909.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225908.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225907.smt2 (content) ok ok 1.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225906.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225903.smt2 (content) ok ok 2.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225901.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225900.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225899.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225898.smt2 (content) ok ok 1.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225897.smt2 (content) ok ok 2.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225896.smt2 (content) ok ok 1.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225895.smt2 (content) ok ok 1.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225894.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225893.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225885.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225884.smt2 (content) ok ok 1.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225883.smt2 (content) ok ok 2.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225882.smt2 (content) ok ok 2.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225881.smt2 (content) ok ok 1.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225858.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libmsrpc_vc1225857.smt2 (content) ok ok 2.1s