detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sin2.c.10.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sin.c.75.smt2 (content) ok ok 0.190s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sin.c.25.smt2 (content) ok ok 0.085s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sin.c.175.smt2 (content) ok ok 0.399s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sin.c.125.smt2 (content) ok ok 0.327s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/qurt.c.5.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/qurt.c.25.smt2 (content) ok ok 0.118s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/qurt.c.20.smt2 (content) ok ok 0.132s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/qurt.c.2.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/qurt.c.15.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/qurt.c.10.smt2 (content) ok ok 0.108s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/pow5.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.8.3.i.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.8.2.i.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.8.1.i.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.7.3.i.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.7.2.i.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.7.1.i.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.6.3.i.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.6.2.i.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.6.1.i.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.5.3.i.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.5.2.i.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.5.1.i.smt2 (content) ok ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.4.3.i.smt2 (content) ok ok 0.040s