detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_285182_0xe7af5e_00.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_285174_0xe7af45_00.smt2 (content) ok ok 0.935s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_285172_0xe7af40_00.smt2 (content) ok ok 1.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_285152_0xe73227_00.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_285004_0xe73e4e_00.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_161367_0xe7b231_00.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_021021_0x7c80d002_00.smt2 (content) ok ok 0.133s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_020931_0x95026e6_00.smt2 (content) ok ok 0.122s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_020518_0x950130a_00.smt2 (content) ok ok 0.131s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_020055_0x95026e6_00.smt2 (content) ok ok 0.074s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_019659_0x950130a_00.smt2 (content) ok ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_019196_0x95026e6_00.smt2 (content) ok ok 0.113s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_018783_0x950130a_00.smt2 (content) ok ok 0.112s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_018320_0x95026e6_00.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_017924_0x950130a_00.smt2 (content) ok ok 0.077s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_017461_0x95026e6_00.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_017116_0x950130a_00.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.cond_016653_0x95026e6_00.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_zero__020079.smt2 (content) ok ok 0.130s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_zero__019220.smt2 (content) ok ok 0.077s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_zero__018344.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_zero__017485.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_zero__016677.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_zero__015818.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_00000.trace.Alloc_zero__014959.smt2 (content) ok ok 0.046s