REKKURA_GENERIC_BACKWARD_PROVER:1.0.0

Comparison with GGP-Base Prover:

Median speedup0.09495105667129036
Mean speedup0.2929597019729147
Geometric mean speedup0.0
Ratio of # state changes with 1 second per game0.10203703538234594
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.0005271
REKKURA_BACKWARD_PROVER_OSTD:1.0.0015261
ALLOY_COMPILED_PROVER_CACHING:101051712
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.143747710
GGP_BASE_PROVER:2015-04-2622150414
ALLOY_TUPLE_PROVER:12452112
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.027912470
PALAMEDES_JOCULAR:0.6.118774328
REKKURA_GENERIC_FORWARD_PROVER:1.0.012704001
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.014113851
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.112873929

Game-by-game statistics:

GameAverage state changes per secondRanking
BASE/haystack/UkweGA416711
BASE/onestep/xi53wA382812
DRESDEN/troublemaker01/C-lPWw325311
BASE/troublemaker01/s3tlEQ322312
BASE/pearls/6k_mEQ320511
BASE/survival/YVIjJA294311
BASE/troublemaker02/DI83KA264211
DRESDEN/troublemaker02/iZLVuA261311
STANFORD/buttonsandlights/eyhJpA251711
DRESDEN/statespacesmall/h-NqjA245011
BASE/stateSpaceSmall/Q7osKA240212
BASE/factoringGeorgeForman/HGRorQ239611
DRESDEN/buttons/ADUaHw235211
BASE/buttons/hTcUjw233511
DRESDEN/blocks/vg0DRw201912
BASE/blocksWorld/SEdXLQ201511
BASE/blocks/xIV5hQ200312
STANFORD/untwistycorridor/EDPPAQ176611
BASE/lightsOn/MsXu3A171111
BASE/untwistycomplex2/EDPPAQ167512
BASE/duplicateStateSmall/bCPAXw162911
BASE/sum15/QZ07Kg161811
DRESDEN/toetictac/mJtxCA15659
DRESDEN/sum15/CsgWKg156212
BASE/switches/tPUoCg156111
BASE/maze/cCX3qQ153111
BASE/toetictac/mTThmg152810
DRESDEN/statespacemedium/dVJZ_w151412
DRESDEN/2player_normal_form_2010/NG_Kdg148511
BASE/tictactoe2/bhrDoQ144311
BASE/stateSpaceMedium/3bUoIw143412
BASE/chickentoetictac/l57rfQ138811
DRESDEN/chickentoetictac/cxYaRQ137711
BASE/blocks2player/wnTLOQ133811
DRESDEN/blocks2player/3ev8nQ130412
DRESDEN/blocker/S815zQ129610
DRESDEN/lightson2x2/gBHuig128911
STANFORD/rainbow/_4qNSQ12629
DRESDEN/tictactoe/BTTzPw123811
BASE/eotcatcit/AfZSzA118311
DRESDEN/eotcatcit/mQUxzA116911
DRESDEN/circlesolitaire/ruUilQ115312
BASE/circlesolitaire/azuQFQ115012
DRESDEN/tictactoe-init1/3ltIBQ114711
DRESDEN/statespacelarge/8-y5HQ11469
BASE/stateSpaceLarge/0Ge_CQ11189
BASE/lightsOnParallel/SC6enA111711
BASE/point_grab/r5DPmQ107012
BASE/tictactoe-init1/7M19vA106511
DRESDEN/point_grab/r5DPmQ106312
DRESDEN/chickentictactoe/Ipbo-g106011
BASE/brain_teaser_extended/ZDp94A105510
STANFORD/jointbuttonsandlights/qAKuIQ105111
DRESDEN/brain_teaser_extended/ZDp94A104811
DRESDEN/tictactoe_orthogonal/y69QFQ96312
STANFORD/multiplebuttonsandlights_9/SqB9BA95511
STANFORD/bestbuttonsandlights/nm0wEA95411
DRESDEN/tictactoelargesuicide/6J4DeA9489
STANFORD/multiplebuttonsandlights/cK70Yg94311
DRESDEN/tictactoelarge/IwXcbg9349
BASE/tictactoe_orthogonal/WRzlVw90712
STANFORD/3puzzle/41ibjA89111
STANFORD/threepuzzle/41ibjA87512
BASE/factoringEasyTurtleBrain/lUj94Q87311
BASE/blocksWorldSerial/Wyg96Q85311
BASE/eotcitcit/V_9_bg84311
STANFORD/untwistycomplex/HTWEwg84110
STANFORD/sukoshi/4LYZZQ83511
DRESDEN/lightsout/XgLpzQ83311
DRESDEN/lightsout2/LFtfyQ82610
BASE/firefighter/WJmoPw82511
DRESDEN/firefighter/WJmoPw82011
BASE/factoringMutuallyAssuredDestruction/NH0LGg81810
BASE/ticTacToe/JRFsaQ80811
DRESDEN/oisters_farm/pTQMLg80812
DRESDEN/tictictoe/LAUtwg80511
STANFORD/tictactoe/ss1kyQ80211
STANFORD/trifecta/ss1kyQ80111
STANFORD/dualrainbow/G3OnRQ78410
DRESDEN/doubletictactoe/lJzgmQ77710
BASE/doubletoetictac/fu35bg77510
BASE/doubletictactoe/HH1htg76610
BASE/blocker/dIWtxg76012
BASE/chickentictactoe/DSlZCA75311
STANFORD/tictactoe7/-bE9-A74711
BASE/ticTacToeNoVars/XT03NA74411
STANFORD/tictactoe5/WFRReg74111
DRESDEN/doubletoetictac/V89gKQ73910
BASE/bunk_t/xbpfIA73810
STANFORD/tictactoe3/X7myng73711
DRESDEN/Catch-Me-If-You-Can/ghGWrA73311
BASE/hodgepodge/9yjRkw73011
DRESDEN/Thief_Police/CX18rA72912
DRESDEN/bunk_t/7-tPfA72610
DRESDEN/CatchMeIfYouCanTest/CX18rA72612
DRESDEN/blocksworldparallel/2JfVaw71811
DRESDEN/8puzzle/8fKC2w70912
DRESDEN/catch_me/ghGWrA70512
BASE/incredible/8Qh-6Q68211
STANFORD/bestbuttonsandlightsbig/g0JC6g68012
BASE/coins/QnGtnQ6718
BASE/coins_atomic/AA3SSw6688
DRESDEN/coins/QwFP9w6679
DRESDEN/latenttictactoe/kITHKg64611
DRESDEN/ticblock/Z2yNWQ61310
BASE/duplicateStateMedium/U163eQ59712
STANFORD/tictictoe/rpt_Dw59411
BASE/double_tictactoe_dengji/zgaSbA59010
BASE/ticTacToeLarge/TZC0dg58311
DRESDEN/double_tictactoe_dengji/bGaUyQ57810
BASE/ticTacToeLargeSuicide/727_8g57811
BASE/ticTicToe/c1OobQ57511
BASE/ticblock/T21C1g57310
DRESDEN/pawn_whopping/4ogBkg56511
BASE/numbertictactoe/rvJ-iQ55912
BASE/lightsOut/5P1ZBw55412
BASE/gt_dollar/TGjqRw55412
DRESDEN/pawn_whopping_corrected/7Ov0jQ54911
BASE/withConviction/3Xm54A5319
BASE/blocksWorldParallel/RseaAQ4819
DRESDEN/knightstour/cGISAA45911
BASE/snakeParallel/RCVNtw44810
DRESDEN/roshambo2/jgSlkQ44510
BASE/roshambo2/KNPokQ43710
BASE/coloredtrails/EZvr7g43611
BASE/eightPuzzle/vLrgFg43411
BASE/gt_centipede/9fRMpw42811
BASE/lightsOnSimultaneous/_VN6lw4269
BASE/simultaneousWin2/PfjRjw4208
STANFORD/eightpuzzle/W_aWbA41912
BASE/beatMania/qUHwvQ41911
STANFORD/8puzzle/jNiGtw41312
STANFORD/duikoshi/tpw1sw41111
DRESDEN/connectfour/5tc-Mg4099
STANFORD/hunter/14dD-g40711
DRESDEN/connectfoursuicide/M9CNQg4038
DRESDEN/cube_2x2x2/fp-34Q39112
DRESDEN/pawn_whopping_simultaneous/r8dLfw37811
DRESDEN/tictactoeparallel/yk_DSg37111
BASE/factoringMediumTurtleBrain/8RBqmQ36812
BASE/conn4/va9Y7A35910
BASE/asteroids/BKCmPQ34711
BASE/ruleDepthLinear/OUBJpQ34611
BASE/catcha_mouse/cHv4dw34010
DRESDEN/grid_game2/kypTYQ3389
DRESDEN/catcha_mouse/cHv4dw33411
BASE/lightsOnSimul4/9FeASw3299
BASE/connectFour/WAIKTw32910
BASE/aipsrovers01/4C4jsw32712
BASE/connectFourSuicide/c8p9Kw3279
DRESDEN/aipsrovers01/qS47Mw32012
STANFORD/connectfour/VMpZkQ31710
STANFORD/triplesukoshi/Iu9mbA30910
BASE/futoshiki4/BaCwSw30311
BASE/ticTacToeSerial/Amrwqw30210
DRESDEN/SC_TestOnly_enabled/09o7gQ3007
STANFORD/dualhunter/1rPZjQ29912
BASE/breakthroughSmallHoles/bxclRw29011
STANFORD/knightstourmedium/x1wu8Q28511
BASE/3pConnectFour/PqXOFQ2759
BASE/chomp/-LcqYQ2759
DRESDEN/chomp/-LcqYQ2729
BASE/ticTacHeaven/18n58A2688
DRESDEN/tictactoe_3d_small_2player/HYttcg26810
BASE/blockerSerial/3eqDuw26011
BASE/snake2p/I3wWPQ2569
BASE/tictactoe_3d_small_2player/oOryKA25512
STANFORD/knightstour/cEwgNA24811
DRESDEN/logistics/fPru1Q24711
BASE/knightsTour/mvtVIg24511
BASE/ticTacToeParallel/ymRGPw24311
BASE/slidingpieces/uFJWEw2398
BASE/ticTacHeavenFC/mrletw2379
DRESDEN/slidingpieces/s9_44g2368
BASE/duplicateStateLarge/dcjyuw23412
BASE/tictactoex9/BI26ow22912
DRESDEN/tictactoe_3player/ESLQQQ22611
DRESDEN/tictactoex9/rFkD4w22612
BASE/pawnWhopping/Ypc_6Q22412
BASE/tpeg/QNs7Lw22310
BASE/tron_10x10/7ZTgDg22312
DRESDEN/peg_bugfixed/u_B7MA22010
DRESDEN/peg/Vo31eg21911
DRESDEN/tpeg/h-Scbg21911
DRESDEN/Runners/3bOCQw21811
BASE/connectFourSimultaneous/7ITr3g21710
BASE/connectFourLarge/aU644A21610
BASE/asteroidsParallel/WauZiA21510
BASE/cubicup/4wNWJA2159
DRESDEN/cubicup/SBn_lw2149
DRESDEN/battlesnakes1509/-qZrLw21311
DRESDEN/battlesnakes2011/93VtTw21311
BASE/asteroidsSerial/id2QkA20911
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw20611
DRESDEN/stratego/Z2wovg20211
BASE/cittaceot/fDxhXg2009
DRESDEN/tictactoe_3d_small_6player/llDEDQ1969
DRESDEN/blockerparallel/dVQgSg19511
BASE/blockerParallel/7-nDJA19511
DRESDEN/3pttc/uwYBZw19412
BASE/tictactoe_3d_small_6player/g_9lww19310
DRESDEN/gt_prisoner/huCp4w19211
DRESDEN/3pffa/0YrmQw19212
BASE/nineBoardTicTacToePie/B8LzeQ18810
BASE/checkLines/Vop7oQ18710
BASE/connect4/50bOyw1868
STANFORD/nineboardtictactoe/y28P-A18210
BASE/futoshiki5/TJ4BZg18210
DRESDEN/chinesecheckers1/Y-ftaA18112
BASE/gt_coordination/IVMOzA18112
BASE/tictactoe_3player/GtM71g18111
DRESDEN/grid_game/U7_Yeg18011
DRESDEN/connect4/T0-rHQ1788
BASE/nineBoardTicTacToe/wRmqqA17710
STANFORD/breakthrough/d5j0cQ17512
BASE/cubicup_3player/e2yA_g1737
DRESDEN/sheep_and_wolf/enAIzQ17112
BASE/dualConnect4/WbCQkg17010
DRESDEN/cubicup_3player/awDtsQ16710
DRESDEN/gt_chicken/CeuKtw1649
BASE/snakeAssemblit/sOydSg16411
DRESDEN/sat_test_20v_91c/dK7nVw16212
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg16011
STANFORD/multipletictactoe/_bkafQ15611
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ15411
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg15211
DRESDEN/knightwar/7hhAqg14710
BASE/snake_2009/7l-qAQ14611
DRESDEN/snake_2009/zIYLVw14412
STANFORD/kono/HI7CHA1437
BASE/gt_prisoner/klthDw14011
BASE/gt_staghunt/xPjLRA14011
DRESDEN/bidding-tictactoe/yW5vTA1399
DRESDEN/uf20-020.cnf.SAT/hDrW_A13511
DRESDEN/uf20-010.cnf.SAT/5ICbCg13411
DRESDEN/ggp-course2013_michal13/jWKddg1334
DRESDEN/pentago_2008/hLjVpQ12810
BASE/futoshiki6/JmvXNA1289
STANFORD/selectivesukoshi/3xmXYg1277
BASE/chineseCheckers1/gqtwHw12512
DRESDEN/mimikry/GJEhwA12412
DRESDEN/snake_2009_big/DgC1NQ12311
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA12111
STANFORD/multiplesukoshi/vLSQPg1219
DRESDEN/sat_test_20v_91c_version2/a1mPBA11912
BASE/biddingTicTacToe/8mESVw11911
BASE/snake_2009_big/-oRfVw11912
STANFORD/pentago/ZxzLmg11910
DRESDEN/uf20-01.cnf.SAT/42Rs8A11612
BASE/gt_chicken/gmepTQ11511
BASE/pentago/86NgKw1138
BASE/pentagoSuicide/SBgNhw1118
BASE/golden_rectangle/_nYzfw1077
DRESDEN/minichess/c7GMFw10710
BASE/minichess-evilconjuncts/4OpQzw1068
BASE/minichess/8NQEiA10510
DRESDEN/minichess-evilconjuncts/th24Tw1048
BASE/knightsTourLarge/M8jgLA9612
BASE/chineseCheckers2/eCMR3Q9612
DRESDEN/javastrike/whONTQ9510
BASE/majorities/ibJzSQ9411
DRESDEN/ggp-course2013_jordi/9QI6Kw948
DRESDEN/kitten_escapes_from_fire/uW-YiA9110
BASE/kitten_escapes_from_fire/uW-YiA9010
BASE/connectFourLarger/qKi60A8910
BASE/racetrackcorridor/k1OQRg889
BASE/breakthroughSmall/HJ0tIA8310
DRESDEN/racetrackcorridor/O0DoTA8310
BASE/englishDraughts/jFkQxg8312
STANFORD/breakthroughsmall/HM0s5w789
BASE/escortLatch/mX9BjQ7712
DRESDEN/4pttc/9pB9AQ7712
STANFORD/freeforall/Lfp40Q7612
DRESDEN/frogs_and_toads/GjchhQ7412
BASE/2pffa/6oHijA7310
BASE/queens06ug/7Lq3tw729
STANFORD/knightstourbig/TQUI2g6912
BASE/chineseCheckers3/-1rZdQ6912
DRESDEN/golden_rectangle/1uloXw677
BASE/sudokuGrade1/tDRNRw648
BASE/2pffa_zerosum/o0_uZA6310
BASE/sudokuGrade5/BQfUQA639
BASE/sudokuGrade3/eI8dvg639
BASE/sudokuGrade4/DTy07w639
BASE/sudokuGrade2/u80Tfw638
BASE/sudokuGrade6E/ihYFZA628
STANFORD/sudoku/oJ1qyQ629
BASE/smallest_4player/ADDROA619
BASE/3pffa/pR0dzA6112
BASE/sudokuGrade6H/ieE_9A619
DRESDEN/smallest_4player/ADDROA599
BASE/mineClearingSmall/frsbvw5911
STANFORD/alquerquezero/uVgA_A5912
BASE/ttcc4_2player_small/Cv72TA5811
DRESDEN/backgammon/mqCW0Q567
BASE/pegEuro/5awwhg5611
BASE/qyshinsu/R08Lzw5612
BASE/peg/fJHVWw5611
BASE/chineseCheckers4/avfBcQ5512
DRESDEN/nim3/sG_axA548
DRESDEN/nim4/F5YAYg548
BASE/4pffa/Q3ADlg5410
BASE/nim4/twk16w549
DRESDEN/nim2/z5_exA538
BASE/nim3/1OwUqw539
DRESDEN/smallest/9kaGFw5310
BASE/nim2/eF2Qqw529
DRESDEN/nim1/M9BALA529
BASE/nim1/hin2Qw519
DRESDEN/tictactoe_3d_2player/LMuX9w489
DRESDEN/Goldrush/VeWczQ466
STANFORD/duidoku/3SoMaA469
BASE/tictactoe_3d_2player/IUC1rQ4610
BASE/queens08ug/kJ_ZFQ458
BASE/queens08lg/Ru7eqQ438
BASE/wallmaze/uxNQ9g419
STANFORD/pilgrimage/ObRZnQ4110
DRESDEN/tictactoe_3d_6player/ulZPWg4110
BASE/chineseCheckers6/rREH3A4112
BASE/tictactoe_3d_6player/d7KSwg409
BASE/dotsAndBoxes/EHwA_w409
BASE/hanoi/iGLsJg399
BASE/dotsAndBoxesSuicide/jzQbLw3910
DRESDEN/hanoi/RQ0jiA389
BASE/endgame/jYjfOA3612
DRESDEN/bidding-tictactoe_10coins/mu5VhQ349
DRESDEN/breakthrough/z4hK7Q3211
BASE/biddingTicTacToe_10coins/a-9ccQ329
DRESDEN/breakthroughsuicide_v2/LU1nAw3211
DRESDEN/breakthroughsuicide/Y9QzqQ3211
DRESDEN/knightthrough/J7Fc_Q3110
BASE/2pttc/unkkYA2912
BASE/knightwar/DVGY4Q2910
BASE/breakthroughSuicide/wZDpIg2912
BASE/breakthroughWalls/vOZaYA2911
BASE/breakthrough/TGxk-g2912
BASE/breakthroughHoles/nZk0Sg2812
DRESDEN/hallway/0H4l-Q2810
DRESDEN/ghostmaze2p/HY0UwA2810
BASE/hallway/ckCJOw2710
BASE/tttcc4/8Bs2lg2710
BASE/ghostMaze2p/W-NU-w2612
BASE/ttcc4/Le0qjQ2610
DRESDEN/bomberman2p/x4h6jQ2510
BASE/mummyMaze2p_2007/YGA3Vw2510
DRESDEN/babel/WdSW4A2510
DRESDEN/tttcc4/sAvtFg2510
BASE/bomberman2p/4CClwA2511
DRESDEN/mummymaze2p-comp2007/oTQRQg2411
BASE/quad_7x7/q-JOXg246
DRESDEN/ggp-course2013_nicolai/uEin8g2412
DRESDEN/pancakes6/SZXMyQ249
DRESDEN/quad_7x7/q-JOXg246
DRESDEN/Zhadu/9zpQ5w2410
DRESDEN/pancakes/hl9aiQ2310
STANFORD/hex/MTqWcw2311
BASE/hex/T1MK8g2311
DRESDEN/CephalopodMicro/H3XQfg239
DRESDEN/pancakes88/aD3E7g2210
BASE/hexPie/48CH6Q2212
BASE/checkersBarrelNoKings/rnKNeg2211
BASE/checkersTorusNoKings/pwb6oQ2111
BASE/zhadu/DlA8iQ219
STANFORD/checkersonabarrelnokings/Zrevdw2112
BASE/choicethroughalt/tt71Lg2111
BASE/chinook/XQh0IQ2111
STANFORD/chinook/osFbPA2011
BASE/3pttc/0sol9g2012
DRESDEN/endgame/IJhh3Q1912
BASE/kalaha5x2x3/WviNsw199
BASE/pancakes6/QZTdnw199
BASE/cephalopodMicro/9l2D3g198
BASE/ttcc4_2player/_aH_Mw1910
STANFORD/ttcc4/Cx9SGw1910
BASE/pancakes/yUgbXw189
DRESDEN/pacman3p/rBnk8Q1811
BASE/ttcc4_2player_alt/ZEJvYA1810
BASE/pacman3p/wW7UVQ1712
BASE/sheepAndWolf/g4THrg1712
BASE/checkersTorus/2vm1EQ1712
BASE/pacman2p/4LEdQg1711
DRESDEN/skirmish3/3LU8Nw1512
DRESDEN/skirmish/RjGQYQ1512
DRESDEN/towerworld/HCX34w1511
DRESDEN/skirmish2/iPpWhQ1511
DRESDEN/gt_ultimatum/pAiiQw1412
DRESDEN/mummymaze2p/k-8edg1411
BASE/mummymaze2p/vpjDdA1411
BASE/gt_ultimatum/GE-uOA1311
BASE/4pttc/AL1k2Q1312
BASE/skirmishHoles/AUCxCA1310
BASE/skirmishFinal3/-Olhfw1312
BASE/skirmishFinal2/gdB62Q1211
DRESDEN/skirmishfinal/hzq8ww1211
DRESDEN/capture_the_king/EQ229Q1210
BASE/strangeSkirmish/gc1zKA1110
BASE/knightazons/apnJBQ1111
BASE/snake_2008_tweaked/bX0NJQ1110
DRESDEN/knightfight/4_Ly4w1111
DRESDEN/snake_2008/E56l3A119
BASE/snake_2008/i6K26g119
BASE/skirmishFinal1/ecWTnQ1111
DRESDEN/knightazons/02I8BQ1111
DRESDEN/brawl/2kXtfQ1012
BASE/knightfight/SJRkAg1012
BASE/amazons_8x8/7SOsIw108
BASE/knightThrough/gcwFjA1011
BASE/brawl/6Ymo_Q1012
BASE/skirmish/Y_psYQ711
DRESDEN/guess/PhxGhg69
BASE/connect5/d-BVQg611
BASE/kalaha6x2x4/XS81Mg69
BASE/guess/SPpk1A68
DRESDEN/knightmove/97Ipcw69
BASE/knightmove/jBaJEw69
DRESDEN/connect5/1kYzSg610
STANFORD/platformjumpers/HEQskA512
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg512
DRESDEN/crossers3/xiPTxg59
BASE/speedChess/bPnisA510
BASE/alexChess/LNo83g57
DRESDEN/fizzbuzz/t1xHzQ512
BASE/factoringImpossibleTurtleBrain/kcBhdw56
DRESDEN/hanoi_6_disks/MeubgQ510
DRESDEN/amazons/dNB28A59
BASE/crossers3/O0rORg59
BASE/hanoi_6_disks/MeubgQ59
BASE/skirmishNew/sibw2g510
BASE/amazons_10x10/Bun8dA48
BASE/blokbox_simple/JBx4bg46
BASE/amazonsSuicide_10x10/XIbQkg48
DRESDEN/chinesecheckers2/06E6-Q312
BASE/quartoSuicide/-23jUg312
DRESDEN/quartosuicide/WIU1oQ312
DRESDEN/quarto/OQzRYQ312
BASE/reversi/d8UMeA38
BASE/quarto/EwBMVQ312
STANFORD/madness/UO_B3A212
BASE/othelloHoles/c0qAzw28
BASE/othello-comp2007/86ZoMw28
BASE/othelloSuicide/B442jg28
BASE/checkersTiny/Lr48cg29
BASE/checkersSmall/SYmq8w210
STANFORD/skirmish/w4V6Vw212
DRESDEN/god/2EDD5w210
BASE/god/qF06gw211
BASE/wargame02/BkVqqQ110
BASE/pancakes88/l2Xaig110
DRESDEN/quad_5x5/JAEP5g112
BASE/checkers-mustjump/T-8UuQ110
BASE/four_way_battle/xSOQXA111
DRESDEN/pawntoqueen/f_x6Aw112
BASE/checkers/rOC3Xg110
BASE/wargame01/_GZFZg110
BASE/max_knights/2fq3Ag111
BASE/checkers-cylinder-mustjump/rjr6qQ110
BASE/pawnToQueen/-O1_JA111
BASE/amazonsTorus_10x10/Uxc08g18
BASE/quad_5x5/JAEP5g112
BASE/checkers-newgoals/0XkFiA110
BASE/checkers-mustjump-torus/uSApKQ19
DRESDEN/quad_5x5_8_2/JRTLJg111
BASE/queens31lg/0gID-A17
DRESDEN/four_way_battle/xSOQXA111
DRESDEN/quad/JPe6fg18
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw19
BASE/quad/tw-Ufg18
BASE/skirmishZeroSum/zh4hcw110
BASE/ruleDepthExponential/UamhHQ08
DRESDEN/vacuumcleaner_random_big/DwzFaQ012
DRESDEN/vacuum_cleaner_1/eUNjpw010
BASE/crissrace/ERWGDA012
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA010
BASE/wargame03/klXI8w010
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A09
DRESDEN/chinesecheckers3/QsCb2A012
DRESDEN/Travelers-Dilemma/PvZwYw010
DRESDEN/checkers/jIDMIg09
DRESDEN/farmers/S_ASnw012
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA09
DRESDEN/battle/8oAvhQ011
BASE/hitori/S8Gsyg010
BASE/racer/QQYQNw012
BASE/amazonsSuicide/dE1QEQ011
DRESDEN/chinesecheckers6-simultaneous/gPPGUw012
DRESDEN/checkers-mustjump/HUr33w010
BASE/twisty-passages/DiZmmg09
BASE/gt_tinfoil/Q8DyKg010
BASE/merrills/pku8Tg012
DRESDEN/max_knights/hCipiA012
DRESDEN/checkers-cylinder-mustjump/vW_-pA011
BASE/colonelBlottoVariant/X-n-KQ08
BASE/gt_attrition/kD_SCA08
DRESDEN/checkers-mustjump-torus/cVc3gA010
BASE/hanoi7_bugfix/3gdnFw09
BASE/colonelBlotto/jip21A08
DRESDEN/battlebrushes/QHXV4A011
BASE/cylinder-checkers/hlldmw09
BASE/kalaha_2009/dRiN3g010
DRESDEN/hitori/S8Gsyg010
DRESDEN/hanoi7/51zz5Q010
DRESDEN/chinesecheckers6/yTbPDA012
DRESDEN/vacuumcleaner_random/_6AGDA09
DRESDEN/chinesecheckers4/-oVNYg012
DRESDEN/blobwars/ZaMluQ010
DRESDEN/twisty-passages/j7NPyg010
DRESDEN/othello-cornercontrol/r5Gdlg011
BASE/crisscross/ICagEg012
DRESDEN/small_dominion/yB5GJA08
DRESDEN/satlike_20v_91c/yeuENQ010
DRESDEN/crisscross/GsY16g012
DRESDEN/racer/vk_ZBA012
DRESDEN/cylinder-checkers/clOO3Q09
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g011
BASE/amazonsTorus/soxT8g08
BASE/colonelBlottoVariant2/jruwGw09
DRESDEN/checkers-newgoals/IJOqXQ09
DRESDEN/kalaha_2009/gcC8uA010
BASE/ad_game_2x2/D0aWqg012
DRESDEN/crissrace/KWb9bw012
BASE/battle/8oAvhQ011
DRESDEN/hanoi7_bugfix/3gdnFw010
BASE/amazons/RKKZjw011
DRESDEN/merrills/aYEzwA012
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg011
DRESDEN/satlike_20v_91c_version2/yd9ioQ09
BASE/blobwars/0XT15Q010

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
BASE/gt_two_thirds_2p/1APDGgTest process timed out after 240 seconds
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