detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1640.smt2 (content) ok ok 17.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1639.smt2 (content) ok ok 16.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1631.smt2 (content) ok ok 15.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1630.smt2 (content) ok ok 19s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1622.smt2 (content) ok ok 14.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1621.smt2 (content) ok ok 15.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1619.smt2 (content) ok ok 12.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1618.smt2 (content) ok ok 13.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1617.smt2 (content) ok ok 15s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1616.smt2 (content) ok ok 14.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1615.smt2 (content) ok ok 14.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1614.smt2 (content) ok ok 15.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1613.smt2 (content) ok ok 17s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1612.smt2 (content) ok ok 16.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1611.smt2 (content) ok ok 16.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1610.smt2 (content) ok ok 16.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1609.smt2 (content) ok ok 16.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1608.smt2 (content) ok ok 10s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1607.smt2 (content) ok ok 10.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1606.smt2 (content) ok ok 10s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1605.smt2 (content) ok ok 17.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1604.smt2 (content) ok ok 12.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1603.smt2 (content) ok ok 16.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1602.smt2 (content) ok ok 15.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1601.smt2 (content) ok ok 13.2s