index

ALLOY_TUPLE_PROVER:2

Comparison with GGP-Base Prover:

Median speedup1.9299065420560748
Mean speedup2.339393289958471
Geometric mean speedup2.089766970088644
Ratio of # state changes with 1 second per game1.6453709710144642
Ratio of times to run 1000 states per game0.31444517538923417
Number of games with errors2

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)13345070
PALAMEDES_JOCULAR:0.6.1 (comparison)290851792
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 (comparison)5411212
SANCHO_DEAD_RECKONING_PROPNET:1.61c (comparison)1525010
CADIAPLAYER_PROLOG:3.0 (comparison)1391632522
REKKURA_GENERIC_FORWARD_PROVER:1.0.0 (comparison)52911140
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 (comparison)52812140
REKKURA_BACKWARD_PROVER:1.0.0 (comparison)50711360
REKKURA_BACKWARD_PROVER_OSTD:1.0.0 (comparison)50812340
PALAMEDES_JAVA_ECLIPSE:0.6.1 (comparison)27892672
GGP_BASE_PROVER:2015-04-26 (comparison)549052
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 (comparison)5361712
ALLOY_COMPILED_PROVER_CACHING:2 (comparison)045500
FLUXPLAYER_PROLOG:1.1 (comparison)189423232

Game-by-game statistics:

