detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028863_0x4183c4_00.smt2 (content) ok ok 0.269s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028854_0x4183e1_00.smt2 (content) ok ok 0.257s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028852_0x4183dc_00.smt2 (content) ok ok 0.277s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028850_0x4183d7_00.smt2 (content) ok ok 0.170s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028848_0x4183d2_00.smt2 (content) ok ok 0.285s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028846_0x4183cd_00.smt2 (content) ok ok 0.263s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028844_0x4183c8_00.smt2 (content) ok ok 0.159s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028841_0x4183c4_00.smt2 (content) ok ok 0.264s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028832_0x4183e6_00.smt2 (content) ok ok 0.243s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028830_0x4183e1_00.smt2 (content) ok ok 0.238s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028828_0x4183dc_00.smt2 (content) ok ok 0.273s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028826_0x4183d7_00.smt2 (content) ok ok 0.194s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028824_0x4183d2_00.smt2 (content) ok ok 0.248s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028822_0x4183cd_00.smt2 (content) ok ok 0.163s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028820_0x4183c8_00.smt2 (content) ok ok 0.161s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028817_0x4183c4_00.smt2 (content) ok ok 0.141s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028808_0x4183e1_00.smt2 (content) ok ok 0.258s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028806_0x4183dc_00.smt2 (content) ok ok 0.156s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028804_0x4183d7_00.smt2 (content) ok ok 0.259s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028802_0x4183d2_00.smt2 (content) ok ok 0.257s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028800_0x4183cd_00.smt2 (content) ok ok 0.159s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028798_0x4183c8_00.smt2 (content) ok ok 0.160s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028795_0x4183c4_00.smt2 (content) ok ok 0.256s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028786_0x4183e1_00.smt2 (content) ok ok 0.157s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028784_0x4183dc_00.smt2 (content) ok ok 0.224s