├── test ├── size-min.cpp ├── max-using-rewriting.cpp ├── equal.cpp ├── equal-naive.cpp ├── equal-idempotent.cpp ├── naive-domain-equal.cpp ├── disequality.cpp ├── non-shared-domain-equal.cpp ├── domain-equal-using-staging.cpp ├── domain-equal-using-bounds-propagation.cpp ├── equal-idempotent-using-modification-events.cpp ├── less.cpp └── domain-equal-with-offset.cpp ├── v.tex.in ├── misc ├── crossword │ ├── logs │ │ ├── base │ │ │ ├── time-uk-28.txt │ │ │ ├── time-words-19.txt │ │ │ ├── time-words-39.txt │ │ │ ├── time-words-45.txt │ │ │ ├── time-words-47.txt │ │ │ ├── time-words-49.txt │ │ │ ├── time-uk-10.txt │ │ │ ├── time-uk-11.txt │ │ │ ├── time-uk-12.txt │ │ │ ├── time-uk-13.txt │ │ │ ├── time-uk-14.txt │ │ │ ├── time-uk-15.txt │ │ │ ├── time-uk-16.txt │ │ │ ├── time-uk-17.txt │ │ │ ├── time-uk-18.txt │ │ │ ├── time-uk-19.txt │ │ │ ├── time-uk-20.txt │ │ │ ├── time-uk-21.txt │ │ │ ├── time-uk-22.txt │ │ │ ├── time-uk-23.txt │ │ │ ├── time-uk-24.txt │ │ │ ├── time-uk-25.txt │ │ │ ├── time-uk-26.txt │ │ │ ├── time-uk-27.txt │ │ │ ├── time-uk-29.txt │ │ │ ├── time-uk-30.txt │ │ │ ├── time-uk-31.txt │ │ │ ├── time-uk-32.txt │ │ │ ├── time-uk-33.txt │ │ │ ├── time-uk-34.txt │ │ │ ├── time-uk-35.txt │ │ │ ├── time-uk-36.txt │ │ │ ├── time-uk-37.txt │ │ │ ├── time-uk-38.txt │ │ │ ├── time-uk-39.txt │ │ │ ├── time-uk-40.txt │ │ │ ├── time-uk-41.txt │ │ │ ├── time-uk-42.txt │ │ │ ├── time-uk-43.txt │ │ │ ├── time-uk-44.txt │ │ │ ├── time-uk-45.txt │ │ │ ├── time-uk-46.txt │ │ │ ├── time-uk-47.txt │ │ │ ├── time-uk-48.txt │ │ │ ├── time-uk-49.txt │ │ │ ├── time-words-10.txt │ │ │ ├── time-words-11.txt │ │ │ ├── time-words-12.txt │ │ │ ├── time-words-13.txt │ │ │ ├── time-words-14.txt │ │ │ ├── time-words-15.txt │ │ │ ├── time-words-16.txt │ │ │ ├── time-words-17.txt │ │ │ ├── time-words-18.txt │ │ │ ├── time-words-20.txt │ │ │ ├── time-words-21.txt │ │ │ ├── time-words-22.txt │ │ │ ├── time-words-23.txt │ │ │ ├── time-words-24.txt │ │ │ ├── time-words-25.txt │ │ │ ├── time-words-26.txt │ │ │ ├── time-words-27.txt │ │ │ ├── time-words-28.txt │ │ │ ├── time-words-29.txt │ │ │ ├── time-words-30.txt │ │ │ ├── time-words-31.txt │ │ │ ├── time-words-32.txt │ │ │ ├── time-words-33.txt │ │ │ ├── time-words-34.txt │ │ │ ├── time-words-35.txt │ │ │ ├── time-words-36.txt │ │ │ ├── time-words-37.txt │ │ │ ├── time-words-38.txt │ │ │ ├── time-words-41.txt │ │ │ ├── time-words-42.txt │ │ │ ├── time-words-43.txt │ │ │ ├── time-words-44.txt │ │ │ ├── time-words-46.txt │ │ │ ├── time-words-48.txt │ │ │ ├── time-words-40.txt │ │ │ ├── stat-words-40.txt │ │ │ ├── stat-words-19.txt │ │ │ ├── stat-words-39.txt │ │ │ ├── stat-words-45.txt │ │ │ ├── stat-words-47.txt │ │ │ ├── stat-words-49.txt │ │ │ ├── stat-uk-28.txt │ │ │ ├── stat-uk-10.txt │ │ │ ├── stat-uk-11.txt │ │ │ ├── stat-uk-12.txt │ │ │ ├── stat-uk-13.txt │ │ │ ├── stat-uk-14.txt │ │ │ ├── stat-uk-17.txt │ │ │ ├── stat-uk-18.txt │ │ │ ├── stat-uk-19.txt │ │ │ ├── stat-uk-15.txt │ │ │ ├── stat-uk-16.txt │ │ │ ├── stat-words-12.txt │ │ │ ├── stat-words-17.txt │ │ │ ├── stat-words-18.txt │ │ │ ├── stat-words-10.txt │ │ │ ├── stat-words-11.txt │ │ │ ├── stat-words-14.txt │ │ │ ├── stat-words-15.txt │ │ │ ├── stat-words-16.txt │ │ │ ├── stat-words-13.txt │ │ │ ├── stat-uk-23.txt │ │ │ ├── stat-uk-24.txt │ │ │ ├── stat-uk-25.txt │ │ │ ├── stat-uk-26.txt │ │ │ ├── stat-uk-27.txt │ │ │ ├── stat-uk-29.txt │ │ │ ├── stat-uk-20.txt │ │ │ ├── stat-uk-21.txt │ │ │ ├── stat-uk-22.txt │ │ │ ├── stat-words-20.txt │ │ │ ├── stat-words-23.txt │ │ │ ├── stat-words-24.txt │ │ │ ├── stat-words-25.txt │ │ │ ├── stat-words-26.txt │ │ │ ├── stat-words-27.txt │ │ │ ├── stat-words-28.txt │ │ │ └── stat-words-29.txt │ │ ├── nogoods │ │ │ ├── time-words-39.txt │ │ │ ├── time-words-45.txt │ │ │ ├── time-words-49.txt │ │ │ ├── time-uk-10.txt │ │ │ ├── time-uk-11.txt │ │ │ ├── time-uk-12.txt │ │ │ ├── time-uk-13.txt │ │ │ ├── time-uk-14.txt │ │ │ ├── time-uk-15.txt │ │ │ ├── time-uk-16.txt │ │ │ ├── time-uk-17.txt │ │ │ ├── time-uk-18.txt │ │ │ ├── time-uk-19.txt │ │ │ ├── time-uk-20.txt │ │ │ ├── time-uk-21.txt │ │ │ ├── time-uk-22.txt │ │ │ ├── time-uk-23.txt │ │ │ ├── time-uk-24.txt │ │ │ ├── time-uk-25.txt │ │ │ ├── time-uk-26.txt │ │ │ ├── time-uk-27.txt │ │ │ ├── time-uk-28.txt │ │ │ ├── time-uk-29.txt │ │ │ ├── time-uk-30.txt │ │ │ ├── time-uk-31.txt │ │ │ ├── time-uk-32.txt │ │ │ ├── time-uk-33.txt │ │ │ ├── time-uk-34.txt │ │ │ ├── time-uk-35.txt │ │ │ ├── time-uk-36.txt │ │ │ ├── time-uk-37.txt │ │ │ ├── time-uk-38.txt │ │ │ ├── time-uk-39.txt │ │ │ ├── time-uk-40.txt │ │ │ ├── time-uk-41.txt │ │ │ ├── time-uk-42.txt │ │ │ ├── time-uk-43.txt │ │ │ ├── time-uk-44.txt │ │ │ ├── time-uk-45.txt │ │ │ ├── time-uk-46.txt │ │ │ ├── time-uk-47.txt │ │ │ ├── time-uk-48.txt │ │ │ ├── time-uk-49.txt │ │ │ ├── time-words-10.txt │ │ │ ├── time-words-11.txt │ │ │ ├── time-words-12.txt │ │ │ ├── time-words-13.txt │ │ │ ├── time-words-14.txt │ │ │ ├── time-words-15.txt │ │ │ ├── time-words-16.txt │ │ │ ├── time-words-17.txt │ │ │ ├── time-words-18.txt │ │ │ ├── time-words-19.txt │ │ │ ├── time-words-20.txt │ │ │ ├── time-words-21.txt │ │ │ ├── time-words-22.txt │ │ │ ├── time-words-23.txt │ │ │ ├── time-words-24.txt │ │ │ ├── time-words-25.txt │ │ │ ├── time-words-26.txt │ │ │ ├── time-words-27.txt │ │ │ ├── time-words-28.txt │ │ │ ├── time-words-29.txt │ │ │ ├── time-words-30.txt │ │ │ ├── time-words-31.txt │ │ │ ├── time-words-32.txt │ │ │ ├── time-words-33.txt │ │ │ ├── time-words-34.txt │ │ │ ├── time-words-35.txt │ │ │ ├── time-words-36.txt │ │ │ ├── time-words-37.txt │ │ │ ├── time-words-38.txt │ │ │ ├── time-words-40.txt │ │ │ ├── time-words-41.txt │ │ │ ├── time-words-42.txt │ │ │ ├── time-words-43.txt │ │ │ ├── time-words-44.txt │ │ │ ├── time-words-46.txt │ │ │ ├── time-words-47.txt │ │ │ ├── time-words-48.txt │ │ │ ├── stat-words-40.txt │ │ │ ├── stat-words-39.txt │ │ │ ├── stat-words-45.txt │ │ │ ├── stat-words-49.txt │ │ │ ├── stat-uk-10.txt │ │ │ ├── stat-uk-11.txt │ │ │ ├── stat-uk-12.txt │ │ │ ├── stat-uk-13.txt │ │ │ ├── stat-uk-14.txt │ │ │ ├── stat-uk-15.txt │ │ │ ├── stat-uk-16.txt │ │ │ ├── stat-uk-17.txt │ │ │ ├── stat-uk-18.txt │ │ │ ├── stat-uk-19.txt │ │ │ ├── stat-words-10.txt │ │ │ ├── stat-words-12.txt │ │ │ ├── stat-words-14.txt │ │ │ ├── stat-words-17.txt │ │ │ ├── stat-words-18.txt │ │ │ ├── stat-words-11.txt │ │ │ ├── stat-words-16.txt │ │ │ ├── stat-words-13.txt │ │ │ ├── stat-words-15.txt │ │ │ ├── stat-words-19.txt │ │ │ ├── stat-uk-20.txt │ │ │ ├── stat-uk-21.txt │ │ │ ├── stat-uk-22.txt │ │ │ ├── stat-uk-23.txt │ │ │ ├── stat-uk-24.txt │ │ │ ├── stat-uk-25.txt │ │ │ ├── stat-uk-26.txt │ │ │ ├── stat-uk-27.txt │ │ │ ├── stat-uk-29.txt │ │ │ └── stat-words-24.txt │ │ ├── restart │ │ │ ├── time-words-39.txt │ │ │ ├── time-words-45.txt │ │ │ ├── time-words-48.txt │ │ │ ├── time-words-49.txt │ │ │ ├── time-uk-10.txt │ │ │ ├── time-uk-11.txt │ │ │ ├── time-uk-12.txt │ │ │ ├── time-uk-13.txt │ │ │ ├── time-uk-14.txt │ │ │ ├── time-uk-15.txt │ │ │ ├── time-uk-16.txt │ │ │ ├── time-uk-17.txt │ │ │ ├── time-uk-18.txt │ │ │ ├── time-uk-19.txt │ │ │ ├── time-uk-20.txt │ │ │ ├── time-uk-21.txt │ │ │ ├── time-uk-22.txt │ │ │ ├── time-uk-23.txt │ │ │ ├── time-uk-24.txt │ │ │ ├── time-uk-25.txt │ │ │ ├── time-uk-26.txt │ │ │ ├── time-uk-27.txt │ │ │ ├── time-uk-28.txt │ │ │ ├── time-uk-29.txt │ │ │ ├── time-uk-30.txt │ │ │ ├── time-uk-31.txt │ │ │ ├── time-uk-32.txt │ │ │ ├── time-uk-33.txt │ │ │ ├── time-uk-34.txt │ │ │ ├── time-uk-35.txt │ │ │ ├── time-uk-36.txt │ │ │ ├── time-uk-37.txt │ │ │ ├── time-uk-38.txt │ │ │ ├── time-uk-39.txt │ │ │ ├── time-uk-40.txt │ │ │ ├── time-uk-41.txt │ │ │ ├── time-uk-42.txt │ │ │ ├── time-uk-43.txt │ │ │ ├── time-uk-44.txt │ │ │ ├── time-uk-45.txt │ │ │ ├── time-uk-46.txt │ │ │ ├── time-uk-47.txt │ │ │ ├── time-uk-48.txt │ │ │ ├── time-uk-49.txt │ │ │ ├── time-words-10.txt │ │ │ ├── time-words-11.txt │ │ │ ├── time-words-12.txt │ │ │ ├── time-words-13.txt │ │ │ ├── time-words-14.txt │ │ │ ├── time-words-15.txt │ │ │ ├── time-words-16.txt │ │ │ ├── time-words-17.txt │ │ │ ├── time-words-18.txt │ │ │ ├── time-words-19.txt │ │ │ ├── time-words-20.txt │ │ │ ├── time-words-21.txt │ │ │ ├── time-words-22.txt │ │ │ ├── time-words-23.txt │ │ │ ├── time-words-24.txt │ │ │ ├── time-words-25.txt │ │ │ ├── time-words-26.txt │ │ │ ├── time-words-27.txt │ │ │ ├── time-words-28.txt │ │ │ ├── time-words-29.txt │ │ │ ├── time-words-30.txt │ │ │ ├── time-words-31.txt │ │ │ ├── time-words-32.txt │ │ │ ├── time-words-33.txt │ │ │ ├── time-words-34.txt │ │ │ ├── time-words-35.txt │ │ │ ├── time-words-36.txt │ │ │ ├── time-words-37.txt │ │ │ ├── time-words-38.txt │ │ │ ├── time-words-40.txt │ │ │ ├── time-words-41.txt │ │ │ ├── time-words-42.txt │ │ │ ├── time-words-43.txt │ │ │ ├── time-words-44.txt │ │ │ ├── time-words-46.txt │ │ │ ├── time-words-47.txt │ │ │ ├── stat-words-40.txt │ │ │ ├── stat-words-49.txt │ │ │ ├── stat-words-39.txt │ │ │ ├── stat-words-45.txt │ │ │ ├── stat-words-48.txt │ │ │ ├── stat-uk-10.txt │ │ │ ├── stat-uk-11.txt │ │ │ ├── stat-uk-12.txt │ │ │ ├── stat-uk-13.txt │ │ │ ├── stat-uk-14.txt │ │ │ ├── stat-uk-15.txt │ │ │ ├── stat-uk-16.txt │ │ │ ├── stat-uk-17.txt │ │ │ ├── stat-uk-18.txt │ │ │ ├── stat-uk-19.txt │ │ │ ├── stat-words-10.txt │ │ │ ├── stat-words-12.txt │ │ │ ├── stat-words-14.txt │ │ │ ├── stat-words-16.txt │ │ │ ├── stat-words-17.txt │ │ │ ├── stat-words-18.txt │ │ │ ├── stat-words-11.txt │ │ │ ├── stat-words-13.txt │ │ │ ├── stat-words-15.txt │ │ │ ├── stat-words-19.txt │ │ │ ├── stat-uk-20.txt │ │ │ ├── stat-uk-21.txt │ │ │ ├── stat-uk-22.txt │ │ │ ├── stat-uk-23.txt │ │ │ ├── stat-uk-24.txt │ │ │ ├── stat-uk-25.txt │ │ │ ├── stat-uk-26.txt │ │ │ └── stat-uk-27.txt │ │ ├── nogoods-2 │ │ │ ├── stat-words-40.txt │ │ │ ├── time-words-40.txt │ │ │ ├── stat-words-49.txt │ │ │ ├── time-words-49.txt │ │ │ ├── stat-words-48.txt │ │ │ ├── time-words-48.txt │ │ │ ├── stat-words-39.txt │ │ │ ├── stat-words-45.txt │ │ │ ├── time-words-39.txt │ │ │ ├── time-words-45.txt │ │ │ ├── stat-uk-10.txt │ │ │ ├── stat-uk-11.txt │ │ │ ├── stat-uk-12.txt │ │ │ ├── stat-uk-13.txt │ │ │ ├── stat-uk-14.txt │ │ │ ├── stat-uk-17.txt │ │ │ ├── stat-uk-18.txt │ │ │ ├── stat-uk-19.txt │ │ │ ├── time-uk-10.txt │ │ │ ├── time-uk-11.txt │ │ │ ├── time-uk-12.txt │ │ │ ├── time-uk-13.txt │ │ │ ├── time-uk-14.txt │ │ │ ├── time-uk-17.txt │ │ │ ├── time-uk-18.txt │ │ │ ├── time-uk-19.txt │ │ │ ├── stat-uk-15.txt │ │ │ ├── stat-uk-16.txt │ │ │ ├── stat-words-12.txt │ │ │ ├── stat-words-14.txt │ │ │ ├── stat-words-17.txt │ │ │ ├── stat-words-18.txt │ │ │ ├── time-uk-15.txt │ │ │ ├── time-uk-16.txt │ │ │ ├── time-words-12.txt │ │ │ ├── time-words-14.txt │ │ │ ├── time-words-17.txt │ │ │ ├── time-words-18.txt │ │ │ ├── stat-words-10.txt │ │ │ ├── stat-words-11.txt │ │ │ ├── time-words-10.txt │ │ │ ├── time-words-11.txt │ │ │ ├── stat-words-13.txt │ │ │ ├── stat-words-16.txt │ │ │ ├── stat-words-19.txt │ │ │ ├── time-words-13.txt │ │ │ ├── time-words-16.txt │ │ │ ├── time-words-19.txt │ │ │ ├── stat-words-15.txt │ │ │ ├── time-words-15.txt │ │ │ ├── stat-uk-23.txt │ │ │ ├── stat-uk-24.txt │ │ │ ├── stat-uk-25.txt │ │ │ ├── stat-uk-26.txt │ │ │ ├── stat-uk-27.txt │ │ │ ├── stat-uk-29.txt │ │ │ ├── time-uk-23.txt │ │ │ ├── time-uk-24.txt │ │ │ ├── time-uk-25.txt │ │ │ ├── time-uk-26.txt │ │ │ ├── time-uk-27.txt │ │ │ └── time-uk-29.txt │ │ └── hard │ │ │ ├── words-base-49-0.txt │ │ │ ├── words-nogoods-49-0.txt │ │ │ └── words-restart-49-0.txt │ ├── x64 │ │ ├── crossword.exe │ │ ├── GecodeInt-4-3-4-r-x64.dll │ │ ├── GecodeDriver-4-3-4-r-x64.dll │ │ ├── GecodeKernel-4-3-4-r-x64.dll │ │ ├── GecodeSearch-4-3-4-r-x64.dll │ │ ├── GecodeSupport-4-3-4-r-x64.dll │ │ └── GecodeMinimodel-4-3-4-r-x64.dll │ ├── res-hard.tex │ └── sol2tex.perl └── pictures │ └── crossword.cpp ├── MPG.tex.in.in ├── changelog.tex.in ├── references.bib ├── c-crossword.tex.in ├── images ├── gist-1.png ├── gist-2.png ├── gist_hidden.png ├── gist_menu_file.png ├── gist_menu_node.png ├── gist_menu_tools.png ├── gist_node_stats.png ├── gist_smm_init.png ├── gist_menu_context.png ├── gist_menu_search.png ├── gist_show_copies.png ├── gist_smm_branches.png ├── gist_smm_solution.png ├── gist_smm_full_tree.png ├── gist_menu_preferences.png ├── gist_preferences_drawing.png ├── gist_preferences_search.png └── gist_smm_full_tree_clean.png ├── notest ├── shared-object-and-handle.cpp ├── local-object-and-handle.cpp └── local-object-with-external-resources.cpp └── int.vis /test/size-min.cpp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /v.tex.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/v.tex.in -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-28.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | STOPPED 3 | -------------------------------------------------------------------------------- /MPG.tex.in.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/MPG.tex.in.in -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-19.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | STOPPED 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-39.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | STOPPED 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-45.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | STOPPED 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-47.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | STOPPED 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-49.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | STOPPED 3 | -------------------------------------------------------------------------------- /changelog.tex.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/changelog.tex.in -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-39.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | STOPPED 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-45.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | STOPPED 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-49.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | STOPPED 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-39.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | STOPPED 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-45.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | STOPPED 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-48.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | STOPPED 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-49.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | STOPPED 3 | -------------------------------------------------------------------------------- /references.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/references.bib -------------------------------------------------------------------------------- /c-crossword.tex.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/c-crossword.tex.in -------------------------------------------------------------------------------- /images/gist-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/images/gist-1.png -------------------------------------------------------------------------------- /images/gist-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/images/gist-2.png -------------------------------------------------------------------------------- /images/gist_hidden.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/images/gist_hidden.png -------------------------------------------------------------------------------- /images/gist_menu_file.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/images/gist_menu_file.png -------------------------------------------------------------------------------- /images/gist_menu_node.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/images/gist_menu_node.png -------------------------------------------------------------------------------- /images/gist_menu_tools.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/images/gist_menu_tools.png -------------------------------------------------------------------------------- /images/gist_node_stats.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/images/gist_node_stats.png -------------------------------------------------------------------------------- /images/gist_smm_init.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/images/gist_smm_init.png -------------------------------------------------------------------------------- /images/gist_menu_context.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/images/gist_menu_context.png -------------------------------------------------------------------------------- /images/gist_menu_search.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/images/gist_menu_search.png -------------------------------------------------------------------------------- /images/gist_show_copies.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/images/gist_show_copies.png -------------------------------------------------------------------------------- /images/gist_smm_branches.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/images/gist_smm_branches.png -------------------------------------------------------------------------------- /images/gist_smm_solution.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/images/gist_smm_solution.png -------------------------------------------------------------------------------- /misc/pictures/crossword.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/misc/pictures/crossword.cpp -------------------------------------------------------------------------------- /images/gist_smm_full_tree.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/images/gist_smm_full_tree.png -------------------------------------------------------------------------------- /images/gist_menu_preferences.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/images/gist_menu_preferences.png -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-10.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 662.000000ms (0.11% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-11.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 682.200000ms (1.52% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-12.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 723.600000ms (1.19% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-13.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 487.400000ms (0.23% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-14.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 427.200000ms (0.10% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-15.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2174.400000ms (1.65% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-16.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1307.200000ms (2.29% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-17.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 514.800000ms (0.09% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-18.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 564.600000ms (1.23% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-19.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 830.000000ms (2.04% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-20.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1625.400000ms (1.58% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-21.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1544.400000ms (0.04% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-22.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1906.200000ms (1.35% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-23.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 826.800000ms (2.37% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-24.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 683.400000ms (1.02% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-25.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 833.200000ms (1.07% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-26.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 845.600000ms (3.08% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-27.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 982.800000ms (0.05% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-29.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 946.800000ms (0.93% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-30.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3066.200000ms (0.56% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-31.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2527.400000ms (0.24% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-32.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2584.600000ms (0.44% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-33.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 6115.200000ms (0.41% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-34.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3875.000000ms (0.35% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-35.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1881.400000ms (0.76% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-36.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2056.000000ms (0.64% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-37.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1719.200000ms (1.18% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-38.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2539.800000ms (0.52% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-39.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 8137.000000ms (0.40% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-40.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3073.200000ms (0.36% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-41.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3762.800000ms (0.54% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-42.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 6118.200000ms (0.34% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-43.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 29016.200000ms (0.46% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-44.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3416.400000ms (0.02% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-45.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 28020.800000ms (0.21% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-46.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3460.200000ms (0.20% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-47.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 5784.600000ms (0.35% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-48.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3797.000000ms (0.24% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-uk-49.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 35159.400000ms (0.14% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-10.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1741.000000ms (0.47% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-11.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 5279.000000ms (0.16% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-12.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 424.400000ms (1.66% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-13.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 78939.200000ms (0.08% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-14.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1141.800000ms (0.60% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-15.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 49121.400000ms (0.04% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-16.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 40369.200000ms (0.04% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-17.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 259.000000ms (3.17% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-18.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 290.200000ms (2.90% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-20.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 517.800000ms (1.32% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-21.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3160.600000ms (0.44% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-22.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 9753.000000ms (0.21% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-23.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 692.600000ms (1.24% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-24.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 293.200000ms (2.33% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-25.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 371.200000ms (1.84% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-26.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 680.200000ms (1.24% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-27.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 617.800000ms (1.38% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-28.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 717.600000ms (1.53% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-29.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 280.800000ms (0.16% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-30.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 103718.200000ms (0.06% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-31.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2358.800000ms (0.29% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-32.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1294.800000ms (0.03% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-33.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 36900.400000ms (0.08% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-34.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 7325.800000ms (0.12% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-35.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1728.400000ms (0.40% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-36.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2280.800000ms (0.30% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-37.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1213.600000ms (0.58% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-38.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1553.800000ms (0.55% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-41.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3831.400000ms (0.22% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-42.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 37958.000000ms (0.11% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-43.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 18873.000000ms (0.16% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-44.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2505.400000ms (0.34% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-46.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3045.200000ms (0.23% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-48.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 382930.600000ms (0.61% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-10.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 766.000000ms (0.24% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-11.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 723.200000ms (0.06% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-12.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 831.800000ms (1.84% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-13.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 564.000000ms (0.65% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-14.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 498.800000ms (0.09% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-15.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2302.600000ms (1.33% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-16.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1416.400000ms (1.82% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-17.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 589.800000ms (1.12% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-18.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 661.600000ms (2.74% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-19.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 942.400000ms (0.93% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-20.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1719.200000ms (0.42% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-21.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1694.200000ms (2.31% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-22.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2165.400000ms (0.32% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-23.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 920.400000ms (0.06% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-24.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 770.800000ms (1.83% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-25.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 961.000000ms (0.85% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-26.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 942.200000ms (0.90% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-27.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1114.000000ms (0.78% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-28.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 20812.000000ms (0.09% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-29.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1018.800000ms (1.20% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-30.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3154.200000ms (0.21% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-31.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2700.600000ms (0.40% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-32.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2811.200000ms (0.25% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-33.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 4879.600000ms (0.26% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-34.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 4093.600000ms (0.43% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-35.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2121.600000ms (0.03% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-36.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2299.400000ms (0.60% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-37.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1918.800000ms (0.02% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-38.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2761.200000ms (0.02% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-39.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 8127.600000ms (0.13% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-40.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3045.000000ms (0.56% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-41.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3544.400000ms (0.20% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-42.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3382.000000ms (0.22% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-43.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 13497.200000ms (0.19% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-44.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3653.600000ms (0.19% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-45.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 117359.000000ms (0.38% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-46.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3719.200000ms (0.37% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-47.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 5971.600000ms (0.22% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-48.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3697.200000ms (0.01% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-uk-49.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 50076.000000ms (0.27% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-10.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 766.400000ms (1.32% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-11.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 723.400000ms (0.08% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-12.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 829.600000ms (1.59% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-13.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 579.000000ms (2.72% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-14.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 499.800000ms (0.09% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-15.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2315.800000ms (1.56% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-16.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1422.800000ms (2.40% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-17.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 589.800000ms (1.21% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-18.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 658.400000ms (2.59% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-19.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 945.400000ms (1.50% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-20.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1719.200000ms (0.42% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-21.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1669.200000ms (0.03% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-22.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2168.400000ms (0.51% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-23.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 923.400000ms (0.76% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-24.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 770.800000ms (1.83% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-25.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 957.800000ms (0.93% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-26.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 942.200000ms (0.90% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-27.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1132.600000ms (1.85% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-28.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 4934.200000ms (0.13% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-29.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1019.400000ms (0.94% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-30.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3146.800000ms (0.41% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-31.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2704.200000ms (0.46% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-32.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2808.000000ms (0.32% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-33.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 4873.400000ms (0.36% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-34.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 4084.200000ms (0.18% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-35.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2118.400000ms (0.61% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-36.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2302.600000ms (0.60% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-37.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1922.000000ms (0.68% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-38.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2761.200000ms (0.55% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-39.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 8124.600000ms (0.25% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-40.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3048.400000ms (0.69% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-41.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3535.000000ms (0.50% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-42.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3385.200000ms (0.72% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-43.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 13250.800000ms (0.16% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-44.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3653.600000ms (0.19% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-45.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 48887.400000ms (0.12% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-46.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3722.200000ms (0.23% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-47.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 5965.600000ms (0.14% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-48.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3697.200000ms (0.29% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-uk-49.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 50035.400000ms (0.23% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/x64/crossword.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/misc/crossword/x64/crossword.exe -------------------------------------------------------------------------------- /images/gist_preferences_drawing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/images/gist_preferences_drawing.png -------------------------------------------------------------------------------- /images/gist_preferences_search.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/images/gist_preferences_search.png -------------------------------------------------------------------------------- /images/gist_smm_full_tree_clean.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/images/gist_smm_full_tree_clean.png -------------------------------------------------------------------------------- /misc/crossword/logs/base/time-words-40.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 0.000000ms (-1.#J% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-10.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1582.000000ms (0.52% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-11.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 5868.600000ms (0.12% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-12.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 446.200000ms (1.88% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-13.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 12779.400000ms (0.06% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-14.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 608.400000ms (0.09% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-15.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 95584.200000ms (0.10% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-16.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3532.000000ms (0.25% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-17.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 280.800000ms (0.16% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-18.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 321.400000ms (2.67% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-19.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 61326.800000ms (0.13% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-20.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 555.400000ms (1.55% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-21.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2661.400000ms (0.88% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-22.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 45845.400000ms (0.13% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-23.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 680.200000ms (1.24% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-24.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 315.000000ms (2.13% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-25.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 402.400000ms (1.73% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-26.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 708.200000ms (1.20% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-27.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 664.600000ms (1.32% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-28.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1191.800000ms (0.71% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-29.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 299.400000ms (2.36% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-30.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 58054.000000ms (0.16% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-31.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1513.200000ms (0.73% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-32.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1294.800000ms (0.03% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-33.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 23652.800000ms (0.21% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-34.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 20379.800000ms (0.10% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-35.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1179.400000ms (0.73% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-36.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3631.600000ms (0.19% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-37.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1257.400000ms (0.68% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-38.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1616.200000ms (0.52% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-40.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 0.000000ms (-1.#J% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-41.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2882.800000ms (0.25% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-42.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 138500.200000ms (0.12% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-43.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 174907.600000ms (0.20% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-44.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2340.000000ms (0.00% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-46.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3141.800000ms (0.27% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-47.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 84611.400000ms (0.55% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/time-words-48.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 79663.200000ms (0.23% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-10.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1575.600000ms (0.03% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-11.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 5871.800000ms (0.14% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-12.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 443.200000ms (2.02% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-13.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 12779.600000ms (0.16% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-14.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 605.200000ms (1.22% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-15.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 247681.600000ms (0.06% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-16.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3532.000000ms (0.23% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-17.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 280.800000ms (0.16% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-18.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 324.400000ms (2.14% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-19.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 82202.800000ms (0.23% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-20.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 558.600000ms (1.26% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-21.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2655.200000ms (0.50% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-22.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 39171.800000ms (0.22% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-23.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 680.200000ms (1.30% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-24.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 315.000000ms (2.13% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-25.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 402.400000ms (1.73% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-26.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 695.800000ms (1.22% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-27.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 664.600000ms (1.25% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-28.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1151.200000ms (1.12% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-29.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 296.400000ms (0.18% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-30.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 101150.600000ms (0.26% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-31.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1516.200000ms (0.44% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-32.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1297.800000ms (0.53% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-33.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 54868.400000ms (0.12% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-34.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 24710.400000ms (0.13% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-35.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1179.400000ms (0.73% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-36.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3631.600000ms (0.19% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-37.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1254.400000ms (0.70% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-38.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 1613.200000ms (0.53% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-40.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 0.000000ms (-1.#J% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-41.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2883.000000ms (0.23% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-42.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 86187.000000ms (0.10% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-43.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 243089.000000ms (0.19% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-44.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 2340.000000ms (0.00% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-46.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 3188.600000ms (0.27% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/time-words-47.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | runtime: 101578.000000ms (0.67% deviation) 3 | -------------------------------------------------------------------------------- /misc/crossword/x64/GecodeInt-4-3-4-r-x64.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/misc/crossword/x64/GecodeInt-4-3-4-r-x64.dll -------------------------------------------------------------------------------- /misc/crossword/x64/GecodeDriver-4-3-4-r-x64.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/misc/crossword/x64/GecodeDriver-4-3-4-r-x64.dll -------------------------------------------------------------------------------- /misc/crossword/x64/GecodeKernel-4-3-4-r-x64.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/misc/crossword/x64/GecodeKernel-4-3-4-r-x64.dll -------------------------------------------------------------------------------- /misc/crossword/x64/GecodeSearch-4-3-4-r-x64.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/misc/crossword/x64/GecodeSearch-4-3-4-r-x64.dll -------------------------------------------------------------------------------- /misc/crossword/x64/GecodeSupport-4-3-4-r-x64.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/misc/crossword/x64/GecodeSupport-4-3-4-r-x64.dll -------------------------------------------------------------------------------- /misc/crossword/x64/GecodeMinimodel-4-3-4-r-x64.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gecode/MPG/HEAD/misc/crossword/x64/GecodeMinimodel-4-3-4-r-x64.dll -------------------------------------------------------------------------------- /notest/shared-object-and-handle.cpp: -------------------------------------------------------------------------------- 1 | int 2 | main(int argc, char* argv[]) { 3 | SI si(4); 4 | std::cout << si.get() << std::endl; 5 | si.set(5); 6 | std::cout << si.get() << std::endl; 7 | return 0; 8 | } 9 | 10 | -------------------------------------------------------------------------------- /misc/crossword/res-hard.tex: -------------------------------------------------------------------------------- 1 | \inst{words-nogoods}{21}{10}&$8:04:14.879$&$5\,057\,102$&$21$\\ 2 | \hline 3 | \inst{words-nogoods}{23}{06}&$10:15:46.767$&$4\,253\,481$&$20$\\ 4 | \hline 5 | \inst{words-nogoods}{23}{10}&$54:37:13.617$&$19\,125\,068$&$24$\\ 6 | \hline 7 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-40.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Initial 4 | propagators: 0 5 | branchers: 0 6 | 7 | Summary 8 | runtime: 0.000 (0.000 ms) 9 | solutions: 0 10 | propagations: 0 11 | nodes: 0 12 | failures: 1 13 | restarts: 0 14 | no-goods: 0 15 | peak depth: 0 16 | 17 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-words-40.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Initial 4 | propagators: 0 5 | branchers: 0 6 | 7 | Summary 8 | runtime: 0.000 (0.000 ms) 9 | solutions: 0 10 | propagations: 0 11 | nodes: 0 12 | failures: 2 13 | restarts: 0 14 | no-goods: 0 15 | peak depth: 0 16 | 17 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-words-40.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Initial 4 | propagators: 0 5 | branchers: 0 6 | 7 | Summary 8 | runtime: 0.000 (0.000 ms) 9 | solutions: 0 10 | propagations: 0 11 | nodes: 0 12 | failures: 2 13 | restarts: 0 14 | no-goods: 0 15 | peak depth: 0 16 | 17 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-words-40.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Initial 4 | propagators: 0 5 | branchers: 0 6 | 7 | Summary 8 | runtime: 0.000 (0.000 ms) 9 | solutions: 0 10 | propagations: 0 11 | nodes: 0 12 | failures: 2 13 | restarts: 0 14 | no-goods: 0 15 | peak depth: 0 16 | 17 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-words-40.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Initial 4 | propagators: 0 5 | branchers: 0 6 | 7 | Summary 8 | runtime: 0.000 (0.000 ms) 9 | solutions: 0 10 | propagations: 0 11 | nodes: 0 12 | failures: 2 13 | restarts: 0 14 | no-goods: 0 15 | peak depth: 0 16 | 17 | -------------------------------------------------------------------------------- /misc/crossword/logs/hard/words-base-49-0.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Initial 4 | propagators: 932 5 | branchers: 1 6 | 7 | Summary 8 | runtime: 12:18:26.434 (44306434.000 ms) 9 | solutions: 0 10 | propagations: 1128199439 11 | nodes: 3853183 12 | failures: 1926592 13 | restarts: 0 14 | no-goods: 0 15 | peak depth: 75 16 | 17 | -------------------------------------------------------------------------------- /misc/crossword/logs/hard/words-nogoods-49-0.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Initial 4 | propagators: 932 5 | branchers: 1 6 | 7 | Summary 8 | runtime: 2 days, 6:37:13.617 (196633617.000 ms) 9 | solutions: 0 10 | propagations: 1216894003 11 | nodes: 19125068 12 | failures: 9562401 13 | restarts: 24 14 | no-goods: 1015 15 | peak depth: 231 16 | 17 | -------------------------------------------------------------------------------- /misc/crossword/logs/hard/words-restart-49-0.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Initial 4 | propagators: 932 5 | branchers: 1 6 | 7 | Summary 8 | runtime: 6 days, 10:51:17.925 (557477925.000 ms) 9 | solutions: 0 10 | propagations: 2946873637 11 | nodes: 54567450 12 | failures: 27283557 13 | restarts: 26 14 | no-goods: 0 15 | peak depth: 110 16 | 17 | -------------------------------------------------------------------------------- /notest/local-object-and-handle.cpp: -------------------------------------------------------------------------------- 1 | class S : public Space { 2 | public: 3 | S(void) {} 4 | S(S& s) : Space(s) {} 5 | virtual Space* copy(void) { return new S(*this); } 6 | }; 7 | 8 | int 9 | main(int argc, char* argv[]) { 10 | S s; 11 | LI li(s,4); 12 | std::cout << li.get() << std::endl; 13 | li.set(5); 14 | std::cout << li.get() << std::endl; 15 | return 0; 16 | } 17 | 18 | -------------------------------------------------------------------------------- /notest/local-object-with-external-resources.cpp: -------------------------------------------------------------------------------- 1 | class S : public Space { 2 | public: 3 | S(void) {} 4 | S(S& s) : Space(s) {} 5 | virtual Space* copy(void) { return new S(*this); } 6 | }; 7 | 8 | int 9 | main(int argc, char* argv[]) { 10 | S s; 11 | LI li(s,4); 12 | std::cout << li[2] << std::endl; 13 | li[2] = 5; 14 | std::cout << li[2] << std::endl; 15 | return 0; 16 | } 17 | 18 | -------------------------------------------------------------------------------- /misc/crossword/sol2tex.perl: -------------------------------------------------------------------------------- 1 | #!/usr/bin/perl -w 2 | 3 | $i=22; 4 | while ($l = <>) { 5 | chomp($l); 6 | $l =~ s|[\t ]*||g; 7 | print "% $l\n"; 8 | @cs = split(//,$l); 9 | $j=0; 10 | foreach $c (@cs) { 11 | if ($c eq "*") { 12 | print "\\bfield{$j}{$i}"; 13 | } else { 14 | print "\\sol{$j}{$i}{$c}"; 15 | } 16 | $j++; 17 | } 18 | print "\n"; 19 | $i--; 20 | } 21 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-words-49.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Search engine stopped... 4 | reason: user interrupt 5 | Initial 6 | propagators: 932 7 | branchers: 1 8 | 9 | Summary 10 | runtime: 2:14.851 (134851.000 ms) 11 | solutions: 0 12 | propagations: 3427843 13 | nodes: 12923 14 | failures: 6444 15 | restarts: 4 16 | no-goods: 69 17 | peak depth: 64 18 | 19 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-words-49.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Search engine stopped... 4 | reason: user interrupt 5 | Initial 6 | propagators: 932 7 | branchers: 1 8 | 9 | Summary 10 | runtime: 2:14.851 (134851.000 ms) 11 | solutions: 0 12 | propagations: 3427843 13 | nodes: 12923 14 | failures: 6444 15 | restarts: 4 16 | no-goods: 69 17 | peak depth: 64 18 | 19 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-words-48.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Search engine stopped... 4 | reason: user interrupt 5 | Initial 6 | propagators: 913 7 | branchers: 1 8 | 9 | Summary 10 | runtime: 3:42.625 (222625.000 ms) 11 | solutions: 0 12 | propagations: 10309690 13 | nodes: 43243 14 | failures: 21472 15 | restarts: 7 16 | no-goods: 303 17 | peak depth: 149 18 | 19 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-words-48.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Search engine stopped... 4 | reason: user interrupt 5 | Initial 6 | propagators: 913 7 | branchers: 1 8 | 9 | Summary 10 | runtime: 3:42.625 (222625.000 ms) 11 | solutions: 0 12 | propagations: 10309690 13 | nodes: 43243 14 | failures: 21472 15 | restarts: 7 16 | no-goods: 303 17 | peak depth: 149 18 | 19 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-19.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Search engine stopped... 4 | reason: time limit reached 5 | 6 | Initial 7 | propagators: 386 8 | branchers: 1 9 | 10 | Summary 11 | runtime: 10:00.024 (600024.000 ms) 12 | solutions: 0 13 | propagations: 38804986 14 | nodes: 191872 15 | failures: 95930 16 | restarts: 0 17 | no-goods: 0 18 | peak depth: 56 19 | 20 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-39.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Search engine stopped... 4 | reason: time limit reached 5 | 6 | Initial 7 | propagators: 773 8 | branchers: 1 9 | 10 | Summary 11 | runtime: 10:00.024 (600024.000 ms) 12 | solutions: 0 13 | propagations: 31731952 14 | nodes: 184658 15 | failures: 92300 16 | restarts: 0 17 | no-goods: 0 18 | peak depth: 119 19 | 20 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-45.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Search engine stopped... 4 | reason: time limit reached 5 | 6 | Initial 7 | propagators: 927 8 | branchers: 1 9 | 10 | Summary 11 | runtime: 10:00.070 (600070.000 ms) 12 | solutions: 0 13 | propagations: 13560036 14 | nodes: 53370 15 | failures: 26679 16 | restarts: 0 17 | no-goods: 0 18 | peak depth: 41 19 | 20 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-47.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Search engine stopped... 4 | reason: time limit reached 5 | 6 | Initial 7 | propagators: 914 8 | branchers: 1 9 | 10 | Summary 11 | runtime: 10:00.024 (600024.000 ms) 12 | solutions: 0 13 | propagations: 21763320 14 | nodes: 124968 15 | failures: 62453 16 | restarts: 0 17 | no-goods: 0 18 | peak depth: 95 19 | 20 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-49.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Search engine stopped... 4 | reason: time limit reached 5 | 6 | Initial 7 | propagators: 932 8 | branchers: 1 9 | 10 | Summary 11 | runtime: 10:00.070 (600070.000 ms) 12 | solutions: 0 13 | propagations: 12957160 14 | nodes: 48398 15 | failures: 24194 16 | restarts: 0 17 | no-goods: 0 18 | peak depth: 63 19 | 20 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-words-49.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Search engine stopped... 4 | reason: time limit reached 5 | 6 | Initial 7 | propagators: 932 8 | branchers: 1 9 | 10 | Summary 11 | runtime: 10:00.055 (600055.000 ms) 12 | solutions: 0 13 | propagations: 13920509 14 | nodes: 46602 15 | failures: 23265 16 | restarts: 9 17 | no-goods: 0 18 | peak depth: 35 19 | 20 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-uk-28.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Search engine stopped... 4 | reason: time limit reached 5 | 6 | Initial 7 | propagators: 598 8 | branchers: 1 9 | 10 | Summary 11 | runtime: 10:00.039 (600039.000 ms) 12 | solutions: 0 13 | propagations: 277234930 14 | nodes: 65061940 15 | failures: 32530894 16 | restarts: 0 17 | no-goods: 0 18 | peak depth: 185 19 | 20 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-words-39.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Search engine stopped... 4 | reason: time limit reached 5 | 6 | Initial 7 | propagators: 773 8 | branchers: 1 9 | 10 | Summary 11 | runtime: 10:00.024 (600024.000 ms) 12 | solutions: 0 13 | propagations: 15916038 14 | nodes: 75343 15 | failures: 37570 16 | restarts: 9 17 | no-goods: 296 18 | peak depth: 149 19 | 20 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-words-45.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Search engine stopped... 4 | reason: time limit reached 5 | 6 | Initial 7 | propagators: 927 8 | branchers: 1 9 | 10 | Summary 11 | runtime: 10:00.039 (600039.000 ms) 12 | solutions: 0 13 | propagations: 12367282 14 | nodes: 45248 15 | failures: 22556 16 | restarts: 7 17 | no-goods: 188 18 | peak depth: 81 19 | 20 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-words-39.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Search engine stopped... 4 | reason: time limit reached 5 | 6 | Initial 7 | propagators: 773 8 | branchers: 1 9 | 10 | Summary 11 | runtime: 10:00.024 (600024.000 ms) 12 | solutions: 0 13 | propagations: 15916038 14 | nodes: 75343 15 | failures: 37570 16 | restarts: 9 17 | no-goods: 296 18 | peak depth: 149 19 | 20 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-words-45.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Search engine stopped... 4 | reason: time limit reached 5 | 6 | Initial 7 | propagators: 927 8 | branchers: 1 9 | 10 | Summary 11 | runtime: 10:00.039 (600039.000 ms) 12 | solutions: 0 13 | propagations: 12367282 14 | nodes: 45248 15 | failures: 22556 16 | restarts: 7 17 | no-goods: 188 18 | peak depth: 81 19 | 20 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-words-39.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Search engine stopped... 4 | reason: time limit reached 5 | 6 | Initial 7 | propagators: 773 8 | branchers: 1 9 | 10 | Summary 11 | runtime: 10:00.024 (600024.000 ms) 12 | solutions: 0 13 | propagations: 15819407 14 | nodes: 77795 15 | failures: 38756 16 | restarts: 10 17 | no-goods: 323 18 | peak depth: 131 19 | 20 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-words-45.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Search engine stopped... 4 | reason: time limit reached 5 | 6 | Initial 7 | propagators: 927 8 | branchers: 1 9 | 10 | Summary 11 | runtime: 10:00.039 (600039.000 ms) 12 | solutions: 0 13 | propagations: 12687244 14 | nodes: 46376 15 | failures: 23102 16 | restarts: 9 17 | no-goods: 149 18 | peak depth: 75 19 | 20 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-words-49.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Search engine stopped... 4 | reason: time limit reached 5 | 6 | Initial 7 | propagators: 932 8 | branchers: 1 9 | 10 | Summary 11 | runtime: 10:00.024 (600024.000 ms) 12 | solutions: 0 13 | propagations: 13987724 14 | nodes: 47830 15 | failures: 23883 16 | restarts: 9 17 | no-goods: 165 18 | peak depth: 56 19 | 20 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-words-39.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Search engine stopped... 4 | reason: time limit reached 5 | 6 | Initial 7 | propagators: 773 8 | branchers: 1 9 | 10 | Summary 11 | runtime: 10:00.039 (600039.000 ms) 12 | solutions: 0 13 | propagations: 17394361 14 | nodes: 88995 15 | failures: 44330 16 | restarts: 11 17 | no-goods: 0 18 | peak depth: 103 19 | 20 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-words-45.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Search engine stopped... 4 | reason: time limit reached 5 | 6 | Initial 7 | propagators: 927 8 | branchers: 1 9 | 10 | Summary 11 | runtime: 10:00.024 (600024.000 ms) 12 | solutions: 0 13 | propagations: 12870678 14 | nodes: 50715 15 | failures: 25245 16 | restarts: 9 17 | no-goods: 0 18 | peak depth: 104 19 | 20 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-words-48.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | 3 | Search engine stopped... 4 | reason: time limit reached 5 | 6 | Initial 7 | propagators: 913 8 | branchers: 1 9 | 10 | Summary 11 | runtime: 10:00.026 (600026.000 ms) 12 | solutions: 0 13 | propagations: 28129433 14 | nodes: 115717 15 | failures: 57606 16 | restarts: 11 17 | no-goods: 0 18 | peak depth: 112 19 | 20 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-uk-10.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aked*kabab*dsos 3 | rata*abase*etna 4 | anacolutha*bren 5 | basinet**shoers 6 | ***tas*astare** 7 | grieg*flu*natal 8 | cad*enrank*haka 9 | lie*rainbow*rag 10 | etal*benesh*aba 11 | falaj*dad*alban 12 | **isaiah*oca*** 13 | basans**arkites 14 | areg*ameliorate 15 | bern*ainee*dahl 16 | sasa*creel*sled 17 | 18 | 19 | 20 | Initial 21 | propagators: 384 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.836 (836.000 ms) 26 | solutions: 1 27 | propagations: 9339 28 | nodes: 108 29 | failures: 10 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 92 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-uk-11.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | adage*toff*rapt 3 | tirralirra*amah 4 | memoriatechnica 5 | anew*proteaceae 6 | ned*dian*mae*** 7 | ***dadd*oaf*cam 8 | facade*ban*hade 9 | akaba*dak*aedes 10 | leps*maa*elaine 11 | ada*bab*wrap*** 12 | ***lac*voes*ope 13 | accubation*azan 14 | selfabandonment 15 | prof*racewalker 16 | seta*elan*gaily 17 | 18 | 19 | 20 | Initial 21 | propagators: 389 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.696 (696.000 ms) 26 | solutions: 1 27 | propagations: 9441 28 | nodes: 96 29 | failures: 5 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 88 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-uk-12.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | chug*hadal*came 3 | hera*akaba*odal 4 | iran*bedad*baal 5 | zoogloea*dhurra 6 | ***laos*feer*** 7 | enjamb*garaging 8 | manna*fumed*baa 9 | chad*siled*debs 10 | ean*ahead*shale 11 | elancing*haomas 12 | ***atit*paco*** 13 | ballat*backland 14 | anal*agree*isay 15 | lana*kaiak*eire 16 | ankh*ebons*sacs 17 | 18 | 19 | 20 | Initial 21 | propagators: 383 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.714 (714.000 ms) 26 | solutions: 1 27 | propagations: 7578 28 | nodes: 104 29 | failures: 3 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 99 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-uk-13.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | bab*kama*carapa 3 | urodelan*atabal 4 | memoriatechnica 5 | psalm*marae*ban 6 | ***eek*groin*** 7 | eas*saros*sabah 8 | agha*rin*aerate 9 | seinesaintdenis 10 | enrapt*sal*silt 11 | lerna*babar*ats 12 | ***annat*sac*** 13 | ean*oorie*togue 14 | pseudosolutions 15 | hardon*nazarean 16 | arkose*slit*rue 17 | 18 | 19 | 20 | Initial 21 | propagators: 392 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.488 (488.000 ms) 26 | solutions: 1 27 | propagations: 9728 28 | nodes: 95 29 | failures: 10 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 79 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-uk-14.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | jihad*fala*used 3 | omega*ahab*reno 4 | tabularasa*erin 5 | smee*gases*naan 6 | ****rad***dacca 7 | limier*bala**** 8 | educt**alabama* 9 | memoriatechnica 10 | *amnesic**airer 11 | ****amah*unlade 12 | naiad***add**** 13 | alan*atria*aias 14 | bait*phyllopoda 15 | lade*erne*watap 16 | apod*sudd*lyams 17 | 18 | 19 | 20 | Initial 21 | propagators: 368 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.427 (427.000 ms) 26 | solutions: 1 27 | propagations: 6515 28 | nodes: 85 29 | failures: 1 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 83 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-uk-17.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | amah*pics*talak 3 | baba*haha*alula 4 | balk*imam*carob 5 | areal*blare*cha 6 | ***mac*dae*ahab 7 | bis*calendar*** 8 | eric*maa*abelia 9 | maghreb*placard 10 | anneal*bag*agma 11 | ***smeardab*sam 12 | skis*ela*ean*** 13 | ian*araba*aaron 14 | malar*shim*bala 15 | omaha*kana*lien 16 | nawab*amen*ados 17 | 18 | 19 | 20 | Initial 21 | propagators: 378 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.515 (515.000 ms) 26 | solutions: 1 27 | propagations: 7377 28 | nodes: 122 29 | failures: 13 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 99 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-uk-18.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | also*akaba*ceil 3 | raca*babar*acme 4 | alar*ambos*tapa 5 | rabanna*bobadil 6 | ***gad*canal*** 7 | ardeb*dab*bacca 8 | baas*dan*aeneas 9 | abc*takable*cep 10 | cacaos*jab*base 11 | ataps*had*baler 12 | ***aaron*bab*** 13 | bandsaw*slabbed 14 | idea*idaho*aero 15 | gain*taken*gait 16 | amla*ahead*etch 17 | 18 | 19 | 20 | Initial 21 | propagators: 379 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.562 (562.000 ms) 26 | solutions: 1 27 | propagations: 6813 28 | nodes: 117 29 | failures: 1 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 115 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-uk-19.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | dirl*parch*tamp 3 | agee*evohe*elal 4 | donerkebab*naga 5 | arytaenoid*upon 6 | ****psst*oarage 7 | jamie**iambi*** 8 | opes*huckabacks 9 | airhead*idalian 10 | balmacaans*lade 11 | ***arils**hyoid 12 | accede*stoa**** 13 | baal*naiadaceae 14 | albi*dietarians 15 | clot*argal*ruin 16 | kate*seers*esse 17 | 18 | 19 | 20 | Initial 21 | propagators: 386 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.812 (812.000 ms) 26 | solutions: 1 27 | propagations: 9771 28 | nodes: 97 29 | failures: 15 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 74 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-uk-15.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aralsea*seahare 3 | halakah*athanor 4 | enemata*teagown 5 | masa*abler*gaes 6 | ***rib*usnea*** 7 | mescalin*endman 8 | backpedal*zaire 9 | ita*esotery*leu 10 | repot*ligaments 11 | anicut*ooziness 12 | ***asian*oca*** 13 | gear*miser*baez 14 | regimen*acolyte 15 | ironore*ruderal 16 | synapse*starets 17 | 18 | 19 | 20 | Initial 21 | propagators: 397 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 2.157 (2157.000 ms) 26 | solutions: 1 27 | propagations: 15629 28 | nodes: 110 29 | failures: 24 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 76 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-uk-16.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aked*baba*cigar 3 | bani*igad*akene 4 | endamoeba*serge 5 | tallage*crabbed 6 | **eeks*ate*aery 7 | casco*glycin*** 8 | hist*gallonages 9 | all*cereous*aba 10 | psychingup*abba 11 | ***easies*chasm 12 | ecad*hed*herr** 13 | calabar*aecidia 14 | agora*inflaming 15 | donet*taal*ante 16 | stede*ebro*neon 17 | 18 | 19 | 20 | Initial 21 | propagators: 393 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 1.280 (1280.000 ms) 26 | solutions: 1 27 | propagations: 11136 28 | nodes: 114 29 | failures: 16 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 89 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-12.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | kane*ababa*pans 3 | iran*dirac*agee 4 | epic*elena*gave 5 | valhalla*dvorak 6 | ***axis*need*** 7 | cornea*comrades 8 | edits*carib*ali 9 | adds*burma*smut 10 | see*aorta*diode 11 | erringly*damned 12 | ***bags*kudo*** 13 | howell*bonanzas 14 | ever*isaac*semi 15 | bali*nabla*orin 16 | ella*glean*node 17 | 18 | 19 | 20 | Initial 21 | propagators: 383 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.422 (422.000 ms) 26 | solutions: 1 27 | propagations: 18979 28 | nodes: 143 29 | failures: 43 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 67 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-17.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aviv*baja*yalta 3 | levi*aden*agers 4 | eras*dark*genus 5 | canto*miami*ice 6 | ***ada*cry*ones 7 | meg*emphases*** 8 | ayes*boo*tacoma 9 | mermaid*pirates 10 | armada*dec*rink 11 | ***conjugal*sus 12 | back*can*lab*** 13 | ale*decks*cabal 14 | malta*oils*boca 15 | brian*brae*kahn 16 | image*skye*area 17 | 18 | 19 | 20 | Initial 21 | propagators: 378 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.250 (250.000 ms) 26 | solutions: 1 27 | propagations: 13436 28 | nodes: 130 29 | failures: 35 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 71 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-18.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | brag*lamar*cuff 3 | lila*ababa*oslo 4 | agar*ibero*hear 5 | barbara*auberge 6 | ***ads*adler*** 7 | helga*are*ledge 8 | able*jim*elders 9 | moo*kampala*los 10 | anyhow*ink*alva 11 | lydia*ott*pusey 12 | ***blabs*arc*** 13 | babbage*clothed 14 | ella*argot*iowa 15 | leer*poole*owed 16 | lewd*ender*ness 17 | 18 | 19 | 20 | Initial 21 | propagators: 379 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.281 (281.000 ms) 26 | solutions: 1 27 | propagations: 10849 28 | nodes: 112 29 | failures: 23 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 70 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-uk-10.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aked*kabab*dsos 3 | rata*abase*etna 4 | anacolutha*bren 5 | basinet**shoers 6 | ***tas*astare** 7 | grieg*flu*natal 8 | cad*enrank*haka 9 | lie*rainbow*rag 10 | etal*benesh*aba 11 | falaj*dad*alban 12 | **isaiah*oca*** 13 | basans**arkites 14 | areg*ameliorate 15 | bern*ainee*dahl 16 | sasa*creel*sled 17 | 18 | 19 | 20 | Initial 21 | propagators: 384 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 2.168 (2168.000 ms) 26 | solutions: 1 27 | propagations: 8927 28 | nodes: 103 29 | failures: 7 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 92 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-uk-11.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | adage*toff*rapt 3 | tirralirra*amah 4 | memoriatechnica 5 | anew*proteaceae 6 | ned*dian*mae*** 7 | ***dadd*oaf*cam 8 | facade*ban*hade 9 | akaba*dak*aedes 10 | leps*maa*elaine 11 | ada*bab*wrap*** 12 | ***lac*voes*ope 13 | accubation*azan 14 | selfabandonment 15 | prof*racewalker 16 | seta*elan*gaily 17 | 18 | 19 | 20 | Initial 21 | propagators: 389 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.854 (854.000 ms) 26 | solutions: 1 27 | propagations: 9441 28 | nodes: 96 29 | failures: 5 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 89 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-uk-12.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | chug*hadal*came 3 | hera*akaba*odal 4 | iran*bedad*baal 5 | zoogloea*dhurra 6 | ***laos*feer*** 7 | enjamb*garaging 8 | manna*fumed*baa 9 | chad*siled*debs 10 | ean*ahead*shale 11 | elancing*haomas 12 | ***atit*paco*** 13 | ballat*backland 14 | anal*agree*isay 15 | lana*kaiak*eire 16 | ankh*ebons*sacs 17 | 18 | 19 | 20 | Initial 21 | propagators: 383 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.827 (827.000 ms) 26 | solutions: 1 27 | propagations: 7578 28 | nodes: 104 29 | failures: 3 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 100 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-uk-13.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | bab*kama*carapa 3 | urodelan*atabal 4 | memoriatechnica 5 | psalm*marae*ban 6 | ***eek*groin*** 7 | eas*saros*sabah 8 | agha*rin*aerate 9 | seinesaintdenis 10 | enrapt*sal*silt 11 | lerna*babar*ats 12 | ***annat*sac*** 13 | sib*oorie*togue 14 | pseudosolutions 15 | elevon*nazarean 16 | debase*slit*rue 17 | 18 | 19 | 20 | Initial 21 | propagators: 392 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.557 (557.000 ms) 26 | solutions: 1 27 | propagations: 9417 28 | nodes: 91 29 | failures: 8 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 80 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-uk-14.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | jihad*fala*used 3 | omega*ahab*reno 4 | tabularasa*erin 5 | smee*gases*naan 6 | ****rad***dacca 7 | limier*bala**** 8 | educt**alabama* 9 | memoriatechnica 10 | *amnesic**airer 11 | ****amah*unlade 12 | naiad***add**** 13 | alan*atria*aias 14 | bait*phyllopoda 15 | lade*erne*watap 16 | apod*sudd*lyams 17 | 18 | 19 | 20 | Initial 21 | propagators: 368 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.492 (492.000 ms) 26 | solutions: 1 27 | propagations: 6515 28 | nodes: 85 29 | failures: 1 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 83 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-uk-17.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | amah*pics*talak 3 | baba*haha*alula 4 | balk*imam*carob 5 | areal*blare*cha 6 | ***mac*dae*ahab 7 | bis*calendar*** 8 | eric*maa*abelia 9 | maghreb*placard 10 | anneal*bag*agma 11 | ***smeardab*sam 12 | skis*ela*ean*** 13 | ian*araba*aaron 14 | malar*shim*bala 15 | omaha*kana*lien 16 | nawab*amen*ados 17 | 18 | 19 | 20 | Initial 21 | propagators: 378 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.585 (585.000 ms) 26 | solutions: 1 27 | propagations: 6972 28 | nodes: 108 29 | failures: 6 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 98 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-uk-18.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | also*akaba*ceil 3 | raca*babar*acme 4 | alar*ambos*tapa 5 | rabanna*bobadil 6 | ***gad*canal*** 7 | ardeb*dab*bacca 8 | baas*dan*aeneas 9 | abc*takable*cep 10 | cacaos*jab*base 11 | ataps*had*baler 12 | ***aaron*bab*** 13 | bandsaw*slabbed 14 | idea*idaho*aero 15 | gain*taken*gait 16 | amla*ahead*etch 17 | 18 | 19 | 20 | Initial 21 | propagators: 379 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.654 (654.000 ms) 26 | solutions: 1 27 | propagations: 6807 28 | nodes: 116 29 | failures: 1 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 114 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-uk-19.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | dirl*parch*tads 3 | agee*evohe*elea 4 | donerkebab*nabs 5 | arytaenoid*upas 6 | ****psst*oarage 7 | jamie**iambi*** 8 | opes*huckabacks 9 | airhead*idalian 10 | balmacaans*lade 11 | ***arils**hyoid 12 | accede*skua**** 13 | baal*naiadaceae 14 | albi*dietarians 15 | clot*argil*ruin 16 | kate*snees*esse 17 | 18 | 19 | 20 | Initial 21 | propagators: 386 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.943 (943.000 ms) 26 | solutions: 1 27 | propagations: 9797 28 | nodes: 94 29 | failures: 15 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 73 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-uk-10.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aked*kabab*dsos 3 | rata*abase*etna 4 | anacolutha*bren 5 | basinet**shoers 6 | ***tas*astare** 7 | grieg*flu*natal 8 | cad*enrank*haka 9 | lie*rainbow*rag 10 | etal*benesh*aba 11 | falaj*dad*alban 12 | **isaiah*oca*** 13 | basans**arkites 14 | areg*ameliorate 15 | bern*ainee*dahl 16 | sasa*creel*sled 17 | 18 | 19 | 20 | Initial 21 | propagators: 384 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 2.168 (2168.000 ms) 26 | solutions: 1 27 | propagations: 8927 28 | nodes: 103 29 | failures: 7 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 92 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-uk-11.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | adage*toff*rapt 3 | tirralirra*amah 4 | memoriatechnica 5 | anew*proteaceae 6 | ned*dian*mae*** 7 | ***dadd*oaf*cam 8 | facade*ban*hade 9 | akaba*dak*aedes 10 | leps*maa*elaine 11 | ada*bab*wrap*** 12 | ***lac*voes*ope 13 | accubation*azan 14 | selfabandonment 15 | prof*racewalker 16 | seta*elan*gaily 17 | 18 | 19 | 20 | Initial 21 | propagators: 389 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.854 (854.000 ms) 26 | solutions: 1 27 | propagations: 9441 28 | nodes: 96 29 | failures: 5 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 89 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-uk-12.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | chug*hadal*came 3 | hera*akaba*odal 4 | iran*bedad*baal 5 | zoogloea*dhurra 6 | ***laos*feer*** 7 | enjamb*garaging 8 | manna*fumed*baa 9 | chad*siled*debs 10 | ean*ahead*shale 11 | elancing*haomas 12 | ***atit*paco*** 13 | ballat*backland 14 | anal*agree*isay 15 | lana*kaiak*eire 16 | ankh*ebons*sacs 17 | 18 | 19 | 20 | Initial 21 | propagators: 383 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.827 (827.000 ms) 26 | solutions: 1 27 | propagations: 7578 28 | nodes: 104 29 | failures: 3 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 100 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-uk-13.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | bab*kama*carapa 3 | urodelan*atabal 4 | memoriatechnica 5 | psalm*marae*ban 6 | ***eek*groin*** 7 | eas*saros*sabah 8 | agha*rin*aerate 9 | seinesaintdenis 10 | enrapt*sal*silt 11 | lerna*babar*ats 12 | ***annat*sac*** 13 | sib*oorie*togue 14 | pseudosolutions 15 | elevon*nazarean 16 | debase*slit*rue 17 | 18 | 19 | 20 | Initial 21 | propagators: 392 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.557 (557.000 ms) 26 | solutions: 1 27 | propagations: 9417 28 | nodes: 91 29 | failures: 8 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 80 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-uk-14.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | jihad*fala*used 3 | omega*ahab*reno 4 | tabularasa*erin 5 | smee*gases*naan 6 | ****rad***dacca 7 | limier*bala**** 8 | educt**alabama* 9 | memoriatechnica 10 | *amnesic**airer 11 | ****amah*unlade 12 | naiad***add**** 13 | alan*atria*aias 14 | bait*phyllopoda 15 | lade*erne*watap 16 | apod*sudd*lyams 17 | 18 | 19 | 20 | Initial 21 | propagators: 368 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.492 (492.000 ms) 26 | solutions: 1 27 | propagations: 6515 28 | nodes: 85 29 | failures: 1 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 83 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-uk-17.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | amah*pics*talak 3 | baba*haha*alula 4 | balk*imam*carob 5 | areal*blare*cha 6 | ***mac*dae*ahab 7 | bis*calendar*** 8 | eric*maa*abelia 9 | maghreb*placard 10 | anneal*bag*agma 11 | ***smeardab*sam 12 | skis*ela*ean*** 13 | ian*araba*aaron 14 | malar*shim*bala 15 | omaha*kana*lien 16 | nawab*amen*ados 17 | 18 | 19 | 20 | Initial 21 | propagators: 378 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.585 (585.000 ms) 26 | solutions: 1 27 | propagations: 6972 28 | nodes: 108 29 | failures: 6 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 98 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-uk-18.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | also*akaba*ceil 3 | raca*babar*acme 4 | alar*ambos*tapa 5 | rabanna*bobadil 6 | ***gad*canal*** 7 | ardeb*dab*bacca 8 | baas*dan*aeneas 9 | abc*takable*cep 10 | cacaos*jab*base 11 | ataps*had*baler 12 | ***aaron*bab*** 13 | bandsaw*slabbed 14 | idea*idaho*aero 15 | gain*taken*gait 16 | amla*ahead*etch 17 | 18 | 19 | 20 | Initial 21 | propagators: 379 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.654 (654.000 ms) 26 | solutions: 1 27 | propagations: 6807 28 | nodes: 116 29 | failures: 1 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 114 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-uk-19.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | dirl*parch*tads 3 | agee*evohe*elea 4 | donerkebab*nabs 5 | arytaenoid*upas 6 | ****psst*oarage 7 | jamie**iambi*** 8 | opes*huckabacks 9 | airhead*idalian 10 | balmacaans*lade 11 | ***arils**hyoid 12 | accede*skua**** 13 | baal*naiadaceae 14 | albi*dietarians 15 | clot*argil*ruin 16 | kate*snees*esse 17 | 18 | 19 | 20 | Initial 21 | propagators: 386 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.943 (943.000 ms) 26 | solutions: 1 27 | propagations: 9797 28 | nodes: 94 29 | failures: 15 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 73 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-uk-10.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aked*kabab*dsos 3 | rata*abase*etna 4 | anacolutha*bren 5 | basinet**shoers 6 | ***tas*astare** 7 | grieg*flu*natal 8 | cad*enrank*haka 9 | lie*rainbow*rag 10 | etal*benesh*aba 11 | falaj*dad*alban 12 | **isaiah*oca*** 13 | basans**arkites 14 | areg*ameliorate 15 | bern*ainee*dahl 16 | sasa*creel*sled 17 | 18 | 19 | 20 | Initial 21 | propagators: 384 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.756 (756.000 ms) 26 | solutions: 1 27 | propagations: 8927 28 | nodes: 103 29 | failures: 7 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 92 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-uk-11.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | adage*toff*rapt 3 | tirralirra*amah 4 | memoriatechnica 5 | anew*proteaceae 6 | ned*dian*mae*** 7 | ***dadd*oaf*cam 8 | facade*ban*hade 9 | akaba*dak*aedes 10 | leps*maa*elaine 11 | ada*bab*wrap*** 12 | ***lac*voes*ope 13 | accubation*azan 14 | selfabandonment 15 | prof*racewalker 16 | seta*elan*gaily 17 | 18 | 19 | 20 | Initial 21 | propagators: 389 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.718 (718.000 ms) 26 | solutions: 1 27 | propagations: 9441 28 | nodes: 96 29 | failures: 5 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 89 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-uk-12.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | chug*hadal*came 3 | hera*akaba*odal 4 | iran*bedad*baal 5 | zoogloea*dhurra 6 | ***laos*feer*** 7 | enjamb*garaging 8 | manna*fumed*baa 9 | chad*siled*debs 10 | ean*ahead*shale 11 | elancing*haomas 12 | ***atit*paco*** 13 | ballat*backland 14 | anal*agree*isay 15 | lana*kaiak*eire 16 | ankh*ebons*sacs 17 | 18 | 19 | 20 | Initial 21 | propagators: 383 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.821 (821.000 ms) 26 | solutions: 1 27 | propagations: 7578 28 | nodes: 104 29 | failures: 3 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 100 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-uk-13.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | bab*kama*carapa 3 | urodelan*atabal 4 | memoriatechnica 5 | psalm*marae*ban 6 | ***eek*groin*** 7 | eas*saros*sabah 8 | agha*rin*aerate 9 | seinesaintdenis 10 | enrapt*sal*silt 11 | lerna*babar*ats 12 | ***annat*sac*** 13 | sib*oorie*togue 14 | pseudosolutions 15 | elevon*nazarean 16 | debase*slit*rue 17 | 18 | 19 | 20 | Initial 21 | propagators: 392 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.559 (559.000 ms) 26 | solutions: 1 27 | propagations: 9417 28 | nodes: 91 29 | failures: 8 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 80 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-uk-14.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | jihad*fala*used 3 | omega*ahab*reno 4 | tabularasa*erin 5 | smee*gases*naan 6 | ****rad***dacca 7 | limier*bala**** 8 | educt**alabama* 9 | memoriatechnica 10 | *amnesic**airer 11 | ****amah*unlade 12 | naiad***add**** 13 | alan*atria*aias 14 | bait*phyllopoda 15 | lade*erne*watap 16 | apod*sudd*lyams 17 | 18 | 19 | 20 | Initial 21 | propagators: 368 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.494 (494.000 ms) 26 | solutions: 1 27 | propagations: 6515 28 | nodes: 85 29 | failures: 1 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 83 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-uk-15.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aralsea*seahare 3 | halakah*athanor 4 | enemata*teagown 5 | masa*abler*gaes 6 | ***rib*usnea*** 7 | mescalin*endman 8 | backpedal*zaire 9 | ita*esotery*leu 10 | repot*ligaments 11 | anicut*ooziness 12 | ***asian*oca*** 13 | gear*miser*beeb 14 | regimen*acolyte 15 | ironore*ruderal 16 | synapse*starets 17 | 18 | 19 | 20 | Initial 21 | propagators: 397 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 2.281 (2281.000 ms) 26 | solutions: 1 27 | propagations: 16173 28 | nodes: 116 29 | failures: 27 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 78 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-uk-16.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aked*baba*ligan 3 | bani*igad*akene 4 | endamoeba*merge 5 | tallage*crabbed 6 | **eeks*ate*aery 7 | casco*glycin*** 8 | hist*gallonages 9 | all*cereous*aba 10 | psychingup*abba 11 | ***easies*chasm 12 | ecad*hed*herr** 13 | calabar*aecidia 14 | agora*inflaming 15 | donet*taal*ante 16 | stede*ebro*neon 17 | 18 | 19 | 20 | Initial 21 | propagators: 393 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 1.388 (1388.000 ms) 26 | solutions: 1 27 | propagations: 11169 28 | nodes: 115 29 | failures: 16 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 94 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-uk-17.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | amah*pics*talak 3 | baba*haha*alula 4 | balk*imam*carob 5 | areal*blare*cha 6 | ***mac*dae*ahab 7 | bis*calendar*** 8 | eric*maa*abelia 9 | maghreb*placard 10 | anneal*bag*agma 11 | ***smeardab*sam 12 | skis*ela*ean*** 13 | ian*araba*aaron 14 | malar*shim*bala 15 | omaha*kana*lien 16 | nawab*amen*ados 17 | 18 | 19 | 20 | Initial 21 | propagators: 378 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.578 (578.000 ms) 26 | solutions: 1 27 | propagations: 6972 28 | nodes: 108 29 | failures: 6 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 98 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-uk-18.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | also*akaba*ceil 3 | raca*babar*acme 4 | alar*ambos*tapa 5 | rabanna*bobadil 6 | ***gad*canal*** 7 | ardeb*dab*bacca 8 | baas*dan*aeneas 9 | abc*takable*cep 10 | cacaos*jab*base 11 | ataps*had*baler 12 | ***aaron*bab*** 13 | bandsaw*slabbed 14 | idea*idaho*aero 15 | gain*taken*gait 16 | amla*ahead*etch 17 | 18 | 19 | 20 | Initial 21 | propagators: 379 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.655 (655.000 ms) 26 | solutions: 1 27 | propagations: 6807 28 | nodes: 116 29 | failures: 1 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 114 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-uk-19.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | dirl*parch*tads 3 | agee*evohe*elea 4 | donerkebab*nabs 5 | arytaenoid*upas 6 | ****psst*oarage 7 | jamie**iambi*** 8 | opes*huckabacks 9 | airhead*idalian 10 | balmacaans*lade 11 | ***arils**hyoid 12 | accede*skua**** 13 | baal*naiadaceae 14 | albi*dietarians 15 | clot*argil*ruin 16 | kate*snees*esse 17 | 18 | 19 | 20 | Initial 21 | propagators: 386 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.936 (936.000 ms) 26 | solutions: 1 27 | propagations: 9797 28 | nodes: 94 29 | failures: 15 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 73 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-uk-10.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aked*kabab*dsos 3 | rata*abase*etna 4 | anacolutha*bren 5 | basinet**shoers 6 | ***tas*astare** 7 | grieg*flu*natal 8 | cad*enrank*haka 9 | lie*rainbow*rag 10 | etal*benesh*aba 11 | falaj*dad*alban 12 | **isaiah*oca*** 13 | basans**arkites 14 | areg*ameliorate 15 | bern*ainee*dahl 16 | sasa*creel*sled 17 | 18 | 19 | 20 | Initial 21 | propagators: 384 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.757 (757.000 ms) 26 | solutions: 1 27 | propagations: 8927 28 | nodes: 103 29 | failures: 7 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 91 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-uk-11.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | adage*toff*rapt 3 | tirralirra*amah 4 | memoriatechnica 5 | anew*proteaceae 6 | ned*dian*mae*** 7 | ***dadd*oaf*cam 8 | facade*ban*hade 9 | akaba*dak*aedes 10 | leps*maa*elaine 11 | ada*bab*wrap*** 12 | ***lac*voes*ope 13 | accubation*azan 14 | selfabandonment 15 | prof*racewalker 16 | seta*elan*gaily 17 | 18 | 19 | 20 | Initial 21 | propagators: 389 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.719 (719.000 ms) 26 | solutions: 1 27 | propagations: 9441 28 | nodes: 96 29 | failures: 5 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 88 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-uk-12.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | chug*hadal*came 3 | hera*akaba*odal 4 | iran*bedad*baal 5 | zoogloea*dhurra 6 | ***laos*feer*** 7 | enjamb*garaging 8 | manna*fumed*baa 9 | chad*siled*debs 10 | ean*ahead*shale 11 | elancing*haomas 12 | ***atit*paco*** 13 | ballat*backland 14 | anal*agree*isay 15 | lana*kaiak*eire 16 | ankh*ebons*sacs 17 | 18 | 19 | 20 | Initial 21 | propagators: 383 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.816 (816.000 ms) 26 | solutions: 1 27 | propagations: 7578 28 | nodes: 104 29 | failures: 3 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 99 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-uk-13.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | bab*kama*carapa 3 | urodelan*atabal 4 | memoriatechnica 5 | psalm*marae*ban 6 | ***eek*groin*** 7 | eas*saros*sabah 8 | agha*rin*aerate 9 | seinesaintdenis 10 | enrapt*sal*silt 11 | lerna*babar*ats 12 | ***annat*sac*** 13 | sib*oorie*togue 14 | pseudosolutions 15 | elevon*nazarean 16 | debase*slit*rue 17 | 18 | 19 | 20 | Initial 21 | propagators: 392 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.555 (555.000 ms) 26 | solutions: 1 27 | propagations: 9417 28 | nodes: 91 29 | failures: 8 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 78 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-uk-14.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | jihad*fala*used 3 | omega*ahab*reno 4 | tabularasa*erin 5 | smee*gases*naan 6 | ****rad***dacca 7 | limier*bala**** 8 | educt**alabama* 9 | memoriatechnica 10 | *amnesic**airer 11 | ****amah*unlade 12 | naiad***add**** 13 | alan*atria*aias 14 | bait*phyllopoda 15 | lade*erne*watap 16 | apod*sudd*lyams 17 | 18 | 19 | 20 | Initial 21 | propagators: 368 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.493 (493.000 ms) 26 | solutions: 1 27 | propagations: 6515 28 | nodes: 85 29 | failures: 1 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 83 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-uk-15.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aralsea*seahare 3 | halakah*athanor 4 | enemata*teagown 5 | masa*abler*gaes 6 | ***rib*usnea*** 7 | mescalin*endman 8 | backpedal*zaire 9 | ita*esotery*leu 10 | repot*ligaments 11 | anicut*ooziness 12 | ***asian*oca*** 13 | gear*miser*beeb 14 | regimen*acolyte 15 | ironore*ruderal 16 | synapse*starets 17 | 18 | 19 | 20 | Initial 21 | propagators: 397 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 2.276 (2276.000 ms) 26 | solutions: 1 27 | propagations: 16173 28 | nodes: 116 29 | failures: 27 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 77 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-uk-16.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aked*baba*ligan 3 | bani*igad*akene 4 | endamoeba*merge 5 | tallage*crabbed 6 | **eeks*ate*aery 7 | casco*glycin*** 8 | hist*gallonages 9 | all*cereous*aba 10 | psychingup*abba 11 | ***easies*chasm 12 | ecad*hed*herr** 13 | calabar*aecidia 14 | agora*inflaming 15 | donet*taal*ante 16 | stede*ebro*neon 17 | 18 | 19 | 20 | Initial 21 | propagators: 393 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 1.373 (1373.000 ms) 26 | solutions: 1 27 | propagations: 11169 28 | nodes: 115 29 | failures: 16 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 90 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-uk-17.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | amah*pics*talak 3 | baba*haha*alula 4 | balk*imam*carob 5 | areal*blare*cha 6 | ***mac*dae*ahab 7 | bis*calendar*** 8 | eric*maa*abelia 9 | maghreb*placard 10 | anneal*bag*agma 11 | ***smeardab*sam 12 | skis*ela*ean*** 13 | ian*araba*aaron 14 | malar*shim*bala 15 | omaha*kana*lien 16 | nawab*amen*ados 17 | 18 | 19 | 20 | Initial 21 | propagators: 378 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.593 (593.000 ms) 26 | solutions: 1 27 | propagations: 6972 28 | nodes: 108 29 | failures: 6 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 98 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-uk-18.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | also*akaba*ceil 3 | raca*babar*acme 4 | alar*ambos*tapa 5 | rabanna*bobadil 6 | ***gad*canal*** 7 | ardeb*dab*bacca 8 | baas*dan*aeneas 9 | abc*takable*cep 10 | cacaos*jab*base 11 | ataps*had*baler 12 | ***aaron*bab*** 13 | bandsaw*slabbed 14 | idea*idaho*aero 15 | gain*taken*gait 16 | amla*ahead*etch 17 | 18 | 19 | 20 | Initial 21 | propagators: 379 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.639 (639.000 ms) 26 | solutions: 1 27 | propagations: 6807 28 | nodes: 116 29 | failures: 1 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 114 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-uk-19.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | dirl*parch*tads 3 | agee*evohe*elea 4 | donerkebab*nabs 5 | arytaenoid*upas 6 | ****psst*oarage 7 | jamie**iambi*** 8 | opes*huckabacks 9 | airhead*idalian 10 | balmacaans*lade 11 | ***arils**hyoid 12 | accede*skua**** 13 | baal*naiadaceae 14 | albi*dietarians 15 | clot*argil*ruin 16 | kate*snees*esse 17 | 18 | 19 | 20 | Initial 21 | propagators: 386 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.920 (920.000 ms) 26 | solutions: 1 27 | propagations: 9797 28 | nodes: 94 29 | failures: 15 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 70 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-10.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | frau*basal*spot 3 | earn*ababa*true 4 | superseded*rosa 5 | slashed**elects 6 | ***cod*menial** 7 | synod*mad*emacs 8 | lao*emilio*silt 9 | ott*sinatra*mae 10 | peak*doreen*era 11 | estes*aid*kodak 12 | **inanna*ear*** 13 | stodgy**paraded 14 | nina*laboratory 15 | anal*odell*orin 16 | gall*natos*race 17 | 18 | 19 | 20 | Initial 21 | propagators: 384 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 1.747 (1747.000 ms) 26 | solutions: 1 27 | propagations: 122541 28 | nodes: 897 29 | failures: 423 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 61 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-11.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | assam*alfa*bits 3 | retraction*rowe 4 | electromagnetic 5 | ames*unpleasant 6 | sad*odes*lit*** 7 | ***dodd*del*era 8 | breezy*gas*aviv 9 | lapse*bad*alice 10 | erik*cab*scalar 11 | dec*fag*luis*** 12 | ***dar*gild*age 13 | antecedent*curs 14 | countermeasures 15 | tens*remunerate 16 | alee*swap*allan 17 | 18 | 19 | 20 | Initial 21 | propagators: 389 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 5.288 (5288.000 ms) 26 | solutions: 1 27 | propagations: 335124 28 | nodes: 4509 29 | failures: 2227 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 72 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-14.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | bread*sale*base 3 | eerie*prod*oral 4 | landscaped*sore 5 | area*araby*oman 6 | ****abe***omaha 7 | bloats*arab**** 8 | react**digests* 9 | anthropomorphic 10 | *shearer**leona 11 | ****cern*micron 12 | rabat***ban**** 13 | adam*dirac*abos 14 | maya*adolescent 15 | ages*yeas*peace 16 | ness*sara*askew 17 | 18 | 19 | 20 | Initial 21 | propagators: 368 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 1.139 (1139.000 ms) 26 | solutions: 1 27 | propagations: 49066 28 | nodes: 382 29 | failures: 163 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 66 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-uk-15.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aralsea*seahare 3 | halakah*athanor 4 | enemata*teagown 5 | masa*abler*gaes 6 | ***rib*usnea*** 7 | mescalin*endman 8 | backpedal*zaire 9 | ita*esotery*leu 10 | repot*ligaments 11 | anicut*ooziness 12 | ***asian*oca*** 13 | gear*miser*baez 14 | regimen*acolyte 15 | ironore*ruderal 16 | synapse*starets 17 | 18 | 19 | 20 | Initial 21 | propagators: 397 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 2.328 (2328.000 ms) 26 | solutions: 1 27 | propagations: 15953 28 | nodes: 113 29 | failures: 25 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 77 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-uk-16.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aked*baba*ligan 3 | bani*igad*akene 4 | endamoeba*merge 5 | tallage*crabbed 6 | **eeks*ate*aery 7 | casco*glycin*** 8 | hist*gallonages 9 | all*cereous*aba 10 | psychingup*abba 11 | ***easies*chasm 12 | ecad*hed*herr** 13 | calabar*aecidia 14 | agora*inflaming 15 | donet*taal*ante 16 | stede*ebro*neon 17 | 18 | 19 | 20 | Initial 21 | propagators: 393 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 1.426 (1426.000 ms) 26 | solutions: 1 27 | propagations: 11169 28 | nodes: 115 29 | failures: 16 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 94 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-words-12.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | kane*ababa*pans 3 | iran*dirac*agee 4 | epic*elena*gave 5 | valhalla*dvorak 6 | ***axis*need*** 7 | cornea*comrades 8 | edits*carib*ali 9 | adds*burma*smut 10 | see*aorta*diode 11 | erringly*damned 12 | ***bags*kudo*** 13 | howell*bonanzas 14 | ever*isaac*sore 15 | bali*nabla*once 16 | ella*glean*neon 17 | 18 | 19 | 20 | Initial 21 | propagators: 383 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.452 (452.000 ms) 26 | solutions: 1 27 | propagations: 19488 28 | nodes: 144 29 | failures: 43 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 72 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-words-14.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aloha*line*axel 3 | namer*aged*lena 4 | swarthmore*anon 5 | inns*aaron*rick 6 | ****ear***omaha 7 | straps*arab**** 8 | pooch**digests* 9 | anthropomorphic 10 | *shearer**leona 11 | ****iran*micron 12 | occam***ban**** 13 | haag*dirac*avis 14 | anne*adolescent 15 | roar*teas*utica 16 | eels*emma*malay 17 | 18 | 19 | 20 | Initial 21 | propagators: 368 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.578 (578.000 ms) 26 | solutions: 1 27 | propagations: 25288 28 | nodes: 182 29 | failures: 69 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 67 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-words-17.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aviv*baja*yalta 3 | levi*aden*agers 4 | eras*dark*genus 5 | canto*miami*ice 6 | ***ada*cry*ones 7 | meg*emphases*** 8 | ayes*boo*tacoma 9 | mermaid*pirates 10 | armada*dec*rink 11 | ***conjugal*sus 12 | back*can*lab*** 13 | ale*decks*cabal 14 | malta*oils*boca 15 | brian*brae*kahn 16 | image*skye*area 17 | 18 | 19 | 20 | Initial 21 | propagators: 378 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.266 (266.000 ms) 26 | solutions: 1 27 | propagations: 13436 28 | nodes: 130 29 | failures: 35 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 80 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-words-18.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | brag*lamar*cuff 3 | lila*ababa*oslo 4 | agar*ibero*hear 5 | barbara*auberge 6 | ***ads*adler*** 7 | helga*are*ledge 8 | able*jim*elders 9 | moo*kampala*los 10 | anyhow*ink*alva 11 | lydia*ott*pusey 12 | ***blabs*arc*** 13 | babbage*clothed 14 | ella*argot*iowa 15 | leer*poole*owed 16 | lewd*ender*ness 17 | 18 | 19 | 20 | Initial 21 | propagators: 379 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.327 (327.000 ms) 26 | solutions: 1 27 | propagations: 10870 28 | nodes: 114 29 | failures: 24 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 78 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-uk-15.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aralsea*seahare 3 | halakah*athanor 4 | enemata*teagown 5 | masa*abler*gaes 6 | ***rib*usnea*** 7 | mescalin*endman 8 | backpedal*zaire 9 | ita*esotery*leu 10 | repot*ligaments 11 | anicut*ooziness 12 | ***asian*oca*** 13 | gear*miser*baez 14 | regimen*acolyte 15 | ironore*ruderal 16 | synapse*starets 17 | 18 | 19 | 20 | Initial 21 | propagators: 397 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 2.328 (2328.000 ms) 26 | solutions: 1 27 | propagations: 15953 28 | nodes: 113 29 | failures: 25 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 77 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-uk-16.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aked*baba*ligan 3 | bani*igad*akene 4 | endamoeba*merge 5 | tallage*crabbed 6 | **eeks*ate*aery 7 | casco*glycin*** 8 | hist*gallonages 9 | all*cereous*aba 10 | psychingup*abba 11 | ***easies*chasm 12 | ecad*hed*herr** 13 | calabar*aecidia 14 | agora*inflaming 15 | donet*taal*ante 16 | stede*ebro*neon 17 | 18 | 19 | 20 | Initial 21 | propagators: 393 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 1.426 (1426.000 ms) 26 | solutions: 1 27 | propagations: 11169 28 | nodes: 115 29 | failures: 16 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 94 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-words-12.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | kane*ababa*pans 3 | iran*dirac*agee 4 | epic*elena*gave 5 | valhalla*dvorak 6 | ***axis*need*** 7 | cornea*comrades 8 | edits*carib*ali 9 | adds*burma*smut 10 | see*aorta*diode 11 | erringly*damned 12 | ***bags*kudo*** 13 | howell*bonanzas 14 | ever*isaac*sore 15 | bali*nabla*once 16 | ella*glean*neon 17 | 18 | 19 | 20 | Initial 21 | propagators: 383 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.452 (452.000 ms) 26 | solutions: 1 27 | propagations: 19488 28 | nodes: 144 29 | failures: 43 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 72 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-words-14.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aloha*line*axel 3 | namer*aged*lena 4 | swarthmore*anon 5 | inns*aaron*rick 6 | ****ear***omaha 7 | straps*arab**** 8 | pooch**digests* 9 | anthropomorphic 10 | *shearer**leona 11 | ****iran*micron 12 | occam***ban**** 13 | haag*dirac*avis 14 | anne*adolescent 15 | roar*teas*utica 16 | eels*emma*malay 17 | 18 | 19 | 20 | Initial 21 | propagators: 368 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.578 (578.000 ms) 26 | solutions: 1 27 | propagations: 25288 28 | nodes: 182 29 | failures: 69 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 67 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-words-17.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aviv*baja*yalta 3 | levi*aden*agers 4 | eras*dark*genus 5 | canto*miami*ice 6 | ***ada*cry*ones 7 | meg*emphases*** 8 | ayes*boo*tacoma 9 | mermaid*pirates 10 | armada*dec*rink 11 | ***conjugal*sus 12 | back*can*lab*** 13 | ale*decks*cabal 14 | malta*oils*boca 15 | brian*brae*kahn 16 | image*skye*area 17 | 18 | 19 | 20 | Initial 21 | propagators: 378 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.266 (266.000 ms) 26 | solutions: 1 27 | propagations: 13436 28 | nodes: 130 29 | failures: 35 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 80 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-words-18.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | brag*lamar*cuff 3 | lila*ababa*oslo 4 | agar*ibero*hear 5 | barbara*auberge 6 | ***ads*adler*** 7 | helga*are*ledge 8 | able*jim*elders 9 | moo*kampala*los 10 | anyhow*ink*alva 11 | lydia*ott*pusey 12 | ***blabs*arc*** 13 | babbage*clothed 14 | ella*argot*iowa 15 | leer*poole*owed 16 | lewd*ender*ness 17 | 18 | 19 | 20 | Initial 21 | propagators: 379 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.327 (327.000 ms) 26 | solutions: 1 27 | propagations: 10870 28 | nodes: 114 29 | failures: 24 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 78 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-words-10.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | semi*alpha*amos 3 | iran*carib*lima 4 | tallahoosa*anew 5 | estates**basins 6 | ***its*smacks** 7 | mardi*she*eater 8 | eva*ramada*neva 9 | ran*editing*rot 10 | lids*attune*eke 11 | elope*hem*added 12 | **martyr*sri*** 13 | slicer**reelect 14 | ooze*affordable 15 | ager*proof*teas 16 | pods*sorts*ends 17 | 18 | 19 | 20 | Initial 21 | propagators: 384 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 1.576 (1576.000 ms) 26 | solutions: 1 27 | propagations: 95915 28 | nodes: 741 29 | failures: 332 30 | restarts: 1 31 | no-goods: 11 32 | peak depth: 77 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-words-12.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | kane*ababa*pans 3 | iran*dirac*agee 4 | epic*elena*gave 5 | valhalla*dvorak 6 | ***axis*need*** 7 | cornea*comrades 8 | edits*carib*ali 9 | adds*burma*smut 10 | see*aorta*diode 11 | erringly*damned 12 | ***bags*kudo*** 13 | howell*bonanzas 14 | ever*isaac*semi 15 | bali*nabla*orin 16 | ella*glean*node 17 | 18 | 19 | 20 | Initial 21 | propagators: 383 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.437 (437.000 ms) 26 | solutions: 1 27 | propagations: 18993 28 | nodes: 139 29 | failures: 41 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 70 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-words-14.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | bread*sale*base 3 | eerie*prod*oral 4 | landscaped*sore 5 | area*araby*oman 6 | ****abe***omaha 7 | bloats*arab**** 8 | react**digests* 9 | anthropomorphic 10 | *shearer**leona 11 | ****cern*micron 12 | rabat***ban**** 13 | adam*dirac*avis 14 | maya*adolescent 15 | ages*yeas*utica 16 | ness*sara*malay 17 | 18 | 19 | 20 | Initial 21 | propagators: 368 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.593 (593.000 ms) 26 | solutions: 1 27 | propagations: 24506 28 | nodes: 186 29 | failures: 65 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 69 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-words-17.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aviv*baja*yalta 3 | levi*aden*agers 4 | eras*dark*genus 5 | canto*miami*ice 6 | ***ada*cry*ones 7 | meg*emphases*** 8 | ayes*boo*tacoma 9 | mermaid*pirates 10 | armada*dec*rink 11 | ***conjugal*sus 12 | back*can*lab*** 13 | ale*decks*cabal 14 | malta*oils*boca 15 | brian*brae*kahn 16 | image*skye*area 17 | 18 | 19 | 20 | Initial 21 | propagators: 378 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.281 (281.000 ms) 26 | solutions: 1 27 | propagations: 13428 28 | nodes: 130 29 | failures: 35 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 80 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-words-18.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | brag*lamar*cuff 3 | lila*ababa*oslo 4 | agar*ibero*hear 5 | barbara*auberge 6 | ***ads*adler*** 7 | helga*are*ledge 8 | able*jim*elders 9 | moo*kampala*los 10 | anyhow*ink*alva 11 | lydia*ott*pusey 12 | ***blabs*arc*** 13 | babbage*clothed 14 | ella*argot*iowa 15 | leer*poole*opel 16 | lewd*ender*nine 17 | 18 | 19 | 20 | Initial 21 | propagators: 379 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.327 (327.000 ms) 26 | solutions: 1 27 | propagations: 10875 28 | nodes: 115 29 | failures: 24 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 79 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-words-10.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | semi*alpha*amos 3 | iran*carib*lima 4 | tallahoosa*anew 5 | estates**basins 6 | ***its*smacks** 7 | mardi*she*eater 8 | eva*ramada*neva 9 | ran*editing*rot 10 | lids*attune*eke 11 | elope*hem*added 12 | **martyr*sri*** 13 | slicer**reelect 14 | ooze*affordable 15 | ager*proof*teas 16 | pods*sorts*ends 17 | 18 | 19 | 20 | Initial 21 | propagators: 384 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 1.575 (1575.000 ms) 26 | solutions: 1 27 | propagations: 95460 28 | nodes: 733 29 | failures: 328 30 | restarts: 1 31 | no-goods: 0 32 | peak depth: 63 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-words-12.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | kane*ababa*pans 3 | iran*dirac*agee 4 | epic*elena*gave 5 | valhalla*dvorak 6 | ***axis*need*** 7 | cornea*comrades 8 | edits*carib*ali 9 | adds*burma*smut 10 | see*aorta*diode 11 | erringly*damned 12 | ***bags*kudo*** 13 | howell*bonanzas 14 | ever*isaac*semi 15 | bali*nabla*orin 16 | ella*glean*node 17 | 18 | 19 | 20 | Initial 21 | propagators: 383 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.437 (437.000 ms) 26 | solutions: 1 27 | propagations: 18993 28 | nodes: 139 29 | failures: 41 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 68 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-words-14.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | bread*sale*base 3 | eerie*prod*oral 4 | landscaped*sore 5 | area*araby*oman 6 | ****abe***omaha 7 | bloats*arab**** 8 | react**digests* 9 | anthropomorphic 10 | *shearer**leona 11 | ****cern*micron 12 | rabat***ban**** 13 | adam*dirac*avis 14 | maya*adolescent 15 | ages*yeas*utica 16 | ness*sara*malay 17 | 18 | 19 | 20 | Initial 21 | propagators: 368 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.608 (608.000 ms) 26 | solutions: 1 27 | propagations: 24506 28 | nodes: 186 29 | failures: 65 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 63 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-words-16.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | arab*haag*assam 3 | robe*abby*bulba 4 | classroom*blear 5 | seniors*neatest 6 | **deny*lax*apes 7 | clogs*hasten*** 8 | hone*mattresses 9 | abe*martial*ado 10 | pediatrics*alga 11 | ***lyrics*never 12 | emil*one*tara** 13 | winning*bugatti 14 | infer*tarrytown 15 | norse*odin*erik 16 | grass*nags*dens 17 | 18 | 19 | 20 | Initial 21 | propagators: 393 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 3.540 (3540.000 ms) 26 | solutions: 1 27 | propagations: 141948 28 | nodes: 836 29 | failures: 394 30 | restarts: 1 31 | no-goods: 0 32 | peak depth: 54 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-words-17.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | aviv*baja*yalta 3 | levi*aden*agers 4 | eras*dark*genus 5 | canto*miami*ice 6 | ***ada*cry*ones 7 | meg*emphases*** 8 | ayes*boo*tacoma 9 | mermaid*pirates 10 | armada*dec*rink 11 | ***conjugal*sus 12 | back*can*lab*** 13 | ale*decks*cabal 14 | malta*oils*boca 15 | brian*brae*kahn 16 | image*skye*area 17 | 18 | 19 | 20 | Initial 21 | propagators: 378 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.281 (281.000 ms) 26 | solutions: 1 27 | propagations: 13428 28 | nodes: 130 29 | failures: 35 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 71 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-words-18.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | brag*lamar*cuff 3 | lila*ababa*oslo 4 | agar*ibero*hear 5 | barbara*auberge 6 | ***ads*adler*** 7 | helga*are*ledge 8 | able*jim*elders 9 | moo*kampala*los 10 | anyhow*ink*alva 11 | lydia*ott*pusey 12 | ***blabs*arc*** 13 | babbage*clothed 14 | ella*argot*iowa 15 | leer*poole*opel 16 | lewd*ender*nine 17 | 18 | 19 | 20 | Initial 21 | propagators: 379 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 0.312 (312.000 ms) 26 | solutions: 1 27 | propagations: 10875 28 | nodes: 115 29 | failures: 24 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 71 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-15.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | catawba*laplace 3 | abigail*aliased 4 | menorca*signing 5 | plan*kruse*tate 6 | ***ice*nonce*** 7 | appeared*shrubs 8 | plasterer*ennui 9 | pat*edifice*inn 10 | liter*cigarette 11 | edited*nameless 12 | ***crete*ere*** 13 | hugh*cider*char 14 | arrived*montana 15 | asinine*mooring 16 | gadgets*antares 17 | 18 | 19 | 20 | Initial 21 | propagators: 397 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 49.046 (49046.000 ms) 26 | solutions: 1 27 | propagations: 2408765 28 | nodes: 14895 29 | failures: 7429 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 64 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-16.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | opus*kali*arabs 3 | font*oman*libel 4 | friedrich*berra 5 | storied*adamant 6 | **nina*abo*ames 7 | agile*prison*** 8 | raze*britannica 9 | ale*sausage*now 10 | bernardine*scar 11 | ***intent*sealy 12 | scab*eng*beep** 13 | herbert*arapaho 14 | odell*islamabad 15 | vanes*aped*glue 16 | erase*lacy*eels 17 | 18 | 19 | 20 | Initial 21 | propagators: 393 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 40.537 (40537.000 ms) 26 | solutions: 1 27 | propagations: 1558488 28 | nodes: 8570 29 | failures: 4264 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 58 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-words-10.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | frau*basal*anna 3 | earn*ababa*dean 4 | superseded*dust 5 | slashed**earths 6 | ***cod*mender** 7 | synod*mad*osaka 8 | lao*emilio*slav 9 | ott*sinatra*ira 10 | peak*doreen*zen 11 | estes*aid*ghent 12 | **inanna*eli*** 13 | stodgy**painted 14 | nina*laboratory 15 | anal*odell*egan 16 | gall*natos*dose 17 | 18 | 19 | 20 | Initial 21 | propagators: 384 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 1.857 (1857.000 ms) 26 | solutions: 1 27 | propagations: 126965 28 | nodes: 922 29 | failures: 437 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 78 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-words-11.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | abaft*slab*amid 3 | palliative*rosa 4 | indeterminately 5 | stew*guidelines 6 | hun*sect*ape*** 7 | ***beak*its*pod 8 | bemoan*bah*fade 9 | enact*ban*bacon 10 | lima*jay*pacers 11 | ada*bed*dice*** 12 | ***sea*desk*bar 13 | descendant*polo 14 | internationally 15 | even*idealistic 16 | type*earl*posse 17 | 18 | 19 | 20 | Initial 21 | propagators: 389 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 3.698 (3698.000 ms) 26 | solutions: 1 27 | propagations: 264807 28 | nodes: 1327 29 | failures: 621 30 | restarts: 1 31 | no-goods: 23 32 | peak depth: 73 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-words-10.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | frau*basal*anna 3 | earn*ababa*dean 4 | superseded*dust 5 | slashed**earths 6 | ***cod*mender** 7 | synod*mad*osaka 8 | lao*emilio*slav 9 | ott*sinatra*ira 10 | peak*doreen*zen 11 | estes*aid*ghent 12 | **inanna*eli*** 13 | stodgy**painted 14 | nina*laboratory 15 | anal*odell*egan 16 | gall*natos*dose 17 | 18 | 19 | 20 | Initial 21 | propagators: 384 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 1.857 (1857.000 ms) 26 | solutions: 1 27 | propagations: 126965 28 | nodes: 922 29 | failures: 437 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 78 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-words-11.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | abaft*slab*amid 3 | palliative*rosa 4 | indeterminately 5 | stew*guidelines 6 | hun*sect*ape*** 7 | ***beak*its*pod 8 | bemoan*bah*fade 9 | enact*ban*bacon 10 | lima*jay*pacers 11 | ada*bed*dice*** 12 | ***sea*desk*bar 13 | descendant*polo 14 | internationally 15 | even*idealistic 16 | type*earl*posse 17 | 18 | 19 | 20 | Initial 21 | propagators: 389 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 3.698 (3698.000 ms) 26 | solutions: 1 27 | propagations: 264807 28 | nodes: 1327 29 | failures: 621 30 | restarts: 1 31 | no-goods: 23 32 | peak depth: 73 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-words-11.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | plane*alva*trap 3 | laceration*rica 4 | interpretations 5 | eked*penetrates 6 | dad*deus*oil*** 7 | ***haas*elm*rap 8 | amdahl*mae*bela 9 | raoul*bar*banal 10 | gill*arc*majors 11 | ode*ada*myra*** 12 | ***add*ward*dar 13 | posteriori*trio 14 | exponentiations 15 | teem*scandalous 16 | ends*sana*pepsi 17 | 18 | 19 | 20 | Initial 21 | propagators: 389 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 5.897 (5897.000 ms) 26 | solutions: 1 27 | propagations: 359816 28 | nodes: 1679 29 | failures: 810 30 | restarts: 2 31 | no-goods: 20 32 | peak depth: 62 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-words-16.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | arab*haag*assam 3 | robe*abby*bulba 4 | classroom*blear 5 | seniors*neatest 6 | **deny*lax*apes 7 | clogs*hasten*** 8 | hone*mattresses 9 | abe*martial*ado 10 | pediatrics*alga 11 | ***lyrics*never 12 | emil*one*tara** 13 | winning*bugatti 14 | infer*tarrytown 15 | norse*odin*erik 16 | grass*nags*dens 17 | 18 | 19 | 20 | Initial 21 | propagators: 393 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 3.549 (3549.000 ms) 26 | solutions: 1 27 | propagations: 141963 28 | nodes: 836 29 | failures: 394 30 | restarts: 1 31 | no-goods: 12 32 | peak depth: 78 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-words-11.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | plane*alva*trap 3 | laceration*rica 4 | interpretations 5 | eked*penetrates 6 | dad*deus*oil*** 7 | ***haas*elm*rap 8 | amdahl*mae*bela 9 | raoul*bar*banal 10 | gill*arc*majors 11 | ode*ada*myra*** 12 | ***add*ward*dar 13 | posteriori*trio 14 | exponentiations 15 | teem*scandalous 16 | ends*sana*pepsi 17 | 18 | 19 | 20 | Initial 21 | propagators: 389 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 5.881 (5881.000 ms) 26 | solutions: 1 27 | propagations: 359666 28 | nodes: 1679 29 | failures: 810 30 | restarts: 2 31 | no-goods: 0 32 | peak depth: 58 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-words-13.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | ass*bela*ablate 3 | consular*ariser 4 | transistorizing 5 | aegis*simon*ado 6 | ***peg*fangs*** 7 | pad*drain*elder 8 | ekes*arc*frayne 9 | pretentiousness 10 | sorest*ads*true 11 | inept*bleed*set 12 | ***sinai*dec*** 13 | she*month*banal 14 | compassionately 15 | opiate*emission 16 | welled*sole*len 17 | 18 | 19 | 20 | Initial 21 | propagators: 392 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 12.776 (12776.000 ms) 26 | solutions: 1 27 | propagations: 981456 28 | nodes: 5126 29 | failures: 2515 30 | restarts: 4 31 | no-goods: 0 32 | peak depth: 47 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-13.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | flo*foam*scaled 3 | language*alcove 4 | interferometric 5 | paoli*simon*elk 6 | ***del*teach*** 7 | ads*solon*hokan 8 | mops*air*bernie 9 | pretentiousness 10 | linens*ore*salt 11 | eater*burne*des 12 | ***laces*ant*** 13 | off*ghana*golda 14 | parliamentarian 15 | trains*stagnant 16 | smudge*sine*rae 17 | 18 | 19 | 20 | Initial 21 | propagators: 392 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 1:19.263 (79263.000 ms) 26 | solutions: 1 27 | propagations: 9031354 28 | nodes: 53648 29 | failures: 26807 30 | restarts: 0 31 | no-goods: 0 32 | peak depth: 50 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-words-13.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | hoe*whim*larvae 3 | emaciate*amoeba 4 | misunderstander 5 | steed*limit*all 6 | ***del*tunes*** 7 | asp*robot*upper 8 | laid*tar*greene 9 | illustriousness 10 | bookie*owl*true 11 | intel*punch*set 12 | ***sills*hat*** 13 | era*count*rigor 14 | nonconservative 15 | octane*seasonal 16 | skewer*sets*sly 17 | 18 | 19 | 20 | Initial 21 | propagators: 392 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 13.338 (13338.000 ms) 26 | solutions: 1 27 | propagations: 848784 28 | nodes: 4009 29 | failures: 1974 30 | restarts: 2 31 | no-goods: 61 32 | peak depth: 63 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-words-16.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | alga*bead*osaka 3 | lard*anti*villa 4 | anomalies*adair 5 | recited*salerno 6 | **eros*den*amen 7 | abram*linger*** 8 | rail*mastermind 9 | abe*sincere*mae 10 | bystanders*damn 11 | ***honors*beget 12 | chao*own*bali** 13 | redrawn*bikinis 14 | elder*ejaculate 15 | pleat*robe*area 16 | torus*seep*hymn 17 | 18 | 19 | 20 | Initial 21 | propagators: 393 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 21.154 (21154.000 ms) 26 | solutions: 1 27 | propagations: 713951 28 | nodes: 3120 29 | failures: 1530 30 | restarts: 2 31 | no-goods: 34 32 | peak depth: 68 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-words-19.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | chat*broad*said 3 | high*reuse*abba 4 | idealistic*brew 5 | periodical*barn 6 | ****reno*alamos 7 | amble**merit*** 8 | care*predefines 9 | niagara*grecian 10 | entireties*ansi 11 | ***spasm**sleep 12 | bedlam*pate**** 13 | area*brigantine 14 | salt*longitudes 15 | isle*elgin*reap 16 | lead*sleet*nary 17 | 18 | 19 | 20 | Initial 21 | propagators: 386 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 46.145 (46145.000 ms) 26 | solutions: 1 27 | propagations: 2136808 28 | nodes: 10574 29 | failures: 5229 30 | restarts: 4 31 | no-goods: 145 32 | peak depth: 78 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-words-13.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | hoe*whim*larvae 3 | emaciate*amoeba 4 | misunderstander 5 | steed*limit*all 6 | ***del*tunes*** 7 | asp*robot*upper 8 | laid*tar*greene 9 | illustriousness 10 | bookie*owl*true 11 | intel*punch*set 12 | ***sills*hat*** 13 | era*count*rigor 14 | nonconservative 15 | octane*seasonal 16 | skewer*sets*sly 17 | 18 | 19 | 20 | Initial 21 | propagators: 392 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 13.338 (13338.000 ms) 26 | solutions: 1 27 | propagations: 848784 28 | nodes: 4009 29 | failures: 1974 30 | restarts: 2 31 | no-goods: 61 32 | peak depth: 63 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-words-16.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | alga*bead*osaka 3 | lard*anti*villa 4 | anomalies*adair 5 | recited*salerno 6 | **eros*den*amen 7 | abram*linger*** 8 | rail*mastermind 9 | abe*sincere*mae 10 | bystanders*damn 11 | ***honors*beget 12 | chao*own*bali** 13 | redrawn*bikinis 14 | elder*ejaculate 15 | pleat*robe*area 16 | torus*seep*hymn 17 | 18 | 19 | 20 | Initial 21 | propagators: 393 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 21.154 (21154.000 ms) 26 | solutions: 1 27 | propagations: 713951 28 | nodes: 3120 29 | failures: 1530 30 | restarts: 2 31 | no-goods: 34 32 | peak depth: 68 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-words-19.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | chat*broad*said 3 | high*reuse*abba 4 | idealistic*brew 5 | periodical*barn 6 | ****reno*alamos 7 | amble**merit*** 8 | care*predefines 9 | niagara*grecian 10 | entireties*ansi 11 | ***spasm**sleep 12 | bedlam*pate**** 13 | area*brigantine 14 | salt*longitudes 15 | isle*elgin*reap 16 | lead*sleet*nary 17 | 18 | 19 | 20 | Initial 21 | propagators: 386 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 46.145 (46145.000 ms) 26 | solutions: 1 27 | propagations: 2136808 28 | nodes: 10574 29 | failures: 5229 30 | restarts: 4 31 | no-goods: 145 32 | peak depth: 78 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-words-13.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | ass*bela*ablate 3 | consular*ariser 4 | transistorizing 5 | aegis*simon*ado 6 | ***peg*fangs*** 7 | pad*drain*elder 8 | ekes*arc*frayne 9 | pretentiousness 10 | sorest*ads*true 11 | inept*bleed*set 12 | ***sinai*dec*** 13 | she*month*banal 14 | compassionately 15 | opiate*emission 16 | welled*sole*len 17 | 18 | 19 | 20 | Initial 21 | propagators: 392 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 12.776 (12776.000 ms) 26 | solutions: 1 27 | propagations: 982419 28 | nodes: 5126 29 | failures: 2515 30 | restarts: 4 31 | no-goods: 101 32 | peak depth: 69 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-words-15.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | baiting*saginaw 3 | ontario*crevice 4 | inexact*relents 5 | semi*koran*rest 6 | ***can*emacs*** 7 | watanabe*shoves 8 | alabamans*enema 9 | dam*lentils*rib 10 | emery*denotable 11 | sorest*reverser 12 | ***stave*era*** 13 | else*pedal*blip 14 | courier*mafiosi 15 | harvard*oceanic 16 | offense*keenest 17 | 18 | 19 | 20 | Initial 21 | propagators: 397 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 1:35.426 (95426.000 ms) 26 | solutions: 1 27 | propagations: 3737121 28 | nodes: 19437 29 | failures: 9651 30 | restarts: 7 31 | no-goods: 139 32 | peak depth: 92 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-words-19.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | amid*caner*haas 3 | lore*awoke*once 4 | elaborates*rite 5 | centigrade*stem 6 | ****loeb*treads 7 | allay**lotus*** 8 | deed*flemishing 9 | anomaly*antonio 10 | manicuring*edna 11 | ***shoal**broad 12 | amuser*lace**** 13 | bali*emigration 14 | otto*sacramento 15 | vern*cries*acid 16 | eras*estes*mass 17 | 18 | 19 | 20 | Initial 21 | propagators: 386 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 1:01.059 (61059.000 ms) 26 | solutions: 1 27 | propagations: 3866614 28 | nodes: 18218 29 | failures: 9029 30 | restarts: 7 31 | no-goods: 203 32 | peak depth: 77 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-words-15.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | galahad*asocial 3 | alabama*madonna 4 | ravaged*alerted 5 | bran*nadia*rows 6 | ***dad*inane*** 7 | embodies*macros 8 | roundness*stout 9 | ate*ugliest*stu 10 | sonic*specified 11 | erased*adherers 12 | ***adept*are*** 13 | laid*sheep*edit 14 | ammonia*gilmore 15 | impress*greases 16 | rosette*soonest 17 | 18 | 19 | 20 | Initial 21 | propagators: 397 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 4:07.386 (247386.000 ms) 26 | solutions: 1 27 | propagations: 9827782 28 | nodes: 50416 29 | failures: 25099 30 | restarts: 9 31 | no-goods: 0 32 | peak depth: 75 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-words-19.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | gape*farad*maim 3 | agar*anode*else 4 | serializes*roam 5 | persistent*chao 6 | ****deal*isaacs 7 | liars**linen*** 8 | anne*predictive 9 | startle*letitia 10 | tolerances*less 11 | ***gouda**belay 12 | braids*tame**** 13 | ears*italianize 14 | abet*bewildered 15 | dane*laban*road 16 | star*erase*only 17 | 18 | 19 | 20 | Initial 21 | propagators: 386 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 1:21.635 (81635.000 ms) 26 | solutions: 1 27 | propagations: 4211314 28 | nodes: 19926 29 | failures: 9878 30 | restarts: 7 31 | no-goods: 0 32 | peak depth: 60 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-words-15.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | science*cascade 3 | carrara*aliased 4 | aviator*parried 5 | bess*sneer*gary 6 | ***its*armco*** 7 | barnabas*shears 8 | emigrants*asset 9 | gig*brewing*ice 10 | anise*watergate 11 | nodule*regional 12 | ***bland*and*** 13 | hats*reset*solo 14 | abilene*widened 15 | allowed*evinced 16 | getters*seeders 17 | 18 | 19 | 20 | Initial 21 | propagators: 397 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 8:07.246 (487246.000 ms) 26 | solutions: 1 27 | propagations: 17559880 28 | nodes: 87391 29 | failures: 43599 30 | restarts: 9 31 | no-goods: 230 32 | peak depth: 87 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-words-15.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | science*cascade 3 | carrara*aliased 4 | aviator*parried 5 | bess*sneer*gary 6 | ***its*armco*** 7 | barnabas*shears 8 | emigrants*asset 9 | gig*brewing*ice 10 | anise*watergate 11 | nodule*regional 12 | ***bland*and*** 13 | hats*reset*solo 14 | abilene*widened 15 | allowed*evinced 16 | getters*seeders 17 | 18 | 19 | 20 | Initial 21 | propagators: 397 22 | branchers: 1 23 | 24 | Summary 25 | runtime: 8:07.246 (487246.000 ms) 26 | solutions: 1 27 | propagations: 17559880 28 | nodes: 87391 29 | failures: 43599 30 | restarts: 9 31 | no-goods: 230 32 | peak depth: 87 33 | 34 | -------------------------------------------------------------------------------- /test/max-using-rewriting.cpp: -------------------------------------------------------------------------------- 1 | /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */ 2 | 3 | #include "test/int.hh" 4 | 5 | #include 6 | 7 | namespace Test { namespace Int { 8 | 9 | class MaxTest : public Test { 10 | public: 11 | /// Create and register test 12 | MaxTest(void) 13 | : Test("Max",3,-4,4,false) { 14 | } 15 | /// Test whether \a x is solution 16 | virtual bool solution(const Assignment& x) const { 17 | return std::max(x[0],x[1])==x[2]; 18 | } 19 | /// Post constraint on \a x 20 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { 21 | ::max(home,x[0],x[1],x[2]); 22 | } 23 | }; 24 | 25 | MaxTest t; 26 | 27 | }} 28 | 29 | 30 | 31 | -------------------------------------------------------------------------------- /test/equal.cpp: -------------------------------------------------------------------------------- 1 | /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */ 2 | 3 | #include "test/int.hh" 4 | 5 | #include 6 | 7 | namespace Test { namespace Int { 8 | 9 | class EqualTest : public Test { 10 | public: 11 | /// Create and register test 12 | EqualTest(void) 13 | : Test("Equal",2,-5,5,false) { 14 | } 15 | /// Test whether \a x is solution 16 | virtual bool solution(const Assignment& x) const { 17 | return x[0] == x[1]; 18 | } 19 | /// Post constraint on \a x 20 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { 21 | using namespace Gecode; 22 | equal(home,x[0],x[1]); 23 | } 24 | }; 25 | 26 | EqualTest t; 27 | 28 | }} 29 | 30 | 31 | 32 | -------------------------------------------------------------------------------- /test/equal-naive.cpp: -------------------------------------------------------------------------------- 1 | /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */ 2 | 3 | #include "test/int.hh" 4 | 5 | #include 6 | 7 | namespace Test { namespace Int { 8 | 9 | class EqualTest : public Test { 10 | public: 11 | /// Create and register test 12 | EqualTest(void) 13 | : Test("Equal::Naive",2,-5,5,false) { 14 | } 15 | /// Test whether \a x is solution 16 | virtual bool solution(const Assignment& x) const { 17 | return x[0] == x[1]; 18 | } 19 | /// Post constraint on \a x 20 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { 21 | using namespace Gecode; 22 | equal(home,x[0],x[1]); 23 | } 24 | }; 25 | 26 | EqualTest t; 27 | 28 | }} 29 | 30 | 31 | 32 | -------------------------------------------------------------------------------- /test/equal-idempotent.cpp: -------------------------------------------------------------------------------- 1 | /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */ 2 | 3 | #include "test/int.hh" 4 | 5 | #include 6 | 7 | namespace Test { namespace Int { 8 | 9 | class EqualTest : public Test { 10 | public: 11 | /// Create and register test 12 | EqualTest(void) 13 | : Test("Equal::Idempotent",2,-5,5,false) { 14 | } 15 | /// Test whether \a x is solution 16 | virtual bool solution(const Assignment& x) const { 17 | return x[0] == x[1]; 18 | } 19 | /// Post constraint on \a x 20 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { 21 | using namespace Gecode; 22 | equal(home,x[0],x[1]); 23 | } 24 | }; 25 | 26 | EqualTest t; 27 | 28 | }} 29 | 30 | 31 | 32 | -------------------------------------------------------------------------------- /test/naive-domain-equal.cpp: -------------------------------------------------------------------------------- 1 | /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */ 2 | 3 | #include "test/int.hh" 4 | 5 | #include 6 | 7 | namespace Test { namespace Int { 8 | 9 | class EqualTest : public Test { 10 | public: 11 | /// Create and register test 12 | EqualTest(void) 13 | : Test("DomainEqual::Naive",2,-5,5,false) { 14 | } 15 | /// Test whether \a x is solution 16 | virtual bool solution(const Assignment& x) const { 17 | return x[0] == x[1]; 18 | } 19 | /// Post constraint on \a x 20 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { 21 | using namespace Gecode; 22 | equal(home,x[0],x[1]); 23 | } 24 | }; 25 | 26 | EqualTest t; 27 | 28 | }} 29 | 30 | 31 | 32 | -------------------------------------------------------------------------------- /test/disequality.cpp: -------------------------------------------------------------------------------- 1 | /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */ 2 | 3 | #include "test/int.hh" 4 | 5 | #include 6 | 7 | namespace Test { namespace Int { 8 | 9 | class DisequalityTest : public Test { 10 | public: 11 | /// Create and register test 12 | DisequalityTest(void) 13 | : Test("Disequality",2,-5,5,false) { 14 | } 15 | /// Test whether \a x is solution 16 | virtual bool solution(const Assignment& x) const { 17 | return x[0] != x[1]; 18 | } 19 | /// Post constraint on \a x 20 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { 21 | using namespace Gecode; 22 | disequal(home,x[0],x[1]); 23 | } 24 | }; 25 | 26 | DisequalityTest t; 27 | 28 | }} 29 | 30 | 31 | 32 | -------------------------------------------------------------------------------- /test/non-shared-domain-equal.cpp: -------------------------------------------------------------------------------- 1 | /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */ 2 | 3 | #include "test/int.hh" 4 | 5 | #include 6 | 7 | namespace Test { namespace Int { 8 | 9 | class EqualTest : public Test { 10 | public: 11 | /// Create and register test 12 | EqualTest(void) 13 | : Test("DomainEqual::NonShared",2,-5,5,false) { 14 | } 15 | /// Test whether \a x is solution 16 | virtual bool solution(const Assignment& x) const { 17 | return x[0] == x[1]; 18 | } 19 | /// Post constraint on \a x 20 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { 21 | using namespace Gecode; 22 | equal(home,x[0],x[1]); 23 | } 24 | }; 25 | 26 | EqualTest t; 27 | 28 | }} 29 | 30 | 31 | 32 | -------------------------------------------------------------------------------- /test/domain-equal-using-staging.cpp: -------------------------------------------------------------------------------- 1 | /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */ 2 | 3 | #include "test/int.hh" 4 | 5 | #include 6 | 7 | namespace Test { namespace Int { 8 | 9 | class EqualTest : public Test { 10 | public: 11 | /// Create and register test 12 | EqualTest(void) 13 | : Test("DomainEqual::Staging",2,-5,5,false) { 14 | } 15 | /// Test whether \a x is solution 16 | virtual bool solution(const Assignment& x) const { 17 | return x[0] == x[1]; 18 | } 19 | /// Post constraint on \a x 20 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { 21 | using namespace Gecode; 22 | equal(home,x[0],x[1]); 23 | } 24 | }; 25 | 26 | EqualTest t; 27 | 28 | }} 29 | 30 | 31 | 32 | -------------------------------------------------------------------------------- /test/domain-equal-using-bounds-propagation.cpp: -------------------------------------------------------------------------------- 1 | /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */ 2 | 3 | #include "test/int.hh" 4 | 5 | #include 6 | 7 | namespace Test { namespace Int { 8 | 9 | class EqualTest : public Test { 10 | public: 11 | /// Create and register test 12 | EqualTest(void) 13 | : Test("DomainEqual::Bounds",2,-5,5,false) { 14 | } 15 | /// Test whether \a x is solution 16 | virtual bool solution(const Assignment& x) const { 17 | return x[0] == x[1]; 18 | } 19 | /// Post constraint on \a x 20 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { 21 | using namespace Gecode; 22 | equal(home,x[0],x[1]); 23 | } 24 | }; 25 | 26 | EqualTest t; 27 | 28 | }} 29 | 30 | 31 | 32 | -------------------------------------------------------------------------------- /test/equal-idempotent-using-modification-events.cpp: -------------------------------------------------------------------------------- 1 | /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */ 2 | 3 | #include "test/int.hh" 4 | 5 | #include 6 | 7 | namespace Test { namespace Int { 8 | 9 | class EqualTest : public Test { 10 | public: 11 | /// Create and register test 12 | EqualTest(void) 13 | : Test("Equal::Idempotent::ModEvent",2,-5,5,false) { 14 | } 15 | /// Test whether \a x is solution 16 | virtual bool solution(const Assignment& x) const { 17 | return x[0] == x[1]; 18 | } 19 | /// Post constraint on \a x 20 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { 21 | using namespace Gecode; 22 | equal(home,x[0],x[1]); 23 | } 24 | }; 25 | 26 | EqualTest t; 27 | 28 | }} 29 | 30 | 31 | 32 | -------------------------------------------------------------------------------- /test/less.cpp: -------------------------------------------------------------------------------- 1 | /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */ 2 | 3 | #include "test/int.hh" 4 | 5 | #include 6 | 7 | using namespace Test; 8 | using namespace Test::Int; 9 | 10 | 11 | namespace Test { namespace Int { 12 | 13 | class LessTest : public Test { 14 | public: 15 | /// Create and register test 16 | LessTest(void) 17 | : Test("Less",2,-3,3,false) {} 18 | /// Test whether \a x is solution 19 | virtual bool solution(const Assignment& x) const { 20 | return x[0] < x[1]; 21 | } 22 | /// Post constraint on \a x 23 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { 24 | using namespace Gecode; 25 | less(home,x[0],x[1]); 26 | } 27 | }; 28 | 29 | LessTest lesstest; 30 | 31 | }} 32 | 33 | -------------------------------------------------------------------------------- /int.vis: -------------------------------------------------------------------------------- 1 | [General] 2 | Name: Int 3 | Namespace: MPG::Int 4 | [ModEvent] 5 | Name: FAILED=FAILED 6 | [ModEvent] 7 | Name: NONE=NONE 8 | [ModEvent] 9 | Name: VAL=ASSIGNED 10 | Combine: VAL=VAL, MIN=VAL, MAX=VAL, BND=VAL 11 | [ModEvent] 12 | Name: BND=SUBSCRIBE 13 | Combine: VAL=VAL, MIN=BND, MAX=BND, BND=BND 14 | [ModEvent] 15 | Name: MIN 16 | Combine: VAL=VAL, MIN=MIN, MAX=BND, BND=BND 17 | [ModEvent] 18 | Name: MAX 19 | Combine: VAL=VAL, MIN=BND, MAX=MAX, BND=BND 20 | [PropCond] 21 | Name: NONE=NONE 22 | [PropCond] 23 | Name: VAL=ASSIGNED 24 | ScheduledBy: VAL 25 | [PropCond] 26 | Name: BND 27 | ScheduledBy: VAL, BND, MIN, MAX 28 | [PropCond] 29 | Name: MIN 30 | ScheduledBy: VAL, BND, MIN 31 | [PropCond] 32 | Name: MAX 33 | ScheduledBy: VAL, BND, MAX 34 | [End] 35 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-uk-23.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | galah*ballard*scapa 3 | akaba*anaemia*carap 4 | decca*nandine*abaca 5 | see*fez*dad*dab*bar 6 | ossa*rad***bam*bast 7 | ***horizontalbar*** 8 | lavabo*omaha*adages 9 | ala*ark*aba*asa*est 10 | nora*main*emes*unco 11 | teil*end***aga*zion 12 | atop*seal*maid*isle 13 | nil*ash*ake*sod*tar 14 | acacia*inigo*radars 15 | ***hagiographies*** 16 | dita*ern***sea*obia 17 | eth*ask*boh*alb*abb 18 | marsh*icecold*aldea 19 | alapa*natalie*belay 20 | nawab*grasped*etyma 21 | 22 | 23 | 24 | Initial 25 | propagators: 598 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.795 (795.000 ms) 30 | solutions: 1 31 | propagations: 14089 32 | nodes: 183 33 | failures: 14 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 159 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-uk-24.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | anal**gas*masa*paul 3 | bala*cagy*abib*adze 4 | adam*ules*data*laid 5 | carbomb*oar*acta*** 6 | ***disappropriating 7 | calash*asana**danae 8 | ela*eath*barn**leir 9 | duck*waac**dadd*sae 10 | area**graal*gaea*** 11 | retinitispigmentosa 12 | ***dada*hevea**ahab 13 | asp*bail**ecad*polo 14 | icer**lala*klan*ned 15 | dacha**cadee*gaiety 16 | absenteelandlord*** 17 | ***maam*arb*abdomen 18 | chai*leon*lama*iago 19 | hags*peag*obas*slam 20 | amah*arks*cos**tide 21 | 22 | 23 | 24 | Initial 25 | propagators: 588 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.687 (687.000 ms) 30 | solutions: 1 31 | propagations: 11494 32 | nodes: 145 33 | failures: 3 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 140 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-uk-25.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | clag*amla*baft*caba 3 | huer*bael*alar*oban 4 | anoa*anal*rale*mama 5 | *ann*captainahab*** 6 | ***tea**hic**arab** 7 | sachs*ecad*ablating 8 | cross*gat*apeak*maa 9 | anna*bab*aghas**end 10 | baghdad*plaid*casas 11 | **liar*felid*daft** 12 | adobe*aaron*cantred 13 | dab**adrad*bad*eild 14 | ada*abaci*cad*araba 15 | matahari*ahas*islay 16 | **egal**aia**ash*** 17 | ***aboveground*awa* 18 | maam*nala*trad*fact 19 | abba*edam*iago*tata 20 | debs*sena*clan*scad 21 | 22 | 23 | 24 | Initial 25 | propagators: 582 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.842 (842.000 ms) 30 | solutions: 1 31 | propagations: 12991 32 | nodes: 171 33 | failures: 5 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 163 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-uk-26.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | katie*adam*wale*aba 3 | alate*vara*arar*beg 4 | memoriatechnica*bah 5 | ace*ilia*bala**haka 6 | ****eel*hehe*bee*** 7 | ganesa*kata*datival 8 | enact*pegh*fanagalo 9 | snib*baa**bad**haaf 10 | tealead*scad*cutlet 11 | ***agas*cab*bane*** 12 | cresol*nada*apanage 13 | east**bab**ala*igad 14 | dinedout*kaid*anita 15 | etesian*leda*megohm 16 | ***ink*beys*oaf**** 17 | baas**goad*kaka*ova 18 | ard*luncheonvoucher 19 | red*opah*slae*laird 20 | bay*bore*kegs*dross 21 | 22 | 23 | 24 | Initial 25 | propagators: 590 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.842 (842.000 ms) 30 | solutions: 1 31 | propagations: 15145 32 | nodes: 166 33 | failures: 4 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 161 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-uk-27.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | shwa*saga*amah*abel 3 | hoas*oche*dika*nala 4 | ikat*uric*anes*ebbs 5 | micronesia*idiocies 6 | ***add**abac*dad*** 7 | carlsbad*ahab*folia 8 | aga*oohed*abas*taal 9 | bane*weber*sea*alma 10 | araba*macao*lablabs 11 | ***rho*galah*moi*** 12 | tabasco*deray*asian 13 | alec*tan*sekos*taha 14 | heat*atap*dagon*gad 15 | reded*haed*mariposa 16 | ***oik*raid**bra*** 17 | exultant*barbellate 18 | pina*baju*naan*arab 19 | hait*aged*alit*mako 20 | ante*bass*eels*anan 21 | 22 | 23 | 24 | Initial 25 | propagators: 598 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.983 (983.000 ms) 30 | solutions: 1 31 | propagations: 15238 32 | nodes: 154 33 | failures: 1 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 152 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-uk-29.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | cad**blag*agar*ceca 3 | abac*lala*gaia*abas 4 | retinitispigmentosa 5 | alapage*bala**anna* 6 | ***hah*capa*dada*** 7 | harem*naga*madapple 8 | adar*pads*harz**ean 9 | lac*babe*bande*dadd 10 | *macaco*haig**cages 11 | ***arabiancamels*** 12 | ardeb**arak*brahma* 13 | lain*chiel*find*all 14 | bin**redd*bare*mage 15 | intonaco*aida*limas 16 | ***pegh*alps*ait*** 17 | *chic**alae*althaea 18 | breakingandentering 19 | airt*taha*alto*anoa 20 | abbe*atap*lass**ess 21 | 22 | 23 | 24 | Initial 25 | propagators: 589 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.933 (933.000 ms) 30 | solutions: 1 31 | propagations: 16570 32 | nodes: 173 33 | failures: 4 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 167 37 | 38 | -------------------------------------------------------------------------------- /test/domain-equal-with-offset.cpp: -------------------------------------------------------------------------------- 1 | /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */ 2 | 3 | #include "test/int.hh" 4 | 5 | #include 6 | 7 | namespace Test { namespace Int { 8 | 9 | class EqualTest : public Test { 10 | public: 11 | int i; 12 | /// Create and register test 13 | EqualTest(int i0) 14 | : Test("DomainEqual::Offset::"+str(i0),2,-5,5,false), i(i0) { 15 | } 16 | /// Test whether \a x is solution 17 | virtual bool solution(const Assignment& x) const { 18 | return x[0] == x[1]+i; 19 | } 20 | /// Post constraint on \a x 21 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { 22 | using namespace Gecode; 23 | equal(home,x[0],x[1],i); 24 | } 25 | }; 26 | 27 | EqualTest t0(0); 28 | EqualTest t1(1); 29 | 30 | }} 31 | 32 | 33 | 34 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-uk-20.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | beds*baba*abac*base 3 | ayah*igad*dosh*elal 4 | endamoeba*rapartist 5 | leafage*maar*raitas 6 | ***fas*dadd*fand*** 7 | modem*cond*dancette 8 | adar*chat*large*car 9 | ian*ahab*macao*ahas 10 | alcazar*aimed*agile 11 | **egad*eblis*alec** 12 | ratan*anana*twankay 13 | acts*glace*ghee*ida 14 | cee*alack*bead*gnaw 15 | adscript*bane*pigmy 16 | ***abba*casa*cap*** 17 | baobab*iago*blipped 18 | loveseats*celeriacs 19 | oner*rhea*haaf*ecco 20 | bens*yams*ends*sees 21 | 22 | 23 | 24 | Initial 25 | propagators: 609 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 1.607 (1607.000 ms) 30 | solutions: 1 31 | propagations: 19762 32 | nodes: 200 33 | failures: 17 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 170 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-uk-21.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | theca**hadal**podal 3 | aodai*abraxas*elide 4 | spermatotheca*adman 5 | kina*simis**iachimo 6 | ***flambe*mcluhan** 7 | alveary**kulak*much 8 | taish**faitors**tao 9 | all**bdellium*chiba 10 | pale*aaron***bravas 11 | **acceded*because** 12 | kagoul***kabab*knag 13 | aredd*algaroba**elo 14 | mac**spaemen**odsos 15 | abos*caine**valises 16 | **lasagna*atabeg*** 17 | calando**ochre*raga 18 | arena*gaidhealtachd 19 | pager*esteems*apnea 20 | akene**horde**pheer 21 | 22 | 23 | 24 | Initial 25 | propagators: 600 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 1.544 (1544.000 ms) 30 | solutions: 1 31 | propagations: 30656 32 | nodes: 356 33 | failures: 115 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 132 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-uk-22.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | haceks*abaci*bename 3 | azalea*bason*acacia 4 | sinker*roams*bagels 5 | sot*kabab*mired*toe 6 | anal*haha*ogee*carl 7 | rebec*rabanna*holds 8 | ***modem*leerier*** 9 | grandad*ply*darnels 10 | canaan*lao*poplitic 11 | lit**mailplane**ana 12 | etiolate*lad*tagger 13 | facture*ear*current 14 | ***anklets*aasia*** 15 | dagga*imamate*dicty 16 | urao*peag*base*proa 17 | nib*marne*ubend*arc 18 | celiac*arose*iambic 19 | agenda*nebek*arabia 20 | nesses*tsars*citess 21 | 22 | 23 | 24 | Initial 25 | propagators: 621 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 1.903 (1903.000 ms) 30 | solutions: 1 31 | propagations: 33449 32 | nodes: 378 33 | failures: 133 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 119 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-20.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | slat*babe*bash*swat 3 | tide*adam*arpa*taxi 4 | alexandra*leathered 5 | bananas*nasa*calmly 6 | ***sal*dada*phil*** 7 | babel*data*prefaced 8 | alas*bale*greta*era 9 | jab*bade*shies*alar 10 | anemone*sloan*obese 11 | **lads*chasm*cobb** 12 | emile*plait*hazards 13 | daze*shorn*safe*are 14 | dye*atone*rare*atop 15 | yosemite*ship*adept 16 | ***nato*soul*via*** 17 | acidic*bulb*cargill 18 | bodenheim*abyssinia 19 | ella*elba*rose*odes 20 | deer*disc*bats*sods 21 | 22 | 23 | 24 | Initial 25 | propagators: 609 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.515 (515.000 ms) 30 | solutions: 1 31 | propagations: 20053 32 | nodes: 145 33 | failures: 15 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 119 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-23.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | occam*salerno*shade 3 | ghana*trudeau*canal 4 | dirty*eminent*alike 5 | end*oaf*sad*lab*tan 6 | nasa*can***ham*tara 7 | ***yoknapatawpha*** 8 | mclean*baden*louise 9 | ira*row*ran*vie*tax 10 | loop*wife*deaf*carp 11 | lace*leo***ali*alga 12 | atop*elba*eric*bien 13 | rio*add*gap*dad*and 14 | danzig*aegis*taunts 15 | ***electrocuting*** 16 | scan*roe***mao*hays 17 | cam*ass*ere*ink*moe 18 | asian*maximal*amide 19 | lenin*orifice*hager 20 | adore*settled*nears 21 | 22 | 23 | 24 | Initial 25 | propagators: 598 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.702 (702.000 ms) 30 | solutions: 1 31 | propagations: 51580 32 | nodes: 458 33 | failures: 177 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 124 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-24.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | slam**dam*maps*wehr 3 | lobe*gino*agee*area 4 | alex*rats*herr*yarn 5 | vatican*ado*eras*** 6 | ***canadianizations 7 | second*octet**eddie 8 | oar*spur*eyed**edna 9 | utah*anal**lisa*sal 10 | sofa**idaho*errs*** 11 | anthropomorphically 12 | ***nail*bella**lila 13 | hid*glue**yard*knot 14 | egos**saga*idea*eye 15 | logic**salad*spends 16 | presumptuousness*** 17 | ***tear*ted*orestes 18 | aide*dada*rest*argo 19 | scar*adam*ekes*year 20 | hers*mona*yes**sent 21 | 22 | 23 | 24 | Initial 25 | propagators: 588 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.281 (281.000 ms) 30 | solutions: 1 31 | propagations: 19250 32 | nodes: 138 33 | failures: 36 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 75 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-25.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | heap*drag*shit*foss 3 | ills*role*path*idea 4 | play*user*area*zeal 5 | *arc*machinelike*** 6 | ***his**ark**leap** 7 | hager*sara*acapulco 8 | elude*add*avant*art 9 | rage*ago*braid**nat 10 | anglers*klein*diego 11 | **eire*shoal*bent** 12 | dance*lambs*preface 13 | ugh**bales*pea*oral 14 | see*lunar*can*brink 15 | trinidad*bald*amass 16 | **mama**air**ada*** 17 | ***baptistries*tab* 18 | seal*eros*odds*iran 19 | papa*sine*tone*cake 20 | ares*toss*slat*abed 21 | 22 | 23 | 24 | Initial 25 | propagators: 582 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.359 (359.000 ms) 30 | solutions: 1 31 | propagations: 28378 32 | nodes: 238 33 | failures: 70 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 102 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-26.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | ababa*abel*awed*ark 3 | local*polo*male*ron 4 | anthropomorphic*abo 5 | sea*edit*keel**ibex 6 | ****ada*coax*pun*** 7 | pleads*baud*garages 8 | larry*cant*familial 9 | omit*dad**lab**inca 10 | decimal*shin*fleshy 11 | ***cell*cam*alan*** 12 | deluge*mama*picasso 13 | axel**cab**set*belt 14 | denature*asks*plait 15 | ecstasy*espy*ghetto 16 | ***ere*data*tea**** 17 | bead**rosa*sane*ida 18 | arc*boustrophedonic 19 | bin*idle*trio*rater 20 | eke*deed*erne*arose 21 | 22 | 23 | 24 | Initial 25 | propagators: 590 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.671 (671.000 ms) 30 | solutions: 1 31 | propagations: 28803 32 | nodes: 203 33 | failures: 51 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 120 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-27.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | alba*brim*alec*bela 3 | near*rite*nora*hair 4 | unit*iced*nair*acne 5 | saturnalia*delights 6 | ***rag**anti*ada*** 7 | avionics*tend*avail 8 | ian*knuth*aged*ansi 9 | dice*grief*sao*dole 10 | alamo*snark*deigned 11 | ***bum*klaus*sri*** 12 | cheetah*snack*atari 13 | howl*ram*claim*anal 14 | opel*club*arena*nil 15 | penis*thaw*eveready 16 | ***set*area**man*** 17 | archaism*improbable 18 | bali*lamb*iron*beak 19 | oman*tray*gobi*lane 20 | song*side*opec*eras 21 | 22 | 23 | 24 | Initial 25 | propagators: 598 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.608 (608.000 ms) 30 | solutions: 1 31 | propagations: 27953 32 | nodes: 221 33 | failures: 65 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 112 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-28.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | ajar*alga*acne*chad 3 | lobe*coin*cool*ainu 4 | baud*toni*coal*rene 5 | anthropomorphic*rat 6 | ***ears*ada**papa** 7 | essays*old*disburse 8 | acids*gas*face*scab 9 | sam**ink*aries**hub 10 | trudeau*guess*maids 11 | **lean*array*marc** 12 | later*bleak*jackass 13 | ida**sages*dan**lac 14 | lana*ulan*gab*helga 15 | amenable*bad*bunyan 16 | **odds**ail*dent*** 17 | abu*disambiguations 18 | rash*dana*load*tree 19 | ella*ends*erne*lace 20 | amyl*days*eyed*elks 21 | 22 | 23 | 24 | Initial 25 | propagators: 598 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.702 (702.000 ms) 30 | solutions: 1 31 | propagations: 35731 32 | nodes: 300 33 | failures: 94 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 137 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/base/stat-words-29.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | arm**acta*babe*brim 3 | feat*mood*oral*rosa 4 | anthropomorphically 5 | retrace*idea**lyle* 6 | ***ago*bred*brae*** 7 | dance*haas*crowding 8 | erie*mail*fail**rae 9 | lac*foil*large*beta 10 | *belief*vail**baser 11 | ***ornamentation*** 12 | stage**arch*alyssa* 13 | ohio*abide*gild*abu 14 | dad**bade*gels*agog 15 | awarders*pens*gnash 16 | ***eels*fame*bog*** 17 | *gale**yagi*liberal 18 | incomprehensibility 19 | dana*hole*itel*odor 20 | awed*idly*dune**spa 21 | 22 | 23 | 24 | Initial 25 | propagators: 589 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.281 (281.000 ms) 30 | solutions: 1 31 | propagations: 15138 32 | nodes: 138 33 | failures: 16 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 115 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-uk-23.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | galah*ballard*scapa 3 | akaba*anaemia*carap 4 | decca*nandine*abaca 5 | see*fez*dad*dab*bar 6 | ossa*rad***bam*bast 7 | ***horizontalbar*** 8 | lavabo*omaha*adages 9 | ala*ark*aba*asa*est 10 | nora*main*emes*unco 11 | teil*end***aga*zion 12 | atop*seal*maid*isle 13 | nil*ash*ake*sod*tar 14 | acacia*inigo*radars 15 | ***hagiographies*** 16 | dita*ern***sea*obia 17 | eth*ask*boh*alb*abb 18 | marsh*icecold*aldea 19 | alapa*natalie*belay 20 | nawab*grasped*etyma 21 | 22 | 23 | 24 | Initial 25 | propagators: 598 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.934 (934.000 ms) 30 | solutions: 1 31 | propagations: 13887 32 | nodes: 181 33 | failures: 13 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 163 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-uk-24.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | anal**gas*masa*paul 3 | bala*cagy*abib*adze 4 | adam*ules*data*laid 5 | carbomb*oar*acta*** 6 | ***disappropriating 7 | calash*asana**danae 8 | ela*eath*barn**leir 9 | duck*waac**dadd*sae 10 | area**graal*gaea*** 11 | retinitispigmentosa 12 | ***dada*hevea**ahab 13 | asp*bail**ecad*polo 14 | icer**lala*klan*ned 15 | dacha**cadee*gaiety 16 | absenteelandlord*** 17 | ***maam*arb*abdomen 18 | chai*leon*lama*iago 19 | hags*peag*obas*slam 20 | amah*arks*cos**tide 21 | 22 | 23 | 24 | Initial 25 | propagators: 588 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.769 (769.000 ms) 30 | solutions: 1 31 | propagations: 11494 32 | nodes: 145 33 | failures: 3 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 141 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-uk-25.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | clag*amla*baft*caba 3 | huer*bael*alar*oban 4 | anoa*anal*rale*mama 5 | *ann*captainahab*** 6 | ***tea**hic**arab** 7 | sachs*ecad*ablating 8 | cross*gat*apeak*maa 9 | anna*bab*aghas**end 10 | baghdad*plaid*casas 11 | **liar*felid*daft** 12 | adobe*aaron*cantred 13 | dab**adrad*bad*eild 14 | ada*abaci*cad*araba 15 | matahari*ahas*islay 16 | **egal**aia**ash*** 17 | ***aboveground*awa* 18 | maam*nala*trad*fact 19 | abba*edam*iago*tata 20 | debs*sena*clan*scad 21 | 22 | 23 | 24 | Initial 25 | propagators: 582 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.964 (964.000 ms) 30 | solutions: 1 31 | propagations: 12991 32 | nodes: 171 33 | failures: 5 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 164 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-uk-26.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | katie*adam*wale*aba 3 | alate*vara*arar*beg 4 | memoriatechnica*bah 5 | ace*ilia*bala**haka 6 | ****eel*hehe*bee*** 7 | ganesa*kata*datival 8 | enact*pegh*fanagalo 9 | snib*baa**bad**haaf 10 | tealead*scad*cutlet 11 | ***agas*cab*bane*** 12 | cresol*nada*apanage 13 | east**bab**ala*igad 14 | dinedout*kaid*anita 15 | etesian*leda*megohm 16 | ***ink*beys*oaf**** 17 | baas**goad*kaka*ova 18 | ard*luncheonvoucher 19 | red*opah*slae*laird 20 | bay*bore*kegs*dross 21 | 22 | 23 | 24 | Initial 25 | propagators: 590 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.948 (948.000 ms) 30 | solutions: 1 31 | propagations: 15145 32 | nodes: 166 33 | failures: 4 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 161 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-uk-27.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | shwa*saga*amah*abel 3 | hoas*oche*dika*nala 4 | ikat*uric*anes*ebbs 5 | micronesia*idiocies 6 | ***add**abac*dad*** 7 | carlsbad*ahab*folia 8 | aga*oohed*abas*taal 9 | bane*weber*sea*alma 10 | araba*macao*lablabs 11 | ***rho*galah*moi*** 12 | tabasco*deray*asian 13 | alec*tan*sekos*taha 14 | heat*atap*dagon*gad 15 | reded*haed*mariposa 16 | ***oik*raid**bra*** 17 | exultant*barbellate 18 | pina*baju*naan*arab 19 | hait*aged*alit*mako 20 | ante*bass*eels*anan 21 | 22 | 23 | 24 | Initial 25 | propagators: 598 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 1.114 (1114.000 ms) 30 | solutions: 1 31 | propagations: 15238 32 | nodes: 154 33 | failures: 1 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 152 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/stat-uk-29.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | cad**blag*agar*ceca 3 | abac*lala*gaia*abas 4 | retinitispigmentosa 5 | alapage*bala**anna* 6 | ***hah*capa*dada*** 7 | harem*naga*madapple 8 | adar*pads*harz**ean 9 | lac*babe*bande*dadd 10 | *macaco*haig**cages 11 | ***arabiancamels*** 12 | ardeb**arak*brahma* 13 | lain*chiel*find*all 14 | bin**redd*bare*mage 15 | intonaco*aida*limas 16 | ***pegh*alps*ait*** 17 | *chic**alae*althaea 18 | breakingandentering 19 | airt*taha*alto*anoa 20 | abbe*atap*lass**ess 21 | 22 | 23 | 24 | Initial 25 | propagators: 589 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.999 (999.000 ms) 30 | solutions: 1 31 | propagations: 16570 32 | nodes: 173 33 | failures: 4 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 168 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-uk-23.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | galah*ballard*scapa 3 | akaba*anaemia*carap 4 | decca*nandine*abaca 5 | see*fez*dad*dab*bar 6 | ossa*rad***bam*bast 7 | ***horizontalbar*** 8 | lavabo*omaha*adages 9 | ala*ark*aba*asa*est 10 | nora*main*emes*unco 11 | teil*end***aga*zion 12 | atop*seal*maid*isle 13 | nil*ash*ake*sod*tar 14 | acacia*inigo*radars 15 | ***hagiographies*** 16 | dita*ern***sea*obia 17 | eth*ask*boh*alb*abb 18 | marsh*icecold*aldea 19 | alapa*natalie*belay 20 | nawab*grasped*etyma 21 | 22 | 23 | 24 | Initial 25 | propagators: 598 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.934 (934.000 ms) 30 | solutions: 1 31 | propagations: 13887 32 | nodes: 181 33 | failures: 13 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 163 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-uk-24.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | anal**gas*masa*paul 3 | bala*cagy*abib*adze 4 | adam*ules*data*laid 5 | carbomb*oar*acta*** 6 | ***disappropriating 7 | calash*asana**danae 8 | ela*eath*barn**leir 9 | duck*waac**dadd*sae 10 | area**graal*gaea*** 11 | retinitispigmentosa 12 | ***dada*hevea**ahab 13 | asp*bail**ecad*polo 14 | icer**lala*klan*ned 15 | dacha**cadee*gaiety 16 | absenteelandlord*** 17 | ***maam*arb*abdomen 18 | chai*leon*lama*iago 19 | hags*peag*obas*slam 20 | amah*arks*cos**tide 21 | 22 | 23 | 24 | Initial 25 | propagators: 588 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.769 (769.000 ms) 30 | solutions: 1 31 | propagations: 11494 32 | nodes: 145 33 | failures: 3 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 141 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-uk-25.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | clag*amla*baft*caba 3 | huer*bael*alar*oban 4 | anoa*anal*rale*mama 5 | *ann*captainahab*** 6 | ***tea**hic**arab** 7 | sachs*ecad*ablating 8 | cross*gat*apeak*maa 9 | anna*bab*aghas**end 10 | baghdad*plaid*casas 11 | **liar*felid*daft** 12 | adobe*aaron*cantred 13 | dab**adrad*bad*eild 14 | ada*abaci*cad*araba 15 | matahari*ahas*islay 16 | **egal**aia**ash*** 17 | ***aboveground*awa* 18 | maam*nala*trad*fact 19 | abba*edam*iago*tata 20 | debs*sena*clan*scad 21 | 22 | 23 | 24 | Initial 25 | propagators: 582 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.964 (964.000 ms) 30 | solutions: 1 31 | propagations: 12991 32 | nodes: 171 33 | failures: 5 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 164 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-uk-26.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | katie*adam*wale*aba 3 | alate*vara*arar*beg 4 | memoriatechnica*bah 5 | ace*ilia*bala**haka 6 | ****eel*hehe*bee*** 7 | ganesa*kata*datival 8 | enact*pegh*fanagalo 9 | snib*baa**bad**haaf 10 | tealead*scad*cutlet 11 | ***agas*cab*bane*** 12 | cresol*nada*apanage 13 | east**bab**ala*igad 14 | dinedout*kaid*anita 15 | etesian*leda*megohm 16 | ***ink*beys*oaf**** 17 | baas**goad*kaka*ova 18 | ard*luncheonvoucher 19 | red*opah*slae*laird 20 | bay*bore*kegs*dross 21 | 22 | 23 | 24 | Initial 25 | propagators: 590 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.948 (948.000 ms) 30 | solutions: 1 31 | propagations: 15145 32 | nodes: 166 33 | failures: 4 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 161 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-uk-27.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | shwa*saga*amah*abel 3 | hoas*oche*dika*nala 4 | ikat*uric*anes*ebbs 5 | micronesia*idiocies 6 | ***add**abac*dad*** 7 | carlsbad*ahab*folia 8 | aga*oohed*abas*taal 9 | bane*weber*sea*alma 10 | araba*macao*lablabs 11 | ***rho*galah*moi*** 12 | tabasco*deray*asian 13 | alec*tan*sekos*taha 14 | heat*atap*dagon*gad 15 | reded*haed*mariposa 16 | ***oik*raid**bra*** 17 | exultant*barbellate 18 | pina*baju*naan*arab 19 | hait*aged*alit*mako 20 | ante*bass*eels*anan 21 | 22 | 23 | 24 | Initial 25 | propagators: 598 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 1.114 (1114.000 ms) 30 | solutions: 1 31 | propagations: 15238 32 | nodes: 154 33 | failures: 1 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 152 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods-2/time-uk-29.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | cad**blag*agar*ceca 3 | abac*lala*gaia*abas 4 | retinitispigmentosa 5 | alapage*bala**anna* 6 | ***hah*capa*dada*** 7 | harem*naga*madapple 8 | adar*pads*harz**ean 9 | lac*babe*bande*dadd 10 | *macaco*haig**cages 11 | ***arabiancamels*** 12 | ardeb**arak*brahma* 13 | lain*chiel*find*all 14 | bin**redd*bare*mage 15 | intonaco*aida*limas 16 | ***pegh*alps*ait*** 17 | *chic**alae*althaea 18 | breakingandentering 19 | airt*taha*alto*anoa 20 | abbe*atap*lass**ess 21 | 22 | 23 | 24 | Initial 25 | propagators: 589 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.999 (999.000 ms) 30 | solutions: 1 31 | propagations: 16570 32 | nodes: 173 33 | failures: 4 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 168 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-uk-20.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | beds*baba*abac*base 3 | ayah*igad*dosh*elal 4 | endamoeba*rapartist 5 | leafage*maar*raitas 6 | ***fas*dadd*fand*** 7 | modem*cond*dancette 8 | adar*chat*large*car 9 | ian*ahab*macao*ahas 10 | alcazar*aimed*agile 11 | **egad*eblis*alec** 12 | ratan*anana*twankay 13 | acts*glace*ghee*ida 14 | cee*alack*bead*gnaw 15 | adscript*bane*pigmy 16 | ***abba*casa*cap*** 17 | baobab*iago*blipped 18 | loveseats*celeriacs 19 | oner*rhea*haaf*ecco 20 | bens*yams*ends*sees 21 | 22 | 23 | 24 | Initial 25 | propagators: 609 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 1.701 (1701.000 ms) 30 | solutions: 1 31 | propagations: 19654 32 | nodes: 198 33 | failures: 16 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 172 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-uk-21.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | theca**hadal**podal 3 | aodai*abraxas*elide 4 | spermatotheca*adman 5 | kina*simis**iachimo 6 | ***flambe*mcluhan** 7 | alveary**kulak*much 8 | taish**faitors**tao 9 | all**bdellium*chiba 10 | pale*aaron***bravas 11 | **acceded*because** 12 | kagoul***kabab*knag 13 | aredd*algaroba**elo 14 | mac**spaemen**odsos 15 | abos*caine**mavises 16 | **lasagna*teabag*** 17 | calando**eagre*raga 18 | arena*gaidhealtachd 19 | pager*ensnare*apnea 20 | akene**amass**pheer 21 | 22 | 23 | 24 | Initial 25 | propagators: 600 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 1.654 (1654.000 ms) 30 | solutions: 1 31 | propagations: 25946 32 | nodes: 290 33 | failures: 84 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 136 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-uk-22.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | haceks*abaci*befall 3 | azalea*bason*acacia 4 | sinker*roams*bateau 5 | sot*kabab*mired*tig 6 | anal*haha*ogee*pash 7 | rebec*rabanna*haley 8 | ***modem*leerier*** 9 | grandad*ply*darkest 10 | canaan*lao*coplanar 11 | lit**mailplane**spa 12 | etiolate*lab*taguan 13 | facture*ear*current 14 | ***anklets*aasia*** 15 | dagga*imamate*dicty 16 | urao*peag*base*proa 17 | res*marne*ubend*arc 18 | roseal*arose*iambic 19 | alexia*nebek*arabia 20 | sarsas*tsars*citess 21 | 22 | 23 | 24 | Initial 25 | propagators: 621 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 2.153 (2153.000 ms) 30 | solutions: 1 31 | propagations: 31472 32 | nodes: 366 33 | failures: 128 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 131 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-uk-23.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | galah*ballard*scapa 3 | akaba*anaemia*carap 4 | decca*nandine*abaca 5 | see*fez*dad*dab*bar 6 | ossa*rad***bam*bast 7 | ***horizontalbar*** 8 | lavabo*omaha*adages 9 | ala*ark*aba*asa*est 10 | nora*main*emes*unco 11 | teil*end***aga*zion 12 | atop*seal*maid*isle 13 | nil*ash*ake*sod*tar 14 | acacia*inigo*radars 15 | ***hagiographies*** 16 | dita*ern***sea*obia 17 | eth*ask*boh*alb*abb 18 | marsh*icecold*aldea 19 | alapa*natalie*belay 20 | nawab*grasped*etyma 21 | 22 | 23 | 24 | Initial 25 | propagators: 598 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.952 (952.000 ms) 30 | solutions: 1 31 | propagations: 13887 32 | nodes: 181 33 | failures: 13 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 163 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-uk-24.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | anal**gas*masa*paul 3 | bala*cagy*abib*adze 4 | adam*ules*data*laid 5 | carbomb*oar*acta*** 6 | ***disappropriating 7 | calash*asana**danae 8 | ela*eath*barn**leir 9 | duck*waac**dadd*sae 10 | area**graal*gaea*** 11 | retinitispigmentosa 12 | ***dada*hevea**ahab 13 | asp*bail**ecad*polo 14 | icer**lala*klan*ned 15 | dacha**cadee*gaiety 16 | absenteelandlord*** 17 | ***maam*arb*abdomen 18 | chai*leon*lama*iago 19 | hags*peag*obas*slam 20 | amah*arks*cos**tide 21 | 22 | 23 | 24 | Initial 25 | propagators: 588 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.749 (749.000 ms) 30 | solutions: 1 31 | propagations: 11494 32 | nodes: 145 33 | failures: 3 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 141 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-uk-25.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | clag*amla*baft*caba 3 | huer*bael*alar*oban 4 | anoa*anal*rale*mama 5 | *ann*captainahab*** 6 | ***tea**hic**arab** 7 | sachs*ecad*ablating 8 | cross*gat*apeak*maa 9 | anna*bab*aghas**end 10 | baghdad*plaid*casas 11 | **liar*felid*daft** 12 | adobe*aaron*cantred 13 | dab**adrad*bad*eild 14 | ada*abaci*cad*araba 15 | matahari*ahas*islay 16 | **egal**aia**ash*** 17 | ***aboveground*awa* 18 | maam*nala*trad*fact 19 | abba*edam*iago*tata 20 | debs*sena*clan*scad 21 | 22 | 23 | 24 | Initial 25 | propagators: 582 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.936 (936.000 ms) 30 | solutions: 1 31 | propagations: 12991 32 | nodes: 171 33 | failures: 5 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 164 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-uk-26.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | katie*adam*wale*aba 3 | alate*vara*arar*beg 4 | memoriatechnica*bah 5 | ace*ilia*bala**haka 6 | ****eel*hehe*bee*** 7 | ganesa*kata*datival 8 | enact*pegh*fanagalo 9 | snib*baa**bad**haaf 10 | tealead*scad*cutlet 11 | ***agas*cab*bane*** 12 | cresol*nada*apanage 13 | east**bab**ala*igad 14 | dinedout*kaid*anita 15 | etesian*leda*megohm 16 | ***ink*beys*oaf**** 17 | baas**goad*kaka*ova 18 | ard*luncheonvoucher 19 | red*opah*slae*laird 20 | bay*bore*kegs*dross 21 | 22 | 23 | 24 | Initial 25 | propagators: 590 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.968 (968.000 ms) 30 | solutions: 1 31 | propagations: 15145 32 | nodes: 166 33 | failures: 4 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 161 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-uk-27.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | shwa*saga*amah*abel 3 | hoas*oche*dika*nala 4 | ikat*uric*anes*ebbs 5 | micronesia*idiocies 6 | ***add**abac*dad*** 7 | carlsbad*ahab*folia 8 | aga*oohed*abas*taal 9 | bane*weber*sea*alma 10 | araba*macao*lablabs 11 | ***rho*galah*moi*** 12 | tabasco*deray*asian 13 | alec*tan*sekos*taha 14 | heat*atap*dagon*gad 15 | reded*haed*mariposa 16 | ***oik*raid**bra*** 17 | exultant*barbellate 18 | pina*baju*naan*arab 19 | hait*aged*alit*mako 20 | ante*bass*eels*anan 21 | 22 | 23 | 24 | Initial 25 | propagators: 598 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 1.092 (1092.000 ms) 30 | solutions: 1 31 | propagations: 15238 32 | nodes: 154 33 | failures: 1 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 152 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-uk-29.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | cad**blag*agar*ceca 3 | abac*lala*gaia*abas 4 | retinitispigmentosa 5 | alapage*bala**anna* 6 | ***hah*capa*dada*** 7 | harem*naga*madapple 8 | adar*pads*harz**ean 9 | lac*babe*bande*dadd 10 | *macaco*haig**cages 11 | ***arabiancamels*** 12 | ardeb**arak*brahma* 13 | lain*chiel*find*all 14 | bin**redd*bare*mage 15 | intonaco*aida*limas 16 | ***pegh*alps*ait*** 17 | *chic**alae*althaea 18 | breakingandentering 19 | airt*taha*alto*anoa 20 | abbe*atap*lass**ess 21 | 22 | 23 | 24 | Initial 25 | propagators: 589 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 1.004 (1004.000 ms) 30 | solutions: 1 31 | propagations: 16570 32 | nodes: 173 33 | failures: 4 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 168 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/nogoods/stat-words-24.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | slam**dam*maps*wehr 3 | lobe*gino*agee*area 4 | alex*rats*herr*yarn 5 | vatican*ado*eras*** 6 | ***canadianizations 7 | second*octet**eddie 8 | oar*spur*eyed**edna 9 | utah*anal**lisa*sal 10 | sofa**idaho*errs*** 11 | anthropomorphically 12 | ***nail*bella**lila 13 | hid*glue**yard*knot 14 | egos**saga*idea*eye 15 | logic**salad*spends 16 | presumptuousness*** 17 | ***tear*ted*orestes 18 | aide*dada*rest*argo 19 | scar*adam*ekes*year 20 | hers*mona*yes**sent 21 | 22 | 23 | 24 | Initial 25 | propagators: 588 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.312 (312.000 ms) 30 | solutions: 1 31 | propagations: 19210 32 | nodes: 138 33 | failures: 36 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 89 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-uk-20.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | beds*baba*abac*base 3 | ayah*igad*dosh*elal 4 | endamoeba*rapartist 5 | leafage*maar*raitas 6 | ***fas*dadd*fand*** 7 | modem*cond*dancette 8 | adar*chat*large*car 9 | ian*ahab*macao*ahas 10 | alcazar*aimed*agile 11 | **egad*eblis*alec** 12 | ratan*anana*twankay 13 | acts*glace*ghee*ida 14 | cee*alack*bead*gnaw 15 | adscript*bane*pigmy 16 | ***abba*casa*cap*** 17 | baobab*iago*blipped 18 | loveseats*celeriacs 19 | oner*rhea*haaf*ecco 20 | bens*yams*ends*sees 21 | 22 | 23 | 24 | Initial 25 | propagators: 609 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 1.716 (1716.000 ms) 30 | solutions: 1 31 | propagations: 19654 32 | nodes: 198 33 | failures: 16 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 170 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-uk-21.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | theca**hadal**podal 3 | aodai*abraxas*elide 4 | spermatotheca*adman 5 | kina*simis**iachimo 6 | ***flambe*mcluhan** 7 | alveary**kulak*much 8 | taish**faitors**tao 9 | all**bdellium*chiba 10 | pale*aaron***bravas 11 | **acceded*because** 12 | kagoul***kabab*knag 13 | aredd*algaroba**elo 14 | mac**spaemen**odsos 15 | abos*caine**mavises 16 | **lasagna*teabag*** 17 | calando**eagre*raga 18 | arena*gaidhealtachd 19 | pager*ensnare*apnea 20 | akene**amass**pheer 21 | 22 | 23 | 24 | Initial 25 | propagators: 600 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 1.748 (1748.000 ms) 30 | solutions: 1 31 | propagations: 25946 32 | nodes: 290 33 | failures: 84 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 130 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-uk-22.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | haceks*abaci*befall 3 | azalea*bason*acacia 4 | sinker*roams*bateau 5 | sot*kabab*mired*tig 6 | anal*haha*ogee*pash 7 | rebec*rabanna*haley 8 | ***modem*leerier*** 9 | grandad*ply*darkest 10 | canaan*lao*coplanar 11 | lit**mailplane**spa 12 | etiolate*lab*taguan 13 | facture*ear*current 14 | ***anklets*aasia*** 15 | dagga*imamate*dicty 16 | urao*peag*base*proa 17 | res*marne*ubend*arc 18 | roseal*arose*iambic 19 | alexia*nebek*arabia 20 | sarsas*tsars*citess 21 | 22 | 23 | 24 | Initial 25 | propagators: 621 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 2.138 (2138.000 ms) 30 | solutions: 1 31 | propagations: 31472 32 | nodes: 366 33 | failures: 128 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 121 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-uk-23.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | galah*ballard*scapa 3 | akaba*anaemia*carap 4 | decca*nandine*abaca 5 | see*fez*dad*dab*bar 6 | ossa*rad***bam*bast 7 | ***horizontalbar*** 8 | lavabo*omaha*adages 9 | ala*ark*aba*asa*est 10 | nora*main*emes*unco 11 | teil*end***aga*zion 12 | atop*seal*maid*isle 13 | nil*ash*ake*sod*tar 14 | acacia*inigo*radars 15 | ***hagiographies*** 16 | dita*ern***sea*obia 17 | eth*ask*boh*alb*abb 18 | marsh*icecold*aldea 19 | alapa*natalie*belay 20 | nawab*grasped*etyma 21 | 22 | 23 | 24 | Initial 25 | propagators: 598 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.920 (920.000 ms) 30 | solutions: 1 31 | propagations: 13887 32 | nodes: 181 33 | failures: 13 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 158 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-uk-24.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | anal**gas*masa*paul 3 | bala*cagy*abib*adze 4 | adam*ules*data*laid 5 | carbomb*oar*acta*** 6 | ***disappropriating 7 | calash*asana**danae 8 | ela*eath*barn**leir 9 | duck*waac**dadd*sae 10 | area**graal*gaea*** 11 | retinitispigmentosa 12 | ***dada*hevea**ahab 13 | asp*bail**ecad*polo 14 | icer**lala*klan*ned 15 | dacha**cadee*gaiety 16 | absenteelandlord*** 17 | ***maam*arb*abdomen 18 | chai*leon*lama*iago 19 | hags*peag*obas*slam 20 | amah*arks*cos**tide 21 | 22 | 23 | 24 | Initial 25 | propagators: 588 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.749 (749.000 ms) 30 | solutions: 1 31 | propagations: 11494 32 | nodes: 145 33 | failures: 3 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 140 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-uk-25.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | clag*amla*baft*caba 3 | huer*bael*alar*oban 4 | anoa*anal*rale*mama 5 | *ann*captainahab*** 6 | ***tea**hic**arab** 7 | sachs*ecad*ablating 8 | cross*gat*apeak*maa 9 | anna*bab*aghas**end 10 | baghdad*plaid*casas 11 | **liar*felid*daft** 12 | adobe*aaron*cantred 13 | dab**adrad*bad*eild 14 | ada*abaci*cad*araba 15 | matahari*ahas*islay 16 | **egal**aia**ash*** 17 | ***aboveground*awa* 18 | maam*nala*trad*fact 19 | abba*edam*iago*tata 20 | debs*sena*clan*scad 21 | 22 | 23 | 24 | Initial 25 | propagators: 582 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.952 (952.000 ms) 30 | solutions: 1 31 | propagations: 12991 32 | nodes: 171 33 | failures: 5 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 163 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-uk-26.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | katie*adam*wale*aba 3 | alate*vara*arar*beg 4 | memoriatechnica*bah 5 | ace*ilia*bala**haka 6 | ****eel*hehe*bee*** 7 | ganesa*kata*datival 8 | enact*pegh*fanagalo 9 | snib*baa**bad**haaf 10 | tealead*scad*cutlet 11 | ***agas*cab*bane*** 12 | cresol*nada*apanage 13 | east**bab**ala*igad 14 | dinedout*kaid*anita 15 | etesian*leda*megohm 16 | ***ink*beys*oaf**** 17 | baas**goad*kaka*ova 18 | ard*luncheonvoucher 19 | red*opah*slae*laird 20 | bay*bore*kegs*dross 21 | 22 | 23 | 24 | Initial 25 | propagators: 590 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 0.936 (936.000 ms) 30 | solutions: 1 31 | propagations: 15145 32 | nodes: 166 33 | failures: 4 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 161 37 | 38 | -------------------------------------------------------------------------------- /misc/crossword/logs/restart/stat-uk-27.txt: -------------------------------------------------------------------------------- 1 | Crossword 2 | shwa*saga*amah*abel 3 | hoas*oche*dika*nala 4 | ikat*uric*anes*ebbs 5 | micronesia*idiocies 6 | ***add**abac*dad*** 7 | carlsbad*ahab*folia 8 | aga*oohed*abas*taal 9 | bane*weber*sea*alma 10 | araba*macao*lablabs 11 | ***rho*galah*moi*** 12 | tabasco*deray*asian 13 | alec*tan*sekos*taha 14 | heat*atap*dagon*gad 15 | reded*haed*mariposa 16 | ***oik*raid**bra*** 17 | exultant*barbellate 18 | pina*baju*naan*arab 19 | hait*aged*alit*mako 20 | ante*bass*eels*anan 21 | 22 | 23 | 24 | Initial 25 | propagators: 598 26 | branchers: 1 27 | 28 | Summary 29 | runtime: 1.108 (1108.000 ms) 30 | solutions: 1 31 | propagations: 15238 32 | nodes: 154 33 | failures: 1 34 | restarts: 0 35 | no-goods: 0 36 | peak depth: 152 37 | 38 | --------------------------------------------------------------------------------