root
file
detailed [4350..4374]
prev
next
detailed results (92284 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_join.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.028s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_id.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.053s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_hostname.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.028s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_hostid.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.029s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_head.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.039s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_fold.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.033s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_fmt.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.054s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_factor.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.057s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_expr.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.031s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_expr.nomoreargs.il.flanagansaxe.smt2
(content)
ok
ok
0.019s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_expand.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.028s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_env.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.029s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_echo.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.029s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_dirname.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.030s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_df.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.053s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_dd.translate_charset.il.flanagansaxe.smt2
(content)
ok
ok
0.025s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_dd.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.028s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_date.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.057s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_cut.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.055s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_cut.hash_int.il.flanagansaxe.smt2
(content)
ok
ok
0.021s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_csplit.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.030s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_comm.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.044s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_cksum.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.053s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_chroot.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.028s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_chgrp.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.056s