detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_su.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_stty.visible.il.dwp.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_stty.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_stat.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_split.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_sleep.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_shuf.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_shuf.input_numbers_option_used.il.dwp.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_shred.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_sha512sum.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_sha256sum.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_sha1sum.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_setuidgid.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_seq.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_rmdir.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_rmdir.errno_rmdir_non_empty.il.dwp.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_readlink.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_pwd.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_ptx.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_printf.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_printenv.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_pr.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_pinky.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_pathchk.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try3_noof_functions_dwp_paste.quoting_options_from_style.il.dwp.smt2 (content) ok ok 0.026s