detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc330976.smt2 (content) ok ok 0.326s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc330973.smt2 (content) ok ok 0.386s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc330967.smt2 (content) ok ok 0.229s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc330966.smt2 (content) ok ok 0.358s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc330965.smt2 (content) ok ok 0.251s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc330950.smt2 (content) ok ok 0.232s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/openldap_v2.3.35/servers_slapd_a_vc149923.smt2 (content) ok ok 0.355s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/openldap_v2.3.35/servers_slapd_a_vc149922.smt2 (content) ok ok 0.220s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/openldap_v2.3.35/servers_slapd_a_vc149921.smt2 (content) ok ok 0.340s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/openldap_v2.3.35/servers_slapd_a_vc149789.smt2 (content) ok ok 0.910s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/openldap_v2.3.35/servers_slapd_a_vc149787.smt2 (content) ok ok 0.929s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/openldap_v2.3.35/servers_slapd_a_vc149572.smt2 (content) ok ok 0.767s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/openldap_v2.3.35/servers_slapd_a_vc149571.smt2 (content) ok ok 0.603s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/openldap_v2.3.35/servers_slapd_a_vc149570.smt2 (content) ok ok 0.654s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21666.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21664.smt2 (content) ok ok 0.090s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21661.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21660.smt2 (content) ok ok 0.090s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21657.smt2 (content) ok ok 0.083s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21655.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21650.smt2 (content) ok ok 0.074s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21648.smt2 (content) ok ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21647.smt2 (content) ok ok 0.077s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21643.smt2 (content) ok ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/nnrpd_nnrpd_vc21639.smt2 (content) ok ok 0.071s