detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mul_03_30_6.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mul_03_30_5.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mul_03_30_4.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mul_03_30_3.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mul_03_30_2.smt2 (content) ok ok 0.054s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mul_03_30_1.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mul_03_3000_1.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mul_000003_30000_1.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/gaussian.c.75.smt2 (content) ok ok 0.167s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/gaussian.c.25.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/gaussian.c.175.smt2 (content) ok ok 0.289s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/gaussian.c.125.smt2 (content) ok ok 0.215s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/f23.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/e3_2.c.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/e3_1.c.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/e3.c.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/e2a_3.c.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/e2a_2.c.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/e2a_1.c.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/e2_3.c.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/e2_2.c.smt2 (content) ok ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/e2_1.c.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/e2.c.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/e1_2.c.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/e1_1.c.smt2 (content) ok ok 0.021s