Game-by-game performance:
Game | Perf ratio | ALLOY_DIFF_PROP_NET:1 states per second | PALAMEDES_JOCULAR:0.6.1 states per second |
BASE/pancakes88/l2Xaig | 0.009483496321755696 | 179.53333333333333 | 18931.133333333335 |
BASE/minichess/8NQEiA | 0.013750841250169184 | 39751.433333333334 | 2890836.466666667 |
DRESDEN/blocksworldparallel/2JfVaw | 0.02291221890404113 | 75967.1 | 3315571.5 |
DRESDEN/coins/QwFP9w | 0.023297140513501718 | 75607.06666666667 | 3245336.7666666666 |
BASE/coins/QnGtnQ | 0.024260671008665375 | 75534.53333333334 | 3113456.066666667 |
BASE/coins_atomic/AA3SSw | 0.02491606078647946 | 74828.53333333334 | 3003224.8666666667 |
BASE/blocksWorldParallel/RseaAQ | 0.026339696637685577 | 84606.6 | 3212132.6666666665 |
BASE/gt_dollar/TGjqRw | 0.028023754887476646 | 104603.16666666667 | 3732660.6333333333 |
BASE/blocksWorldSerial/Wyg96Q | 0.03791406969930848 | 183602.2 | 4842587.5 |
BASE/gt_centipede/9fRMpw | 0.039460751843966205 | 157870.86666666667 | 4000706.0 |
STANFORD/threepuzzle/41ibjA | 0.04160762651895196 | 223197.23333333334 | 5364334.666666667 |
STANFORD/3puzzle/41ibjA | 0.04278081407204462 | 226061.63333333333 | 5284182.6 |
BASE/hodgepodge/9yjRkw | 0.04709575173582672 | 132604.1 | 2815627.6333333333 |
BASE/blocks/xIV5hQ | 0.05840882595199799 | 260883.23333333334 | 4466503.633333334 |
DRESDEN/blocks/vg0DRw | 0.06443206228906376 | 289274.0 | 4489597.1 |
BASE/blocksWorld/SEdXLQ | 0.06463792244774955 | 292816.93333333335 | 4530110.533333333 |
DRESDEN/tictactoe-init1/3ltIBQ | 0.07083024147203587 | 262449.93333333335 | 3705337.2666666666 |
BASE/tictactoe-init1/7M19vA | 0.07295593655651318 | 271169.73333333334 | 3716897.433333333 |
BASE/maze/cCX3qQ | 0.07465375935787388 | 490504.26666666666 | 6570389.366666666 |
STANFORD/tictactoe5/WFRReg | 0.07897843088776668 | 293439.1 | 3715433.4 |
STANFORD/tictactoe3/X7myng | 0.10040803939433007 | 402712.2 | 4010756.533333333 |
BASE/snake2p/I3wWPQ | 0.11102889175749034 | 81329.0 | 732503.0333333333 |
STANFORD/tictactoe7/-bE9-A | 0.11908512788370182 | 257480.76666666666 | 2162157.2 |
BASE/pearls/6k_mEQ | 0.12217392526411218 | 808770.9333333333 | 6619832.6 |
DRESDEN/troublemaker02/iZLVuA | 0.13193206271975064 | 566824.6333333333 | 4296337.233333333 |
BASE/troublemaker02/DI83KA | 0.13752832492360267 | 581569.5666666667 | 4228725.733333333 |
BASE/buttons/hTcUjw | 0.13969696679357954 | 568147.2333333333 | 4066997.6333333333 |
DRESDEN/troublemaker01/C-lPWw | 0.139987217192532 | 664563.2666666667 | 4747313.933333334 |
DRESDEN/buttons/ADUaHw | 0.14015544371506294 | 561788.9333333333 | 4008327.6 |
BASE/troublemaker01/s3tlEQ | 0.1489469615895424 | 687633.9 | 4616635.966666667 |
STANFORD/sukoshi/4LYZZQ | 0.17006026574544347 | 284140.43333333335 | 1670822.0 |
BASE/switches/tPUoCg | 0.17037464195275823 | 390100.9 | 2289665.2666666666 |
BASE/haystack/UkweGA | 0.17557433550201443 | 850260.6 | 4842738.533333333 |
BASE/duplicateStateSmall/bCPAXw | 0.180418049003586 | 708520.7666666667 | 3927105.8 |
BASE/stateSpaceSmall/Q7osKA | 0.19493464416328157 | 767630.9 | 3937888.533333333 |
DRESDEN/statespacesmall/h-NqjA | 0.20406285211575845 | 788292.2333333333 | 3862987.433333333 |
STANFORD/buttonsandlights/eyhJpA | 0.22817832411869152 | 922886.3 | 4044583.566666667 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 0.23240741879668703 | 477395.06666666665 | 2054130.0666666667 |
DRESDEN/Travelers-Dilemma/PvZwYw | 0.24409738171796047 | 177.12742908569714 | 725.6424785840472 |
BASE/survival/YVIjJA | 0.26052803330141344 | 707976.1333333333 | 2717466.2333333334 |
BASE/onestep/xi53wA | 0.3040080359619134 | 838404.3666666667 | 2757836.2 |
BASE/kalaha_2009/dRiN3g | 0.37678698742401856 | 1708.7666666666667 | 4535.1 |
DRESDEN/kalaha_2009/gcC8uA | 0.39194948697711124 | 1738.1 | 4434.5 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 0.6869640273474128 | 7375.2 | 10735.933333333332 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 1.1887585409112689 | 7387.333333333333 | 6214.3261891270295 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 1.3547260467613969 | 8576.5 | 6330.8002533080025 |
DRESDEN/pancakes/hl9aiQ | 1.3976764833555924 | 30802.6 | 22038.433333333334 |
DRESDEN/pancakes6/SZXMyQ | 1.4721719883856301 | 31992.8 | 21731.7 |
BASE/pancakes6/QZTdnw | 1.4804054587085562 | 31790.4 | 21474.1169812577 |
BASE/tron_10x10/7ZTgDg | 1.4934058469378553 | 35322.433333333334 | 23652.266666666666 |
BASE/pancakes/yUgbXw | 1.5005209749470991 | 32528.933333333334 | 21678.426277566792 |
BASE/snakeAssemblit/UO4sdg | 1.5508669670846398 | 2110.8333333333335 | 1361.0666666666666 |
BASE/kalaha6x2x4/XS81Mg | 1.5928676500374268 | 7234.4 | 4541.745825417458 |
DRESDEN/knightstour/cGISAA | 1.9480162019142646 | 130365.4 | 66922.13333333333 |
STANFORD/knightstourmedium/x1wu8Q | 1.95733113836003 | 318091.23333333334 | 162512.73333333334 |
DRESDEN/vacuumcleaner_random/_6AGDA | 2.5360560629559425 | 7358.366666666667 | 2901.5 |
BASE/kalaha5x2x3/WviNsw | 2.917254230459307 | 15446.666666666666 | 5294.933333333333 |
DRESDEN/crossers3/xiPTxg | 3.088595100311067 | 3436.370908606093 | 1112.6 |
BASE/crossers3/O0rORg | 3.258575770733825 | 3502.1 | 1074.7333333333333 |
DRESDEN/gt_prisoner/huCp4w | 3.5031953509269775 | 39504.833333333336 | 11276.8 |
BASE/gt_prisoner/klthDw | 3.7632910513000137 | 43335.3 | 11515.266666666666 |
BASE/gt_staghunt/xPjLRA | 3.7910888115985966 | 43345.666666666664 | 11433.566666666668 |
BASE/eightPuzzle/vLrgFg | 3.8730975067459945 | 31529.466666666667 | 8140.633333333333 |
DRESDEN/chinesecheckers4/-oVNYg | 4.010996416209759 | 4364.9 | 1088.2333333333333 |
BASE/coloredtrails/EZvr7g | 4.278588657473315 | 26548.5 | 6204.966666666666 |
DRESDEN/8puzzle/8fKC2w | 4.306167531630542 | 33853.36666666667 | 7861.6 |
BASE/gt_chicken/gmepTQ | 4.33293806092957 | 41777.03333333333 | 9641.733333333334 |
DRESDEN/chinesecheckers6/yTbPDA | 4.398652520103531 | 7420.966666666666 | 1687.1 |
BASE/knightsTour/mvtVIg | 4.425332266488198 | 307693.5 | 69530.03333333334 |
DRESDEN/gt_chicken/CeuKtw | 4.507287530527466 | 44232.566666666666 | 9813.566666666668 |
STANFORD/8puzzle/jNiGtw | 4.637873145971584 | 37157.86666666667 | 8011.833333333333 |
BASE/knightfight/SJRkAg | 4.642342713607285 | 15770.966666666667 | 3397.2 |
STANFORD/knightstour/cEwgNA | 4.663898914359873 | 322843.63333333336 | 69221.83333333333 |
DRESDEN/knightfight/4_Ly4w | 5.000674009990121 | 18053.6 | 3610.233333333333 |
STANFORD/eightpuzzle/W_aWbA | 5.047247895028513 | 37645.066666666666 | 7458.533333333334 |
DRESDEN/chinesecheckers3/QsCb2A | 6.257104448682277 | 13343.066666666668 | 2132.4666666666667 |
BASE/aipsrovers01/4C4jsw | 6.712238657878878 | 87486.9 | 13033.937626354687 |
DRESDEN/aipsrovers01/qS47Mw | 6.92427200969466 | 87681.83333333333 | 12662.967776333766 |
BASE/snake_2008/i6K26g | 7.133920328155304 | 38377.4 | 5379.566666666667 |
BASE/blocks2player/wnTLOQ | 7.161137816499523 | 138726.4 | 19372.11705105986 |
DRESDEN/snake_2008/E56l3A | 7.162345943884241 | 40060.433333333334 | 5593.2 |
DRESDEN/roshambo2/jgSlkQ | 7.174126488484517 | 141458.73333333334 | 19717.903435407017 |
DRESDEN/blocks2player/3ev8nQ | 7.187563015242275 | 137348.1 | 19109.133333333335 |
DRESDEN/snake_2009/zIYLVw | 7.254445017508619 | 35632.86666666667 | 4911.866666666667 |
BASE/roshambo2/KNPokQ | 7.272122379308519 | 141949.3 | 19519.652255012992 |
BASE/snake_2008_tweaked/bX0NJQ | 7.326168677620809 | 40276.833333333336 | 5497.666666666667 |
BASE/snake_2009/7l-qAQ | 7.689615929782479 | 37613.5 | 4891.466666666666 |
BASE/hanoi_6_disks/MeubgQ | 7.7975408601130525 | 186318.6 | 23894.533333333333 |
DRESDEN/logistics/fPru1Q | 8.030536444152547 | 41980.7 | 5227.633333333333 |
BASE/circlesolitaire/azuQFQ | 8.046617681845783 | 219972.53333333333 | 27337.266666666666 |
DRESDEN/circlesolitaire/ruUilQ | 8.190686626437602 | 220216.96666666667 | 26886.264450144918 |
DRESDEN/hanoi_6_disks/MeubgQ | 8.651697101507526 | 193729.66666666666 | 22392.1 |
DRESDEN/chinesecheckers2/06E6-Q | 8.695520656362657 | 20984.9 | 2413.3 |
BASE/gt_coordination/IVMOzA | 9.290881963934321 | 192005.36666666667 | 20666.0 |
BASE/knightsTourLarge/M8jgLA | 9.351005443417472 | 180489.36666666667 | 19301.6 |
STANFORD/breakthrough/d5j0cQ | 9.486511348865113 | 15812.433333333332 | 1666.8333333333333 |
STANFORD/knightstourbig/TQUI2g | 9.548229106244902 | 145954.86666666667 | 15286.066666666668 |
DRESDEN/sum15/CsgWKg | 9.752276444646887 | 157008.4 | 16099.666666666666 |
DRESDEN/Runners/3bOCQw | 9.799181247218462 | 139873.56666666668 | 14274.005464116746 |
BASE/sum15/QZ07Kg | 9.987425243448039 | 159484.2 | 15968.5 |
BASE/snake_2009_big/-oRfVw | 10.324036739645312 | 29786.566666666666 | 2885.1666666666665 |
DRESDEN/toetictac/mJtxCA | 10.488116751503417 | 219575.36666666667 | 20935.633333333335 |
BASE/toetictac/mTThmg | 10.708632545412694 | 220204.46666666667 | 20563.266666666666 |
DRESDEN/snake_2009_big/DgC1NQ | 10.90912029886131 | 30369.9 | 2783.9 |
DRESDEN/quartosuicide/WIU1oQ | 11.059618630266781 | 24901.1 | 2251.5333333333333 |
DRESDEN/tictictoe/LAUtwg | 11.386987106305822 | 90433.93333333333 | 7941.866666666667 |
DRESDEN/quarto/OQzRYQ | 11.456138817255999 | 26210.5 | 2287.9 |
STANFORD/hunter/14dD-g | 12.008419645840295 | 101833.4 | 8480.166666666666 |
BASE/hex/T1MK8g | 12.621594869839885 | 7725.0 | 612.0462651244959 |
BASE/quarto/EwBMVQ | 12.912803012473525 | 29262.133333333335 | 2266.133333333333 |
BASE/eotcitcit/V_9_bg | 13.003629321896488 | 103188.56666666667 | 7935.366666666667 |
BASE/quartoSuicide/-23jUg | 13.24190421807144 | 29373.633333333335 | 2218.233333333333 |
STANFORD/untwistycorridor/EDPPAQ | 13.27761875974665 | 836042.8333333334 | 62966.32313829787 |
DRESDEN/latenttictactoe/kITHKg | 13.31163766768495 | 83519.43333333333 | 6274.166666666667 |
BASE/tictactoe_orthogonal/WRzlVw | 13.41121416150176 | 200515.53333333333 | 14951.333333333334 |
BASE/ticTicToe/c1OobQ | 13.425791050286549 | 106669.7 | 7945.133333333333 |
STANFORD/tictictoe/rpt_Dw | 13.446737899382171 | 106621.2 | 7929.1498650314925 |
STANFORD/hex/MTqWcw | 13.475286652565957 | 8069.9 | 598.8666666666667 |
BASE/untwistycomplex2/EDPPAQ | 13.492313144716185 | 847695.5 | 62828.03333333333 |
DRESDEN/chickentoetictac/cxYaRQ | 14.297014294347884 | 183734.26666666666 | 12851.233333333334 |
DRESDEN/tictactoe/BTTzPw | 14.373766987149883 | 207493.53333333333 | 14435.570961935871 |
BASE/incredible/8Qh-6Q | 14.482558139534884 | 115499.36666666667 | 7975.066666666667 |
STANFORD/trifecta/ss1kyQ | 14.581767442776952 | 197339.43333333332 | 13533.3 |
BASE/hexPie/48CH6Q | 14.70017793594306 | 8261.5 | 562.0 |
BASE/crisscross/ICagEg | 14.827191983602823 | 21702.066666666666 | 1463.6666666666667 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 14.868759022817182 | 52870.333333333336 | 3555.8 |
BASE/chickentoetictac/l57rfQ | 14.881273725262114 | 191044.8 | 12837.933333333332 |
DRESDEN/frogs_and_toads/GjchhQ | 14.886785028124349 | 21437.466666666667 | 1440.0333333333333 |
DRESDEN/endgame/IJhh3Q | 14.957563221458598 | 7472.3 | 499.56666666666666 |
DRESDEN/chinesecheckers1/Y-ftaA | 15.083776095050832 | 48073.0 | 3187.0666666666666 |
DRESDEN/cube_2x2x2/fp-34Q | 15.275471102133778 | 61256.166666666664 | 4010.1 |
DRESDEN/crisscross/GsY16g | 15.38590866994372 | 21597.2 | 1403.7 |
DRESDEN/minichess/c7GMFw | 15.447498205561601 | 44477.46666666667 | 2879.266666666667 |
DRESDEN/blobwars/ZaMluQ | 15.479711655640667 | 5927.5 | 382.9205693143562 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 15.804338650145622 | 224656.56666666668 | 14214.866666666667 |
BASE/blobwars/0XT15Q | 15.837640080913163 | 6089.166666666667 | 384.47436837544166 |
DRESDEN/eotcatcit/mQUxzA | 15.8747782884594 | 218979.86666666667 | 13794.2 |
STANFORD/tictactoe/ss1kyQ | 16.183245144997834 | 212970.96666666667 | 13159.966666666667 |
BASE/ticTacToe/JRFsaQ | 16.649152984836405 | 235251.13333333333 | 14129.916011198507 |
BASE/eotcatcit/AfZSzA | 16.938429969145925 | 228926.83333333334 | 13515.233333333334 |
BASE/ghostMaze2p/W-NU-w | 17.07627571030155 | 104497.7 | 6119.466666666666 |
BASE/kitten_escapes_from_fire/uW-YiA | 17.412067346186774 | 418981.93333333335 | 24062.733333333334 |
STANFORD/bestbuttonsandlights/nm0wEA | 17.811887748134552 | 434723.3333333333 | 24406.359364063595 |
BASE/beatMania/qUHwvQ | 18.073248139570786 | 222407.4 | 12305.889803673212 |
STANFORD/rainbow/_4qNSQ | 18.18945420929043 | 499113.1666666667 | 27439.7 |
BASE/bomberman2p/4CClwA | 18.23680569282467 | 73808.0 | 4047.2 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 18.3583575202262 | 424630.0333333333 | 23130.066666666666 |
DRESDEN/connect5/1kYzSg | 18.4012854547995 | 21949.666666666668 | 1192.8333333333333 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 18.533073779185088 | 322932.6666666667 | 17424.668488038915 |
BASE/connect5/d-BVQg | 18.618521449160685 | 21961.166666666668 | 1179.5333333333333 |
DRESDEN/chickentictactoe/Ipbo-g | 19.227178083388544 | 176065.83333333334 | 9157.133333333333 |
DRESDEN/sheep_and_wolf/enAIzQ | 19.52019420023619 | 24793.9 | 1270.1666666666667 |
BASE/sheepAndWolf/g4THrg | 19.735495239598126 | 25012.766666666666 | 1267.4 |
BASE/stateSpaceLarge/0Ge_CQ | 19.819755016699204 | 285639.6666666667 | 14411.866666666667 |
BASE/pacman2p/4LEdQg | 19.995165242731307 | 20127.133333333335 | 1006.6 |
STANFORD/dualhunter/1rPZjQ | 20.01083803817186 | 55882.933333333334 | 2792.633333333333 |
BASE/chickentictactoe/DSlZCA | 20.081762727846225 | 180345.7 | 8980.57120005332 |
BASE/endgame/jYjfOA | 20.581044832445016 | 11197.4 | 544.0637290847277 |
DRESDEN/smallest/9kaGFw | 21.31201483673022 | 3241.233333333333 | 152.08479152084792 |
BASE/numbertictactoe/rvJ-iQ | 21.33170188631685 | 101551.7 | 4760.6 |
DRESDEN/hallway/0H4l-Q | 21.79936606420286 | 10774.7 | 494.26666666666665 |
BASE/ticTacToeParallel/ymRGPw | 21.907843558035353 | 54446.833333333336 | 2485.266666666667 |
STANFORD/jointbuttonsandlights/qAKuIQ | 22.114441943324934 | 328129.6666666667 | 14837.8 |
BASE/hallway/ckCJOw | 22.229373878127245 | 10671.966666666667 | 480.08399720009334 |
DRESDEN/3pttc/uwYBZw | 23.04431605396668 | 47995.933333333334 | 2082.766666666667 |
DRESDEN/tictactoeparallel/yk_DSg | 23.30140275496019 | 55315.2 | 2373.9 |
DRESDEN/3pffa/0YrmQw | 23.80508011342284 | 46453.23333333333 | 1951.4 |
BASE/ticTacToeNoVars/XT03NA | 24.113664224586195 | 415046.8 | 17212.1 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 24.21583728967395 | 184983.16666666666 | 7638.933333333333 |
BASE/point_grab/V_osUg | 25.48960575030902 | 412119.6 | 16168.143361534874 |
STANFORD/dualrainbow/G3OnRQ | 25.786165693353777 | 293780.06666666665 | 11392.933333333332 |
DRESDEN/point_grab/r5DPmQ | 25.79885112197466 | 413029.7 | 16009.61601147402 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 25.917756460896058 | 191381.03333333333 | 7384.166666666667 |
BASE/duplicateStateMedium/U163eQ | 25.96150259363373 | 453174.76666666666 | 17455.64475831973 |
DRESDEN/catch_me/ghGWrA | 26.244799183357387 | 198823.6 | 7575.733333333334 |
BASE/rubiksCube/9tNO9Q | 27.240976159453464 | 25785.4 | 946.5666666666667 |
DRESDEN/grid_game/U7_Yeg | 27.320629222972972 | 60382.23333333333 | 2210.133333333333 |
DRESDEN/Thief_Police/CX18rA | 27.48909001196992 | 200562.23333333334 | 7296.066666666667 |
DRESDEN/mimikry/GJEhwA | 27.493060363300696 | 27798.233333333334 | 1011.1 |
DRESDEN/tictactoex9/rFkD4w | 27.560451288306144 | 24102.533333333333 | 874.5333333333333 |
BASE/duplicateStateLarge/dcjyuw | 27.971024417890707 | 197410.16666666666 | 7057.666666666667 |
DRESDEN/statespacelarge/8-y5HQ | 27.975124447481075 | 401258.4 | 14343.4 |
DRESDEN/racetrackcorridor/O0DoTA | 28.107159599747824 | 57957.9 | 2062.0333333333333 |
BASE/tictactoex9/BI26ow | 28.33020659273887 | 24866.366666666665 | 877.7333333333333 |
BASE/brain_teaser_extended/ZDp94A | 28.58262648976838 | 211844.9 | 7411.666666666667 |
BASE/tictactoe2/bhrDoQ | 28.936595887456264 | 402469.4666666667 | 13908.666666666666 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 28.994269048307604 | 785362.9333333333 | 27086.833333333332 |
BASE/tictactoe_3player/GtM71g | 29.119013444647816 | 73710.9 | 2531.366666666667 |
STANFORD/multiplebuttonsandlights/cK70Yg | 29.14302839506173 | 786861.7666666667 | 27000.0 |
BASE/stateSpaceMedium/3bUoIw | 29.380305860544702 | 528318.1666666666 | 17982.05128205128 |
DRESDEN/max_knights/hCipiA | 30.530704170582325 | 31404.9 | 1028.6333333333334 |
DRESDEN/statespacemedium/dVJZ_w | 30.843458561799 | 555948.2 | 18024.833333333332 |
BASE/max_knights/2fq3Ag | 31.120659863723798 | 31818.8 | 1022.4333333333333 |
DRESDEN/brain_teaser_extended/ZDp94A | 31.313901960784314 | 212934.53333333333 | 6800.0 |
BASE/crissrace/ERWGDA | 31.59920394238059 | 27786.233333333334 | 879.3333333333334 |
BASE/pacman3p/wW7UVQ | 32.22446251190328 | 34590.73333333333 | 1073.4308856371454 |
BASE/solitaireChineseCheckers/-ET6gw | 33.00306892289331 | 51619.0 | 1564.0666666666666 |
DRESDEN/stratego/Z2wovg | 33.18301976995979 | 39331.833333333336 | 1185.3 |
BASE/doubletictactoe/HH1htg | 33.22742189102345 | 97203.5 | 2925.4 |
DRESDEN/brawl/2kXtfQ | 33.47558076269127 | 4593.2 | 137.21046492251293 |
DRESDEN/crissrace/KWb9bw | 33.5195007800312 | 28648.0 | 854.6666666666666 |
BASE/chineseCheckers3/-1rZdQ | 34.20274307713902 | 113715.0 | 3324.733333333333 |
DRESDEN/4pttc/9pB9AQ | 34.25542980205279 | 49839.36666666667 | 1454.9333333333334 |
DRESDEN/javastrike/whONTQ | 34.37715302894659 | 7679.6 | 223.39255358154728 |
BASE/brawl/6Ymo_Q | 34.42070043064183 | 4617.033333333334 | 134.13536841403672 |
BASE/escortLatch/mX9BjQ | 34.56405000336044 | 34285.23333333333 | 991.9333333333333 |
BASE/4pffa/Q3ADlg | 34.73955895908672 | 32662.133333333335 | 940.2 |
DRESDEN/skirmish/RjGQYQ | 35.249540355376446 | 6413.6 | 181.94847181948472 |
DRESDEN/tictactoe_3player/ESLQQQ | 35.60045301667925 | 86443.83333333333 | 2428.1666666666665 |
BASE/blocker/dIWtxg | 36.50300106823341 | 364494.63333333336 | 9985.333333333334 |
DRESDEN/chomp/-LcqYQ | 36.67599120480246 | 70056.03333333334 | 1910.1333333333334 |
DRESDEN/blocker/S815zQ | 36.77853225476186 | 355880.36666666664 | 9676.30693366208 |
BASE/chineseCheckers2/eCMR3Q | 36.794086999669204 | 148304.7 | 4030.6666666666665 |
DRESDEN/skirmish3/3LU8Nw | 36.79858967065868 | 6554.4 | 178.11552178115522 |
BASE/double_tictactoe_dengji/zgaSbA | 37.153991491491496 | 98978.23333333334 | 2664.0 |
DRESDEN/doubletictactoe/lJzgmQ | 37.48553601154791 | 107337.33333333333 | 2863.4333333333334 |
BASE/doubletoetictac/fu35bg | 37.56907445844753 | 109204.53333333334 | 2906.766666666667 |
DRESDEN/bunk_t/7-tPfA | 37.64852677603114 | 109929.93333333333 | 2919.9 |
BASE/nineBoardTicTacToePie/B8LzeQ | 38.27373748162711 | 45423.03333333333 | 1186.793773540882 |
DRESDEN/doubletoetictac/V89gKQ | 38.52294308361505 | 111294.06666666667 | 2889.0333333333333 |
BASE/lightsOn/MsXu3A | 39.16398556797595 | 847393.7666666667 | 21637.066666666666 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 39.87136759560265 | 107113.1 | 2686.4666666666667 |
BASE/mummymaze2p/vpjDdA | 40.34157431088378 | 89909.26666666666 | 2228.7 |
BASE/3pttc/0sol9g | 40.73530586434135 | 40797.76666666667 | 1001.5333333333333 |
DRESDEN/mummymaze2p/k-8edg | 41.61676591846083 | 90849.4 | 2183.0 |
DRESDEN/skirmish2/iPpWhQ | 41.72084679560832 | 7261.966666666666 | 174.0608646378454 |
BASE/chomp/-LcqYQ | 41.853489446696464 | 80531.8 | 1924.1358621379288 |
DRESDEN/lightson2x2/gBHuig | 42.04528413376789 | 539871.3666666667 | 12840.23589777763 |
BASE/bunk_t/xbpfIA | 42.12699318578717 | 123026.26666666666 | 2920.366666666667 |
BASE/3pffa/pR0dzA | 43.32225523388378 | 41800.2 | 964.8666666666667 |
BASE/chineseCheckers6/rREH3A | 44.038284648850215 | 94476.8 | 2145.3333333333335 |
BASE/checkLines/Vop7oQ | 44.43607680945347 | 125346.76666666666 | 2820.8333333333335 |
BASE/gt_tinfoil/Q8DyKg | 44.95070646027111 | 88737.5 | 1974.1069048253798 |
BASE/ticTacToeLargeSuicide/727_8g | 45.30571487845358 | 247502.1 | 5462.933333333333 |
DRESDEN/hanoi/RQ0jiA | 46.237107452270706 | 232335.3 | 5024.866666666667 |
BASE/racetrackcorridor/_RkdUg | 46.59335846251858 | 58508.833333333336 | 1255.7333333333333 |
STANFORD/duikoshi/tpw1sw | 47.271110271903325 | 83449.26666666666 | 1765.3333333333333 |
BASE/ticTacToeLarge/TZC0dg | 48.39590473624522 | 257464.6 | 5319.966666666666 |
DRESDEN/oisters_farm/pTQMLg | 49.47803601437653 | 877291.4333333333 | 17730.92677078824 |
DRESDEN/tictactoelargesuicide/6J4DeA | 49.66071697050217 | 272800.4666666667 | 5493.284900189956 |
BASE/skirmishNew/sibw2g | 49.69170753745318 | 5895.766666666666 | 118.64689218463589 |
BASE/lightsOnParallel/SC6enA | 49.959195287087994 | 515042.6666666667 | 10309.266666666666 |
DRESDEN/tictactoelarge/IwXcbg | 50.180734976747004 | 275149.3333333333 | 5483.166666666667 |
STANFORD/multipletictactoe/_bkafQ | 52.52058866324388 | 84223.76666666666 | 1603.6333333333334 |
BASE/nineBoardTicTacToe/wRmqqA | 53.035437829497226 | 68742.76666666666 | 1296.1666666666667 |
BASE/skirmishZeroSum/zh4hcw | 53.71928421791632 | 6374.566666666667 | 118.66440067979606 |
DRESDEN/hanoi7_bugfix/3gdnFw | 54.40248987312938 | 183098.83333333334 | 3365.633333333333 |
BASE/breakthroughSmallHoles/bxclRw | 54.94267989050442 | 133138.93333333332 | 2423.233333333333 |
BASE/speedChess/bPnisA | 56.187859082742314 | 6601.633333333333 | 117.49216718885408 |
BASE/hanoi/iGLsJg | 56.408511860396736 | 274978.3333333333 | 4874.766666666666 |
STANFORD/nineboardtictactoe/y28P-A | 57.24929917566405 | 68754.5 | 1200.9666666666667 |
BASE/hanoi7_bugfix/3gdnFw | 57.62769248960447 | 194946.8 | 3382.866666666667 |
BASE/connectFourLarger/qKi60A | 57.66078488603497 | 72435.4 | 1256.2333333333333 |
BASE/4pttc/AL1k2Q | 60.62062734559608 | 43612.5 | 719.4333333333333 |
DRESDEN/hanoi7/51zz5Q | 60.91008559319687 | 219891.5 | 3610.1 |
BASE/pawnWhopping/Ypc_6Q | 61.535694802385294 | 109039.2 | 1771.9666666666667 |
BASE/checkersTorus/2vm1EQ | 62.33566054152482 | 26242.766666666666 | 420.99123420991236 |
BASE/2pffa_zerosum/o0_uZA | 64.38138761944329 | 51655.333333333336 | 802.3333333333334 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 64.86977686666667 | 1000.3666666666667 | 15.421151651605342 |
DRESDEN/lightsout2/LFtfyQ | 65.24823256105984 | 173201.43333333332 | 2654.5 |
DRESDEN/pawn_whopping/4ogBkg | 65.69927066006179 | 119807.0 | 1823.5666666666666 |
DRESDEN/lightsout/XgLpzQ | 66.1626953327124 | 170488.03333333333 | 2576.8 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 66.3060797044879 | 116077.63333333333 | 1750.6333333333334 |
BASE/factoringEasyTurtleBrain/lUj94Q | 66.45274344089799 | 592601.2 | 8917.633333333333 |
DRESDEN/twisty-passages/j7NPyg | 66.74666416087202 | 153902.23333333334 | 2305.766666666667 |
BASE/chinook/XQh0IQ | 67.1489209730599 | 18554.866666666665 | 276.32412252924905 |
STANFORD/chinook/osFbPA | 67.58700812346974 | 17174.966666666667 | 254.11639224051729 |
BASE/dotsAndBoxes/EHwA_w | 67.7015730456502 | 84929.36666666667 | 1254.4666666666667 |
BASE/twisty-passages/DiZmmg | 67.88115272916822 | 151929.33333333334 | 2238.1666666666665 |
BASE/dotsAndBoxesSuicide/jzQbLw | 68.24409306644655 | 88189.56666666667 | 1292.2666666666667 |
DRESDEN/blockerparallel/dVQgSg | 68.56267574894943 | 33718.0 | 491.7836072130929 |
BASE/blockerParallel/7-nDJA | 68.80265622105095 | 33502.36666666667 | 486.93420438637423 |
STANFORD/platformjumpers/HEQskA | 69.4392255959975 | 30840.533333333333 | 444.137057529498 |
BASE/chineseCheckers1/gqtwHw | 69.5426832188091 | 387278.56666666665 | 5568.933333333333 |
BASE/chineseCheckers4/avfBcQ | 70.60646291430415 | 102111.06666666667 | 1446.2 |
BASE/2pffa/6oHijA | 70.79397449821005 | 58666.96666666667 | 828.7 |
BASE/lightsOut/5P1ZBw | 71.50132943366125 | 179277.66666666666 | 2507.3333333333335 |
BASE/checkersTorusNoKings/pwb6oQ | 72.52019650655022 | 30999.966666666667 | 427.46666666666664 |
BASE/2pttc/unkkYA | 73.24344419571474 | 61075.26666666667 | 833.8666666666667 |
STANFORD/freeforall/Lfp40Q | 73.36870816835017 | 60527.166666666664 | 824.9725009166361 |
BASE/factoringGeorgeForman/HGRorQ | 74.37423479196576 | 896216.9666666667 | 12050.1 |
BASE/smallest_4player/ADDROA | 74.63283225625176 | 70831.53333333334 | 949.0666666666667 |
DRESDEN/towerworld/HCX34w | 75.23670705426356 | 3232.7 | 42.96705858841555 |
BASE/breakthroughWalls/vOZaYA | 76.08001066329966 | 25105.566666666666 | 329.98900036665447 |
BASE/checkersBarrelNoKings/rnKNeg | 76.08203482735476 | 34005.0 | 446.9517682743909 |
BASE/breakthroughHoles/nZk0Sg | 76.42130220682108 | 27934.533333333333 | 365.53333333333336 |
BASE/wallmaze/uxNQ9g | 76.53844514203774 | 131661.43333333332 | 1720.2 |
BASE/withConviction/3Xm54A | 77.0836978039685 | 111622.33333333333 | 1448.0666666666666 |
BASE/connectFourLarge/aU644A | 78.17167017646963 | 159618.73333333334 | 2041.9 |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 78.85922807017543 | 37458.13333333333 | 475.0 |
BASE/englishDraughts/jFkQxg | 79.3359262140238 | 47596.26666666667 | 599.9333333333333 |
DRESDEN/firefighter/WJmoPw | 80.16866467929309 | 971592.1666666666 | 12119.350753232902 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 80.98395024576186 | 80732.9 | 996.9 |
BASE/skirmishFinal3/-Olhfw | 81.90399305936073 | 5976.8 | 72.97324314418047 |
BASE/breakthrough/TGxk-g | 82.10622871259274 | 25941.966666666667 | 315.95613479550684 |
BASE/breakthroughSuicide/wZDpIg | 82.11618344754876 | 25962.4 | 316.1666666666667 |
BASE/firefighter/WJmoPw | 82.59998587731734 | 1013782.6666666666 | 12273.4 |
DRESDEN/ticblock/Z2yNWQ | 82.6483415605785 | 159056.73333333334 | 1924.5 |
DRESDEN/skirmishfinal/hzq8ww | 83.015510442195 | 5192.1 | 62.543733964213125 |
BASE/ticblock/T21C1g | 83.62386773370855 | 158481.16666666666 | 1895.1666666666667 |
DRESDEN/smallest_4player/ADDROA | 85.64011911769799 | 82440.03333333334 | 962.6333333333333 |
STANFORD/connectfour/VMpZkQ | 87.1291931958567 | 244496.13333333333 | 2806.133333333333 |
DRESDEN/sat_test_20v_91c/dK7nVw | 87.36169888146163 | 305384.4666666667 | 3495.633333333333 |
DRESDEN/connect4/T0-rHQ | 87.65669232679414 | 70598.7 | 805.4 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 88.48873840167614 | 315350.26666666666 | 3563.733333333333 |
DRESDEN/tpeg/h-Scbg | 89.35951053283767 | 38460.333333333336 | 430.4 |
BASE/skirmishFinal2/gdB62Q | 89.67610942408376 | 5136.9 | 57.28281515545336 |
STANFORD/checkersonabarrelnokings/Zrevdw | 89.83140987422509 | 33488.03333333333 | 372.7875737475417 |
BASE/tpeg/QNs7Lw | 90.76773218829517 | 38049.833333333336 | 419.2 |
BASE/skirmishFinal1/ecWTnQ | 92.19209675090252 | 5105.4 | 55.37784886045582 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 92.51554042851988 | 316215.0333333333 | 3417.9666666666667 |
BASE/connectFour_9x6/B9TtMw | 92.53904318936877 | 232118.76666666666 | 2508.3333333333335 |
BASE/skirmishHoles/AUCxCA | 92.59670022883294 | 4045.6666666666665 | 43.69126174765047 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 92.877764375 | 944.9 | 10.173586825205062 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 94.82069834910548 | 366058.4666666667 | 3860.5333333333333 |
BASE/connectFourSuicide/c8p9Kw | 95.4554853965938 | 252963.4 | 2650.0666666666666 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 95.86250990047044 | 334857.3333333333 | 3493.1 |
BASE/skirmish/Y_psYQ | 97.55128764044944 | 3471.9 | 35.59050919754732 |
BASE/breakthroughSuicideSmall/XSbJog | 98.8034881217254 | 45887.63333333333 | 464.43333333333334 |
BASE/connectFour/WAIKTw | 101.64692480064096 | 270655.26666666666 | 2662.7 |
BASE/connect4/50bOyw | 103.81667812142038 | 75526.63333333333 | 727.5 |
BASE/blockerSerial/3eqDuw | 104.32075199411898 | 81200.56666666667 | 778.3740541981934 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 104.81325316029958 | 425901.6666666667 | 4063.4333333333334 |
BASE/minichess-evilconjuncts/4OpQzw | 106.5118272741705 | 44727.86666666667 | 419.93333333333334 |
BASE/strangeSkirmish/gc1zKA | 107.9808967659302 | 3744.0666666666666 | 34.67341704693069 |
BASE/connectFourSimultaneous/7ITr3g | 109.85256150036534 | 135305.4 | 1231.7 |
STANFORD/duidoku/3SoMaA | 110.01991689922481 | 7882.133333333333 | 71.6427857380873 |
DRESDEN/minichess-evilconjuncts/th24Tw | 110.07559916825599 | 46169.96666666667 | 419.43870408639424 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 110.3045532316964 | 431941.6 | 3915.9 |
BASE/sudokuGrade1/tDRNRw | 111.3661195652174 | 10586.5 | 95.06032931137923 |
BASE/qyshinsu/R08Lzw | 115.79331056412671 | 32773.36666666667 | 283.03333333333336 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 116.09891073846651 | 454407.26666666666 | 3913.9666666666667 |
STANFORD/triplesukoshi/Iu9mbA | 118.18813804505064 | 95318.73333333334 | 806.5 |
BASE/lightsOnSimultaneous/_VN6lw | 118.45027976485588 | 111493.3 | 941.2666666666667 |
BASE/dualConnect4/WbCQkg | 118.7131541473834 | 177848.13333333333 | 1498.1333333333334 |
STANFORD/alquerquezero/uVgA_A | 118.8420976175363 | 31202.933333333334 | 262.55791473617546 |
BASE/sudokuGrade4/DTy07w | 118.87982572519083 | 10381.133333333333 | 87.32460087324601 |
BASE/sudokuGrade5/BQfUQA | 119.61091238309017 | 10656.266666666666 | 89.0910908909109 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 120.17420202933081 | 487566.76666666666 | 4057.1666666666665 |
BASE/peg/fJHVWw | 120.42461188164586 | 40516.166666666664 | 336.44423705086325 |
DRESDEN/peg_bugfixed/u_B7MA | 121.80204583417255 | 40315.13333333333 | 330.98896703443216 |
DRESDEN/peg/Vo31eg | 121.98848439432771 | 39665.26666666667 | 325.155828139062 |
BASE/sudokuGrade2/u80Tfw | 124.49231387485425 | 10674.8 | 85.74665911287366 |
BASE/ticTacHeavenFC/mrletw | 124.77440331042635 | 56285.73333333333 | 451.1 |
BASE/ticTacToeSerial/Amrwqw | 124.89133448873484 | 120103.83333333333 | 961.6666666666666 |
STANFORD/sudoku/oJ1qyQ | 126.54305586795357 | 10051.066666666668 | 79.42803813079128 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 130.70259483504265 | 352592.0333333333 | 2697.6666666666665 |
BASE/3pConnectFour/PqXOFQ | 131.35664470018637 | 227899.4 | 1734.9666666666667 |
DRESDEN/cubicup/SBn_lw | 132.2807678225849 | 84302.53333333334 | 637.3 |
BASE/cubicup/4wNWJA | 135.55273976166933 | 86830.56666666667 | 640.5666666666667 |
BASE/futoshiki4/BaCwSw | 135.83649134269845 | 138598.5 | 1020.3333333333334 |
BASE/sudokuGrade6E/ihYFZA | 136.85480193423598 | 9432.6 | 68.92414344754033 |
BASE/ticTacHeaven/18n58A | 136.96554494331875 | 51147.5 | 373.43333333333334 |
BASE/sudokuGrade6H/ieE_9A | 137.08692235294117 | 9321.6 | 67.99773340888638 |
BASE/sudokuGrade3/eI8dvg | 140.64393512224208 | 10479.866666666667 | 74.51346307651293 |
BASE/lightsOnSimul4/9FeASw | 141.62389887025333 | 94854.96666666666 | 669.7666666666667 |
BASE/pegEuro/5awwhg | 142.57621438041815 | 37275.2 | 261.4405226144052 |
BASE/cubicup_3player/e2yA_g | 143.68135719711725 | 49175.7 | 342.2552581580614 |
STANFORD/skirmish/w4V6Vw | 143.8087844325609 | 5373.433333333333 | 37.36512588250966 |
DRESDEN/satlike_20v_91c/yeuENQ | 145.6779125 | 945.5 | 6.4903456109037805 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 156.11028458333334 | 1143.7 | 7.326230959430996 |
DRESDEN/cubicup_3player/awDtsQ | 159.79622695368292 | 52205.53333333333 | 326.70066326700663 |
STANFORD/pentago/ZxzLmg | 162.6111296477357 | 89807.13333333333 | 552.2815906136462 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 173.1886607651903 | 143239.56666666668 | 827.0724309189694 |
BASE/tictactoe_3d_small_2player/oOryKA | 177.9084370765832 | 144945.3 | 814.7185281471852 |
STANFORD/madness/UO_B3A | 185.0740101105845 | 6503.666666666667 | 35.1408966757711 |
BASE/cittaceot/fDxhXg | 204.17852452434698 | 42209.1 | 206.72644245191827 |
BASE/conn4/va9Y7A | 204.7947598253275 | 178212.4 | 870.2 |
BASE/checkersTiny/Lr48cg | 233.84957961037406 | 43477.53333333333 | 185.92093860409307 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 235.0587448444989 | 70290.4 | 299.03333333333336 |
BASE/four_way_battle/xSOQXA | 238.35607613469986 | 27132.866666666665 | 113.83333333333333 |
BASE/futoshiki5/TJ4BZg | 243.62495354886659 | 87412.63333333333 | 358.8 |
STANFORD/multiplesukoshi/vLSQPg | 265.96166288465423 | 131655.5 | 495.01683277224095 |
DRESDEN/four_way_battle/xSOQXA | 266.33010860869564 | 30624.9 | 114.98850114988501 |
BASE/tictactoe_3d_2player/IUC1rQ | 267.1334605371383 | 82992.83333333333 | 310.6792880474635 |
BASE/checkers/rOC3Xg | 289.77677592592596 | 15115.766666666666 | 52.16348556010792 |
BASE/checkersSmall/SYmq8w | 294.6990014876251 | 24871.766666666666 | 84.39718676044131 |
DRESDEN/gt_ultimatum/pAiiQw | 307.2937389430285 | 54639.1 | 177.80739753415529 |
BASE/futoshiki6/JmvXNA | 309.15899447244624 | 61335.1 | 198.39338688710376 |
BASE/slidingpieces/uFJWEw | 336.2617531088868 | 73910.33333333333 | 219.8 |
BASE/gt_ultimatum/GE-uOA | 344.5674182222222 | 62009.73333333333 | 179.9640071985603 |
DRESDEN/slidingpieces/s9_44g | 346.5811320754717 | 76536.66666666667 | 220.83333333333334 |
BASE/checkers-newgoals/0XkFiA | 373.29487591442376 | 18022.933333333334 | 48.28068772491004 |
BASE/knightmove/jBaJEw | 390.17908637167403 | 208318.26666666666 | 533.9042351137916 |
DRESDEN/pentago_2008/hLjVpQ | 391.8674106040401 | 88154.16666666667 | 224.9591680277324 |
DRESDEN/knightmove/97Ipcw | 394.72674886919884 | 212349.83333333334 | 537.9666666666667 |
BASE/nonogram_5x5_1/qLKEZw | 399.41550564924114 | 157897.0 | 395.3201559948002 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 406.95465231621347 | 44899.166666666664 | 110.32965567814406 |
BASE/nim3/1OwUqw | 521.403809651004 | 89139.7 | 170.9609679677344 |
DRESDEN/nim3/sG_axA | 521.8464716384601 | 93498.0 | 179.16763853253806 |
BASE/hidato19/rRHSmA | 522.3886323833784 | 109370.76666666666 | 209.36666666666667 |
BASE/nim1/hin2Qw | 522.5058504103043 | 223547.93333333332 | 427.8381441237251 |
DRESDEN/nim4/F5YAYg | 553.3898742857143 | 102004.8 | 184.3271890936969 |
BASE/nim2/eF2Qqw | 570.1676748313384 | 174643.9 | 306.302703063027 |
BASE/nim4/twk16w | 572.6268796115909 | 103851.96666666666 | 181.36062131262292 |
DRESDEN/nim1/M9BALA | 582.7320916033509 | 232630.56666666668 | 399.2067195520299 |
BASE/tictactoe_3d_small_6player/g_9lww | 592.1754238710761 | 117586.3 | 198.56666666666666 |
DRESDEN/nim2/z5_exA | 609.9819735556064 | 178062.2 | 291.9138724085061 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 641.6479636503856 | 124763.1 | 194.44166749975008 |
DRESDEN/pawntoqueen/f_x6Aw | 667.0110019927537 | 24523.933333333334 | 36.76690978119692 |
BASE/othelloSuicide/B442jg | 703.5721066082513 | 3094.8919645524247 | 4.39882697947214 |
BASE/simultaneousWin2/PfjRjw | 778.7339025402005 | 111362.63333333333 | 143.00473238685595 |
BASE/othelloHoles/c0qAzw | 832.0985921473851 | 4020.0659978000735 | 4.831237590999338 |
DRESDEN/Zhadu/9zpQ5w | 864.2362712403951 | 26243.1 | 30.365654478184062 |
DRESDEN/grid_game2/kypTYQ | 939.5040330539119 | 190512.36666666667 | 202.77972202779722 |
BASE/guess/SPpk1A | 993.9843983953318 | 30125.733333333334 | 30.30805451470637 |
BASE/pawnToQueen/-O1_JA | 1044.9823575757575 | 39435.26666666667 | 37.73773440362389 |
BASE/hitori/S8Gsyg | 1046.0324155172414 | 60633.5 | 57.96522086747951 |
BASE/tictactoe_3d_6player/d7KSwg | 1050.0911518583812 | 79403.36666666667 | 75.61568967240977 |
DRESDEN/hitori/S8Gsyg | 1117.9271908045978 | 60484.86666666667 | 54.1044776119403 |
BASE/checkers-mustjump-torus/uSApKQ | 1133.3814131944446 | 5415.5 | 4.778179646281979 |
BASE/chess_200/XsTpYA | 1151.6496256410255 | 3405.0333333333333 | 2.9566573526544935 |
BASE/racer4/0vs7Ww | 1245.6376217194568 | 9144.8 | 7.341460983955088 |
DRESDEN/racer/vk_ZBA | 1293.172928205128 | 2738.1666666666665 | 2.117401785132582 |
DRESDEN/guess/PhxGhg | 1302.4212569757728 | 34200.933333333334 | 26.25950179341209 |
BASE/checkers-mustjump/T-8UuQ | 1306.002946708464 | 13852.533333333333 | 10.60681629260183 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 1366.4739533965246 | 9595.833333333334 | 7.022331680367424 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 1392.1450023463162 | 98888.7 | 71.03333333333333 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 1467.9813167539266 | 9336.5 | 6.360094568945423 |
DRESDEN/battle/8oAvhQ | 1666.766814438944 | 44840.76666666667 | 26.90284344409669 |
BASE/battle/8oAvhQ | 1677.9553584905661 | 47414.4 | 28.25724758413862 |
BASE/racer/QQYQNw | 1732.5853361111112 | 2682.366666666667 | 1.5481873306670106 |
BASE/hidato37/pBrqxw | 1903.8540044025158 | 40345.566666666666 | 21.19152339064374 |
BASE/nonogram_10x10_1/0Xc62g | 1908.5478202298848 | 73770.13333333333 | 38.652494085501985 |
DRESDEN/othello-cornercontrol/r5Gdlg | 2533.437917799353 | 8652.566666666668 | 3.4153458452152 |
BASE/cephalopodMicro/9l2D3g | 2955.6707423076923 | 51175.333333333336 | 17.314287616954683 |
DRESDEN/CephalopodMicro/H3XQfg | 3186.254314223195 | 48490.4 | 15.218621998734557 |
BASE/copolymer_4_pie/IN5_jA | 4422.09226627219 | 99598.0 | 22.52282268274805 |
BASE/copolymer_4/2LDVhQ | 6439.909543815863 | 128905.43333333333 | 20.016652789342213 |
DRESDEN/quad/JPe6fg | 7677.626187012987 | 12257.966666666667 | 1.5965828979016339 |
BASE/quad/tw-Ufg | 8382.226971851851 | 12269.466666666667 | 1.463747845037895 |
DRESDEN/quad_7x7/q-JOXg | 8600.78349557522 | 32337.0 | 3.7597737481284312 |
DRESDEN/quad_5x5_8_2/JRTLJg | 9969.276878969957 | 73308.13333333333 | 7.35340528940226 |
BASE/blokbox_simple/JBx4bg | 10250.18046969697 | 3549.5666666666666 | 0.3462930898787974 |
DRESDEN/ggp-course2013_michal13/jWKddg | 11287.232530532212 | 89316.13333333333 | 7.913023240349769 |
BASE/quad_5x5/JAEP5g | 11721.499035714285 | 72450.76666666666 | 6.181015452538631 |
BASE/quad_7x7/q-JOXg | 14987.223764516128 | 34067.7 | 2.2731161244592184 |
BASE/golden_rectangle/_nYzfw | 15106.237726851852 | 72461.63333333333 | 4.796802131912059 |
DRESDEN/quad_5x5/JAEP5g | 15308.400091216216 | 74751.5 | 4.883038041505824 |
DRESDEN/fizzbuzz/t1xHzQ | 17266.624660546448 | 526509.2 | 30.492884993501516 |
STANFORD/selectivesukoshi/3xmXYg | 27888.963858741256 | 117111.7 | 4.199213014623833 |
BASE/battlebrushes/arCwyA | 51229.89251052632 | 14837.7 | 0.28962973125409675 |
BASE/colonelBlotto/jip21A | 125582.19666666667 | 6431.866666666667 | 0.05121638924455826 |
DRESDEN/golden_rectangle/1uloXw | 411743.8957 | 73475.4 | 0.17844927579335573 |
BASE/ad_game_2x2/D0aWqg | 657346.1736000001 | 13479.6 | 0.02050609030882172 |
Games with errors:
Game | ALLOY_DIFF_PROP_NET:1 error message | PALAMEDES_JOCULAR:0.6.1 error message |
DRESDEN/cylinder-checkers/clOO3Q | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
DRESDEN/checkers-newgoals/IJOqXQ | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
DRESDEN/ggp-course2013_nicolai/uEin8g | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | |
BASE/sudoku/NTaNkw | Test process timed out after 240 seconds | |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | Exception of type NullPointerException | |
DRESDEN/pancakes88/aD3E7g | Test process timed out after 240 seconds | |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | |
BASE/cylinder-checkers/hlldmw | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
DRESDEN/checkers-mustjump-torus/cVc3gA | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | |
DRESDEN/battlesnakes2011/93VtTw | Test process timed out after 240 seconds | |
DRESDEN/farmers/S_ASnw | Test process timed out after 240 seconds | |
BASE/factoringImpossibleTurtleBrain/kcBhdw | OutOfMemoryError: Java heap space | |
DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | |
DRESDEN/battlesnakes1509/-qZrLw | Test process timed out after 240 seconds | |
DRESDEN/checkers/jIDMIg | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
BASE/mummymaze1p/PT_EXA | Exception of type NullPointerException | |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | |
DRESDEN/merrills/aYEzwA | OutOfMemoryError: GC overhead limit exceeded | |
DRESDEN/checkers-mustjump/HUr33w | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | Test process timed out after 240 seconds | |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | |
BASE/merrills/pku8Tg | OutOfMemoryError: GC overhead limit exceeded | |
BASE/biddingTicTacToe/8mESVw | IllegalArgumentException: bound must be positive | |
BASE/ruleDepthExponential/UamhHQ | Exception of type NullPointerException | |
DRESDEN/capture_the_king/EQ229Q | Exception of type NullPointerException | |
BASE/catcha_mouse/cHv4dw | Exception of type NullPointerException | |
BASE/knightazons/apnJBQ | Exception of type NullPointerException | |
DRESDEN/connectfoursuicide/M9CNQg | Exception of type NullPointerException | |
BASE/ttcc4_2player_alt/ZEJvYA | Exception of type NullPointerException | |
DRESDEN/pacman3p/rBnk8Q | Exception of type NullPointerException | |
DRESDEN/bomberman2p/x4h6jQ | Exception of type NullPointerException | |
DRESDEN/babel/WdSW4A | Exception of type NullPointerException | |
BASE/choicethroughalt/tt71Lg | Exception of type NullPointerException | |
BASE/ttcc4_2player/_aH_Mw | Exception of type NullPointerException | |
DRESDEN/SC_TestOnly_enabled/09o7gQ | Exception of type NullPointerException | |
DRESDEN/breakthrough/z4hK7Q | Exception of type NullPointerException | |
BASE/wargame02/BkVqqQ | Exception of type NullPointerException | |
BASE/biddingTicTacToe_10coins/a-9ccQ | IllegalArgumentException: bound must be positive | |
BASE/queens/HyJJnQ | Test process timed out after 240 seconds | |
STANFORD/untwistycomplex/HTWEwg | Exception of type NullPointerException | |
BASE/mummyMaze2p_2007/YGA3Vw | Exception of type NullPointerException | |
BASE/snakeParallel/RCVNtw | Exception of type NullPointerException | |
BASE/gt_attrition/kD_SCA | IllegalArgumentException: bound must be positive | |
BASE/pentago/86NgKw | Exception of type NullPointerException | |
BASE/gt_two_thirds_4p/DStnxQ | IllegalArgumentException: bound must be positive | |
DRESDEN/mummymaze2p-comp2007/oTQRQg | Exception of type NullPointerException | |
BASE/asteroidsSerial/id2QkA | Exception of type NullPointerException | |
BASE/ttcc4_2player_small/Cv72TA | Exception of type NullPointerException | |
DRESDEN/tttcc4/sAvtFg | Exception of type NullPointerException | |
BASE/reversiSuicide/9OxJlg | Test process timed out after 240 seconds | |
BASE/ruleDepthLinear/OUBJpQ | Exception of type NullPointerException | |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | IllegalArgumentException: bound must be positive | |
BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | |
DRESDEN/catcha_mouse/cHv4dw | Exception of type NullPointerException | |
BASE/tttcc4/8Bs2lg | Exception of type NullPointerException | |
DRESDEN/backgammon/mqCW0Q | Exception of type NullPointerException | |
BASE/breakthroughSmall/HJ0tIA | Exception of type NullPointerException | |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | Exception of type NullPointerException | |
BASE/reversi/d8UMeA | Test process timed out after 240 seconds | |
BASE/amazons/RKKZjw | Exception of type NullPointerException | |
DRESDEN/Goldrush/VeWczQ | Exception of type NullPointerException | |
BASE/wargame01/_GZFZg | Exception of type NullPointerException | |
BASE/shmup/ssTNlg | Exception of type NullPointerException | |
BASE/amazonsTorus_10x10/Uxc08g | Exception of type NullPointerException | |
BASE/queens08lg/Ru7eqQ | Test process timed out after 240 seconds | |
BASE/colonelBlottoVariant2/jruwGw | IllegalArgumentException: bound must be positive | |
BASE/amazons_10x10/Bun8dA | Exception of type NullPointerException | |
BASE/colonelBlottoVariant/X-n-KQ | IllegalArgumentException: bound must be positive | |
DRESDEN/amazons/dNB28A | Exception of type NullPointerException | |
DRESDEN/connectfour/5tc-Mg | Exception of type NullPointerException | |
BASE/asteroids/BKCmPQ | Exception of type NullPointerException | |
BASE/majorities/ibJzSQ | IllegalArgumentException: bound must be positive | |
BASE/zhadu/DlA8iQ | ClassCastException: stanfordlogic.prover.VariableFact cannot be cast to stanfordlogic.prover.GroundFact | |
DRESDEN/battlebrushes/QHXV4A | Exception of type NullPointerException | |
DRESDEN/breakthroughsuicide/Y9QzqQ | Exception of type NullPointerException | |
BASE/ttcc4/Le0qjQ | Exception of type NullPointerException | |
BASE/queens08ug/kJ_ZFQ | Test process timed out after 240 seconds | |
DRESDEN/breakthroughsuicide_v2/LU1nAw | Exception of type NullPointerException | |
BASE/queens16ug/gT-ylw | Test process timed out after 240 seconds | |
BASE/amazonsSuicide_10x10/XIbQkg | Exception of type NullPointerException | |
DRESDEN/bidding-tictactoe/yW5vTA | IllegalArgumentException: bound must be positive | |
BASE/pentagoSuicide/SBgNhw | Exception of type NullPointerException | |
BASE/queens06ug/7Lq3tw | Test process timed out after 240 seconds | |
BASE/queens12ug/u6Bkmg | Test process timed out after 240 seconds | |
DRESDEN/knightazons/02I8BQ | Exception of type NullPointerException | |
BASE/wargame03/klXI8w | Exception of type NullPointerException | |
STANFORD/pilgrimage/ObRZnQ | Exception of type NullPointerException | |
BASE/othello-comp2007/86ZoMw | Exception of type NullPointerException | |
BASE/knightThrough/gcwFjA | Exception of type NullPointerException | |
BASE/amazons_8x8/7SOsIw | Exception of type NullPointerException | |
DRESDEN/knightthrough/J7Fc_Q | Exception of type NullPointerException | |
DRESDEN/queens/mW2wHQ | Test process timed out after 240 seconds | |
BASE/asteroidsParallel/WauZiA | Exception of type NullPointerException | |
DRESDEN/ghostmaze2p/HY0UwA | Exception of type NullPointerException | |
BASE/mineClearingSmall/frsbvw | Exception of type NullPointerException | |
BASE/gt_two_thirds_2p/1APDGg | IllegalArgumentException: bound must be positive | |
STANFORD/ttcc4/Cx9SGw | Exception of type NullPointerException | |
BASE/amazonsTorus/soxT8g | Test process timed out after 240 seconds | Exception of type NullPointerException |
BASE/alexChess/LNo83g | Test process timed out after 240 seconds | Exception of type StackOverflowError |
DRESDEN/knightwar/7hhAqg | Test process timed out after 240 seconds | Exception of type NullPointerException |
BASE/gt_two_thirds_6p/867v3Q | Test process timed out after 240 seconds | IllegalArgumentException: bound must be positive |
BASE/slaughter/cOch8A | Test process timed out after 240 seconds | Exception of type NullPointerException |
DRESDEN/small_dominion/yB5GJA | Test process timed out after 240 seconds | Exception of type NullPointerException |
DRESDEN/god/2EDD5w | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/knightwar/DVGY4Q | Exception of type NullPointerException | Exception of type NullPointerException |
BASE/god/qF06gw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/amazonsSuicide/dE1QEQ | Test process timed out after 240 seconds | Exception of type NullPointerException |