REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.0

Comparison with GGP-Base Prover:

Median speedup0.09449800824765256
Mean speedup0.29855657879626757
Geometric mean speedup0.0
Ratio of # state changes with 1 second per game0.09966432742367456
Ratio of times to run 1000 states per gameInfinity
Number of games with errors16

Comparison with other engines:

EngineWe're faster in N gamesOnly they failThey're faster in N gamesOnly we fail
REKKURA_BACKWARD_PROVER:1.0.0905172
REKKURA_BACKWARD_PROVER_OSTD:1.0.0005261
ALLOY_COMPILED_PROVER_CACHING:101051613
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.142747711
GGP_BASE_PROVER:2015-04-2623150215
ALLOY_TUPLE_PROVER:12452013
PALAMEDES_JOCULAR:0.6.118764328
REKKURA_GENERIC_FORWARD_PROVER:1.0.014903772
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.013903871
REKKURA_GENERIC_BACKWARD_PROVER:1.0.024702791
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1122739710

Game-by-game statistics:

GameAverage state changes per secondRanking
BASE/onestep/xi53wA414911
BASE/haystack/UkweGA413712
BASE/troublemaker01/s3tlEQ331811
DRESDEN/troublemaker01/C-lPWw318412
BASE/pearls/6k_mEQ306412
BASE/survival/YVIjJA288012
BASE/troublemaker02/DI83KA263612
DRESDEN/troublemaker02/iZLVuA257012
BASE/stateSpaceSmall/Q7osKA241211
DRESDEN/statespacesmall/h-NqjA237412
STANFORD/buttonsandlights/eyhJpA237212
DRESDEN/buttons/ADUaHw230612
BASE/buttons/hTcUjw230112
BASE/factoringGeorgeForman/HGRorQ207612
DRESDEN/blocks/vg0DRw205611
BASE/blocks/xIV5hQ202411
BASE/blocksWorld/SEdXLQ200212
BASE/untwistycomplex2/EDPPAQ175411
STANFORD/untwistycorridor/EDPPAQ172512
BASE/duplicateStateSmall/bCPAXw160912
BASE/sum15/QZ07Kg158312
DRESDEN/sum15/CsgWKg157311
BASE/stateSpaceMedium/3bUoIw156011
DRESDEN/toetictac/mJtxCA155910
DRESDEN/statespacemedium/dVJZ_w155211
BASE/toetictac/mTThmg152411
BASE/maze/cCX3qQ151512
BASE/lightsOn/MsXu3A147812
DRESDEN/2player_normal_form_2010/NG_Kdg147212
BASE/switches/tPUoCg146712
BASE/chickentoetictac/l57rfQ133812
DRESDEN/chickentoetictac/cxYaRQ133312
DRESDEN/blocks2player/3ev8nQ131211
BASE/blocks2player/wnTLOQ129812
BASE/tictactoe_orthogonal/WRzlVw126911
DRESDEN/tictactoe_orthogonal/y69QFQ126011
DRESDEN/blocker/S815zQ125711
STANFORD/rainbow/_4qNSQ123710
DRESDEN/tictactoe/BTTzPw119612
DRESDEN/circlesolitaire/ruUilQ117111
BASE/circlesolitaire/azuQFQ115611
DRESDEN/eotcatcit/mQUxzA112312
DRESDEN/point_grab/r5DPmQ109911
BASE/stateSpaceLarge/0Ge_CQ108410
BASE/point_grab/r5DPmQ108211
DRESDEN/statespacelarge/8-y5HQ107810
BASE/eotcatcit/AfZSzA107312
DRESDEN/brain_teaser_extended/ZDp94A106410
BASE/tictactoe2/bhrDoQ105712
BASE/brain_teaser_extended/ZDp94A105511
DRESDEN/chickentictactoe/Ipbo-g104812
DRESDEN/tictactoe-init1/3ltIBQ102212
BASE/tictactoe-init1/7M19vA101012
STANFORD/jointbuttonsandlights/qAKuIQ98012
STANFORD/bestbuttonsandlights/nm0wEA94712
STANFORD/multiplebuttonsandlights_9/SqB9BA94712
STANFORD/multiplebuttonsandlights/cK70Yg92212
STANFORD/threepuzzle/41ibjA88211
STANFORD/3puzzle/41ibjA86312
BASE/blocksWorldSerial/Wyg96Q85012
DRESDEN/lightson2x2/gBHuig83912
DRESDEN/lightsout/XgLpzQ83810
STANFORD/untwistycomplex/HTWEwg83011
STANFORD/sukoshi/4LYZZQ82412
DRESDEN/oisters_farm/pTQMLg82411
BASE/eotcitcit/V_9_bg81512
DRESDEN/lightsout2/LFtfyQ81411
BASE/firefighter/WJmoPw80412
DRESDEN/firefighter/WJmoPw80412
STANFORD/trifecta/ss1kyQ79612
BASE/factoringEasyTurtleBrain/lUj94Q78612
STANFORD/dualrainbow/G3OnRQ7869
STANFORD/tictactoe/ss1kyQ78112
BASE/lightsOnParallel/SC6enA77312
DRESDEN/tictictoe/LAUtwg76812
BASE/ticTacToe/JRFsaQ76712
BASE/blocker/dIWtxg76611
DRESDEN/doubletictactoe/lJzgmQ75611
BASE/doubletictactoe/HH1htg75111
DRESDEN/CatchMeIfYouCanTest/CX18rA74111
DRESDEN/doubletoetictac/V89gKQ73911
BASE/bunk_t/xbpfIA73611
BASE/doubletoetictac/fu35bg73311
DRESDEN/Thief_Police/CX18rA72911
DRESDEN/catch_me/ghGWrA72511
DRESDEN/bunk_t/7-tPfA72311
BASE/chickentictactoe/DSlZCA72212
DRESDEN/tictactoelarge/IwXcbg71812
DRESDEN/Catch-Me-If-You-Can/ghGWrA71712
DRESDEN/blocksworldparallel/2JfVaw71512
DRESDEN/8puzzle/8fKC2w71311
BASE/hodgepodge/9yjRkw71012
STANFORD/tictactoe7/-bE9-A69512
BASE/ticTacToeNoVars/XT03NA69212
STANFORD/bestbuttonsandlightsbig/g0JC6g68411
DRESDEN/coins/QwFP9w6688
BASE/coins_atomic/AA3SSw6659
STANFORD/tictactoe5/WFRReg66312
BASE/incredible/8Qh-6Q66012
BASE/coins/QnGtnQ6559
STANFORD/tictactoe3/X7myng64512
BASE/duplicateStateMedium/U163eQ60411
DRESDEN/tictactoelargesuicide/6J4DeA60112
DRESDEN/latenttictactoe/kITHKg58612
DRESDEN/pawn_whopping/4ogBkg58410
DRESDEN/ticblock/Z2yNWQ57811
STANFORD/tictictoe/rpt_Dw57712
BASE/factoringMutuallyAssuredDestruction/NH0LGg57211
DRESDEN/pawn_whopping_corrected/7Ov0jQ5669
BASE/lightsOut/5P1ZBw56511
BASE/gt_dollar/TGjqRw56411
BASE/numbertictactoe/rvJ-iQ56111
BASE/double_tictactoe_dengji/zgaSbA55412
DRESDEN/double_tictactoe_dengji/bGaUyQ54911
BASE/ticTicToe/c1OobQ54612
BASE/ticblock/T21C1g53111
BASE/withConviction/3Xm54A51610
BASE/ticTacToeLarge/TZC0dg50212
BASE/ticTacToeLargeSuicide/727_8g48812
BASE/blocksWorldParallel/RseaAQ47510
DRESDEN/roshambo2/jgSlkQ4509
DRESDEN/knightstour/cGISAA44712
BASE/roshambo2/KNPokQ4449
BASE/eightPuzzle/vLrgFg43312
BASE/snakeParallel/RCVNtw43311
BASE/coloredtrails/EZvr7g42912
STANFORD/8puzzle/jNiGtw42611
STANFORD/eightpuzzle/W_aWbA42111
BASE/gt_centipede/9fRMpw41612
STANFORD/duikoshi/tpw1sw41510
BASE/beatMania/qUHwvQ39912
STANFORD/hunter/14dD-g39712
DRESDEN/cube_2x2x2/fp-34Q39411
BASE/conn4/va9Y7A3908
DRESDEN/pawn_whopping_simultaneous/r8dLfw38010
BASE/factoringMediumTurtleBrain/8RBqmQ37211
BASE/simultaneousWin2/PfjRjw3689
BASE/lightsOnSimultaneous/_VN6lw36712
BASE/ruleDepthLinear/OUBJpQ35710
DRESDEN/tictactoeparallel/yk_DSg35712
BASE/asteroids/BKCmPQ35110
DRESDEN/grid_game2/kypTYQ3418
DRESDEN/catcha_mouse/cHv4dw34010
BASE/catcha_mouse/cHv4dw33711
DRESDEN/aipsrovers01/qS47Mw32911
BASE/aipsrovers01/4C4jsw32711
BASE/futoshiki4/BaCwSw30810
STANFORD/dualhunter/1rPZjQ30811
DRESDEN/SC_TestOnly_enabled/09o7gQ3026
STANFORD/triplesukoshi/Iu9mbA29711
DRESDEN/tictactoex9/rFkD4w2959
BASE/tictactoex9/BI26ow2939
BASE/ticTacToeSerial/Amrwqw28911
BASE/breakthroughSmallHoles/bxclRw28612
BASE/lightsOnSimul4/9FeASw28512
STANFORD/knightstourmedium/x1wu8Q28312
DRESDEN/connectfour/5tc-Mg27611
BASE/blockerSerial/3eqDuw27410
BASE/3pConnectFour/PqXOFQ27210
DRESDEN/chomp/-LcqYQ27110
BASE/chomp/-LcqYQ26910
DRESDEN/tictactoe_3d_small_2player/HYttcg26412
BASE/tictactoe_3d_small_2player/oOryKA25811
BASE/snake2p/I3wWPQ25510
DRESDEN/connectfoursuicide/M9CNQg24811
STANFORD/knightstour/cEwgNA24712
BASE/duplicateStateLarge/dcjyuw24111
DRESDEN/logistics/fPru1Q23912
BASE/slidingpieces/uFJWEw2389
BASE/connectFourSuicide/c8p9Kw23611
BASE/knightsTour/mvtVIg23512
DRESDEN/slidingpieces/s9_44g2359
BASE/connectFour/WAIKTw23412
BASE/ticTacToeParallel/ymRGPw23312
BASE/pawnWhopping/Ypc_6Q22811
BASE/ticTacHeaven/18n58A22711
STANFORD/connectfour/VMpZkQ22712
BASE/tron_10x10/7ZTgDg22511
DRESDEN/tpeg/h-Scbg22410
DRESDEN/tictactoe_3player/ESLQQQ22312
DRESDEN/peg/Vo31eg22210
BASE/tpeg/QNs7Lw21911
DRESDEN/peg_bugfixed/u_B7MA21911
DRESDEN/battlesnakes1509/-qZrLw21610
DRESDEN/battlesnakes2011/93VtTw21310
DRESDEN/Runners/3bOCQw21312
BASE/ticTacHeavenFC/mrletw21111
DRESDEN/cubicup/SBn_lw21010
BASE/cubicup/4wNWJA21010
BASE/asteroidsSerial/id2QkA20910
BASE/asteroidsParallel/WauZiA20611
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw20312
DRESDEN/blockerparallel/dVQgSg20010
BASE/blockerParallel/7-nDJA20010
DRESDEN/stratego/Z2wovg20012
DRESDEN/3pttc/uwYBZw19711
DRESDEN/3pffa/0YrmQw19311
DRESDEN/gt_prisoner/huCp4w19112
BASE/nineBoardTicTacToePie/B8LzeQ18811
DRESDEN/crisscross/GsY16g1879
DRESDEN/tictactoe_3d_small_6player/llDEDQ18711
BASE/tictactoe_3d_small_6player/g_9lww18611
DRESDEN/chinesecheckers1/Y-ftaA18411
BASE/gt_coordination/IVMOzA18411
BASE/crisscross/ICagEg1849
STANFORD/multipletictactoe/_bkafQ18410
DRESDEN/grid_game/U7_Yeg18012
BASE/tictactoe_3player/GtM71g18012
BASE/connectFourSimultaneous/7ITr3g18012
BASE/futoshiki5/TJ4BZg17911
STANFORD/breakthrough/d5j0cQ17711
BASE/snakeAssemblit/sOydSg17710
DRESDEN/cubicup_3player/awDtsQ1758
DRESDEN/sheep_and_wolf/enAIzQ17511
BASE/cubicup_3player/e2yA_g1719
DRESDEN/sat_test_20v_91c/dK7nVw16611
BASE/connect4/50bOyw16410
STANFORD/nineboardtictactoe/y28P-A16212
DRESDEN/connect4/T0-rHQ16110
BASE/nineBoardTicTacToe/wRmqqA15912
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg15512
DRESDEN/gt_chicken/CeuKtw14912
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ14912
DRESDEN/snake_2009/zIYLVw14811
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg14712
BASE/snake_2009/7l-qAQ14612
STANFORD/kono/HI7CHA1446
DRESDEN/knightwar/7hhAqg14311
BASE/gt_staghunt/xPjLRA13912
DRESDEN/bidding-tictactoe/yW5vTA1398
BASE/gt_prisoner/klthDw13512
DRESDEN/uf20-020.cnf.SAT/hDrW_A13412
DRESDEN/ggp-course2013_michal13/jWKddg1315
DRESDEN/uf20-010.cnf.SAT/5ICbCg12912
DRESDEN/mimikry/GJEhwA12811
BASE/connectFourLarge/aU644A12811
DRESDEN/pentago_2008/hLjVpQ12711
STANFORD/multiplesukoshi/vLSQPg1275
BASE/chineseCheckers1/gqtwHw12611
BASE/biddingTicTacToe/8mESVw1268
BASE/futoshiki6/JmvXNA12511
STANFORD/selectivesukoshi/3xmXYg1258
DRESDEN/uf20-01.cnf.SAT/42Rs8A12411
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA12012
DRESDEN/sat_test_20v_91c_version2/a1mPBA12011
DRESDEN/snake_2009_big/DgC1NQ12012
BASE/snake_2009_big/-oRfVw12011
BASE/gt_chicken/gmepTQ11412
BASE/dualConnect4/WbCQkg10712
DRESDEN/chinesecheckers3/QsCb2A1049
BASE/golden_rectangle/_nYzfw1009
DRESDEN/chinesecheckers2/06E6-Q998
BASE/chineseCheckers2/eCMR3Q9711
BASE/knightsTourLarge/M8jgLA9611
DRESDEN/javastrike/whONTQ969
BASE/majorities/ibJzSQ9410
DRESDEN/ggp-course2013_jordi/9QI6Kw949
DRESDEN/kitten_escapes_from_fire/uW-YiA949
BASE/cittaceot/fDxhXg9211
BASE/kitten_escapes_from_fire/uW-YiA919
BASE/checkLines/Vop7oQ9012
BASE/minichess/8NQEiA9012
BASE/racetrackcorridor/k1OQRg898
DRESDEN/minichess/c7GMFw8712
BASE/minichess-evilconjuncts/4OpQzw8610
DRESDEN/minichess-evilconjuncts/th24Tw8510
DRESDEN/racetrackcorridor/O0DoTA839
BASE/englishDraughts/jFkQxg8311
BASE/breakthroughSmall/HJ0tIA8211
STANFORD/breakthroughsmall/HM0s5w818
BASE/escortLatch/mX9BjQ7811
DRESDEN/4pttc/9pB9AQ7811
STANFORD/freeforall/Lfp40Q7711
DRESDEN/frogs_and_toads/GjchhQ7511
STANFORD/pentago/ZxzLmg7512
BASE/2pffa/6oHijA749
BASE/pentago/86NgKw7211
BASE/pentagoSuicide/SBgNhw7211
STANFORD/knightstourbig/TQUI2g7011
BASE/queens06ug/7Lq3tw7010
BASE/chineseCheckers3/-1rZdQ6911
DRESDEN/golden_rectangle/1uloXw658
BASE/2pffa_zerosum/o0_uZA649
BASE/sudokuGrade5/BQfUQA648
STANFORD/sudoku/oJ1qyQ648
BASE/sudokuGrade3/eI8dvg638
BASE/3pffa/pR0dzA639
BASE/sudokuGrade4/DTy07w638
BASE/sudokuGrade2/u80Tfw639
BASE/sudokuGrade1/tDRNRw639
BASE/sudokuGrade6H/ieE_9A618
BASE/mineClearingSmall/frsbvw6110
BASE/sudokuGrade6E/ihYFZA609
DRESDEN/chinesecheckers4/-oVNYg609
BASE/ttcc4_2player_small/Cv72TA6010
STANFORD/alquerquezero/uVgA_A6011
BASE/crissrace/ERWGDA598
BASE/smallest_4player/ADDROA5910
DRESDEN/crissrace/KWb9bw598
DRESDEN/smallest_4player/ADDROA5810
DRESDEN/backgammon/mqCW0Q568
DRESDEN/chinesecheckers6-simultaneous/gPPGUw569
BASE/qyshinsu/R08Lzw5611
BASE/chineseCheckers4/avfBcQ5611
BASE/pegEuro/5awwhg5512
BASE/peg/fJHVWw5512
BASE/nim4/twk16w558
DRESDEN/smallest/9kaGFw559
BASE/4pffa/Q3ADlg5411
BASE/nim3/1OwUqw548
DRESDEN/nim3/sG_axA539
DRESDEN/nim4/F5YAYg539
DRESDEN/nim2/z5_exA539
BASE/nim2/eF2Qqw528
DRESDEN/chinesecheckers6/yTbPDA529
DRESDEN/nim1/M9BALA528
BASE/nim1/hin2Qw518
STANFORD/duidoku/3SoMaA488
DRESDEN/Goldrush/VeWczQ475
DRESDEN/tictactoe_3d_2player/LMuX9w4710
BASE/tictactoe_3d_2player/IUC1rQ4611
BASE/queens08ug/kJ_ZFQ457
BASE/queens08lg/Ru7eqQ457
DRESDEN/tictactoe_3d_6player/ulZPWg458
BASE/connectFourLarger/qKi60A4312
BASE/chineseCheckers6/rREH3A4211
BASE/wallmaze/uxNQ9g4010
BASE/tictactoe_3d_6player/d7KSwg4010
BASE/dotsAndBoxesSuicide/jzQbLw409
STANFORD/pilgrimage/ObRZnQ3911
BASE/dotsAndBoxes/EHwA_w3910
BASE/endgame/jYjfOA3611
DRESDEN/hanoi/RQ0jiA3610
DRESDEN/bidding-tictactoe_10coins/mu5VhQ358
BASE/hanoi/iGLsJg3510
DRESDEN/breakthrough/z4hK7Q3410
BASE/biddingTicTacToe_10coins/a-9ccQ348
DRESDEN/breakthroughsuicide/Y9QzqQ3310
DRESDEN/breakthroughsuicide_v2/LU1nAw3210
DRESDEN/knightthrough/J7Fc_Q3011
BASE/breakthroughHoles/nZk0Sg2911
BASE/2pttc/unkkYA2911
BASE/knightwar/DVGY4Q2911
BASE/breakthroughSuicide/wZDpIg2911
BASE/breakthroughWalls/vOZaYA2912
BASE/breakthrough/TGxk-g2911
BASE/hallway/ckCJOw289
DRESDEN/hallway/0H4l-Q289
BASE/quad_7x7/q-JOXg275
DRESDEN/ghostmaze2p/HY0UwA2711
BASE/ghostMaze2p/W-NU-w2611
DRESDEN/mummymaze2p-comp2007/oTQRQg2510
DRESDEN/bomberman2p/x4h6jQ2511
DRESDEN/babel/WdSW4A2511
DRESDEN/ggp-course2013_nicolai/uEin8g2511
DRESDEN/quad_7x7/q-JOXg255
BASE/tttcc4/8Bs2lg2511
BASE/bomberman2p/4CClwA2512
BASE/ttcc4/Le0qjQ2511
BASE/mummyMaze2p_2007/YGA3Vw2411
DRESDEN/tttcc4/sAvtFg2411
DRESDEN/pancakes/hl9aiQ249
DRESDEN/CephalopodMicro/H3XQfg248
DRESDEN/pancakes6/SZXMyQ2410
DRESDEN/Zhadu/9zpQ5w2411
DRESDEN/pancakes88/aD3E7g239
BASE/hex/T1MK8g2312
STANFORD/checkersonabarrelnokings/Zrevdw2211
BASE/hexPie/48CH6Q2211
STANFORD/hex/MTqWcw2212
BASE/choicethroughalt/tt71Lg2210
BASE/zhadu/DlA8iQ218
BASE/checkersBarrelNoKings/rnKNeg2112
BASE/chinook/XQh0IQ2112
DRESDEN/endgame/IJhh3Q2011
BASE/checkersTorusNoKings/pwb6oQ2012
BASE/3pttc/0sol9g2011
BASE/kalaha5x2x3/WviNsw1910
DRESDEN/pacman3p/rBnk8Q1910
STANFORD/chinook/osFbPA1912
STANFORD/ttcc4/Cx9SGw1911
BASE/pancakes/yUgbXw1810
BASE/pancakes6/QZTdnw1810
BASE/cephalopodMicro/9l2D3g189
BASE/ttcc4_2player/_aH_Mw1811
BASE/checkersTorus/2vm1EQ1811
BASE/pacman3p/wW7UVQ1711
BASE/sheepAndWolf/g4THrg1711
BASE/ttcc4_2player_alt/ZEJvYA1711
BASE/pacman2p/4LEdQg1712
DRESDEN/towerworld/HCX34w1610
DRESDEN/skirmish3/3LU8Nw1511
DRESDEN/skirmish/RjGQYQ1511
DRESDEN/skirmish2/iPpWhQ1512
DRESDEN/gt_ultimatum/pAiiQw1411
DRESDEN/mummymaze2p/k-8edg1412
BASE/mummymaze2p/vpjDdA1412
BASE/gt_ultimatum/GE-uOA1312
BASE/4pttc/AL1k2Q1311
BASE/skirmishFinal3/-Olhfw1311
BASE/skirmishFinal2/gdB62Q1210
BASE/snake_2008_tweaked/bX0NJQ129
DRESDEN/skirmishfinal/hzq8ww1210
DRESDEN/capture_the_king/EQ229Q1211
BASE/skirmishHoles/AUCxCA1211
BASE/skirmishFinal1/ecWTnQ1210
BASE/strangeSkirmish/gc1zKA1111
BASE/knightazons/apnJBQ1110
DRESDEN/snake_2008/E56l3A1110
BASE/snake_2008/i6K26g1110
DRESDEN/knightazons/02I8BQ1110
DRESDEN/brawl/2kXtfQ1011
BASE/knightfight/SJRkAg1011
DRESDEN/knightfight/4_Ly4w1012
BASE/amazons_8x8/7SOsIw109
BASE/knightThrough/gcwFjA1010
BASE/brawl/6Ymo_Q1011
BASE/connect5/d-BVQg710
BASE/skirmish/Y_psYQ710
DRESDEN/guess/PhxGhg610
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg69
BASE/kalaha6x2x4/XS81Mg610
BASE/guess/SPpk1A69
DRESDEN/knightmove/97Ipcw610
BASE/knightmove/jBaJEw610
STANFORD/platformjumpers/HEQskA510
DRESDEN/crossers3/xiPTxg510
BASE/speedChess/bPnisA59
BASE/alexChess/LNo83g56
DRESDEN/fizzbuzz/t1xHzQ511
DRESDEN/hanoi_6_disks/MeubgQ59
DRESDEN/amazons/dNB28A510
BASE/crossers3/O0rORg510
BASE/skirmishNew/sibw2g59
DRESDEN/connect5/1kYzSg512
BASE/amazons_10x10/Bun8dA49
DRESDEN/quad_5x5/JAEP5g49
BASE/quad_5x5/JAEP5g49
DRESDEN/quarto/OQzRYQ49
DRESDEN/quad/JPe6fg46
BASE/blokbox_simple/JBx4bg47
BASE/hanoi_6_disks/MeubgQ410
BASE/quad/tw-Ufg45
BASE/god/qF06gw48
BASE/amazonsSuicide_10x10/XIbQkg49
BASE/factoringImpossibleTurtleBrain/kcBhdw37
BASE/quartoSuicide/-23jUg310
BASE/othello-comp2007/86ZoMw37
DRESDEN/quartosuicide/WIU1oQ311
BASE/reversi/d8UMeA37
BASE/quarto/EwBMVQ310
DRESDEN/god/2EDD5w38
STANFORD/madness/UO_B3A211
BASE/othelloHoles/c0qAzw29
BASE/othelloSuicide/B442jg29
BASE/checkersTiny/Lr48cg210
BASE/checkersSmall/SYmq8w29
STANFORD/skirmish/w4V6Vw29
BASE/pancakes88/l2Xaig19
BASE/checkers-mustjump/T-8UuQ19
BASE/four_way_battle/xSOQXA112
DRESDEN/pawntoqueen/f_x6Aw111
BASE/checkers/rOC3Xg19
DRESDEN/max_knights/hCipiA111
BASE/wargame01/_GZFZg111
BASE/checkers-cylinder-mustjump/rjr6qQ19
BASE/pawnToQueen/-O1_JA112
BASE/amazonsTorus_10x10/Uxc08g19
BASE/checkers-newgoals/0XkFiA19
BASE/checkers-mustjump-torus/uSApKQ110
DRESDEN/quad_5x5_8_2/JRTLJg110
BASE/queens31lg/0gID-A16
DRESDEN/four_way_battle/xSOQXA112
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw110
BASE/skirmishZeroSum/zh4hcw19
DRESDEN/vacuumcleaner_random_big/DwzFaQ09
DRESDEN/vacuum_cleaner_1/eUNjpw09
BASE/wargame02/BkVqqQ011
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA09
BASE/wargame03/klXI8w011
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A010
DRESDEN/Travelers-Dilemma/PvZwYw09
DRESDEN/checkers/jIDMIg010
DRESDEN/farmers/S_ASnw09
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA08
DRESDEN/battle/8oAvhQ012
BASE/hitori/S8Gsyg011
BASE/racer/QQYQNw011
BASE/amazonsSuicide/dE1QEQ08
DRESDEN/checkers-mustjump/HUr33w09
BASE/twisty-passages/DiZmmg010
BASE/gt_tinfoil/Q8DyKg09
BASE/merrills/pku8Tg011
DRESDEN/checkers-cylinder-mustjump/vW_-pA012
BASE/colonelBlottoVariant/X-n-KQ09
BASE/max_knights/2fq3Ag012
BASE/gt_attrition/kD_SCA07
DRESDEN/checkers-mustjump-torus/cVc3gA09
BASE/hanoi7_bugfix/3gdnFw010
BASE/colonelBlotto/jip21A07
DRESDEN/battlebrushes/QHXV4A010
BASE/cylinder-checkers/hlldmw010
BASE/kalaha_2009/dRiN3g09
DRESDEN/hitori/S8Gsyg011
DRESDEN/hanoi7/51zz5Q09
DRESDEN/vacuumcleaner_random/_6AGDA010
DRESDEN/blobwars/ZaMluQ09
DRESDEN/twisty-passages/j7NPyg09
DRESDEN/othello-cornercontrol/r5Gdlg012
DRESDEN/small_dominion/yB5GJA07
DRESDEN/satlike_20v_91c/yeuENQ011
DRESDEN/racer/vk_ZBA011
DRESDEN/cylinder-checkers/clOO3Q010
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g010
BASE/amazonsTorus/soxT8g05
BASE/colonelBlottoVariant2/jruwGw08
DRESDEN/checkers-newgoals/IJOqXQ010
DRESDEN/kalaha_2009/gcC8uA09
BASE/ad_game_2x2/D0aWqg09
BASE/battle/8oAvhQ012
DRESDEN/hanoi7_bugfix/3gdnFw09
BASE/amazons/RKKZjw08
DRESDEN/merrills/aYEzwA011
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg012
DRESDEN/satlike_20v_91c_version2/yd9ioQ010
BASE/blobwars/0XT15Q09

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