root
file
detailed [33150..33174]
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_vc6175.smt2
(content)
ok
ok
0.703s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6173.smt2
(content)
ok
ok
0.591s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6172.smt2
(content)
ok
ok
0.548s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6169.smt2
(content)
ok
ok
0.851s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6161.smt2
(content)
ok
ok
0.868s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6160.smt2
(content)
ok
ok
0.651s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6159.smt2
(content)
ok
ok
0.752s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6158.smt2
(content)
ok
ok
0.651s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6156.smt2
(content)
ok
ok
1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6155.smt2
(content)
ok
ok
0.955s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6150.smt2
(content)
ok
ok
1.1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6148.smt2
(content)
ok
ok
1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6142.smt2
(content)
ok
ok
1.1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6139.smt2
(content)
ok
ok
0.795s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6137.smt2
(content)
ok
ok
0.897s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6120.smt2
(content)
ok
ok
0.807s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6117.smt2
(content)
ok
ok
0.475s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6105.smt2
(content)
ok
ok
0.912s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6099.smt2
(content)
ok
ok
0.754s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6097.smt2
(content)
ok
ok
0.657s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6095.smt2
(content)
ok
ok
0.582s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6092.smt2
(content)
ok
ok
0.842s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6074.smt2
(content)
ok
ok
0.602s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6063.smt2
(content)
ok
ok
0.416s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc6049.smt2
(content)
ok
ok
0.323s