root
file
detailed [32925..32949]
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_vc4288.smt2
(content)
ok
ok
0.523s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4287.smt2
(content)
ok
ok
0.506s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4284.smt2
(content)
ok
ok
0.407s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4278.smt2
(content)
ok
ok
0.399s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4269.smt2
(content)
ok
ok
0.415s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4247.smt2
(content)
ok
ok
0.470s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4244.smt2
(content)
ok
ok
0.396s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4243.smt2
(content)
ok
ok
0.572s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4239.smt2
(content)
ok
ok
0.538s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4232.smt2
(content)
ok
ok
0.536s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbsharemodes_vc4083.smt2
(content)
ok
ok
0.257s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbclient_vc1228558.smt2
(content)
ok
ok
1.1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbclient_vc1228554.smt2
(content)
ok
ok
1.6s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbclient_vc1228535.smt2
(content)
ok
ok
1.8s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbclient_vc1228531.smt2
(content)
ok
ok
1.4s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbclient_vc1228512.smt2
(content)
ok
ok
2s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbclient_vc1228508.smt2
(content)
ok
ok
2.2s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbclient_vc1228506.smt2
(content)
ok
ok
2.3s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbclient_vc1228505.smt2
(content)
ok
ok
2.1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbclient_vc1228504.smt2
(content)
ok
ok
1.3s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbclient_vc1228503.smt2
(content)
ok
ok
1.3s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbclient_vc1228502.smt2
(content)
ok
ok
2.4s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbclient_vc1228499.smt2
(content)
ok
ok
1.9s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbclient_vc1228497.smt2
(content)
ok
ok
2.1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/samba_v3.0.24/bin_libsmbclient_vc1228496.smt2
(content)
ok
ok
1.2s