detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mul_03_30_1.smt2 (content) ok ok 0.364s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mul_03_3000_1.smt2 (content) ok ok 0.307s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mul_000003_30000_1.smt2 (content) ok ok 0.364s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/gaussian.c.75.smt2 (content) ok ok 16.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/gaussian.c.25.smt2 (content) ok ok 4.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/gaussian.c.175.smt2 (content) ok ok 45.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/gaussian.c.125.smt2 (content) ok ok 26.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/f23.smt2 (content) ok ok 0.491s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/e3_2.c.smt2 (content) ok ok 0.154s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/e3_1.c.smt2 (content) ok ok 0.297s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/e3.c.smt2 (content) ok ok 0.346s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/e2a_3.c.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/e2a_2.c.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/e2a_1.c.smt2 (content) ok ok 0.116s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/e2_3.c.smt2 (content) ok ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/e2_2.c.smt2 (content) ok ok 0.122s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/e2_1.c.smt2 (content) ok ok 0.125s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/e2.c.smt2 (content) ok ok 0.257s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/e1_2.c.smt2 (content) ok ok 0.124s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/e1_1.c.smt2 (content) ok ok 0.074s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/e1.c.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/div3.c.50.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/div3.c.40.smt2 (content) ok ok 2.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/div3.c.30.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/div3.c.3.smt2 (content) ok ok 0.200s