root
file
detailed [33600..33624]
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_03230.trace.cond_011955_0x4182de_00.smt2
(content)
ok
ok
0.056s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_011951_0x4182b4_00.smt2
(content)
ok
ok
0.044s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_011941_0x4182de_00.smt2
(content)
ok
ok
0.056s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_011937_0x4182b4_00.smt2
(content)
ok
ok
0.047s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_011927_0x4182de_00.smt2
(content)
ok
ok
0.037s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_011923_0x4182b4_00.smt2
(content)
ok
ok
0.048s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_011840_0x77c478d6_00.smt2
(content)
ok
ok
0.046s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_011778_0x40f8cf_00.smt2
(content)
ok
ok
0.050s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_011742_0x4066e2_00.smt2
(content)
ok
ok
0.043s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_000032_0x40248d_00.smt2
(content)
ok
ok
0.030s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_000030_0x402229_00.smt2
(content)
ok
ok
0.029s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_000028_0x40201f_00.smt2
(content)
ok
ok
0.040s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_000026_0x401ecf_00.smt2
(content)
ok
ok
0.038s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00013.trace.cond_285420_0xe753c9_00.smt2
(content)
ok
ok
0.225s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00013.trace.cond_285395_0xe7536f_00.smt2
(content)
ok
ok
0.253s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00013.trace.cond_285388_0xe75358_00.smt2
(content)
ok
ok
0.254s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00013.trace.cond_285259_0xe75350_00.smt2
(content)
ok
ok
0.165s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00013.trace.cond_285237_0xe752eb_00.smt2
(content)
ok
ok
0.135s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00012.trace.cond_057573_0x16388_00.smt2
(content)
ok
ok
0.962s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00012.trace.Alloc_zero__000115.smt2
(content)
ok
ok
0.030s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00012.trace.Alloc_large__000115.smt2
(content)
ok
ok
0.032s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00007.trace.Alloc_zero__012813.smt2
(content)
ok
ok
0.037s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00007.trace.Alloc_zero__011954.smt2
(content)
ok
ok
0.023s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00007.trace.Alloc_zero__009910.smt2
(content)
ok
ok
0.026s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00007.trace.Alloc_zero__009072.smt2
(content)
ok
ok
0.054s