ALLOY_TUPLE_PROVER:1

Comparison with GGP-Base Prover:

Median speedup1.9301184277222247
Mean speedup2.3475138685768417
Geometric mean speedup2.097091398538987
Ratio of # state changes with 1 second per game1.648477753055362
Ratio of times to run 1000 states per game0.2871863237211937
Number of games with errors6

Comparison with other engines:

EngineWe're faster in N gamesOnly they failThey're faster in N gamesOnly we fail
REKKURA_BACKWARD_PROVER:1.0.048711374
REKKURA_BACKWARD_PROVER_OSTD:1.0.048812354
ALLOY_COMPILED_PROVER_CACHING:1065290
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.15241015
GGP_BASE_PROVER:2015-04-26531045
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.05201324
PALAMEDES_JOCULAR:0.6.1279791772
REKKURA_GENERIC_FORWARD_PROVER:1.0.051111134
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.050912144
REKKURA_GENERIC_BACKWARD_PROVER:1.0.05211224
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.15221216

Game-by-game statistics:

GameAverage state changes per secondRanking
STANFORD/buttonsandlights/eyhJpA470813
BASE/haystack/UkweGA435883
BASE/onestep/xi53wA405053
BASE/ruleDepthLinear/OUBJpQ376182
DRESDEN/troublemaker01/C-lPWw329593
DRESDEN/fizzbuzz/t1xHzQ322252
BASE/troublemaker01/s3tlEQ312683
BASE/pearls/6k_mEQ310283
BASE/survival/YVIjJA304283
DRESDEN/2player_normal_form_2010/NG_Kdg302633
STANFORD/untwistycomplex/HTWEwg300872
DRESDEN/pancakes6/SZXMyQ296762
DRESDEN/pancakes/hl9aiQ294182
DRESDEN/troublemaker02/iZLVuA292773
BASE/pancakes6/QZTdnw287622
BASE/untwistycomplex2/EDPPAQ283903
STANFORD/untwistycorridor/EDPPAQ283403
BASE/troublemaker02/DI83KA281533
BASE/pancakes/yUgbXw272862
BASE/maze/cCX3qQ260003
DRESDEN/buttons/ADUaHw250413
BASE/buttons/hTcUjw246043
DRESDEN/Runners/3bOCQw241072
DRESDEN/statespacesmall/h-NqjA233273
BASE/stateSpaceSmall/Q7osKA232473
DRESDEN/pancakes88/aD3E7g229652
BASE/pancakes88/l2Xaig224132
DRESDEN/Travelers-Dilemma/PvZwYw222872
STANFORD/knightstourmedium/x1wu8Q215773
BASE/roshambo2/KNPokQ215252
STANFORD/knightstour/cEwgNA214723
DRESDEN/roshambo2/jgSlkQ214532
BASE/knightsTour/mvtVIg210783
DRESDEN/point_grab/r5DPmQ210512
DRESDEN/knightstour/cGISAA210013
BASE/point_grab/r5DPmQ209022
STANFORD/knightstourbig/TQUI2g190132
BASE/knightsTourLarge/M8jgLA188773
STANFORD/multiplebuttonsandlights_9/SqB9BA184473
STANFORD/multiplebuttonsandlights/cK70Yg179343
BASE/duplicateStateSmall/bCPAXw177323
BASE/gt_centipede/9fRMpw172403
BASE/gt_tinfoil/Q8DyKg171802
BASE/gt_coordination/IVMOzA169073
BASE/switches/tPUoCg166683
STANFORD/3puzzle/41ibjA164593
STANFORD/threepuzzle/41ibjA164413
STANFORD/rainbow/_4qNSQ160363
DRESDEN/statespacemedium/dVJZ_w160023
STANFORD/bestbuttonsandlights/nm0wEA159093
DRESDEN/mummymaze1p/AekgaQ158522
BASE/stateSpaceMedium/3bUoIw157683
BASE/gt_staghunt/xPjLRA155162
BASE/gt_prisoner/klthDw154232
DRESDEN/nim1/M9BALA151792
BASE/blocks/xIV5hQ151623
DRESDEN/blocks/vg0DRw151093
DRESDEN/gt_prisoner/huCp4w150552
BASE/blocksWorld/SEdXLQ150453
BASE/nim1/hin2Qw150052
DRESDEN/Catch-Me-If-You-Can/ghGWrA149642
DRESDEN/CatchMeIfYouCanTest/CX18rA148792
DRESDEN/catch_me/ghGWrA147812
DRESDEN/Thief_Police/CX18rA147582
BASE/gt_chicken/gmepTQ145542
DRESDEN/gt_chicken/CeuKtw145512
DRESDEN/nim2/z5_exA142272
BASE/mummymaze1p/PT_EXA142202
BASE/nim2/eF2Qqw140822
BASE/lightsOn/MsXu3A138173
DRESDEN/oisters_farm/pTQMLg135633
BASE/asteroids/BKCmPQ133292
STANFORD/bestbuttonsandlightsbig/g0JC6g132403
BASE/factoringGeorgeForman/HGRorQ128512
DRESDEN/gt_ultimatum/pAiiQw125722
BASE/gt_dollar/TGjqRw123483
BASE/hanoi/iGLsJg123102
BASE/gt_ultimatum/GE-uOA122722
DRESDEN/hanoi/RQ0jiA121252
BASE/colonelBlottoVariant/X-n-KQ117182
DRESDEN/statespacelarge/8-y5HQ115923
DRESDEN/circlesolitaire/ruUilQ114523
DRESDEN/nim4/F5YAYg114262
BASE/ghostMaze2p/W-NU-w113662
DRESDEN/nim3/sG_axA113442
BASE/mummyMaze2p_2007/YGA3Vw113102
BASE/nim4/twk16w112982
BASE/nim3/1OwUqw112912
DRESDEN/hanoi7_bugfix/3gdnFw112432
BASE/circlesolitaire/azuQFQ112013
DRESDEN/mummymaze2p-comp2007/oTQRQg111832
DRESDEN/hanoi7/51zz5Q111832
BASE/colonelBlottoVariant2/jruwGw111512
STANFORD/jointbuttonsandlights/qAKuIQ110613
DRESDEN/ghostmaze2p/HY0UwA110282
BASE/stateSpaceLarge/0Ge_CQ109763
BASE/hanoi7_bugfix/3gdnFw109292
DRESDEN/bomberman2p/x4h6jQ107142
BASE/mummymaze2p/vpjDdA104722
DRESDEN/mummymaze2p/k-8edg103532
DRESDEN/blocks2player/3ev8nQ102483
BASE/bomberman2p/4CClwA102102
BASE/blocks2player/wnTLOQ100523
BASE/hanoi_6_disks/MeubgQ94503
DRESDEN/vacuum_cleaner_1/eUNjpw94202
DRESDEN/toetictac/mJtxCA93833
DRESDEN/hanoi_6_disks/MeubgQ93223
BASE/toetictac/mTThmg91593
BASE/duplicateStateMedium/U163eQ90853
BASE/kitten_escapes_from_fire/uW-YiA89933
DRESDEN/kitten_escapes_from_fire/uW-YiA88573
BASE/beatMania/qUHwvQ85943
BASE/hodgepodge/9yjRkw84413
DRESDEN/chickentoetictac/cxYaRQ83813
DRESDEN/firefighter/WJmoPw83733
BASE/firefighter/WJmoPw82053
BASE/chickentoetictac/l57rfQ81803
BASE/chineseCheckers1/gqtwHw81532
DRESDEN/lightson2x2/gBHuig80823
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A80663
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA80542
BASE/sum15/QZ07Kg77393
STANFORD/dualrainbow/G3OnRQ76803
BASE/tictactoe_orthogonal/WRzlVw76323
DRESDEN/sum15/CsgWKg75533
DRESDEN/tictactoe_orthogonal/y69QFQ75383
BASE/eightPuzzle/vLrgFg70843
STANFORD/eightpuzzle/W_aWbA70713
DRESDEN/tictactoe/BTTzPw70423
STANFORD/trifecta/ss1kyQ70273
DRESDEN/8puzzle/8fKC2w69803
BASE/ticTacToe/JRFsaQ69073
STANFORD/8puzzle/jNiGtw68823
STANFORD/hunter/14dD-g68693
BASE/factoringMutuallyAssuredDestruction/NH0LGg68462
BASE/snakeParallel/RCVNtw68422
STANFORD/tictactoe/ss1kyQ67883
BASE/tictactoe2/bhrDoQ67443
DRESDEN/brain_teaser_extended/ZDp94A67113
BASE/tictactoe-init1/7M19vA67083
STANFORD/tictactoe7/-bE9-A67063
BASE/brain_teaser_extended/ZDp94A66973
STANFORD/tictactoe5/WFRReg66713
BASE/factoringEasyTurtleBrain/lUj94Q65763
DRESDEN/tictactoe-init1/3ltIBQ65763
DRESDEN/smallest_4player/ADDROA65242
DRESDEN/eotcatcit/mQUxzA64333
STANFORD/tictactoe3/X7myng63963
BASE/asteroidsParallel/WauZiA63882
BASE/smallest_4player/ADDROA63772
BASE/twisty-passages/DiZmmg63423
DRESDEN/twisty-passages/j7NPyg63213
DRESDEN/blocker/S815zQ63173
BASE/eotcatcit/AfZSzA63153
BASE/blocker/dIWtxg61813
BASE/blocksWorldSerial/Wyg96Q59833
DRESDEN/chickentictactoe/Ipbo-g59643
BASE/gt_attrition/kD_SCA59592
DRESDEN/aipsrovers01/qS47Mw59193
BASE/chickentictactoe/DSlZCA57673
BASE/incredible/8Qh-6Q57603
BASE/chineseCheckers2/eCMR3Q57082
BASE/aipsrovers01/4C4jsw57043
DRESDEN/blocksworldparallel/2JfVaw56633
DRESDEN/vacuumcleaner_random/_6AGDA55902
BASE/lightsOnParallel/SC6enA55043
BASE/duplicateStateLarge/dcjyuw53673
BASE/knightfight/SJRkAg53302
DRESDEN/knightfight/4_Ly4w52122
BASE/asteroidsSerial/id2QkA51852
BASE/ticTacToeNoVars/XT03NA50683
BASE/chomp/-LcqYQ47512
DRESDEN/bidding-tictactoe/yW5vTA47222
DRESDEN/chomp/-LcqYQ46772
STANFORD/sukoshi/4LYZZQ46263
BASE/eotcitcit/V_9_bg45903
BASE/biddingTicTacToe/8mESVw45562
DRESDEN/smallest/9kaGFw45272
DRESDEN/bidding-tictactoe_10coins/mu5VhQ44432
STANFORD/tictictoe/rpt_Dw44343
BASE/colonelBlotto/jip21A44122
BASE/chineseCheckers3/-1rZdQ43902
BASE/kalaha5x2x3/WviNsw43873
BASE/tron_10x10/7ZTgDg43743
BASE/gt_two_thirds_2p/1APDGg43682
DRESDEN/cube_2x2x2/fp-34Q43612
DRESDEN/tictictoe/LAUtwg43203
BASE/ticTicToe/c1OobQ43013
BASE/coloredtrails/EZvr7g42413
BASE/biddingTicTacToe_10coins/a-9ccQ42122
DRESDEN/ticblock/Z2yNWQ40742
BASE/ticblock/T21C1g40302
BASE/numbertictactoe/rvJ-iQ40233
BASE/kalaha_2009/dRiN3g40113
BASE/kalaha6x2x4/XS81Mg39893
DRESDEN/kalaha_2009/gcC8uA39213
DRESDEN/latenttictactoe/kITHKg37003
BASE/queens06ug/7Lq3tw36012
DRESDEN/chinesecheckers1/Y-ftaA35822
BASE/doubletictactoe/HH1htg34942
DRESDEN/racer/vk_ZBA34762
DRESDEN/doubletictactoe/lJzgmQ34512
BASE/double_tictactoe_dengji/zgaSbA34302
BASE/bunk_t/xbpfIA34062
BASE/doubletoetictac/fu35bg33922
DRESDEN/double_tictactoe_dengji/bGaUyQ33852
DRESDEN/bunk_t/7-tPfA33772
STANFORD/dualhunter/1rPZjQ33522
BASE/racer/QQYQNw33332
DRESDEN/vacuumcleaner_random_big/DwzFaQ33102
DRESDEN/doubletoetictac/V89gKQ33052
BASE/ticTacToeLargeSuicide/727_8g33023
DRESDEN/tictactoelarge/IwXcbg32833
BASE/ticTacToeLarge/TZC0dg32803
DRESDEN/tictactoelargesuicide/6J4DeA32623
DRESDEN/logistics/fPru1Q32083
BASE/minichess/8NQEiA30803
BASE/pacman3p/wW7UVQ30622
BASE/pacman2p/4LEdQg30382
BASE/ticTacToeSerial/Amrwqw29782
DRESDEN/3pffa/0YrmQw29772
BASE/wargame01/_GZFZg29572
DRESDEN/pacman3p/rBnk8Q29252
STANFORD/freeforall/Lfp40Q28772
BASE/ticTacToeParallel/ymRGPw28772
BASE/2pffa/6oHijA28742
DRESDEN/tictactoeparallel/yk_DSg28672
BASE/checkLines/Vop7oQ28632
DRESDEN/knightmove/97Ipcw28552
BASE/knightmove/jBaJEw28472
BASE/2pffa_zerosum/o0_uZA28432
DRESDEN/lightsout2/LFtfyQ28324
DRESDEN/3pttc/uwYBZw28282
BASE/chineseCheckers6/rREH3A27922
BASE/blockerSerial/3eqDuw27732
DRESDEN/knightwar/7hhAqg27592
BASE/2pttc/unkkYA27442
BASE/knightwar/DVGY4Q26632
DRESDEN/quartosuicide/WIU1oQ26282
DRESDEN/minichess/c7GMFw25933
DRESDEN/quarto/OQzRYQ25902
BASE/3pffa/pR0dzA25892
DRESDEN/chinesecheckers2/06E6-Q25752
BASE/chineseCheckers4/avfBcQ25702
BASE/wargame03/klXI8w25562
BASE/quartoSuicide/-23jUg25512
BASE/3pttc/0sol9g25162
BASE/racetrackcorridor/k1OQRg24981
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ24803
BASE/quarto/EwBMVQ24432
DRESDEN/grid_game/U7_Yeg24092
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw23633
DRESDEN/racetrackcorridor/O0DoTA23562
BASE/crisscross/ICagEg23502
DRESDEN/crisscross/GsY16g23492
BASE/ruleDepthExponential/UamhHQ23442
BASE/ttcc4_2player_small/Cv72TA23362
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg23323
DRESDEN/battlesnakes2011/93VtTw23292
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg22703
BASE/gt_two_thirds_4p/DStnxQ22562
DRESDEN/battlesnakes1509/-qZrLw22552
DRESDEN/lightsout/XgLpzQ22465
BASE/lightsOut/5P1ZBw22425
BASE/queens08ug/kJ_ZFQ22352
BASE/4pffa/Q3ADlg22302
DRESDEN/connectfoursuicide/M9CNQg22192
BASE/max_knights/2fq3Ag21972
DRESDEN/chinesecheckers3/QsCb2A21962
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg21963
BASE/crossers3/O0rORg21912
DRESDEN/max_knights/hCipiA21812
BASE/connectFour/WAIKTw21653
DRESDEN/4pttc/9pB9AQ21472
DRESDEN/crossers3/xiPTxg21322
DRESDEN/connectfour/5tc-Mg21302
DRESDEN/farmers/S_ASnw21092
DRESDEN/sat_test_20v_91c/dK7nVw21053
STANFORD/connectfour/VMpZkQ21053
BASE/connectFourSuicide/c8p9Kw20973
BASE/lightsOnSimultaneous/_VN6lw20822
DRESDEN/uf20-01.cnf.SAT/42Rs8A20633
DRESDEN/uf20-010.cnf.SAT/5ICbCg20463
BASE/tictactoe_3player/GtM71g20413
DRESDEN/sat_test_20v_91c_version2/a1mPBA20273
BASE/factoringMediumTurtleBrain/8RBqmQ20063
BASE/4pttc/AL1k2Q20052
DRESDEN/tictactoe_3player/ESLQQQ20013
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA19863
DRESDEN/uf20-020.cnf.SAT/hDrW_A19813
BASE/catcha_mouse/cHv4dw19792
DRESDEN/catcha_mouse/cHv4dw19752
BASE/wargame02/BkVqqQ19282
BASE/englishDraughts/jFkQxg19082
DRESDEN/frogs_and_toads/GjchhQ18732
DRESDEN/knightthrough/J7Fc_Q18472
BASE/cittaceot/fDxhXg18312
BASE/ad_game_2x2/D0aWqg18122
BASE/knightThrough/gcwFjA18032
STANFORD/alquerquezero/uVgA_A17902
BASE/breakthroughSmallHoles/bxclRw17163
STANFORD/duikoshi/tpw1sw17153
BASE/simultaneousWin2/PfjRjw17012
DRESDEN/pawn_whopping/4ogBkg16963
BASE/checkersBarrelNoKings/rnKNeg16792
STANFORD/breakthrough/d5j0cQ16613
DRESDEN/tictactoe_3d_small_2player/HYttcg16582
BASE/ttcc4_2player_alt/ZEJvYA16302
BASE/tictactoe_3d_small_2player/oOryKA16132
BASE/futoshiki4/BaCwSw16102
DRESDEN/pawn_whopping_corrected/7Ov0jQ15983
BASE/checkersTorusNoKings/pwb6oQ15892
DRESDEN/sheep_and_wolf/enAIzQ15862
BASE/crissrace/ERWGDA15852
DRESDEN/guess/PhxGhg15792
BASE/pawnWhopping/Ypc_6Q15703
DRESDEN/crissrace/KWb9bw15652
BASE/guess/SPpk1A15592
DRESDEN/pawn_whopping_simultaneous/r8dLfw15582
BASE/sheepAndWolf/g4THrg15572
BASE/escortLatch/mX9BjQ15492
BASE/breakthroughSmall/HJ0tIA15262
DRESDEN/chinesecheckers6/yTbPDA15233
BASE/snake_2008/i6K26g15233
DRESDEN/snake_2008/E56l3A15223
BASE/dotsAndBoxes/EHwA_w15212
DRESDEN/snake_2009/zIYLVw15093
BASE/connectFourLarge/aU644A15073
BASE/dotsAndBoxesSuicide/jzQbLw15042
BASE/tpeg/QNs7Lw14912
DRESDEN/tpeg/h-Scbg14912
BASE/lightsOnSimul4/9FeASw14902
BASE/snake_2009/7l-qAQ14893
DRESDEN/mimikry/GJEhwA14882
BASE/snake_2008_tweaked/bX0NJQ14823
BASE/gt_two_thirds_6p/867v3Q14762
STANFORD/pilgrimage/ObRZnQ14732
STANFORD/checkersonabarrelnokings/Zrevdw14732
BASE/blocksWorldParallel/RseaAQ14625
DRESDEN/stratego/Z2wovg14612
DRESDEN/breakthroughsuicide/Y9QzqQ14502
STANFORD/ttcc4/Cx9SGw14492
BASE/checkersTorus/2vm1EQ14332
DRESDEN/tttcc4/sAvtFg14042
BASE/coins/QnGtnQ14005
BASE/ttcc4_2player/_aH_Mw13992
DRESDEN/peg_bugfixed/u_B7MA13982
STANFORD/pentago/ZxzLmg13972
DRESDEN/coins/QwFP9w13965
BASE/withConviction/3Xm54A13925
BASE/peg/fJHVWw13872
BASE/ttcc4/Le0qjQ13872
DRESDEN/peg/Vo31eg13842
STANFORD/triplesukoshi/Iu9mbA13832
BASE/dualConnect4/WbCQkg13763
BASE/3pConnectFour/PqXOFQ13743
BASE/coins_atomic/AA3SSw13557
BASE/tttcc4/8Bs2lg13552
DRESDEN/chinesecheckers4/-oVNYg13372
DRESDEN/blockerparallel/dVQgSg13272
BASE/breakthroughHoles/nZk0Sg13172
BASE/blockerParallel/7-nDJA13142
BASE/amazons_8x8/7SOsIw13132
DRESDEN/snake_2009_big/DgC1NQ12753
BASE/snake_2009_big/-oRfVw12483
BASE/checkersTiny/Lr48cg12212
BASE/tictactoe_3d_small_6player/g_9lww11732
DRESDEN/tictactoe_3d_small_6player/llDEDQ11662
BASE/wallmaze/uxNQ9g11653
BASE/pegEuro/5awwhg11422
BASE/endgame/jYjfOA10822
BASE/conn4/va9Y7A10744
DRESDEN/connect4/T0-rHQ10622
STANFORD/multipletictactoe/_bkafQ10383
BASE/connect4/50bOyw10372
BASE/connectFourSimultaneous/7ITr3g10293
BASE/amazons_10x10/Bun8dA10232
DRESDEN/tictactoex9/rFkD4w10232
BASE/amazonsSuicide_10x10/XIbQkg10162
BASE/tictactoex9/BI26ow10132
BASE/choicethroughalt/tt71Lg10082
BASE/snakeAssemblit/sOydSg10052
DRESDEN/breakthroughsuicide_v2/LU1nAw9702
DRESDEN/breakthrough/z4hK7Q9622
BASE/queens/HyJJnQ9562
BASE/chinook/XQh0IQ9562
BASE/breakthroughWalls/vOZaYA9542
BASE/snake2p/I3wWPQ9525
DRESDEN/queens/mW2wHQ9472
BASE/breakthrough/TGxk-g9462
BASE/breakthroughSuicide/wZDpIg9432
DRESDEN/satlike_20v_91c_version2/yd9ioQ9352
BASE/connectFourLarger/qKi60A9323
DRESDEN/satlike_20v_91c/yeuENQ9152
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw8992
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g8872
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g8762
BASE/connect5/d-BVQg8723
DRESDEN/babel/WdSW4A8722
STANFORD/chinook/osFbPA8652
DRESDEN/connect5/1kYzSg8643
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA8622
DRESDEN/endgame/IJhh3Q8512
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw8462
DRESDEN/skirmish2/iPpWhQ8372
BASE/checkersSmall/SYmq8w8302
BASE/pentagoSuicide/SBgNhw8292
BASE/futoshiki5/TJ4BZg8152
DRESDEN/skirmish3/3LU8Nw8082
BASE/pentago/86NgKw8062
DRESDEN/skirmish/RjGQYQ7992
DRESDEN/chinesecheckers6-simultaneous/gPPGUw7942
DRESDEN/pentago_2008/hLjVpQ7932
DRESDEN/backgammon/mqCW0Q7892
BASE/amazonsTorus_10x10/Uxc08g7792
DRESDEN/slidingpieces/s9_44g7784
BASE/slidingpieces/uFJWEw7754
DRESDEN/cubicup/SBn_lw7422
STANFORD/platformjumpers/HEQskA7412
BASE/cubicup/4wNWJA7382
BASE/queens08lg/Ru7eqQ7232
DRESDEN/javastrike/whONTQ7091
STANFORD/nineboardtictactoe/y28P-A7044
BASE/nineBoardTicTacToe/wRmqqA7024
BASE/speedChess/bPnisA6722
BASE/mineClearingSmall/frsbvw6672
BASE/nineBoardTicTacToePie/B8LzeQ6555
BASE/hallway/ckCJOw6162
BASE/skirmishZeroSum/zh4hcw6152
DRESDEN/hallway/0H4l-Q6122
BASE/checkers/rOC3Xg6112
BASE/skirmishNew/sibw2g6002
BASE/hex/T1MK8g5953
STANFORD/hex/MTqWcw5853
BASE/blobwars/0XT15Q5832
DRESDEN/blobwars/ZaMluQ5802
BASE/golden_rectangle/_nYzfw5742
BASE/merrills/pku8Tg5682
DRESDEN/merrills/aYEzwA5652
DRESDEN/golden_rectangle/1uloXw5622
BASE/qyshinsu/R08Lzw5582
BASE/knightazons/apnJBQ5552
DRESDEN/knightazons/02I8BQ5522
DRESDEN/tictactoe_3d_2player/LMuX9w5502
DRESDEN/grid_game2/kypTYQ5484
BASE/hexPie/48CH6Q5463
BASE/tictactoe_3d_2player/IUC1rQ5442
BASE/majorities/ibJzSQ5292
BASE/ticTacHeaven/18n58A5114
BASE/futoshiki6/JmvXNA5104
DRESDEN/checkers-mustjump/HUr33w4982
BASE/minichess-evilconjuncts/4OpQzw4792
BASE/checkers-mustjump/T-8UuQ4732
DRESDEN/minichess-evilconjuncts/th24Tw4692
DRESDEN/checkers-newgoals/IJOqXQ4662
BASE/ticTacHeavenFC/mrletw4624
BASE/tictactoe_3d_6player/d7KSwg4612
BASE/checkers-newgoals/0XkFiA4592
DRESDEN/checkers/jIDMIg4562
DRESDEN/tictactoe_3d_6player/ulZPWg4522
DRESDEN/ggp-course2013_jordi/9QI6Kw4272
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw4062
BASE/checkers-cylinder-mustjump/rjr6qQ4032
DRESDEN/checkers-cylinder-mustjump/vW_-pA3982
BASE/cylinder-checkers/hlldmw3972
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg3972
DRESDEN/cylinder-checkers/clOO3Q3932
DRESDEN/quad_5x5_8_2/JRTLJg3782
DRESDEN/checkers-mustjump-torus/cVc3gA3772
DRESDEN/cubicup_3player/awDtsQ3764
BASE/cubicup_3player/e2yA_g3754
BASE/checkers-mustjump-torus/uSApKQ3732
BASE/four_way_battle/xSOQXA3622
DRESDEN/ggp-course2013_nicolai/uEin8g3602
DRESDEN/four_way_battle/xSOQXA3542
DRESDEN/brawl/2kXtfQ3472
BASE/brawl/6Ymo_Q3432
BASE/hitori/S8Gsyg3092
DRESDEN/hitori/S8Gsyg3082
BASE/skirmishFinal3/-Olhfw3062
BASE/quad_5x5/JAEP5g2852
DRESDEN/capture_the_king/EQ229Q2832
DRESDEN/battlebrushes/QHXV4A2772
DRESDEN/god/2EDD5w2772
BASE/god/qF06gw2762
DRESDEN/quad_5x5/JAEP5g2752
BASE/skirmishFinal2/gdB62Q2742
DRESDEN/skirmishfinal/hzq8ww2742
BASE/sudoku/NTaNkw2732
BASE/skirmishFinal1/ecWTnQ2732
STANFORD/multiplesukoshi/vLSQPg2324
DRESDEN/Zhadu/9zpQ5w2242
STANFORD/selectivesukoshi/3xmXYg2234
BASE/skirmishHoles/AUCxCA2092
BASE/skirmish/Y_psYQ1952
STANFORD/skirmish/w4V6Vw1712
STANFORD/madness/UO_B3A1702
BASE/strangeSkirmish/gc1zKA1682
DRESDEN/amazons/dNB28A1502
BASE/slaughter/cOch8A1432
BASE/reversi/d8UMeA1302
DRESDEN/CephalopodMicro/H3XQfg1182
BASE/cephalopodMicro/9l2D3g1172
DRESDEN/towerworld/HCX34w1102
BASE/battle/8oAvhQ1082
DRESDEN/battle/8oAvhQ1072
DRESDEN/small_dominion/yB5GJA993
BASE/pawnToQueen/-O1_JA952
BASE/sudokuGrade5/BQfUQA956
BASE/sudokuGrade1/tDRNRw956
BASE/sudokuGrade3/eI8dvg946
BASE/sudokuGrade4/DTy07w946
BASE/sudokuGrade2/u80Tfw946
DRESDEN/pawntoqueen/f_x6Aw932
STANFORD/sudoku/oJ1qyQ936
BASE/sudokuGrade6E/ihYFZA926
BASE/sudokuGrade6H/ieE_9A916
STANFORD/duidoku/3SoMaA854
BASE/zhadu/DlA8iQ542
BASE/alexChess/LNo83g441
BASE/factoringImpossibleTurtleBrain/kcBhdw402
DRESDEN/quad_7x7/q-JOXg344
BASE/quad_7x7/q-JOXg294
DRESDEN/ggp-course2013_michal13/jWKddg288
BASE/othelloHoles/c0qAzw262
BASE/othello-comp2007/86ZoMw232
BASE/othelloSuicide/B442jg222
BASE/queens31lg/0gID-A184
BASE/amazonsSuicide/dE1QEQ162
BASE/amazons/RKKZjw152
DRESDEN/othello-cornercontrol/r5Gdlg132
DRESDEN/quad/JPe6fg94
BASE/amazonsTorus/soxT8g51
BASE/blokbox_simple/JBx4bg45
BASE/quad/tw-Ufg012

Games with errors:

GameError message
DRESDEN/Goldrush/VeWczQRuntimeException: Don't try to fall back, let the next level handle this =/
STANFORD/kono/HI7CHAException of type MoveDefinitionException
DRESDEN/SC_TestOnly_enabled/09o7gQRuntimeException: Don't try to fall back, let the next level handle this =/
STANFORD/breakthroughsmall/HM0s5wRuntimeException: Don't try to fall back, let the next level handle this =/
DRESDEN/laikLee_hex/ZeP3QQException of type StackOverflowError
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds