detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/square.3.0.i.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/square.2.0.i.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/square.1.0.i.smt2 (content) ok ok 0.046s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sqrt.c.5.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sqrt.c.25.smt2 (content) ok ok 0.073s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sqrt.c.20.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sqrt.c.2.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sqrt.c.15.smt2 (content) ok ok 0.049s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sqrt.c.10.smt2 (content) ok ok 0.076s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sine.8.0.i.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sine.7.0.i.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sine.6.0.i.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sine.5.0.i.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sine.4.0.i.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sine.3.0.i.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sine.2.0.i.smt2 (content) ok ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sine.1.0.i.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sin2.c.75.smt2 (content) ok ok 0.168s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sin2.c.5.smt2 (content) ok ok 0.051s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sin2.c.25.smt2 (content) ok ok 0.115s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sin2.c.20.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sin2.c.2.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sin2.c.175.smt2 (content) ok ok 0.376s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sin2.c.15.smt2 (content) ok ok 0.083s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/sin2.c.125.smt2 (content) ok ok 0.245s