GameAverage state changes per secondRanking
STANFORD/buttonsandlights/eyhJpA46097.97
BASE/haystack/UkweGA44679.47
BASE/onestep/xi53wA40844.57
BASE/ruleDepthLinear/OUBJpQ37725.733333333336
DRESDEN/troublemaker01/C-lPWw32438.07
BASE/troublemaker01/s3tlEQ31982.1666666666687
BASE/survival/YVIjJA31294.7333333333348
DRESDEN/fizzbuzz/t1xHzQ31265.94
BASE/pearls/6k_mEQ31264.2333333333348
DRESDEN/2player_normal_form_2010/NG_Kdg29762.1666666666687
BASE/troublemaker02/DI83KA29570.6333333333357
DRESDEN/pancakes6/SZXMyQ29095.5666666666665
DRESDEN/troublemaker02/iZLVuA29014.07
BASE/pancakes/yUgbXw28751.35
DRESDEN/pancakes/hl9aiQ28504.2666666666665
STANFORD/untwistycomplex/HTWEwg28359.4666666666674
BASE/untwistycomplex2/EDPPAQ28339.86
BASE/pancakes6/QZTdnw27835.4333333333345
STANFORD/untwistycorridor/EDPPAQ27342.0666666666666
BASE/maze/cCX3qQ26454.8666666666657
BASE/buttons/hTcUjw25212.9666666666677
DRESDEN/buttons/ADUaHw24593.3666666666657
DRESDEN/Runners/3bOCQw24158.5333333333334
DRESDEN/statespacesmall/h-NqjA23076.0333333333337
DRESDEN/roshambo2/jgSlkQ22441.8666666666655
DRESDEN/pancakes88/aD3E7g22280.43
BASE/stateSpaceSmall/Q7osKA22266.5333333333337
BASE/pancakes88/l2Xaig22142.1666666666683
BASE/roshambo2/KNPokQ21866.25
BASE/knightsTour/mvtVIg21717.5666666666667
STANFORD/knightstourmedium/x1wu8Q21716.7666666666667
STANFORD/knightstour/cEwgNA21642.37
DRESDEN/Travelers-Dilemma/PvZwYw21584.2333333333343
DRESDEN/point_grab/r5DPmQ21341.05
DRESDEN/knightstour/cGISAA21218.9333333333347
BASE/point_grab/V_osUg19910.4333333333345
BASE/knightsTourLarge/M8jgLA19505.8333333333325
STANFORD/knightstourbig/TQUI2g19159.4333333333345
STANFORD/multiplebuttonsandlights_9/SqB9BA18357.0666666666666
STANFORD/multiplebuttonsandlights/cK70Yg18097.3536861751786
BASE/duplicateStateSmall/bCPAXw17651.6666666666687
BASE/gt_tinfoil/Q8DyKg17620.8333333333324
BASE/gt_centipede/9fRMpw16911.8333333333327
BASE/gt_coordination/IVMOzA16689.0666666666665
BASE/switches/tPUoCg16599.8333333333327
STANFORD/bestbuttonsandlights/nm0wEA16591.87
STANFORD/threepuzzle/41ibjA16505.77
STANFORD/rainbow/_4qNSQ16452.0333333333336
DRESDEN/statespacemedium/dVJZ_w16417.86
STANFORD/3puzzle/41ibjA16398.5666666666667
DRESDEN/mummymaze1p/AekgaQ16084.2333333333342
BASE/stateSpaceMedium/3bUoIw15968.9666666666676
DRESDEN/nim1/M9BALA15604.2666666666664
BASE/mummymaze1p/PT_EXA15591.12
BASE/nim1/hin2Qw15302.3333333333344
BASE/gt_prisoner/klthDw15267.1333333333334
BASE/gt_staghunt/xPjLRA15256.04
BASE/blocks/xIV5hQ15102.07
DRESDEN/CatchMeIfYouCanTest/CX18rA14991.6333333333334
DRESDEN/Thief_Police/CX18rA14968.6333333333334
BASE/blocksWorld/SEdXLQ14966.67
DRESDEN/blocks/vg0DRw14958.17
DRESDEN/gt_prisoner/huCp4w14928.94
BASE/gt_chicken/gmepTQ14794.0666666666684
DRESDEN/Catch-Me-If-You-Can/ghGWrA14590.048656935284
DRESDEN/catch_me/ghGWrA14561.84
DRESDEN/nim2/z5_exA14490.3666666666674
DRESDEN/gt_chicken/CeuKtw14387.9333333333324
BASE/nim2/eF2Qqw14187.9666666666674
BASE/lightsOn/MsXu3A13575.46
BASE/factoringGeorgeForman/HGRorQ13433.55
DRESDEN/oisters_farm/pTQMLg13132.07
STANFORD/bestbuttonsandlightsbig/g0JC6g12949.27
BASE/asteroids/BKCmPQ12897.5666666666686
DRESDEN/gt_ultimatum/pAiiQw12690.84
BASE/hanoi/iGLsJg12524.2333333333345
DRESDEN/hanoi/RQ0jiA12441.6333333333335
BASE/gt_dollar/TGjqRw12121.9333333333327
BASE/gt_ultimatum/GE-uOA12096.14
BASE/colonelBlottoVariant/X-n-KQ11888.64
DRESDEN/circlesolitaire/ruUilQ11636.3666666666676
BASE/stateSpaceLarge/0Ge_CQ11632.26
DRESDEN/nim3/sG_axA11507.8333333333344
BASE/nim3/1OwUqw11403.0666666666684
DRESDEN/hanoi7/51zz5Q11392.2333333333345
BASE/circlesolitaire/azuQFQ11382.0666666666686
BASE/ghostMaze2p/W-NU-w11381.1333333333334
DRESDEN/nim4/F5YAYg11361.0333333333334
DRESDEN/mummymaze2p-comp2007/oTQRQg11343.94
BASE/nim4/twk16w11336.14
BASE/mummyMaze2p_2007/YGA3Vw11314.04
BASE/hanoi7_bugfix/3gdnFw11282.1666666666665
DRESDEN/hanoi7_bugfix/3gdnFw11074.5666666666685
BASE/colonelBlottoVariant2/jruwGw10958.1333333333334
STANFORD/jointbuttonsandlights/qAKuIQ10822.47
DRESDEN/statespacelarge/8-y5HQ10744.06
DRESDEN/ghostmaze2p/HY0UwA10711.2666666666664
BASE/bomberman2p/4CClwA10493.94
BASE/mummymaze2p/vpjDdA10458.64
DRESDEN/bomberman2p/x4h6jQ10410.7666666666664
DRESDEN/blocks2player/3ev8nQ10219.75
BASE/blocks2player/wnTLOQ10086.0333333333335
DRESDEN/mummymaze2p/k-8edg9823.7666666666664
DRESDEN/hanoi_6_disks/MeubgQ9442.57
DRESDEN/vacuum_cleaner_1/eUNjpw9360.75
DRESDEN/toetictac/mJtxCA9331.1333333333336
BASE/duplicateStateMedium/U163eQ9314.96
BASE/kitten_escapes_from_fire/uW-YiA9139.48
BASE/hanoi_6_disks/MeubgQ9138.67
DRESDEN/kitten_escapes_from_fire/uW-YiA9020.38
BASE/toetictac/mTThmg8980.67
BASE/hodgepodge/9yjRkw8527.5666666666688
BASE/beatMania/qUHwvQ8433.96
DRESDEN/firefighter/WJmoPw8323.06
BASE/chickentoetictac/l57rfQ8232.37
BASE/firefighter/WJmoPw8219.9666666666676
DRESDEN/chickentoetictac/cxYaRQ8096.27
DRESDEN/lightson2x2/gBHuig7974.8666666666676
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A7949.0666666666676
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA7878.9666666666665
BASE/sum15/QZ07Kg7868.47
DRESDEN/sum15/CsgWKg7777.87
BASE/tictactoe_orthogonal/WRzlVw7773.86
BASE/chineseCheckers1/gqtwHw7643.16
DRESDEN/tictactoe_orthogonal/y69QFQ7593.0333333333346
STANFORD/dualrainbow/G3OnRQ7452.2666666666666
DRESDEN/8puzzle/8fKC2w7098.4333333333338
BASE/ticTacToe/JRFsaQ7050.4333333333337
STANFORD/eightpuzzle/W_aWbA7012.17
STANFORD/hunter/14dD-g6992.3666666666677
BASE/eightPuzzle/vLrgFg6971.7333333333348
DRESDEN/tictactoe/BTTzPw6958.08
STANFORD/8puzzle/jNiGtw6941.5666666666678
STANFORD/tictactoe/ss1kyQ6886.58
DRESDEN/tictactoe-init1/3ltIBQ6879.98
BASE/snakeParallel/RCVNtw6853.3333333333337
STANFORD/tictactoe7/-bE9-A6833.48
BASE/tictactoe-init1/7M19vA6792.5666666666678
BASE/tictactoe2/bhrDoQ6773.3333333333338
STANFORD/trifecta/ss1kyQ6763.48
BASE/brain_teaser_extended/ZDp94A6758.9333333333337
DRESDEN/brain_teaser_extended/ZDp94A6630.57
STANFORD/tictactoe5/WFRReg6595.2333333333348
BASE/factoringEasyTurtleBrain/lUj94Q6594.16
DRESDEN/eotcatcit/mQUxzA6552.9333333333338
BASE/eotcatcit/AfZSzA6514.28
BASE/factoringMutuallyAssuredDestruction/NH0LGg6474.1333333333335
DRESDEN/blocker/S815zQ6422.1666666666676
DRESDEN/smallest_4player/ADDROA6415.74
BASE/twisty-passages/DiZmmg6319.06
BASE/blocker/dIWtxg6316.06
DRESDEN/twisty-passages/j7NPyg6310.5333333333346
BASE/smallest_4player/ADDROA6251.9666666666664
STANFORD/tictactoe3/X7myng6174.18
BASE/gt_attrition/kD_SCA6012.2666666666664
BASE/aipsrovers01/4C4jsw5994.47
DRESDEN/vacuumcleaner_random/_6AGDA5878.65
DRESDEN/chickentictactoe/Ipbo-g5857.2666666666667
BASE/incredible/8Qh-6Q5840.9666666666667
BASE/asteroidsParallel/WauZiA5817.4666666666667
DRESDEN/aipsrovers01/qS47Mw5809.7666666666667
BASE/chickentictactoe/DSlZCA5797.77
BASE/blocksWorldSerial/Wyg96Q5735.2333333333348
BASE/chineseCheckers2/eCMR3Q5576.4666666666666
BASE/duplicateStateLarge/dcjyuw5513.6333333333335
DRESDEN/blocksworldparallel/2JfVaw5450.8333333333338
BASE/lightsOnParallel/SC6enA5405.96
BASE/knightfight/SJRkAg5276.06
DRESDEN/knightfight/4_Ly4w5172.7666666666666
BASE/shmup/ssTNlg5091.4666666666665
BASE/ticTacToeNoVars/XT03NA5070.8666666666678
BASE/asteroidsSerial/id2QkA5008.77
DRESDEN/bidding-tictactoe/yW5vTA4959.55
BASE/chomp/-LcqYQ4820.24
DRESDEN/chomp/-LcqYQ4735.7333333333344
BASE/chineseCheckers3/-1rZdQ4700.05
STANFORD/sukoshi/4LYZZQ4640.0666666666678
DRESDEN/smallest/9kaGFw4589.6666666666673
BASE/colonelBlotto/jip21A4516.7333333333344
STANFORD/tictictoe/rpt_Dw4493.2333333333348
BASE/biddingTicTacToe/8mESVw4460.1666666666675
DRESDEN/tictictoe/LAUtwg4426.3666666666678
BASE/eotcitcit/V_9_bg4419.6333333333338
BASE/tron_10x10/7ZTgDg4410.97
BASE/kalaha5x2x3/WviNsw4401.3333333333335
DRESDEN/bidding-tictactoe_10coins/mu5VhQ4344.3333333333335
DRESDEN/cube_2x2x2/fp-34Q4323.55
BASE/ticTicToe/c1OobQ4280.9666666666668
BASE/biddingTicTacToe_10coins/a-9ccQ4227.65
BASE/gt_two_thirds_2p/1APDGg4220.24
BASE/numbertictactoe/rvJ-iQ4176.78
BASE/ticblock/T21C1g4174.5666666666674
DRESDEN/ticblock/Z2yNWQ4150.74
BASE/kalaha_2009/dRiN3g3967.96666666666674
BASE/coloredtrails/EZvr7g3951.86
DRESDEN/kalaha_2009/gcC8uA3919.56666666666664
BASE/kalaha6x2x4/XS81Mg3909.03333333333335
DRESDEN/latenttictactoe/kITHKg3677.36
BASE/queens06ug/7Lq3tw3607.53333333333335
BASE/solitaireChineseCheckers/-ET6gw3525.83333333333355
DRESDEN/doubletoetictac/V89gKQ3498.25
BASE/double_tictactoe_dengji/zgaSbA3483.66666666666655
BASE/doubletictactoe/HH1htg3457.43333333333345
DRESDEN/vacuumcleaner_random_big/DwzFaQ3434.96666666666673
BASE/doubletoetictac/fu35bg3415.96666666666675
DRESDEN/bunk_t/7-tPfA3412.2666666666675
BASE/bunk_t/xbpfIA3403.95
DRESDEN/doubletictactoe/lJzgmQ3400.35
DRESDEN/chinesecheckers1/Y-ftaA3395.05
DRESDEN/double_tictactoe_dengji/bGaUyQ3381.03333333333335
BASE/racer/QQYQNw3354.73
DRESDEN/logistics/fPru1Q3339.53333333333335
DRESDEN/tictactoelargesuicide/6J4DeA3308.56666666666668
STANFORD/dualhunter/1rPZjQ3291.35
DRESDEN/SC_TestOnly_enabled/09o7gQ3256.3666666666677
DRESDEN/racer/vk_ZBA3250.43
BASE/ticTacToeLargeSuicide/727_8g3204.28
DRESDEN/tictactoelarge/IwXcbg3200.96666666666678
BASE/ticTacToeSerial/Amrwqw3181.65
BASE/minichess/8NQEiA3159.1333333333337
BASE/ticTacToeLarge/TZC0dg3157.16666666666658
BASE/pacman3p/wW7UVQ3063.16666666666654
BASE/pacman2p/4LEdQg3058.94
DRESDEN/3pffa/0YrmQw2971.33333333333356
DRESDEN/pacman3p/rBnk8Q2964.06666666666664
BASE/wargame01/_GZFZg2960.64
BASE/ticTacToeParallel/ymRGPw2917.06666666666666
BASE/blockerSerial/3eqDuw2883.8666666666674
BASE/knightmove/jBaJEw2876.95
DRESDEN/tictactoeparallel/yk_DSg2849.43333333333346
STANFORD/freeforall/Lfp40Q2842.7666666666676
DRESDEN/lightsout2/LFtfyQ2832.03333333333339
BASE/2pttc/unkkYA2819.47
DRESDEN/knightmove/97Ipcw2813.43333333333345
BASE/2pffa/6oHijA2810.7333333333336
DRESDEN/3pttc/uwYBZw2788.97
BASE/checkLines/Vop7oQ2764.66666666666657
BASE/2pffa_zerosum/o0_uZA2755.7333333333337
BASE/knightwar/DVGY4Q2745.73
DRESDEN/knightwar/7hhAqg2721.03
BASE/copolymer_4/2LDVhQ2679.43333333333344
BASE/chineseCheckers6/rREH3A2646.35
BASE/wargame03/klXI8w2611.55
DRESDEN/quartosuicide/WIU1oQ2600.25
BASE/quarto/EwBMVQ2564.55
BASE/3pffa/pR0dzA2544.53333333333336
DRESDEN/chinesecheckers2/06E6-Q2523.83333333333354
DRESDEN/minichess/c7GMFw2518.7333333333337
DRESDEN/quarto/OQzRYQ2511.96666666666675
BASE/quartoSuicide/-23jUg2491.33333333333355
BASE/chineseCheckers4/avfBcQ2450.76
BASE/3pttc/0sol9g2419.47
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ2411.88
DRESDEN/crisscross/GsY16g2396.2333333333335
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw2391.2666666666678
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg2390.46666666666678
BASE/racetrackcorridor/_RkdUg2389.2666666666674
BASE/copolymer_4_pie/IN5_jA2384.66666666666654
DRESDEN/grid_game/U7_Yeg2351.56666666666664
DRESDEN/battlesnakes2011/93VtTw2320.93333333333342
DRESDEN/racetrackcorridor/O0DoTA2314.03333333333334
BASE/crisscross/ICagEg2292.3666666666675
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg2286.98
DRESDEN/4pttc/9pB9AQ2263.26
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg2257.48
DRESDEN/battlesnakes1509/-qZrLw2236.66666666666652
DRESDEN/lightsout/XgLpzQ2231.110
BASE/queens08ug/kJ_ZFQ2230.96666666666675
BASE/ttcc4_2player_small/Cv72TA2230.83333333333356
BASE/gt_two_thirds_4p/DStnxQ2218.96666666666674
BASE/connectFour/WAIKTw2191.08
DRESDEN/uf20-01.cnf.SAT/42Rs8A2186.65
BASE/lightsOut/5P1ZBw2177.433333333333410
DRESDEN/connectfour/5tc-Mg2164.83333333333357
STANFORD/connectfour/VMpZkQ2159.66666666666658
BASE/ruleDepthExponential/UamhHQ2147.5689596326293
DRESDEN/connectfoursuicide/M9CNQg2146.17
BASE/connectFourSuicide/c8p9Kw2140.16666666666658
BASE/4pffa/Q3ADlg2138.8666666666676
DRESDEN/max_knights/hCipiA2137.7333333333335
BASE/max_knights/2fq3Ag2127.6333333333335
DRESDEN/chinesecheckers3/QsCb2A2125.3666666666676
DRESDEN/uf20-010.cnf.SAT/5ICbCg2112.33333333333357
BASE/crossers3/O0rORg2110.8666666666673
DRESDEN/sat_test_20v_91c/dK7nVw2110.46666666666677
DRESDEN/crossers3/xiPTxg2084.83333333333353
DRESDEN/sat_test_20v_91c_version2/a1mPBA2062.57
BASE/lightsOnSimultaneous/_VN6lw2044.15
DRESDEN/farmers/S_ASnw2039.26666666666674
BASE/catcha_mouse/cHv4dw2007.55
BASE/4pttc/AL1k2Q1999.43333333333346
DRESDEN/tictactoe_3player/ESLQQQ1998.13333333333347
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA1995.96666666666677
DRESDEN/uf20-020.cnf.SAT/hDrW_A1994.53333333333337
BASE/tictactoe_3player/GtM71g1987.86666666666667
DRESDEN/catcha_mouse/cHv4dw1983.96666666666675
BASE/connectFour_9x6/B9TtMw1966.38
BASE/factoringMediumTurtleBrain/8RBqmQ1941.06666666666666
BASE/englishDraughts/jFkQxg1928.06666666666666
BASE/wargame02/BkVqqQ1913.83333333333335
BASE/cittaceot/fDxhXg1888.83333333333334
BASE/ad_game_2x2/D0aWqg1833.96666666666675
DRESDEN/knightthrough/J7Fc_Q1805.35
BASE/knightThrough/gcwFjA1780.23333333333335
DRESDEN/frogs_and_toads/GjchhQ1736.53333333333337
DRESDEN/Goldrush/VeWczQ1725.06
STANFORD/alquerquezero/uVgA_A1718.74
BASE/simultaneousWin2/PfjRjw1717.03333333333334
BASE/ttcc4_2player_alt/ZEJvYA1712.63333333333346
BASE/breakthroughSmallHoles/bxclRw1685.56666666666668
DRESDEN/pawn_whopping/4ogBkg1662.28
STANFORD/duikoshi/tpw1sw1653.23333333333338
STANFORD/breakthrough/d5j0cQ1650.73333333333338
BASE/escortLatch/mX9BjQ1645.63333333333347
BASE/checkersBarrelNoKings/rnKNeg1636.46666666666675
DRESDEN/tictactoe_3d_small_2player/HYttcg1633.77
BASE/tictactoe_3d_small_2player/oOryKA1606.43333333333347
BASE/rubiksCube/9tNO9Q1598.93333333333345
DRESDEN/sheep_and_wolf/enAIzQ1574.46666666666674
BASE/futoshiki4/BaCwSw1570.57
DRESDEN/pawn_whopping_corrected/7Ov0jQ1570.16666666666678
BASE/racer4/0vs7Ww1569.26666666666673
STANFORD/ttcc4/Cx9SGw1564.73333333333336
BASE/pawnWhopping/Ypc_6Q1563.36666666666668
BASE/breakthroughSuicideSmall/XSbJog1547.86
DRESDEN/crissrace/KWb9bw1544.96666666666674
BASE/sheepAndWolf/g4THrg1544.44
BASE/checkersTorusNoKings/pwb6oQ1543.13333333333345
BASE/connectFourLarge/aU644A1534.88
BASE/snake_2008_tweaked/bX0NJQ1531.56
BASE/crissrace/ERWGDA1531.16666666666674
DRESDEN/chinesecheckers6/yTbPDA1527.55
BASE/dotsAndBoxesSuicide/jzQbLw1527.33333333333337
BASE/snake_2008/i6K26g1524.23333333333336
BASE/dotsAndBoxes/EHwA_w1521.97
BASE/tpeg/QNs7Lw1514.77
DRESDEN/guess/PhxGhg1511.87
BASE/breakthroughSmall/HJ0tIA1507.76
BASE/guess/SPpk1A1505.13333333333347
BASE/snake_2009/7l-qAQ1501.13333333333345
DRESDEN/tpeg/h-Scbg1500.56666666666667
DRESDEN/stratego/Z2wovg1492.63333333333345
STANFORD/pilgrimage/ObRZnQ1487.53333333333336
STANFORD/checkersonabarrelnokings/Zrevdw1487.03333333333335
DRESDEN/snake_2009/zIYLVw1483.63333333333345
BASE/ttcc4_2player/_aH_Mw1479.83333333333336
BASE/lightsOnSimul4/9FeASw1474.06666666666665
DRESDEN/mimikry/GJEhwA1469.03333333333337
DRESDEN/snake_2008/E56l3A1467.33333333333337
DRESDEN/pawn_whopping_simultaneous/r8dLfw1456.13333333333347
DRESDEN/breakthroughsuicide/Y9QzqQ1447.43333333333346
BASE/blocksWorldParallel/RseaAQ1416.766666666666710
BASE/coins_atomic/AA3SSw1415.18616046131810
STANFORD/triplesukoshi/Iu9mbA1412.93333333333345
DRESDEN/coins/QwFP9w1412.466666666666710
STANFORD/pentago/ZxzLmg1409.06666666666667
DRESDEN/chinesecheckers4/-oVNYg1405.66666666666676
DRESDEN/peg_bugfixed/u_B7MA1404.83333333333337
BASE/gt_two_thirds_6p/867v3Q1402.86666666666663
BASE/coins/QnGtnQ1401.410
BASE/peg/fJHVWw1388.63333333333347
BASE/ttcc4/Le0qjQ1384.76666666666676
DRESDEN/peg/Vo31eg1380.77
BASE/3pConnectFour/PqXOFQ1369.83333333333338
BASE/tttcc4/8Bs2lg1343.33333333333336
BASE/withConviction/3Xm54A1340.610
BASE/checkersTorus/2vm1EQ1332.15
BASE/breakthroughHoles/nZk0Sg1320.06666666666666
BASE/amazons_8x8/7SOsIw1314.07
DRESDEN/tttcc4/sAvtFg1313.56666666666666
BASE/blockerParallel/7-nDJA1293.35
DRESDEN/blockerparallel/dVQgSg1284.16666666666675
BASE/dualConnect4/WbCQkg1282.88
BASE/snake_2009_big/-oRfVw1254.93333333333345
DRESDEN/snake_2009_big/DgC1NQ1250.75
BASE/checkersTiny/Lr48cg1243.96
BASE/hidato19/rRHSmA1205.53333333333335
BASE/wallmaze/uxNQ9g1176.73333333333335
BASE/tictactoe_3d_small_6player/g_9lww1152.23333333333335
BASE/pegEuro/5awwhg1148.06666666666667
DRESDEN/tictactoe_3d_small_6player/llDEDQ1136.06666666666665
BASE/queens12ug/u6Bkmg1079.15
BASE/conn4/va9Y7A1078.86666666666669
BASE/endgame/jYjfOA1060.53
BASE/connectFourSimultaneous/7ITr3g1041.93333333333348
BASE/connect4/50bOyw1027.76666666666676
BASE/amazons_10x10/Bun8dA1023.56666666666677
BASE/amazonsSuicide_10x10/XIbQkg1023.03333333333337
DRESDEN/connect4/T0-rHQ1019.86666666666676
BASE/choicethroughalt/tt71Lg1014.87
BASE/snakeAssemblit/UO4sdg1007.97
STANFORD/multipletictactoe/_bkafQ1002.86666666666676
BASE/tictactoex9/BI26ow1000.66664444518525
DRESDEN/tictactoex9/rFkD4w990.76666666666675
BASE/connectFourLarger/qKi60A977.20075997466768
BASE/chinook/XQh0IQ971.86666666666674
BASE/breakthroughSuicide/wZDpIg960.93333333333336
BASE/queens/HyJJnQ956.45
DRESDEN/breakthroughsuicide_v2/LU1nAw955.46666666666676
BASE/breakthrough/TGxk-g954.76666666666676
BASE/breakthroughWalls/vOZaYA947.06666666666676
BASE/snake2p/I3wWPQ946.233333333333310
DRESDEN/queens/mW2wHQ944.86666666666675
DRESDEN/satlike_20v_91c_version2/yd9ioQ931.2402093124027
DRESDEN/breakthrough/z4hK7Q923.56
DRESDEN/satlike_20v_91c/yeuENQ900.21655838747297
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g878.06666666666674
STANFORD/chinook/osFbPA876.63744541848614
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw875.74
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA868.46402506081926
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw860.54
DRESDEN/connect5/1kYzSg858.96
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g856.73333333333336
DRESDEN/babel/WdSW4A845.25
BASE/connect5/d-BVQg842.93333333333336
DRESDEN/endgame/IJhh3Q838.33872204259854
DRESDEN/skirmish2/iPpWhQ828.33333333333344
BASE/pentagoSuicide/SBgNhw818.33333333333347
BASE/checkersSmall/SYmq8w816.83333333333346
DRESDEN/pentago_2008/hLjVpQ815.76666666666677
BASE/futoshiki5/TJ4BZg811.03333333333337
DRESDEN/backgammon/mqCW0Q806.83333333333346
DRESDEN/skirmish/RjGQYQ800.66666666666664
DRESDEN/skirmish3/3LU8Nw793.76666666666674
BASE/pentago/86NgKw786.37
DRESDEN/chinesecheckers6-simultaneous/gPPGUw784.43333333333334
STANFORD/platformjumpers/HEQskA780.0073330888975
DRESDEN/slidingpieces/s9_44g775.7408086397129
BASE/slidingpieces/uFJWEw775.56666666666679
BASE/amazonsTorus_10x10/Uxc08g758.73333333333337
BASE/nonogram_5x5_1/qLKEZw741.86666666666676
DRESDEN/cubicup/SBn_lw738.53333333333337
BASE/cubicup/4wNWJA737.26666666666677
BASE/mineClearingSmall/frsbvw733.06666666666676
BASE/queens08lg/Ru7eqQ723.24
DRESDEN/javastrike/whONTQ723.24
STANFORD/nineboardtictactoe/y28P-A712.89
BASE/nineBoardTicTacToe/wRmqqA703.86666666666679
BASE/speedChess/bPnisA685.43333333333337
BASE/nineBoardTicTacToePie/B8LzeQ664.51118296056810
BASE/skirmishNew/sibw2g625.94580180660656
DRESDEN/hallway/0H4l-Q625.66666666666663
BASE/checkers/rOC3Xg621.14596180127336
BASE/hallway/ckCJOw616.43
STANFORD/hex/MTqWcw608.94
BASE/queens16ug/gT-ylw599.71334288857045
BASE/skirmishZeroSum/zh4hcw595.46666666666677
BASE/hex/T1MK8g595.43333333333335
DRESDEN/merrills/aYEzwA580.04733175560823
BASE/blobwars/0XT15Q578.88070397653426
BASE/golden_rectangle/_nYzfw576.96666666666674
DRESDEN/blobwars/ZaMluQ566.62889140723956
BASE/merrills/pku8Tg558.54804839838683
DRESDEN/knightazons/02I8BQ558.26666666666676
BASE/knightazons/apnJBQ557.88140395320166
DRESDEN/golden_rectangle/1uloXw551.03333333333334
BASE/qyshinsu/R08Lzw549.26666666666676
BASE/tictactoe_3d_2player/IUC1rQ543.77
DRESDEN/tictactoe_3d_2player/LMuX9w536.53089794013747
BASE/hexPie/48CH6Q525.76666666666676
BASE/majorities/ibJzSQ525.63333333333334
DRESDEN/grid_game2/kypTYQ524.44918502716588
BASE/ticTacHeaven/18n58A510.18299390020339
BASE/futoshiki6/JmvXNA509.63333333333338
DRESDEN/checkers-mustjump/HUr33w504.36666666666672
BASE/checkers-mustjump/T-8UuQ479.24
BASE/ticTacHeavenFC/mrletw477.317422752574949
BASE/minichess-evilconjuncts/4OpQzw476.117462751241656
DRESDEN/minichess-evilconjuncts/th24Tw474.684177194093546
DRESDEN/checkers-newgoals/IJOqXQ464.38452051598283
BASE/checkers-newgoals/0XkFiA459.966666666666645
DRESDEN/checkers/jIDMIg459.66666666666674
DRESDEN/tictactoe_3d_6player/ulZPWg457.533333333333365
BASE/tictactoe_3d_6player/d7KSwg448.736750883274455
DRESDEN/ggp-course2013_jordi/9QI6Kw426.51911602946577
DRESDEN/checkers-cylinder-mustjump/vW_-pA409.42
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg409.15302823239232
DRESDEN/cylinder-checkers/clOO3Q401.83
BASE/cylinder-checkers/hlldmw400.83
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw396.84
BASE/checkers-cylinder-mustjump/rjr6qQ394.786840438652064
DRESDEN/quad_5x5_8_2/JRTLJg385.60479840053315
DRESDEN/checkers-mustjump-torus/cVc3gA381.25395820139332
BASE/cubicup_3player/e2yA_g379.95400153328228
DRESDEN/cubicup_3player/awDtsQ375.162483751624858
BASE/checkers-mustjump-torus/uSApKQ366.121129295690144
DRESDEN/ggp-course2013_nicolai/uEin8g353.109792680487943
DRESDEN/four_way_battle/xSOQXA350.033333333333365
BASE/brawl/6Ymo_Q347.466666666666645
DRESDEN/brawl/2kXtfQ347.176854876341575
BASE/four_way_battle/xSOQXA343.43232343432325
BASE/hidato37/pBrqxw308.58971367621085
DRESDEN/hitori/S8Gsyg304.926009865351267
BASE/hitori/S8Gsyg302.479834677688137
BASE/battlebrushes/arCwyA296.69011032965575
DRESDEN/quad_5x5/JAEP5g293.02356588113735
DRESDEN/capture_the_king/EQ229Q292.470752924707546
BASE/skirmishFinal3/-Olhfw287.6904103196565
BASE/quad_5x5/JAEP5g287.53791287537915
BASE/chess_200/XsTpYA285.55714809506355
DRESDEN/god/2EDD5w278.83
DRESDEN/battlebrushes/QHXV4A278.601659612757036
BASE/sudoku/NTaNkw273.87261273872612
BASE/god/qF06gw270.615292313845773
DRESDEN/skirmishfinal/hzq8ww269.091030298995
BASE/skirmishFinal1/ecWTnQ268.224392520249355
BASE/skirmishFinal2/gdB62Q265.84894340377315
STANFORD/multiplesukoshi/vLSQPg229.784681021265249
DRESDEN/Zhadu/9zpQ5w222.503666177842947
STANFORD/selectivesukoshi/3xmXYg221.818545430304659
BASE/skirmishHoles/AUCxCA197.186854209719345
BASE/skirmish/Y_psYQ182.042394347420365
BASE/strangeSkirmish/gc1zKA168.871854690884855
STANFORD/madness/UO_B3A167.238793534410955
STANFORD/skirmish/w4V6Vw165.555629624691685
BASE/slaughter/cOch8A154.997167327623542
DRESDEN/amazons/dNB28A151.89789049221855
BASE/nonogram_10x10_1/0Xc62g139.39070728618096
BASE/reversiSuicide/9OxJlg130.898427086110366
BASE/reversi/d8UMeA128.307671798973536
DRESDEN/CephalopodMicro/H3XQfg116.902159424153556
BASE/cephalopodMicro/9l2D3g115.69614346188466
DRESDEN/small_dominion/yB5GJA110.822251108222524
DRESDEN/towerworld/HCX34w109.892673821745224
DRESDEN/battle/8oAvhQ105.145637539158846
BASE/battle/8oAvhQ104.109041223714476
BASE/sudokuGrade5/BQfUQA97.163427885737149
DRESDEN/pawntoqueen/f_x6Aw97.160189320711956
BASE/pawnToQueen/-O1_JA96.81397053922556
BASE/sudokuGrade4/DTy07w95.266666666666679
BASE/sudokuGrade2/u80Tfw95.193653756416249
BASE/sudokuGrade1/tDRNRw94.3113273569500410
STANFORD/sudoku/oJ1qyQ93.966666666666679
BASE/sudokuGrade6H/ieE_9A92.963567881070639
BASE/sudokuGrade3/eI8dvg92.92404092924049
BASE/sudokuGrade6E/ihYFZA91.745259439464129
STANFORD/duidoku/3SoMaA85.152474587568737
BASE/zhadu/DlA8iQ55.062995800279985
BASE/alexChess/LNo83g46.833882948602641
BASE/factoringImpossibleTurtleBrain/kcBhdw41.339107261825452
BASE/quad_7x7/q-JOXg35.2145062742263959
DRESDEN/quad_7x7/q-JOXg34.806108162667279
DRESDEN/ggp-course2013_michal13/jWKddg29.08255046971816811
BASE/othelloHoles/c0qAzw25.8152626494786976
BASE/othello-comp2007/86ZoMw23.4871419541568267
BASE/othelloSuicide/B442jg22.7477102414654456
BASE/queens31lg/0gID-A18.5536790913027556
BASE/amazonsSuicide/dE1QEQ15.6607717575234743
BASE/amazons/RKKZjw14.4787644787644794
DRESDEN/othello-cornercontrol/r5Gdlg13.3799301048427356
BASE/amazonsTorus/soxT8g5.51
DRESDEN/quad/JPe6fg4.960645545340310
BASE/blokbox_simple/JBx4bg4.73980775604905510
BASE/quad/tw-Ufg0.593902599973604315

Games with errors:

GameError message
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds

index