index

PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1

Comparison with GGP-Base Prover:

Median speedup0.616777647799874
Mean speedup0.621681494807869
Geometric mean speedup0.5363594589205946
Ratio of # state changes with 1 second per game0.5884634001055011
Ratio of times to run 1000 states per game3.223533085189004
Number of games with errors12

Comparison with other engines:

EngineWe're faster in N gamesOnly they failThey're faster in N gamesOnly we fail
ALLOY_DIFF_PROP_NET:1 (comparison)2325108
PALAMEDES_JOCULAR:0.6.1 (comparison)112803527
SANCHO_DEAD_RECKONING_PROPNET:1.61c (comparison)1504938
ALLOY_TUPLE_PROVER:2 (comparison)1254112
CADIAPLAYER_PROLOG:3.0 (comparison)91533822
REKKURA_GENERIC_FORWARD_PROVER:1.0.0 (comparison)46810669
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 (comparison)47011639
REKKURA_BACKWARD_PROVER:1.0.0 (comparison)316102189
REKKURA_BACKWARD_PROVER_OSTD:1.0.0 (comparison)327112069
PALAMEDES_JAVA_ECLIPSE:0.6.1 (comparison)25751210
GGP_BASE_PROVER:2015-04-26 (comparison)22052212
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 (comparison)41571222
ALLOY_COMPILED_PROVER_CACHING:2 (comparison)0454010
FLUXPLAYER_PROLOG:1.1 (comparison)113383938

Game-by-game statistics:

