PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1

Comparison with GGP-Base Prover:

Median speedup0.6177414587221218
Mean speedup0.6234018970982927
Geometric mean speedup0.5374851648454426
Ratio of # state changes with 1 second per game0.588009881600954
Ratio of times to run 1000 states per game3.231003710790238
Number of games with errors11

Comparison with other engines:

EngineWe're faster in N gamesOnly they failThey're faster in N gamesOnly we fail
REKKURA_BACKWARD_PROVER:1.0.0308102128
REKKURA_BACKWARD_PROVER_OSTD:1.0.0320111998
ALLOY_COMPILED_PROVER_CACHING:1095218
GGP_BASE_PROVER:2015-04-2621050910
ALLOY_TUPLE_PROVER:11552410
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.047711427
PALAMEDES_JOCULAR:0.6.1104773495
REKKURA_GENERIC_FORWARD_PROVER:1.0.045410668
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.045611638
REKKURA_GENERIC_BACKWARD_PROVER:1.0.047710437
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.140441223

Game-by-game statistics:

GameAverage state changes per secondRanking
STANFORD/buttonsandlights/eyhJpA218306
BASE/onestep/xi53wA211776
BASE/haystack/UkweGA187556
BASE/ruleDepthLinear/OUBJpQ160035
BASE/survival/YVIjJA156206
BASE/untwistycomplex2/EDPPAQ134386
BASE/troublemaker01/s3tlEQ130766
STANFORD/untwistycorridor/EDPPAQ130146
BASE/pearls/6k_mEQ122948
DRESDEN/troublemaker01/C-lPWw122706
DRESDEN/troublemaker02/iZLVuA119486
DRESDEN/fizzbuzz/t1xHzQ118644
DRESDEN/pancakes6/SZXMyQ114376
DRESDEN/Runners/3bOCQw112625
BASE/maze/cCX3qQ112556
DRESDEN/pancakes/hl9aiQ112456
BASE/pancakes6/QZTdnw111576
BASE/buttons/hTcUjw107476
BASE/pancakes/yUgbXw107386
DRESDEN/buttons/ADUaHw106406
BASE/troublemaker02/DI83KA105096
DRESDEN/point_grab/r5DPmQ96585
BASE/point_grab/r5DPmQ95975
DRESDEN/Travelers-Dilemma/PvZwYw90104
DRESDEN/statespacesmall/h-NqjA89145
BASE/stateSpaceSmall/Q7osKA88806
STANFORD/knightstourmedium/x1wu8Q87985
DRESDEN/pancakes88/aD3E7g87866
STANFORD/knightstour/cEwgNA86405
DRESDEN/knightstour/cGISAA85235
BASE/pancakes88/l2Xaig84866
DRESDEN/roshambo2/jgSlkQ84185
BASE/knightsTourLarge/M8jgLA83545
BASE/switches/tPUoCg83156
BASE/roshambo2/KNPokQ82425
BASE/knightsTour/mvtVIg82215
STANFORD/knightstourbig/TQUI2g82145
STANFORD/multiplebuttonsandlights/cK70Yg81766
STANFORD/multiplebuttonsandlights_9/SqB9BA81486
BASE/gt_centipede/9fRMpw74526
STANFORD/bestbuttonsandlights/nm0wEA68606
BASE/gt_tinfoil/Q8DyKg66314
BASE/blocksWorld/SEdXLQ64578
BASE/blocks/xIV5hQ63698
BASE/duplicateStateSmall/bCPAXw62885
DRESDEN/blocks/vg0DRw62738
DRESDEN/nim1/M9BALA61634
STANFORD/3puzzle/41ibjA61176
DRESDEN/oisters_farm/pTQMLg59016
STANFORD/threepuzzle/41ibjA58046
BASE/nim2/eF2Qqw57434
BASE/asteroids/BKCmPQ57254
BASE/gt_coordination/IVMOzA57175
BASE/nim1/hin2Qw56744
DRESDEN/nim2/z5_exA56204
BASE/gt_staghunt/xPjLRA54385
DRESDEN/blocks2player/3ev8nQ54306
STANFORD/untwistycomplex/HTWEwg54235
BASE/blocks2player/wnTLOQ53716
STANFORD/bestbuttonsandlightsbig/g0JC6g52526
BASE/lightsOn/MsXu3A51718
BASE/gt_prisoner/klthDw50915
BASE/hanoi/iGLsJg49264
DRESDEN/hanoi/RQ0jiA49255
BASE/colonelBlottoVariant/X-n-KQ49094
DRESDEN/gt_prisoner/huCp4w48195
BASE/gt_dollar/TGjqRw47906
DRESDEN/gt_ultimatum/pAiiQw46604
BASE/gt_chicken/gmepTQ46235
DRESDEN/gt_chicken/CeuKtw45595
DRESDEN/catch_me/ghGWrA45265
BASE/hanoi7_bugfix/3gdnFw45244
DRESDEN/hanoi7_bugfix/3gdnFw45084
DRESDEN/Catch-Me-If-You-Can/ghGWrA44665
DRESDEN/CatchMeIfYouCanTest/CX18rA44445
DRESDEN/Thief_Police/CX18rA43835
BASE/colonelBlottoVariant2/jruwGw43644
DRESDEN/circlesolitaire/ruUilQ43586
BASE/circlesolitaire/azuQFQ43356
BASE/gt_ultimatum/GE-uOA43284
DRESDEN/hanoi7/51zz5Q43234
BASE/nim3/1OwUqw42954
DRESDEN/nim3/sG_axA42914
BASE/nim4/twk16w42714
BASE/beatMania/qUHwvQ42585
DRESDEN/nim4/F5YAYg42284
DRESDEN/2player_normal_form_2010/NG_Kdg41728
STANFORD/jointbuttonsandlights/qAKuIQ40858
DRESDEN/toetictac/mJtxCA40728
BASE/toetictac/mTThmg40568
BASE/firefighter/WJmoPw39406
DRESDEN/firefighter/WJmoPw38956
DRESDEN/hanoi_6_disks/MeubgQ37765
BASE/hodgepodge/9yjRkw36926
BASE/hanoi_6_disks/MeubgQ36055
DRESDEN/vacuum_cleaner_1/eUNjpw34105
BASE/eightPuzzle/vLrgFg33795
BASE/factoringGeorgeForman/HGRorQ33478
STANFORD/8puzzle/jNiGtw33296
DRESDEN/8puzzle/8fKC2w32796
STANFORD/eightpuzzle/W_aWbA32656
DRESDEN/lightson2x2/gBHuig32657
DRESDEN/chickentoetictac/cxYaRQ32328
BASE/chickentoetictac/l57rfQ31788
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA30435
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A30275
BASE/tictactoe_orthogonal/WRzlVw29228
DRESDEN/tictactoe_orthogonal/y69QFQ29088
BASE/blocksWorldSerial/Wyg96Q28598
BASE/sum15/QZ07Kg28418
DRESDEN/sum15/CsgWKg28048
BASE/stateSpaceMedium/3bUoIw27307
DRESDEN/statespacemedium/dVJZ_w27287
BASE/asteroidsParallel/WauZiA27064
BASE/asteroidsSerial/id2QkA26254
BASE/factoringMutuallyAssuredDestruction/NH0LGg25776
DRESDEN/tictactoe/BTTzPw24748
BASE/ticTacToe/JRFsaQ24708
BASE/tictactoe2/bhrDoQ24297
DRESDEN/tictactoe-init1/3ltIBQ24238
STANFORD/trifecta/ss1kyQ24038
STANFORD/tictactoe7/-bE9-A24008
DRESDEN/eotcatcit/mQUxzA23708
STANFORD/tictactoe5/WFRReg23617
STANFORD/tictactoe/ss1kyQ23538
BASE/eotcatcit/AfZSzA23498
BASE/tictactoe-init1/7M19vA23388
DRESDEN/kitten_escapes_from_fire/uW-YiA23265
BASE/kitten_escapes_from_fire/uW-YiA22965
BASE/incredible/8Qh-6Q22908
BASE/chineseCheckers1/gqtwHw22775
DRESDEN/vacuumcleaner_random/_6AGDA22675
BASE/blocker/dIWtxg22598
BASE/factoringEasyTurtleBrain/lUj94Q22348
DRESDEN/blocker/S815zQ22318
DRESDEN/SC_TestOnly_enabled/09o7gQ22063
STANFORD/hunter/14dD-g21967
STANFORD/tictactoe3/X7myng21887
DRESDEN/ghostmaze2p/HY0UwA21115
BASE/ghostMaze2p/W-NU-w21055
DRESDEN/smallest_4player/ADDROA20994
BASE/chickentictactoe/DSlZCA20828
BASE/snakeParallel/RCVNtw20627
DRESDEN/chickentictactoe/Ipbo-g20478
BASE/smallest_4player/ADDROA20174
BASE/coloredtrails/EZvr7g20016
DRESDEN/bidding-tictactoe/yW5vTA19654
BASE/knightfight/SJRkAg19525
BASE/biddingTicTacToe/8mESVw19504
DRESDEN/knightfight/4_Ly4w19325
DRESDEN/aipsrovers01/qS47Mw19235
BASE/aipsrovers01/4C4jsw19015
BASE/duplicateStateMedium/U163eQ18917
BASE/lightsOnParallel/SC6enA18388
STANFORD/tictictoe/rpt_Dw18298
DRESDEN/brain_teaser_extended/ZDp94A18277
BASE/ticTicToe/c1OobQ18128
DRESDEN/tictictoe/LAUtwg18068
BASE/eotcitcit/V_9_bg17968
BASE/brain_teaser_extended/ZDp94A17937
DRESDEN/bidding-tictactoe_10coins/mu5VhQ17334
BASE/chineseCheckers2/eCMR3Q17305
BASE/biddingTicTacToe_10coins/a-9ccQ17284
BASE/kalaha5x2x3/WviNsw16585
DRESDEN/blocksworldparallel/2JfVaw16488
BASE/kalaha_2009/dRiN3g16355
BASE/tron_10x10/7ZTgDg16036
DRESDEN/kalaha_2009/gcC8uA15795
BASE/kalaha6x2x4/XS81Mg15785
BASE/queens06ug/7Lq3tw15444
BASE/racer/QQYQNw15274
DRESDEN/ticblock/Z2yNWQ15116
DRESDEN/racer/vk_ZBA14994
BASE/ticblock/T21C1g14946
BASE/chineseCheckers3/-1rZdQ14815
DRESDEN/latenttictactoe/kITHKg14438
DRESDEN/chomp/-LcqYQ13477
BASE/numbertictactoe/rvJ-iQ13447
BASE/chomp/-LcqYQ13427
STANFORD/sukoshi/4LYZZQ13387
DRESDEN/smallest/9kaGFw13244
DRESDEN/double_tictactoe_dengji/bGaUyQ13215
BASE/double_tictactoe_dengji/zgaSbA13096
DRESDEN/cube_2x2x2/fp-34Q12926
BASE/mummyMaze2p_2007/YGA3Vw11874
DRESDEN/mummymaze2p-comp2007/oTQRQg11774
DRESDEN/bunk_t/7-tPfA11589
DRESDEN/doubletictactoe/lJzgmQ11559
BASE/twisty-passages/DiZmmg11535
BASE/doubletictactoe/HH1htg11459
BASE/bunk_t/xbpfIA11449
BASE/colonelBlotto/jip21A11304
BASE/doubletoetictac/fu35bg11229
BASE/ticTacToeNoVars/XT03NA11209
DRESDEN/logistics/fPru1Q11126
DRESDEN/doubletoetictac/V89gKQ11119
DRESDEN/guess/PhxGhg11003
DRESDEN/knightwar/7hhAqg10814
BASE/guess/SPpk1A10763
DRESDEN/tictactoelarge/IwXcbg10728
BASE/knightwar/DVGY4Q10704
DRESDEN/twisty-passages/j7NPyg10656
BASE/ticTacToeLargeSuicide/727_8g10647
BASE/ticTacToeLarge/TZC0dg10507
BASE/checkLines/Vop7oQ10455
DRESDEN/tictactoelargesuicide/6J4DeA10458
BASE/blockerSerial/3eqDuw10044
DRESDEN/chinesecheckers1/Y-ftaA10035
BASE/ticTacToeSerial/Amrwqw9876
BASE/stateSpaceLarge/0Ge_CQ95711
DRESDEN/3pffa/0YrmQw9565
STANFORD/dualhunter/1rPZjQ9438
DRESDEN/statespacelarge/8-y5HQ94111
DRESDEN/quartosuicide/WIU1oQ9375
BASE/quartoSuicide/-23jUg9355
BASE/ticTacToeParallel/ymRGPw9327
BASE/2pffa/6oHijA9304
DRESDEN/quarto/OQzRYQ9305
DRESDEN/bomberman2p/x4h6jQ9255
BASE/quarto/EwBMVQ9245
DRESDEN/tictactoeparallel/yk_DSg9139
BASE/chineseCheckers6/rREH3A9115
DRESDEN/lightsout2/LFtfyQ8999
BASE/bomberman2p/4CClwA8986
BASE/lightsOut/5P1ZBw8977
BASE/minichess/8NQEiA8965
DRESDEN/lightsout/XgLpzQ8849
DRESDEN/3pttc/uwYBZw8665
BASE/2pffa_zerosum/o0_uZA8464
BASE/3pffa/pR0dzA8465
DRESDEN/minichess/c7GMFw8395
BASE/chineseCheckers4/avfBcQ8385
BASE/2pttc/unkkYA8374
DRESDEN/knightmove/97Ipcw8304
BASE/knightmove/jBaJEw8264
STANFORD/freeforall/Lfp40Q8245
DRESDEN/crisscross/GsY16g8205
BASE/crisscross/ICagEg8126
DRESDEN/chinesecheckers2/06E6-Q7955
BASE/queens08ug/kJ_ZFQ7846
DRESDEN/Goldrush/VeWczQ7752
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ7686
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw7566
BASE/racetrackcorridor/k1OQRg7556
BASE/3pttc/0sol9g7485
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg7266
DRESDEN/grid_game/U7_Yeg7245
BASE/4pffa/Q3ADlg7235
DRESDEN/racetrackcorridor/O0DoTA7208
DRESDEN/chinesecheckers3/QsCb2A7185
DRESDEN/crossers3/xiPTxg7185
BASE/ttcc4_2player_small/Cv72TA7164
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg7106
DRESDEN/4pttc/9pB9AQ7025
BASE/crossers3/O0rORg6935
DRESDEN/uf20-010.cnf.SAT/5ICbCg6815
DRESDEN/uf20-01.cnf.SAT/42Rs8A6765
DRESDEN/sat_test_20v_91c/dK7nVw6725
DRESDEN/connectfoursuicide/M9CNQg6725
BASE/connectFour/WAIKTw6706
DRESDEN/sat_test_20v_91c_version2/a1mPBA6655
STANFORD/connectfour/VMpZkQ6656
DRESDEN/connectfour/5tc-Mg6595
BASE/mummymaze1p/PT_EXA6505
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA6495
DRESDEN/mummymaze1p/AekgaQ6495
DRESDEN/uf20-020.cnf.SAT/hDrW_A6425
BASE/pacman3p/wW7UVQ6415
BASE/connectFourSuicide/c8p9Kw6366
BASE/pacman2p/4LEdQg6335
BASE/4pttc/AL1k2Q6265
BASE/duplicateStateLarge/dcjyuw6237
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg6205
DRESDEN/pacman3p/rBnk8Q6194
BASE/catcha_mouse/cHv4dw6196
DRESDEN/crissrace/KWb9bw6075
DRESDEN/catcha_mouse/cHv4dw6056
BASE/crissrace/ERWGDA6005
DRESDEN/vacuumcleaner_random_big/DwzFaQ5985
DRESDEN/pawn_whopping/4ogBkg5989
DRESDEN/tictactoe_3player/ESLQQQ5877
BASE/tictactoe_3player/GtM71g5837
BASE/pawnWhopping/Ypc_6Q5787
BASE/breakthroughSmall/HJ0tIA5624
DRESDEN/mummymaze2p/k-8edg5626
DRESDEN/pawn_whopping_corrected/7Ov0jQ56110
STANFORD/breakthroughsmall/HM0s5w5582
DRESDEN/knightthrough/J7Fc_Q5554
DRESDEN/farmers/S_ASnw5524
BASE/mummymaze2p/vpjDdA5526
DRESDEN/chinesecheckers6/yTbPDA5375
BASE/knightThrough/gcwFjA5344
BASE/dotsAndBoxes/EHwA_w5307
BASE/sheepAndWolf/g4THrg5266
BASE/factoringMediumTurtleBrain/8RBqmQ5218
STANFORD/alquerquezero/uVgA_A5194
BASE/cittaceot/fDxhXg5175
BASE/dotsAndBoxesSuicide/jzQbLw5167
DRESDEN/battlesnakes1509/-qZrLw5147
DRESDEN/sheep_and_wolf/enAIzQ5148
BASE/ttcc4_2player_alt/ZEJvYA5114
BASE/max_knights/2fq3Ag5025
BASE/snake_2008/i6K26g5025
DRESDEN/max_knights/hCipiA5015
BASE/wargame01/_GZFZg4954
DRESDEN/snake_2008/E56l3A4935
BASE/snake_2008_tweaked/bX0NJQ4905
STANFORD/duikoshi/tpw1sw4839
DRESDEN/battlesnakes2011/93VtTw4837
BASE/escortLatch/mX9BjQ4785
BASE/dualConnect4/WbCQkg4785
BASE/breakthroughSmallHoles/bxclRw4777
BASE/connectFourLarge/aU644A4776
DRESDEN/frogs_and_toads/GjchhQ4766
STANFORD/breakthrough/d5j0cQ4728
STANFORD/ttcc4/Cx9SGw4684
DRESDEN/stratego/Z2wovg4677
DRESDEN/tpeg/h-Scbg4636
BASE/checkersBarrelNoKings/rnKNeg4604
DRESDEN/pawn_whopping_simultaneous/r8dLfw4577
BASE/englishDraughts/jFkQxg4555
BASE/futoshiki4/BaCwSw4517
BASE/snake_2009/7l-qAQ4497
BASE/tpeg/QNs7Lw4476
DRESDEN/snake_2009/zIYLVw4467
BASE/withConviction/3Xm54A44312
BASE/checkersTorusNoKings/pwb6oQ4354
DRESDEN/peg_bugfixed/u_B7MA4306
DRESDEN/tttcc4/sAvtFg4294
BASE/ttcc4_2player/_aH_Mw4284
BASE/tttcc4/8Bs2lg4264
DRESDEN/peg/Vo31eg4236
BASE/ttcc4/Le0qjQ4234
BASE/peg/fJHVWw4224
BASE/blocksWorldParallel/RseaAQ42111
DRESDEN/tictactoe_3d_small_2player/HYttcg4147
DRESDEN/chinesecheckers4/-oVNYg4105
BASE/checkersTiny/Lr48cg4074
BASE/lightsOnSimultaneous/_VN6lw40210
STANFORD/checkersonabarrelnokings/Zrevdw4004
BASE/tictactoe_3d_small_2player/oOryKA4007
STANFORD/pilgrimage/ObRZnQ3974
BASE/wargame03/klXI8w3944
DRESDEN/breakthroughsuicide/Y9QzqQ3864
BASE/breakthroughWalls/vOZaYA3844
BASE/breakthroughHoles/nZk0Sg3794
BASE/chinook/XQh0IQ3784
BASE/3pConnectFour/PqXOFQ3777
DRESDEN/breakthroughsuicide_v2/LU1nAw3764
BASE/checkersTorus/2vm1EQ3765
DRESDEN/breakthrough/z4hK7Q3724
DRESDEN/mimikry/GJEhwA3727
BASE/breakthroughSuicide/wZDpIg3714
BASE/breakthrough/TGxk-g3714
BASE/coins/QnGtnQ36910
STANFORD/pentago/ZxzLmg3676
DRESDEN/coins/QwFP9w36610
STANFORD/triplesukoshi/Iu9mbA3567
BASE/pegEuro/5awwhg3494
DRESDEN/snake_2009_big/DgC1NQ3497
STANFORD/chinook/osFbPA3444
BASE/coins_atomic/AA3SSw34310
BASE/snake_2009_big/-oRfVw3437
BASE/snakeAssemblit/sOydSg3376
BASE/lightsOnSimul4/9FeASw32110
BASE/wallmaze/uxNQ9g3197
DRESDEN/tictactoe_3d_small_6player/llDEDQ3116
BASE/choicethroughalt/tt71Lg3064
BASE/tictactoe_3d_small_6player/g_9lww3056
BASE/amazons_8x8/7SOsIw2954
BASE/conn4/va9Y7A29411
BASE/checkersSmall/SYmq8w2924
BASE/simultaneousWin2/PfjRjw28910
STANFORD/multipletictactoe/_bkafQ2868
BASE/connectFourSimultaneous/7ITr3g2837
BASE/connectFourLarger/qKi60A2745
BASE/wargame02/BkVqqQ2734
BASE/connect4/50bOyw2687
BASE/endgame/jYjfOA2685
DRESDEN/connect4/T0-rHQ2677
DRESDEN/blockerparallel/dVQgSg2649
BASE/ticTacHeaven/18n58A2589
BASE/tictactoex9/BI26ow25710
BASE/blockerParallel/7-nDJA2569
BASE/pentago/86NgKw2555
DRESDEN/tictactoex9/rFkD4w25310
BASE/ticTacHeavenFC/mrletw2518
DRESDEN/connect5/1kYzSg2515
BASE/pentagoSuicide/SBgNhw2465
BASE/connect5/d-BVQg2435
DRESDEN/pentago_2008/hLjVpQ2396
STANFORD/platformjumpers/HEQskA2384
BASE/snake2p/I3wWPQ23811
DRESDEN/babel/WdSW4A2374
BASE/queens08lg/Ru7eqQ2336
DRESDEN/endgame/IJhh3Q2305
BASE/checkers/rOC3Xg2204
BASE/amazonsSuicide_10x10/XIbQkg2204
BASE/futoshiki5/TJ4BZg2197
BASE/amazons_10x10/Bun8dA2184
STANFORD/nineboardtictactoe/y28P-A2138
DRESDEN/blobwars/ZaMluQ2115
BASE/nineBoardTicTacToePie/B8LzeQ2119
DRESDEN/skirmish2/iPpWhQ2114
DRESDEN/chinesecheckers6-simultaneous/gPPGUw2095
BASE/blobwars/0XT15Q2075
BASE/nineBoardTicTacToe/wRmqqA2058
DRESDEN/grid_game2/kypTYQ20310
DRESDEN/backgammon/mqCW0Q2026
DRESDEN/skirmish3/3LU8Nw1984
DRESDEN/javastrike/whONTQ1976
DRESDEN/skirmish/RjGQYQ1964
BASE/mineClearingSmall/frsbvw1926
DRESDEN/hallway/0H4l-Q1828
BASE/hallway/ckCJOw1818
BASE/speedChess/bPnisA1713
STANFORD/hex/MTqWcw1715
BASE/hex/T1MK8g1715
BASE/hexPie/48CH6Q1685
BASE/knightazons/apnJBQ1634
DRESDEN/knightazons/02I8BQ1624
BASE/skirmishZeroSum/zh4hcw1524
BASE/skirmishNew/sibw2g1514
DRESDEN/slidingpieces/s9_44g15111
BASE/slidingpieces/uFJWEw14511
BASE/checkers-newgoals/0XkFiA1434
DRESDEN/checkers-newgoals/IJOqXQ1434
DRESDEN/checkers/jIDMIg1424
DRESDEN/cubicup/SBn_lw14011
BASE/cubicup/4wNWJA13911
BASE/four_way_battle/xSOQXA1354
BASE/majorities/ibJzSQ1336
DRESDEN/four_way_battle/xSOQXA1324
BASE/cylinder-checkers/hlldmw1314
DRESDEN/cylinder-checkers/clOO3Q1314
BASE/amazonsTorus_10x10/Uxc08g1284
DRESDEN/tictactoe_3d_2player/LMuX9w1277
BASE/futoshiki6/JmvXNA12510
BASE/tictactoe_3d_2player/IUC1rQ1227
BASE/checkers-mustjump/T-8UuQ1184
BASE/tictactoe_3d_6player/d7KSwg1186
DRESDEN/checkers-mustjump/HUr33w1164
DRESDEN/golden_rectangle/1uloXw1126
DRESDEN/tictactoe_3d_6player/ulZPWg1126
BASE/golden_rectangle/_nYzfw1126
DRESDEN/quad_5x5_8_2/JRTLJg1106
DRESDEN/ggp-course2013_jordi/9QI6Kw1057
DRESDEN/checkers-cylinder-mustjump/vW_-pA974
BASE/checkers-cylinder-mustjump/rjr6qQ974
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg974
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw964
BASE/checkers-mustjump-torus/uSApKQ934
BASE/qyshinsu/R08Lzw927
DRESDEN/checkers-mustjump-torus/cVc3gA924
DRESDEN/ggp-course2013_nicolai/uEin8g727
BASE/quad_5x5/JAEP5g716
DRESDEN/quad_5x5/JAEP5g706
BASE/cubicup_3player/e2yA_g6311
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw625
DRESDEN/cubicup_3player/awDtsQ6111
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g585
DRESDEN/brawl/2kXtfQ575
BASE/brawl/6Ymo_Q575
DRESDEN/Zhadu/9zpQ5w544
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw514
STANFORD/selectivesukoshi/3xmXYg5010
DRESDEN/god/2EDD5w504
BASE/god/qF06gw504
DRESDEN/battle/8oAvhQ484
STANFORD/multiplesukoshi/vLSQPg4810
BASE/battle/8oAvhQ484
DRESDEN/capture_the_king/EQ229Q474
BASE/skirmishFinal3/-Olhfw475
DRESDEN/skirmishfinal/hzq8ww435
BASE/skirmishFinal2/gdB62Q425
BASE/skirmishFinal1/ecWTnQ415
BASE/hitori/S8Gsyg395
DRESDEN/hitori/S8Gsyg375
BASE/skirmishHoles/AUCxCA335
STANFORD/skirmish/w4V6Vw295
BASE/skirmish/Y_psYQ285
STANFORD/madness/UO_B3A285
BASE/strangeSkirmish/gc1zKA256
DRESDEN/laikLee_hex/ZeP3QQ242
DRESDEN/towerworld/HCX34w227
BASE/merrills/pku8Tg214
BASE/slaughter/cOch8A214
DRESDEN/battlebrushes/QHXV4A205
DRESDEN/merrills/aYEzwA204
DRESDEN/pawntoqueen/f_x6Aw195
BASE/gt_attrition/kD_SCA194
BASE/pawnToQueen/-O1_JA185
BASE/cephalopodMicro/9l2D3g1710
DRESDEN/CephalopodMicro/H3XQfg1710
BASE/ad_game_2x2/D0aWqg174
BASE/sudokuGrade5/BQfUQA1611
BASE/sudokuGrade1/tDRNRw1611
STANFORD/duidoku/3SoMaA1511
STANFORD/sudoku/oJ1qyQ1511
BASE/reversi/d8UMeA156
BASE/sudokuGrade3/eI8dvg1511
BASE/sudokuGrade4/DTy07w1511
BASE/sudokuGrade2/u80Tfw1511
BASE/sudokuGrade6E/ihYFZA1411
BASE/sudokuGrade6H/ieE_9A1411
BASE/laikLee_hex/zbyscQ132
BASE/zhadu/DlA8iQ1110
BASE/ruleDepthExponential/UamhHQ95
DRESDEN/amazons/dNB28A96
BASE/quad_7x7/q-JOXg89
DRESDEN/quad_7x7/q-JOXg89
DRESDEN/othello-cornercontrol/r5Gdlg73
DRESDEN/queens/mW2wHQ44
BASE/othelloHoles/c0qAzw47
BASE/othello-comp2007/86ZoMw46
BASE/othelloSuicide/B442jg46
BASE/queens/HyJJnQ44
DRESDEN/ggp-course2013_michal13/jWKddg311
BASE/amazonsSuicide/dE1QEQ14
DRESDEN/small_dominion/yB5GJA16
DRESDEN/quad/JPe6fg110
BASE/quad/tw-Ufg19
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA07
BASE/factoringImpossibleTurtleBrain/kcBhdw012
BASE/queens31lg/0gID-A010
DRESDEN/satlike_20v_91c/yeuENQ07
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g07
BASE/blokbox_simple/JBx4bg010
BASE/amazons/RKKZjw04
DRESDEN/satlike_20v_91c_version2/yd9ioQ07

Games with errors:

GameError message
BASE/gt_two_thirds_4p/DStnxQException of type NullPointerException
BASE/sudoku/NTaNkwException of type NullPointerException
STANFORD/kono/HI7CHAException of type NullPointerException
BASE/alexChess/LNo83gException of type StackOverflowError
STANFORD/rainbow/_4qNSQException of type NullPointerException
BASE/gt_two_thirds_2p/1APDGgException of type NullPointerException
BASE/gt_two_thirds_6p/867v3QException of type NullPointerException
STANFORD/dualrainbow/G3OnRQException of type NullPointerException
DRESDEN/minichess-evilconjuncts/th24TwException of type NullPointerException
BASE/amazonsTorus/soxT8gTest process timed out after 240 seconds
BASE/minichess-evilconjuncts/4OpQzwException of type NullPointerException