PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1

Comparison with GGP-Base Prover:

Median speedup0.29267919820014476
Mean speedup0.39719421792467274
Geometric mean speedup0.0
Ratio of # state changes with 1 second per game0.5640782977862762
Ratio of times to run 1000 states per gameInfinity
Number of games with errors13

Comparison with other engines:

EngineWe're faster in N gamesOnly they failThey're faster in N gamesOnly we fail
REKKURA_BACKWARD_PROVER:1.0.024492768
REKKURA_BACKWARD_PROVER_OSTD:1.0.0246102738
ALLOY_COMPILED_PROVER_CACHING:101051910
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.112234044
GGP_BASE_PROVER:2015-04-2635149312
ALLOY_TUPLE_PROVER:11652212
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.0397101227
PALAMEDES_JOCULAR:0.6.14744513
REKKURA_GENERIC_FORWARD_PROVER:1.0.038191398
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0384101358
REKKURA_GENERIC_BACKWARD_PROVER:1.0.039291287

Game-by-game statistics:

GameAverage state changes per secondRanking
BASE/onestep/xi53wA400684
BASE/haystack/UkweGA351605
STANFORD/buttonsandlights/eyhJpA323795
BASE/survival/YVIjJA292484
DRESDEN/troublemaker01/C-lPWw237024
BASE/troublemaker01/s3tlEQ229554
BASE/troublemaker02/DI83KA211424
BASE/pearls/6k_mEQ209625
DRESDEN/troublemaker02/iZLVuA205204
BASE/ruleDepthLinear/OUBJpQ199054
BASE/untwistycomplex2/EDPPAQ178015
STANFORD/untwistycorridor/EDPPAQ176615
BASE/maze/cCX3qQ165035
DRESDEN/buttons/ADUaHw155995
BASE/buttons/hTcUjw154645
BASE/pancakes/yUgbXw140315
DRESDEN/pancakes6/SZXMyQ138565
BASE/pancakes6/QZTdnw136585
DRESDEN/pancakes/hl9aiQ136585
BASE/switches/tPUoCg125514
DRESDEN/blocks/vg0DRw115874
BASE/blocksWorld/SEdXLQ113824
BASE/blocks/xIV5hQ112614
STANFORD/multiplebuttonsandlights_9/SqB9BA111725
DRESDEN/pancakes88/aD3E7g111705
STANFORD/multiplebuttonsandlights/cK70Yg107655
BASE/pancakes88/l2Xaig104685
BASE/gt_centipede/9fRMpw101295
STANFORD/threepuzzle/41ibjA95865
STANFORD/3puzzle/41ibjA95325
STANFORD/bestbuttonsandlights/nm0wEA93695
DRESDEN/statespacesmall/h-NqjA87426
BASE/stateSpaceSmall/Q7osKA86078
DRESDEN/blocks2player/3ev8nQ85754
BASE/roshambo2/KNPokQ81666
DRESDEN/roshambo2/jgSlkQ80246
DRESDEN/2player_normal_form_2010/NG_Kdg79854
DRESDEN/oisters_farm/pTQMLg77555
BASE/blocks2player/wnTLOQ77374
DRESDEN/point_grab/r5DPmQ74236
BASE/point_grab/r5DPmQ73436
STANFORD/bestbuttonsandlightsbig/g0JC6g63935
STANFORD/untwistycomplex/HTWEwg61524
BASE/duplicateStateSmall/bCPAXw60856
BASE/lightsOn/MsXu3A60855
DRESDEN/toetictac/mJtxCA59484
BASE/gt_dollar/TGjqRw59395
BASE/toetictac/mTThmg58304
BASE/hodgepodge/9yjRkw57594
DRESDEN/firefighter/WJmoPw57295
DRESDEN/Runners/3bOCQw55446
BASE/firefighter/WJmoPw55105
STANFORD/jointbuttonsandlights/qAKuIQ52965
DRESDEN/circlesolitaire/ruUilQ50745
BASE/circlesolitaire/azuQFQ50545
BASE/chickentoetictac/l57rfQ46534
DRESDEN/chickentoetictac/cxYaRQ46434
BASE/asteroids/BKCmPQ43335
DRESDEN/8puzzle/8fKC2w42574
BASE/eightPuzzle/vLrgFg42494
STANFORD/8puzzle/jNiGtw42374
DRESDEN/lightson2x2/gBHuig41806
STANFORD/eightpuzzle/W_aWbA40684
DRESDEN/tictactoe_orthogonal/y69QFQ39566
BASE/tictactoe_orthogonal/WRzlVw39257
BASE/blocksWorldSerial/Wyg96Q36605
BASE/beatMania/qUHwvQ36536
BASE/incredible/8Qh-6Q35264
STANFORD/hunter/14dD-g34635
BASE/factoringMutuallyAssuredDestruction/NH0LGg33604
DRESDEN/CatchMeIfYouCanTest/CX18rA33196
DRESDEN/sum15/CsgWKg32787
BASE/sum15/QZ07Kg32647
DRESDEN/Catch-Me-If-You-Can/ghGWrA32626
DRESDEN/tictactoe/BTTzPw32377
DRESDEN/catch_me/ghGWrA32116
DRESDEN/Thief_Police/CX18rA32036
BASE/ticTacToe/JRFsaQ31895
BASE/factoringGeorgeForman/HGRorQ317110
DRESDEN/SC_TestOnly_enabled/09o7gQ30682
DRESDEN/eotcatcit/mQUxzA30087
STANFORD/trifecta/ss1kyQ29826
BASE/eotcatcit/AfZSzA29687
BASE/factoringEasyTurtleBrain/lUj94Q29625
STANFORD/tictactoe/ss1kyQ29556
BASE/blocker/dIWtxg29547
STANFORD/knightstourmedium/x1wu8Q29176
DRESDEN/knightstour/cGISAA28156
DRESDEN/blocker/S815zQ27897
BASE/knightsTour/mvtVIg27766
DRESDEN/tictactoe-init1/3ltIBQ27757
DRESDEN/blocksworldparallel/2JfVaw27335
STANFORD/knightstour/cEwgNA27016
DRESDEN/chickentictactoe/Ipbo-g26707
BASE/chickentictactoe/DSlZCA26576
BASE/tictactoe-init1/7M19vA26417
STANFORD/tictactoe7/-bE9-A25987
BASE/gt_coordination/IVMOzA25626
BASE/snakeParallel/RCVNtw24504
BASE/coloredtrails/EZvr7g23765
BASE/tron_10x10/7ZTgDg23215
BASE/asteroidsParallel/WauZiA22285
BASE/lightsOnParallel/SC6enA21777
BASE/eotcitcit/V_9_bg21546
STANFORD/tictactoe5/WFRReg21528
BASE/tictactoe2/bhrDoQ21279
DRESDEN/ghostmaze2p/HY0UwA21194
BASE/ticTicToe/c1OobQ21037
DRESDEN/tictictoe/LAUtwg20936
STANFORD/tictictoe/rpt_Dw20866
BASE/ghostMaze2p/W-NU-w20866
DRESDEN/latenttictactoe/kITHKg20524
BASE/asteroidsSerial/id2QkA18045
STANFORD/tictactoe3/X7myng17368
BASE/gt_prisoner/klthDw16926
BASE/gt_staghunt/xPjLRA16876
DRESDEN/gt_prisoner/huCp4w16366
DRESDEN/statespacemedium/dVJZ_w163310
BASE/stateSpaceMedium/3bUoIw161010
BASE/chineseCheckers1/gqtwHw15486
BASE/kalaha5x2x3/WviNsw14886
DRESDEN/cube_2x2x2/fp-34Q14365
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A14096
DRESDEN/hanoi/RQ0jiA13858
BASE/hanoi/iGLsJg13548
BASE/knightsTourLarge/M8jgLA13456
DRESDEN/gt_chicken/CeuKtw13426
STANFORD/dualhunter/1rPZjQ13317
BASE/gt_chicken/gmepTQ13126
BASE/kalaha6x2x4/XS81Mg12696
BASE/knightfight/SJRkAg12646
BASE/hanoi_6_disks/MeubgQ12566
DRESDEN/hanoi_6_disks/MeubgQ12486
DRESDEN/logistics/fPru1Q12325
DRESDEN/knightfight/4_Ly4w12326
BASE/kalaha_2009/dRiN3g11826
STANFORD/knightstourbig/TQUI2g11596
DRESDEN/kalaha_2009/gcC8uA11506
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA11226
DRESDEN/vacuum_cleaner_1/eUNjpw11206
BASE/ticTacToeNoVars/XT03NA111610
DRESDEN/twisty-passages/j7NPyg11115
BASE/duplicateStateMedium/U163eQ11108
BASE/twisty-passages/DiZmmg10876
BASE/chineseCheckers2/eCMR3Q10726
BASE/bomberman2p/4CClwA10655
DRESDEN/bomberman2p/x4h6jQ10604
DRESDEN/racetrackcorridor/O0DoTA10305
DRESDEN/kitten_escapes_from_fire/uW-YiA9926
DRESDEN/vacuumcleaner_random/_6AGDA9886
BASE/numbertictactoe/rvJ-iQ9838
BASE/kitten_escapes_from_fire/uW-YiA9816
DRESDEN/hanoi7/51zz5Q9376
DRESDEN/mummymaze2p/k-8edg9305
BASE/mummymaze2p/vpjDdA9225
DRESDEN/hanoi7_bugfix/3gdnFw9226
BASE/hanoi7_bugfix/3gdnFw9156
STANFORD/sukoshi/4LYZZQ88910
BASE/chineseCheckers3/-1rZdQ8776
DRESDEN/aipsrovers01/qS47Mw8778
BASE/aipsrovers01/4C4jsw8568
DRESDEN/chinesecheckers1/Y-ftaA8416
DRESDEN/brain_teaser_extended/ZDp94A83012
BASE/brain_teaser_extended/ZDp94A80912
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ8085
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw8005
BASE/ticTacToeParallel/ymRGPw7818
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg7745
BASE/lightsOut/5P1ZBw7658
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg7595
DRESDEN/lightsout/XgLpzQ75912
DRESDEN/lightsout2/LFtfyQ75712
BASE/ticTacToeLargeSuicide/727_8g7488
DRESDEN/tictactoeparallel/yk_DSg74710
DRESDEN/tictactoelargesuicide/6J4DeA73811
DRESDEN/tictactoelarge/IwXcbg73411
BASE/ticTacToeLarge/TZC0dg7348
BASE/factoringMediumTurtleBrain/8RBqmQ7047
BASE/sheepAndWolf/g4THrg6815
DRESDEN/bunk_t/7-tPfA67912
DRESDEN/mummymaze2p-comp2007/oTQRQg6735
BASE/mummyMaze2p_2007/YGA3Vw6735
DRESDEN/4pttc/9pB9AQ6736
DRESDEN/doubletoetictac/V89gKQ67012
BASE/gt_tinfoil/Q8DyKg6656
DRESDEN/sheep_and_wolf/enAIzQ6655
BASE/minichess/8NQEiA6616
BASE/bunk_t/xbpfIA65512
DRESDEN/doubletictactoe/lJzgmQ65412
BASE/doubletictactoe/HH1htg65412
DRESDEN/chinesecheckers2/06E6-Q6476
BASE/doubletoetictac/fu35bg64412
DRESDEN/3pffa/0YrmQw6378
DRESDEN/grid_game/U7_Yeg6286
BASE/racetrackcorridor/k1OQRg6277
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg6076
DRESDEN/minichess/c7GMFw5956
DRESDEN/3pttc/uwYBZw5928
STANFORD/breakthrough/d5j0cQ5837
BASE/double_tictactoe_dengji/zgaSbA58011
DRESDEN/connectfoursuicide/M9CNQg5737
BASE/connectFourSuicide/c8p9Kw5688
BASE/connectFour/WAIKTw5678
BASE/snake_2009/7l-qAQ5624
DRESDEN/connectfour/5tc-Mg5577
DRESDEN/snake_2009/zIYLVw5554
DRESDEN/double_tictactoe_dengji/bGaUyQ54512
DRESDEN/chinesecheckers3/QsCb2A5366
BASE/chineseCheckers6/rREH3A5366
BASE/tictactoe_3player/GtM71g5368
STANFORD/connectfour/VMpZkQ5338
BASE/snake_2008_tweaked/bX0NJQ5304
BASE/knightwar/DVGY4Q5225
DRESDEN/frogs_and_toads/GjchhQ5205
DRESDEN/knightwar/7hhAqg5207
BASE/catcha_mouse/cHv4dw5187
BASE/snake_2008/i6K26g5174
DRESDEN/tictactoe_3player/ESLQQQ5148
DRESDEN/snake_2008/E56l3A5144
DRESDEN/catcha_mouse/cHv4dw5127
BASE/withConviction/3Xm54A49511
BASE/stateSpaceLarge/0Ge_CQ49212
DRESDEN/statespacelarge/8-y5HQ48412
DRESDEN/ticblock/Z2yNWQ48112
BASE/ticblock/T21C1g47112
DRESDEN/uf20-01.cnf.SAT/42Rs8A4616
DRESDEN/bidding-tictactoe/yW5vTA4597
BASE/biddingTicTacToe/8mESVw4487
DRESDEN/uf20-010.cnf.SAT/5ICbCg4478
DRESDEN/snake_2009_big/DgC1NQ4404
STANFORD/multipletictactoe/_bkafQ4387
BASE/snake_2009_big/-oRfVw4384
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA4316
DRESDEN/uf20-020.cnf.SAT/hDrW_A4308
DRESDEN/sat_test_20v_91c_version2/a1mPBA4306
DRESDEN/sat_test_20v_91c/dK7nVw4248
BASE/4pttc/AL1k2Q4206
BASE/dualConnect4/WbCQkg3857
BASE/breakthroughSmallHoles/bxclRw3738
DRESDEN/chinesecheckers6/yTbPDA3726
DRESDEN/pawn_whopping/4ogBkg37112
BASE/checkLines/Vop7oQ3707
BASE/lightsOnSimultaneous/_VN6lw37011
BASE/max_knights/2fq3Ag3676
DRESDEN/max_knights/hCipiA3606
BASE/pawnWhopping/Ypc_6Q3558
DRESDEN/stratego/Z2wovg3558
DRESDEN/pawn_whopping_corrected/7Ov0jQ35312
BASE/connectFourLarge/aU644A3467
DRESDEN/tictactoex9/rFkD4w3467
BASE/chineseCheckers4/avfBcQ3446
BASE/tictactoex9/BI26ow3447
BASE/dotsAndBoxes/EHwA_w3428
BASE/dotsAndBoxesSuicide/jzQbLw3398
DRESDEN/chomp/-LcqYQ3388
BASE/crisscross/ICagEg3387
BASE/chomp/-LcqYQ3328
BASE/duplicateStateLarge/dcjyuw3318
BASE/3pffa/pR0dzA3288
DRESDEN/vacuumcleaner_random_big/DwzFaQ3266
BASE/3pConnectFour/PqXOFQ3268
STANFORD/kono/HI7CHA3223
DRESDEN/crossers3/xiPTxg3216
DRESDEN/crisscross/GsY16g3197
BASE/4pffa/Q3ADlg3188
BASE/3pttc/0sol9g3186
BASE/crossers3/O0rORg3146
BASE/ruleDepthExponential/UamhHQ3054
BASE/ttcc4_2player_small/Cv72TA2945
BASE/lightsOnSimul4/9FeASw29211
BASE/2pffa/6oHijA2898
BASE/2pffa_zerosum/o0_uZA2888
BASE/2pttc/unkkYA2866
STANFORD/freeforall/Lfp40Q2748
BASE/breakthroughSmall/HJ0tIA2707
BASE/tictactoe_3d_small_2player/oOryKA2698
DRESDEN/tictactoe_3d_small_2player/HYttcg2699
BASE/blocksWorldParallel/RseaAQ26612
DRESDEN/quarto/OQzRYQ2566
STANFORD/breakthroughsmall/HM0s5w2565
BASE/escortLatch/mX9BjQ2558
BASE/quartoSuicide/-23jUg2556
BASE/crissrace/ERWGDA2537
BASE/wallmaze/uxNQ9g2538
DRESDEN/hallway/0H4l-Q2537
BASE/snakeAssemblit/sOydSg2517
STANFORD/pilgrimage/ObRZnQ2485
BASE/hallway/ckCJOw2477
DRESDEN/quartosuicide/WIU1oQ2476
BASE/quarto/EwBMVQ2456
DRESDEN/mimikry/GJEhwA2398
DRESDEN/crissrace/KWb9bw2397
BASE/connectFourSimultaneous/7ITr3g2179
DRESDEN/chinesecheckers4/-oVNYg2147
BASE/pacman3p/wW7UVQ2106
DRESDEN/pacman3p/rBnk8Q2085
BASE/connect5/d-BVQg2026
BASE/futoshiki4/BaCwSw20212
DRESDEN/connect5/1kYzSg2026
DRESDEN/smallest_4player/ADDROA2018
BASE/smallest_4player/ADDROA2018
BASE/pacman2p/4LEdQg2016
BASE/checkersBarrelNoKings/rnKNeg2006
BASE/blockerParallel/7-nDJA19512
DRESDEN/blockerparallel/dVQgSg19412
BASE/ticTacToeSerial/Amrwqw19012
DRESDEN/breakthroughsuicide/Y9QzqQ1805
BASE/breakthroughHoles/nZk0Sg1796
DRESDEN/breakthroughsuicide_v2/LU1nAw1785
STANFORD/nineboardtictactoe/y28P-A17611
BASE/conn4/va9Y7A17412
BASE/checkersTorusNoKings/pwb6oQ1746
BASE/connectFourLarger/qKi60A1737
BASE/knightThrough/gcwFjA1735
BASE/blockerSerial/3eqDuw17312
DRESDEN/knightthrough/J7Fc_Q1725
DRESDEN/breakthrough/z4hK7Q1715
BASE/nineBoardTicTacToe/wRmqqA17111
BASE/breakthroughSuicide/wZDpIg1716
BASE/nineBoardTicTacToePie/B8LzeQ17012
BASE/breakthrough/TGxk-g1696
BASE/breakthroughWalls/vOZaYA1676
STANFORD/checkersonabarrelnokings/Zrevdw1666
BASE/englishDraughts/jFkQxg1668
STANFORD/duikoshi/tpw1sw16512
STANFORD/pentago/ZxzLmg1658
DRESDEN/battlesnakes1509/-qZrLw16412
DRESDEN/battlesnakes2011/93VtTw16312
BASE/checkersTorus/2vm1EQ1616
BASE/snake2p/I3wWPQ15712
BASE/ttcc4_2player_alt/ZEJvYA1565
BASE/endgame/jYjfOA1486
BASE/mineClearingSmall/frsbvw1477
DRESDEN/knightmove/97Ipcw1448
BASE/tttcc4/8Bs2lg1435
BASE/ttcc4/Le0qjQ1425
BASE/ticTacHeavenFC/mrletw14112
DRESDEN/tttcc4/sAvtFg1375
BASE/knightmove/jBaJEw1378
BASE/hex/T1MK8g1287
STANFORD/hex/MTqWcw1278
BASE/hexPie/48CH6Q1267
BASE/blobwars/0XT15Q1246
DRESDEN/endgame/IJhh3Q1236
BASE/majorities/ibJzSQ1227
DRESDEN/blobwars/ZaMluQ1206
STANFORD/ttcc4/Cx9SGw1185
DRESDEN/connect4/T0-rHQ11411
BASE/connect4/50bOyw11111
DRESDEN/tpeg/h-Scbg11112
BASE/choicethroughalt/tt71Lg1115
BASE/tpeg/QNs7Lw11012
DRESDEN/pawn_whopping_simultaneous/r8dLfw10912
BASE/ttcc4_2player/_aH_Mw1065
BASE/cubicup/4wNWJA10412
BASE/ticTacHeaven/18n58A10212
BASE/checkersTiny/Lr48cg1028
DRESDEN/bidding-tictactoe_10coins/mu5VhQ1027
DRESDEN/cubicup/SBn_lw10112
BASE/mummymaze1p/PT_EXA1006
BASE/peg/fJHVWw998
DRESDEN/mummymaze1p/AekgaQ986
DRESDEN/chinesecheckers6-simultaneous/gPPGUw987
STANFORD/alquerquezero/uVgA_A978
BASE/biddingTicTacToe_10coins/a-9ccQ967
DRESDEN/peg_bugfixed/u_B7MA9612
DRESDEN/peg/Vo31eg9512
BASE/amazons_8x8/7SOsIw905
BASE/tictactoe_3d_small_6player/g_9lww8612
BASE/coins_atomic/AA3SSw8512
DRESDEN/coins/QwFP9w8412
DRESDEN/tictactoe_3d_small_6player/llDEDQ8312
BASE/coins/QnGtnQ8212
STANFORD/platformjumpers/HEQskA816
BASE/pentago/86NgKw819
BASE/pegEuro/5awwhg788
DRESDEN/pentago_2008/hLjVpQ7712
BASE/pentagoSuicide/SBgNhw769
BASE/minichess-evilconjuncts/4OpQzw7511
BASE/futoshiki5/TJ4BZg7512
BASE/qyshinsu/R08Lzw748
DRESDEN/tictactoe_3d_2player/LMuX9w738
DRESDEN/minichess-evilconjuncts/th24Tw7311
BASE/tictactoe_3d_2player/IUC1rQ738
BASE/amazons_10x10/Bun8dA725
BASE/amazonsSuicide_10x10/XIbQkg715
DRESDEN/javastrike/whONTQ7011
DRESDEN/skirmish2/iPpWhQ686
DRESDEN/skirmish/RjGQYQ676
DRESDEN/skirmish3/3LU8Nw636
BASE/knightazons/apnJBQ635
DRESDEN/knightazons/02I8BQ625
DRESDEN/Travelers-Dilemma/PvZwYw616
DRESDEN/smallest/9kaGFw618
BASE/chinook/XQh0IQ598
BASE/speedChess/bPnisA586
BASE/slidingpieces/uFJWEw5812
DRESDEN/slidingpieces/s9_44g5812
DRESDEN/babel/WdSW4A579
STANFORD/chinook/osFbPA578
BASE/skirmishNew/sibw2g536
BASE/skirmishZeroSum/zh4hcw536
DRESDEN/backgammon/mqCW0Q519
STANFORD/triplesukoshi/Iu9mbA5112
BASE/checkersSmall/SYmq8w488
BASE/amazonsTorus_10x10/Uxc08g465
DRESDEN/battlebrushes/QHXV4A434
DRESDEN/ggp-course2013_jordi/9QI6Kw4212
BASE/cubicup_3player/e2yA_g4112
DRESDEN/cubicup_3player/awDtsQ4012
BASE/futoshiki6/JmvXNA3712
DRESDEN/Goldrush/VeWczQ359
BASE/wargame03/klXI8w345
DRESDEN/brawl/2kXtfQ338
BASE/wargame01/_GZFZg325
BASE/brawl/6Ymo_Q328
DRESDEN/checkers/jIDMIg316
BASE/checkers/rOC3Xg308
DRESDEN/checkers-newgoals/IJOqXQ296
BASE/wargame02/BkVqqQ285
DRESDEN/ggp-course2013_nicolai/uEin8g278
BASE/checkers-newgoals/0XkFiA267
BASE/nim2/eF2Qqw2612
BASE/nim4/twk16w2612
DRESDEN/nim1/M9BALA2612
DRESDEN/nim3/sG_axA2512
DRESDEN/nim4/F5YAYg2512
BASE/tictactoe_3d_6player/d7KSwg2512
BASE/nim1/hin2Qw2512
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g246
DRESDEN/nim2/z5_exA2412
BASE/nim3/1OwUqw2412
DRESDEN/tictactoe_3d_6player/ulZPWg2312
DRESDEN/cylinder-checkers/clOO3Q226
BASE/four_way_battle/xSOQXA216
BASE/cylinder-checkers/hlldmw216
STANFORD/multiplesukoshi/vLSQPg2111
BASE/cittaceot/fDxhXg2012
DRESDEN/four_way_battle/xSOQXA196
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw196
DRESDEN/capture_the_king/EQ229Q187
BASE/simultaneousWin2/PfjRjw1712
BASE/gt_ultimatum/GE-uOA1510
DRESDEN/gt_ultimatum/pAiiQw1510
BASE/skirmishFinal3/-Olhfw1410
BASE/skirmishFinal2/gdB62Q1212
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw116
DRESDEN/skirmishfinal/hzq8ww1112
BASE/colonelBlottoVariant/X-n-KQ107
DRESDEN/grid_game2/kypTYQ1012
DRESDEN/fizzbuzz/t1xHzQ108
BASE/skirmishFinal1/ecWTnQ1012
DRESDEN/farmers/S_ASnw86
BASE/strangeSkirmish/gc1zKA712
STANFORD/madness/UO_B3A78
BASE/skirmishHoles/AUCxCA712
DRESDEN/towerworld/HCX34w712
DRESDEN/guess/PhxGhg68
STANFORD/skirmish/w4V6Vw68
STANFORD/selectivesukoshi/3xmXYg611
BASE/skirmish/Y_psYQ512
BASE/guess/SPpk1A510
DRESDEN/Zhadu/9zpQ5w512
DRESDEN/battle/8oAvhQ46
BASE/hitori/S8Gsyg46
BASE/checkers-mustjump/T-8UuQ48
DRESDEN/checkers-mustjump/HUr33w46
BASE/cephalopodMicro/9l2D3g412
DRESDEN/hitori/S8Gsyg46
DRESDEN/CephalopodMicro/H3XQfg412
BASE/battle/8oAvhQ46
DRESDEN/pawntoqueen/f_x6Aw38
BASE/merrills/pku8Tg36
DRESDEN/checkers-cylinder-mustjump/vW_-pA36
BASE/pawnToQueen/-O1_JA38
BASE/colonelBlottoVariant2/jruwGw37
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw38
DRESDEN/merrills/aYEzwA36
BASE/god/qF06gw310
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg36
BASE/checkers-cylinder-mustjump/rjr6qQ28
DRESDEN/checkers-mustjump-torus/cVc3gA26
BASE/quad_5x5/JAEP5g210
BASE/checkers-mustjump-torus/uSApKQ28
DRESDEN/ggp-course2013_michal13/jWKddg212
DRESDEN/amazons/dNB28A211
BASE/sudokuGrade5/BQfUQA212
DRESDEN/laikLee_hex/ZeP3QQ23
BASE/sudokuGrade3/eI8dvg212
BASE/sudokuGrade4/DTy07w212
BASE/sudokuGrade2/u80Tfw212
DRESDEN/god/2EDD5w211
BASE/sudokuGrade1/tDRNRw212
BASE/slaughter/cOch8A25
BASE/laikLee_hex/zbyscQ23
DRESDEN/quad_5x5/JAEP5g111
STANFORD/duidoku/3SoMaA112
DRESDEN/quad_5x5_8_2/JRTLJg112
BASE/sudokuGrade6E/ihYFZA112
DRESDEN/othello-cornercontrol/r5Gdlg16
STANFORD/sudoku/oJ1qyQ112
DRESDEN/quad/JPe6fg112
BASE/sudokuGrade6H/ieE_9A112
BASE/queens08ug/kJ_ZFQ011
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA012
BASE/racer/QQYQNw08
BASE/amazonsSuicide/dE1QEQ05
DRESDEN/queens/mW2wHQ05
BASE/gt_attrition/kD_SCA011
BASE/factoringImpossibleTurtleBrain/kcBhdw011
BASE/colonelBlotto/jip21A012
BASE/zhadu/DlA8iQ011
BASE/othelloHoles/c0qAzw012
DRESDEN/golden_rectangle/1uloXw012
BASE/queens06ug/7Lq3tw011
BASE/quad_7x7/q-JOXg012
BASE/othello-comp2007/86ZoMw011
BASE/othelloSuicide/B442jg012
BASE/golden_rectangle/_nYzfw012
DRESDEN/small_dominion/yB5GJA09
DRESDEN/satlike_20v_91c/yeuENQ012
DRESDEN/racer/vk_ZBA08
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g08
BASE/blokbox_simple/JBx4bg012
DRESDEN/quad_7x7/q-JOXg012
BASE/ad_game_2x2/D0aWqg07
BASE/quad/tw-Ufg011
BASE/amazons/RKKZjw05
DRESDEN/satlike_20v_91c_version2/yd9ioQ012

Games with errors:

GameError message
BASE/gt_two_thirds_4p/DStnxQException of type NullPointerException
BASE/queens08lg/Ru7eqQTest process timed out after 240 seconds
BASE/sudoku/NTaNkwException 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/queens31lg/0gID-ATest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QException of type NullPointerException
STANFORD/dualrainbow/G3OnRQException of type NullPointerException
BASE/amazonsTorus/soxT8gException of type StackOverflowError
BASE/reversi/d8UMeATest process timed out after 240 seconds
BASE/queens/HyJJnQTest process timed out after 240 seconds