detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029094_0x4183d2_00.smt2 (content) ok ok 0.277s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029092_0x4183cd_00.smt2 (content) ok ok 0.280s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029090_0x4183c8_00.smt2 (content) ok ok 0.200s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029087_0x4183c4_00.smt2 (content) ok ok 0.341s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029078_0x4183e1_00.smt2 (content) ok ok 0.235s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029076_0x4183dc_00.smt2 (content) ok ok 0.193s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029074_0x4183d7_00.smt2 (content) ok ok 0.313s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029072_0x4183d2_00.smt2 (content) ok ok 0.267s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029070_0x4183cd_00.smt2 (content) ok ok 0.215s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029068_0x4183c8_00.smt2 (content) ok ok 0.318s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029065_0x4183c4_00.smt2 (content) ok ok 0.321s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029056_0x4183e1_00.smt2 (content) ok ok 0.336s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029054_0x4183dc_00.smt2 (content) ok ok 0.264s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029052_0x4183d7_00.smt2 (content) ok ok 0.186s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029050_0x4183d2_00.smt2 (content) ok ok 0.213s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029048_0x4183cd_00.smt2 (content) ok ok 0.319s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029046_0x4183c8_00.smt2 (content) ok ok 0.326s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029043_0x4183c4_00.smt2 (content) ok ok 0.299s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029034_0x4183e1_00.smt2 (content) ok ok 0.169s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029032_0x4183dc_00.smt2 (content) ok ok 0.232s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029030_0x4183d7_00.smt2 (content) ok ok 0.197s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029028_0x4183d2_00.smt2 (content) ok ok 0.219s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029026_0x4183cd_00.smt2 (content) ok ok 0.328s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029024_0x4183c8_00.smt2 (content) ok ok 0.307s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029021_0x4183c4_00.smt2 (content) ok ok 0.319s