detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_od.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_nohup.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_nl.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_nice.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_mv.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_mv.dev_info_compare.il.dwp.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_mknod.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_mkfifo.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_mkdir.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_md5sum.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_logname.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_ln.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_link.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_kill.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_join.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_id.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_hostname.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_hostid.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_head.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_fold.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_fmt.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_factor.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_expr.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_expr.nomoreargs.il.dwp.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_expand.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.021s