Hi all!
I recently got a new Acer laptop which is x86-64, 3 GB RAM, Dual Core, and
much faster than my Pentium 4 2.4 GHz stationary machine. So I benchmarked
Freecell Solver there (running Mandriva Linux 2010.0):
<<<
$ ARGS="-l by" bash scripts/time-threads-num.bash 2 2
$ perl scripts/time-fcs.pl DUMPS/dump002
36.3274490833282
$ ARGS="-l by" bash scripts/time-threads-num.bash -p 2 2
Testing 2
$ perl scripts/time-fcs.pl DUMPS/dump002
36.3902530670166
>>>
So the first 32,000 are getting solved at 36.3 seconds (880 boards per
second).
Next, by inspiration from the author of freecelljsolver (a solver for Freecell
in Java) I proceeded to benchmark the first 1,000,000 (1 Million) deals. The
results there were that it solved them in 19:42. Here is the complete dump:
<<<<
Started at 1268298933.066073
Reached Board No. 4000 at 1268298937.389454 (total_num_iters=1143353)
Reached Board No. 8000 at 1268298941.828037 (total_num_iters=2267404)
Reached Board No. 12000 at 1268298946.005864 (total_num_iters=5581498)
Unsolved Board No. 11982 at 1268298946.279086
Reached Board No. 16000 at 1268298950.767550 (total_num_iters=7886773)
Reached Board No. 20000 at 1268298955.032365 (total_num_iters=10166041)
Reached Board No. 24000 at 1268298959.380947 (total_num_iters=12405012)
Reached Board No. 28000 at 1268298963.875443 (total_num_iters=14679638)
Reached Board No. 32000 at 1268298968.778228 (total_num_iters=17013594)
Reached Board No. 36000 at 1268298973.391111 (total_num_iters=19415340)
Reached Board No. 40000 at 1268298978.470511 (total_num_iters=21822745)
Reached Board No. 44000 at 1268298983.049699 (total_num_iters=24210087)
Reached Board No. 48000 at 1268298987.282388 (total_num_iters=25326365)
Reached Board No. 52000 at 1268298992.044349 (total_num_iters=26530072)
Reached Board No. 56000 at 1268298996.567089 (total_num_iters=27703771)
Reached Board No. 60000 at 1268299003.330265 (total_num_iters=29312561)
Reached Board No. 64000 at 1268299008.423554 (total_num_iters=30549902)
Reached Board No. 68000 at 1268299013.376478 (total_num_iters=38927559)
Reached Board No. 72000 at 1268299018.419950 (total_num_iters=40132351)
Reached Board No. 76000 at 1268299022.976656 (total_num_iters=43808860)
Reached Board No. 80000 at 1268299027.642054 (total_num_iters=46114156)
Reached Board No. 84000 at 1268299032.461111 (total_num_iters=47331620)
Reached Board No. 88000 at 1268299037.659936 (total_num_iters=48597972)
Reached Board No. 92000 at 1268299042.260931 (total_num_iters=49718575)
Reached Board No. 96000 at 1268299046.715520 (total_num_iters=50850038)
Reached Board No. 100000 at 1268299051.560298 (total_num_iters=58040077)
Reached Board No. 104000 at 1268299055.931224 (total_num_iters=59160301)
Reached Board No. 108000 at 1268299060.643507 (total_num_iters=60384214)
Reached Board No. 112000 at 1268299065.101130 (total_num_iters=61520474)
Reached Board No. 116000 at 1268299069.671932 (total_num_iters=67287216)
Reached Board No. 120000 at 1268299074.315369 (total_num_iters=69580594)
Reached Board No. 124000 at 1268299079.267889 (total_num_iters=71990702)
Reached Board No. 128000 at 1268299083.976145 (total_num_iters=74407545)
Reached Board No. 132000 at 1268299088.789694 (total_num_iters=75593367)
Reached Board No. 136000 at 1268299093.400042 (total_num_iters=79103680)
Reached Board No. 140000 at 1268299098.136549 (total_num_iters=81457524)
Reached Board No. 144000 at 1268299102.689117 (total_num_iters=82622792)
Unsolved Board No. 146692 at 1268299106.516749
Reached Board No. 148000 at 1268299108.122014 (total_num_iters=86292194)
Reached Board No. 152000 at 1268299113.039898 (total_num_iters=87507054)
Reached Board No. 156000 at 1268299117.648090 (total_num_iters=88697179)
Reached Board No. 160000 at 1268299122.225282 (total_num_iters=93482499)
Reached Board No. 164000 at 1268299126.506827 (total_num_iters=95787587)
Reached Board No. 168000 at 1268299131.235822 (total_num_iters=96936849)
Reached Board No. 172000 at 1268299136.028463 (total_num_iters=100426606)
Reached Board No. 176000 at 1268299140.874727 (total_num_iters=101676535)
Reached Board No. 180000 at 1268299145.452187 (total_num_iters=102833030)
Reached Board No. 184000 at 1268299150.014454 (total_num_iters=107586737)
Unsolved Board No. 186216 at 1268299152.719760
Reached Board No. 188000 at 1268299154.804893 (total_num_iters=108792252)
Reached Board No. 192000 at 1268299159.569437 (total_num_iters=112350141)
Reached Board No. 196000 at 1268299164.001027 (total_num_iters=113472558)
Reached Board No. 200000 at 1268299168.588623 (total_num_iters=114654153)
Reached Board No. 204000 at 1268299173.330116 (total_num_iters=115848545)
Reached Board No. 208000 at 1268299178.367911 (total_num_iters=117065219)
Reached Board No. 212000 at 1268299182.728264 (total_num_iters=124060092)
Reached Board No. 216000 at 1268299186.993376 (total_num_iters=126323307)
Reached Board No. 220000 at 1268299191.759577 (total_num_iters=127524123)
Reached Board No. 224000 at 1268299196.575303 (total_num_iters=131017808)
Reached Board No. 228000 at 1268299201.015404 (total_num_iters=133344357)
Reached Board No. 232000 at 1268299205.319767 (total_num_iters=134460282)
Reached Board No. 236000 at 1268299209.699237 (total_num_iters=137818188)
Reached Board No. 240000 at 1268299214.402119 (total_num_iters=139006370)
Reached Board No. 244000 at 1268299219.118482 (total_num_iters=142446650)
Reached Board No. 248000 at 1268299223.717939 (total_num_iters=143608151)
Reached Board No. 252000 at 1268299228.393974 (total_num_iters=144788775)
Unsolved Board No. 254076 at 1268299231.181402
Reached Board No. 256000 at 1268299233.356485 (total_num_iters=145987301)
Reached Board No. 260000 at 1268299238.108245 (total_num_iters=147178626)
Reached Board No. 264000 at 1268299242.934368 (total_num_iters=148371037)
Reached Board No. 268000 at 1268299247.328548 (total_num_iters=156735546)
Reached Board No. 272000 at 1268299252.423965 (total_num_iters=159173130)
Reached Board No. 276000 at 1268299256.971318 (total_num_iters=161519631)
Reached Board No. 280000 at 1268299261.285004 (total_num_iters=163774821)
Reached Board No. 284000 at 1268299265.643881 (total_num_iters=166015024)
Reached Board No. 288000 at 1268299270.637606 (total_num_iters=168369559)
Reached Board No. 292000 at 1268299275.398432 (total_num_iters=170766500)
Reached Board No. 296000 at 1268299279.754515 (total_num_iters=171898380)
Reached Board No. 300000 at 1268299284.776089 (total_num_iters=175507322)
Reached Board No. 304000 at 1268299289.704953 (total_num_iters=176721878)
Reached Board No. 308000 at 1268299294.232020 (total_num_iters=177861884)
Reached Board No. 312000 at 1268299299.012277 (total_num_iters=182569377)
Reached Board No. 316000 at 1268299303.977753 (total_num_iters=183774657)
Reached Board No. 320000 at 1268299308.436219 (total_num_iters=184935469)
Reached Board No. 324000 at 1268299313.018409 (total_num_iters=189642048)
Reached Board No. 328000 at 1268299317.446320 (total_num_iters=190782487)
Reached Board No. 332000 at 1268299322.000125 (total_num_iters=194227739)
Reached Board No. 336000 at 1268299327.133331 (total_num_iters=196654896)
Reached Board No. 340000 at 1268299331.534165 (total_num_iters=199035581)
Reached Board No. 344000 at 1268299336.279351 (total_num_iters=200218178)
Reached Board No. 348000 at 1268299340.722257 (total_num_iters=201350423)
Reached Board No. 352000 at 1268299345.281028 (total_num_iters=205961940)
Reached Board No. 356000 at 1268299350.202568 (total_num_iters=207208438)
Reached Board No. 360000 at 1268299354.714480 (total_num_iters=210645708)
Reached Board No. 364000 at 1268299359.269070 (total_num_iters=211822010)
Reached Board No. 368000 at 1268299363.939199 (total_num_iters=213031388)
Reached Board No. 372000 at 1268299368.732508 (total_num_iters=217666244)
Reached Board No. 376000 at 1268299373.674238 (total_num_iters=218905807)
Reached Board No. 380000 at 1268299378.736419 (total_num_iters=222605752)
Reached Board No. 384000 at 1268299383.365020 (total_num_iters=224992973)
Reached Board No. 388000 at 1268299388.256569 (total_num_iters=227337371)
Reached Board No. 392000 at 1268299393.020713 (total_num_iters=229713730)
Reached Board No. 396000 at 1268299397.452367 (total_num_iters=230787014)
Reached Board No. 400000 at 1268299402.144014 (total_num_iters=234376340)
Reached Board No. 404000 at 1268299406.789507 (total_num_iters=236759686)
Reached Board No. 408000 at 1268299411.774226 (total_num_iters=237949350)
Reached Board No. 412000 at 1268299416.233218 (total_num_iters=241510806)
Reached Board No. 416000 at 1268299420.817549 (total_num_iters=242674718)
Reached Board No. 420000 at 1268299425.753249 (total_num_iters=243839730)
Reached Board No. 424000 at 1268299430.300299 (total_num_iters=248531796)
Reached Board No. 428000 at 1268299434.900021 (total_num_iters=249650699)
Reached Board No. 432000 at 1268299439.399204 (total_num_iters=253162811)
Reached Board No. 436000 at 1268299444.060968 (total_num_iters=254335209)
Reached Board No. 440000 at 1268299448.695516 (total_num_iters=255511700)
Reached Board No. 444000 at 1268299453.648485 (total_num_iters=260253891)
Reached Board No. 448000 at 1268299458.323854 (total_num_iters=261412344)
Reached Board No. 452000 at 1268299463.103133 (total_num_iters=264991462)
Unsolved Board No. 455889 at 1268299467.668028
Reached Board No. 456000 at 1268299467.769560 (total_num_iters=267355024)
Reached Board No. 460000 at 1268299472.286788 (total_num_iters=269678123)
Reached Board No. 464000 at 1268299477.176443 (total_num_iters=270895378)
Reached Board No. 468000 at 1268299481.581185 (total_num_iters=272019151)
Reached Board No. 472000 at 1268299486.678047 (total_num_iters=273256983)
Reached Board No. 476000 at 1268299491.525168 (total_num_iters=274462636)
Reached Board No. 480000 at 1268299496.285560 (total_num_iters=281629652)
Reached Board No. 484000 at 1268299500.969950 (total_num_iters=283982557)
Reached Board No. 488000 at 1268299506.330092 (total_num_iters=285315423)
Reached Board No. 492000 at 1268299510.966458 (total_num_iters=286492701)
Unsolved Board No. 495505 at 1268299515.233634
Reached Board No. 496000 at 1268299515.868401 (total_num_iters=287687859)
Reached Board No. 500000 at 1268299520.540537 (total_num_iters=288871522)
Reached Board No. 504000 at 1268299524.978415 (total_num_iters=289995029)
Reached Board No. 508000 at 1268299530.496896 (total_num_iters=291266895)
Reached Board No. 512000 at 1268299534.870160 (total_num_iters=300873772)
Unsolved Board No. 512118 at 1268299535.224423
Reached Board No. 516000 at 1268299539.631726 (total_num_iters=302093735)
Unsolved Board No. 517776 at 1268299542.204378
Reached Board No. 520000 at 1268299544.872656 (total_num_iters=305565597)
Reached Board No. 524000 at 1268299549.498572 (total_num_iters=308065594)
Reached Board No. 528000 at 1268299554.097664 (total_num_iters=310471486)
Reached Board No. 532000 at 1268299558.865456 (total_num_iters=311677431)
Reached Board No. 536000 at 1268299563.058333 (total_num_iters=315078652)
Reached Board No. 540000 at 1268299567.334492 (total_num_iters=317258999)
Reached Board No. 544000 at 1268299572.175834 (total_num_iters=318490107)
Reached Board No. 548000 at 1268299577.206832 (total_num_iters=319706262)
Reached Board No. 552000 at 1268299581.909397 (total_num_iters=324473743)
Reached Board No. 556000 at 1268299587.005845 (total_num_iters=326873821)
Reached Board No. 560000 at 1268299591.363000 (total_num_iters=329245976)
Reached Board No. 564000 at 1268299595.989695 (total_num_iters=331469643)
Reached Board No. 568000 at 1268299600.481327 (total_num_iters=332628609)
Reached Board No. 572000 at 1268299605.268623 (total_num_iters=336100031)
Reached Board No. 576000 at 1268299609.940968 (total_num_iters=337270945)
Reached Board No. 580000 at 1268299614.192280 (total_num_iters=338397303)
Reached Board No. 584000 at 1268299618.905861 (total_num_iters=339563416)
Reached Board No. 588000 at 1268299623.850622 (total_num_iters=345522498)
Reached Board No. 592000 at 1268299628.549186 (total_num_iters=347940331)
Reached Board No. 596000 at 1268299633.836703 (total_num_iters=349196963)
Reached Board No. 600000 at 1268299638.702806 (total_num_iters=350399879)
Reached Board No. 604000 at 1268299643.452445 (total_num_iters=351531128)
Reached Board No. 608000 at 1268299648.333622 (total_num_iters=352754384)
Reached Board No. 612000 at 1268299653.108385 (total_num_iters=353941299)
Reached Board No. 616000 at 1268299657.650542 (total_num_iters=355102831)
Reached Board No. 620000 at 1268299662.647513 (total_num_iters=356364737)
Reached Board No. 624000 at 1268299667.303008 (total_num_iters=367557553)
Reached Board No. 628000 at 1268299671.965846 (total_num_iters=368772525)
Reached Board No. 632000 at 1268299676.753097 (total_num_iters=369990258)
Reached Board No. 636000 at 1268299681.542495 (total_num_iters=371236530)
Reached Board No. 640000 at 1268299686.089035 (total_num_iters=372395179)
Reached Board No. 644000 at 1268299690.923348 (total_num_iters=379018446)
Reached Board No. 648000 at 1268299695.801712 (total_num_iters=380238041)
Reached Board No. 652000 at 1268299700.270595 (total_num_iters=381392525)
Reached Board No. 656000 at 1268299704.694239 (total_num_iters=382521957)
Reached Board No. 660000 at 1268299709.655299 (total_num_iters=388483543)
Reached Board No. 664000 at 1268299714.031201 (total_num_iters=389554486)
Reached Board No. 668000 at 1268299719.061633 (total_num_iters=390757657)
Reached Board No. 672000 at 1268299723.548048 (total_num_iters=391893563)
Reached Board No. 676000 at 1268299728.748415 (total_num_iters=397960113)
Reached Board No. 680000 at 1268299733.716742 (total_num_iters=399208886)
Reached Board No. 684000 at 1268299738.566489 (total_num_iters=400357711)
Reached Board No. 688000 at 1268299743.022496 (total_num_iters=405180344)
Reached Board No. 692000 at 1268299747.867138 (total_num_iters=406413020)
Reached Board No. 696000 at 1268299752.481609 (total_num_iters=409913743)
Reached Board No. 700000 at 1268299757.445001 (total_num_iters=412335962)
Reached Board No. 704000 at 1268299761.914429 (total_num_iters=413492622)
Reached Board No. 708000 at 1268299766.609923 (total_num_iters=417000599)
Reached Board No. 712000 at 1268299771.464150 (total_num_iters=418247675)
Reached Board No. 716000 at 1268299776.171579 (total_num_iters=419428731)
Reached Board No. 720000 at 1268299780.961003 (total_num_iters=424130527)
Reached Board No. 724000 at 1268299785.485628 (total_num_iters=425284492)
Reached Board No. 728000 at 1268299790.075786 (total_num_iters=428858071)
Reached Board No. 732000 at 1268299794.760918 (total_num_iters=430041026)
Reached Board No. 736000 at 1268299799.836342 (total_num_iters=431293458)
Unsolved Board No. 739671 at 1268299804.262154
Reached Board No. 740000 at 1268299804.571853 (total_num_iters=432483464)
Reached Board No. 744000 at 1268299809.259376 (total_num_iters=433659196)
Reached Board No. 748000 at 1268299813.696949 (total_num_iters=440729441)
Reached Board No. 752000 at 1268299818.437200 (total_num_iters=443072966)
Reached Board No. 756000 at 1268299823.613610 (total_num_iters=444384859)
Reached Board No. 760000 at 1268299828.610735 (total_num_iters=448019375)
Reached Board No. 764000 at 1268299833.148221 (total_num_iters=450411187)
Reached Board No. 768000 at 1268299837.751770 (total_num_iters=452742401)
Reached Board No. 772000 at 1268299842.409534 (total_num_iters=453862507)
Reached Board No. 776000 at 1268299847.048449 (total_num_iters=457380042)
Reached Board No. 780000 at 1268299851.489713 (total_num_iters=459702461)
Unsolved Board No. 781948 at 1268299854.074747
Reached Board No. 784000 at 1268299856.657110 (total_num_iters=462030129)
Reached Board No. 788000 at 1268299861.258809 (total_num_iters=464444557)
Reached Board No. 792000 at 1268299866.048832 (total_num_iters=466848651)
Reached Board No. 796000 at 1268299870.986462 (total_num_iters=468080331)
Reached Board No. 800000 at 1268299875.916308 (total_num_iters=471668577)
Reached Board No. 804000 at 1268299880.883919 (total_num_iters=474194120)
Reached Board No. 808000 at 1268299885.291986 (total_num_iters=476511705)
Reached Board No. 812000 at 1268299889.964176 (total_num_iters=477702621)
Reached Board No. 816000 at 1268299895.009056 (total_num_iters=478936278)
Reached Board No. 820000 at 1268299899.516220 (total_num_iters=483628289)
Reached Board No. 824000 at 1268299904.261913 (total_num_iters=484806350)
Reached Board No. 828000 at 1268299909.028399 (total_num_iters=485995107)
Reached Board No. 832000 at 1268299913.552536 (total_num_iters=487116058)
Reached Board No. 836000 at 1268299918.886227 (total_num_iters=488352119)
Reached Board No. 840000 at 1268299923.657791 (total_num_iters=489566985)
Reached Board No. 844000 at 1268299928.375754 (total_num_iters=498000707)
Reached Board No. 848000 at 1268299933.075622 (total_num_iters=500368790)
Reached Board No. 852000 at 1268299937.304520 (total_num_iters=502627136)
Reached Board No. 856000 at 1268299942.268452 (total_num_iters=503900026)
Reached Board No. 860000 at 1268299946.866283 (total_num_iters=505065618)
Reached Board No. 864000 at 1268299951.284089 (total_num_iters=506158314)
Reached Board No. 868000 at 1268299956.129914 (total_num_iters=511937441)
Reached Board No. 872000 at 1268299961.417360 (total_num_iters=514294702)
Reached Board No. 876000 at 1268299966.807938 (total_num_iters=516928967)
Reached Board No. 880000 at 1268299971.533521 (total_num_iters=518136152)
Reached Board No. 884000 at 1268299976.557082 (total_num_iters=521858115)
Reached Board No. 888000 at 1268299981.245458 (total_num_iters=524299888)
Reached Board No. 892000 at 1268299986.188179 (total_num_iters=525500515)
Reached Board No. 896000 at 1268299990.713759 (total_num_iters=526664542)
Reached Board No. 900000 at 1268299995.739821 (total_num_iters=527926824)
Reached Board No. 904000 at 1268300000.489644 (total_num_iters=529110717)
Reached Board No. 908000 at 1268300005.265323 (total_num_iters=530330424)
Reached Board No. 912000 at 1268300010.302728 (total_num_iters=538612241)
Reached Board No. 916000 at 1268300014.936253 (total_num_iters=541003316)
Reached Board No. 920000 at 1268300019.815608 (total_num_iters=542257353)
Reached Board No. 924000 at 1268300024.224253 (total_num_iters=545704875)
Reached Board No. 928000 at 1268300028.848974 (total_num_iters=548047654)
Reached Board No. 932000 at 1268300033.390843 (total_num_iters=549215012)
Reached Board No. 936000 at 1268300038.219946 (total_num_iters=550432918)
Reached Board No. 940000 at 1268300043.035433 (total_num_iters=555100890)
Reached Board No. 944000 at 1268300047.548588 (total_num_iters=556266424)
Reached Board No. 948000 at 1268300052.294947 (total_num_iters=559842298)
Reached Board No. 952000 at 1268300057.144714 (total_num_iters=561098477)
Reached Board No. 956000 at 1268300062.123361 (total_num_iters=562326093)
Reached Board No. 960000 at 1268300066.816339 (total_num_iters=563555404)
Reached Board No. 964000 at 1268300071.826200 (total_num_iters=564704346)
Reached Board No. 968000 at 1268300076.470503 (total_num_iters=571857361)
Reached Board No. 972000 at 1268300081.530385 (total_num_iters=573083585)
Reached Board No. 976000 at 1268300086.582952 (total_num_iters=574258624)
Reached Board No. 980000 at 1268300091.304346 (total_num_iters=579136119)
Reached Board No. 984000 at 1268300095.797490 (total_num_iters=581459830)
Reached Board No. 988000 at 1268300100.553171 (total_num_iters=582643828)
Reached Board No. 992000 at 1268300105.348527 (total_num_iters=583830403)
Reached Board No. 996000 at 1268300109.951174 (total_num_iters=584968878)
Reached Board No. 1000000 at 1268300115.056821 (total_num_iters=591048851)
Finished at 1268300115.060314 (total_num_iters=592211578)
>>>>
It reports 10 boards as unsolved:
<<<
Unsolved Board No. 11982 at 1268298946.279086
Unsolved Board No. 146692 at 1268299106.516749
Unsolved Board No. 186216 at 1268299152.719760
Unsolved Board No. 254076 at 1268299231.181402
Unsolved Board No. 455889 at 1268299467.668028
Unsolved Board No. 495505 at 1268299515.233634
Unsolved Board No. 512118 at 1268299535.224423
Unsolved Board No. 517776 at 1268299542.204378
Unsolved Board No. 739671 at 1268299804.262154
Unsolved Board No. 781948 at 1268299854.074747
>>>
According to the Freecell FAQ , there are 8 unsolvable deals below 1 million
and they are:
<<<
11982, 146692, 186216, 455889, 495505, 512118, 517776, 781948
>>>
So fc-solve could not solve deal No. 254,076 and deal No. 739,671 with the "-l
by" configuration. However:
<<<
shlomi:~$ pi-make-microsoft-freecell-board 254076 | fc-solve | tail -3
This game is solveable.
Total number of states checked is 5314.
This scan generated 5416 states.
shlomi:~$ pi-make-microsoft-freecell-board 254076 | fc-solve -l cj | tail -3
This game is solveable.
Total number of states checked is 26810.
This scan generated 18025 states.
shlomi:~$
>>>
So it is generally solvable by the meta-move-based fc-solve. The other game is
not solvable using it, but it is using "-l gi":
<<<
$ pi-make-microsoft-freecell-board 739671 | fc-solve -l gi | tail -3
This game is solveable.
Total number of states checked is 1193481.
This scan generated 1133337 states.
>>>
I don't understand why "-l by" erroneously reports 254,076 as unsolvable since
it should yield the same verdicts as "-l cj" and an option less "fc-solve". So
I guess I'll need to investigate.
Regards,
Shlomi Fish
--
-----------------------------------------------------------------
Shlomi Fish http://www.shlomifish.org/
Freecell Solver - http://fc-solve.berlios.de/
Deletionists delete Wikipedia articles that they consider lame.
Chuck Norris deletes deletionists whom he considers lame.
Please reply to list if it's a mailing list post - http://shlom.in/reply .
Received on Mon Mar 22 2010 - 05:10:35 IST