detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/add_01_1_4.smt2 (content) ok ok 0.462s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/add_01_1_3.smt2 (content) ok ok 0.462s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/add_01_1_2.smt2 (content) ok ok 0.270s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/add_01_1_1.smt2 (content) ok ok 0.471s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/add_01_10_4.smt2 (content) ok ok 0.468s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/add_01_10_3.smt2 (content) ok ok 0.269s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/add_01_10_2.smt2 (content) ok ok 0.415s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/add_01_10_1.smt2 (content) ok ok 0.445s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/add_01_100_4.smt2 (content) ok ok 0.469s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/add_01_100_3.smt2 (content) ok ok 0.455s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/add_01_100_2.smt2 (content) ok ok 0.270s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/add_01_100_1.smt2 (content) ok ok 0.446s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/add_01_1000_4.smt2 (content) ok ok 0.264s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/add_01_1000_3.smt2 (content) ok ok 0.460s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/add_01_1000_2.smt2 (content) ok ok 0.278s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/add_01_1000_1.smt2 (content) ok ok 0.475s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz512_15368.smt2 (content) ok ok 0.450s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz512_15128_7.smt2 (content) ok ok 0.389s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz512_15128_6.smt2 (content) ok ok 0.349s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz512_15128_5.smt2 (content) ok ok 0.451s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz512_15128_4.smt2 (content) ok ok 0.369s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz512_15128_3.smt2 (content) ok ok 0.458s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz512_15128_2.smt2 (content) ok ok 0.475s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz512_15128_1.smt2 (content) ok ok 0.399s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz512_15128_0.smt2 (content) ok ok 0.467s