detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r5_vr5_c1_s24018.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r5_vr1_c1_s16138.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r5_vr1_c1_s15604.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r5_vr1_c1_s14623.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r5_vr10_c1_s7194.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r5_vr10_c1_s5996.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r5_vr10_c1_s5379.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r15_vr5_c1_s8246.smt2 (content) ok ok 0.049s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r15_vr5_c1_s26657.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r15_vr5_c1_s23844.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r15_vr1_c1_s8236.smt2 (content) ok ok 0.045s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r15_vr1_c1_s32559.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r15_vr1_c1_s26845.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r15_vr10_c1_s25268.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r15_vr10_c1_s14516.smt2 (content) ok ok 0.088s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r15_vr10_c1_s11127.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r10_vr5_c1_s8690.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r10_vr5_c1_s13679.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r10_vr5_c1_s13195.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r10_vr1_c1_s32538.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r10_vr1_c1_s19145.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r10_vr1_c1_s13516.smt2 (content) ok ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r10_vr10_c1_s7608.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r10_vr10_c1_s21502.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r10_vr10_c1_s15708.smt2 (content) ok ok 0.040s