detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00007.trace.Alloc_zero__008268.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00007.trace.Alloc_large__012813.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00007.trace.Alloc_large__011954.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00007.trace.Alloc_large__009910.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00007.trace.Alloc_large__009072.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00007.trace.Alloc_large__008268.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_455482_0xe7af78_00.smt2 (content) ok ok 1.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_455479_0xe7af94_00.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_455476_0xe7af69_00.smt2 (content) ok ok 1.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_455470_0xe7af5e_00.smt2 (content) ok ok 0.986s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_455462_0xe7af3b_00.smt2 (content) ok ok 1.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_455458_0xe7af78_00.smt2 (content) ok ok 1.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_455455_0xe7af94_00.smt2 (content) ok ok 1.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_455452_0xe7af69_00.smt2 (content) ok ok 1.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_455446_0xe7af5e_00.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_455438_0xe7af45_00.smt2 (content) ok ok 1.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_455436_0xe7af40_00.smt2 (content) ok ok 0.914s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_455416_0xe732e0_00.smt2 (content) ok ok 1.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_285209_0xe7b047_00.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_285203_0xe7b039_00.smt2 (content) ok ok 0.955s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_285201_0xe7b033_00.smt2 (content) ok ok 1.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_285198_0xe7af87_00.smt2 (content) ok ok 0.900s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_285194_0xe7af78_00.smt2 (content) ok ok 1.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_285191_0xe7af94_00.smt2 (content) ok ok 0.924s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_285188_0xe7af69_00.smt2 (content) ok ok 0.958s