detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Booth/mult_ub_64x64_1.sf.smt2 (content) ok ok 6.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Booth/mult_ub_4x4_1.sf.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Booth/mult_ub_48x48_1.sf.smt2 (content) ok ok 4.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Booth/mult_ub_32x32_1.sf.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Booth/mult_ub_16x16_1.sf.smt2 (content) ok ok 0.550s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uum/uum8.smt2 (content) ok ok 0.075s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uum/uum4.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uum/uum32.smt2 (content) ok ok 0.294s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uum/uum28.smt2 (content) ok ok 0.257s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uum/uum24.smt2 (content) ok ok 0.226s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uum/uum20.smt2 (content) ok ok 0.189s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uum/uum16.smt2 (content) ok ok 0.148s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uum/uum12.smt2 (content) ok ok 0.111s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid_contrib_smtcomp09/sw_bv_formula.smt2 (content) ok ok 0.423s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid_contrib_smtcomp09/std_bv_formula.smt2 (content) ok ok 0.511s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid_contrib_smtcomp09/stall_bv_formula.smt2 (content) ok ok 1.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid_contrib_smtcomp09/nt_bv_formula.smt2 (content) ok ok 0.503s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid_contrib_smtcomp09/lf_bv_formula.smt2 (content) ok ok 0.522s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid_contrib_smtcomp09/full_bv_formula.smt2 (content) ok ok 0.514s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid_contrib_smtcomp09/btfnt_bv_formula.smt2 (content) ok ok 0.307s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/tcas/tcas60_k_0.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/tcas/tcas45_k_0.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/mplayer-mp3-query-15803-snippet3.mp3.smt2 (content) ok ok 1m47.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-tiff2jpg-query-1831.smt2 (content) ok ok 1.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/uclid/catchconv/convert-jpg2gif-query-901.smt2 (content) ok ok 0.429s