detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/newton_1_3_true-unreach-call-main.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/newton_1_2_true-unreach-call-main.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/newton_1_1_true-unreach-call-main.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/nan_float-main.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/nan_double-main.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/Float_div_bad-main.smt2 (content) ok ok 0.490s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/Float_div-main.smt2 (content) ok ok 0.251s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/Float8-main.smt2 (content) ok ok 0.045s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/Float6-main.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/Float5-main.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/Float23-main.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/Float2-main.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/Float14-main.smt2 (content) ok ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/Float13-main.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/Float-to-double2-main.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/Float-no-simp6-main.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/Float-no-simp4-main.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/Float-no-simp3-main.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/Float-no-simp1-main.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/Float-div3-main.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/Float-div2-main.smt2 (content) ok ok 0.046s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r7_vr5_c1_s3582.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r7_vr5_c1_s19694.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r7_vr5_c1_s14675.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r7_vr1_c1_s4574.smt2 (content) ok ok 0.036s