REKKURA_BACKWARD_PROVER_OSTD:1.0.0

Comparison with GGP-Base Prover:

Median speedup0.4285787165450585
Mean speedup2.2724551103772836
Geometric mean speedup0.0
Ratio of # state changes with 1 second per game0.37592856488561444
Ratio of times to run 1000 states per gameInfinity
Number of games with errors15

Comparison with other engines:

EngineWe're faster in N gamesOnly they failThey're faster in N gamesOnly we fail
REKKURA_BACKWARD_PROVER:1.0.022203051
ALLOY_COMPILED_PROVER_CACHING:141051312
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1199832011
GGP_BASE_PROVER:2015-04-26114141214
ALLOY_TUPLE_PROVER:135448812
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.0526100
PALAMEDES_JOCULAR:0.6.193773578
REKKURA_GENERIC_FORWARD_PROVER:1.0.0518091
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.05170100
REKKURA_GENERIC_BACKWARD_PROVER:1.0.0526101
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1273824610

Game-by-game statistics:

GameAverage state changes per secondRanking
BASE/onestep/xi53wA149358
BASE/haystack/UkweGA1337710
DRESDEN/troublemaker01/C-lPWw112778
BASE/troublemaker01/s3tlEQ110278
BASE/survival/YVIjJA102588
STANFORD/buttonsandlights/eyhJpA98388
DRESDEN/troublemaker02/iZLVuA93368
BASE/troublemaker02/DI83KA92878
BASE/pearls/6k_mEQ879710
BASE/stateSpaceSmall/Q7osKA87367
DRESDEN/statespacesmall/h-NqjA85488
DRESDEN/buttons/ADUaHw81017
BASE/buttons/hTcUjw78368
BASE/blocksWorld/SEdXLQ69137
DRESDEN/blocks/vg0DRw68627
BASE/blocks/xIV5hQ68417
BASE/untwistycomplex2/EDPPAQ64048
STANFORD/untwistycorridor/EDPPAQ63908
BASE/switches/tPUoCg61668
BASE/maze/cCX3qQ60328
BASE/duplicateStateSmall/bCPAXw60218
DRESDEN/2player_normal_form_2010/NG_Kdg57677
STANFORD/rainbow/_4qNSQ56856
BASE/stateSpaceMedium/3bUoIw55265
DRESDEN/statespacemedium/dVJZ_w53286
DRESDEN/roshambo2/jgSlkQ53107
BASE/roshambo2/KNPokQ52588
BASE/lightsOn/MsXu3A52437
STANFORD/multiplebuttonsandlights_9/SqB9BA51687
BASE/sum15/QZ07Kg51104
DRESDEN/sum15/CsgWKg50814
STANFORD/multiplebuttonsandlights/cK70Yg50698
BASE/factoringGeorgeForman/HGRorQ50456
STANFORD/bestbuttonsandlights/nm0wEA49268
BASE/blocks2player/wnTLOQ46867
DRESDEN/blocks2player/3ev8nQ46638
BASE/toetictac/mTThmg45906
DRESDEN/point_grab/r5DPmQ45897
DRESDEN/tictactoe_orthogonal/y69QFQ45314
DRESDEN/toetictac/mJtxCA45246
BASE/tictactoe_orthogonal/WRzlVw45074
BASE/point_grab/r5DPmQ44357
STANFORD/jointbuttonsandlights/qAKuIQ43067
BASE/circlesolitaire/azuQFQ40927
DRESDEN/circlesolitaire/ruUilQ40918
BASE/chickentoetictac/l57rfQ38976
DRESDEN/chickentoetictac/cxYaRQ38916
DRESDEN/blocker/S815zQ38595
STANFORD/bestbuttonsandlightsbig/g0JC6g37767
BASE/stateSpaceLarge/0Ge_CQ36946
STANFORD/dualrainbow/G3OnRQ36546
DRESDEN/statespacelarge/8-y5HQ35976
STANFORD/threepuzzle/41ibjA35227
DRESDEN/tictactoe/BTTzPw34425
STANFORD/3puzzle/41ibjA34258
DRESDEN/eotcatcit/mQUxzA33945
BASE/eotcatcit/AfZSzA32616
BASE/brain_teaser_extended/ZDp94A32606
DRESDEN/brain_teaser_extended/ZDp94A32166
BASE/hodgepodge/9yjRkw31818
BASE/blocker/dIWtxg30536
DRESDEN/tictactoe-init1/3ltIBQ30156
DRESDEN/chickentictactoe/Ipbo-g30045
BASE/blocksWorldSerial/Wyg96Q29876
BASE/tictactoe2/bhrDoQ29596
DRESDEN/lightsout2/LFtfyQ29562
BASE/tictactoe-init1/7M19vA29416
STANFORD/trifecta/ss1kyQ29207
BASE/ticTacToe/JRFsaQ28947
STANFORD/untwistycomplex/HTWEwg28907
STANFORD/tictactoe/ss1kyQ28867
DRESDEN/oisters_farm/pTQMLg28577
STANFORD/tictactoe7/-bE9-A28516
DRESDEN/lightsout/XgLpzQ27812
DRESDEN/firefighter/WJmoPw27658
BASE/gt_dollar/TGjqRw27297
DRESDEN/lightson2x2/gBHuig27238
BASE/factoringEasyTurtleBrain/lUj94Q27047
BASE/lightsOnParallel/SC6enA26846
BASE/chickentictactoe/DSlZCA26477
BASE/firefighter/WJmoPw26428
DRESDEN/blocksworldparallel/2JfVaw26056
STANFORD/tictactoe5/WFRReg25976
STANFORD/sukoshi/4LYZZQ25325
BASE/eotcitcit/V_9_bg25305
DRESDEN/Catch-Me-If-You-Can/ghGWrA25257
DRESDEN/catch_me/ghGWrA25177
DRESDEN/CatchMeIfYouCanTest/CX18rA24938
DRESDEN/Thief_Police/CX18rA24668
BASE/incredible/8Qh-6Q24416
STANFORD/tictactoe3/X7myng24216
DRESDEN/tictictoe/LAUtwg23805
DRESDEN/8puzzle/8fKC2w23187
BASE/lightsOut/5P1ZBw22643
BASE/snakeParallel/RCVNtw22626
STANFORD/hunter/14dD-g22306
STANFORD/tictictoe/rpt_Dw22275
DRESDEN/knightstour/cGISAA21837
BASE/ticTicToe/c1OobQ21655
DRESDEN/SC_TestOnly_enabled/09o7gQ21134
BASE/ticTacToeNoVars/XT03NA20906
BASE/duplicateStateMedium/U163eQ20885
BASE/numbertictactoe/rvJ-iQ20695
BASE/doubletictactoe/HH1htg19924
BASE/gt_centipede/9fRMpw19807
DRESDEN/bunk_t/7-tPfA19685
DRESDEN/tictactoelargesuicide/6J4DeA19595
DRESDEN/doubletictactoe/lJzgmQ19555
BASE/factoringMutuallyAssuredDestruction/NH0LGg19367
BASE/bunk_t/xbpfIA19214
BASE/doubletoetictac/fu35bg19075
DRESDEN/tictactoelarge/IwXcbg19055
BASE/beatMania/qUHwvQ18938
BASE/chomp/-LcqYQ18655
DRESDEN/chomp/-LcqYQ18446
DRESDEN/latenttictactoe/kITHKg18326
STANFORD/knightstourmedium/x1wu8Q18197
DRESDEN/doubletoetictac/V89gKQ18055
STANFORD/8puzzle/jNiGtw17938
STANFORD/eightpuzzle/W_aWbA17858
BASE/eightPuzzle/vLrgFg17658
BASE/blocksWorldParallel/RseaAQ17603
BASE/ticTacToeLarge/TZC0dg16765
DRESDEN/grid_game2/kypTYQ16762
DRESDEN/hanoi/RQ0jiA16687
BASE/ruleDepthLinear/OUBJpQ16626
BASE/ticTacToeLargeSuicide/727_8g16455
BASE/hanoi/iGLsJg16187
BASE/coloredtrails/EZvr7g15588
STANFORD/dualhunter/1rPZjQ15505
BASE/knightsTour/mvtVIg15388
BASE/withConviction/3Xm54A15312
STANFORD/knightstour/cEwgNA15138
BASE/ticblock/T21C1g14737
DRESDEN/ticblock/Z2yNWQ14697
BASE/nim2/eF2Qqw14315
BASE/nim1/hin2Qw14245
BASE/nim3/1OwUqw14155
DRESDEN/nim2/z5_exA14135
DRESDEN/nim3/sG_axA14035
DRESDEN/nim1/M9BALA14006
BASE/futoshiki4/BaCwSw13974
BASE/nim4/twk16w13875
BASE/coins_atomic/AA3SSw13765
BASE/factoringMediumTurtleBrain/8RBqmQ13755
STANFORD/duikoshi/tpw1sw13684
BASE/coins/QnGtnQ13627
DRESDEN/nim4/F5YAYg13526
DRESDEN/pancakes/hl9aiQ13177
DRESDEN/bidding-tictactoe/yW5vTA13115
BASE/double_tictactoe_dengji/zgaSbA13097
DRESDEN/double_tictactoe_dengji/bGaUyQ13027
DRESDEN/coins/QwFP9w13007
BASE/conn4/va9Y7A12992
DRESDEN/tictactoeparallel/yk_DSg12976
STANFORD/triplesukoshi/Iu9mbA12964
BASE/tron_10x10/7ZTgDg12688
DRESDEN/pancakes6/SZXMyQ12568
BASE/asteroids/BKCmPQ12497
BASE/lightsOnSimultaneous/_VN6lw12345
DRESDEN/cube_2x2x2/fp-34Q12337
DRESDEN/pancakes88/aD3E7g12078
DRESDEN/catcha_mouse/cHv4dw12005
DRESDEN/Runners/3bOCQw11977
BASE/biddingTicTacToe/8mESVw11805
BASE/queens06ug/7Lq3tw11735
BASE/aipsrovers01/4C4jsw11716
BASE/catcha_mouse/cHv4dw11525
DRESDEN/aipsrovers01/qS47Mw11267
BASE/snake2p/I3wWPQ11203
BASE/ticTacToeSerial/Amrwqw11155
BASE/breakthroughSmallHoles/bxclRw11004
DRESDEN/pawn_whopping/4ogBkg10945
DRESDEN/pawn_whopping_corrected/7Ov0jQ10645
BASE/lightsOnSimul4/9FeASw10615
BASE/ticTacToeParallel/ymRGPw10406
BASE/simultaneousWin2/PfjRjw10185
BASE/racetrackcorridor/k1OQRg9744
DRESDEN/tictactoe_3player/ESLQQQ9616
BASE/blockerSerial/3eqDuw9616
BASE/queens08ug/kJ_ZFQ9195
STANFORD/breakthrough/d5j0cQ9006
DRESDEN/racetrackcorridor/O0DoTA8876
DRESDEN/logistics/fPru1Q8838
BASE/crisscross/ICagEg8535
BASE/tictactoe_3player/GtM71g8536
DRESDEN/fizzbuzz/t1xHzQ8416
DRESDEN/3pffa/0YrmQw8376
DRESDEN/3pttc/uwYBZw8347
BASE/tictactoex9/BI26ow8324
DRESDEN/mimikry/GJEhwA8125
DRESDEN/slidingpieces/s9_44g8122
DRESDEN/crisscross/GsY16g8116
STANFORD/multipletictactoe/_bkafQ8074
DRESDEN/tictactoex9/rFkD4w8064
BASE/chineseCheckers1/gqtwHw8028
BASE/futoshiki5/TJ4BZg8003
BASE/slidingpieces/uFJWEw7983
BASE/tictactoe_3d_small_2player/oOryKA7976
DRESDEN/tictactoe_3d_small_2player/HYttcg7916
BASE/dotsAndBoxes/EHwA_w7895
BASE/pawnWhopping/Ypc_6Q7775
BASE/pancakes6/QZTdnw7778
DRESDEN/pawn_whopping_simultaneous/r8dLfw7704
BASE/dotsAndBoxesSuicide/jzQbLw7695
BASE/nineBoardTicTacToePie/B8LzeQ7643
BASE/pancakes/yUgbXw7628
BASE/3pConnectFour/PqXOFQ7605
BASE/gt_coordination/IVMOzA7528
DRESDEN/peg_bugfixed/u_B7MA7523
BASE/duplicateStateLarge/dcjyuw7446
BASE/asteroidsSerial/id2QkA7446
DRESDEN/peg/Vo31eg7423
DRESDEN/tpeg/h-Scbg7394
BASE/asteroidsParallel/WauZiA7336
BASE/tpeg/QNs7Lw7264
DRESDEN/battlesnakes2011/93VtTw7244
DRESDEN/battlesnakes1509/-qZrLw7224
DRESDEN/smallest_4player/ADDROA7207
BASE/smallest_4player/ADDROA7196
STANFORD/kono/HI7CHA7171
BASE/wallmaze/uxNQ9g7165
DRESDEN/blockerparallel/dVQgSg6834
DRESDEN/stratego/Z2wovg6754
DRESDEN/connectfoursuicide/M9CNQg6716
DRESDEN/quad_7x7/q-JOXg6541
BASE/quad_7x7/q-JOXg6521
BASE/blockerParallel/7-nDJA6525
DRESDEN/gt_prisoner/huCp4w6447
DRESDEN/kitten_escapes_from_fire/uW-YiA6387
BASE/kitten_escapes_from_fire/uW-YiA6348
DRESDEN/connectfour/5tc-Mg6316
STANFORD/nineboardtictactoe/y28P-A6225
BASE/ticTacHeaven/18n58A6213
DRESDEN/bidding-tictactoe_10coins/mu5VhQ6215
DRESDEN/chinesecheckers1/Y-ftaA6208
DRESDEN/sheep_and_wolf/enAIzQ6206
BASE/connectFour/WAIKTw6187
DRESDEN/tictactoe_3d_small_6player/llDEDQ6144
BASE/nineBoardTicTacToe/wRmqqA6125
BASE/connectFourSuicide/c8p9Kw6107
BASE/tictactoe_3d_small_6player/g_9lww5924
DRESDEN/smallest/9kaGFw5895
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw5878
BASE/2pffa/6oHijA5806
BASE/biddingTicTacToe_10coins/a-9ccQ5785
BASE/knightsTourLarge/M8jgLA5778
BASE/ticTacHeavenFC/mrletw5713
BASE/queens08lg/Ru7eqQ5693
DRESDEN/grid_game/U7_Yeg5698
STANFORD/connectfour/VMpZkQ5687
DRESDEN/connect4/T0-rHQ5655
DRESDEN/knightwar/7hhAqg5645
BASE/2pffa_zerosum/o0_uZA5576
BASE/futoshiki6/JmvXNA5522
BASE/connect4/50bOyw5505
DRESDEN/Goldrush/VeWczQ5423
BASE/gt_staghunt/xPjLRA5338
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg5227
BASE/3pffa/pR0dzA5127
BASE/gt_prisoner/klthDw5118
BASE/snakeAssemblit/sOydSg5104
BASE/chineseCheckers2/eCMR3Q4997
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ4978
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg4957
DRESDEN/uf20-020.cnf.SAT/hDrW_A4916
DRESDEN/uf20-010.cnf.SAT/5ICbCg4796
BASE/connectFourSimultaneous/7ITr3g4776
DRESDEN/sat_test_20v_91c/dK7nVw4767
DRESDEN/gt_chicken/CeuKtw4768
STANFORD/freeforall/Lfp40Q4737
BASE/snake_2009/7l-qAQ4726
BASE/4pffa/Q3ADlg4666
DRESDEN/snake_2009/zIYLVw4625
DRESDEN/ggp-course2013_michal13/jWKddg4613
BASE/cubicup/4wNWJA4565
DRESDEN/cubicup/SBn_lw4555
BASE/escortLatch/mX9BjQ4506
STANFORD/knightstourbig/TQUI2g4458
DRESDEN/golden_rectangle/1uloXw4394
BASE/golden_rectangle/_nYzfw4374
BASE/kalaha5x2x3/WviNsw4358
BASE/gt_chicken/gmepTQ4278
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA4157
DRESDEN/sat_test_20v_91c_version2/a1mPBA4108
BASE/majorities/ibJzSQ4043
STANFORD/selectivesukoshi/3xmXYg4043
BASE/cubicup_3player/e2yA_g4032
DRESDEN/cubicup_3player/awDtsQ3983
DRESDEN/pentago_2008/hLjVpQ3905
BASE/snake_2009_big/-oRfVw3865
DRESDEN/snake_2009_big/DgC1NQ3836
DRESDEN/uf20-01.cnf.SAT/42Rs8A3808
STANFORD/multiplesukoshi/vLSQPg3802
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg3787
DRESDEN/chinesecheckers3/QsCb2A3787
DRESDEN/knightmove/97Ipcw3777
BASE/knightmove/jBaJEw3747
BASE/chineseCheckers3/-1rZdQ3628
STANFORD/breakthroughsmall/HM0s5w3534
BASE/breakthroughSmall/HJ0tIA3506
BASE/dualConnect4/WbCQkg3498
DRESDEN/crissrace/KWb9bw3376
DRESDEN/gt_ultimatum/pAiiQw3346
BASE/snake_2008_tweaked/bX0NJQ3347
BASE/crissrace/ERWGDA3326
BASE/snake_2008/i6K26g3327
BASE/checkLines/Vop7oQ3318
DRESDEN/snake_2008/E56l3A3307
DRESDEN/chinesecheckers2/06E6-Q3207
BASE/connectFourLarge/aU644A3208
BASE/peg/fJHVWw3177
BASE/pegEuro/5awwhg3106
BASE/gt_ultimatum/GE-uOA3085
DRESDEN/backgammon/mqCW0Q3084
DRESDEN/ggp-course2013_jordi/9QI6Kw3003
DRESDEN/4pttc/9pB9AQ2998
DRESDEN/hanoi_6_disks/MeubgQ2967
BASE/chineseCheckers4/avfBcQ2958
BASE/hanoi_6_disks/MeubgQ2957
BASE/cittaceot/fDxhXg2896
STANFORD/alquerquezero/uVgA_A2895
DRESDEN/javastrike/whONTQ2782
DRESDEN/hallway/0H4l-Q2716
BASE/hallway/ckCJOw2696
BASE/englishDraughts/jFkQxg2567
BASE/mineClearingSmall/frsbvw2555
BASE/kalaha6x2x4/XS81Mg2458
STANFORD/pilgrimage/ObRZnQ2426
BASE/chineseCheckers6/rREH3A2417
BASE/guess/SPpk1A2395
STANFORD/pentago/ZxzLmg2397
DRESDEN/guess/PhxGhg2365
BASE/pentagoSuicide/SBgNhw2286
DRESDEN/chinesecheckers4/-oVNYg2286
BASE/pentago/86NgKw2276
DRESDEN/quad_5x5_8_2/JRTLJg2253
BASE/minichess/8NQEiA2248
DRESDEN/frogs_and_toads/GjchhQ2238
BASE/ttcc4_2player_small/Cv72TA2177
DRESDEN/quad_5x5/JAEP5g2113
BASE/quad_5x5/JAEP5g2113
BASE/qyshinsu/R08Lzw2105
BASE/minichess-evilconjuncts/4OpQzw2105
BASE/2pttc/unkkYA2068
DRESDEN/minichess-evilconjuncts/th24Tw2065
DRESDEN/minichess/c7GMFw2028
DRESDEN/chinesecheckers6-simultaneous/gPPGUw1986
BASE/sudokuGrade1/tDRNRw1922
BASE/sudokuGrade3/eI8dvg1892
BASE/sudokuGrade4/DTy07w1883
BASE/sudokuGrade2/u80Tfw1883
STANFORD/sudoku/oJ1qyQ1863
BASE/sudokuGrade5/BQfUQA1853
BASE/sudokuGrade6H/ieE_9A1852
BASE/quad/tw-Ufg1852
DRESDEN/quad/JPe6fg1811
BASE/sudokuGrade6E/ihYFZA1772
DRESDEN/chinesecheckers6/yTbPDA1717
BASE/hanoi7_bugfix/3gdnFw1707
BASE/knightwar/DVGY4Q1677
STANFORD/duidoku/3SoMaA1612
DRESDEN/hanoi7_bugfix/3gdnFw1618
DRESDEN/hanoi7/51zz5Q1538
DRESDEN/tictactoe_3d_2player/LMuX9w1465
BASE/tictactoe_3d_6player/d7KSwg1414
DRESDEN/breakthroughsuicide/Y9QzqQ1397
BASE/tictactoe_3d_2player/IUC1rQ1395
BASE/3pttc/0sol9g1378
DRESDEN/ghostmaze2p/HY0UwA1347
DRESDEN/breakthrough/z4hK7Q1337
BASE/sheepAndWolf/g4THrg1327
BASE/breakthroughSuicide/wZDpIg1327
BASE/checkersTiny/Lr48cg1317
BASE/ghostMaze2p/W-NU-w1307
DRESDEN/breakthroughsuicide_v2/LU1nAw1307
BASE/breakthroughHoles/nZk0Sg1297
BASE/hexPie/48CH6Q1296
STANFORD/hex/MTqWcw1297
DRESDEN/bomberman2p/x4h6jQ1287
DRESDEN/tictactoe_3d_6player/ulZPWg1285
BASE/hex/T1MK8g1288
BASE/breakthrough/TGxk-g1288
BASE/bomberman2p/4CClwA1267
DRESDEN/knightthrough/J7Fc_Q1247
BASE/breakthroughWalls/vOZaYA1238
BASE/connectFourLarger/qKi60A1188
BASE/gt_tinfoil/Q8DyKg1168
DRESDEN/mummymaze2p-comp2007/oTQRQg1016
BASE/mummyMaze2p_2007/YGA3Vw987
BASE/chinook/XQh0IQ956
BASE/4pttc/AL1k2Q947
BASE/choicethroughalt/tt71Lg947
BASE/ttcc4/Le0qjQ947
BASE/ttcc4_2player/_aH_Mw936
STANFORD/ttcc4/Cx9SGw927
DRESDEN/tttcc4/sAvtFg917
BASE/tttcc4/8Bs2lg917
BASE/ttcc4_2player_alt/ZEJvYA907
BASE/checkersSmall/SYmq8w895
BASE/checkersBarrelNoKings/rnKNeg887
STANFORD/chinook/osFbPA887
STANFORD/checkersonabarrelnokings/Zrevdw867
BASE/checkersTorusNoKings/pwb6oQ838
DRESDEN/CephalopodMicro/H3XQfg834
DRESDEN/babel/WdSW4A828
BASE/cephalopodMicro/9l2D3g764
DRESDEN/ggp-course2013_nicolai/uEin8g765
BASE/endgame/jYjfOA728
BASE/twisty-passages/DiZmmg667
BASE/knightThrough/gcwFjA657
DRESDEN/pacman3p/rBnk8Q647
DRESDEN/twisty-passages/j7NPyg648
BASE/checkersTorus/2vm1EQ637
BASE/pacman3p/wW7UVQ627
BASE/checkers/rOC3Xg606
DRESDEN/skirmish3/3LU8Nw598
BASE/pacman2p/4LEdQg598
BASE/knightfight/SJRkAg518
DRESDEN/knightfight/4_Ly4w518
BASE/amazons_8x8/7SOsIw506
BASE/knightazons/apnJBQ487
DRESDEN/knightazons/02I8BQ487
DRESDEN/crossers3/xiPTxg478
BASE/crossers3/O0rORg478
DRESDEN/mummymaze2p/k-8edg458
DRESDEN/capture_the_king/EQ229Q455
DRESDEN/skirmish2/iPpWhQ457
BASE/mummymaze2p/vpjDdA458
BASE/colonelBlottoVariant/X-n-KQ435
DRESDEN/skirmish/RjGQYQ437
BASE/colonelBlottoVariant2/jruwGw425
DRESDEN/satlike_20v_91c/yeuENQ414
DRESDEN/satlike_20v_91c_version2/yd9ioQ414
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g404
DRESDEN/Zhadu/9zpQ5w406
DRESDEN/brawl/2kXtfQ396
BASE/zhadu/DlA8iQ393
BASE/brawl/6Ymo_Q396
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA385
BASE/god/qF06gw385
DRESDEN/endgame/IJhh3Q377
BASE/queens31lg/0gID-A373
BASE/reversi/d8UMeA363
DRESDEN/god/2EDD5w365
DRESDEN/towerworld/HCX34w326
BASE/skirmishHoles/AUCxCA317
BASE/skirmishFinal3/-Olhfw317
BASE/skirmishFinal2/gdB62Q296
DRESDEN/skirmishfinal/hzq8ww286
BASE/checkers-newgoals/0XkFiA268
BASE/skirmishFinal1/ecWTnQ267
STANFORD/platformjumpers/HEQskA257
BASE/strangeSkirmish/gc1zKA255
DRESDEN/Travelers-Dilemma/PvZwYw257
BASE/pancakes88/l2Xaig257
BASE/kalaha_2009/dRiN3g247
BASE/speedChess/bPnisA238
BASE/skirmish/Y_psYQ237
DRESDEN/quartosuicide/WIU1oQ238
DRESDEN/kalaha_2009/gcC8uA237
BASE/skirmishNew/sibw2g237
DRESDEN/quarto/OQzRYQ228
BASE/quarto/EwBMVQ228
BASE/amazons_10x10/Bun8dA217
BASE/quartoSuicide/-23jUg217
DRESDEN/small_dominion/yB5GJA214
BASE/amazonsSuicide_10x10/XIbQkg217
BASE/othelloHoles/c0qAzw204
BASE/othello-comp2007/86ZoMw203
BASE/skirmishZeroSum/zh4hcw208
DRESDEN/connect5/1kYzSg207
BASE/racer/QQYQNw195
BASE/othelloSuicide/B442jg194
DRESDEN/blobwars/ZaMluQ187
DRESDEN/racer/vk_ZBA186
BASE/blobwars/0XT15Q187
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA177
BASE/connect5/d-BVQg179
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A168
DRESDEN/vacuum_cleaner_1/eUNjpw158
DRESDEN/vacuumcleaner_random/_6AGDA157
BASE/alexChess/LNo83g143
BASE/amazonsTorus_10x10/Uxc08g127
BASE/factoringImpossibleTurtleBrain/kcBhdw125
DRESDEN/amazons/dNB28A124
BASE/checkers-mustjump/T-8UuQ115
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw105
BASE/checkers-cylinder-mustjump/rjr6qQ95
BASE/checkers-mustjump-torus/uSApKQ85
STANFORD/skirmish/w4V6Vw86
STANFORD/madness/UO_B3A76
BASE/blokbox_simple/JBx4bg73
BASE/four_way_battle/xSOQXA67
DRESDEN/max_knights/hCipiA67
BASE/max_knights/2fq3Ag67
DRESDEN/four_way_battle/xSOQXA68
BASE/colonelBlotto/jip21A56
DRESDEN/pawntoqueen/f_x6Aw47
BASE/wargame01/_GZFZg47
BASE/pawnToQueen/-O1_JA47
BASE/wargame02/BkVqqQ37
BASE/wargame03/klXI8w36
DRESDEN/battle/8oAvhQ38
BASE/battle/8oAvhQ38
DRESDEN/vacuumcleaner_random_big/DwzFaQ27
DRESDEN/checkers/jIDMIg28
BASE/gt_two_thirds_2p/1APDGg25
BASE/cylinder-checkers/hlldmw27
DRESDEN/cylinder-checkers/clOO3Q28
DRESDEN/checkers-newgoals/IJOqXQ28
DRESDEN/farmers/S_ASnw17
BASE/hitori/S8Gsyg18
DRESDEN/checkers-mustjump/HUr33w18
DRESDEN/checkers-cylinder-mustjump/vW_-pA17
BASE/gt_attrition/kD_SCA15
DRESDEN/checkers-mustjump-torus/cVc3gA17
DRESDEN/hitori/S8Gsyg18
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg17
BASE/amazonsSuicide/dE1QEQ06
BASE/merrills/pku8Tg010
DRESDEN/battlebrushes/QHXV4A07
DRESDEN/othello-cornercontrol/r5Gdlg09
BASE/amazonsTorus/soxT8g04
BASE/ad_game_2x2/D0aWqg05
BASE/amazons/RKKZjw06
DRESDEN/merrills/aYEzwA010

Games with errors:

GameError message
BASE/ruleDepthExponential/UamhHQTest process timed out after 240 seconds
BASE/gt_two_thirds_4p/DStnxQTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 seconds
BASE/sudoku/NTaNkwTest process timed out after 240 seconds
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147484126
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 seconds
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147484126
BASE/mummymaze1p/PT_EXATest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds