index

GGP_BASE_PROVER:2015-04-26

Comparison with GGP-Base Prover:

Median speedup1.0
Mean speedup1.0
Geometric mean speedup1.0
Ratio of # state changes with 1 second per game1.0
Ratio of times to run 1000 states per game1.0
Number of games with errors0

Comparison with other engines:

EngineWe're faster in N gamesOnly they failThey're faster in N gamesOnly we fail
ALLOY_DIFF_PROP_NET:1 (comparison)6365140
PALAMEDES_JOCULAR:0.6.1 (comparison)175852960
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 (comparison)52212220
SANCHO_DEAD_RECKONING_PROPNET:1.61c (comparison)1545010
ALLOY_TUPLE_PROVER:2 (comparison)525490
CADIAPLAYER_PROLOG:3.0 (comparison)591633340
REKKURA_GENERIC_FORWARD_PROVER:1.0.0 (comparison)51313300
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 (comparison)51314290
REKKURA_BACKWARD_PROVER:1.0.0 (comparison)418131250
REKKURA_BACKWARD_PROVER_OSTD:1.0.0 (comparison)425141170
PALAMEDES_JAVA_ECLIPSE:0.6.1 (comparison)10794400
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 (comparison)50417350
ALLOY_COMPILED_PROVER_CACHING:2 (comparison)065500
FLUXPLAYER_PROLOG:1.1 (comparison)130423840

Game-by-game statistics:

GameAverage state changes per secondRanking
STANFORD/buttonsandlights/eyhJpA37069.533333333338
BASE/haystack/UkweGA37056.3333333333368
BASE/onestep/xi53wA34831.59
BASE/ruleDepthLinear/OUBJpQ32371.2333333333347
BASE/survival/YVIjJA28649.53333333333310
BASE/pearls/6k_mEQ25159.3333333333329
STANFORD/untwistycorridor/EDPPAQ23520.8666666666657
BASE/untwistycomplex2/EDPPAQ22682.28
DRESDEN/buttons/ADUaHw22636.18
DRESDEN/pancakes/hl9aiQ22527.0666666666666
BASE/buttons/hTcUjw22097.9666666666678
BASE/pancakes6/QZTdnw22006.6666666666686
DRESDEN/pancakes6/SZXMyQ21890.4333333333346
BASE/pancakes/yUgbXw21873.7333333333346
BASE/troublemaker01/s3tlEQ20052.26666666666610
DRESDEN/troublemaker01/C-lPWw19540.13333333333510
DRESDEN/fizzbuzz/t1xHzQ19373.85
BASE/troublemaker02/DI83KA18514.510
DRESDEN/troublemaker02/iZLVuA17873.910
BASE/pancakes88/l2Xaig17653.76
BASE/maze/cCX3qQ17153.4666666666679
DRESDEN/pancakes88/aD3E7g17074.4333333333346
DRESDEN/statespacesmall/h-NqjA16923.9666666666678
BASE/stateSpaceSmall/Q7osKA16527.1666666666688
DRESDEN/Runners/3bOCQw15355.2333333333345
STANFORD/knightstourmedium/x1wu8Q14701.58
DRESDEN/Travelers-Dilemma/PvZwYw14686.74
DRESDEN/knightstour/cGISAA14662.3666666666678
STANFORD/knightstour/cEwgNA14538.3333333333348
BASE/point_grab/V_osUg14421.8666666666677
DRESDEN/point_grab/r5DPmQ13952.0333333333337
STANFORD/multiplebuttonsandlights/cK70Yg13706.4333333333328
BASE/knightsTourLarge/M8jgLA13699.4666666666678
DRESDEN/roshambo2/jgSlkQ13624.6666666666668
STANFORD/multiplebuttonsandlights_9/SqB9BA13624.2666666666668
BASE/knightsTour/mvtVIg13592.1333333333338
BASE/roshambo2/KNPokQ13344.8666666666678
BASE/duplicateStateSmall/bCPAXw13250.2666666666668
STANFORD/knightstourbig/TQUI2g13232.9333333333328
STANFORD/untwistycomplex/HTWEwg12223.26
BASE/stateSpaceMedium/3bUoIw12140.7666666666667
DRESDEN/statespacemedium/dVJZ_w12073.7333333333348
STANFORD/bestbuttonsandlights/nm0wEA11500.6666666666669
BASE/switches/tPUoCg11317.73333333333410
BASE/gt_centipede/9fRMpw10882.78
BASE/gt_tinfoil/Q8DyKg10489.1666666666666
STANFORD/threepuzzle/41ibjA9825.89
STANFORD/3puzzle/41ibjA9633.2333333333349
BASE/nim1/hin2Qw9619.2666666666665
DRESDEN/nim1/M9BALA9525.5666666666685
STANFORD/bestbuttonsandlightsbig/g0JC6g9265.3666666666678
DRESDEN/oisters_farm/pTQMLg9107.6666666666669
STANFORD/rainbow/_4qNSQ9090.68
BASE/gt_coordination/IVMOzA9037.7333333333347
BASE/blocksWorld/SEdXLQ8958.56666666666810
DRESDEN/blocks/vg0DRw8769.16666666666610
DRESDEN/nim2/z5_exA8723.45
BASE/nim2/eF2Qqw8677.85
DRESDEN/statespacelarge/8-y5HQ8673.8666666666677
BASE/gt_staghunt/xPjLRA8559.3333333333347
BASE/stateSpaceLarge/0Ge_CQ8456.5666666666687
BASE/blocks/xIV5hQ8428.53333333333310
BASE/gt_ultimatum/GE-uOA8163.3666666666675
BASE/gt_prisoner/klthDw8161.3666666666677
BASE/lightsOn/MsXu3A8122.5666666666679
BASE/asteroids/BKCmPQ8042.9333333333338
BASE/duplicateStateMedium/U163eQ7918.8333333333338
DRESDEN/nim3/sG_axA7739.6666666666675
DRESDEN/gt_ultimatum/pAiiQw7737.35
BASE/hanoi/iGLsJg7611.68
BASE/nim3/1OwUqw7608.55
BASE/gt_chicken/gmepTQ7592.1333333333337
BASE/nim4/twk16w7515.45
BASE/beatMania/qUHwvQ7399.57
BASE/gt_dollar/TGjqRw7390.38
DRESDEN/hanoi/RQ0jiA7347.7666666666668
DRESDEN/nim4/F5YAYg7346.1666666666675
DRESDEN/gt_chicken/CeuKtw7294.37
DRESDEN/circlesolitaire/ruUilQ7185.19
BASE/circlesolitaire/azuQFQ7159.2666666666669
DRESDEN/catch_me/ghGWrA7122.78
DRESDEN/gt_prisoner/huCp4w7086.37
DRESDEN/CatchMeIfYouCanTest/CX18rA7004.48
BASE/colonelBlottoVariant2/jruwGw6932.05
DRESDEN/blocks2player/3ev8nQ6911.08
BASE/blocks2player/wnTLOQ6880.5333333333348
DRESDEN/twisty-passages/j7NPyg6771.5333333333345
BASE/twisty-passages/DiZmmg6747.8333333333335
DRESDEN/hanoi7_bugfix/3gdnFw6744.57
STANFORD/jointbuttonsandlights/qAKuIQ6717.3666666666679
BASE/hanoi7_bugfix/3gdnFw6584.6333333333337
DRESDEN/Catch-Me-If-You-Can/ghGWrA6549.4333333333338
DRESDEN/Thief_Police/CX18rA6525.5333333333348
BASE/colonelBlottoVariant/X-n-KQ6494.75
DRESDEN/hanoi7/51zz5Q6346.87
BASE/firefighter/WJmoPw6296.4666666666667
DRESDEN/firefighter/WJmoPw6208.0333333333347
DRESDEN/2player_normal_form_2010/NG_Kdg6113.5666666666679
DRESDEN/hanoi_6_disks/MeubgQ5913.09
BASE/factoringGeorgeForman/HGRorQ5899.43333333333310
DRESDEN/lightson2x2/gBHuig5809.58
DRESDEN/vacuum_cleaner_1/eUNjpw5752.0666666666678
BASE/hanoi_6_disks/MeubgQ5620.19
BASE/hodgepodge/9yjRkw5233.86666666666710
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A4975.88
DRESDEN/kitten_escapes_from_fire/uW-YiA4903.69
DRESDEN/toetictac/mJtxCA4836.83333333333310
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA4823.88
BASE/toetictac/mTThmg4798.26666666666610
BASE/factoringMutuallyAssuredDestruction/NH0LGg4770.8333333333336
BASE/duplicateStateLarge/dcjyuw4764.4666666666667
STANFORD/dualrainbow/G3OnRQ4657.37
BASE/kitten_escapes_from_fire/uW-YiA4536.9333333333339
DRESDEN/aipsrovers01/qS47Mw4406.38
BASE/aipsrovers01/4C4jsw4400.2333333333348
BASE/chickentoetictac/l57rfQ4252.23333333333410
DRESDEN/sum15/CsgWKg4240.411
DRESDEN/vacuumcleaner_random/_6AGDA4233.2666666666666
STANFORD/hunter/14dD-g4219.5333333333348
BASE/snakeParallel/RCVNtw4174.3333333333338
BASE/sum15/QZ07Kg4107.83333333333311
DRESDEN/chickentoetictac/cxYaRQ4021.210
BASE/brain_teaser_extended/ZDp94A4020.2666666666679
BASE/tictactoe_orthogonal/WRzlVw3976.311
DRESDEN/tictactoe_orthogonal/y69QFQ3892.712
DRESDEN/smallest_4player/ADDROA3880.53333333333335
BASE/factoringEasyTurtleBrain/lUj94Q3857.56666666666669
DRESDEN/brain_teaser_extended/ZDp94A3813.93333333333349
BASE/smallest_4player/ADDROA3811.83333333333355
BASE/chineseCheckers1/gqtwHw3733.68
BASE/blocksWorldSerial/Wyg96Q3725.33333333333359
STANFORD/tictactoe/ss1kyQ3708.7333333333339
DRESDEN/SC_TestOnly_enabled/09o7gQ3650.16666666666656
BASE/lightsOnParallel/SC6enA3619.86666666666710
BASE/blocker/dIWtxg3587.8666666666679
STANFORD/8puzzle/jNiGtw3558.810
DRESDEN/blocker/S815zQ3536.86666666666711
BASE/ticTacToe/JRFsaQ3466.43333333333349
STANFORD/eightpuzzle/W_aWbA3460.39
BASE/ticTacToeNoVars/XT03NA3440.83333333333359
DRESDEN/tictactoe/BTTzPw3424.433333333333411
STANFORD/trifecta/ss1kyQ3398.19
BASE/eightPuzzle/vLrgFg3378.911
BASE/eotcatcit/AfZSzA3360.333333333333510
DRESDEN/8puzzle/8fKC2w3331.73333333333310
STANFORD/tictactoe7/-bE9-A3322.53333333333339
BASE/incredible/8Qh-6Q3317.610
DRESDEN/eotcatcit/mQUxzA3283.311
BASE/asteroidsParallel/WauZiA3246.46666666666678
DRESDEN/tictactoe-init1/3ltIBQ3206.73333333333310
BASE/tictactoe-init1/7M19vA3186.033333333333310
BASE/asteroidsSerial/id2QkA3164.08
STANFORD/tictactoe5/WFRReg3151.09
BASE/colonelBlotto/jip21A3124.15
BASE/tictactoe2/bhrDoQ3085.410
DRESDEN/knightfight/4_Ly4w3058.39
BASE/shmup/ssTNlg2949.03333333333337
BASE/chickentictactoe/DSlZCA2934.29
BASE/knightfight/SJRkAg2911.33333333333359
BASE/chineseCheckers2/eCMR3Q2892.68
DRESDEN/blocksworldparallel/2JfVaw2877.29
DRESDEN/chickentictactoe/Ipbo-g2876.466666666666711
STANFORD/tictactoe3/X7myng2809.79
BASE/tron_10x10/7ZTgDg2804.58
BASE/chomp/-LcqYQ2708.16666666666657
BASE/biddingTicTacToe/8mESVw2697.96666666666677
BASE/coloredtrails/EZvr7g2690.2666666666678
DRESDEN/bidding-tictactoe/yW5vTA2685.17
DRESDEN/chomp/-LcqYQ2656.43333333333347
BASE/queens06ug/7Lq3tw2653.16666666666656
DRESDEN/vacuumcleaner_random_big/DwzFaQ2615.44
DRESDEN/bidding-tictactoe_10coins/mu5VhQ2576.97
BASE/ghostMaze2p/W-NU-w2571.46
BASE/biddingTicTacToe_10coins/a-9ccQ2568.43333333333347
DRESDEN/smallest/9kaGFw2536.8666666666675
DRESDEN/cube_2x2x2/fp-34Q2521.79
BASE/gt_two_thirds_2p/1APDGg2510.83333333333356
DRESDEN/ghostmaze2p/HY0UwA2507.06666666666666
BASE/kalaha5x2x3/WviNsw2443.07
BASE/kalaha_2009/dRiN3g2414.1333333333336
DRESDEN/kalaha_2009/gcC8uA2360.8666666666676
BASE/chineseCheckers3/-1rZdQ2348.96666666666678
BASE/kalaha6x2x4/XS81Mg2293.57
DRESDEN/racer/vk_ZBA2203.06666666666665
BASE/racer/QQYQNw2182.33333333333355
BASE/gt_attrition/kD_SCA2158.3666666666675
BASE/eotcitcit/V_9_bg2150.912
BASE/numbertictactoe/rvJ-iQ2138.59
BASE/ticTicToe/c1OobQ2135.711
STANFORD/dualhunter/1rPZjQ2101.56666666666667
DRESDEN/tictictoe/LAUtwg2085.033333333333312
STANFORD/tictictoe/rpt_Dw2037.033333333333312
DRESDEN/chinesecheckers1/Y-ftaA1994.29
BASE/lightsOnSimultaneous/_VN6lw1844.43333333333346
DRESDEN/mummymaze1p/AekgaQ1819.76666666666675
DRESDEN/ticblock/Z2yNWQ1794.63333333333347
DRESDEN/latenttictactoe/kITHKg1757.566666666666612
BASE/knightmove/jBaJEw1751.43333333333346
STANFORD/sukoshi/4LYZZQ1748.511
BASE/2pffa_zerosum/o0_uZA1747.86666666666668
DRESDEN/knightmove/97Ipcw1745.03333333333336
BASE/knightwar/DVGY4Q1744.06666666666664
BASE/ticblock/T21C1g1740.97
BASE/solitaireChineseCheckers/-ET6gw1713.67
BASE/mummymaze1p/PT_EXA1690.35
DRESDEN/knightwar/7hhAqg1682.23333333333334
DRESDEN/logistics/fPru1Q1681.46666666666677
BASE/minichess/8NQEiA1680.78
STANFORD/freeforall/Lfp40Q1664.17
BASE/2pffa/6oHijA1663.43333333333347
DRESDEN/3pffa/0YrmQw1654.06666666666668
BASE/queens08ug/kJ_ZFQ1647.86
BASE/mummyMaze2p_2007/YGA3Vw1635.03333333333338
BASE/copolymer_4/2LDVhQ1634.13333333333345
BASE/2pttc/unkkYA1596.28
DRESDEN/3pttc/uwYBZw1521.29
DRESDEN/mummymaze2p-comp2007/oTQRQg1511.03333333333338
DRESDEN/tictactoelargesuicide/6J4DeA1506.116462784573711
DRESDEN/tictactoeparallel/yk_DSg1481.73333333333339
BASE/3pffa/pR0dzA1471.96666666666677
DRESDEN/chinesecheckers2/06E6-Q1469.46666666666677
BASE/blockerSerial/3eqDuw1456.96
BASE/copolymer_4_pie/IN5_jA1452.66666666666675
BASE/chineseCheckers6/rREH3A1446.73333333333338
BASE/double_tictactoe_dengji/zgaSbA1443.59
BASE/quartoSuicide/-23jUg1436.39
DRESDEN/Goldrush/VeWczQ1432.17
DRESDEN/lightsout2/LFtfyQ1431.933333333333411
DRESDEN/double_tictactoe_dengji/bGaUyQ1421.63333333333349
BASE/catcha_mouse/cHv4dw1418.86
DRESDEN/catcha_mouse/cHv4dw1417.66666666666676
DRESDEN/tictactoelarge/IwXcbg1415.433333333333411
DRESDEN/quartosuicide/WIU1oQ1415.49
BASE/lightsOnSimul4/9FeASw1413.76
BASE/ticTacToeParallel/ymRGPw1409.06666666666669
BASE/quarto/EwBMVQ1408.49
DRESDEN/quarto/OQzRYQ1403.69
BASE/ticTacToeLarge/TZC0dg1400.011
BASE/racetrackcorridor/_RkdUg1399.56666666666667
BASE/ticTacToeLargeSuicide/727_8g1385.111
DRESDEN/racetrackcorridor/O0DoTA1374.36666666666667
BASE/3pttc/0sol9g1353.43333333333348
BASE/bomberman2p/4CClwA1339.78
BASE/doubletictactoe/HH1htg1326.066666666666611
DRESDEN/max_knights/hCipiA1316.76666666666677
DRESDEN/chinesecheckers3/QsCb2A1306.78
DRESDEN/doubletoetictac/V89gKQ1302.866666666666611
BASE/doubletoetictac/fu35bg1300.066666666666611
DRESDEN/doubletictactoe/lJzgmQ1291.112
BASE/crisscross/ICagEg1284.66666666666678
BASE/bunk_t/xbpfIA1284.412
DRESDEN/crisscross/GsY16g1272.68
BASE/4pffa/Q3ADlg1263.96666666666677
DRESDEN/knightthrough/J7Fc_Q1261.36666666666667
DRESDEN/bomberman2p/x4h6jQ1250.06666666666667
DRESDEN/battlesnakes2011/93VtTw1246.76666666666674
BASE/chineseCheckers4/avfBcQ1242.19
DRESDEN/bunk_t/7-tPfA1239.833333333333313
DRESDEN/battlesnakes1509/-qZrLw1228.26666666666674
DRESDEN/lightsout/XgLpzQ1217.966666666666711
BASE/checkLines/Vop7oQ1208.66666666666678
BASE/max_knights/2fq3Ag1197.57
DRESDEN/minichess/c7GMFw1189.06666666666668
BASE/ttcc4_2player_small/Cv72TA1187.67
DRESDEN/4pttc/9pB9AQ1179.16666666666678
STANFORD/alquerquezero/uVgA_A1165.86
BASE/ticTacToeSerial/Amrwqw1157.36666666666668
DRESDEN/mummymaze2p/k-8edg1145.46
BASE/mummymaze2p/vpjDdA1143.56
BASE/lightsOut/5P1ZBw1127.111
STANFORD/breakthrough/d5j0cQ1121.19
DRESDEN/farmers/S_ASnw1118.66666666666675
BASE/gt_two_thirds_4p/DStnxQ1105.76666666666675
BASE/knightThrough/gcwFjA1105.63333333333347
BASE/simultaneousWin2/PfjRjw1087.26
DRESDEN/uf20-010.cnf.SAT/5ICbCg1078.16666666666679
DRESDEN/grid_game/U7_Yeg1067.16666666666679
DRESDEN/uf20-020.cnf.SAT/hDrW_A1056.63333333333349
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw1044.46666666666679
DRESDEN/uf20-01.cnf.SAT/42Rs8A1040.66666666666677
BASE/4pttc/AL1k2Q1029.53333333333337
BASE/connectFourSuicide/c8p9Kw1022.03333333333339
DRESDEN/connectfour/5tc-Mg1020.36666666666678
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA1016.13333333333339
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ1014.43333333333339
STANFORD/connectfour/VMpZkQ1013.59
DRESDEN/sat_test_20v_91c/dK7nVw1012.59
DRESDEN/connectfoursuicide/M9CNQg999.36666666666678
BASE/connectFour/WAIKTw997.43333333333339
BASE/factoringMediumTurtleBrain/8RBqmQ995.333333333333410
DRESDEN/chinesecheckers6/yTbPDA992.66666666666667
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg986.13333333333339
BASE/cittaceot/fDxhXg985.16666666666666
DRESDEN/sat_test_20v_91c_version2/a1mPBA976.29
DRESDEN/crossers3/xiPTxg969.03333333333338
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg965.53333333333339
DRESDEN/tictactoe_3player/ESLQQQ964.869008732751110
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg964.79
BASE/connectFour_9x6/B9TtMw958.46666666666679
BASE/ttcc4_2player_alt/ZEJvYA955.07
DRESDEN/pacman3p/rBnk8Q952.36666666666676
BASE/crossers3/O0rORg948.33333333333348
BASE/tictactoe_3player/GtM71g943.60187993733549
STANFORD/ttcc4/Cx9SGw943.57
BASE/crissrace/ERWGDA942.36
DRESDEN/frogs_and_toads/GjchhQ936.99
BASE/pacman3p/wW7UVQ923.30255658144737
BASE/pacman2p/4LEdQg921.43333333333337
BASE/blockerParallel/7-nDJA914.33333333333347
DRESDEN/blockerparallel/dVQgSg903.27
DRESDEN/breakthroughsuicide/Y9QzqQ893.97
DRESDEN/crissrace/KWb9bw887.66666666666666
BASE/breakthroughSuicideSmall/XSbJog864.36666666666677
BASE/racer4/0vs7Ww863.63333333333335
BASE/breakthroughSmall/HJ0tIA856.16666666666667
BASE/wargame01/_GZFZg853.63333333333338
DRESDEN/tictactoe_3d_small_2player/HYttcg846.28
DRESDEN/mimikry/GJEhwA846.29
BASE/escortLatch/mX9BjQ838.73333333333339
BASE/wallmaze/uxNQ9g838.66666666666666
BASE/tictactoe_3d_small_2player/oOryKA818.33333333333348
DRESDEN/sheep_and_wolf/enAIzQ817.23333333333338
BASE/guess/SPpk1A816.89
BASE/ad_game_2x2/D0aWqg813.06666666666676
BASE/sheepAndWolf/g4THrg810.16666666666668
DRESDEN/guess/PhxGhg801.63333333333339
BASE/queens12ug/u6Bkmg792.26
BASE/tpeg/QNs7Lw789.18
BASE/ttcc4_2player/_aH_Mw786.94043531882277
BASE/blocksWorldParallel/RseaAQ777.811
DRESDEN/tpeg/h-Scbg777.53333333333338
STANFORD/triplesukoshi/Iu9mbA771.966666666666710
BASE/rubiksCube/9tNO9Q761.08
BASE/peg/fJHVWw744.16666666666668
BASE/breakthroughHoles/nZk0Sg739.26666666666677
DRESDEN/peg_bugfixed/u_B7MA735.89
BASE/connectFourLarge/aU644A729.09
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw717.6094130195665
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g713.93333333333335
BASE/tttcc4/8Bs2lg710.23333333333337
BASE/ttcc4/Le0qjQ708.76666666666677
DRESDEN/chinesecheckers4/-oVNYg704.56666666666679
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw703.33333333333345
DRESDEN/peg/Vo31eg703.210
BASE/breakthroughSmallHoles/bxclRw697.666666666666611
DRESDEN/tttcc4/sAvtFg696.23333333333337
BASE/futoshiki4/BaCwSw690.611
BASE/checkersTorusNoKings/pwb6oQ681.76
BASE/checkersBarrelNoKings/rnKNeg678.76666666666676
DRESDEN/pawn_whopping/4ogBkg675.577480750641612
BASE/englishDraughts/jFkQxg664.27
DRESDEN/pawn_whopping_corrected/7Ov0jQ658.613
BASE/pawnWhopping/Ypc_6Q657.333333333333411
STANFORD/multipletictactoe/_bkafQ655.71147628412388
BASE/wargame03/klXI8w646.68
DRESDEN/stratego/Z2wovg643.811872937568810
STANFORD/pilgrimage/ObRZnQ637.41208626379137
BASE/3pConnectFour/PqXOFQ620.211
BASE/endgame/jYjfOA616.23333333333336
BASE/dotsAndBoxesSuicide/jzQbLw615.779474017532711
BASE/dotsAndBoxes/EHwA_w613.233333333333311
BASE/ruleDepthExponential/UamhHQ611.37690475688674
BASE/chinook/XQh0IQ608.77
STANFORD/duikoshi/tpw1sw607.433333333333311
BASE/pegEuro/5awwhg603.47988400386668
BASE/withConviction/3Xm54A603.293113792413811
DRESDEN/pawn_whopping_simultaneous/r8dLfw600.866666666666711
STANFORD/pentago/ZxzLmg598.91336955434828
DRESDEN/tictactoex9/rFkD4w595.933333333333310
BASE/dualConnect4/WbCQkg594.73421096483929
BASE/tictactoex9/BI26ow593.166666666666610
BASE/gt_two_thirds_6p/867v3Q592.23333333333334
STANFORD/checkersonabarrelnokings/Zrevdw589.78034065531156
BASE/tictactoe_3d_small_6player/g_9lww588.43333333333339
BASE/checkersTiny/Lr48cg581.54728175727477
DRESDEN/tictactoe_3d_small_6player/llDEDQ579.56666666666679
BASE/conn4/va9Y7A574.714176194126811
STANFORD/chinook/osFbPA562.68124395853486
BASE/checkersTorus/2vm1EQ552.33333333333346
BASE/breakthroughSuicide/wZDpIg543.96666666666677
BASE/hidato19/rRHSmA530.433333333333310
BASE/breakthroughWalls/vOZaYA519.14936168794377
DRESDEN/breakthroughsuicide_v2/LU1nAw515.77
DRESDEN/breakthrough/z4hK7Q512.16666666666667
BASE/breakthrough/TGxk-g510.66666666666677
DRESDEN/queens/mW2wHQ507.29951336577567
DRESDEN/satlike_20v_91c/yeuENQ497.61849248909178
BASE/queens/HyJJnQ493.90121975604887
BASE/choicethroughalt/tt71Lg493.033333333333368
BASE/connectFourSimultaneous/7ITr3g482.310
DRESDEN/satlike_20v_91c_version2/yd9ioQ476.380838163768438
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g474.635024331711248
BASE/connectFourLarger/qKi60A468.384387187093759
DRESDEN/connect5/1kYzSg464.989168471921359
BASE/pentagoSuicide/SBgNhw463.47397187229228
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA459.63333333333338
DRESDEN/skirmish3/3LU8Nw459.566666666666666
DRESDEN/connect4/T0-rHQ455.5181493950201511
BASE/connect5/d-BVQg455.151494950168349
BASE/connect4/50bOyw453.511
BASE/pentago/86NgKw441.651944935168848
BASE/wargame02/BkVqqQ439.45201826605788
BASE/nineBoardTicTacToe/wRmqqA437.3895943738959311
BASE/queens16ug/gT-ylw436.852104929835666
DRESDEN/pentago_2008/hLjVpQ432.033333333333368
BASE/snake_2008_tweaked/bX0NJQ428.333333333333310
BASE/checkersSmall/SYmq8w425.00499966668897
STANFORD/nineboardtictactoe/y28P-A422.8384774348376711
DRESDEN/endgame/IJhh3Q421.266666666666658
BASE/snake_2008/i6K26g419.5526815772807410
BASE/snake_2009/7l-qAQ413.572428504766312
DRESDEN/snake_2009/zIYLVw412.172521831877912
BASE/snakeAssemblit/UO4sdg405.666666666666710
DRESDEN/snake_2008/E56l3A403.4666666666666410
BASE/amazons_8x8/7SOsIw391.02029932335598
BASE/nineBoardTicTacToePie/B8LzeQ385.307646156922911
BASE/hallway/ckCJOw381.35
DRESDEN/hallway/0H4l-Q380.38732042265265
BASE/slidingpieces/uFJWEw370.741950536630910
DRESDEN/grid_game2/kypTYQ360.487983733875511
BASE/queens08lg/Ru7eqQ348.255058164727877
BASE/cubicup/4wNWJA348.0217326089130611
BASE/snake2p/I3wWPQ346.8768748750083511
DRESDEN/cubicup/SBn_lw345.7333333333333511
DRESDEN/slidingpieces/s9_44g343.910405972935110
DRESDEN/chinesecheckers6-simultaneous/gPPGUw343.87
BASE/mineClearingSmall/frsbvw343.14379041397247
BASE/futoshiki5/TJ4BZg324.9333333333333411
BASE/coins_atomic/AA3SSw320.9333333333333414
BASE/checkers/rOC3Xg320.57
DRESDEN/babel/WdSW4A307.879474701686557
DRESDEN/coins/QwFP9w307.7333333333333514
DRESDEN/backgammon/mqCW0Q303.913072461835910
DRESDEN/snake_2009_big/DgC1NQ303.812
BASE/amazons_10x10/Bun8dA302.756574780840658
BASE/coins/QnGtnQ300.414
BASE/golden_rectangle/_nYzfw300.17
BASE/amazonsSuicide_10x10/XIbQkg298.107045257615148
BASE/blobwars/0XT15Q297.12704972670318
DRESDEN/skirmish2/iPpWhQ296.12346255124836
DRESDEN/blobwars/ZaMluQ292.51383241117268
BASE/snake_2009_big/-oRfVw287.380841277248212
DRESDEN/tictactoe_3d_2player/LMuX9w283.49055031498959
DRESDEN/golden_rectangle/1uloXw282.723909203026557
BASE/tictactoe_3d_2player/IUC1rQ272.497000399946679
DRESDEN/javastrike/whONTQ269.048730084661039
BASE/nonogram_5x5_1/qLKEZw268.72437585413828
DRESDEN/knightazons/02I8BQ266.157794740175357
DRESDEN/skirmish/RjGQYQ265.9911336288796
DRESDEN/four_way_battle/xSOQXA260.31597893473776
BASE/four_way_battle/xSOQXA257.507582575075846
BASE/ticTacHeaven/18n58A255.8162789147390314
BASE/knightazons/apnJBQ254.84967668822087
DRESDEN/checkers/jIDMIg245.391820272657585
BASE/tictactoe_3d_6player/d7KSwg242.36
DRESDEN/checkers-newgoals/IJOqXQ242.0505299646694
DRESDEN/checkers-mustjump/HUr33w239.48403439770683
STANFORD/platformjumpers/HEQskA236.3763623637636310
BASE/checkers-newgoals/0XkFiA232.792240258658046
BASE/ticTacHeavenFC/mrletw230.4692707638981514
DRESDEN/tictactoe_3d_6player/ulZPWg230.343632303436326
BASE/checkers-mustjump/T-8UuQ225.766666666666685
DRESDEN/cylinder-checkers/clOO3Q219.737368350886564
BASE/cylinder-checkers/hlldmw219.34
BASE/futoshiki6/JmvXNA207.4195053663089310
BASE/hex/T1MK8g206.22645911802948
DRESDEN/merrills/aYEzwA205.34
BASE/amazonsTorus_10x10/Uxc08g204.686354243050468
BASE/merrills/pku8Tg200.98660089327384
BASE/hexPie/48CH6Q194.900849858356939
DRESDEN/checkers-cylinder-mustjump/vW_-pA193.70750566591123
STANFORD/hex/MTqWcw192.540994534062128
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw191.055420401906225
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg190.960301323289233
BASE/checkers-cylinder-mustjump/rjr6qQ189.81435189814355
DRESDEN/checkers-mustjump-torus/cVc3gA186.441807758965473
DRESDEN/ggp-course2013_jordi/9QI6Kw184.7210185987600810
BASE/minichess-evilconjuncts/4OpQzw181.0272990900303410
DRESDEN/minichess-evilconjuncts/th24Tw175.6549563362442510
BASE/checkers-mustjump-torus/uSApKQ175.521631891207255
BASE/skirmishNew/sibw2g170.027665744475177
DRESDEN/cubicup_3player/awDtsQ167.6275535708334713
BASE/skirmishZeroSum/zh4hcw164.6502016465028
BASE/majorities/ibJzSQ162.067586482703469
DRESDEN/brawl/2kXtfQ161.6505016165056
BASE/brawl/6Ymo_Q160.45062160450626
BASE/cubicup_3player/e2yA_g159.8946701776607413
BASE/speedChess/bPnisA158.178909478736169
DRESDEN/ggp-course2013_nicolai/uEin8g151.889874008399435
DRESDEN/quad_5x5_8_2/JRTLJg150.566666666666669
BASE/laikLee_hex/zbyscQ140.829564389431084
DRESDEN/small_dominion/yB5GJA132.571466648897173
STANFORD/multiplesukoshi/vLSQPg123.3502199706705811
DRESDEN/capture_the_king/EQ229Q120.867768595041337
DRESDEN/hitori/S8Gsyg120.213297783702718
DRESDEN/laikLee_hex/ZeP3QQ120.173246709978344
BASE/hitori/S8Gsyg115.066666666666668
BASE/hidato37/pBrqxw110.685241967737646
BASE/god/qF06gw109.555711095557115
DRESDEN/god/2EDD5w108.685508598853495
BASE/sudoku/NTaNkw101.61301073118714
BASE/qyshinsu/R08Lzw96.9268715418972111
DRESDEN/battle/8oAvhQ92.47
DRESDEN/battlebrushes/QHXV4A92.196926769107697
BASE/battle/8oAvhQ91.209010930418567
DRESDEN/quad_5x5/JAEP5g90.373477132015189
BASE/quad_5x5/JAEP5g83.533333333333339
STANFORD/selectivesukoshi/3xmXYg75.3748750416527912
BASE/skirmishFinal3/-Olhfw69.628691420571977
BASE/battlebrushes/arCwyA66.924410078656189
DRESDEN/skirmishfinal/hzq8ww64.940690390510476
BASE/skirmishFinal1/ecWTnQ63.97867377540826
BASE/skirmishFinal2/gdB62Q63.634849242045656
DRESDEN/Zhadu/9zpQ5w57.732027450196558
BASE/cephalopodMicro/9l2D3g51.504147649665199
DRESDEN/CephalopodMicro/H3XQfg51.446088231374129
BASE/skirmishHoles/AUCxCA47.1811275489804066
BASE/chess_200/XsTpYA45.0243284676398058
BASE/skirmish/Y_psYQ44.612514160058646
STANFORD/madness/UO_B3A43.3522159280239956
BASE/strangeSkirmish/gc1zKA42.076156844454816
STANFORD/skirmish/w4V6Vw41.0018985444492546
DRESDEN/towerworld/HCX34w40.389229538789667
BASE/nonogram_10x10_1/0Xc62g37.632078930702318
DRESDEN/amazons/dNB28A37.3701039168665057
BASE/reversi/d8UMeA30.559536108241419
BASE/reversiSuicide/9OxJlg29.8328560964240529
BASE/slaughter/cOch8A26.1956340609898354
BASE/sudokuGrade2/u80Tfw25.41892927341173413
BASE/sudokuGrade3/eI8dvg25.11156997269033713
STANFORD/sudoku/oJ1qyQ24.95252690142252713
BASE/sudokuGrade5/BQfUQA24.73945326807178813
BASE/sudokuGrade1/tDRNRw24.38861864463250513
BASE/sudokuGrade6E/ihYFZA24.25130750524667513
BASE/sudokuGrade4/DTy07w24.213
BASE/sudokuGrade6H/ieE_9A24.0426240426240413
STANFORD/duidoku/3SoMaA23.96166134185303412
BASE/pawnToQueen/-O1_JA23.4525951096009079
DRESDEN/pawntoqueen/f_x6Aw22.8468660494238349
BASE/zhadu/DlA8iQ21.96778058847024411
BASE/factoringImpossibleTurtleBrain/kcBhdw14.4749101557300685
DRESDEN/ggp-course2013_michal13/jWKddg12.29016786570743512
BASE/othelloHoles/c0qAzw6.3299529396168899
BASE/othello-comp2007/86ZoMw5.093039512666023510
BASE/othelloSuicide/B442jg5.0019875447197569
BASE/alexChess/LNo83g4.357370941990426
BASE/quad_7x7/q-JOXg4.32372827253997313
DRESDEN/othello-cornercontrol/r5Gdlg3.5062185763429488
BASE/queens31lg/0gID-A3.36061755506754527
BASE/quad/tw-Ufg2.598735923513747710
BASE/amazons/RKKZjw2.32426868546003947
BASE/amazonsSuicide/dE1QEQ2.21458319561049786
DRESDEN/quad_7x7/q-JOXg1.676573693034598514
DRESDEN/quad/JPe6fg1.33292605037349714
BASE/blokbox_simple/JBx4bg0.821433084797169312
BASE/amazonsTorus/soxT8g0.280618608131703642

index