detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1148.smt2 (content) ok ok 7.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1147.smt2 (content) ok ok 6.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1146.smt2 (content) ok ok 5.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1145.smt2 (content) ok ok 4.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1144.smt2 (content) ok ok 5.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1143.smt2 (content) ok ok 4.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1142.smt2 (content) ok ok 5.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1141.smt2 (content) ok ok 7.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1140.smt2 (content) ok ok 4.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1139.smt2 (content) ok ok 7.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/catchconv-15803.smt2 (content) ok ok 1m42.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/tacas07/s-40-50-bv.smt2 (content) ok ok 0.209s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/tacas07/rfunit_flat-64.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/tacas07/Y86_std.smt2 (content) ok ok 0.576s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/tacas07/Y86_btnft.smt2 (content) ok ok 0.955s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/tacas07/BBB-32.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030496_0x4181f7_00.smt2 (content) ok ok 0.378s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030494_0x4181f2_00.smt2 (content) ok ok 0.234s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030486_0x41821d_00.smt2 (content) ok ok 0.362s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030479_0x4181f2_00.smt2 (content) ok ok 0.383s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030471_0x41821d_00.smt2 (content) ok ok 0.282s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030464_0x4181f2_00.smt2 (content) ok ok 0.381s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030456_0x41821d_00.smt2 (content) ok ok 0.350s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030449_0x4181f2_00.smt2 (content) ok ok 0.237s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/stp_samples/run_03230.trace.cond_030441_0x41821d_00.smt2 (content) ok ok 0.333s