index

PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1

Comparison with GGP-Base Prover:

Median speedup0.2853742217095385
Mean speedup0.39186543021412323
Geometric mean speedup0.0
Ratio of # state changes with 1 second per game0.5614697481190423
Ratio of times to run 1000 states per gameInfinity
Number of games with errors17

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)13250613
PALAMEDES_JOCULAR:0.6.1 (comparison)5734615
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 (comparison)12224157
SANCHO_DEAD_RECKONING_PROPNET:1.61c (comparison)05048913
ALLOY_TUPLE_PROVER:2 (comparison)1253617
CADIAPLAYER_PROLOG:3.0 (comparison)121503774
REKKURA_GENERIC_FORWARD_PROVER:1.0.0 (comparison)385914513
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 (comparison)3881014113
REKKURA_BACKWARD_PROVER:1.0.0 (comparison)246928413
REKKURA_BACKWARD_PROVER_OSTD:1.0.0 (comparison)2481028113
PALAMEDES_JAVA_ECLIPSE:0.6.1 (comparison)12252510
GGP_BASE_PROVER:2015-04-26 (comparison)35050417
ALLOY_COMPILED_PROVER_CACHING:2 (comparison)0453515
FLUXPLAYER_PROLOG:1.1 (comparison)664043315

Game-by-game statistics:

