detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mult1.c.30.smt2 (content) ok ok 1.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mult1.c.3.smt2 (content) ok ok 0.121s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mult1.c.20.smt2 (content) ok ok 0.831s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mult1.c.10.smt2 (content) ok ok 0.252s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mul_03_3_1.smt2 (content) ok ok 0.379s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mul_03_30_7.smt2 (content) ok ok 0.403s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mul_03_30_6.smt2 (content) ok ok 0.397s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mul_03_30_5.smt2 (content) ok ok 0.252s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mul_03_30_4.smt2 (content) ok ok 0.385s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mul_03_30_3.smt2 (content) ok ok 0.403s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mul_03_30_2.smt2 (content) ok ok 0.393s
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