detailed results (92284 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz512_15127_7.smt2 (content) ok ok 0.474s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz512_15127_6.smt2 (content) ok ok 0.357s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz512_15127_5.smt2 (content) ok ok 0.356s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz512_15127_4.smt2 (content) ok ok 0.387s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz512_15127_3.smt2 (content) ok ok 0.625s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz512_15127_2.smt2 (content) ok ok 0.552s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz512_15127_1.smt2 (content) ok ok 0.357s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz512_15127_0.smt2 (content) ok ok 0.510s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz256_6616.smt2 (content) ok ok 0.255s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz256_6615.smt2 (content) ok ok 0.150s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz128_2824.smt2 (content) ok ok 0.098s