detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029168_0x4183e1_00.smt2 (content) ok ok 0.345s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029166_0x4183dc_00.smt2 (content) ok ok 0.222s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029164_0x4183d7_00.smt2 (content) ok ok 0.270s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029162_0x4183d2_00.smt2 (content) ok ok 0.328s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029160_0x4183cd_00.smt2 (content) ok ok 0.222s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029158_0x4183c8_00.smt2 (content) ok ok 0.254s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029155_0x4183c4_00.smt2 (content) ok ok 0.210s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029146_0x4183e1_00.smt2 (content) ok ok 0.213s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029144_0x4183dc_00.smt2 (content) ok ok 0.246s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029142_0x4183d7_00.smt2 (content) ok ok 0.182s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029140_0x4183d2_00.smt2 (content) ok ok 0.338s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029138_0x4183cd_00.smt2 (content) ok ok 0.207s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029136_0x4183c8_00.smt2 (content) ok ok 0.330s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029133_0x4183c4_00.smt2 (content) ok ok 0.208s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029124_0x4183e1_00.smt2 (content) ok ok 0.220s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029122_0x4183dc_00.smt2 (content) ok ok 0.237s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029120_0x4183d7_00.smt2 (content) ok ok 0.221s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029118_0x4183d2_00.smt2 (content) ok ok 0.340s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029116_0x4183cd_00.smt2 (content) ok ok 0.302s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029114_0x4183c8_00.smt2 (content) ok ok 0.319s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029111_0x4183c4_00.smt2 (content) ok ok 0.338s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029102_0x4183e6_00.smt2 (content) ok ok 0.346s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029100_0x4183e1_00.smt2 (content) ok ok 0.339s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029098_0x4183dc_00.smt2 (content) ok ok 0.206s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029096_0x4183d7_00.smt2 (content) ok ok 0.183s