GameAverage state changes per secondRanking
STANFORD/buttonsandlights/eyhJpA21830.511
BASE/onestep/xi53wA21177.76666666666611
BASE/haystack/UkweGA18755.53333333333311
BASE/ruleDepthLinear/OUBJpQ16003.2333333333349
BASE/survival/YVIjJA15620.511
BASE/untwistycomplex2/EDPPAQ13438.03333333333311
BASE/troublemaker01/s3tlEQ13076.13333333333311
STANFORD/untwistycorridor/EDPPAQ13014.33333333333411
BASE/pearls/6k_mEQ12294.813
DRESDEN/troublemaker01/C-lPWw12270.43333333333211
DRESDEN/troublemaker02/iZLVuA11948.73333333333411
DRESDEN/fizzbuzz/t1xHzQ11864.5333333333336
DRESDEN/pancakes6/SZXMyQ11437.23333333333410
DRESDEN/Runners/3bOCQw11262.5666666666688
BASE/maze/cCX3qQ11255.26666666666611
DRESDEN/pancakes/hl9aiQ11245.13333333333311
BASE/pancakes6/QZTdnw11157.63333333333310
BASE/buttons/hTcUjw10747.811
BASE/pancakes/yUgbXw10738.711
DRESDEN/buttons/ADUaHw10640.06666666666811
BASE/troublemaker02/DI83KA10509.36666666666711
DRESDEN/point_grab/r5DPmQ9658.2666666666668
BASE/point_grab/V_osUg9650.78
DRESDEN/Travelers-Dilemma/PvZwYw9010.7333333333346
DRESDEN/statespacesmall/h-NqjA8914.39
BASE/stateSpaceSmall/Q7osKA8880.43333333333210
STANFORD/knightstourmedium/x1wu8Q8798.5333333333339
DRESDEN/pancakes88/aD3E7g8786.69
STANFORD/knightstour/cEwgNA8640.29
DRESDEN/knightstour/cGISAA8523.6333333333339
BASE/pancakes88/l2Xaig8486.2666666666669
DRESDEN/roshambo2/jgSlkQ8418.210
BASE/knightsTourLarge/M8jgLA8354.49
BASE/switches/tPUoCg8315.66666666666611
BASE/roshambo2/KNPokQ8242.03333333333310
BASE/knightsTour/mvtVIg8221.6666666666669
STANFORD/knightstourbig/TQUI2g8214.6333333333339
STANFORD/multiplebuttonsandlights/cK70Yg8176.63333333333311
STANFORD/multiplebuttonsandlights_9/SqB9BA8148.511
BASE/gt_centipede/9fRMpw7452.96666666666610
STANFORD/bestbuttonsandlights/nm0wEA6860.33333333333311
BASE/gt_tinfoil/Q8DyKg6631.4666666666668
BASE/blocksWorld/SEdXLQ6457.76666666666613
BASE/blocks/xIV5hQ6369.53333333333413
BASE/duplicateStateSmall/bCPAXw6288.19
DRESDEN/blocks/vg0DRw6273.66666666666713
DRESDEN/nim1/M9BALA6163.9666666666667
STANFORD/3puzzle/41ibjA6117.96666666666611
DRESDEN/oisters_farm/pTQMLg5901.03333333333411
STANFORD/threepuzzle/41ibjA5804.011
BASE/nim2/eF2Qqw5743.47
BASE/asteroids/BKCmPQ5725.99
BASE/gt_coordination/IVMOzA5717.3333333333338
BASE/nim1/hin2Qw5674.6666666666678
DRESDEN/nim2/z5_exA5620.07
BASE/gt_staghunt/xPjLRA5438.58
DRESDEN/blocks2player/3ev8nQ5430.610
STANFORD/untwistycomplex/HTWEwg5423.6666666666678
BASE/blocks2player/wnTLOQ5371.010
STANFORD/bestbuttonsandlightsbig/g0JC6g5252.76666666666611
BASE/lightsOn/MsXu3A5171.83333333333313
BASE/gt_prisoner/klthDw5091.38
BASE/hanoi/iGLsJg4926.3666666666679
DRESDEN/hanoi/RQ0jiA4925.710
BASE/colonelBlottoVariant/X-n-KQ4909.97
DRESDEN/gt_prisoner/huCp4w4819.2666666666668
BASE/gt_dollar/TGjqRw4790.43333333333310
DRESDEN/gt_ultimatum/pAiiQw4660.3333333333337
BASE/gt_chicken/gmepTQ4623.6666666666678
DRESDEN/gt_chicken/CeuKtw4559.6666666666678
DRESDEN/catch_me/ghGWrA4526.9333333333339
BASE/hanoi7_bugfix/3gdnFw4524.5666666666679
DRESDEN/hanoi7_bugfix/3gdnFw4508.2333333333349
DRESDEN/Catch-Me-If-You-Can/ghGWrA4466.9666666666669
DRESDEN/CatchMeIfYouCanTest/CX18rA4444.29
DRESDEN/Thief_Police/CX18rA4383.3666666666679
BASE/colonelBlottoVariant2/jruwGw4364.36
DRESDEN/circlesolitaire/ruUilQ4358.36666666666711
BASE/circlesolitaire/azuQFQ4335.711
BASE/gt_ultimatum/GE-uOA4328.67
DRESDEN/hanoi7/51zz5Q4323.5333333333349
BASE/nim3/1OwUqw4295.5333333333347
DRESDEN/nim3/sG_axA4291.87
BASE/nim4/twk16w4271.7333333333347
BASE/beatMania/qUHwvQ4258.99
DRESDEN/nim4/F5YAYg4228.1666666666677
DRESDEN/2player_normal_form_2010/NG_Kdg4172.73333333333412
STANFORD/jointbuttonsandlights/qAKuIQ4085.666666666666513
DRESDEN/toetictac/mJtxCA4072.613
BASE/toetictac/mTThmg4056.86666666666713
BASE/firefighter/WJmoPw3940.666666666666510
DRESDEN/firefighter/WJmoPw3895.73333333333310
DRESDEN/hanoi_6_disks/MeubgQ3776.333333333333510
BASE/hodgepodge/9yjRkw3692.211
BASE/hanoi_6_disks/MeubgQ3605.010
DRESDEN/vacuum_cleaner_1/eUNjpw3410.09
BASE/eightPuzzle/vLrgFg3379.23333333333310
BASE/factoringGeorgeForman/HGRorQ3347.066666666666613
STANFORD/8puzzle/jNiGtw3329.511
DRESDEN/8puzzle/8fKC2w3279.711
DRESDEN/lightson2x2/gBHuig3265.63333333333312
STANFORD/eightpuzzle/W_aWbA3265.410
DRESDEN/chickentoetictac/cxYaRQ3232.333333333333513
BASE/chickentoetictac/l57rfQ3178.533333333333313
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA3043.53333333333339
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A3027.99
BASE/tictactoe_orthogonal/WRzlVw2922.166666666666513
DRESDEN/tictactoe_orthogonal/y69QFQ2908.666666666666513
BASE/blocksWorldSerial/Wyg96Q2859.013
BASE/sum15/QZ07Kg2841.36666666666713
DRESDEN/sum15/CsgWKg2804.166666666666513
BASE/stateSpaceMedium/3bUoIw2730.23333333333311
DRESDEN/statespacemedium/dVJZ_w2728.533333333333311
BASE/asteroidsParallel/WauZiA2706.56666666666669
BASE/asteroidsSerial/id2QkA2625.8666666666679
BASE/factoringMutuallyAssuredDestruction/NH0LGg2577.466666666666711
DRESDEN/tictactoe/BTTzPw2474.26666666666713
BASE/ticTacToe/JRFsaQ2470.833333333333513
BASE/tictactoe2/bhrDoQ2429.566666666666612
DRESDEN/tictactoe-init1/3ltIBQ2423.933333333333413
STANFORD/trifecta/ss1kyQ2403.433333333333413
STANFORD/tictactoe7/-bE9-A2400.433333333333413
DRESDEN/eotcatcit/mQUxzA2370.613
STANFORD/tictactoe5/WFRReg2361.712
STANFORD/tictactoe/ss1kyQ2353.966666666666713
BASE/eotcatcit/AfZSzA2349.23333333333313
BASE/tictactoe-init1/7M19vA2338.413
DRESDEN/kitten_escapes_from_fire/uW-YiA2326.533333333333310
BASE/kitten_escapes_from_fire/uW-YiA2296.833333333333510
BASE/incredible/8Qh-6Q2290.313
BASE/chineseCheckers1/gqtwHw2277.79
DRESDEN/vacuumcleaner_random/_6AGDA2267.93333333333348
BASE/blocker/dIWtxg2259.63333333333313
BASE/factoringEasyTurtleBrain/lUj94Q2234.86666666666713
DRESDEN/blocker/S815zQ2231.166666666666513
DRESDEN/SC_TestOnly_enabled/09o7gQ2206.83333333333359
STANFORD/hunter/14dD-g2196.911
STANFORD/tictactoe3/X7myng2188.833333333333512
DRESDEN/ghostmaze2p/HY0UwA2111.533333333333310
BASE/ghostMaze2p/W-NU-w2105.033333333333310
DRESDEN/smallest_4player/ADDROA2099.97
BASE/chickentictactoe/DSlZCA2082.73333333333313
BASE/snakeParallel/RCVNtw2062.13126229125712
DRESDEN/chickentictactoe/Ipbo-g2047.933333333333413
BASE/smallest_4player/ADDROA2017.26666666666677
BASE/coloredtrails/EZvr7g2001.811
DRESDEN/bidding-tictactoe/yW5vTA1965.73333333333339
BASE/knightfight/SJRkAg1952.033333333333310
BASE/biddingTicTacToe/8mESVw1950.16666666666679
DRESDEN/knightfight/4_Ly4w1932.533333333333310
DRESDEN/aipsrovers01/qS47Mw1923.233333333333310
BASE/aipsrovers01/4C4jsw1901.166666666666710
BASE/duplicateStateMedium/U163eQ1891.411
BASE/shmup/ssTNlg1847.56666666666668
BASE/lightsOnParallel/SC6enA1838.433333333333413
STANFORD/tictictoe/rpt_Dw1829.566666666666613
DRESDEN/brain_teaser_extended/ZDp94A1827.366666666666612
BASE/ticTicToe/c1OobQ1812.213
DRESDEN/tictictoe/LAUtwg1806.613
BASE/eotcitcit/V_9_bg1796.933333333333413
BASE/brain_teaser_extended/ZDp94A1793.566666666666612
DRESDEN/bidding-tictactoe_10coins/mu5VhQ1733.76666666666678
BASE/chineseCheckers2/eCMR3Q1730.09
BASE/biddingTicTacToe_10coins/a-9ccQ1728.86666666666668
BASE/kalaha5x2x3/WviNsw1658.16666666666678
DRESDEN/blocksworldparallel/2JfVaw1648.213
BASE/kalaha_2009/dRiN3g1635.53333333333338
BASE/tron_10x10/7ZTgDg1603.910
DRESDEN/kalaha_2009/gcC8uA1579.48
BASE/kalaha6x2x4/XS81Mg1578.13333333333348
BASE/queens06ug/7Lq3tw1544.63333333333348
BASE/racer/QQYQNw1527.56666666666666
DRESDEN/ticblock/Z2yNWQ1511.66666666666679
DRESDEN/racer/vk_ZBA1499.46
BASE/ticblock/T21C1g1494.03333333333339
BASE/chineseCheckers3/-1rZdQ1481.89
DRESDEN/latenttictactoe/kITHKg1443.313
DRESDEN/chomp/-LcqYQ1347.111
BASE/numbertictactoe/rvJ-iQ1344.612
BASE/chomp/-LcqYQ1342.911
STANFORD/sukoshi/4LYZZQ1338.466666666666712
DRESDEN/smallest/9kaGFw1324.47
DRESDEN/double_tictactoe_dengji/bGaUyQ1321.033333333333310
BASE/double_tictactoe_dengji/zgaSbA1309.933333333333411
DRESDEN/cube_2x2x2/fp-34Q1292.833333333333311
BASE/mummyMaze2p_2007/YGA3Vw1187.43333333333349
DRESDEN/mummymaze2p-comp2007/oTQRQg1177.49
DRESDEN/bunk_t/7-tPfA1158.633333333333414
DRESDEN/doubletictactoe/lJzgmQ1155.166666666666714
BASE/twisty-passages/DiZmmg1153.433333333333410
BASE/doubletictactoe/HH1htg1145.666666666666714
BASE/bunk_t/xbpfIA1144.614
BASE/colonelBlotto/jip21A1130.96
BASE/doubletoetictac/fu35bg1122.633333333333414
BASE/ticTacToeNoVars/XT03NA1120.066666666666614
DRESDEN/logistics/fPru1Q1112.33333333333339
DRESDEN/doubletoetictac/V89gKQ1111.966666666666714
DRESDEN/guess/PhxGhg1100.6599560029338
DRESDEN/knightwar/7hhAqg1081.36
BASE/guess/SPpk1A1076.83333333333338
DRESDEN/tictactoelarge/IwXcbg1072.013
BASE/knightwar/DVGY4Q1070.66666666666676
DRESDEN/twisty-passages/j7NPyg1065.133333333333411
BASE/ticTacToeLargeSuicide/727_8g1064.312
BASE/ticTacToeLarge/TZC0dg1050.066666666666612
BASE/checkLines/Vop7oQ1045.69
DRESDEN/tictactoelargesuicide/6J4DeA1045.233333333333313
BASE/solitaireChineseCheckers/-ET6gw1016.13333333333339
BASE/blockerSerial/3eqDuw1004.93333333333338
DRESDEN/chinesecheckers1/Y-ftaA1003.066666666666710
BASE/ticTacToeSerial/Amrwqw987.811
BASE/stateSpaceLarge/0Ge_CQ957.066666666666713
DRESDEN/3pffa/0YrmQw956.33333333333349
STANFORD/dualhunter/1rPZjQ943.833333333333412
DRESDEN/statespacelarge/8-y5HQ941.833333333333413
DRESDEN/quartosuicide/WIU1oQ937.833333333333410
BASE/quartoSuicide/-23jUg935.310
BASE/ticTacToeParallel/ymRGPw932.433333333333312
BASE/2pffa/6oHijA930.63333333333338
DRESDEN/quarto/OQzRYQ930.310
DRESDEN/bomberman2p/x4h6jQ925.533333333333310
BASE/quarto/EwBMVQ924.633333333333310
DRESDEN/tictactoeparallel/yk_DSg913.914
BASE/chineseCheckers6/rREH3A911.00296656778119
DRESDEN/lightsout2/LFtfyQ899.733333333333314
BASE/bomberman2p/4CClwA898.666666666666611
BASE/lightsOut/5P1ZBw897.933333333333312
BASE/minichess/8NQEiA896.03333333333339
DRESDEN/lightsout/XgLpzQ884.014
DRESDEN/3pttc/uwYBZw866.571114296190110
BASE/3pffa/pR0dzA846.29
BASE/2pffa_zerosum/o0_uZA846.19
BASE/copolymer_4/2LDVhQ844.33333333333348
DRESDEN/minichess/c7GMFw839.73333333333339
BASE/chineseCheckers4/avfBcQ838.910
BASE/2pttc/unkkYA837.86666666666679
DRESDEN/knightmove/97Ipcw830.63333333333339
BASE/knightmove/jBaJEw826.36666666666679
STANFORD/freeforall/Lfp40Q824.63333333333339
DRESDEN/crisscross/GsY16g820.76666666666679
BASE/crisscross/ICagEg812.510
DRESDEN/chinesecheckers2/06E6-Q795.56666666666678
BASE/queens08ug/kJ_ZFQ784.466666666666710
BASE/copolymer_4_pie/IN5_jA777.10742975234158
DRESDEN/Goldrush/VeWczQ775.7408086397128
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ768.366666666666711
BASE/racetrackcorridor/_RkdUg758.266666666666711
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw756.366666666666711
BASE/3pttc/0sol9g748.675044165194510
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg726.475784140528611
DRESDEN/grid_game/U7_Yeg724.833333333333410
BASE/4pffa/Q3ADlg723.10922969234359
DRESDEN/racetrackcorridor/O0DoTA720.833333333333412
DRESDEN/chinesecheckers3/QsCb2A718.96666666666679
DRESDEN/crossers3/xiPTxg718.46666666666679
BASE/ttcc4_2player_small/Cv72TA716.06666666666678
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg710.876304123195811
DRESDEN/4pttc/9pB9AQ702.76666666666679
BASE/crossers3/O0rORg693.16666666666669
DRESDEN/uf20-010.cnf.SAT/5ICbCg681.033333333333310
DRESDEN/uf20-01.cnf.SAT/42Rs8A676.46666666666678
DRESDEN/connectfoursuicide/M9CNQg672.921805212985810
DRESDEN/sat_test_20v_91c/dK7nVw672.377587413752810
BASE/connectFour/WAIKTw670.132986701329911
DRESDEN/sat_test_20v_91c_version2/a1mPBA665.333333333333410
STANFORD/connectfour/VMpZkQ665.211
BASE/racer4/0vs7Ww665.07783073897546
DRESDEN/connectfour/5tc-Mg659.178027399086710
BASE/mummymaze1p/PT_EXA650.06666666666678
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA649.911669611012910
DRESDEN/mummymaze1p/AekgaQ649.03333333333338
DRESDEN/uf20-020.cnf.SAT/hDrW_A642.81190626979110
BASE/pacman3p/wW7UVQ641.03333333333339
BASE/connectFourSuicide/c8p9Kw636.366666666666711
BASE/pacman2p/4LEdQg633.16666666666669
BASE/4pttc/AL1k2Q626.21245958468059
BASE/duplicateStateLarge/dcjyuw623.311
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg620.010
DRESDEN/pacman3p/rBnk8Q619.91266957768078
BASE/catcha_mouse/cHv4dw619.379354021532711
DRESDEN/crissrace/KWb9bw607.24642511916278
DRESDEN/catcha_mouse/cHv4dw605.733333333333311
BASE/connectFour_9x6/B9TtMw604.666666666666611
BASE/crissrace/ERWGDA600.46666666666678
DRESDEN/vacuumcleaner_random_big/DwzFaQ598.64693727921096
DRESDEN/pawn_whopping/4ogBkg598.146728442385214
DRESDEN/tictactoe_3player/ESLQQQ587.912
BASE/tictactoe_3player/GtM71g583.412
BASE/pawnWhopping/Ypc_6Q578.614046198460112
BASE/breakthroughSuicideSmall/XSbJog565.76666666666678
BASE/breakthroughSmall/HJ0tIA562.24792506916448
DRESDEN/mummymaze2p/k-8edg562.19
DRESDEN/pawn_whopping_corrected/7Ov0jQ561.233333333333314
DRESDEN/knightthrough/J7Fc_Q555.3481550614988
BASE/mummymaze2p/vpjDdA552.78157394753519
DRESDEN/farmers/S_ASnw552.56666666666676
DRESDEN/chinesecheckers6/yTbPDA537.59
BASE/knightThrough/gcwFjA534.18219392686918
BASE/dotsAndBoxes/EHwA_w530.433333333333312
BASE/sheepAndWolf/g4THrg526.666666666666610
BASE/factoringMediumTurtleBrain/8RBqmQ521.582613912869513
STANFORD/alquerquezero/uVgA_A519.11602946568457
BASE/cittaceot/fDxhXg517.2494250191668
BASE/dotsAndBoxesSuicide/jzQbLw516.366666666666712
DRESDEN/sheep_and_wolf/enAIzQ514.633333333333312
DRESDEN/battlesnakes1509/-qZrLw514.08
BASE/ttcc4_2player_alt/ZEJvYA511.38
BASE/max_knights/2fq3Ag502.33333333333339
BASE/snake_2008/i6K26g502.283257224759159
DRESDEN/max_knights/hCipiA501.466666666666649
BASE/wargame01/_GZFZg495.433333333333349
DRESDEN/snake_2008/E56l3A493.650211659611339
BASE/snake_2008_tweaked/bX0NJQ490.216992766907779
STANFORD/duikoshi/tpw1sw483.714
DRESDEN/battlesnakes2011/93VtTw483.050564981167278
BASE/dualConnect4/WbCQkg478.984033865537810
BASE/escortLatch/mX9BjQ478.5840471984267310
BASE/breakthroughSmallHoles/bxclRw477.6174127529082512
BASE/connectFourLarge/aU644A477.3174227525749411
DRESDEN/frogs_and_toads/GjchhQ476.68411052964911
STANFORD/breakthrough/d5j0cQ472.9175694143528413
STANFORD/ttcc4/Cx9SGw468.11772940901978
DRESDEN/stratego/Z2wovg467.402173188454111
DRESDEN/tpeg/h-Scbg463.369108726084911
BASE/checkersBarrelNoKings/rnKNeg460.86666666666677
DRESDEN/pawn_whopping_simultaneous/r8dLfw457.812
BASE/englishDraughts/jFkQxg455.31815606146469
BASE/futoshiki4/BaCwSw451.833333333333312
BASE/snake_2009/7l-qAQ449.1516949435018711
BASE/tpeg/QNs7Lw447.2333333333333511
DRESDEN/snake_2009/zIYLVw446.53689754016411
BASE/withConviction/3Xm54A443.951868271057615
BASE/checkersTorusNoKings/pwb6oQ435.989734359897347
DRESDEN/peg_bugfixed/u_B7MA430.318989367021111
DRESDEN/tttcc4/sAvtFg429.233333333333358
BASE/ttcc4_2player/_aH_Mw428.938070795280348
BASE/tttcc4/8Bs2lg426.352454918169378
BASE/ttcc4/Le0qjQ423.88587047098438
DRESDEN/peg/Vo31eg423.366666666666711
BASE/peg/fJHVWw422.91923602546589
BASE/blocksWorldParallel/RseaAQ421.952601579947314
DRESDEN/tictactoe_3d_small_2player/HYttcg414.039064062395812
DRESDEN/chinesecheckers4/-oVNYg410.5333333333333610
BASE/checkersTiny/Lr48cg407.35308823039238
BASE/lightsOnSimultaneous/_VN6lw402.014
STANFORD/checkersonabarrelnokings/Zrevdw400.886637112096257
BASE/tictactoe_3d_small_2player/oOryKA400.219992666911112
STANFORD/pilgrimage/ObRZnQ397.30684621025278
BASE/wargame03/klXI8w394.620179327355749
BASE/rubiksCube/9tNO9Q390.62031265624489
DRESDEN/breakthroughsuicide/Y9QzqQ386.533333333333368
BASE/breakthroughWalls/vOZaYA384.42051931602288
BASE/breakthroughHoles/nZk0Sg379.966666666666648
BASE/chinook/XQh0IQ378.066666666666668
BASE/3pConnectFour/PqXOFQ377.812
DRESDEN/breakthroughsuicide_v2/LU1nAw376.587447085097158
BASE/checkersTorus/2vm1EQ376.241583894407038
DRESDEN/mimikry/GJEhwA372.333333333333312
DRESDEN/breakthrough/z4hK7Q372.087597080097348
BASE/breakthroughSuicide/wZDpIg371.87520831944548
BASE/breakthrough/TGxk-g371.487617079430668
BASE/coins/QnGtnQ369.1753883074461613
STANFORD/pentago/ZxzLmg367.508832744483711
DRESDEN/coins/QwFP9w366.854438185393813
STANFORD/triplesukoshi/Iu9mbA356.088130395653511
DRESDEN/snake_2009_big/DgC1NQ349.866666666666711
BASE/pegEuro/5awwhg349.65501149961679
STANFORD/chinook/osFbPA344.28852371587617
BASE/snake_2009_big/-oRfVw343.221892603579911
BASE/coins_atomic/AA3SSw343.213
BASE/snakeAssemblit/UO4sdg337.955401486617111
BASE/lightsOnSimul4/9FeASw321.755941468617714
BASE/wallmaze/uxNQ9g319.5333333333333611
BASE/hidato19/rRHSmA318.1560614646178411
DRESDEN/tictactoe_3d_small_6player/llDEDQ311.622945901803311
BASE/choicethroughalt/tt71Lg306.50268306502689
BASE/tictactoe_3d_small_6player/g_9lww305.366666666666711
BASE/amazons_8x8/7SOsIw295.43712295437129
BASE/conn4/va9Y7A294.92350254991514
BASE/checkersSmall/SYmq8w292.78
BASE/simultaneousWin2/PfjRjw289.711
STANFORD/multipletictactoe/_bkafQ286.9571014299523313
BASE/connectFourSimultaneous/7ITr3g283.723875870804312
BASE/connectFourLarger/qKi60A274.4666666666666410
BASE/wargame02/BkVqqQ273.772622737726249
BASE/connect4/50bOyw268.939772689397712
BASE/endgame/jYjfOA268.466666666666648
DRESDEN/connect4/T0-rHQ267.012
DRESDEN/blockerparallel/dVQgSg264.806852648068514
BASE/ticTacHeaven/18n58A258.0666666666666613
BASE/tictactoex9/BI26ow257.314
BASE/blockerParallel/7-nDJA256.2666666666666514
BASE/pentago/86NgKw255.2666666666666810
DRESDEN/tictactoex9/rFkD4w253.5746425357464214
DRESDEN/connect5/1kYzSg251.9666666666666710
BASE/ticTacHeavenFC/mrletw251.4748525147485313
BASE/pentagoSuicide/SBgNhw246.6333333333333310
BASE/connect5/d-BVQg243.9333333333333410
DRESDEN/pentago_2008/hLjVpQ239.4586847105096611
STANFORD/platformjumpers/HEQskA238.8587047098439
BASE/snake2p/I3wWPQ238.792040265324514
DRESDEN/babel/WdSW4A237.466666666666678
BASE/queens08lg/Ru7eqQ233.992200259991348
DRESDEN/endgame/IJhh3Q230.669244100786569
BASE/checkers/rOC3Xg220.92596913436228
BASE/amazonsSuicide_10x10/XIbQkg220.233333333333329
BASE/futoshiki5/TJ4BZg219.5300783202799612
BASE/amazons_10x10/Bun8dA218.233333333333329
BASE/queens12ug/u6Bkmg217.1782821717828310
STANFORD/nineboardtictactoe/y28P-A213.8119521381195213
BASE/nineBoardTicTacToePie/B8LzeQ211.3577284543091314
DRESDEN/blobwars/ZaMluQ211.285914272381839
DRESDEN/skirmish2/iPpWhQ211.11222211112227
DRESDEN/chinesecheckers6-simultaneous/gPPGUw209.779022097790238
BASE/blobwars/0XT15Q207.54591207545919
BASE/nineBoardTicTacToe/wRmqqA205.426485783807213
DRESDEN/grid_game2/kypTYQ203.9598680043998512
DRESDEN/backgammon/mqCW0Q202.972936941741111
DRESDEN/skirmish3/3LU8Nw198.653423105126347
DRESDEN/javastrike/whONTQ197.911
DRESDEN/skirmish/RjGQYQ196.647001966470017
BASE/mineClearingSmall/frsbvw192.2269257691410210
DRESDEN/hallway/0H4l-Q182.2090387948273612
BASE/hallway/ckCJOw181.0637872425514812
BASE/hex/T1MK8g171.460951301623289
BASE/speedChess/bPnisA171.255249650023338
STANFORD/hex/MTqWcw171.160961301289949
BASE/hexPie/48CH6Q168.9554029731351410
BASE/knightazons/apnJBQ163.733333333333328
DRESDEN/knightazons/02I8BQ162.58
BASE/skirmishZeroSum/zh4hcw152.702792774778379
BASE/skirmishNew/sibw2g151.956536230917958
DRESDEN/slidingpieces/s9_44g151.2616246125129214
BASE/slidingpieces/uFJWEw145.9423429428428614
DRESDEN/checkers-newgoals/IJOqXQ143.47608731878025
BASE/checkers-newgoals/0XkFiA143.128562381253977
DRESDEN/checkers/jIDMIg142.476253957673726
DRESDEN/cubicup/SBn_lw140.9431761373104514
BASE/cubicup/4wNWJA139.214
BASE/four_way_battle/xSOQXA135.977337110481597
BASE/majorities/ibJzSQ133.3111148141976210
DRESDEN/four_way_battle/xSOQXA132.657822811812547
BASE/cylinder-checkers/hlldmw131.98240234635385
DRESDEN/cylinder-checkers/clOO3Q131.128962367921085
BASE/amazonsTorus_10x10/Uxc08g128.366666666666679
DRESDEN/tictactoe_3d_2player/LMuX9w127.2369780384576912
BASE/futoshiki6/JmvXNA125.974805038992214
BASE/tictactoe_3d_2player/IUC1rQ122.7251516565562412
BASE/tictactoe_3d_6player/d7KSwg118.7762447510497911
BASE/checkers-mustjump/T-8UuQ118.39605346488457
DRESDEN/checkers-mustjump/HUr33w116.817757632315695
BASE/golden_rectangle/_nYzfw112.79
DRESDEN/tictactoe_3d_6player/ulZPWg112.4625124958347211
DRESDEN/golden_rectangle/1uloXw112.459169388707428
DRESDEN/quad_5x5_8_2/JRTLJg110.65560110655610
DRESDEN/ggp-course2013_jordi/9QI6Kw105.8666666666666612
BASE/checkers-cylinder-mustjump/rjr6qQ97.630078997366757
DRESDEN/checkers-cylinder-mustjump/vW_-pA97.237495418041255
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg97.164373063210155
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw96.517247125479097
BASE/checkers-mustjump-torus/uSApKQ93.087588321557127
DRESDEN/checkers-mustjump-torus/cVc3gA92.427171521898545
BASE/qyshinsu/R08Lzw92.2723183045086412
BASE/queens16ug/gT-ylw84.1305289823672510
BASE/hidato37/pBrqxw76.659000766590018
DRESDEN/ggp-course2013_nicolai/uEin8g72.066666666666669
BASE/quad_5x5/JAEP5g71.7333333333333310
DRESDEN/quad_5x5/JAEP5g70.1970443349753710
BASE/cubicup_3player/e2yA_g63.2476923589589814
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw62.42709062427097
DRESDEN/cubicup_3player/awDtsQ61.527180615271814
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g58.55300429899697
BASE/brawl/6Ymo_Q57.8454566658891748
DRESDEN/brawl/2kXtfQ57.08
DRESDEN/Zhadu/9zpQ5w54.7726136931534249
BASE/chess_200/XsTpYA53.7630824611692557
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw51.924679220129986
STANFORD/selectivesukoshi/3xmXYg50.6215216449495113
DRESDEN/god/2EDD5w50.378169459900717
BASE/god/qF06gw50.341495918707327
STANFORD/multiplesukoshi/vLSQPg48.84875545633267513
DRESDEN/battle/8oAvhQ48.3854843546935958
BASE/battle/8oAvhQ48.030131324578368
BASE/skirmishFinal3/-Olhfw47.623808571619018
DRESDEN/capture_the_king/EQ229Q47.082736330012338
DRESDEN/skirmishfinal/hzq8ww43.4811581647952548
BASE/skirmishFinal2/gdB62Q42.3135869927367248
BASE/skirmishFinal1/ecWTnQ41.284862217187038
BASE/hitori/S8Gsyg39.8581936253396110
DRESDEN/hitori/S8Gsyg37.99660328349262510
BASE/skirmishHoles/AUCxCA33.097793480434648
STANFORD/skirmish/w4V6Vw29.087395461966488
BASE/skirmish/Y_psYQ28.9444759018086128
STANFORD/madness/UO_B3A28.840710027641798
BASE/strangeSkirmish/gc1zKA25.7666666666666669
DRESDEN/laikLee_hex/ZeP3QQ24.560330325737885
DRESDEN/towerworld/HCX34w22.2533146778599510
BASE/slaughter/cOch8A21.6370959688425835
BASE/merrills/pku8Tg21.1902464987858046
DRESDEN/merrills/aYEzwA20.8929403153902456
DRESDEN/battlebrushes/QHXV4A20.104490443753729
BASE/gt_attrition/kD_SCA19.998686457375547
DRESDEN/pawntoqueen/f_x6Aw19.4896055437100210
BASE/pawnToQueen/-O1_JA18.8899253731343310
BASE/ad_game_2x2/D0aWqg17.9485474971747657
BASE/cephalopodMicro/9l2D3g17.69469159252224312
DRESDEN/CephalopodMicro/H3XQfg17.49941668611046512
BASE/sudokuGrade1/tDRNRw16.24284382905072714
BASE/sudokuGrade5/BQfUQA16.1692783710949214
BASE/reversiSuicide/9OxJlg15.96347397187229210
BASE/sudokuGrade4/DTy07w15.86773560427131514
BASE/sudokuGrade2/u80Tfw15.64788919962711414
BASE/sudokuGrade3/eI8dvg15.62343848895699414
BASE/reversi/d8UMeA15.52733076206942410
STANFORD/sudoku/oJ1qyQ15.2986563788745514
STANFORD/duidoku/3SoMaA15.29694061187762514
BASE/sudokuGrade6E/ihYFZA14.6308948508581914
BASE/sudokuGrade6H/ieE_9A14.61482122644650214
BASE/laikLee_hex/zbyscQ13.0155286897172045
BASE/zhadu/DlA8iQ11.35644586538781713
DRESDEN/amazons/dNB28A9.69396195202646810
BASE/ruleDepthExponential/UamhHQ9.2538533395609537
DRESDEN/quad_7x7/q-JOXg8.97111498143340712
BASE/battlebrushes/arCwyA8.5560809289459310
BASE/quad_7x7/q-JOXg8.32534936733952212
DRESDEN/othello-cornercontrol/r5Gdlg7.0677240601254277
BASE/othelloHoles/c0qAzw4.75169114007589511
BASE/queens/HyJJnQ4.4795699612837178
BASE/othelloSuicide/B442jg4.45715806279936110
BASE/othello-comp2007/86ZoMw4.31120249386482711
DRESDEN/queens/mW2wHQ4.0766408479412968
DRESDEN/ggp-course2013_michal13/jWKddg3.96362788528794614
DRESDEN/small_dominion/yB5GJA1.82707993474714519
DRESDEN/quad/JPe6fg1.503759398496240513
BASE/quad/tw-Ufg1.496557916791379812
BASE/amazonsSuicide/dE1QEQ1.36090550004978927
BASE/amazons/RKKZjw0.85385878489326768
BASE/blokbox_simple/JBx4bg0.754527162977867113
BASE/queens31lg/0gID-A0.73282035908197610
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.65904372755132312
DRESDEN/satlike_20v_91c/yeuENQ0.538256586914982312
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g0.513953846944544412
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.441783923483024512
BASE/factoringImpossibleTurtleBrain/kcBhdw0.285388127853881312

Games with errors:

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

index