detailed results (92284 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_true_functions_flanagansaxe_yes.close_stdout_set_file_name.il.flanagansaxe.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_true_functions_flanagansaxe_vdir.unsigned_file_size.il.flanagansaxe.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_true_functions_flanagansaxe_vdir.is_directory.il.flanagansaxe.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_true_functions_flanagansaxe_vdir.hash_reset_tuning.il.flanagansaxe.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_true_functions_flanagansaxe_vdir.hash_get_n_entries.il.flanagansaxe.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_true_functions_flanagansaxe_vdir.free_entry.il.flanagansaxe.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_true_functions_flanagansaxe_uniq.initbuffer.il.flanagansaxe.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_true_functions_flanagansaxe_tsort.init_tokenbuffer.il.flanagansaxe.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_true_functions_flanagansaxe_tsort.count_items.il.flanagansaxe.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_true_functions_flanagansaxe_touch.yyerror.il.flanagansaxe.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_true_functions_flanagansaxe_test.one_argument.il.flanagansaxe.smt2 (content) ok ok 0.018s