root
file
detailed [32075..32099]
prev
next
detailed results (92284 total)
filter
improved
ok
disappoint
bad
error
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