GameAverage state changes per secondRanking
BASE/onestep/xi53wA40068.233333333338
BASE/haystack/UkweGA35160.633333333339
STANFORD/buttonsandlights/eyhJpA32379.7666666666669
BASE/survival/YVIjJA29248.2666666666669
DRESDEN/troublemaker01/C-lPWw23702.2666666666669
BASE/troublemaker01/s3tlEQ22955.0666666666669
BASE/troublemaker02/DI83KA21142.2333333333349
BASE/pearls/6k_mEQ20962.43333333333410
DRESDEN/troublemaker02/iZLVuA20520.89
BASE/ruleDepthLinear/OUBJpQ19905.18
BASE/untwistycomplex2/EDPPAQ17801.810
STANFORD/untwistycorridor/EDPPAQ17661.06666666666610
BASE/maze/cCX3qQ16503.23333333333410
DRESDEN/buttons/ADUaHw15599.03333333333310
BASE/buttons/hTcUjw15464.03333333333310
BASE/pancakes/yUgbXw14031.3333333333349
DRESDEN/pancakes6/SZXMyQ13856.79
BASE/pancakes6/QZTdnw13658.9674365896749
DRESDEN/pancakes/hl9aiQ13658.2666666666669
BASE/switches/tPUoCg12551.9333333333329
DRESDEN/blocks/vg0DRw11587.6333333333339
BASE/blocksWorld/SEdXLQ11382.29
BASE/blocks/xIV5hQ11261.0666666666689
STANFORD/multiplebuttonsandlights_9/SqB9BA11172.73333333333410
DRESDEN/pancakes88/aD3E7g11170.77
STANFORD/multiplebuttonsandlights/cK70Yg10765.83333333333410
BASE/pancakes88/l2Xaig10468.8333333333347
BASE/gt_centipede/9fRMpw10129.9666666666679
STANFORD/threepuzzle/41ibjA9586.510
STANFORD/3puzzle/41ibjA9532.76666666666610
STANFORD/bestbuttonsandlights/nm0wEA9369.76666666666610
DRESDEN/statespacesmall/h-NqjA8742.93333333333210
BASE/stateSpaceSmall/Q7osKA8607.23333333333412
DRESDEN/blocks2player/3ev8nQ8575.06
BASE/roshambo2/KNPokQ8166.43333333333311
DRESDEN/roshambo2/jgSlkQ8024.23333333333411
DRESDEN/2player_normal_form_2010/NG_Kdg7985.0666666666678
DRESDEN/oisters_farm/pTQMLg7755.210
BASE/blocks2player/wnTLOQ7737.4666666666667
BASE/point_grab/V_osUg7666.310
DRESDEN/point_grab/r5DPmQ7423.33333333333310
STANFORD/bestbuttonsandlightsbig/g0JC6g6393.610
STANFORD/untwistycomplex/HTWEwg6152.07
BASE/lightsOn/MsXu3A6085.410
BASE/duplicateStateSmall/bCPAXw6085.33333333333310
DRESDEN/toetictac/mJtxCA5948.3333333333339
BASE/gt_dollar/TGjqRw5939.09
BASE/toetictac/mTThmg5830.7666666666669
BASE/hodgepodge/9yjRkw5759.0333333333349
DRESDEN/firefighter/WJmoPw5729.2666666666668
DRESDEN/Runners/3bOCQw5544.23333333333411
BASE/firefighter/WJmoPw5510.2333333333348
STANFORD/jointbuttonsandlights/qAKuIQ5296.53333333333410
DRESDEN/circlesolitaire/ruUilQ5074.210
BASE/circlesolitaire/azuQFQ5054.03333333333410
BASE/chickentoetictac/l57rfQ4653.7666666666669
DRESDEN/chickentoetictac/cxYaRQ4643.8666666666679
BASE/asteroids/BKCmPQ4333.76666666666610
DRESDEN/8puzzle/8fKC2w4257.0666666666679
BASE/eightPuzzle/vLrgFg4249.0333333333349
STANFORD/8puzzle/jNiGtw4237.0666666666679
DRESDEN/lightson2x2/gBHuig4180.33333333333311
STANFORD/eightpuzzle/W_aWbA4068.03333333333338
DRESDEN/tictactoe_orthogonal/y69QFQ3956.26666666666711
BASE/tictactoe_orthogonal/WRzlVw3925.212
BASE/blocksWorldSerial/Wyg96Q3660.966666666666710
BASE/beatMania/qUHwvQ3653.666666666666510
BASE/incredible/8Qh-6Q3526.66666666666659
STANFORD/hunter/14dD-g3463.09
BASE/factoringMutuallyAssuredDestruction/NH0LGg3360.59
DRESDEN/CatchMeIfYouCanTest/CX18rA3319.26666666666710
DRESDEN/sum15/CsgWKg3278.76666666666712
BASE/sum15/QZ07Kg3264.033333333333312
DRESDEN/Catch-Me-If-You-Can/ghGWrA3262.26666666666710
DRESDEN/tictactoe/BTTzPw3237.13333333333312
DRESDEN/catch_me/ghGWrA3211.066666666666610
DRESDEN/Thief_Police/CX18rA3203.76666666666710
BASE/ticTacToe/JRFsaQ3189.433333333333410
BASE/factoringGeorgeForman/HGRorQ3171.215
DRESDEN/SC_TestOnly_enabled/09o7gQ3068.48
DRESDEN/eotcatcit/mQUxzA3008.012
STANFORD/trifecta/ss1kyQ2982.533333333333311
BASE/eotcatcit/AfZSzA2968.933333333333412
BASE/factoringEasyTurtleBrain/lUj94Q2962.533333333333310
STANFORD/tictactoe/ss1kyQ2955.411
BASE/blocker/dIWtxg2954.333333333333512
STANFORD/knightstourmedium/x1wu8Q2917.110
DRESDEN/knightstour/cGISAA2815.26666666666710
DRESDEN/blocker/S815zQ2789.666666666666512
BASE/knightsTour/mvtVIg2776.833333333333510
DRESDEN/tictactoe-init1/3ltIBQ2775.433333333333412
DRESDEN/blocksworldparallel/2JfVaw2733.36666666666710
STANFORD/knightstour/cEwgNA2701.710
DRESDEN/chickentictactoe/Ipbo-g2670.933333333333412
BASE/chickentictactoe/DSlZCA2657.911
BASE/tictactoe-init1/7M19vA2641.112
STANFORD/tictactoe7/-bE9-A2598.73333333333312
BASE/gt_coordination/IVMOzA2562.966666666666710
BASE/snakeParallel/RCVNtw2450.2333333333339
BASE/coloredtrails/EZvr7g2376.966666666666710
BASE/tron_10x10/7ZTgDg2321.33333333333359
BASE/asteroidsParallel/WauZiA2228.433333333333410
BASE/lightsOnParallel/SC6enA2177.533333333333312
BASE/eotcitcit/V_9_bg2154.76666666666711
STANFORD/tictactoe5/WFRReg2152.933333333333413
BASE/tictactoe2/bhrDoQ2127.614
DRESDEN/ghostmaze2p/HY0UwA2119.79
BASE/ticTicToe/c1OobQ2103.033333333333312
DRESDEN/tictictoe/LAUtwg2093.533333333333311
STANFORD/tictictoe/rpt_Dw2086.86666666666711
BASE/ghostMaze2p/W-NU-w2086.466666666666711
DRESDEN/latenttictactoe/kITHKg2052.7666666666679
BASE/asteroidsSerial/id2QkA1804.566666666666610
STANFORD/tictactoe3/X7myng1736.833333333333313
BASE/gt_prisoner/klthDw1692.510
BASE/gt_staghunt/xPjLRA1687.933333333333410
DRESDEN/gt_prisoner/huCp4w1636.066666666666610
DRESDEN/statespacemedium/dVJZ_w1633.214
BASE/stateSpaceMedium/3bUoIw1610.314
BASE/chineseCheckers1/gqtwHw1548.333333333333310
BASE/kalaha5x2x3/WviNsw1488.49
DRESDEN/cube_2x2x2/fp-34Q1436.133333333333410
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A1409.333333333333310
DRESDEN/hanoi/RQ0jiA1385.113
BASE/hanoi/iGLsJg1354.333333333333313
BASE/knightsTourLarge/M8jgLA1345.566666666666610
DRESDEN/gt_chicken/CeuKtw1342.033333333333310
STANFORD/dualhunter/1rPZjQ1331.966666666666711
BASE/gt_chicken/gmepTQ1312.866666666666610
BASE/kalaha6x2x4/XS81Mg1269.46666666666679
BASE/knightfight/SJRkAg1264.833333333333311
BASE/hanoi_6_disks/MeubgQ1256.466666666666711
DRESDEN/hanoi_6_disks/MeubgQ1248.311
DRESDEN/logistics/fPru1Q1232.96666666666678
DRESDEN/knightfight/4_Ly4w1232.092263591213611
BASE/kalaha_2009/dRiN3g1182.06666666666669
STANFORD/knightstourbig/TQUI2g1159.133333333333410
DRESDEN/kalaha_2009/gcC8uA1150.39
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA1122.010
DRESDEN/vacuum_cleaner_1/eUNjpw1120.354631203546210
BASE/ticTacToeNoVars/XT03NA1116.333333333333315
DRESDEN/twisty-passages/j7NPyg1111.510
BASE/duplicateStateMedium/U163eQ1110.466666666666712
BASE/twisty-passages/DiZmmg1087.766666666666711
BASE/chineseCheckers2/eCMR3Q1072.910
BASE/bomberman2p/4CClwA1065.566666666666610
DRESDEN/bomberman2p/x4h6jQ1060.53333333333339
DRESDEN/racetrackcorridor/O0DoTA1030.43333333333349
DRESDEN/kitten_escapes_from_fire/uW-YiA992.533333333333311
DRESDEN/vacuumcleaner_random/_6AGDA988.900739950679
BASE/numbertictactoe/rvJ-iQ983.233333333333313
BASE/kitten_escapes_from_fire/uW-YiA981.933333333333311
DRESDEN/hanoi7/51zz5Q937.311
DRESDEN/mummymaze2p/k-8edg930.13333333333337
BASE/mummymaze2p/vpjDdA922.66666666666667
DRESDEN/hanoi7_bugfix/3gdnFw922.166666666666611
BASE/hanoi7_bugfix/3gdnFw915.366666666666711
BASE/shmup/ssTNlg910.83333333333349
STANFORD/sukoshi/4LYZZQ889.637012099596615
BASE/chineseCheckers3/-1rZdQ877.810
DRESDEN/aipsrovers01/qS47Mw877.413
BASE/aipsrovers01/4C4jsw856.438118729375713
DRESDEN/chinesecheckers1/Y-ftaA841.033333333333311
DRESDEN/brain_teaser_extended/ZDp94A830.572314256191515
BASE/brain_teaser_extended/ZDp94A809.066666666666715
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ808.833333333333410
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw800.766666666666710
BASE/ticTacToeParallel/ymRGPw781.113
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg774.810
BASE/lightsOut/5P1ZBw765.713
DRESDEN/lightsout/XgLpzQ759.915
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg759.666666666666610
DRESDEN/lightsout2/LFtfyQ757.233333333333315
BASE/ticTacToeLargeSuicide/727_8g748.066666666666713
DRESDEN/tictactoeparallel/yk_DSg747.683487767482115
DRESDEN/tictactoelargesuicide/6J4DeA738.859447388594515
DRESDEN/tictactoelarge/IwXcbg734.566666666666715
BASE/ticTacToeLarge/TZC0dg734.166666666666613
BASE/factoringMediumTurtleBrain/8RBqmQ704.80983967201111
BASE/sheepAndWolf/g4THrg681.49
DRESDEN/bunk_t/7-tPfA679.933333333333315
BASE/mummyMaze2p_2007/YGA3Vw673.855076328244810
DRESDEN/4pttc/9pB9AQ673.610879637345410
DRESDEN/mummymaze2p-comp2007/oTQRQg673.010
DRESDEN/doubletoetictac/V89gKQ670.515
DRESDEN/sheep_and_wolf/enAIzQ665.71114296190139
BASE/gt_tinfoil/Q8DyKg665.111162961234610
BASE/minichess/8NQEiA661.977934068864310
BASE/bunk_t/xbpfIA655.515
BASE/doubletictactoe/HH1htg654.366666666666715
DRESDEN/doubletictactoe/lJzgmQ654.015
DRESDEN/chinesecheckers2/06E6-Q647.0784307189769
BASE/doubletoetictac/fu35bg644.366666666666715
DRESDEN/3pffa/0YrmQw637.233333333333312
BASE/racetrackcorridor/_RkdUg629.912336255458212
DRESDEN/grid_game/U7_Yeg628.611
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg607.033333333333311
DRESDEN/minichess/c7GMFw595.266666666666710
DRESDEN/3pttc/uwYBZw592.766666666666713
STANFORD/breakthrough/d5j0cQ583.113896203459812
BASE/double_tictactoe_dengji/zgaSbA580.833333333333415
DRESDEN/connectfoursuicide/M9CNQg573.812
BASE/connectFourSuicide/c8p9Kw568.547715076164113
BASE/connectFour/WAIKTw567.196507714352413
BASE/snake_2009/7l-qAQ562.28
DRESDEN/connectfour/5tc-Mg557.033333333333312
DRESDEN/snake_2009/zIYLVw555.96666666666678
DRESDEN/double_tictactoe_dengji/bGaUyQ545.915
DRESDEN/chinesecheckers3/QsCb2A536.848771707609810
BASE/chineseCheckers6/rREH3A536.466666666666710
BASE/tictactoe_3player/GtM71g536.374845869297113
STANFORD/connectfour/VMpZkQ533.466666666666713
BASE/snake_2008_tweaked/bX0NJQ530.86666666666678
BASE/knightwar/DVGY4Q522.50991369255897
DRESDEN/knightwar/7hhAqg520.33333333333349
DRESDEN/frogs_and_toads/GjchhQ520.249325022499310
BASE/catcha_mouse/cHv4dw518.782707243091912
BASE/snake_2008/i6K26g517.18276057464758
DRESDEN/tictactoe_3player/ESLQQQ514.349521682610513
DRESDEN/snake_2008/E56l3A514.31618946035138
DRESDEN/catcha_mouse/cHv4dw512.612
BASE/withConviction/3Xm54A495.7333333333333514
BASE/stateSpaceLarge/0Ge_CQ492.2835905469817714
DRESDEN/statespacelarge/8-y5HQ484.414
DRESDEN/ticblock/Z2yNWQ481.4666666666666413
BASE/connectFour_9x6/B9TtMw479.166666666666713
BASE/ticblock/T21C1g471.3509549681677413
DRESDEN/uf20-01.cnf.SAT/42Rs8A461.83333333333339
DRESDEN/bidding-tictactoe/yW5vTA459.4693687087527712
BASE/biddingTicTacToe/8mESVw448.0402612984935312
DRESDEN/uf20-010.cnf.SAT/5ICbCg447.833333333333313
DRESDEN/snake_2009_big/DgC1NQ440.08
BASE/snake_2009_big/-oRfVw438.15206159794678
STANFORD/multipletictactoe/_bkafQ438.104126391573912
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA431.911
DRESDEN/uf20-020.cnf.SAT/hDrW_A430.613
DRESDEN/sat_test_20v_91c_version2/a1mPBA430.211
DRESDEN/sat_test_20v_91c/dK7nVw424.719176027465813
BASE/4pttc/AL1k2Q420.133333333333310
BASE/solitaireChineseCheckers/-ET6gw387.133333333333310
BASE/dualConnect4/WbCQkg385.053831538948712
BASE/breakthroughSmallHoles/bxclRw373.454218192726913
DRESDEN/chinesecheckers6/yTbPDA372.7666666666666510
DRESDEN/pawn_whopping/4ogBkg371.8209393020232515
BASE/lightsOnSimultaneous/_VN6lw370.987633745541815
BASE/checkLines/Vop7oQ370.187660411319611
BASE/max_knights/2fq3Ag367.087763741208610
DRESDEN/max_knights/hCipiA360.133333333333310
BASE/pawnWhopping/Ypc_6Q355.5333333333333613
DRESDEN/stratego/Z2wovg355.3881537282090312
DRESDEN/pawn_whopping_corrected/7Ov0jQ353.0666666666666615
DRESDEN/tictactoex9/rFkD4w346.688443718542712
BASE/connectFourLarge/aU644A346.0102659822678712
BASE/chineseCheckers4/avfBcQ344.366666666666711
BASE/tictactoex9/BI26ow344.087455005999212
BASE/dotsAndBoxes/EHwA_w342.2666666666666513
BASE/dotsAndBoxesSuicide/jzQbLw339.6993633969936513
BASE/crisscross/ICagEg338.833333333333311
DRESDEN/chomp/-LcqYQ338.743542742876213
BASE/chomp/-LcqYQ332.0333333333333613
BASE/duplicateStateLarge/dcjyuw331.8889370354321512
BASE/3pffa/pR0dzA328.4447703486434312
DRESDEN/vacuumcleaner_random_big/DwzFaQ326.935892309742777
BASE/3pConnectFour/PqXOFQ326.913
DRESDEN/crossers3/xiPTxg321.911872541830510
DRESDEN/crisscross/GsY16g319.6786880874608411
BASE/3pttc/0sol9g318.3893870204326511
BASE/4pffa/Q3ADlg318.212119192053912
BASE/crossers3/O0rORg314.310
BASE/ruleDepthExponential/UamhHQ305.100581004934166
BASE/ttcc4_2player_small/Cv72TA294.61369242050539
BASE/lightsOnSimul4/9FeASw292.0666666666666615
BASE/2pffa/6oHijA289.447370175321612
BASE/2pffa_zerosum/o0_uZA288.947403506432913
BASE/2pttc/unkkYA286.133333333333311
STANFORD/freeforall/Lfp40Q274.7483501099926612
BASE/breakthroughSuicideSmall/XSbJog273.672632736726312
BASE/breakthroughSmall/HJ0tIA270.1243291890270411
BASE/tictactoe_3d_small_2player/oOryKA269.6820211985867713
DRESDEN/tictactoe_3d_small_2player/HYttcg269.197440341287814
BASE/blocksWorldParallel/RseaAQ266.633333333333315
DRESDEN/quarto/OQzRYQ256.8914369521015711
BASE/quartoSuicide/-23jUg255.2666666666666811
BASE/escortLatch/mX9BjQ255.0163322445170313
BASE/wallmaze/uxNQ9g253.791540281990612
BASE/crissrace/ERWGDA253.6453825154803810
DRESDEN/hallway/0H4l-Q253.0582313922869310
STANFORD/pilgrimage/ObRZnQ248.283447770148659
DRESDEN/quartosuicide/WIU1oQ247.3258022593222211
BASE/hallway/ckCJOw247.1921346442259710
BASE/quarto/EwBMVQ245.291823605879811
BASE/snakeAssemblit/UO4sdg241.8758124187581312
DRESDEN/mimikry/GJEhwA239.950669955336313
DRESDEN/crissrace/KWb9bw239.092030265657810
BASE/connectFourSimultaneous/7ITr3g217.9564087182563414
DRESDEN/chinesecheckers4/-oVNYg214.012
BASE/pacman3p/wW7UVQ210.426319122695910
DRESDEN/pacman3p/rBnk8Q208.072257032395679
BASE/connect5/d-BVQg202.819812012532511
BASE/futoshiki4/BaCwSw202.159928002399915
DRESDEN/connect5/1kYzSg202.0461210343908411
BASE/pacman2p/4LEdQg201.2666666666666810
DRESDEN/smallest_4player/ADDROA201.2532497833477711
BASE/smallest_4player/ADDROA201.1932935568814311
BASE/checkersBarrelNoKings/rnKNeg200.52664911169639
BASE/rubiksCube/9tNO9Q195.512
BASE/blockerParallel/7-nDJA195.4869675354976315
DRESDEN/blockerparallel/dVQgSg194.6407145713904815
BASE/ticTacToeSerial/Amrwqw190.6015664055990715
DRESDEN/breakthroughsuicide/Y9QzqQ180.37594987335029
BASE/breakthroughHoles/nZk0Sg179.3547096860209310
DRESDEN/breakthroughsuicide_v2/LU1nAw178.59404686510459
STANFORD/nineboardtictactoe/y28P-A176.0706548908515315
BASE/conn4/va9Y7A174.7883474435037715
BASE/checkersTorusNoKings/pwb6oQ174.57090484919189
BASE/connectFourLarger/qKi60A173.9275357488083712
BASE/knightThrough/gcwFjA173.38266173382669
BASE/blockerSerial/3eqDuw173.149351731493514
DRESDEN/knightthrough/J7Fc_Q172.00466588901859
BASE/breakthroughSuicide/wZDpIg171.816151718161510
BASE/nineBoardTicTacToe/wRmqqA171.2609579680677415
DRESDEN/breakthrough/z4hK7Q171.08859409372719
BASE/nineBoardTicTacToePie/B8LzeQ170.1943268557714615
BASE/breakthrough/TGxk-g169.5610146328455710
BASE/breakthroughWalls/vOZaYA167.7832216778322210
BASE/englishDraughts/jFkQxg166.794414636584812
STANFORD/checkersonabarrelnokings/Zrevdw166.5000333266689
STANFORD/pentago/ZxzLmg165.7613223581164413
STANFORD/duikoshi/tpw1sw165.272454590901515
DRESDEN/battlesnakes1509/-qZrLw164.3890407306179511
DRESDEN/battlesnakes2011/93VtTw163.4060989835027411
BASE/checkersTorus/2vm1EQ161.627945735142169
BASE/snake2p/I3wWPQ157.184281571842815
BASE/ttcc4_2player_alt/ZEJvYA156.433333333333349
BASE/endgame/jYjfOA148.19506016466129
BASE/mineClearingSmall/frsbvw147.911
DRESDEN/knightmove/97Ipcw144.852181448521813
BASE/tttcc4/8Bs2lg143.295223492550249
BASE/ttcc4/Le0qjQ142.776203966005659
BASE/ticTacHeavenFC/mrletw141.5914465576391315
DRESDEN/tttcc4/sAvtFg137.724151723218459
BASE/knightmove/jBaJEw137.1954268191060213
BASE/hex/T1MK8g128.395720142661911
STANFORD/hex/MTqWcw127.4957501416619412
BASE/hexPie/48CH6Q126.9159003065440512
BASE/blobwars/0XT15Q124.4460733682071110
DRESDEN/endgame/IJhh3Q123.1625612479584110
BASE/majorities/ibJzSQ122.3510595761695311
DRESDEN/blobwars/ZaMluQ120.2959901336622210
STANFORD/ttcc4/Cx9SGw118.930987370455539
DRESDEN/connect4/T0-rHQ114.014
DRESDEN/tpeg/h-Scbg111.3851486468470915
BASE/choicethroughalt/tt71Lg111.3555311135553210
BASE/connect4/50bOyw111.3184908678842814
BASE/tpeg/QNs7Lw110.288971102889715
DRESDEN/pawn_whopping_simultaneous/r8dLfw109.7666666666666715
BASE/ttcc4_2player/_aH_Mw106.733333333333339
BASE/cubicup/4wNWJA104.1354260388550215
DRESDEN/bidding-tictactoe_10coins/mu5VhQ102.8024925855576712
BASE/ticTacHeaven/18n58A102.2299256691443615
BASE/checkersTiny/Lr48cg102.0163306115647413
DRESDEN/cubicup/SBn_lw101.2531662445007315
BASE/mummymaze1p/PT_EXA100.583236127312129
BASE/peg/fJHVWw99.7367456429737713
DRESDEN/mummymaze1p/AekgaQ98.920143980802569
DRESDEN/chinesecheckers6-simultaneous/gPPGUw98.7267515498966810
STANFORD/alquerquezero/uVgA_A97.2333333333333311
BASE/biddingTicTacToe_10coins/a-9ccQ96.8075179952012812
DRESDEN/peg_bugfixed/u_B7MA96.7172137977003815
DRESDEN/peg/Vo31eg95.5666666666666615
BASE/amazons_8x8/7SOsIw90.9909009099090210
BASE/tictactoe_3d_small_6player/g_9lww86.6217837621650515
BASE/coins_atomic/AA3SSw85.0914908509149115
DRESDEN/coins/QwFP9w84.8327335732373815
DRESDEN/tictactoe_3d_small_6player/llDEDQ83.3638878704043315
BASE/coins/QnGtnQ82.925040829250415
BASE/pentago/86NgKw81.8421140324569313
STANFORD/platformjumpers/HEQskA81.111
BASE/pegEuro/5awwhg78.643073744543313
DRESDEN/pentago_2008/hLjVpQ77.5459877366035815
BASE/pentagoSuicide/SBgNhw76.1796854172220713
BASE/minichess-evilconjuncts/4OpQzw75.8080639786737713
BASE/futoshiki5/TJ4BZg75.1391156575922115
BASE/qyshinsu/R08Lzw74.7825507381610913
DRESDEN/minichess-evilconjuncts/th24Tw73.6593007365930113
BASE/tictactoe_3d_2player/IUC1rQ73.4892397894596613
DRESDEN/tictactoe_3d_2player/LMuX9w73.1747934985345113
BASE/amazons_10x10/Bun8dA72.8902812958272210
BASE/amazonsSuicide_10x10/XIbQkg71.449995001166410
DRESDEN/javastrike/whONTQ70.3619758682754514
DRESDEN/skirmish2/iPpWhQ68.89311068893119
DRESDEN/skirmish/RjGQYQ67.153236019462779
BASE/knightazons/apnJBQ63.866666666666679
DRESDEN/skirmish3/3LU8Nw63.245584805064989
DRESDEN/knightazons/02I8BQ62.583311117035469
DRESDEN/Travelers-Dilemma/PvZwYw61.3523511180724510
DRESDEN/smallest/9kaGFw61.26666666666666612
BASE/chinook/XQh0IQ59.7527243643149912
BASE/slidingpieces/uFJWEw58.67457435111451515
DRESDEN/slidingpieces/s9_44g58.664801119328415
BASE/speedChess/bPnisA58.3100093296014911
STANFORD/chinook/osFbPA57.94928188210203511
DRESDEN/babel/WdSW4A57.48850229954009413
BASE/skirmishNew/sibw2g53.9558754915683610
BASE/skirmishZeroSum/zh4hcw53.70469083155650511
STANFORD/triplesukoshi/Iu9mbA51.3316222792573614
DRESDEN/backgammon/mqCW0Q51.29487051294870512
BASE/checkersSmall/SYmq8w48.1650611646278413
BASE/amazonsTorus_10x10/Uxc08g46.0129848510071610
DRESDEN/battlebrushes/QHXV4A43.731875604146538
DRESDEN/ggp-course2013_jordi/9QI6Kw42.20379067985743415
BASE/cubicup_3player/e2yA_g41.2501666000266515
DRESDEN/cubicup_3player/awDtsQ40.01999333555481515
BASE/futoshiki6/JmvXNA37.6987433752208315
DRESDEN/Goldrush/VeWczQ35.8856457417033213
BASE/wargame03/klXI8w34.2885704765078310
DRESDEN/brawl/2kXtfQ33.5921618289065911
BASE/brawl/6Ymo_Q32.7372031838012511
BASE/wargame01/_GZFZg32.2634347739228910
DRESDEN/checkers/jIDMIg31.4635203146352049
BASE/checkers/rOC3Xg30.5564811729423512
DRESDEN/checkers-newgoals/IJOqXQ29.780146568954038
BASE/wargame02/BkVqqQ28.5419303270498910
DRESDEN/ggp-course2013_nicolai/uEin8g27.02252986788245810
BASE/checkers-newgoals/0XkFiA26.85592429694788711
BASE/nim2/eF2Qqw26.11157368859283814
BASE/nim4/twk16w26.0510360450396414
DRESDEN/nim1/M9BALA26.0064599913422814
DRESDEN/nim3/sG_axA25.97143142543202614
DRESDEN/nim4/F5YAYg25.73921150772509514
BASE/tictactoe_3d_6player/d7KSwg25.23249225025832515
BASE/nim1/hin2Qw25.04162504162504314
DRESDEN/nim2/z5_exA24.65187554134186214
BASE/nim3/1OwUqw24.57378795950985814
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g24.0610524211017428
BASE/hidato19/rRHSmA23.67317040687221315
DRESDEN/tictactoe_3d_6player/ulZPWg23.6293951008165315
DRESDEN/cylinder-checkers/clOO3Q22.2873704900556368
STANFORD/multiplesukoshi/vLSQPg21.9571519008429714
BASE/four_way_battle/xSOQXA21.3985734284381059
BASE/cylinder-checkers/hlldmw21.110112209902448
BASE/cittaceot/fDxhXg20.89094725618898415
DRESDEN/four_way_battle/xSOQXA19.7245875465673249
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw19.0635666902814448
DRESDEN/capture_the_king/EQ229Q18.3996007319913511
BASE/simultaneousWin2/PfjRjw17.23046158973504315
DRESDEN/gt_ultimatum/pAiiQw15.5896069287141914
BASE/gt_ultimatum/GE-uOA15.33202800915939314
BASE/skirmishFinal3/-Olhfw14.23913766717679213
BASE/skirmishFinal2/gdB62Q12.06505799226769713
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw11.7135651712237868
DRESDEN/skirmishfinal/hzq8ww11.25991072023452613
DRESDEN/grid_game2/kypTYQ10.92277465117053514
DRESDEN/fizzbuzz/t1xHzQ10.87498752868402713
BASE/skirmishFinal1/ecWTnQ10.45690688690555513
BASE/colonelBlottoVariant/X-n-KQ10.19150707743547111
BASE/copolymer_4_pie/IN5_jA9.11298100907972113
DRESDEN/farmers/S_ASnw8.9097148891235479
BASE/copolymer_4/2LDVhQ8.83016863630327913
BASE/skirmishHoles/AUCxCA7.83662626598040813
DRESDEN/towerworld/HCX34w7.767892710131456513
BASE/strangeSkirmish/gc1zKA7.26230928109800813
STANFORD/madness/UO_B3A7.212417323096353512
DRESDEN/guess/PhxGhg6.465517241379310513
STANFORD/selectivesukoshi/3xmXYg6.15210668085530914
STANFORD/skirmish/w4V6Vw6.12068391989887611
BASE/skirmish/Y_psYQ5.93757256111719213
BASE/guess/SPpk1A5.91207847541037813
DRESDEN/Zhadu/9zpQ5w5.176533050172551515
DRESDEN/checkers-mustjump/HUr33w4.8248095032109948
DRESDEN/CephalopodMicro/H3XQfg4.61012901727969214
DRESDEN/hitori/S8Gsyg4.608447715668722511
BASE/checkers-mustjump/T-8UuQ4.55876480766671112
BASE/battle/8oAvhQ4.21157353672691110
DRESDEN/battle/8oAvhQ4.20056889594496210
BASE/hitori/S8Gsyg4.14703735651250811
BASE/cephalopodMicro/9l2D3g4.100529100529100514
BASE/colonelBlottoVariant2/jruwGw3.970354685018528511
DRESDEN/pawntoqueen/f_x6Aw3.54633434972822513
BASE/pawnToQueen/-O1_JA3.539179042767836713
BASE/merrills/pku8Tg3.53181938209664648
DRESDEN/merrills/aYEzwA3.5199574948528928
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg3.47601549309762668
DRESDEN/checkers-cylinder-mustjump/vW_-pA3.25484074529210558
BASE/god/qF06gw3.18312941410524212
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw3.030101225359616512
BASE/checkers-cylinder-mustjump/rjr6qQ2.999100269919024312
BASE/hidato37/pBrqxw2.96173044925124815
BASE/slaughter/cOch8A2.79832100739556246
DRESDEN/laikLee_hex/ZeP3QQ2.61926558844471566
BASE/sudokuGrade1/tDRNRw2.56250205328690215
DRESDEN/god/2EDD5w2.4627263045793412
DRESDEN/checkers-mustjump-torus/cVc3gA2.42928452579034958
BASE/sudokuGrade2/u80Tfw2.35442366361586415
BASE/quad_5x5/JAEP5g2.34470253540500814
DRESDEN/amazons/dNB28A2.264402264402264613
DRESDEN/ggp-course2013_michal13/jWKddg2.24259613481960315
BASE/checkers-mustjump-torus/uSApKQ2.195827926938816312
BASE/sudokuGrade5/BQfUQA2.07667205063124215
BASE/sudokuGrade4/DTy07w2.06274744651828215
BASE/sudokuGrade3/eI8dvg2.062610199940117615
BASE/laikLee_hex/zbyscQ2.0398796471008216
STANFORD/sudoku/oJ1qyQ1.928768581024907815
STANFORD/duidoku/3SoMaA1.81830203649828115
DRESDEN/quad_5x5/JAEP5g1.689408706952566515
BASE/sudokuGrade6E/ihYFZA1.681324366270046615
BASE/sudokuGrade6H/ieE_9A1.663025401897805515
DRESDEN/quad_5x5_8_2/JRTLJg1.284669609328677815
DRESDEN/quad/JPe6fg1.19493605477328515
DRESDEN/othello-cornercontrol/r5Gdlg1.052181632854371410
BASE/golden_rectangle/_nYzfw0.953727760055250415
BASE/othelloHoles/c0qAzw0.925157914885471814
BASE/chess_200/XsTpYA0.912200684150513114
BASE/battlebrushes/arCwyA0.909634949132256213
BASE/quad/tw-Ufg0.895575855274941814
BASE/othelloSuicide/B442jg0.87833441769681214
BASE/othello-comp2007/86ZoMw0.829462508294625114
BASE/racer4/0vs7Ww0.751020408163265312
BASE/quad_7x7/q-JOXg0.722794806585463815
BASE/zhadu/DlA8iQ0.613298902517753414
DRESDEN/small_dominion/yB5GJA0.523372724017298810
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g0.500763664588497413
DRESDEN/quad_7x7/q-JOXg0.459819858808255115
BASE/queens08ug/kJ_ZFQ0.423427064688107514
BASE/factoringImpossibleTurtleBrain/kcBhdw0.409887753815109111
BASE/queens06ug/7Lq3tw0.292362041661590914
BASE/ad_game_2x2/D0aWqg0.2379819133745835210
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.2321437898634414215
BASE/amazons/RKKZjw0.185093780848963479
BASE/amazonsSuicide/dE1QEQ0.176180408738548268
DRESDEN/queens/mW2wHQ0.162142880306125759
DRESDEN/satlike_20v_91c/yeuENQ0.1553434254778752215
DRESDEN/racer/vk_ZBA0.1137074307806015113
BASE/racer/QQYQNw0.1066723558589791513
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.0994292759560124915
BASE/gt_attrition/kD_SCA0.0990458582323615912
BASE/blokbox_simple/JBx4bg0.0523135675237372815
BASE/colonelBlotto/jip21A0.00460829493087557613
DRESDEN/golden_rectangle/1uloXw0.015

Games with errors:

GameError message
BASE/queens16ug/gT-ylwTest process timed out after 240 seconds
BASE/reversiSuicide/9OxJlgTest process timed out after 240 seconds
BASE/queens08lg/Ru7eqQTest process timed out after 240 seconds
BASE/nonogram_10x10_1/0Xc62gException of type NullPointerException
BASE/gt_two_thirds_6p/867v3QException of type NullPointerException
STANFORD/dualrainbow/G3OnRQException of type NullPointerException
BASE/queens12ug/u6BkmgTest process timed out after 240 seconds
BASE/amazonsTorus/soxT8gException of type StackOverflowError
BASE/alexChess/LNo83gException of type StackOverflowError
BASE/gt_two_thirds_4p/DStnxQException of type NullPointerException
BASE/queens31lg/0gID-ATest process timed out after 240 seconds
BASE/nonogram_5x5_1/qLKEZwException of type NullPointerException
STANFORD/rainbow/_4qNSQException of type NullPointerException
BASE/queens/HyJJnQTest process timed out after 240 seconds
BASE/gt_two_thirds_2p/1APDGgException of type NullPointerException
BASE/reversi/d8UMeATest process timed out after 240 seconds
BASE/sudoku/NTaNkwException of type NullPointerException

index