Some progress on my computations.
At this moment, only 272 deals (out of 32000) resisted my solver, using the
PySol rule.
Here is the list:
37 456 829 917 1025 1035 1136 1478 1655 1734
1767 1941 2091 2333 2406 2472 2928 3405 3507 3620
3756 4085 4199 4213 4236 4325 4828 4951 5069 5254
5322 5442 5750 5762 5867 6086 6240 6361 6374 6751
6853 6885 6965 7583 7634 7875 7967 8013 8166 8222
8591 8603 8964 9043 9141 9286 9618 9620 9643 9672
9735 9787 9830 9938 10357 10398 10532 10538 10653 10692
10911 11157 11161 11230 11329 11346 11796 11847 11912 11982
12142 12247 12286 12290 12376 12498 12548 12669 12795 13142
13143 13477 13552 13555 13703 13779 13803 13863 13930 14113
14212 14497 14538 14599 14616 14632 14645 15024 15099 15126
15391 15465 15562 15823 16039 16088 16129 16576 16961 17052
17161 17460 17637 17763 17880 17939 17985 17998 18487 18560
18580 18600 18622 18779 18834 19013 19038 19124 19244 19548
19601 19609 19633 19654 19676 19975 20055 20059 20142 20202
20287 20317 20382 20418 20711 20844 21371 21840 22032 22058
22086 22226 22304 22589 22650 22854 23164 23513 23722 23879
23924 23966 23996 24007 24043 24130 24342 24615 24653 24735
24756 24901 25011 25087 25116 25154 25169 25286 25310 25360
25451 25463 25562 25762 25855 25906 26334 26349 26395 26466
26508 26549 26573 26578 26683 26693 26775 26889 26986 27136
27188 27459 27719 27721 27729 27738 27774 27824 27871 27872
28004 28140 28249 28308 28316 28341 28500 28533 28564 28574
28584 28634 28646 28722 29150 29287 29343 29368 29491 29572
29649 29693 29809 29850 29858 29921 29931 29938 29963 29996
30011 30103 30407 30466 30507 30524 30530 30567 30614 30801
30868 30932 31094 31196 31223 31300 31387 31465 31658 31780
31792 31975
I'll invest some CPU power next week, in order to reduce this list, but if
someone can provide me a few solutions for the above deals, it'll reduce my
effort.
Currently, I'm running my Double-Klondike solver, trying to break records
from WorldOfSolitaire's challenge.
I improved the solutions of 22 out of 30 deals.
JC
Received on Fri Jun 05 2015 - 04:43:48 IDT