index

REKKURA_GENERIC_FORWARD_PROVER:1.0.0

Comparison with GGP-Base Prover:

Median speedup0.10755519641943184
Mean speedup0.3910856794068189
Geometric mean speedup0.0
Ratio of # state changes with 1 second per game0.15125001972558721
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
ALLOY_DIFF_PROP_NET:1 (comparison)0265173
PALAMEDES_JOCULAR:0.6.1 (comparison)36804278
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 (comparison)66946810
SANCHO_DEAD_RECKONING_PROPNET:1.61c (comparison)0444993
ALLOY_TUPLE_PROVER:2 (comparison)14052911
CADIAPLAYER_PROLOG:3.0 (comparison)11543884
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 (comparison)25712850
REKKURA_BACKWARD_PROVER:1.0.0 (comparison)1105320
REKKURA_BACKWARD_PROVER_OSTD:1.0.0 (comparison)915330
PALAMEDES_JAVA_ECLIPSE:0.6.1 (comparison)16951813
GGP_BASE_PROVER:2015-04-26 (comparison)30051313
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 (comparison)145133859
ALLOY_COMPILED_PROVER_CACHING:2 (comparison)0453911
FLUXPLAYER_PROLOG:1.1 (comparison)704243113

Game-by-game statistics:

GameAverage state changes per secondRanking
BASE/pearls/6k_mEQ14857.06666666666811
BASE/haystack/UkweGA14239.83333333333412
BASE/onestep/xi53wA7507.86666666666714
BASE/survival/YVIjJA7246.33333333333314
DRESDEN/troublemaker01/C-lPWw4509.56666666666714
BASE/troublemaker01/s3tlEQ4405.114
BASE/buttons/hTcUjw3923.214
DRESDEN/buttons/ADUaHw3907.36666666666715
DRESDEN/troublemaker02/iZLVuA3761.666666666666514
BASE/troublemaker02/DI83KA3656.13333333333314
STANFORD/buttonsandlights/eyhJpA3422.533333333333314
BASE/factoringGeorgeForman/HGRorQ3368.933333333333412
BASE/stateSpaceSmall/Q7osKA3299.513
DRESDEN/statespacesmall/h-NqjA3235.066666666666613
BASE/coins_atomic/AA3SSw2856.6333333333338
DRESDEN/coins/QwFP9w2847.53333333333338
BASE/coins/QnGtnQ2839.53333333333338
BASE/untwistycomplex2/EDPPAQ2801.015
STANFORD/untwistycorridor/EDPPAQ2725.515
BASE/blocksWorld/SEdXLQ2724.933333333333414
BASE/blocks/xIV5hQ2693.333333333333514
DRESDEN/blocks/vg0DRw2683.13333333333314
STANFORD/untwistycomplex/HTWEwg2472.166666666666512
BASE/tictactoe2/bhrDoQ2351.966666666666713
BASE/duplicateStateSmall/bCPAXw2337.13333333333314
BASE/lightsOn/MsXu3A2288.315
DRESDEN/sum15/CsgWKg2287.033333333333314
BASE/sum15/QZ07Kg2169.73333333333315
BASE/switches/tPUoCg2106.23333333333314
BASE/stateSpaceMedium/3bUoIw1992.533333333333312
DRESDEN/tictactoe/BTTzPw1983.133333333333414
DRESDEN/statespacemedium/dVJZ_w1969.313
BASE/eotcatcit/AfZSzA1911.566666666666615
DRESDEN/chickentictactoe/Ipbo-g1839.133333333333415
DRESDEN/eotcatcit/mQUxzA1823.415
BASE/maze/cCX3qQ1814.315
BASE/blocks2player/wnTLOQ1745.833333333333313
DRESDEN/blocks2player/3ev8nQ1719.366666666666614
DRESDEN/2player_normal_form_2010/NG_Kdg1686.214
DRESDEN/circlesolitaire/ruUilQ1681.614
DRESDEN/lightson2x2/gBHuig1676.414
BASE/circlesolitaire/azuQFQ1649.733333333333315
DRESDEN/brain_teaser_extended/ZDp94A1535.566666666666613
BASE/brain_teaser_extended/ZDp94A1519.833333333333314
DRESDEN/toetictac/mJtxCA1516.433333333333415
BASE/toetictac/mTThmg1494.115
STANFORD/rainbow/_4qNSQ1492.611
DRESDEN/chickentoetictac/cxYaRQ1483.715
BASE/ticTacToeNoVars/XT03NA1439.712
BASE/lightsOnParallel/SC6enA1438.266666666666715
BASE/chickentoetictac/l57rfQ1423.833333333333315
STANFORD/jointbuttonsandlights/qAKuIQ1413.966666666666714
DRESDEN/tictactoe-init1/3ltIBQ1411.414
DRESDEN/statespacelarge/8-y5HQ1385.466666666666711
BASE/stateSpaceLarge/0Ge_CQ1364.366666666666612
BASE/tictactoe-init1/7M19vA1353.333333333333315
DRESDEN/point_grab/r5DPmQ1345.033333333333314
BASE/tictactoe_orthogonal/WRzlVw1299.115
DRESDEN/doubletictactoe/lJzgmQ1298.511
BASE/bunk_t/xbpfIA1296.166666666666711
BASE/doubletictactoe/HH1htg1286.313
DRESDEN/bunk_t/7-tPfA1283.266666666666711
DRESDEN/tictactoe_orthogonal/y69QFQ1276.415
STANFORD/tictactoe3/X7myng1264.633333333333415
BASE/doubletoetictac/fu35bg1258.466666666666712
STANFORD/multiplebuttonsandlights_9/SqB9BA1238.033333333333314
DRESDEN/blocker/S815zQ1237.333333333333315
STANFORD/multiplebuttonsandlights/cK70Yg1235.533333333333314
DRESDEN/doubletoetictac/V89gKQ1232.613
STANFORD/bestbuttonsandlights/nm0wEA1226.366666666666615
DRESDEN/latenttictactoe/kITHKg1224.433333333333415
STANFORD/sukoshi/4LYZZQ1219.933333333333414
DRESDEN/ticblock/Z2yNWQ1211.533333333333311
STANFORD/tictactoe/ss1kyQ1208.515
STANFORD/trifecta/ss1kyQ1205.866666666666615
BASE/ticTacToe/JRFsaQ1200.666666666666715
STANFORD/tictactoe5/WFRReg1193.733333333333314
DRESDEN/tictactoelargesuicide/6J4DeA1161.612
BASE/chickentictactoe/DSlZCA1144.066666666666614
DRESDEN/tictactoelarge/IwXcbg1141.366666666666612
STANFORD/tictactoe7/-bE9-A1138.314
DRESDEN/tictactoeparallel/yk_DSg1113.233333333333312
DRESDEN/oisters_farm/pTQMLg1073.315
BASE/factoringMutuallyAssuredDestruction/NH0LGg1053.733333333333313
BASE/blocksWorldSerial/Wyg96Q1050.915
BASE/factoringEasyTurtleBrain/lUj94Q1040.366666666666615
BASE/blocker/dIWtxg1032.015
BASE/firefighter/WJmoPw1005.315
BASE/ticblock/T21C1g1004.566666666666712
DRESDEN/firefighter/WJmoPw1002.933333333333315
BASE/hodgepodge/9yjRkw996.166666666666614
DRESDEN/lightsout/XgLpzQ995.566666666666712
STANFORD/3puzzle/41ibjA992.614
STANFORD/threepuzzle/41ibjA978.866666666666714
DRESDEN/lightsout2/LFtfyQ975.166666666666612
DRESDEN/Catch-Me-If-You-Can/ghGWrA969.913
DRESDEN/Thief_Police/CX18rA965.666666666666613
BASE/eotcitcit/V_9_bg963.433333333333315
DRESDEN/tictictoe/LAUtwg963.266666666666715
DRESDEN/catch_me/ghGWrA962.213
DRESDEN/CatchMeIfYouCanTest/CX18rA951.833333333333413
BASE/double_tictactoe_dengji/zgaSbA951.066666666666713
DRESDEN/blocksworldparallel/2JfVaw926.166666666666614
STANFORD/dualrainbow/G3OnRQ920.166666666666611
STANFORD/bestbuttonsandlightsbig/g0JC6g902.966666666666714
DRESDEN/double_tictactoe_dengji/bGaUyQ871.833333333333414
BASE/incredible/8Qh-6Q838.566666666666714
BASE/ruleDepthLinear/OUBJpQ825.933333333333312
DRESDEN/8puzzle/8fKC2w816.015
BASE/numbertictactoe/rvJ-iQ802.666666666666615
BASE/duplicateStateMedium/U163eQ790.833333333333413
BASE/point_grab/V_osUg750.213
DRESDEN/pawn_whopping_corrected/7Ov0jQ739.366666666666712
STANFORD/tictictoe/rpt_Dw699.266666666666715
BASE/ticTacToeLarge/TZC0dg694.776840771974314
BASE/ticTacToeLargeSuicide/727_8g694.166666666666614
BASE/ticTicToe/c1OobQ690.215
DRESDEN/pawn_whopping/4ogBkg670.777640745308513
BASE/lightsOut/5P1ZBw662.433333333333314
BASE/gt_dollar/TGjqRw659.433333333333314
BASE/withConviction/3Xm54A585.71380953968213
STANFORD/duikoshi/tpw1sw583.433333333333312
BASE/blocksWorldParallel/RseaAQ577.366666666666712
DRESDEN/knightstour/cGISAA533.833333333333413
BASE/snakeParallel/RCVNtw524.566666666666713
BASE/coloredtrails/EZvr7g514.666666666666614
BASE/lightsOnSimultaneous/_VN6lw508.416386120462712
BASE/eightPuzzle/vLrgFg507.116429452351614
STANFORD/8puzzle/jNiGtw498.366666666666715
BASE/ticTacToeParallel/ymRGPw497.915
BASE/beatMania/qUHwvQ488.317056098130114
BASE/simultaneousWin2/PfjRjw486.69
STANFORD/eightpuzzle/W_aWbA485.413
BASE/ticTacToeSerial/Amrwqw481.4666666666666414
BASE/gt_centipede/9fRMpw480.814
BASE/factoringMediumTurtleBrain/8RBqmQ473.1508949701676615
STANFORD/hunter/14dD-g457.718076064131213
DRESDEN/pawn_whopping_simultaneous/r8dLfw457.333333333333313
DRESDEN/connectfour/5tc-Mg453.2333333333333513
BASE/asteroids/BKCmPQ452.4666666666666414
BASE/blockerParallel/7-nDJA426.2333333333333511
DRESDEN/grid_game2/kypTYQ424.5716952203186510
DRESDEN/blockerparallel/dVQgSg423.252558248058412
DRESDEN/cube_2x2x2/fp-34Q406.5531148961701415
BASE/aipsrovers01/4C4jsw399.0533648878370614
DRESDEN/aipsrovers01/qS47Mw393.2666666666666515
BASE/conn4/va9Y7A386.720442651911613
DRESDEN/catcha_mouse/cHv4dw384.813
BASE/catcha_mouse/cHv4dw374.6875104163194714
BASE/lightsOnSimul4/9FeASw374.5083661089260512
BASE/ticTacHeaven/18n58A370.7333333333333511
STANFORD/connectfour/VMpZkQ360.333333333333314
BASE/connectFour/WAIKTw356.388120395986814
BASE/blockerSerial/3eqDuw354.6096926871541713
DRESDEN/peg/Vo31eg353.043130457969512
BASE/tpeg/QNs7Lw352.109859342710513
DRESDEN/peg_bugfixed/u_B7MA348.212
BASE/futoshiki4/BaCwSw343.2552248258391513
STANFORD/dualhunter/1rPZjQ341.921935935468814
DRESDEN/tpeg/h-Scbg336.2666666666666514
DRESDEN/sheep_and_wolf/enAIzQ334.2333333333333514
BASE/connectFour_9x6/B9TtMw332.055598146728414
STANFORD/knightstourmedium/x1wu8Q324.9558348055064713
BASE/ticTacHeavenFC/mrletw320.411
BASE/breakthroughSmallHoles/bxclRw314.022865904469815
BASE/roshambo2/KNPokQ313.822872570914314
DRESDEN/roshambo2/jgSlkQ310.8459436037597415
STANFORD/triplesukoshi/Iu9mbA310.768923107689213
BASE/snake2p/I3wWPQ298.313
BASE/asteroidsSerial/id2QkA298.113459102726514
BASE/checkLines/Vop7oQ295.866666666666713
DRESDEN/logistics/fPru1Q287.1475234984334314
STANFORD/knightstour/cEwgNA278.281447903473114
BASE/knightsTour/mvtVIg277.505582775055813
BASE/duplicateStateLarge/dcjyuw276.2666666666666513
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw273.5393127353931415
BASE/pawnWhopping/Ypc_6Q268.514
BASE/asteroidsParallel/WauZiA266.414
DRESDEN/tictactoe_3d_small_2player/HYttcg265.333333333333315
BASE/tictactoe_3d_small_2player/oOryKA265.2068126520681515
DRESDEN/slidingpieces/s9_44g258.2666666666666512
DRESDEN/tictactoe_3player/ESLQQQ257.1161922538497614
DRESDEN/connectfoursuicide/M9CNQg255.52481583947214
BASE/slidingpieces/uFJWEw254.049730017998812
DRESDEN/battlesnakes2011/93VtTw252.1747825217478310
DRESDEN/battlesnakes1509/-qZrLw251.5333333333333310
BASE/tron_10x10/7ZTgDg247.7666666666666814
DRESDEN/tictactoex9/rFkD4w237.9587347088430215
BASE/tictactoex9/BI26ow236.4333333333333415
DRESDEN/Runners/3bOCQw235.617625491633915
BASE/connectFourLarge/aU644A233.9844010399306714
BASE/connectFourSimultaneous/7ITr3g229.8666666666666713
BASE/nineBoardTicTacToePie/B8LzeQ228.7104622871046313
BASE/cittaceot/fDxhXg225.4032795627249811
BASE/cubicup/4wNWJA224.3591880270657612
BASE/chomp/-LcqYQ224.1925269157694614
DRESDEN/SC_TestOnly_enabled/09o7gQ223.818412105859612
DRESDEN/cubicup/SBn_lw223.812
DRESDEN/stratego/Z2wovg220.8666666666666714
DRESDEN/3pttc/uwYBZw220.4519698686754315
DRESDEN/chomp/-LcqYQ219.959334688843715
STANFORD/nineboardtictactoe/y28P-A215.6333333333333312
DRESDEN/3pffa/0YrmQw213.3666666666666714
BASE/nineBoardTicTacToe/wRmqqA210.9333333333333412
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ206.815
BASE/snakeAssemblit/UO4sdg205.405945873883514
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg205.3666666666666714
DRESDEN/tictactoe_3d_small_6player/llDEDQ204.512
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg204.315
DRESDEN/gt_prisoner/huCp4w203.8530764615692313
BASE/gt_coordination/IVMOzA203.6333333333333314
DRESDEN/sat_test_20v_91c/dK7nVw202.7599080030665614
BASE/tictactoe_3player/GtM71g201.539794694040815
BASE/tictactoe_3d_small_6player/g_9lww199.853343110459312
DRESDEN/grid_game/U7_Yeg195.0073323556859215
BASE/futoshiki5/TJ4BZg194.1407812291694514
BASE/dualConnect4/WbCQkg192.5076656445807314
STANFORD/breakthrough/d5j0cQ189.6477018964770314
DRESDEN/chinesecheckers1/Y-ftaA187.6270790973634314
BASE/3pConnectFour/PqXOFQ186.420905272981815
DRESDEN/cubicup_3player/awDtsQ181.7272757574747611
DRESDEN/connect4/T0-rHQ175.2491417524914313
BASE/connect4/50bOyw174.1275290823639413
BASE/connectFourSuicide/c8p9Kw172.794240191993615
BASE/cubicup_3player/e2yA_g172.1494517214945312
DRESDEN/uf20-010.cnf.SAT/5ICbCg168.2221185254316314
DRESDEN/snake_2009/zIYLVw166.3889074061729313
DRESDEN/uf20-020.cnf.SAT/hDrW_A163.4557696153589714
BASE/snake_2009/7l-qAQ161.5117984268764214
DRESDEN/gt_chicken/CeuKtw161.073154474254314
STANFORD/multipletictactoe/_bkafQ155.5688862227554515
BASE/gt_prisoner/klthDw154.779362751633113
BASE/shmup/ssTNlg154.3333333333333412
DRESDEN/knightwar/7hhAqg152.528249058364711
DRESDEN/uf20-01.cnf.SAT/42Rs8A151.951471519514712
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA151.451521514515214
DRESDEN/mimikry/GJEhwA149.2666666666666815
BASE/gt_staghunt/xPjLRA149.0950301656611414
DRESDEN/sat_test_20v_91c_version2/a1mPBA146.5040325268279615
BASE/snake_2009_big/-oRfVw138.5953801539948513
DRESDEN/bidding-tictactoe/yW5vTA137.5104149308448613
BASE/hidato19/rRHSmA137.4620845971800814
DRESDEN/snake_2009_big/DgC1NQ137.2575161655889513
DRESDEN/pentago_2008/hLjVpQ136.0621312622912513
STANFORD/selectivesukoshi/3xmXYg133.2244517032197810
BASE/futoshiki6/JmvXNA133.148913478202912
BASE/chineseCheckers1/gqtwHw132.186781321867814
BASE/gt_chicken/gmepTQ128.1829089454739413
STANFORD/pentago/ZxzLmg127.090969676774414
BASE/biddingTicTacToe/8mESVw126.3915738950736614
BASE/sudokuGrade6H/ieE_9A124.012664555907358
BASE/sudokuGrade5/BQfUQA123.85840943937077
STANFORD/multiplesukoshi/vLSQPg122.8046789082547412
BASE/pentagoSuicide/SBgNhw122.4251716552229812
BASE/sudokuGrade3/eI8dvg122.304795547705548
BASE/sudokuGrade2/u80Tfw122.29592346921778
BASE/sudokuGrade4/DTy07w121.575684863027397
BASE/sudokuGrade6E/ihYFZA121.483802159712048
BASE/sudokuGrade1/tDRNRw121.429285690476998
BASE/pentago/86NgKw120.879853357773712
STANFORD/sudoku/oJ1qyQ120.787921207879218
BASE/minichess/8NQEiA114.7770445910817913
DRESDEN/minichess-evilconjuncts/th24Tw112.981169805032511
DRESDEN/minichess/c7GMFw112.4962501249958413
BASE/minichess-evilconjuncts/4OpQzw111.9592027198186811
DRESDEN/javastrike/whONTQ109.0666666666666612
DRESDEN/ggp-course2013_michal13/jWKddg107.9594693687087510
BASE/knightsTourLarge/M8jgLA106.8786242751449713
BASE/golden_rectangle/_nYzfw105.312270879157510
BASE/chineseCheckers2/eCMR3Q103.9021626845279813
BASE/majorities/ibJzSQ99.4767887492918313
BASE/connectFourLarger/qKi60A98.490150984901514
BASE/breakthroughSuicideSmall/XSbJog91.4786549805045413
BASE/breakthroughSmall/HJ0tIA91.0969634345521812
DRESDEN/ggp-course2013_jordi/9QI6Kw90.7454927183657113
BASE/englishDraughts/jFkQxg88.7067213169382614
DRESDEN/babel/WdSW4A87.2738178546436110
BASE/escortLatch/mX9BjQ84.5582108455821114
BASE/rubiksCube/9tNO9Q83.6333333333333414
DRESDEN/4pttc/9pB9AQ82.7112769928019114
STANFORD/freeforall/Lfp40Q82.6391202932355914
DRESDEN/frogs_and_toads/GjchhQ81.0729756747750815
STANFORD/duidoku/3SoMaA76.882060852467769
STANFORD/knightstourbig/TQUI2g76.5615625624958413
DRESDEN/kitten_escapes_from_fire/uW-YiA75.6490152297797215
BASE/kitten_escapes_from_fire/uW-YiA74.877536738978315
BASE/queens06ug/7Lq3tw74.5393355769551112
BASE/chineseCheckers3/-1rZdQ73.8802985870434614
BASE/2pffa/6oHijA70.759590707595914
BASE/mineClearingSmall/frsbvw68.4415714238112713
BASE/pegEuro/5awwhg67.1266206712662114
BASE/peg/fJHVWw66.8488403092508615
BASE/ttcc4_2player_small/Cv72TA66.2200893154702312
STANFORD/alquerquezero/uVgA_A65.831138962034613
DRESDEN/golden_rectangle/1uloXw64.162389174055069
BASE/2pffa_zerosum/o0_uZA63.3164489469474814
BASE/3pffa/pR0dzA62.23969613167627613
BASE/qyshinsu/R08Lzw60.2959802679821414
BASE/racetrackcorridor/_RkdUg58.6295346280688914
BASE/chineseCheckers4/avfBcQ58.2922277029729415
DRESDEN/racetrackcorridor/O0DoTA58.2550156635339613
BASE/4pffa/Q3ADlg54.1765235064805314
BASE/copolymer_4/2LDVhQ50.07329424307036411
DRESDEN/backgammon/mqCW0Q49.378602605537614
BASE/copolymer_4_pie/IN5_jA48.998366721109311
BASE/nonogram_5x5_1/qLKEZw48.5171609463512212
BASE/tictactoe_3d_2player/IUC1rQ48.0823697977408314
DRESDEN/tictactoe_3d_2player/LMuX9w45.5953372189841815
BASE/chineseCheckers6/rREH3A44.3896424167694214
STANFORD/pilgrimage/ObRZnQ43.4478392696498213
BASE/tictactoe_3d_6player/d7KSwg42.9304713019132113
BASE/queens08lg/Ru7eqQ42.0705506145698049
DRESDEN/Goldrush/VeWczQ41.85690005665344412
DRESDEN/smallest_4player/ADDROA38.2859618140015313
DRESDEN/tictactoe_3d_6player/ulZPWg38.19745350309979414
BASE/queens08ug/kJ_ZFQ36.9926014797040612
BASE/endgame/jYjfOA36.74951689211701512
BASE/smallest_4player/ADDROA36.3557599386850613
DRESDEN/breakthroughsuicide/Y9QzqQ36.3557599386850612
DRESDEN/breakthrough/z4hK7Q35.513
DRESDEN/breakthroughsuicide_v2/LU1nAw35.305089261923813
DRESDEN/knightthrough/J7Fc_Q33.7662337662337712
DRESDEN/smallest/9kaGFw32.714794949528614
DRESDEN/ghostmaze2p/HY0UwA32.27848101265822614
BASE/breakthroughSuicide/wZDpIg31.7455029980013313
BASE/breakthrough/TGxk-g31.62490002665955714
DRESDEN/nim4/F5YAYg31.48845423344773712
BASE/nim4/twk16w31.30515869051187412
BASE/nim3/1OwUqw31.2375116557879312
BASE/breakthroughWalls/vOZaYA31.22396614349028714
BASE/2pttc/unkkYA31.07100039962701414
BASE/breakthroughHoles/nZk0Sg30.88970343218927214
DRESDEN/nim3/sG_axA30.85124104614359613
BASE/ghostMaze2p/W-NU-w30.63297039922751714
BASE/knightwar/DVGY4Q30.35250216565602711
DRESDEN/nim2/z5_exA30.3070672084193712
DRESDEN/tttcc4/sAvtFg30.09799346710219212
BASE/nim1/hin2Qw30.08295299330379512
BASE/nim2/eF2Qqw29.9870056308932813
DRESDEN/bidding-tictactoe_10coins/mu5VhQ29.91638071759336314
BASE/ttcc4/Le0qjQ29.56469568695420212
DRESDEN/nim1/M9BALA29.47936444488857812
BASE/dotsAndBoxes/EHwA_w29.3706293706293714
BASE/tttcc4/8Bs2lg29.29023658780406712
BASE/dotsAndBoxesSuicide/jzQbLw29.25106609808102214
BASE/mummyMaze2p_2007/YGA3Vw29.0246259455496714
DRESDEN/bomberman2p/x4h6jQ28.76666666666666613
DRESDEN/mummymaze2p-comp2007/oTQRQg28.5885645741703314
BASE/bomberman2p/4CClwA28.4991343720868314
BASE/biddingTicTacToe_10coins/a-9ccQ27.5806935145398214
DRESDEN/ggp-course2013_nicolai/uEin8g26.68132307384830811
DRESDEN/CephalopodMicro/H3XQfg25.67689079828154811
DRESDEN/Zhadu/9zpQ5w25.62649960010663713
DRESDEN/endgame/IJhh3Q25.2224036250957913
BASE/choicethroughalt/tt71Lg24.50964068067534613
STANFORD/hex/MTqWcw24.3292784535910713
BASE/hex/T1MK8g24.32684617435350614
BASE/hexPie/48CH6Q24.16102909321158514
BASE/checkersBarrelNoKings/rnKNeg24.0426240426240413
STANFORD/checkersonabarrelnokings/Zrevdw23.6842105263157913
BASE/wallmaze/uxNQ9g23.5748534896110814
BASE/checkersTorusNoKings/pwb6oQ23.05053129476033313
DRESDEN/gt_ultimatum/pAiiQw23.04669286618264212
BASE/zhadu/DlA8iQ22.89
BASE/chinook/XQh0IQ22.6508110988974414
DRESDEN/pacman3p/rBnk8Q22.43824488980624613
STANFORD/ttcc4/Cx9SGw22.31696755712477712
BASE/pacman3p/wW7UVQ21.78765366292434213
STANFORD/chinook/osFbPA21.66461446304369412
BASE/pacman2p/4LEdQg21.60812385550191613
BASE/3pttc/0sol9g21.46595113496216815
DRESDEN/hanoi/RQ0jiA21.41834049498684314
BASE/hanoi/iGLsJg21.3502981047863314
BASE/cephalopodMicro/9l2D3g21.04421949920085311
BASE/gt_ultimatum/GE-uOA20.88329336530775413
BASE/ttcc4_2player/_aH_Mw20.78129683285043312
BASE/sheepAndWolf/g4THrg19.67114898149380814
BASE/ttcc4_2player_alt/ZEJvYA19.4439820209755312
BASE/checkersTorus/2vm1EQ19.30951826081166413
BASE/hidato37/pBrqxw17.59521037751538214
DRESDEN/hallway/0H4l-Q17.54678031564227313
DRESDEN/quad_7x7/q-JOXg17.50998668442077411
DRESDEN/skirmish2/iPpWhQ17.37336084670172612
BASE/hallway/ckCJOw17.16266204552271214
DRESDEN/towerworld/HCX34w17.15580132582697512
BASE/quad_7x7/q-JOXg17.0304949175137511
DRESDEN/skirmish3/3LU8Nw16.7655489634024413
BASE/kalaha5x2x3/WviNsw16.4251207729468614
DRESDEN/skirmish/RjGQYQ16.3847076062341813
BASE/skirmishFinal3/-Olhfw16.1746596998036411
BASE/skirmishHoles/AUCxCA15.48193773930414512
DRESDEN/mummymaze2p/k-8edg15.18835559404456614
BASE/mummymaze2p/vpjDdA15.12325116588940715
BASE/skirmishFinal2/gdB62Q14.92984970173626111
DRESDEN/skirmishfinal/hzq8ww14.64908776135304312
BASE/skirmishFinal1/ecWTnQ14.61871461871461811
DRESDEN/capture_the_king/EQ229Q14.50625499068405612
BASE/4pttc/AL1k2Q14.30996039801657313
BASE/strangeSkirmish/gc1zKA13.43019962008864512
BASE/queens12ug/u6Bkmg12.75476222192620112
BASE/knightazons/apnJBQ12.65443404708781513
DRESDEN/knightazons/02I8BQ12.50831669993346713
BASE/knightfight/SJRkAg12.17321891837956514
DRESDEN/knightfight/4_Ly4w12.08469272255143415
BASE/nonogram_10x10_1/0Xc62g12.02571704587094811
DRESDEN/brawl/2kXtfQ11.82860189257630312
BASE/brawl/6Ymo_Q11.65695253955037513
BASE/knightThrough/gcwFjA11.53294890170327713
DRESDEN/pancakes/hl9aiQ10.3387520361690115
DRESDEN/pancakes88/aD3E7g10.20951114067176712
DRESDEN/pancakes6/SZXMyQ10.19592163134746215
BASE/amazons_8x8/7SOsIw9.4430590191188714
BASE/pancakes/yUgbXw9.27341620687362914
BASE/pancakes6/QZTdnw9.16544460738568214
BASE/skirmish/Y_psYQ8.05217275570639611
BASE/queens16ug/gT-ylw6.56294766299097212
DRESDEN/fizzbuzz/t1xHzQ6.47195486226352515
BASE/connect5/d-BVQg6.36433307787144715
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg5.96441233970641815
DRESDEN/connect5/1kYzSg5.96355968501861515
DRESDEN/quad_5x5_8_2/JRTLJg5.91597979260834912
BASE/skirmishNew/sibw2g5.50671753192900913
DRESDEN/amazons/dNB28A5.49835049485154512
DRESDEN/quad/JPe6fg5.37830749311111868
BASE/quad/tw-Ufg5.3525715615545739
BASE/alexChess/LNo83g5.3490149174391184
STANFORD/platformjumpers/HEQskA5.341915790172202515
BASE/snake_2008/i6K26g5.093039512666023513
DRESDEN/snake_2008/E56l3A5.09066711029778814
BASE/speedChess/bPnisA5.056721780498353514
BASE/snake_2008_tweaked/bX0NJQ5.03811733510109414
BASE/kalaha6x2x4/XS81Mg4.56983906218954914
BASE/blokbox_simple/JBx4bg4.109906864207351511
DRESDEN/quartosuicide/WIU1oQ4.05666023807940415
DRESDEN/quarto/OQzRYQ4.005428845708232515
BASE/amazonsSuicide_10x10/XIbQkg3.984989871484076613
BASE/quartoSuicide/-23jUg3.981155862252007314
BASE/quarto/EwBMVQ3.835725150453012315
BASE/factoringImpossibleTurtleBrain/kcBhdw3.77495943574290538
BASE/amazons_10x10/Bun8dA3.743333222910524513
DRESDEN/chinesecheckers2/06E6-Q3.663125645209630613
BASE/god/qF06gw3.60855459180295311
DRESDEN/god/2EDD5w3.393213572854291411
BASE/chess_200/XsTpYA3.271321415589994311
DRESDEN/crossers3/xiPTxg3.249767873723305614
BASE/crossers3/O0rORg3.24686081569095214
BASE/battlebrushes/arCwyA3.030202124471379512
DRESDEN/guess/PhxGhg2.556016597510373214
DRESDEN/knightmove/97Ipcw2.523575508035595515
BASE/guess/SPpk1A2.522989078113069715
BASE/knightmove/jBaJEw2.48508946322067615
STANFORD/skirmish/w4V6Vw2.387663737356988714
STANFORD/madness/UO_B3A2.30680507497116514
BASE/wargame01/_GZFZg2.21312016912201913
BASE/othello-comp2007/86ZoMw2.194878616561356713
BASE/wargame02/BkVqqQ2.19196280305546313
BASE/wargame03/klXI8w2.02268054910803114
DRESDEN/quad_5x5/JAEP5g2.00836269054752614
DRESDEN/hanoi_6_disks/MeubgQ1.99946680885097315
BASE/quad_5x5/JAEP5g1.99289201846746615
BASE/reversiSuicide/9OxJlg1.926654265213925111
BASE/othelloHoles/c0qAzw1.902949571836346313
BASE/hanoi_6_disks/MeubgQ1.882803725969478815
BASE/othelloSuicide/B442jg1.857996018579960213
BASE/reversi/d8UMeA1.799384937512268612
BASE/four_way_battle/xSOQXA1.65925532620959713
DRESDEN/four_way_battle/xSOQXA1.64994720168954613
BASE/amazonsTorus_10x10/Uxc08g1.53266917669010114
BASE/checkers-mustjump-torus/uSApKQ1.45883757169855114
BASE/pawnToQueen/-O1_JA1.28200913842411514
BASE/checkers-cylinder-mustjump/rjr6qQ1.280830240730401713
DRESDEN/pawntoqueen/f_x6Aw1.256821564412105215
BASE/checkers-mustjump/T-8UuQ1.241262167635722314
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw1.223544973544973514
BASE/pancakes88/l2Xaig1.132691474830929114
BASE/max_knights/2fq3Ag1.108358325726952713
BASE/queens31lg/0gID-A1.05673337296083488
DRESDEN/max_knights/hCipiA1.0432287931146914
DRESDEN/battle/8oAvhQ0.946784198498204414
BASE/battle/8oAvhQ0.929522291936394114
BASE/checkersTiny/Lr48cg0.787117510084943114
BASE/checkersSmall/SYmq8w0.7707376601689215
BASE/checkers/rOC3Xg0.756728301638481314
DRESDEN/chinesecheckers4/-oVNYg0.745253062018015715
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg0.551410963347388912
DRESDEN/checkers-cylinder-mustjump/vW_-pA0.546676528282470912
DRESDEN/othello-cornercontrol/r5Gdlg0.539888211382113812
BASE/gt_tinfoil/Q8DyKg0.491110892839603214
BASE/skirmishZeroSum/zh4hcw0.460981231478432714
BASE/colonelBlottoVariant/X-n-KQ0.4546340196142105713
BASE/checkers-newgoals/0XkFiA0.441779741243294414
BASE/colonelBlottoVariant2/jruwGw0.4373223378002686313
DRESDEN/small_dominion/yB5GJA0.3979835500132661311
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g0.391913517750416414
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.383435582822085913
DRESDEN/chinesecheckers3/QsCb2A0.382653061224489814
BASE/colonelBlotto/jip21A0.359759288330716911
DRESDEN/satlike_20v_91c/yeuENQ0.351011551471057514
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.315935801845065114
DRESDEN/hitori/S8Gsyg0.295149706490014114
BASE/hitori/S8Gsyg0.2895007720020586514
BASE/cylinder-checkers/hlldmw0.285216289019172911
DRESDEN/hanoi7_bugfix/3gdnFw0.282034408197800114
DRESDEN/hanoi7/51zz5Q0.2818930685626585614
BASE/racer4/0vs7Ww0.2774181616423155314
DRESDEN/cylinder-checkers/clOO3Q0.2771362586605080612
BASE/hanoi7_bugfix/3gdnFw0.274859516247251415
DRESDEN/checkers-newgoals/IJOqXQ0.27448229589191512
DRESDEN/Travelers-Dilemma/PvZwYw0.2713458755426917413
BASE/gt_attrition/kD_SCA0.2473257898967414810
DRESDEN/checkers-mustjump/HUr33w0.228139360557963712
DRESDEN/checkers-mustjump-torus/cVc3gA0.2196422968308754411
DRESDEN/battlebrushes/QHXV4A0.177132229209104613
BASE/blobwars/0XT15Q0.1396297020302158814
DRESDEN/blobwars/ZaMluQ0.1393262184077799814
BASE/ruleDepthExponential/UamhHQ0.11205423424937679
DRESDEN/racer/vk_ZBA0.0803212851405622515
BASE/racer/QQYQNw0.0794659885568976515
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A0.0753333500740777914
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA0.0718029726430674314
BASE/solitaireChineseCheckers/-ET6gw0.0640471386940788414
DRESDEN/vacuum_cleaner_1/eUNjpw0.05705320211096847513
BASE/crisscross/ICagEg0.0556359185490152414
DRESDEN/crisscross/GsY16g0.0554677316471142914
BASE/twisty-passages/DiZmmg0.05264681881597304415
DRESDEN/twisty-passages/j7NPyg0.05159027007506384515
DRESDEN/vacuumcleaner_random/_6AGDA0.0496401092082402613
BASE/kalaha_2009/dRiN3g0.0442663951661096514
DRESDEN/kalaha_2009/gcC8uA0.0438548404780177614
DRESDEN/checkers/jIDMIg0.02854940474491106713
BASE/crissrace/ERWGDA0.0284721826775240613
DRESDEN/crissrace/KWb9bw0.02797828884785406513
BASE/ad_game_2x2/D0aWqg0.0266552937413370312
DRESDEN/merrills/aYEzwA0.0196309383588535510
BASE/merrills/pku8Tg0.01772201251174083311
DRESDEN/chinesecheckers6/yTbPDA0.013
BASE/amazonsSuicide/dE1QEQ0.011
BASE/amazonsTorus/soxT8g0.05
DRESDEN/chinesecheckers6-simultaneous/gPPGUw0.012
DRESDEN/vacuumcleaner_random_big/DwzFaQ0.011
BASE/gt_two_thirds_2p/1APDGg0.010
DRESDEN/farmers/S_ASnw0.012
BASE/amazons/RKKZjw0.012

Games with errors:

GameError message
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 seconds
BASE/gt_two_thirds_4p/DStnxQTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 seconds
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147483765
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147483765
BASE/mummymaze1p/PT_EXATest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 seconds
BASE/sudoku/NTaNkwTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 seconds

index