root
file
detailed [33050..33074]
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_libsmbsharemodes_vc5715.smt2
(content)
ok
ok
1.1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5714.smt2
(content)
ok
ok
0.671s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5712.smt2
(content)
ok
ok
1.2s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5711.smt2
(content)
ok
ok
1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5704.smt2
(content)
ok
ok
0.720s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5701.smt2
(content)
ok
ok
1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5699.smt2
(content)
ok
ok
1.1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5698.smt2
(content)
ok
ok
1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5697.smt2
(content)
ok
ok
0.924s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5695.smt2
(content)
ok
ok
0.825s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5694.smt2
(content)
ok
ok
1.3s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5693.smt2
(content)
ok
ok
1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5692.smt2
(content)
ok
ok
1.1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5689.smt2
(content)
ok
ok
1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5687.smt2
(content)
ok
ok
1.3s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5680.smt2
(content)
ok
ok
0.668s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5678.smt2
(content)
ok
ok
0.843s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5342.smt2
(content)
ok
ok
0.673s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5338.smt2
(content)
ok
ok
0.997s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5331.smt2
(content)
ok
ok
1.3s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5327.smt2
(content)
ok
ok
0.800s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5320.smt2
(content)
ok
ok
0.663s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5303.smt2
(content)
ok
ok
0.454s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5302.smt2
(content)
ok
ok
0.460s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc5300.smt2
(content)
ok
ok
0.766s