detailed results (92284 total)

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