REKKURA_BACKWARD_PROVER:1.0.0

Comparison with GGP-Base Prover:

Median speedup0.438446959670503
Mean speedup2.260514672284139
Geometric mean speedup0.0
Ratio of # state changes with 1 second per game0.3846828725352497
Ratio of times to run 1000 states per gameInfinity
Number of games with errors14

Comparison with other engines:

EngineWe're faster in N gamesOnly they failThey're faster in N gamesOnly we fail
REKKURA_BACKWARD_PROVER_OSTD:1.0.030512220
ALLOY_COMPILED_PROVER_CACHING:131051511
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1212830810
GGP_BASE_PROVER:2015-04-26122140513
ALLOY_TUPLE_PROVER:137448711
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.0517290
PALAMEDES_JOCULAR:0.6.195783558
REKKURA_GENERIC_FORWARD_PROVER:1.0.0519090
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.05091180
REKKURA_GENERIC_BACKWARD_PROVER:1.0.0527100
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.127682449

Game-by-game statistics:

GameAverage state changes per secondRanking
BASE/onestep/xi53wA153837
BASE/haystack/UkweGA137458
DRESDEN/troublemaker01/C-lPWw113107
BASE/troublemaker01/s3tlEQ111397
BASE/survival/YVIjJA105777
STANFORD/buttonsandlights/eyhJpA98497
BASE/pearls/6k_mEQ94609
DRESDEN/troublemaker02/iZLVuA94527
BASE/troublemaker02/DI83KA92887
BASE/stateSpaceSmall/Q7osKA90405
DRESDEN/statespacesmall/h-NqjA86187
BASE/buttons/hTcUjw80257
DRESDEN/buttons/ADUaHw78758
BASE/blocksWorld/SEdXLQ70716
BASE/blocks/xIV5hQ69996
DRESDEN/blocks/vg0DRw69466
STANFORD/untwistycorridor/EDPPAQ65167
BASE/untwistycomplex2/EDPPAQ64417
BASE/factoringGeorgeForman/HGRorQ64034
BASE/switches/tPUoCg63247
BASE/duplicateStateSmall/bCPAXw60567
BASE/maze/cCX3qQ60487
STANFORD/rainbow/_4qNSQ59035
BASE/lightsOn/MsXu3A58986
DRESDEN/2player_normal_form_2010/NG_Kdg57766
DRESDEN/statespacemedium/dVJZ_w54095
BASE/roshambo2/KNPokQ53997
BASE/stateSpaceMedium/3bUoIw53936
STANFORD/multiplebuttonsandlights/cK70Yg51917
DRESDEN/roshambo2/jgSlkQ51908
DRESDEN/sum15/CsgWKg50455
STANFORD/bestbuttonsandlights/nm0wEA50367
BASE/sum15/QZ07Kg50355
STANFORD/multiplebuttonsandlights_9/SqB9BA49728
DRESDEN/blocks2player/3ev8nQ46857
BASE/blocks2player/wnTLOQ46518
BASE/toetictac/mTThmg45567
STANFORD/jointbuttonsandlights/qAKuIQ45526
DRESDEN/toetictac/mJtxCA44657
BASE/point_grab/r5DPmQ44248
DRESDEN/lightson2x2/gBHuig43895
DRESDEN/point_grab/r5DPmQ43048
BASE/tictactoe_orthogonal/WRzlVw41235
DRESDEN/circlesolitaire/ruUilQ41037
DRESDEN/tictactoe_orthogonal/y69QFQ40895
BASE/circlesolitaire/azuQFQ40728
DRESDEN/blocker/S815zQ39014
BASE/tictactoe2/bhrDoQ38934
BASE/lightsOnParallel/SC6enA38634
DRESDEN/chickentoetictac/cxYaRQ38567
DRESDEN/statespacelarge/8-y5HQ37965
BASE/chickentoetictac/l57rfQ37947
STANFORD/dualrainbow/G3OnRQ37805
BASE/stateSpaceLarge/0Ge_CQ37185
DRESDEN/tictactoe/BTTzPw36874
STANFORD/bestbuttonsandlightsbig/g0JC6g36788
BASE/eotcatcit/AfZSzA35164
STANFORD/3puzzle/41ibjA34887
DRESDEN/eotcatcit/mQUxzA34644
DRESDEN/tictactoe-init1/3ltIBQ34224
STANFORD/threepuzzle/41ibjA33788
BASE/hodgepodge/9yjRkw33077
BASE/tictactoe-init1/7M19vA33064
BASE/brain_teaser_extended/ZDp94A32855
DRESDEN/brain_teaser_extended/ZDp94A32395
BASE/blocker/dIWtxg31755
BASE/ticTacToe/JRFsaQ31376
STANFORD/tictactoe7/-bE9-A31375
DRESDEN/chickentictactoe/Ipbo-g31174
STANFORD/tictactoe/ss1kyQ30795
STANFORD/trifecta/ss1kyQ30265
STANFORD/tictactoe5/WFRReg29515
BASE/blocksWorldSerial/Wyg96Q29497
STANFORD/untwistycomplex/HTWEwg29476
BASE/factoringEasyTurtleBrain/lUj94Q29356
DRESDEN/lightsout2/LFtfyQ29133
BASE/factoringMutuallyAssuredDestruction/NH0LGg28325
DRESDEN/oisters_farm/pTQMLg28318
STANFORD/tictactoe3/X7myng28075
DRESDEN/firefighter/WJmoPw27917
DRESDEN/lightsout/XgLpzQ27713
BASE/firefighter/WJmoPw27607
BASE/chickentictactoe/DSlZCA27495
BASE/gt_dollar/TGjqRw27298
STANFORD/sukoshi/4LYZZQ26074
BASE/eotcitcit/V_9_bg25814
DRESDEN/blocksworldparallel/2JfVaw25477
DRESDEN/CatchMeIfYouCanTest/CX18rA25477
DRESDEN/Thief_Police/CX18rA25397
DRESDEN/tictictoe/LAUtwg25254
DRESDEN/catch_me/ghGWrA25098
DRESDEN/Catch-Me-If-You-Can/ghGWrA24918
DRESDEN/tictactoelarge/IwXcbg24734
DRESDEN/tictactoelargesuicide/6J4DeA24394
BASE/incredible/8Qh-6Q23657
BASE/snakeParallel/RCVNtw22785
STANFORD/tictictoe/rpt_Dw22584
DRESDEN/8puzzle/8fKC2w22538
BASE/ticTacToeNoVars/XT03NA22535
BASE/lightsOut/5P1ZBw22464
BASE/ticTicToe/c1OobQ22094
DRESDEN/knightstour/cGISAA21668
STANFORD/hunter/14dD-g21538
BASE/duplicateStateMedium/U163eQ20726
DRESDEN/SC_TestOnly_enabled/09o7gQ20615
BASE/ticTacToeLarge/TZC0dg20304
DRESDEN/doubletictactoe/lJzgmQ20294
BASE/numbertictactoe/rvJ-iQ20236
DRESDEN/bunk_t/7-tPfA19934
BASE/gt_centipede/9fRMpw19798
BASE/ticTacToeLargeSuicide/727_8g19774
BASE/doubletictactoe/HH1htg19535
DRESDEN/doubletoetictac/V89gKQ19524
BASE/doubletoetictac/fu35bg19494
DRESDEN/chomp/-LcqYQ19284
BASE/beatMania/qUHwvQ19277
BASE/bunk_t/xbpfIA19045
STANFORD/eightpuzzle/W_aWbA18467
DRESDEN/latenttictactoe/kITHKg18385
BASE/chomp/-LcqYQ18316
BASE/eightPuzzle/vLrgFg18177
STANFORD/8puzzle/jNiGtw18167
STANFORD/knightstourmedium/x1wu8Q17868
BASE/blocksWorldParallel/RseaAQ16904
DRESDEN/hanoi/RQ0jiA16786
BASE/ruleDepthLinear/OUBJpQ16537
BASE/hanoi/iGLsJg16246
BASE/coloredtrails/EZvr7g16007
DRESDEN/grid_game2/kypTYQ15683
BASE/ticblock/T21C1g15655
BASE/knightsTour/mvtVIg15587
STANFORD/dualhunter/1rPZjQ15486
DRESDEN/ticblock/Z2yNWQ15445
STANFORD/knightstour/cEwgNA15397
BASE/withConviction/3Xm54A15293
BASE/lightsOnSimultaneous/_VN6lw14804
DRESDEN/nim1/M9BALA14295
BASE/nim1/hin2Qw14226
BASE/nim2/eF2Qqw14126
BASE/factoringMediumTurtleBrain/8RBqmQ14094
BASE/futoshiki4/BaCwSw13983
DRESDEN/nim2/z5_exA13976
DRESDEN/nim4/F5YAYg13805
BASE/nim4/twk16w13746
BASE/coins/QnGtnQ13746
DRESDEN/nim3/sG_axA13726
BASE/double_tictactoe_dengji/zgaSbA13655
BASE/coins_atomic/AA3SSw13596
BASE/nim3/1OwUqw13556
DRESDEN/coins/QwFP9w13556
STANFORD/duikoshi/tpw1sw13385
DRESDEN/tictactoeparallel/yk_DSg13265
STANFORD/triplesukoshi/Iu9mbA13133
DRESDEN/double_tictactoe_dengji/bGaUyQ13116
DRESDEN/pancakes6/SZXMyQ13097
BASE/simultaneousWin2/PfjRjw13073
DRESDEN/bidding-tictactoe/yW5vTA13076
BASE/lightsOnSimul4/9FeASw12754
BASE/asteroids/BKCmPQ12726
BASE/tron_10x10/7ZTgDg12727
DRESDEN/pancakes/hl9aiQ12598
DRESDEN/pancakes88/aD3E7g12497
DRESDEN/cube_2x2x2/fp-34Q12228
BASE/catcha_mouse/cHv4dw12194
DRESDEN/catcha_mouse/cHv4dw12144
DRESDEN/Runners/3bOCQw11748
BASE/queens06ug/7Lq3tw11656
BASE/conn4/va9Y7A11563
BASE/ticTacToeSerial/Amrwqw11554
BASE/biddingTicTacToe/8mESVw11416
DRESDEN/aipsrovers01/qS47Mw11336
BASE/aipsrovers01/4C4jsw11317
DRESDEN/pawn_whopping/4ogBkg11174
BASE/breakthroughSmallHoles/bxclRw10945
BASE/snake2p/I3wWPQ10804
DRESDEN/pawn_whopping_corrected/7Ov0jQ10664
BASE/ticTacToeParallel/ymRGPw10425
DRESDEN/tictactoe_3player/ESLQQQ9724
BASE/blockerSerial/3eqDuw9635
BASE/racetrackcorridor/k1OQRg9585
DRESDEN/connectfoursuicide/M9CNQg9514
DRESDEN/connectfour/5tc-Mg9494
BASE/queens08ug/kJ_ZFQ9364
STANFORD/breakthrough/d5j0cQ9055
STANFORD/connectfour/VMpZkQ8895
DRESDEN/logistics/fPru1Q8857
BASE/connectFourSuicide/c8p9Kw8785
BASE/tictactoe_3player/GtM71g8745
DRESDEN/racetrackcorridor/O0DoTA8697
BASE/connectFour/WAIKTw8615
DRESDEN/fizzbuzz/t1xHzQ8555
DRESDEN/3pttc/uwYBZw8356
DRESDEN/3pffa/0YrmQw8317
BASE/tictactoe_3d_small_2player/oOryKA8154
DRESDEN/mimikry/GJEhwA8126
BASE/pawnWhopping/Ypc_6Q8074
BASE/chineseCheckers1/gqtwHw8067
BASE/slidingpieces/uFJWEw8052
DRESDEN/slidingpieces/s9_44g8033
DRESDEN/tictactoe_3d_small_2player/HYttcg8015
BASE/dotsAndBoxes/EHwA_w7984
BASE/dotsAndBoxesSuicide/jzQbLw7964
BASE/pancakes6/QZTdnw7947
BASE/pancakes/yUgbXw7937
BASE/duplicateStateLarge/dcjyuw7855
BASE/futoshiki5/TJ4BZg7834
BASE/3pConnectFour/PqXOFQ7814
BASE/gt_coordination/IVMOzA7547
BASE/nineBoardTicTacToePie/B8LzeQ7514
DRESDEN/pawn_whopping_simultaneous/r8dLfw7495
DRESDEN/peg/Vo31eg7414
BASE/asteroidsParallel/WauZiA7287
DRESDEN/peg_bugfixed/u_B7MA7255
DRESDEN/tpeg/h-Scbg7225
DRESDEN/smallest_4player/ADDROA7206
DRESDEN/battlesnakes1509/-qZrLw7195
STANFORD/nineboardtictactoe/y28P-A7183
BASE/smallest_4player/ADDROA7157
DRESDEN/battlesnakes2011/93VtTw7125
BASE/wallmaze/uxNQ9g7116
BASE/nineBoardTicTacToe/wRmqqA7093
BASE/tpeg/QNs7Lw7035
BASE/ticTacHeaven/18n58A7022
BASE/checkLines/Vop7oQ6986
STANFORD/kono/HI7CHA6962
BASE/asteroidsSerial/id2QkA6827
BASE/cittaceot/fDxhXg6744
DRESDEN/blockerparallel/dVQgSg6745
DRESDEN/stratego/Z2wovg6715
DRESDEN/connect4/T0-rHQ6704
BASE/blockerParallel/7-nDJA6694
BASE/connect4/50bOyw6574
BASE/tictactoe_3d_small_6player/g_9lww6543
DRESDEN/chinesecheckers1/Y-ftaA6437
BASE/quad_7x7/q-JOXg6432
BASE/kitten_escapes_from_fire/uW-YiA6417
BASE/tictactoex9/BI26ow6415
DRESDEN/quad_7x7/q-JOXg6403
DRESDEN/tictactoex9/rFkD4w6405
BASE/ticTacHeavenFC/mrletw6382
DRESDEN/tictactoe_3d_small_6player/llDEDQ6323
DRESDEN/kitten_escapes_from_fire/uW-YiA6308
DRESDEN/gt_prisoner/huCp4w6278
DRESDEN/bidding-tictactoe_10coins/mu5VhQ6186
STANFORD/multipletictactoe/_bkafQ6186
DRESDEN/sheep_and_wolf/enAIzQ6097
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw6007
BASE/knightsTourLarge/M8jgLA5997
DRESDEN/smallest/9kaGFw5826
BASE/2pffa/6oHijA5807
BASE/biddingTicTacToe_10coins/a-9ccQ5736
DRESDEN/grid_game/U7_Yeg5717
BASE/connectFourLarge/aU644A5565
BASE/2pffa_zerosum/o0_uZA5547
BASE/queens08lg/Ru7eqQ5464
DRESDEN/knightwar/7hhAqg5466
BASE/gt_prisoner/klthDw5467
BASE/connectFourSimultaneous/7ITr3g5464
BASE/futoshiki6/JmvXNA5373
BASE/gt_staghunt/xPjLRA5357
BASE/3pffa/pR0dzA5346
DRESDEN/Goldrush/VeWczQ5134
BASE/snakeAssemblit/sOydSg5103
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ5027
BASE/chineseCheckers2/eCMR3Q4968
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg4948
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg4928
DRESDEN/gt_chicken/CeuKtw4917
STANFORD/freeforall/Lfp40Q4836
DRESDEN/sat_test_20v_91c/dK7nVw4806
DRESDEN/uf20-020.cnf.SAT/hDrW_A4787
DRESDEN/uf20-010.cnf.SAT/5ICbCg4787
BASE/snake_2009/7l-qAQ4745
DRESDEN/golden_rectangle/1uloXw4733
DRESDEN/ggp-course2013_michal13/jWKddg4722
BASE/dualConnect4/WbCQkg4726
STANFORD/knightstourbig/TQUI2g4687
DRESDEN/cubicup/SBn_lw4634
BASE/cubicup/4wNWJA4624
DRESDEN/snake_2009/zIYLVw4606
BASE/golden_rectangle/_nYzfw4573
BASE/4pffa/Q3ADlg4497
BASE/escortLatch/mX9BjQ4387
BASE/kalaha5x2x3/WviNsw4367
BASE/gt_chicken/gmepTQ4337
DRESDEN/cubicup_3player/awDtsQ4142
DRESDEN/sat_test_20v_91c_version2/a1mPBA4117
DRESDEN/knightmove/97Ipcw4096
STANFORD/selectivesukoshi/3xmXYg4062
STANFORD/pentago/ZxzLmg4065
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA4038
DRESDEN/pentago_2008/hLjVpQ4004
BASE/cubicup_3player/e2yA_g3963
DRESDEN/snake_2009_big/DgC1NQ3895
BASE/majorities/ibJzSQ3874
BASE/knightmove/jBaJEw3856
DRESDEN/uf20-01.cnf.SAT/42Rs8A3827
BASE/snake_2009_big/-oRfVw3816
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg3768
BASE/pentago/86NgKw3764
STANFORD/breakthroughsmall/HM0s5w3763
BASE/pentagoSuicide/SBgNhw3724
STANFORD/multiplesukoshi/vLSQPg3723
BASE/chineseCheckers3/-1rZdQ3667
BASE/breakthroughSmall/HJ0tIA3595
DRESDEN/gt_ultimatum/pAiiQw3495
BASE/snake_2008/i6K26g3318
DRESDEN/snake_2008/E56l3A3298
BASE/snake_2008_tweaked/bX0NJQ3288
BASE/peg/fJHVWw3216
BASE/pegEuro/5awwhg3155
DRESDEN/backgammon/mqCW0Q3123
BASE/gt_ultimatum/GE-uOA3016
BASE/chineseCheckers4/avfBcQ3017
DRESDEN/4pttc/9pB9AQ2997
DRESDEN/ggp-course2013_jordi/9QI6Kw2894
DRESDEN/hanoi_6_disks/MeubgQ2898
BASE/hanoi_6_disks/MeubgQ2878
STANFORD/alquerquezero/uVgA_A2856
DRESDEN/hallway/0H4l-Q2765
DRESDEN/javastrike/whONTQ2733
BASE/hallway/ckCJOw2725
BASE/mineClearingSmall/frsbvw2684
BASE/minichess/8NQEiA2607
BASE/englishDraughts/jFkQxg2586
BASE/kalaha6x2x4/XS81Mg2477
BASE/ttcc4_2player_small/Cv72TA2466
DRESDEN/frogs_and_toads/GjchhQ2407
STANFORD/pilgrimage/ObRZnQ2397
BASE/chineseCheckers6/rREH3A2398
DRESDEN/minichess-evilconjuncts/th24Tw2334
BASE/guess/SPpk1A2326
DRESDEN/guess/PhxGhg2316
BASE/minichess-evilconjuncts/4OpQzw2294
DRESDEN/minichess/c7GMFw2197
BASE/2pttc/unkkYA2147
DRESDEN/quad_5x5_8_2/JRTLJg2124
BASE/qyshinsu/R08Lzw2114
BASE/connectFourLarger/qKi60A2106
DRESDEN/quad_5x5/JAEP5g2094
BASE/quad_5x5/JAEP5g2034
BASE/sudokuGrade2/u80Tfw1972
BASE/sudokuGrade4/DTy07w1932
BASE/sudokuGrade5/BQfUQA1892
BASE/sudokuGrade1/tDRNRw1893
STANFORD/sudoku/oJ1qyQ1862
BASE/quad/tw-Ufg1861
BASE/sudokuGrade3/eI8dvg1843
BASE/sudokuGrade6H/ieE_9A1833
DRESDEN/quad/JPe6fg1792
BASE/sudokuGrade6E/ihYFZA1763
BASE/knightwar/DVGY4Q1766
DRESDEN/hanoi7/51zz5Q1747
DRESDEN/hanoi7_bugfix/3gdnFw1707
STANFORD/duidoku/3SoMaA1603
BASE/hanoi7_bugfix/3gdnFw1578
BASE/3pttc/0sol9g1457
DRESDEN/breakthroughsuicide/Y9QzqQ1416
DRESDEN/breakthroughsuicide_v2/LU1nAw1366
DRESDEN/ghostmaze2p/HY0UwA1356
DRESDEN/tictactoe_3d_2player/LMuX9w1346
DRESDEN/breakthrough/z4hK7Q1346
DRESDEN/knightthrough/J7Fc_Q1346
BASE/checkersTiny/Lr48cg1336
BASE/tictactoe_3d_2player/IUC1rQ1336
DRESDEN/bomberman2p/x4h6jQ1316
STANFORD/hex/MTqWcw1316
BASE/hex/T1MK8g1316
DRESDEN/tictactoe_3d_6player/ulZPWg1294
BASE/ghostMaze2p/W-NU-w1298
BASE/breakthroughWalls/vOZaYA1297
BASE/breakthrough/TGxk-g1297
BASE/sheepAndWolf/g4THrg1288
BASE/breakthroughHoles/nZk0Sg1278
BASE/breakthroughSuicide/wZDpIg1278
BASE/hexPie/48CH6Q1268
BASE/tictactoe_3d_6player/d7KSwg1255
BASE/bomberman2p/4CClwA1258
BASE/gt_tinfoil/Q8DyKg1187
DRESDEN/tttcc4/sAvtFg1086
BASE/tttcc4/8Bs2lg1036
BASE/ttcc4/Le0qjQ1036
DRESDEN/mummymaze2p-comp2007/oTQRQg1007
BASE/mummyMaze2p_2007/YGA3Vw996
BASE/choicethroughalt/tt71Lg976
STANFORD/ttcc4/Cx9SGw966
BASE/ttcc4_2player_alt/ZEJvYA946
BASE/chinook/XQh0IQ947
BASE/ttcc4_2player/_aH_Mw927
BASE/4pttc/AL1k2Q918
STANFORD/chinook/osFbPA906
DRESDEN/CephalopodMicro/H3XQfg893
BASE/checkersTorusNoKings/pwb6oQ867
BASE/checkersSmall/SYmq8w866
BASE/checkersBarrelNoKings/rnKNeg868
STANFORD/checkersonabarrelnokings/Zrevdw838
DRESDEN/babel/WdSW4A827
BASE/cephalopodMicro/9l2D3g783
DRESDEN/ggp-course2013_nicolai/uEin8g766
BASE/endgame/jYjfOA727
DRESDEN/pacman3p/rBnk8Q686
BASE/knightThrough/gcwFjA676
DRESDEN/twisty-passages/j7NPyg657
DRESDEN/skirmish3/3LU8Nw627
BASE/pacman3p/wW7UVQ628
BASE/twisty-passages/DiZmmg628
BASE/checkersTorus/2vm1EQ628
BASE/checkers/rOC3Xg615
BASE/pacman2p/4LEdQg617
BASE/knightfight/SJRkAg547
DRESDEN/knightfight/4_Ly4w527
BASE/amazons_8x8/7SOsIw507
DRESDEN/crossers3/xiPTxg497
BASE/knightazons/apnJBQ496
BASE/crossers3/O0rORg497
DRESDEN/knightazons/02I8BQ496
DRESDEN/mummymaze2p/k-8edg457
DRESDEN/skirmish2/iPpWhQ458
BASE/mummymaze2p/vpjDdA457
DRESDEN/capture_the_king/EQ229Q446
BASE/colonelBlottoVariant/X-n-KQ426
DRESDEN/skirmish/RjGQYQ428
BASE/colonelBlottoVariant2/jruwGw416
DRESDEN/Zhadu/9zpQ5w415
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA394
DRESDEN/brawl/2kXtfQ397
DRESDEN/satlike_20v_91c/yeuENQ395
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g395
BASE/brawl/6Ymo_Q397
DRESDEN/satlike_20v_91c_version2/yd9ioQ385
BASE/zhadu/DlA8iQ374
BASE/queens31lg/0gID-A372
DRESDEN/endgame/IJhh3Q368
BASE/reversi/d8UMeA354
DRESDEN/towerworld/HCX34w335
BASE/skirmishFinal3/-Olhfw326
BASE/skirmishHoles/AUCxCA316
BASE/checkers-newgoals/0XkFiA286
BASE/skirmishFinal2/gdB62Q277
DRESDEN/skirmishfinal/hzq8ww277
BASE/skirmishFinal1/ecWTnQ266
STANFORD/platformjumpers/HEQskA258
BASE/strangeSkirmish/gc1zKA257
DRESDEN/Travelers-Dilemma/PvZwYw258
BASE/skirmish/Y_psYQ256
DRESDEN/quarto/OQzRYQ257
BASE/amazons_10x10/Bun8dA236
BASE/pancakes88/l2Xaig238
BASE/speedChess/bPnisA237
DRESDEN/quartosuicide/WIU1oQ237
BASE/skirmishNew/sibw2g238
BASE/amazonsSuicide_10x10/XIbQkg236
BASE/kalaha_2009/dRiN3g228
DRESDEN/kalaha_2009/gcC8uA228
BASE/quarto/EwBMVQ227
BASE/quartoSuicide/-23jUg218
BASE/othelloHoles/c0qAzw213
BASE/skirmishZeroSum/zh4hcw217
BASE/othelloSuicide/B442jg203
DRESDEN/small_dominion/yB5GJA205
DRESDEN/god/2EDD5w206
BASE/god/qF06gw206
BASE/othello-comp2007/86ZoMw194
DRESDEN/connect5/1kYzSg198
BASE/racer/QQYQNw186
BASE/connect5/d-BVQg188
DRESDEN/racer/vk_ZBA185
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA178
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A177
BASE/factoringImpossibleTurtleBrain/kcBhdw173
DRESDEN/blobwars/ZaMluQ178
BASE/blobwars/0XT15Q178
DRESDEN/vacuum_cleaner_1/eUNjpw167
BASE/alexChess/LNo83g142
DRESDEN/vacuumcleaner_random/_6AGDA148
BASE/amazonsTorus_10x10/Uxc08g136
BASE/checkers-mustjump/T-8UuQ116
DRESDEN/amazons/dNB28A115
DRESDEN/chinesecheckers2/06E6-Q1010
BASE/checkers-cylinder-mustjump/rjr6qQ96
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw96
BASE/checkers-mustjump-torus/uSApKQ86
STANFORD/skirmish/w4V6Vw87
STANFORD/madness/UO_B3A77
BASE/blokbox_simple/JBx4bg72
BASE/four_way_battle/xSOQXA68
DRESDEN/max_knights/hCipiA68
BASE/max_knights/2fq3Ag68
DRESDEN/four_way_battle/xSOQXA67
DRESDEN/pawntoqueen/f_x6Aw56
BASE/colonelBlotto/jip21A55
BASE/wargame02/BkVqqQ46
BASE/wargame01/_GZFZg46
BASE/pawnToQueen/-O1_JA46
BASE/wargame03/klXI8w37
DRESDEN/battle/8oAvhQ37
BASE/battle/8oAvhQ37
DRESDEN/vacuumcleaner_random_big/DwzFaQ28
DRESDEN/checkers/jIDMIg27
BASE/gt_two_thirds_2p/1APDGg24
BASE/cylinder-checkers/hlldmw28
DRESDEN/cylinder-checkers/clOO3Q27
DRESDEN/checkers-newgoals/IJOqXQ27
DRESDEN/farmers/S_ASnw18
BASE/hitori/S8Gsyg17
DRESDEN/checkers-mustjump/HUr33w17
DRESDEN/checkers-cylinder-mustjump/vW_-pA18
BASE/gt_attrition/kD_SCA16
DRESDEN/checkers-mustjump-torus/cVc3gA18
DRESDEN/hitori/S8Gsyg17
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg18
BASE/ruleDepthExponential/UamhHQ06
BASE/crissrace/ERWGDA010
DRESDEN/chinesecheckers3/QsCb2A010
BASE/amazonsSuicide/dE1QEQ07
DRESDEN/chinesecheckers6-simultaneous/gPPGUw010
BASE/merrills/pku8Tg09
DRESDEN/battlebrushes/QHXV4A06
DRESDEN/chinesecheckers6/yTbPDA010
DRESDEN/chinesecheckers4/-oVNYg010
DRESDEN/othello-cornercontrol/r5Gdlg010
BASE/crisscross/ICagEg010
DRESDEN/crisscross/GsY16g010
BASE/amazonsTorus/soxT8g03
BASE/ad_game_2x2/D0aWqg06
DRESDEN/crissrace/KWb9bw010
BASE/amazons/RKKZjw07
DRESDEN/merrills/aYEzwA09

Games with errors:

GameError message
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