root
file
detailed [32150..32174]
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_vc331128.smt2
(content)
ok
ok
1.4s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331126.smt2
(content)
ok
ok
0.794s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331121.smt2
(content)
ok
ok
0.868s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331120.smt2
(content)
ok
ok
0.871s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331119.smt2
(content)
ok
ok
1.2s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331118.smt2
(content)
ok
ok
1.3s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331117.smt2
(content)
ok
ok
1.3s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331116.smt2
(content)
ok
ok
1.1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331115.smt2
(content)
ok
ok
1.2s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331114.smt2
(content)
ok
ok
1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331113.smt2
(content)
ok
ok
0.855s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331112.smt2
(content)
ok
ok
0.855s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331110.smt2
(content)
ok
ok
1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331109.smt2
(content)
ok
ok
1.1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331107.smt2
(content)
ok
ok
1.2s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331106.smt2
(content)
ok
ok
0.992s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331105.smt2
(content)
ok
ok
1.2s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331103.smt2
(content)
ok
ok
1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331102.smt2
(content)
ok
ok
1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331101.smt2
(content)
ok
ok
1.2s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331100.smt2
(content)
ok
ok
0.797s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331099.smt2
(content)
ok
ok
1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331098.smt2
(content)
ok
ok
0.738s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331097.smt2
(content)
ok
ok
0.621s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331096.smt2
(content)
ok
ok
1.1s