detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029012_0x4183e6_00.smt2 (content) ok ok 0.168s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029010_0x4183e1_00.smt2 (content) ok ok 0.190s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029008_0x4183dc_00.smt2 (content) ok ok 0.326s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029006_0x4183d7_00.smt2 (content) ok ok 0.210s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029004_0x4183d2_00.smt2 (content) ok ok 0.300s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029002_0x4183cd_00.smt2 (content) ok ok 0.275s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_029000_0x4183c8_00.smt2 (content) ok ok 0.311s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028997_0x4183c4_00.smt2 (content) ok ok 0.283s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028988_0x4183e1_00.smt2 (content) ok ok 0.320s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028986_0x4183dc_00.smt2 (content) ok ok 0.312s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028984_0x4183d7_00.smt2 (content) ok ok 0.186s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028982_0x4183d2_00.smt2 (content) ok ok 0.222s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028980_0x4183cd_00.smt2 (content) ok ok 0.301s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028978_0x4183c8_00.smt2 (content) ok ok 0.182s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028975_0x4183c4_00.smt2 (content) ok ok 0.181s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028966_0x4183e1_00.smt2 (content) ok ok 0.311s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028964_0x4183dc_00.smt2 (content) ok ok 0.303s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028962_0x4183d7_00.smt2 (content) ok ok 0.177s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028960_0x4183d2_00.smt2 (content) ok ok 0.189s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028958_0x4183cd_00.smt2 (content) ok ok 0.300s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028956_0x4183c8_00.smt2 (content) ok ok 0.188s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028953_0x4183c4_00.smt2 (content) ok ok 0.275s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028944_0x4183e1_00.smt2 (content) ok ok 0.184s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028942_0x4183dc_00.smt2 (content) ok ok 0.172s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_028940_0x4183d7_00.smt2 (content) ok ok 0.324s