REKKURA_GENERIC_FORWARD_PROVER:1.0.0

Comparison with GGP-Base Prover:

Median speedup0.11587583223974174
Mean speedup0.4004078911474498
Geometric mean speedup0.0
Ratio of # state changes with 1 second per game0.15260641805186761
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:1.0.0905190
REKKURA_BACKWARD_PROVER_OSTD:1.0.0915180
ALLOY_COMPILED_PROVER_CACHING:101051811
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.166845410
GGP_BASE_PROVER:2015-04-2630149713
ALLOY_TUPLE_PROVER:113451111
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.037721490
PALAMEDES_JOCULAR:0.6.132784188
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.025212750
REKKURA_GENERIC_BACKWARD_PROVER:1.0.040011270
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.113983819

Game-by-game statistics:

GameAverage state changes per secondRanking
BASE/pearls/6k_mEQ148576
BASE/haystack/UkweGA142397
BASE/onestep/xi53wA75079
BASE/survival/YVIjJA72469
DRESDEN/troublemaker01/C-lPWw45099
BASE/troublemaker01/s3tlEQ44059
BASE/buttons/hTcUjw39239
DRESDEN/buttons/ADUaHw390710
DRESDEN/troublemaker02/iZLVuA37619
BASE/troublemaker02/DI83KA36569
STANFORD/buttonsandlights/eyhJpA34229
BASE/factoringGeorgeForman/HGRorQ33687
BASE/stateSpaceSmall/Q7osKA32999
DRESDEN/statespacesmall/h-NqjA32359
BASE/coins_atomic/AA3SSw28563
DRESDEN/coins/QwFP9w28473
BASE/coins/QnGtnQ28393
BASE/untwistycomplex2/EDPPAQ280110
STANFORD/untwistycorridor/EDPPAQ272510
BASE/blocksWorld/SEdXLQ27249
BASE/blocks/xIV5hQ26939
DRESDEN/blocks/vg0DRw26839
STANFORD/untwistycomplex/HTWEwg24729
BASE/tictactoe2/bhrDoQ23518
BASE/duplicateStateSmall/bCPAXw233710
BASE/lightsOn/MsXu3A228810
DRESDEN/sum15/CsgWKg22879
BASE/sum15/QZ07Kg216910
BASE/switches/tPUoCg21069
BASE/stateSpaceMedium/3bUoIw19928
DRESDEN/tictactoe/BTTzPw19839
DRESDEN/statespacemedium/dVJZ_w19699
BASE/eotcatcit/AfZSzA191110
DRESDEN/chickentictactoe/Ipbo-g183910
DRESDEN/eotcatcit/mQUxzA182310
BASE/maze/cCX3qQ181410
BASE/blocks2player/wnTLOQ17459
DRESDEN/blocks2player/3ev8nQ171910
DRESDEN/2player_normal_form_2010/NG_Kdg168610
DRESDEN/circlesolitaire/ruUilQ16819
DRESDEN/lightson2x2/gBHuig16769
BASE/circlesolitaire/azuQFQ164910
DRESDEN/brain_teaser_extended/ZDp94A15358
BASE/brain_teaser_extended/ZDp94A15199
DRESDEN/toetictac/mJtxCA151612
BASE/toetictac/mTThmg149412
STANFORD/rainbow/_4qNSQ14927
DRESDEN/chickentoetictac/cxYaRQ148310
BASE/ticTacToeNoVars/XT03NA14397
BASE/lightsOnParallel/SC6enA143810
BASE/chickentoetictac/l57rfQ142310
STANFORD/jointbuttonsandlights/qAKuIQ14139
DRESDEN/tictactoe-init1/3ltIBQ14119
DRESDEN/statespacelarge/8-y5HQ13857
BASE/point_grab/r5DPmQ13679
BASE/stateSpaceLarge/0Ge_CQ13648
BASE/tictactoe-init1/7M19vA135310
DRESDEN/point_grab/r5DPmQ134510
BASE/tictactoe_orthogonal/WRzlVw129910
DRESDEN/doubletictactoe/lJzgmQ12986
BASE/bunk_t/xbpfIA12966
BASE/doubletictactoe/HH1htg12868
DRESDEN/bunk_t/7-tPfA12836
DRESDEN/tictactoe_orthogonal/y69QFQ127610
STANFORD/tictactoe3/X7myng126410
BASE/doubletoetictac/fu35bg12587
STANFORD/multiplebuttonsandlights_9/SqB9BA12389
DRESDEN/blocker/S815zQ123712
STANFORD/multiplebuttonsandlights/cK70Yg12359
DRESDEN/doubletoetictac/V89gKQ12328
STANFORD/bestbuttonsandlights/nm0wEA122610
DRESDEN/latenttictactoe/kITHKg122410
STANFORD/sukoshi/4LYZZQ12199
DRESDEN/ticblock/Z2yNWQ12118
STANFORD/tictactoe/ss1kyQ120810
STANFORD/trifecta/ss1kyQ120510
BASE/ticTacToe/JRFsaQ120010
STANFORD/tictactoe5/WFRReg11939
DRESDEN/tictactoelargesuicide/6J4DeA11617
BASE/chickentictactoe/DSlZCA11449
DRESDEN/tictactoelarge/IwXcbg11417
STANFORD/tictactoe7/-bE9-A11389
DRESDEN/tictactoeparallel/yk_DSg11137
DRESDEN/oisters_farm/pTQMLg107310
BASE/factoringMutuallyAssuredDestruction/NH0LGg10538
BASE/blocksWorldSerial/Wyg96Q105010
BASE/factoringEasyTurtleBrain/lUj94Q104010
BASE/blocker/dIWtxg103210
BASE/firefighter/WJmoPw100510
BASE/ticblock/T21C1g10049
DRESDEN/firefighter/WJmoPw100210
BASE/hodgepodge/9yjRkw9969
DRESDEN/lightsout/XgLpzQ9957
STANFORD/3puzzle/41ibjA9929
STANFORD/threepuzzle/41ibjA9789
DRESDEN/lightsout2/LFtfyQ9757
DRESDEN/Catch-Me-If-You-Can/ghGWrA9699
DRESDEN/Thief_Police/CX18rA9659
DRESDEN/tictictoe/LAUtwg96310
BASE/eotcitcit/V_9_bg96310
DRESDEN/catch_me/ghGWrA9629
BASE/double_tictactoe_dengji/zgaSbA9518
DRESDEN/CatchMeIfYouCanTest/CX18rA9519
DRESDEN/blocksworldparallel/2JfVaw9269
STANFORD/dualrainbow/G3OnRQ9207
STANFORD/bestbuttonsandlightsbig/g0JC6g9029
DRESDEN/double_tictactoe_dengji/bGaUyQ8719
BASE/incredible/8Qh-6Q8389
BASE/ruleDepthLinear/OUBJpQ8258
DRESDEN/8puzzle/8fKC2w81610
BASE/numbertictactoe/rvJ-iQ80210
BASE/duplicateStateMedium/U163eQ7909
DRESDEN/pawn_whopping_corrected/7Ov0jQ7397
STANFORD/tictictoe/rpt_Dw69910
BASE/ticTacToeLarge/TZC0dg6949
BASE/ticTacToeLargeSuicide/727_8g6949
BASE/ticTicToe/c1OobQ69010
DRESDEN/pawn_whopping/4ogBkg6708
BASE/lightsOut/5P1ZBw6629
BASE/gt_dollar/TGjqRw65910
BASE/withConviction/3Xm54A5858
STANFORD/duikoshi/tpw1sw5837
BASE/blocksWorldParallel/RseaAQ5777
DRESDEN/knightstour/cGISAA5339
BASE/snakeParallel/RCVNtw5248
BASE/coloredtrails/EZvr7g5149
BASE/lightsOnSimultaneous/_VN6lw5087
BASE/eightPuzzle/vLrgFg5079
STANFORD/8puzzle/jNiGtw49810
BASE/ticTacToeParallel/ymRGPw49710
BASE/beatMania/qUHwvQ48810
BASE/simultaneousWin2/PfjRjw4866
STANFORD/eightpuzzle/W_aWbA4859
BASE/ticTacToeSerial/Amrwqw4819
BASE/gt_centipede/9fRMpw48010
BASE/factoringMediumTurtleBrain/8RBqmQ47310
STANFORD/hunter/14dD-g4579
DRESDEN/pawn_whopping_simultaneous/r8dLfw4578
DRESDEN/connectfour/5tc-Mg4538
BASE/asteroids/BKCmPQ4529
BASE/blockerParallel/7-nDJA4267
DRESDEN/grid_game2/kypTYQ4246
DRESDEN/blockerparallel/dVQgSg4238
DRESDEN/cube_2x2x2/fp-34Q40610
BASE/aipsrovers01/4C4jsw3999
DRESDEN/aipsrovers01/qS47Mw39310
BASE/conn4/va9Y7A3869
DRESDEN/catcha_mouse/cHv4dw3848
BASE/lightsOnSimul4/9FeASw3747
BASE/catcha_mouse/cHv4dw3749
BASE/ticTacHeaven/18n58A3706
STANFORD/connectfour/VMpZkQ3609
BASE/connectFour/WAIKTw3569
BASE/blockerSerial/3eqDuw3549
DRESDEN/peg/Vo31eg3537
BASE/tpeg/QNs7Lw3528
DRESDEN/peg_bugfixed/u_B7MA3487
BASE/futoshiki4/BaCwSw3438
STANFORD/dualhunter/1rPZjQ34110
DRESDEN/tpeg/h-Scbg3369
DRESDEN/sheep_and_wolf/enAIzQ33410
STANFORD/knightstourmedium/x1wu8Q3249
BASE/ticTacHeavenFC/mrletw3206
BASE/breakthroughSmallHoles/bxclRw31410
BASE/roshambo2/KNPokQ31311
STANFORD/triplesukoshi/Iu9mbA3109
DRESDEN/roshambo2/jgSlkQ31012
BASE/asteroidsSerial/id2QkA2989
BASE/snake2p/I3wWPQ2988
BASE/checkLines/Vop7oQ2959
DRESDEN/logistics/fPru1Q28710
STANFORD/knightstour/cEwgNA27810
BASE/knightsTour/mvtVIg2779
BASE/duplicateStateLarge/dcjyuw2769
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw27310
BASE/pawnWhopping/Ypc_6Q2689
BASE/asteroidsParallel/WauZiA2669
BASE/tictactoe_3d_small_2player/oOryKA26510
DRESDEN/tictactoe_3d_small_2player/HYttcg26511
DRESDEN/slidingpieces/s9_44g2587
DRESDEN/tictactoe_3player/ESLQQQ2579
DRESDEN/connectfoursuicide/M9CNQg25510
BASE/slidingpieces/uFJWEw2547
DRESDEN/battlesnakes2011/93VtTw2529
DRESDEN/battlesnakes1509/-qZrLw2519
BASE/tron_10x10/7ZTgDg2479
DRESDEN/tictactoex9/rFkD4w23711
BASE/tictactoex9/BI26ow23611
DRESDEN/Runners/3bOCQw23510
BASE/connectFourLarge/aU644A2339
BASE/connectFourSimultaneous/7ITr3g2298
BASE/nineBoardTicTacToePie/B8LzeQ2288
BASE/cittaceot/fDxhXg2257
BASE/cubicup/4wNWJA2247
BASE/chomp/-LcqYQ22411
DRESDEN/cubicup/SBn_lw2237
DRESDEN/SC_TestOnly_enabled/09o7gQ2238
DRESDEN/3pttc/uwYBZw22010
DRESDEN/stratego/Z2wovg22010
DRESDEN/chomp/-LcqYQ21912
STANFORD/nineboardtictactoe/y28P-A2157
DRESDEN/3pffa/0YrmQw21310
BASE/nineBoardTicTacToe/wRmqqA2107
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ20610
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg2059
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg20410
DRESDEN/tictactoe_3d_small_6player/llDEDQ2047
BASE/gt_coordination/IVMOzA20310
DRESDEN/gt_prisoner/huCp4w2039
DRESDEN/sat_test_20v_91c/dK7nVw2029
BASE/tictactoe_3player/GtM71g20110
BASE/snakeAssemblit/sOydSg2009
BASE/tictactoe_3d_small_6player/g_9lww1997
DRESDEN/grid_game/U7_Yeg19510
BASE/futoshiki5/TJ4BZg1949
BASE/dualConnect4/WbCQkg1929
STANFORD/breakthrough/d5j0cQ1899
DRESDEN/chinesecheckers1/Y-ftaA1879
BASE/3pConnectFour/PqXOFQ18612
DRESDEN/cubicup_3player/awDtsQ1816
DRESDEN/connect4/T0-rHQ1759
BASE/connect4/50bOyw1749
BASE/cubicup_3player/e2yA_g1728
BASE/connectFourSuicide/c8p9Kw17212
DRESDEN/uf20-010.cnf.SAT/5ICbCg1689
DRESDEN/snake_2009/zIYLVw1669
DRESDEN/uf20-020.cnf.SAT/hDrW_A1639
STANFORD/kono/HI7CHA1624
BASE/snake_2009/7l-qAQ16110
DRESDEN/gt_chicken/CeuKtw16111
STANFORD/multipletictactoe/_bkafQ15512
BASE/gt_prisoner/klthDw1549
DRESDEN/knightwar/7hhAqg1529
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA1519
DRESDEN/uf20-01.cnf.SAT/42Rs8A1519
DRESDEN/mimikry/GJEhwA14910
BASE/gt_staghunt/xPjLRA14910
DRESDEN/sat_test_20v_91c_version2/a1mPBA14610
BASE/snake_2009_big/-oRfVw1389
DRESDEN/snake_2009_big/DgC1NQ1379
DRESDEN/bidding-tictactoe/yW5vTA13710
DRESDEN/pentago_2008/hLjVpQ1368
BASE/futoshiki6/JmvXNA1337
STANFORD/selectivesukoshi/3xmXYg1335
BASE/chineseCheckers1/gqtwHw13210
BASE/gt_chicken/gmepTQ1289
STANFORD/pentago/ZxzLmg1279
BASE/biddingTicTacToe/8mESVw12610
BASE/sudokuGrade6H/ieE_9A1245
BASE/sudokuGrade5/BQfUQA1234
BASE/pentagoSuicide/SBgNhw1227
STANFORD/multiplesukoshi/vLSQPg1228
BASE/sudokuGrade3/eI8dvg1225
BASE/sudokuGrade2/u80Tfw1225
BASE/sudokuGrade6E/ihYFZA1215
BASE/sudokuGrade4/DTy07w1214
BASE/sudokuGrade1/tDRNRw1215
BASE/pentago/86NgKw1207
STANFORD/sudoku/oJ1qyQ1205
BASE/minichess/8NQEiA1149
DRESDEN/minichess-evilconjuncts/th24Tw1127
DRESDEN/minichess/c7GMFw1129
BASE/minichess-evilconjuncts/4OpQzw1117
DRESDEN/javastrike/whONTQ1097
DRESDEN/ggp-course2013_michal13/jWKddg1077
BASE/knightsTourLarge/M8jgLA1069
BASE/golden_rectangle/_nYzfw1058
BASE/chineseCheckers2/eCMR3Q1039
BASE/majorities/ibJzSQ999
BASE/connectFourLarger/qKi60A989
BASE/breakthroughSmall/HJ0tIA918
DRESDEN/ggp-course2013_jordi/9QI6Kw9010
BASE/englishDraughts/jFkQxg8810
DRESDEN/babel/WdSW4A876
STANFORD/breakthroughsmall/HM0s5w877
BASE/escortLatch/mX9BjQ849
STANFORD/freeforall/Lfp40Q8210
DRESDEN/4pttc/9pB9AQ8210
DRESDEN/frogs_and_toads/GjchhQ8110
STANFORD/duidoku/3SoMaA766
STANFORD/knightstourbig/TQUI2g769
DRESDEN/kitten_escapes_from_fire/uW-YiA7512
BASE/queens06ug/7Lq3tw748
BASE/kitten_escapes_from_fire/uW-YiA7412
BASE/chineseCheckers3/-1rZdQ7310
BASE/2pffa/6oHijA7012
BASE/mineClearingSmall/frsbvw689
BASE/pegEuro/5awwhg679
BASE/peg/fJHVWw6610
BASE/ttcc4_2player_small/Cv72TA668
STANFORD/alquerquezero/uVgA_A6510
DRESDEN/golden_rectangle/1uloXw649
BASE/2pffa_zerosum/o0_uZA6311
BASE/3pffa/pR0dzA6210
BASE/qyshinsu/R08Lzw609
BASE/racetrackcorridor/k1OQRg5911
DRESDEN/racetrackcorridor/O0DoTA5811
BASE/chineseCheckers4/avfBcQ5810
BASE/4pffa/Q3ADlg5412
DRESDEN/backgammon/mqCW0Q4911
BASE/tictactoe_3d_2player/IUC1rQ489
DRESDEN/tictactoe_3d_2player/LMuX9w4512
BASE/chineseCheckers6/rREH3A4410
STANFORD/pilgrimage/ObRZnQ439
BASE/queens08lg/Ru7eqQ429
BASE/tictactoe_3d_6player/d7KSwg428
DRESDEN/Goldrush/VeWczQ418
DRESDEN/smallest_4player/ADDROA3811
DRESDEN/tictactoe_3d_6player/ulZPWg3811
BASE/queens08ug/kJ_ZFQ3610
BASE/endgame/jYjfOA369
BASE/smallest_4player/ADDROA3611
DRESDEN/breakthroughsuicide/Y9QzqQ368
DRESDEN/breakthrough/z4hK7Q359
DRESDEN/breakthroughsuicide_v2/LU1nAw359
DRESDEN/knightthrough/J7Fc_Q338
DRESDEN/smallest/9kaGFw3212
DRESDEN/ghostmaze2p/HY0UwA329
DRESDEN/nim4/F5YAYg3110
BASE/2pttc/unkkYA319
BASE/nim4/twk16w3110
BASE/nim3/1OwUqw3110
BASE/breakthroughSuicide/wZDpIg319
BASE/breakthroughWalls/vOZaYA3110
BASE/breakthrough/TGxk-g3110
DRESDEN/nim3/sG_axA3011
BASE/breakthroughHoles/nZk0Sg3010
DRESDEN/tttcc4/sAvtFg308
DRESDEN/nim2/z5_exA3010
BASE/ghostMaze2p/W-NU-w309
BASE/nim1/hin2Qw3010
BASE/knightwar/DVGY4Q309
BASE/mummyMaze2p_2007/YGA3Vw299
BASE/nim2/eF2Qqw2911
DRESDEN/nim1/M9BALA2910
DRESDEN/bidding-tictactoe_10coins/mu5VhQ2911
BASE/tttcc4/8Bs2lg298
BASE/dotsAndBoxes/EHwA_w2911
BASE/dotsAndBoxesSuicide/jzQbLw2911
BASE/ttcc4/Le0qjQ298
DRESDEN/mummymaze2p-comp2007/oTQRQg289
DRESDEN/bomberman2p/x4h6jQ288
BASE/bomberman2p/4CClwA289
BASE/biddingTicTacToe_10coins/a-9ccQ2711
DRESDEN/ggp-course2013_nicolai/uEin8g269
DRESDEN/endgame/IJhh3Q259
DRESDEN/CephalopodMicro/H3XQfg257
DRESDEN/Zhadu/9zpQ5w258
BASE/hexPie/48CH6Q249
STANFORD/hex/MTqWcw249
BASE/hex/T1MK8g2410
BASE/checkersBarrelNoKings/rnKNeg2410
BASE/choicethroughalt/tt71Lg248
BASE/wallmaze/uxNQ9g2312
BASE/checkersTorusNoKings/pwb6oQ2310
DRESDEN/gt_ultimatum/pAiiQw238
STANFORD/checkersonabarrelnokings/Zrevdw2310
BASE/zhadu/DlA8iQ225
DRESDEN/pacman3p/rBnk8Q229
STANFORD/ttcc4/Cx9SGw228
BASE/chinook/XQh0IQ2210
BASE/pacman3p/wW7UVQ219
BASE/cephalopodMicro/9l2D3g217
DRESDEN/hanoi/RQ0jiA2111
STANFORD/chinook/osFbPA219
BASE/3pttc/0sol9g2110
BASE/hanoi/iGLsJg2111
BASE/pacman2p/4LEdQg219
BASE/gt_ultimatum/GE-uOA209
BASE/ttcc4_2player/_aH_Mw208
BASE/sheepAndWolf/g4THrg1910
BASE/ttcc4_2player_alt/ZEJvYA198
BASE/checkersTorus/2vm1EQ1910
BASE/hallway/ckCJOw1712
DRESDEN/hallway/0H4l-Q1711
BASE/quad_7x7/q-JOXg178
DRESDEN/quad_7x7/q-JOXg178
DRESDEN/towerworld/HCX34w179
DRESDEN/skirmish2/iPpWhQ179
DRESDEN/skirmish3/3LU8Nw1610
BASE/kalaha5x2x3/WviNsw1612
BASE/skirmishFinal3/-Olhfw168
DRESDEN/skirmish/RjGQYQ1610
DRESDEN/mummymaze2p/k-8edg159
BASE/skirmishHoles/AUCxCA159
BASE/mummymaze2p/vpjDdA1510
BASE/skirmishFinal2/gdB62Q148
BASE/4pttc/AL1k2Q149
DRESDEN/skirmishfinal/hzq8ww149
DRESDEN/capture_the_king/EQ229Q148
BASE/skirmishFinal1/ecWTnQ148
BASE/strangeSkirmish/gc1zKA139
BASE/knightazons/apnJBQ129
BASE/knightfight/SJRkAg129
DRESDEN/knightfight/4_Ly4w1210
DRESDEN/knightazons/02I8BQ129
DRESDEN/brawl/2kXtfQ119
BASE/knightThrough/gcwFjA119
BASE/brawl/6Ymo_Q1110
DRESDEN/pancakes88/aD3E7g1011
DRESDEN/pancakes/hl9aiQ1012
DRESDEN/pancakes6/SZXMyQ1012
BASE/pancakes/yUgbXw911
BASE/pancakes6/QZTdnw911
BASE/amazons_8x8/7SOsIw911
BASE/skirmish/Y_psYQ88
BASE/connect5/d-BVQg612
DRESDEN/fizzbuzz/t1xHzQ610
STANFORD/platformjumpers/HEQskA511
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg511
BASE/speedChess/bPnisA511
BASE/alexChess/LNo83g54
BASE/snake_2008_tweaked/bX0NJQ512
DRESDEN/snake_2008/E56l3A512
DRESDEN/quad_5x5_8_2/JRTLJg58
BASE/snake_2008/i6K26g511
DRESDEN/amazons/dNB28A58
DRESDEN/quad/JPe6fg55
BASE/quad/tw-Ufg54
BASE/skirmishNew/sibw2g511
DRESDEN/connect5/1kYzSg511
BASE/kalaha6x2x4/XS81Mg412
DRESDEN/quartosuicide/WIU1oQ410
DRESDEN/quarto/OQzRYQ411
BASE/blokbox_simple/JBx4bg48
BASE/amazons_10x10/Bun8dA310
DRESDEN/chinesecheckers2/06E6-Q311
DRESDEN/crossers3/xiPTxg312
BASE/factoringImpossibleTurtleBrain/kcBhdw38
BASE/quartoSuicide/-23jUg39
BASE/crossers3/O0rORg312
BASE/quarto/EwBMVQ311
DRESDEN/god/2EDD5w39
BASE/god/qF06gw39
BASE/amazonsSuicide_10x10/XIbQkg310
DRESDEN/guess/PhxGhg211
BASE/wargame02/BkVqqQ28
BASE/wargame03/klXI8w29
DRESDEN/quad_5x5/JAEP5g210
BASE/wargame01/_GZFZg28
STANFORD/madness/UO_B3A210
BASE/guess/SPpk1A212
BASE/othello-comp2007/86ZoMw210
STANFORD/skirmish/w4V6Vw211
DRESDEN/knightmove/97Ipcw212
BASE/knightmove/jBaJEw212
BASE/pancakes88/l2Xaig112
BASE/checkers-mustjump/T-8UuQ112
BASE/four_way_battle/xSOQXA110
DRESDEN/pawntoqueen/f_x6Aw110
DRESDEN/max_knights/hCipiA110
BASE/max_knights/2fq3Ag19
BASE/checkers-cylinder-mustjump/rjr6qQ111
BASE/pawnToQueen/-O1_JA19
BASE/amazonsTorus_10x10/Uxc08g111
BASE/quad_5x5/JAEP5g111
BASE/othelloHoles/c0qAzw111
BASE/checkers-mustjump-torus/uSApKQ112
BASE/queens31lg/0gID-A18
DRESDEN/four_way_battle/xSOQXA110
BASE/othelloSuicide/B442jg111
DRESDEN/hanoi_6_disks/MeubgQ112
BASE/hanoi_6_disks/MeubgQ112
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw112
BASE/reversi/d8UMeA110
BASE/ruleDepthExponential/UamhHQ07
DRESDEN/vacuumcleaner_random_big/DwzFaQ010
DRESDEN/vacuum_cleaner_1/eUNjpw011
BASE/crissrace/ERWGDA011
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA012
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A012
DRESDEN/chinesecheckers3/QsCb2A011
DRESDEN/Travelers-Dilemma/PvZwYw011
DRESDEN/checkers/jIDMIg012
DRESDEN/farmers/S_ASnw010
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA011
DRESDEN/battle/8oAvhQ010
BASE/hitori/S8Gsyg09
BASE/racer/QQYQNw010
BASE/checkers/rOC3Xg011
BASE/amazonsSuicide/dE1QEQ09
DRESDEN/chinesecheckers6-simultaneous/gPPGUw011
DRESDEN/checkers-mustjump/HUr33w012
BASE/twisty-passages/DiZmmg012
BASE/gt_tinfoil/Q8DyKg012
BASE/merrills/pku8Tg08
DRESDEN/checkers-cylinder-mustjump/vW_-pA010
BASE/colonelBlottoVariant/X-n-KQ011
BASE/gt_attrition/kD_SCA09
DRESDEN/checkers-mustjump-torus/cVc3gA011
BASE/hanoi7_bugfix/3gdnFw012
BASE/colonelBlotto/jip21A010
BASE/checkers-newgoals/0XkFiA012
DRESDEN/battlebrushes/QHXV4A09
BASE/gt_two_thirds_2p/1APDGg06
BASE/cylinder-checkers/hlldmw011
BASE/kalaha_2009/dRiN3g012
DRESDEN/hitori/S8Gsyg09
DRESDEN/hanoi7/51zz5Q011
DRESDEN/chinesecheckers6/yTbPDA011
DRESDEN/vacuumcleaner_random/_6AGDA012
DRESDEN/chinesecheckers4/-oVNYg011
DRESDEN/blobwars/ZaMluQ012
DRESDEN/twisty-passages/j7NPyg012
DRESDEN/othello-cornercontrol/r5Gdlg08
BASE/crisscross/ICagEg011
DRESDEN/small_dominion/yB5GJA010
BASE/checkersTiny/Lr48cg011
DRESDEN/satlike_20v_91c/yeuENQ09
DRESDEN/crisscross/GsY16g011
BASE/checkersSmall/SYmq8w012
DRESDEN/racer/vk_ZBA010
DRESDEN/cylinder-checkers/clOO3Q012
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g09
BASE/amazonsTorus/soxT8g06
BASE/colonelBlottoVariant2/jruwGw011
DRESDEN/checkers-newgoals/IJOqXQ012
DRESDEN/kalaha_2009/gcC8uA012
BASE/ad_game_2x2/D0aWqg010
DRESDEN/crissrace/KWb9bw011
BASE/battle/8oAvhQ010
DRESDEN/hanoi7_bugfix/3gdnFw011
BASE/amazons/RKKZjw09
DRESDEN/merrills/aYEzwA07
BASE/skirmishZeroSum/zh4hcw011
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg010
DRESDEN/satlike_20v_91c_version2/yd9ioQ08
BASE/blobwars/0XT15Q012

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: 2147483765
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: 2147483765
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