detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r7_vr1_c1_s24449.smt2 (content) ok ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r7_vr1_c1_s22845.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r7_vr10_c1_s32506.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r7_vr10_c1_s24535.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r7_vr10_c1_s10625.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r17_vr5_c1_s4772.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r17_vr5_c1_s2807.smt2 (content) ok ok 0.061s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r17_vr5_c1_s25451.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r17_vr1_c1_s30331.smt2 (content) ok ok 0.107s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r17_vr1_c1_s24331.smt2 (content) ok ok 0.061s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r17_vr1_c1_s23882.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r17_vr10_c1_s8773.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r17_vr10_c1_s3680.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r17_vr10_c1_s18654.smt2 (content) ok ok 0.074s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r12_vr5_c1_s8938.smt2 (content) ok ok 0.046s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r12_vr5_c1_s29826.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r12_vr5_c1_s14336.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r12_vr1_c1_s703.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r12_vr1_c1_s22787.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r12_vr1_c1_s10576.smt2 (content) ok ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r12_vr10_c1_s30410.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r12_vr10_c1_s18160.smt2 (content) ok ok 0.061s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v7_r12_vr10_c1_s15994.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r5_vr5_c1_s9855.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v5_r5_vr5_c1_s2800.smt2 (content) ok ok 0.062s