root
file
detailed [32100..32124]
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_vc331044.smt2
(content)
ok
ok
0.743s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331042.smt2
(content)
ok
ok
0.291s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331034.smt2
(content)
ok
ok
0.658s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331025.smt2
(content)
ok
ok
0.359s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331024.smt2
(content)
ok
ok
0.324s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331021.smt2
(content)
ok
ok
0.531s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331020.smt2
(content)
ok
ok
0.568s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331016.smt2
(content)
ok
ok
0.354s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331014.smt2
(content)
ok
ok
0.436s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331009.smt2
(content)
ok
ok
0.527s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331008.smt2
(content)
ok
ok
0.333s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331007.smt2
(content)
ok
ok
0.493s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331003.smt2
(content)
ok
ok
0.495s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331002.smt2
(content)
ok
ok
0.307s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331001.smt2
(content)
ok
ok
0.541s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331000.smt2
(content)
ok
ok
0.254s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc330993.smt2
(content)
ok
ok
0.271s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc330990.smt2
(content)
ok
ok
0.440s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc330985.smt2
(content)
ok
ok
0.395s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc330984.smt2
(content)
ok
ok
0.232s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc330983.smt2
(content)
ok
ok
0.199s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc330981.smt2
(content)
ok
ok
0.267s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc330980.smt2
(content)
ok
ok
0.205s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc330979.smt2
(content)
ok
ok
0.343s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc330978.smt2
(content)
ok
ok
0.385s