detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331222.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331221.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331220.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331219.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331218.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331217.smt2 (content) ok ok 2.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331216.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331215.smt2 (content) ok ok 1.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331213.smt2 (content) ok ok 2.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331212.smt2 (content) ok ok 2.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331211.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331210.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331208.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331207.smt2 (content) ok ok 2.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331206.smt2 (content) ok ok 2.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331205.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331204.smt2 (content) ok ok 2.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331203.smt2 (content) ok ok 2.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331200.smt2 (content) ok ok 1.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331199.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331198.smt2 (content) ok ok 2.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331197.smt2 (content) ok ok 2.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331196.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331190.smt2 (content) ok ok 2.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331188.smt2 (content) ok ok 2.9s