detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030432_0x4181f7_00.smt2 (content) ok ok 0.328s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030430_0x4181f2_00.smt2 (content) ok ok 0.237s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030422_0x41821d_00.smt2 (content) ok ok 0.358s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030415_0x4181f2_00.smt2 (content) ok ok 0.373s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030407_0x41821d_00.smt2 (content) ok ok 0.380s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030400_0x4181f2_00.smt2 (content) ok ok 0.367s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030392_0x41821d_00.smt2 (content) ok ok 0.249s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030385_0x4181f2_00.smt2 (content) ok ok 0.235s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030377_0x41821d_00.smt2 (content) ok ok 0.342s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030368_0x4181f7_00.smt2 (content) ok ok 0.253s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030366_0x4181f2_00.smt2 (content) ok ok 0.380s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030358_0x41821d_00.smt2 (content) ok ok 0.377s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030351_0x4181f2_00.smt2 (content) ok ok 0.254s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030343_0x41821d_00.smt2 (content) ok ok 0.228s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030336_0x4181f2_00.smt2 (content) ok ok 0.293s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030328_0x41821d_00.smt2 (content) ok ok 0.233s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030321_0x4181f2_00.smt2 (content) ok ok 0.369s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030313_0x41821d_00.smt2 (content) ok ok 0.387s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030304_0x4181f7_00.smt2 (content) ok ok 0.303s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030302_0x4181f2_00.smt2 (content) ok ok 0.234s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030294_0x41821d_00.smt2 (content) ok ok 0.305s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030287_0x4181f2_00.smt2 (content) ok ok 0.228s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030279_0x41821d_00.smt2 (content) ok ok 0.224s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030272_0x4181f2_00.smt2 (content) ok ok 0.379s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030264_0x41821d_00.smt2 (content) ok ok 0.248s