root
file
detailed [33525..33549]
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/stp_samples/run_00000.trace.Alloc_zero__013751.smt2
(content)
ok
ok
0.037s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_zero__012915.smt2
(content)
ok
ok
0.038s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_zero__012077.smt2
(content)
ok
ok
0.036s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_zero__011273.smt2
(content)
ok
ok
0.027s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_large__020079.smt2
(content)
ok
ok
0.131s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_large__019220.smt2
(content)
ok
ok
0.120s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_large__018344.smt2
(content)
ok
ok
0.067s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_large__017485.smt2
(content)
ok
ok
0.051s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_large__016677.smt2
(content)
ok
ok
0.057s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_large__015818.smt2
(content)
ok
ok
0.034s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_large__014959.smt2
(content)
ok
ok
0.035s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_large__013751.smt2
(content)
ok
ok
0.027s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_large__012915.smt2
(content)
ok
ok
0.036s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_large__012077.smt2
(content)
ok
ok
0.035s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_large__011273.smt2
(content)
ok
ok
0.035s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/22930-0601-11.smt2
(content)
ok
ok
0.033s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/22930-0426-195.smt2
(content)
ok
ok
0.043s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/zebra_v0.95a/bgpd_bgpd_vc76753.smt2
(content)
ok
ok
0.104s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/zebra_v0.95a/bgpd_bgpd_vc76752.smt2
(content)
ok
ok
0.097s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/zebra_v0.95a/bgpd_bgpd_vc76751.smt2
(content)
ok
ok
0.160s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/zebra_v0.95a/bgpd_bgpd_vc76168.smt2
(content)
ok
ok
0.089s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/zebra_v0.95a/bgpd_bgpd_vc76167.smt2
(content)
ok
ok
0.108s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/zebra_v0.95a/bgpd_bgpd_vc76166.smt2
(content)
ok
ok
0.089s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/zebra_v0.95a/bgpd_bgpd_vc75772.smt2
(content)
ok
ok
0.023s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/spear/zebra_v0.95a/bgpd_bgpd_vc75771.smt2
(content)
ok
ok
0.061s