root
file
detailed [32400..32424]
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_vc352878.smt2
(content)
ok
ok
3.4s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352877.smt2
(content)
ok
ok
4.0s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352876.smt2
(content)
ok
ok
3.2s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352875.smt2
(content)
ok
ok
4.5s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352874.smt2
(content)
ok
ok
3.4s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352873.smt2
(content)
ok
ok
4.2s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352872.smt2
(content)
ok
ok
4.4s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352871.smt2
(content)
ok
ok
3.4s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352870.smt2
(content)
ok
ok
4.8s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352869.smt2
(content)
ok
ok
4.1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352868.smt2
(content)
ok
ok
3.3s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352867.smt2
(content)
ok
ok
3.6s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352866.smt2
(content)
ok
ok
3.0s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352865.smt2
(content)
ok
ok
4.2s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352864.smt2
(content)
ok
ok
3s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352863.smt2
(content)
ok
ok
2.7s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352862.smt2
(content)
ok
ok
2.8s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352861.smt2
(content)
ok
ok
3.8s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352860.smt2
(content)
ok
ok
2.0s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352845.smt2
(content)
ok
ok
0.407s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352836.smt2
(content)
ok
ok
0.686s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352402.smt2
(content)
ok
ok
4.2s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352401.smt2
(content)
ok
ok
4.0s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352400.smt2
(content)
ok
ok
1.9s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352399.smt2
(content)
ok
ok
2.8s