root
file
detailed [7050..7074]
prev
next
detailed results (95063 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_dwp_uname.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.032s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_tty.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.027s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_tsort.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.027s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_true.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.022s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_tr.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.038s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_touch.yyerror.il.dwp.smt2
(content)
ok
ok
0.014s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_touch.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.021s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_test.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.020s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_tee.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.037s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_tail.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.021s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_tac.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.020s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_sync.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.036s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_sum.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.038s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_su.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.036s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_stty.visible.il.dwp.smt2
(content)
ok
ok
0.049s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_stty.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.023s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_stat.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.026s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_split.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.035s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_sleep.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.035s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_shuf.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.036s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_shuf.input_numbers_option_used.il.dwp.smt2
(content)
ok
ok
0.033s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_shred.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.029s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_sha512sum.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.037s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_sha256sum.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.022s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/dwp_formulas/try5_small_noof_functions_dwp_sha1sum.quoting_options_from_style.il.dwp.smt2
(content)
ok
ok
0.023s