REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0

Comparison with GGP-Base Prover:

Median speedup0.11833046214603941
Mean speedup0.4039522615779943
Geometric mean speedup0.0
Ratio of # state changes with 1 second per game0.15198030785339947
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.01805091
REKKURA_BACKWARD_PROVER_OSTD:1.0.01005170
ALLOY_COMPILED_PROVER_CACHING:101051712
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.163845611
GGP_BASE_PROVER:2015-04-2629149714
ALLOY_TUPLE_PROVER:114450912
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.038711390
PALAMEDES_JOCULAR:0.6.132774188
REKKURA_GENERIC_FORWARD_PROVER:1.0.027502521
REKKURA_GENERIC_BACKWARD_PROVER:1.0.038511411
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1135838410

Game-by-game statistics:

GameAverage state changes per secondRanking
BASE/pearls/6k_mEQ143347
BASE/haystack/UkweGA135989
BASE/onestep/xi53wA724610
BASE/survival/YVIjJA686310
BASE/troublemaker01/s3tlEQ439010
DRESDEN/troublemaker01/C-lPWw436910
DRESDEN/buttons/ADUaHw39279
BASE/buttons/hTcUjw390510
DRESDEN/troublemaker02/iZLVuA373110
BASE/troublemaker02/DI83KA365110
STANFORD/buttonsandlights/eyhJpA334210
BASE/factoringGeorgeForman/HGRorQ33129
DRESDEN/statespacesmall/h-NqjA318510
BASE/stateSpaceSmall/Q7osKA317110
BASE/untwistycomplex2/EDPPAQ28199
BASE/coins_atomic/AA3SSw27934
STANFORD/untwistycorridor/EDPPAQ27929
DRESDEN/coins/QwFP9w27504
BASE/coins/QnGtnQ27474
BASE/blocksWorld/SEdXLQ270910
BASE/blocks/xIV5hQ268810
DRESDEN/blocks/vg0DRw264110
STANFORD/untwistycomplex/HTWEwg24728
BASE/duplicateStateSmall/bCPAXw24159
BASE/lightsOn/MsXu3A22969
BASE/sum15/QZ07Kg22909
DRESDEN/sum15/CsgWKg225010
DRESDEN/eotcatcit/mQUxzA21569
BASE/eotcatcit/AfZSzA20819
DRESDEN/blocker/S815zQ20739
DRESDEN/statespacemedium/dVJZ_w20078
BASE/switches/tPUoCg200410
BASE/stateSpaceMedium/3bUoIw19639
DRESDEN/tictactoe/BTTzPw194210
BASE/maze/cCX3qQ18659
DRESDEN/chickentictactoe/Ipbo-g18429
DRESDEN/tictactoe_orthogonal/y69QFQ18349
BASE/tictactoe_orthogonal/WRzlVw18339
DRESDEN/blocks2player/3ev8nQ17439
DRESDEN/2player_normal_form_2010/NG_Kdg17299
BASE/blocks2player/wnTLOQ169210
DRESDEN/circlesolitaire/ruUilQ166710
BASE/circlesolitaire/azuQFQ16649
BASE/tictactoe2/bhrDoQ164110
DRESDEN/lightson2x2/gBHuig163010
BASE/brain_teaser_extended/ZDp94A15418
DRESDEN/toetictac/mJtxCA153411
BASE/toetictac/mTThmg15349
BASE/chickentoetictac/l57rfQ15279
DRESDEN/chickentoetictac/cxYaRQ14869
DRESDEN/brain_teaser_extended/ZDp94A14719
BASE/lightsOnParallel/SC6enA14579
STANFORD/rainbow/_4qNSQ14528
DRESDEN/tictactoe-init1/3ltIBQ140810
BASE/stateSpaceLarge/0Ge_CQ13987
BASE/tictactoe-init1/7M19vA13859
DRESDEN/point_grab/r5DPmQ13799
DRESDEN/statespacelarge/8-y5HQ13668
BASE/ticTacToeNoVars/XT03NA13338
BASE/point_grab/r5DPmQ133110
STANFORD/jointbuttonsandlights/qAKuIQ132610
BASE/doubletictactoe/HH1htg13047
STANFORD/sukoshi/4LYZZQ12898
DRESDEN/doubletoetictac/V89gKQ12747
DRESDEN/doubletictactoe/lJzgmQ12698
DRESDEN/latenttictactoe/kITHKg12689
STANFORD/tictactoe3/X7myng12669
DRESDEN/bunk_t/7-tPfA12597
STANFORD/bestbuttonsandlights/nm0wEA12429
BASE/bunk_t/xbpfIA12418
BASE/doubletoetictac/fu35bg12368
STANFORD/trifecta/ss1kyQ12259
STANFORD/multiplebuttonsandlights_9/SqB9BA122310
STANFORD/tictactoe/ss1kyQ12169
STANFORD/multiplebuttonsandlights/cK70Yg121110
BASE/ticblock/T21C1g12088
BASE/ticTacToe/JRFsaQ12059
BASE/blocksWorldSerial/Wyg96Q11689
STANFORD/tictactoe5/WFRReg116510
STANFORD/tictactoe7/-bE9-A113510
DRESDEN/oisters_farm/pTQMLg11169
DRESDEN/tictictoe/LAUtwg10979
BASE/chickentictactoe/DSlZCA109710
DRESDEN/tictactoeparallel/yk_DSg10878
BASE/blocker/dIWtxg10869
BASE/factoringEasyTurtleBrain/lUj94Q10799
BASE/eotcitcit/V_9_bg10759
DRESDEN/ticblock/Z2yNWQ10519
BASE/firefighter/WJmoPw10489
DRESDEN/firefighter/WJmoPw10149
BASE/factoringMutuallyAssuredDestruction/NH0LGg9919
DRESDEN/lightsout/XgLpzQ9868
BASE/hodgepodge/9yjRkw98310
STANFORD/3puzzle/41ibjA97810
STANFORD/threepuzzle/41ibjA97210
DRESDEN/lightsout2/LFtfyQ9718
DRESDEN/CatchMeIfYouCanTest/CX18rA94510
DRESDEN/Thief_Police/CX18rA94210
DRESDEN/Catch-Me-If-You-Can/ghGWrA93910
DRESDEN/catch_me/ghGWrA93110
BASE/double_tictactoe_dengji/zgaSbA9019
DRESDEN/tictactoelarge/IwXcbg89710
DRESDEN/double_tictactoe_dengji/bGaUyQ8888
STANFORD/dualrainbow/G3OnRQ8808
STANFORD/bestbuttonsandlightsbig/g0JC6g87610
DRESDEN/blocksworldparallel/2JfVaw84310
DRESDEN/pawn_whopping_corrected/7Ov0jQ8356
BASE/incredible/8Qh-6Q83010
DRESDEN/8puzzle/8fKC2w8289
BASE/ruleDepthLinear/OUBJpQ8219
BASE/numbertictactoe/rvJ-iQ8149
DRESDEN/tictactoelargesuicide/6J4DeA80910
BASE/duplicateStateMedium/U163eQ75210
DRESDEN/pawn_whopping/4ogBkg7416
STANFORD/tictictoe/rpt_Dw7399
BASE/ticTicToe/c1OobQ6989
BASE/gt_dollar/TGjqRw6659
BASE/lightsOut/5P1ZBw64910
BASE/ticTacToeLarge/TZC0dg58910
BASE/ticTacToeLargeSuicide/727_8g58610
BASE/withConviction/3Xm54A5857
BASE/blocksWorldParallel/RseaAQ5738
STANFORD/duikoshi/tpw1sw5618
BASE/ticTacToeSerial/Amrwqw5448
DRESDEN/knightstour/cGISAA53210
BASE/snakeParallel/RCVNtw5149
STANFORD/8puzzle/jNiGtw5069
BASE/beatMania/qUHwvQ5049
BASE/lightsOnSimultaneous/_VN6lw5038
BASE/ticTacToeParallel/ymRGPw5019
BASE/eightPuzzle/vLrgFg49610
BASE/coloredtrails/EZvr7g49510
BASE/gt_centipede/9fRMpw4879
STANFORD/eightpuzzle/W_aWbA47810
BASE/factoringMediumTurtleBrain/8RBqmQ4779
BASE/simultaneousWin2/PfjRjw4697
BASE/conn4/va9Y7A4657
BASE/asteroids/BKCmPQ4598
STANFORD/hunter/14dD-g45210
DRESDEN/pawn_whopping_simultaneous/r8dLfw4529
DRESDEN/grid_game2/kypTYQ4345
DRESDEN/cube_2x2x2/fp-34Q4269
DRESDEN/blockerparallel/dVQgSg4237
BASE/blockerParallel/7-nDJA4198
DRESDEN/aipsrovers01/qS47Mw3999
BASE/aipsrovers01/4C4jsw39810
BASE/catcha_mouse/cHv4dw3798
DRESDEN/catcha_mouse/cHv4dw3789
BASE/blockerSerial/3eqDuw3708
BASE/lightsOnSimul4/9FeASw3648
DRESDEN/tpeg/h-Scbg3458
STANFORD/dualhunter/1rPZjQ3449
DRESDEN/peg_bugfixed/u_B7MA3438
DRESDEN/peg/Vo31eg3428
BASE/ticTacHeaven/18n58A3427
BASE/futoshiki4/BaCwSw3419
DRESDEN/sheep_and_wolf/enAIzQ3409
BASE/tpeg/QNs7Lw3369
STANFORD/triplesukoshi/Iu9mbA3268
BASE/breakthroughSmallHoles/bxclRw3209
STANFORD/knightstourmedium/x1wu8Q32010
DRESDEN/roshambo2/jgSlkQ31811
DRESDEN/tictactoex9/rFkD4w3188
BASE/tictactoex9/BI26ow3158
BASE/roshambo2/KNPokQ31212
BASE/snake2p/I3wWPQ3017
BASE/asteroidsSerial/id2QkA3008
BASE/ticTacHeavenFC/mrletw2997
DRESDEN/connectfoursuicide/M9CNQg2969
DRESDEN/logistics/fPru1Q2959
STANFORD/knightstour/cEwgNA2809
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw2799
DRESDEN/connectfour/5tc-Mg27810
BASE/duplicateStateLarge/dcjyuw27510
BASE/knightsTour/mvtVIg27010
DRESDEN/tictactoe_3d_small_2player/HYttcg2698
BASE/asteroidsParallel/WauZiA2678
BASE/tictactoe_3d_small_2player/oOryKA2679
BASE/pawnWhopping/Ypc_6Q26510
BASE/connectFourSuicide/c8p9Kw26010
DRESDEN/slidingpieces/s9_44g2596
BASE/slidingpieces/uFJWEw2576
DRESDEN/battlesnakes2011/93VtTw2568
DRESDEN/tictactoe_3player/ESLQQQ25310
DRESDEN/battlesnakes1509/-qZrLw2518
BASE/connectFour/WAIKTw24811
BASE/tron_10x10/7ZTgDg24310
DRESDEN/Runners/3bOCQw2399
STANFORD/connectfour/VMpZkQ23311
BASE/nineBoardTicTacToePie/B8LzeQ2297
DRESDEN/chomp/-LcqYQ22411
BASE/chomp/-LcqYQ22312
DRESDEN/stratego/Z2wovg2229
DRESDEN/cubicup/SBn_lw2218
BASE/cubicup/4wNWJA2218
DRESDEN/SC_TestOnly_enabled/09o7gQ2209
DRESDEN/3pttc/uwYBZw2209
DRESDEN/3pffa/0YrmQw2149
BASE/crisscross/ICagEg2098
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ2089
BASE/tictactoe_3player/GtM71g2089
DRESDEN/crisscross/GsY16g2078
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg2059
BASE/gt_coordination/IVMOzA2049
STANFORD/multipletictactoe/_bkafQ2029
BASE/snakeAssemblit/sOydSg2028
DRESDEN/sat_test_20v_91c/dK7nVw20010
DRESDEN/gt_prisoner/huCp4w20010
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg19910
BASE/tictactoe_3d_small_6player/g_9lww1998
BASE/nineBoardTicTacToe/wRmqqA1989
DRESDEN/tictactoe_3d_small_6player/llDEDQ1988
BASE/3pConnectFour/PqXOFQ19711
BASE/futoshiki5/TJ4BZg1978
STANFORD/nineboardtictactoe/y28P-A1959
DRESDEN/grid_game/U7_Yeg1959
BASE/connectFourSimultaneous/7ITr3g19311
STANFORD/breakthrough/d5j0cQ18910
DRESDEN/chinesecheckers1/Y-ftaA18610
BASE/cubicup_3player/e2yA_g1776
DRESDEN/cubicup_3player/awDtsQ1777
DRESDEN/snake_2009/zIYLVw16510
BASE/snake_2009/7l-qAQ1639
DRESDEN/uf20-020.cnf.SAT/hDrW_A16210
DRESDEN/gt_chicken/CeuKtw16210
DRESDEN/mimikry/GJEhwA1589
STANFORD/kono/HI7CHA1585
DRESDEN/uf20-010.cnf.SAT/5ICbCg15610
BASE/gt_staghunt/xPjLRA1559
DRESDEN/knightwar/7hhAqg1538
BASE/gt_prisoner/klthDw15110
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA14710
BASE/checkLines/Vop7oQ14711
DRESDEN/sat_test_20v_91c_version2/a1mPBA1479
DRESDEN/uf20-01.cnf.SAT/42Rs8A14510
DRESDEN/pentago_2008/hLjVpQ1359
DRESDEN/bidding-tictactoe/yW5vTA13511
BASE/chineseCheckers1/gqtwHw1349
BASE/snake_2009_big/-oRfVw13410
DRESDEN/snake_2009_big/DgC1NQ13310
BASE/futoshiki6/JmvXNA1328
STANFORD/selectivesukoshi/3xmXYg1316
BASE/connectFourLarge/aU644A12712
BASE/biddingTicTacToe/8mESVw1269
BASE/gt_chicken/gmepTQ12610
STANFORD/multiplesukoshi/vLSQPg1246
BASE/sudokuGrade6H/ieE_9A1244
BASE/sudokuGrade1/tDRNRw1244
BASE/sudokuGrade5/BQfUQA1235
STANFORD/sudoku/oJ1qyQ1234
BASE/sudokuGrade3/eI8dvg1224
BASE/sudokuGrade2/u80Tfw1224
BASE/sudokuGrade6E/ihYFZA1214
BASE/sudokuGrade4/DTy07w1205
BASE/dualConnect4/WbCQkg11311
DRESDEN/chinesecheckers3/QsCb2A1118
DRESDEN/ggp-course2013_michal13/jWKddg1096
DRESDEN/javastrike/whONTQ1088
BASE/connect4/50bOyw10512
BASE/knightsTourLarge/M8jgLA10510
DRESDEN/connect4/T0-rHQ10312
BASE/chineseCheckers2/eCMR3Q10210
BASE/minichess/8NQEiA10211
BASE/majorities/ibJzSQ1018
BASE/golden_rectangle/_nYzfw10010
DRESDEN/chinesecheckers2/06E6-Q999
BASE/cittaceot/fDxhXg9910
DRESDEN/minichess-evilconjuncts/th24Tw979
BASE/minichess-evilconjuncts/4OpQzw979
DRESDEN/minichess/c7GMFw9411
BASE/breakthroughSmall/HJ0tIA909
BASE/englishDraughts/jFkQxg909
DRESDEN/babel/WdSW4A885
STANFORD/breakthroughsmall/HM0s5w876
DRESDEN/ggp-course2013_jordi/9QI6Kw8511
DRESDEN/frogs_and_toads/GjchhQ849
STANFORD/freeforall/Lfp40Q839
BASE/escortLatch/mX9BjQ8310
DRESDEN/4pttc/9pB9AQ839
STANFORD/duidoku/3SoMaA775
DRESDEN/kitten_escapes_from_fire/uW-YiA7711
STANFORD/knightstourbig/TQUI2g7610
BASE/kitten_escapes_from_fire/uW-YiA7611
STANFORD/pentago/ZxzLmg7611
BASE/queens06ug/7Lq3tw757
BASE/pentago/86NgKw7410
BASE/chineseCheckers3/-1rZdQ749
BASE/mineClearingSmall/frsbvw748
BASE/pentagoSuicide/SBgNhw7310
BASE/2pffa/6oHijA7211
BASE/peg/fJHVWw679
BASE/pegEuro/5awwhg6610
STANFORD/alquerquezero/uVgA_A669
DRESDEN/golden_rectangle/1uloXw6410
BASE/ttcc4_2player_small/Cv72TA649
BASE/2pffa_zerosum/o0_uZA6212
DRESDEN/chinesecheckers4/-oVNYg628
BASE/3pffa/pR0dzA6211
BASE/racetrackcorridor/k1OQRg6110
BASE/qyshinsu/R08Lzw5910
BASE/chineseCheckers4/avfBcQ599
DRESDEN/racetrackcorridor/O0DoTA5812
DRESDEN/chinesecheckers6-simultaneous/gPPGUw578
BASE/4pffa/Q3ADlg549
DRESDEN/chinesecheckers6/yTbPDA548
DRESDEN/backgammon/mqCW0Q4910
BASE/crissrace/ERWGDA479
DRESDEN/crissrace/KWb9bw479
BASE/connect5/d-BVQg467
DRESDEN/tictactoe_3d_2player/LMuX9w4511
BASE/connectFourLarger/qKi60A4411
BASE/chineseCheckers6/rREH3A449
BASE/tictactoe_3d_2player/IUC1rQ4412
DRESDEN/Goldrush/VeWczQ437
STANFORD/pilgrimage/ObRZnQ438
DRESDEN/tictactoe_3d_6player/ulZPWg429
BASE/queens08lg/Ru7eqQ4010
BASE/tictactoe_3d_6player/d7KSwg3911
BASE/queens08ug/kJ_ZFQ379
DRESDEN/smallest_4player/ADDROA3612
BASE/endgame/jYjfOA3610
BASE/smallest_4player/ADDROA3612
DRESDEN/breakthroughsuicide/Y9QzqQ369
DRESDEN/breakthrough/z4hK7Q358
DRESDEN/breakthroughsuicide_v2/LU1nAw358
DRESDEN/smallest/9kaGFw3411
DRESDEN/knightthrough/J7Fc_Q339
DRESDEN/ghostmaze2p/HY0UwA338
DRESDEN/nim3/sG_axA3110
BASE/breakthroughHoles/nZk0Sg319
BASE/nim4/twk16w3111
BASE/knightwar/DVGY4Q318
BASE/breakthroughSuicide/wZDpIg3110
BASE/breakthroughWalls/vOZaYA319
BASE/breakthrough/TGxk-g319
DRESDEN/nim4/F5YAYg3011
BASE/nim2/eF2Qqw3010
BASE/2pttc/unkkYA3010
DRESDEN/nim2/z5_exA3011
BASE/nim3/1OwUqw3011
DRESDEN/bidding-tictactoe_10coins/mu5VhQ3010
BASE/mummyMaze2p_2007/YGA3Vw298
BASE/ghostMaze2p/W-NU-w2910
BASE/dotsAndBoxes/EHwA_w2912
DRESDEN/mummymaze2p-comp2007/oTQRQg288
DRESDEN/bomberman2p/x4h6jQ289
DRESDEN/nim1/M9BALA2811
BASE/biddingTicTacToe_10coins/a-9ccQ2810
BASE/nim1/hin2Qw2811
BASE/dotsAndBoxesSuicide/jzQbLw2812
BASE/bomberman2p/4CClwA2810
DRESDEN/tttcc4/sAvtFg279
BASE/tttcc4/8Bs2lg279
BASE/ttcc4/Le0qjQ279
DRESDEN/ggp-course2013_nicolai/uEin8g2610
DRESDEN/CephalopodMicro/H3XQfg256
DRESDEN/Zhadu/9zpQ5w259
DRESDEN/endgame/IJhh3Q2410
BASE/wallmaze/uxNQ9g2411
STANFORD/checkersonabarrelnokings/Zrevdw249
BASE/hexPie/48CH6Q2410
BASE/hex/T1MK8g249
BASE/checkersBarrelNoKings/rnKNeg249
BASE/choicethroughalt/tt71Lg249
BASE/checkersTorusNoKings/pwb6oQ239
BASE/quad_7x7/q-JOXg237
DRESDEN/pacman3p/rBnk8Q238
STANFORD/hex/MTqWcw2310
DRESDEN/quad_7x7/q-JOXg237
BASE/chinook/XQh0IQ239
DRESDEN/gt_ultimatum/pAiiQw229
BASE/zhadu/DlA8iQ226
BASE/gt_ultimatum/GE-uOA218
BASE/pacman3p/wW7UVQ2110
BASE/cephalopodMicro/9l2D3g216
DRESDEN/hanoi/RQ0jiA2112
STANFORD/chinook/osFbPA2110
STANFORD/ttcc4/Cx9SGw219
BASE/3pttc/0sol9g219
BASE/pacman2p/4LEdQg2110
BASE/ttcc4_2player/_aH_Mw209
BASE/hanoi/iGLsJg2012
BASE/sheepAndWolf/g4THrg199
BASE/ttcc4_2player_alt/ZEJvYA199
BASE/checkersTorus/2vm1EQ199
BASE/hallway/ckCJOw1711
DRESDEN/skirmish3/3LU8Nw179
DRESDEN/hallway/0H4l-Q1712
DRESDEN/towerworld/HCX34w178
DRESDEN/skirmish2/iPpWhQ1710
BASE/kalaha5x2x3/WviNsw1611
BASE/skirmishFinal3/-Olhfw169
DRESDEN/skirmish/RjGQYQ169
DRESDEN/mummymaze2p/k-8edg1510
BASE/skirmishHoles/AUCxCA158
BASE/mummymaze2p/vpjDdA159
BASE/skirmishFinal2/gdB62Q149
BASE/strangeSkirmish/gc1zKA148
BASE/4pttc/AL1k2Q1410
DRESDEN/skirmishfinal/hzq8ww148
DRESDEN/capture_the_king/EQ229Q149
BASE/skirmishFinal1/ecWTnQ149
BASE/knightazons/apnJBQ138
DRESDEN/knightazons/02I8BQ138
BASE/knightfight/SJRkAg1210
DRESDEN/knightfight/4_Ly4w129
BASE/brawl/6Ymo_Q129
DRESDEN/brawl/2kXtfQ1110
BASE/knightThrough/gcwFjA118
DRESDEN/pancakes88/aD3E7g1012
DRESDEN/pancakes/hl9aiQ1011
DRESDEN/pancakes6/SZXMyQ1011
BASE/pancakes/yUgbXw912
BASE/pancakes6/QZTdnw912
BASE/amazons_8x8/7SOsIw910
BASE/skirmish/Y_psYQ79
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg610
DRESDEN/fizzbuzz/t1xHzQ69
DRESDEN/connect5/1kYzSg69
STANFORD/platformjumpers/HEQskA59
DRESDEN/quad_5x5/JAEP5g57
BASE/alexChess/LNo83g55
BASE/snake_2008_tweaked/bX0NJQ511
BASE/quad_5x5/JAEP5g58
DRESDEN/snake_2008/E56l3A511
BASE/snake_2008/i6K26g512
DRESDEN/amazons/dNB28A57
BASE/skirmishNew/sibw2g512
BASE/speedChess/bPnisA412
BASE/kalaha6x2x4/XS81Mg411
DRESDEN/quartosuicide/WIU1oQ49
DRESDEN/quarto/OQzRYQ410
BASE/blokbox_simple/JBx4bg44
BASE/quarto/EwBMVQ49
DRESDEN/god/2EDD5w47
BASE/god/qF06gw47
BASE/amazons_10x10/Bun8dA311
DRESDEN/crossers3/xiPTxg311
BASE/quartoSuicide/-23jUg311
BASE/crossers3/O0rORg311
BASE/amazonsSuicide_10x10/XIbQkg311
DRESDEN/guess/PhxGhg212
BASE/wargame02/BkVqqQ29
BASE/wargame03/klXI8w28
BASE/wargame01/_GZFZg29
STANFORD/madness/UO_B3A29
BASE/factoringImpossibleTurtleBrain/kcBhdw29
BASE/guess/SPpk1A211
DRESDEN/quad_5x5_8_2/JRTLJg29
BASE/othello-comp2007/86ZoMw29
DRESDEN/hanoi_6_disks/MeubgQ211
STANFORD/skirmish/w4V6Vw210
DRESDEN/quad/JPe6fg27
DRESDEN/knightmove/97Ipcw211
BASE/hanoi_6_disks/MeubgQ211
BASE/quad/tw-Ufg27
BASE/knightmove/jBaJEw211
BASE/pancakes88/l2Xaig111
BASE/checkers-mustjump/T-8UuQ111
BASE/four_way_battle/xSOQXA19
DRESDEN/pawntoqueen/f_x6Aw19
DRESDEN/max_knights/hCipiA19
BASE/max_knights/2fq3Ag110
BASE/checkers-cylinder-mustjump/rjr6qQ112
BASE/pawnToQueen/-O1_JA110
BASE/amazonsTorus_10x10/Uxc08g110
BASE/othelloHoles/c0qAzw110
BASE/checkers-mustjump-torus/uSApKQ111
BASE/queens31lg/0gID-A19
DRESDEN/four_way_battle/xSOQXA19
BASE/othelloSuicide/B442jg110
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw111
BASE/reversi/d8UMeA19
DRESDEN/vacuumcleaner_random_big/DwzFaQ011
DRESDEN/vacuum_cleaner_1/eUNjpw012
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA011
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A011
DRESDEN/Travelers-Dilemma/PvZwYw012
DRESDEN/checkers/jIDMIg011
DRESDEN/farmers/S_ASnw011
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA010
DRESDEN/battle/8oAvhQ09
BASE/hitori/S8Gsyg012
BASE/racer/QQYQNw09
BASE/checkers/rOC3Xg012
BASE/amazonsSuicide/dE1QEQ010
DRESDEN/checkers-mustjump/HUr33w011
BASE/twisty-passages/DiZmmg011
BASE/gt_tinfoil/Q8DyKg011
BASE/merrills/pku8Tg07
DRESDEN/checkers-cylinder-mustjump/vW_-pA09
BASE/colonelBlottoVariant/X-n-KQ010
BASE/gt_attrition/kD_SCA010
DRESDEN/checkers-mustjump-torus/cVc3gA012
BASE/hanoi7_bugfix/3gdnFw011
BASE/colonelBlotto/jip21A09
BASE/checkers-newgoals/0XkFiA011
DRESDEN/battlebrushes/QHXV4A08
BASE/gt_two_thirds_2p/1APDGg07
BASE/cylinder-checkers/hlldmw012
BASE/kalaha_2009/dRiN3g011
DRESDEN/hitori/S8Gsyg012
DRESDEN/hanoi7/51zz5Q012
DRESDEN/vacuumcleaner_random/_6AGDA011
DRESDEN/blobwars/ZaMluQ011
DRESDEN/twisty-passages/j7NPyg011
DRESDEN/othello-cornercontrol/r5Gdlg07
DRESDEN/small_dominion/yB5GJA011
BASE/checkersTiny/Lr48cg012
DRESDEN/satlike_20v_91c/yeuENQ08
BASE/checkersSmall/SYmq8w011
DRESDEN/racer/vk_ZBA09
DRESDEN/cylinder-checkers/clOO3Q011
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g012
BASE/amazonsTorus/soxT8g07
BASE/colonelBlottoVariant2/jruwGw010
DRESDEN/checkers-newgoals/IJOqXQ011
DRESDEN/kalaha_2009/gcC8uA011
BASE/ad_game_2x2/D0aWqg08
BASE/battle/8oAvhQ09
DRESDEN/hanoi7_bugfix/3gdnFw012
BASE/amazons/RKKZjw010
DRESDEN/merrills/aYEzwA08
BASE/skirmishZeroSum/zh4hcw012
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg09
DRESDEN/satlike_20v_91c_version2/yd9ioQ011
BASE/blobwars/0XT15Q011

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