detailed results (95063 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz128_2823.smt2 (content) ok ok 0.112s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz1024_unknown.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/fft/Sz1024_34824.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/ecc/com.galois.ecc.P384ECC64.ec_twin_mul_aux_f.short.smt2 (content) ok ok 0.180s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/ecc/com.galois.ecc.P384ECC64.ec_twin_mul_aux26.short.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/ecc/com.galois.ecc.P384ECC64.ec_twin_mul_aux25.short.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/ecc/com.galois.ecc.P384ECC64.ec_twin_mul_aux24.short.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/ecc/com.galois.ecc.P384ECC64.ec_twin_mul_aux23.short.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/ecc/com.galois.ecc.P384ECC64.ec_twin_mul_aux22.short.smt2 (content) ok ok 1.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/ecc/com.galois.ecc.P384ECC64.ec_twin_mul_aux21.short.smt2 (content) ok ok 1.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/ecc/com.galois.ecc.P384ECC64.ec_twin_mul_aux2.short.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_true_functions_fse-bfs_tac.re_node_set_compare.il.fse-bfs.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_true_functions_fse-bfs_stty.visible.il.fse-bfs.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_true_functions_flanagansaxe_yes.quoting_options_from_style.il.flanagansaxe.smt2 (content) ok ok 0.026s