detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1200.smt2 (content) ok ok 5.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1199.smt2 (content) ok ok 9.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1198.smt2 (content) ok ok 8.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1197.smt2 (content) ok ok 8.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1196.smt2 (content) ok ok 5.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1195.smt2 (content) ok ok 7.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1194.smt2 (content) ok ok 8.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1193.smt2 (content) ok ok 5.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1192.smt2 (content) ok ok 5.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1191.smt2 (content) ok ok 6.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1190.smt2 (content) ok ok 9.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1189.smt2 (content) ok ok 8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1188.smt2 (content) ok ok 5.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1185.smt2 (content) ok ok 9.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1184.smt2 (content) ok ok 7.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1183.smt2 (content) ok ok 8.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1182.smt2 (content) ok ok 9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1181.smt2 (content) ok ok 9.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1180.smt2 (content) ok ok 5.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1179.smt2 (content) ok ok 7.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1178.smt2 (content) ok ok 7.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1177.smt2 (content) ok ok 8.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1176.smt2 (content) ok ok 4.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1175.smt2 (content) ok ok 4.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-1174.smt2 (content) ok ok 8.3s