detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1173.smt2 (content) ok ok 7.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1172.smt2 (content) ok ok 8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1171.smt2 (content) ok ok 5.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1170.smt2 (content) ok ok 7.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1169.smt2 (content) ok ok 8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1168.smt2 (content) ok ok 4.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1167.smt2 (content) ok ok 6.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1166.smt2 (content) ok ok 7.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1165.smt2 (content) ok ok 6.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1164.smt2 (content) ok ok 8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1163.smt2 (content) ok ok 5.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1162.smt2 (content) ok ok 7.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1161.smt2 (content) ok ok 4.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1160.smt2 (content) ok ok 6.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1159.smt2 (content) ok ok 5.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1158.smt2 (content) ok ok 7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1157.smt2 (content) ok ok 7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1156.smt2 (content) ok ok 6.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1155.smt2 (content) ok ok 4.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1154.smt2 (content) ok ok 5.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1153.smt2 (content) ok ok 5.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1152.smt2 (content) ok ok 7.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1151.smt2 (content) ok ok 7.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1150.smt2 (content) ok ok 4.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1149.smt2 (content) ok ok 7.6s