root
file
detailed [4400..4424]
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_tsort.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_true.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_tr.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_touch.yyerror.il.flanagansaxe.smt2
(content)
ok
ok
0.017s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_touch.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_test.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_tee.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_tail.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_tac.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.032s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_sync.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.036s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_sum.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.051s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_su.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_stty.visible.il.flanagansaxe.smt2
(content)
ok
ok
0.118s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_stty.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.038s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_stat.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_split.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_sleep.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_shuf.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_shuf.input_numbers_option_used.il.flanagansaxe.smt2
(content)
ok
ok
0.041s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_shred.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_sha512sum.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_sha256sum.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_sha1sum.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.049s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_setuidgid.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.056s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_flanagansaxe_seq.quoting_options_from_style.il.flanagansaxe.smt2
(content)
ok
ok
0.054s