index

REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0

Comparison with GGP-Base Prover:

Median speedup0.11010358496221528
Mean speedup0.39426946909206395
Geometric mean speedup0.0
Ratio of # state changes with 1 second per game0.15053634283302955
Ratio of times to run 1000 states per gameInfinity
Number of games with errors14

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)0265164
PALAMEDES_JOCULAR:0.6.1 (comparison)36794278
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 (comparison)63947011
SANCHO_DEAD_RECKONING_PROPNET:1.61c (comparison)0444984
ALLOY_TUPLE_PROVER:2 (comparison)14052812
CADIAPLAYER_PROLOG:3.0 (comparison)11533884
REKKURA_GENERIC_FORWARD_PROVER:1.0.0 (comparison)28502571
REKKURA_BACKWARD_PROVER:1.0.0 (comparison)1805241
REKKURA_BACKWARD_PROVER_OSTD:1.0.0 (comparison)1005320
PALAMEDES_JAVA_ECLIPSE:0.6.1 (comparison)16851813
GGP_BASE_PROVER:2015-04-26 (comparison)29051314
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 (comparison)1411338810
ALLOY_COMPILED_PROVER_CACHING:2 (comparison)0453812
FLUXPLAYER_PROLOG:1.1 (comparison)714143013

Game-by-game statistics:

GameAverage state changes per secondRanking
BASE/pearls/6k_mEQ14334.86666666666712
BASE/haystack/UkweGA13598.13333333333314
BASE/onestep/xi53wA7246.23333333333415
BASE/survival/YVIjJA6863.46666666666615
BASE/troublemaker01/s3tlEQ4390.13333333333315
DRESDEN/troublemaker01/C-lPWw4369.815
DRESDEN/buttons/ADUaHw3927.214
BASE/buttons/hTcUjw3905.215
DRESDEN/troublemaker02/iZLVuA3731.715
BASE/troublemaker02/DI83KA3651.033333333333315
STANFORD/buttonsandlights/eyhJpA3342.515
BASE/factoringGeorgeForman/HGRorQ3312.614
DRESDEN/statespacesmall/h-NqjA3185.13333333333314
BASE/stateSpaceSmall/Q7osKA3171.514
BASE/untwistycomplex2/EDPPAQ2819.36666666666714
BASE/coins_atomic/AA3SSw2793.96666666666679
STANFORD/untwistycorridor/EDPPAQ2792.566666666666614
DRESDEN/coins/QwFP9w2750.6333333333339
BASE/coins/QnGtnQ2747.99
BASE/blocksWorld/SEdXLQ2709.215
BASE/blocks/xIV5hQ2688.63333333333315
DRESDEN/blocks/vg0DRw2641.36666666666715
STANFORD/untwistycomplex/HTWEwg2472.411
BASE/duplicateStateSmall/bCPAXw2415.033333333333313
BASE/lightsOn/MsXu3A2296.966666666666714
BASE/sum15/QZ07Kg2290.26666666666714
DRESDEN/sum15/CsgWKg2250.666666666666515
DRESDEN/eotcatcit/mQUxzA2156.86666666666714
BASE/eotcatcit/AfZSzA2081.166666666666514
DRESDEN/blocker/S815zQ2073.614
DRESDEN/statespacemedium/dVJZ_w2007.612
BASE/switches/tPUoCg2004.133333333333415
BASE/stateSpaceMedium/3bUoIw1963.513
DRESDEN/tictactoe/BTTzPw1942.415
BASE/maze/cCX3qQ1865.066666666666614
DRESDEN/chickentictactoe/Ipbo-g1842.033333333333314
DRESDEN/tictactoe_orthogonal/y69QFQ1834.814
BASE/tictactoe_orthogonal/WRzlVw1833.366666666666614
DRESDEN/blocks2player/3ev8nQ1743.866666666666613
DRESDEN/2player_normal_form_2010/NG_Kdg1729.066666666666613
BASE/blocks2player/wnTLOQ1692.366666666666614
DRESDEN/circlesolitaire/ruUilQ1667.015
BASE/circlesolitaire/azuQFQ1664.714
BASE/tictactoe2/bhrDoQ1641.366666666666615
DRESDEN/lightson2x2/gBHuig1630.515
BASE/brain_teaser_extended/ZDp94A1541.766666666666713
BASE/toetictac/mTThmg1534.533333333333314
DRESDEN/toetictac/mJtxCA1534.414
BASE/chickentoetictac/l57rfQ1527.533333333333314
DRESDEN/chickentoetictac/cxYaRQ1486.066666666666614
DRESDEN/brain_teaser_extended/ZDp94A1471.214
BASE/lightsOnParallel/SC6enA1457.966666666666714
STANFORD/rainbow/_4qNSQ1452.212
DRESDEN/tictactoe-init1/3ltIBQ1408.815
BASE/stateSpaceLarge/0Ge_CQ1398.833333333333311
BASE/tictactoe-init1/7M19vA1385.266666666666714
DRESDEN/point_grab/r5DPmQ1379.113
DRESDEN/statespacelarge/8-y5HQ1366.833333333333312
BASE/ticTacToeNoVars/XT03NA1333.066666666666613
STANFORD/jointbuttonsandlights/qAKuIQ1326.133333333333415
BASE/doubletictactoe/HH1htg1304.412
STANFORD/sukoshi/4LYZZQ1289.966666666666713
DRESDEN/doubletoetictac/V89gKQ1274.312
DRESDEN/doubletictactoe/lJzgmQ1269.766666666666713
DRESDEN/latenttictactoe/kITHKg1268.966666666666714
STANFORD/tictactoe3/X7myng1266.214
DRESDEN/bunk_t/7-tPfA1259.366666666666612
STANFORD/bestbuttonsandlights/nm0wEA1242.114
BASE/bunk_t/xbpfIA1241.333333333333313
BASE/doubletoetictac/fu35bg1236.766666666666713
STANFORD/trifecta/ss1kyQ1225.084994333711214
STANFORD/multiplebuttonsandlights_9/SqB9BA1223.266666666666715
STANFORD/tictactoe/ss1kyQ1216.733333333333314
STANFORD/multiplebuttonsandlights/cK70Yg1211.615
BASE/ticblock/T21C1g1208.266666666666711
BASE/ticTacToe/JRFsaQ1205.766666666666714
BASE/blocksWorldSerial/Wyg96Q1168.814
STANFORD/tictactoe5/WFRReg1165.215
STANFORD/tictactoe7/-bE9-A1135.315
DRESDEN/oisters_farm/pTQMLg1116.333333333333314
BASE/chickentictactoe/DSlZCA1097.666666666666715
DRESDEN/tictictoe/LAUtwg1097.214
DRESDEN/tictactoeparallel/yk_DSg1087.413
BASE/blocker/dIWtxg1086.114
BASE/factoringEasyTurtleBrain/lUj94Q1079.766666666666714
BASE/eotcitcit/V_9_bg1075.566666666666614
DRESDEN/ticblock/Z2yNWQ1051.466666666666712
BASE/firefighter/WJmoPw1048.266666666666714
DRESDEN/firefighter/WJmoPw1014.014
BASE/factoringMutuallyAssuredDestruction/NH0LGg991.733333333333314
DRESDEN/lightsout/XgLpzQ986.313
BASE/hodgepodge/9yjRkw983.915
STANFORD/3puzzle/41ibjA978.666666666666615
STANFORD/threepuzzle/41ibjA972.233333333333315
DRESDEN/lightsout2/LFtfyQ971.266666666666713
DRESDEN/CatchMeIfYouCanTest/CX18rA945.466666666666714
DRESDEN/Thief_Police/CX18rA942.366666666666714
DRESDEN/Catch-Me-If-You-Can/ghGWrA939.666666666666614
DRESDEN/catch_me/ghGWrA931.714
BASE/double_tictactoe_dengji/zgaSbA901.669944335188814
DRESDEN/tictactoelarge/IwXcbg897.866666666666714
DRESDEN/double_tictactoe_dengji/bGaUyQ888.413
STANFORD/dualrainbow/G3OnRQ880.266666666666712
STANFORD/bestbuttonsandlightsbig/g0JC6g876.033333333333315
DRESDEN/blocksworldparallel/2JfVaw843.866666666666715
DRESDEN/pawn_whopping_corrected/7Ov0jQ835.111
BASE/incredible/8Qh-6Q830.815
DRESDEN/8puzzle/8fKC2w828.514
BASE/ruleDepthLinear/OUBJpQ821.233333333333313
BASE/numbertictactoe/rvJ-iQ814.666666666666614
DRESDEN/tictactoelargesuicide/6J4DeA809.133333333333314
BASE/duplicateStateMedium/U163eQ752.974900836638814
DRESDEN/pawn_whopping/4ogBkg741.711
STANFORD/tictictoe/rpt_Dw739.514
BASE/point_grab/V_osUg699.810006333122314
BASE/ticTicToe/c1OobQ698.010066331122314
BASE/gt_dollar/TGjqRw665.713
BASE/lightsOut/5P1ZBw649.211692943568615
BASE/ticTacToeLarge/TZC0dg589.415
BASE/ticTacToeLargeSuicide/727_8g586.633333333333315
BASE/withConviction/3Xm54A585.766666666666712
BASE/blocksWorldParallel/RseaAQ573.280890636978713
STANFORD/duikoshi/tpw1sw561.613
BASE/ticTacToeSerial/Amrwqw544.766666666666713
DRESDEN/knightstour/cGISAA532.448918369387714
BASE/snakeParallel/RCVNtw514.216192793573614
STANFORD/8puzzle/jNiGtw506.2666666666666514
BASE/beatMania/qUHwvQ504.483183893870213
BASE/lightsOnSimultaneous/_VN6lw503.049898336722113
BASE/ticTacToeParallel/ymRGPw501.216626112462914
BASE/eightPuzzle/vLrgFg496.716776107463115
BASE/coloredtrails/EZvr7g495.215
BASE/gt_centipede/9fRMpw487.333333333333313
STANFORD/eightpuzzle/W_aWbA478.633333333333314
BASE/factoringMediumTurtleBrain/8RBqmQ477.3507549748341614
BASE/simultaneousWin2/PfjRjw469.5843471884270510
BASE/conn4/va9Y7A465.312
BASE/asteroids/BKCmPQ459.851338288723713
STANFORD/hunter/14dD-g452.214
DRESDEN/pawn_whopping_simultaneous/r8dLfw452.133333333333314
DRESDEN/grid_game2/kypTYQ434.552181593946849
DRESDEN/cube_2x2x2/fp-34Q426.9524349188360514
DRESDEN/blockerparallel/dVQgSg423.4333333333333411
BASE/blockerParallel/7-nDJA419.252691576947412
DRESDEN/aipsrovers01/qS47Mw399.014
BASE/aipsrovers01/4C4jsw398.1268539812685415
BASE/catcha_mouse/cHv4dw379.087363754541513
DRESDEN/catcha_mouse/cHv4dw378.50809946003614
BASE/blockerSerial/3eqDuw370.6209793006899512
BASE/lightsOnSimul4/9FeASw364.021199293356913
DRESDEN/tpeg/h-Scbg345.9333333333333413
STANFORD/dualhunter/1rPZjQ344.1218626045798613
DRESDEN/peg_bugfixed/u_B7MA343.5770948603426413
BASE/ticTacHeaven/18n58A342.555248158394712
DRESDEN/peg/Vo31eg342.477168188787413
BASE/futoshiki4/BaCwSw341.055298156728114
DRESDEN/sheep_and_wolf/enAIzQ340.5886470450984713
BASE/tpeg/QNs7Lw336.222125929135714
STANFORD/triplesukoshi/Iu9mbA326.112
STANFORD/knightstourmedium/x1wu8Q320.614
BASE/breakthroughSmallHoles/bxclRw320.0453303113125714
DRESDEN/tictactoex9/rFkD4w318.833333333333313
DRESDEN/roshambo2/jgSlkQ318.5666666666666614
BASE/tictactoex9/BI26ow315.789473684210513
BASE/roshambo2/KNPokQ312.7229092363587615
BASE/snake2p/I3wWPQ301.756608113062912
BASE/asteroidsSerial/id2QkA300.6233125562481513
BASE/ticTacHeavenFC/mrletw299.8067053256015712
DRESDEN/connectfoursuicide/M9CNQg296.4567847738408713
DRESDEN/logistics/fPru1Q295.013
STANFORD/knightstour/cEwgNA280.9666666666666413
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw279.214
DRESDEN/connectfour/5tc-Mg278.9294760698573414
BASE/duplicateStateLarge/dcjyuw275.181654556362914
BASE/knightsTour/mvtVIg270.1909936335455314
DRESDEN/tictactoe_3d_small_2player/HYttcg269.833333333333313
BASE/tictactoe_3d_small_2player/oOryKA267.866666666666714
BASE/asteroidsParallel/WauZiA267.124429185693813
BASE/pawnWhopping/Ypc_6Q265.1401526514015415
BASE/connectFourSuicide/c8p9Kw260.0159989334044314
DRESDEN/slidingpieces/s9_44g259.358021399286711
BASE/slidingpieces/uFJWEw257.891403619879311
DRESDEN/battlesnakes2011/93VtTw256.957173804365949
DRESDEN/tictactoe_3player/ESLQQQ253.8915369487683615
DRESDEN/battlesnakes1509/-qZrLw251.924935835472169
BASE/connectFour/WAIKTw248.5250491650278415
BASE/tron_10x10/7ZTgDg243.050463302446515
DRESDEN/Runners/3bOCQw239.414
STANFORD/connectfour/VMpZkQ233.1433523314335315
BASE/nineBoardTicTacToePie/B8LzeQ229.6666666666666612
DRESDEN/chomp/-LcqYQ224.6516898873408414
BASE/chomp/-LcqYQ223.477652234776515
DRESDEN/stratego/Z2wovg222.9518032131191213
DRESDEN/cubicup/SBn_lw221.9926002466584413
BASE/cubicup/4wNWJA221.8186664889540513
DRESDEN/SC_TestOnly_enabled/09o7gQ220.6779322067793313
DRESDEN/3pttc/uwYBZw220.6186254249716714
DRESDEN/3pffa/0YrmQw214.7451921474519213
BASE/snakeAssemblit/UO4sdg209.7790220977902313
BASE/crisscross/ICagEg209.7263424552514812
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ208.419438704086414
BASE/tictactoe_3player/GtM71g208.0333333333333314
DRESDEN/crisscross/GsY16g207.7597413419552812
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg205.0794920507949314
BASE/gt_coordination/IVMOzA204.1129220411292213
STANFORD/multipletictactoe/_bkafQ202.0599313356221414
DRESDEN/gt_prisoner/huCp4w200.6732435675243414
DRESDEN/sat_test_20v_91c/dK7nVw200.053329778014815
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg199.7200186654223215
BASE/tictactoe_3d_small_6player/g_9lww199.3067590987868413
DRESDEN/tictactoe_3d_small_6player/llDEDQ198.9467719894677213
BASE/nineBoardTicTacToe/wRmqqA198.3666666666666714
BASE/connectFour_9x6/B9TtMw198.340497850644815
BASE/3pConnectFour/PqXOFQ197.946871979468714
BASE/futoshiki5/TJ4BZg197.48725297430613
STANFORD/nineboardtictactoe/y28P-A195.893470217659414
DRESDEN/grid_game/U7_Yeg195.1471519514715314
BASE/connectFourSimultaneous/7ITr3g193.60751899746715
STANFORD/breakthrough/d5j0cQ189.408078922810315
DRESDEN/chinesecheckers1/Y-ftaA186.7937735408819715
DRESDEN/cubicup_3player/awDtsQ177.6429809358752212
BASE/cubicup_3player/e2yA_g177.2881807879474811
DRESDEN/snake_2009/zIYLVw165.2333333333333214
BASE/snake_2009/7l-qAQ163.8890740617292213
DRESDEN/gt_chicken/CeuKtw162.811625116651113
DRESDEN/uf20-020.cnf.SAT/hDrW_A162.4729211798033615
DRESDEN/mimikry/GJEhwA158.0367852858856614
DRESDEN/uf20-010.cnf.SAT/5ICbCg156.9457405679242815
BASE/gt_staghunt/xPjLRA155.7896140257316213
DRESDEN/knightwar/7hhAqg153.0846915308469210
BASE/gt_prisoner/klthDw151.908015330778214
DRESDEN/sat_test_20v_91c_version2/a1mPBA147.98520147985214
BASE/checkLines/Vop7oQ147.64698040261314
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA147.1852814718528215
BASE/shmup/ssTNlg146.7706458708258313
DRESDEN/uf20-01.cnf.SAT/42Rs8A145.085491450854913
BASE/hidato19/rRHSmA137.5954134862171313
DRESDEN/bidding-tictactoe/yW5vTA135.9728054389122214
DRESDEN/pentago_2008/hLjVpQ135.814
BASE/snake_2009_big/-oRfVw134.9865013498650214
BASE/chineseCheckers1/gqtwHw134.128862371254313
DRESDEN/snake_2009_big/DgC1NQ133.2622245925135814
BASE/futoshiki6/JmvXNA132.8289057031432213
STANFORD/selectivesukoshi/3xmXYg131.4666666666666711
BASE/connectFourLarge/aU644A127.1666666666666715
BASE/gt_chicken/gmepTQ126.7164378082922314
BASE/biddingTicTacToe/8mESVw126.5333333333333313
BASE/sudokuGrade6H/ieE_9A124.691687220851957
STANFORD/multiplesukoshi/vLSQPg124.6875312468753110
BASE/sudokuGrade1/tDRNRw124.204352317792517
BASE/sudokuGrade5/BQfUQA123.854281238542818
STANFORD/sudoku/oJ1qyQ123.35433123354337
BASE/sudokuGrade2/u80Tfw122.933884297520667
BASE/sudokuGrade3/eI8dvg122.683642181042537
BASE/sudokuGrade6E/ihYFZA121.817091054526067
BASE/sudokuGrade4/DTy07w120.195993466884438
BASE/dualConnect4/WbCQkg113.7772445510897815
DRESDEN/chinesecheckers3/QsCb2A111.211091115110312
DRESDEN/ggp-course2013_michal13/jWKddg109.978004399120189
DRESDEN/javastrike/whONTQ108.741293698137113
BASE/connect4/50bOyw105.6753424201019715
BASE/knightsTourLarge/M8jgLA105.4226900273133114
DRESDEN/connect4/T0-rHQ103.8056518261796815
BASE/minichess/8NQEiA102.7965734475517514
BASE/chineseCheckers2/eCMR3Q102.576065584696914
BASE/majorities/ibJzSQ101.8762288799280212
BASE/golden_rectangle/_nYzfw100.4599693353776411
DRESDEN/chinesecheckers2/06E6-Q99.7533662178376211
BASE/cittaceot/fDxhXg99.156750991567513
DRESDEN/minichess-evilconjuncts/th24Tw97.7967401086630412
BASE/minichess-evilconjuncts/4OpQzw97.2203706172510412
DRESDEN/minichess/c7GMFw94.7207039061458414
BASE/breakthroughSmall/HJ0tIA90.5152302872758813
BASE/englishDraughts/jFkQxg90.0243309002433113
BASE/breakthroughSuicideSmall/XSbJog89.4184302616230614
DRESDEN/babel/WdSW4A88.382323535292949
DRESDEN/ggp-course2013_jordi/9QI6Kw85.5410043653570514
DRESDEN/frogs_and_toads/GjchhQ84.4080109300543214
DRESDEN/4pttc/9pB9AQ83.8526912181303213
BASE/rubiksCube/9tNO9Q83.7888281562458313
BASE/escortLatch/mX9BjQ83.649936679330815
STANFORD/freeforall/Lfp40Q83.438853715428213
STANFORD/duidoku/3SoMaA77.371630402185878
DRESDEN/kitten_escapes_from_fire/uW-YiA77.279392162090114
STANFORD/pentago/ZxzLmg76.9538410264955815
STANFORD/knightstourbig/TQUI2g76.392360763923614
BASE/kitten_escapes_from_fire/uW-YiA76.0079973342219314
BASE/queens06ug/7Lq3tw75.8156430166294511
BASE/chineseCheckers3/-1rZdQ74.9108600753107413
BASE/mineClearingSmall/frsbvw74.8800319914689412
BASE/pentago/86NgKw74.292570742925714
BASE/pentagoSuicide/SBgNhw73.8469741402292814
BASE/2pffa/6oHijA72.3782865140457813
BASE/peg/fJHVWw67.4374437743644414
BASE/pegEuro/5awwhg66.9376603471828815
STANFORD/alquerquezero/uVgA_A66.406770625083312
BASE/ttcc4_2player_small/Cv72TA64.713
DRESDEN/golden_rectangle/1uloXw64.085046822408110
DRESDEN/chinesecheckers4/-oVNYg62.3666666666666713
BASE/2pffa_zerosum/o0_uZA62.32917805479634415
BASE/3pffa/pR0dzA62.1312622912569614
BASE/chineseCheckers4/avfBcQ59.61942213483520414
BASE/qyshinsu/R08Lzw59.27233957486506515
BASE/racetrackcorridor/_RkdUg59.21359546817727413
DRESDEN/racetrackcorridor/O0DoTA58.03958152861997614
BASE/copolymer_4_pie/IN5_jA57.22570323956805510
DRESDEN/chinesecheckers6-simultaneous/gPPGUw57.111
BASE/copolymer_4/2LDVhQ55.9165583658235810
DRESDEN/chinesecheckers6/yTbPDA54.8556955275611512
BASE/4pffa/Q3ADlg54.73929701815758613
BASE/nonogram_5x5_1/qLKEZw49.98500449865040511
DRESDEN/backgammon/mqCW0Q49.90671641791044513
BASE/crissrace/ERWGDA47.8030580632266211
DRESDEN/crissrace/KWb9bw47.7094785940363111
BASE/connect5/d-BVQg46.3666666666666712
DRESDEN/tictactoe_3d_2player/LMuX9w45.82264138367714414
BASE/chineseCheckers6/rREH3A44.92434846364060513
BASE/connectFourLarger/qKi60A44.8442445443944715
BASE/tictactoe_3d_2player/IUC1rQ44.8337885550596215
STANFORD/pilgrimage/ObRZnQ43.93883873546753412
DRESDEN/Goldrush/VeWczQ43.330444637024211
DRESDEN/tictactoe_3d_6player/ulZPWg42.0193268910363213
BASE/queens08lg/Ru7eqQ40.110
BASE/tictactoe_3d_6player/d7KSwg39.9786957824306814
BASE/queens08ug/kJ_ZFQ37.12219667433103611
BASE/endgame/jYjfOA36.641017954098813
DRESDEN/smallest_4player/ADDROA36.4151257704481114
DRESDEN/breakthroughsuicide/Y9QzqQ36.1794982843055613
BASE/smallest_4player/ADDROA36.12370034657424614
DRESDEN/breakthrough/z4hK7Q35.5406035573912412
DRESDEN/breakthroughsuicide_v2/LU1nAw35.38113006396588412
DRESDEN/smallest/9kaGFw34.8767488341105913
DRESDEN/knightthrough/J7Fc_Q33.48214285714285413
DRESDEN/ghostmaze2p/HY0UwA33.1401545430322413
BASE/breakthroughSuicide/wZDpIg31.73016031730160314
BASE/breakthroughWalls/vOZaYA31.68099140515690613
BASE/breakthrough/TGxk-g31.66411400412865313
BASE/breakthroughHoles/nZk0Sg31.45303701729250513
BASE/knightwar/DVGY4Q31.31663113006396410
DRESDEN/nim3/sG_axA31.2718553302028212
BASE/nim4/twk16w31.0583844308184513
DRESDEN/nim4/F5YAYg30.9741881765195713
BASE/nim3/1OwUqw30.8179243711477613
BASE/2pttc/unkkYA30.7271878957541815
BASE/nim2/eF2Qqw30.4453549182239112
DRESDEN/bidding-tictactoe_10coins/mu5VhQ30.23031030230310313
DRESDEN/nim2/z5_exA30.16163972671221313
BASE/mummyMaze2p_2007/YGA3Vw29.9437098224694413
BASE/ghostMaze2p/W-NU-w29.92036784060240615
BASE/dotsAndBoxes/EHwA_w29.3206277279845415
BASE/dotsAndBoxesSuicide/jzQbLw28.9739234688780115
BASE/nim1/hin2Qw28.93236892103596613
DRESDEN/mummymaze2p-comp2007/oTQRQg28.8657044765174513
DRESDEN/nim1/M9BALA28.6656012784658413
BASE/biddingTicTacToe_10coins/a-9ccQ28.38013390626561313
DRESDEN/bomberman2p/x4h6jQ28.3210608736214314
BASE/bomberman2p/4CClwA28.06666666666666615
DRESDEN/tttcc4/sAvtFg27.9629382748966813
BASE/tttcc4/8Bs2lg27.94244987677346313
BASE/ttcc4/Le0qjQ27.16213964339276613
DRESDEN/ggp-course2013_nicolai/uEin8g26.20538092701118812
DRESDEN/CephalopodMicro/H3XQfg25.9290118313614410
DRESDEN/Zhadu/9zpQ5w25.62308409969345714
BASE/hex/T1MK8g24.85672397707583813
STANFORD/checkersonabarrelnokings/Zrevdw24.39268219534139712
DRESDEN/endgame/IJhh3Q24.37805974622839514
BASE/choicethroughalt/tt71Lg24.31712191872085414
BASE/wallmaze/uxNQ9g24.188711934430613
BASE/hexPie/48CH6Q24.1140420996536115
BASE/checkersBarrelNoKings/rnKNeg24.05223532547138312
STANFORD/hex/MTqWcw23.83806099347449614
DRESDEN/pacman3p/rBnk8Q23.73096023730960312
BASE/checkersTorusNoKings/pwb6oQ23.53254891503616612
BASE/quad_7x7/q-JOXg23.5121723781929610
BASE/chinook/XQh0IQ23.48199713552942613
DRESDEN/quad_7x7/q-JOXg23.45884705098300710
DRESDEN/gt_ultimatum/pAiiQw22.20890353943994813
BASE/zhadu/DlA8iQ22.05196535642904710
BASE/3pttc/0sol9g21.69855342977134814
STANFORD/chinook/osFbPA21.48066739934059313
STANFORD/ttcc4/Cx9SGw21.36453021364530313
BASE/pacman2p/4LEdQg21.35870650076518714
BASE/pacman3p/wW7UVQ21.2496669331201714
DRESDEN/hanoi/RQ0jiA21.16666666666666815
BASE/cephalopodMicro/9l2D3g21.14833810697395610
BASE/gt_ultimatum/GE-uOA21.09367189843047212
BASE/hanoi/iGLsJg20.99580083983203215
BASE/ttcc4_2player/_aH_Mw20.57736489861152813
BASE/sheepAndWolf/g4THrg19.90215329317402713
BASE/checkersTorus/2vm1EQ19.69540440563868312
BASE/ttcc4_2player_alt/ZEJvYA19.16091839114932313
DRESDEN/towerworld/HCX34w17.95708955223880611
BASE/hidato37/pBrqxw17.89403532155948213
BASE/hallway/ckCJOw17.6139579795558213
DRESDEN/hallway/0H4l-Q17.39246326591810314
DRESDEN/skirmish2/iPpWhQ17.2281648838681713
DRESDEN/skirmish3/3LU8Nw17.1167871057977312
DRESDEN/skirmish/RjGQYQ16.8391627009218312
BASE/kalaha5x2x3/WviNsw16.47528706939590713
BASE/skirmishFinal3/-Olhfw16.01464957549525512
BASE/skirmishHoles/AUCxCA15.48606254371066111
BASE/mummymaze2p/vpjDdA15.14294272306719514
DRESDEN/mummymaze2p/k-8edg15.04009583069909815
DRESDEN/skirmishfinal/hzq8ww14.94723526082759211
BASE/skirmishFinal2/gdB62Q14.63284557181427212
BASE/skirmishFinal1/ecWTnQ14.39904006399573412
BASE/strangeSkirmish/gc1zKA14.32235286280518211
DRESDEN/capture_the_king/EQ229Q14.2543859649122813
BASE/4pttc/AL1k2Q14.24103280761296414
DRESDEN/knightazons/02I8BQ13.36533013365330212
BASE/queens12ug/u6Bkmg13.25341325341325311
BASE/knightazons/apnJBQ13.14650868668042312
DRESDEN/knightfight/4_Ly4w12.491256120715514
BASE/brawl/6Ymo_Q12.09274435338796712
BASE/knightfight/SJRkAg12.03012529992002115
DRESDEN/brawl/2kXtfQ11.71225128102748413
BASE/knightThrough/gcwFjA11.54934265268763512
BASE/nonogram_10x10_1/0Xc62g11.25091538512748812
DRESDEN/pancakes6/SZXMyQ10.3518290450354514
DRESDEN/pancakes/hl9aiQ10.34804019431689614
DRESDEN/pancakes88/aD3E7g10.15651015651015713
BASE/amazons_8x8/7SOsIw9.45500549322502213
BASE/pancakes/yUgbXw9.2389498172150215
BASE/pancakes6/QZTdnw9.12542463198561315
BASE/skirmish/Y_psYQ7.812512
DRESDEN/connect5/1kYzSg6.68136787019056714
BASE/queens16ug/gT-ylw6.60361705657872911
DRESDEN/fizzbuzz/t1xHzQ6.51444145311928814
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg6.02730602730602714
DRESDEN/quad_5x5/JAEP5g5.805467091295116511
DRESDEN/amazons/dNB28A5.67352355673523611
BASE/quad_5x5/JAEP5g5.55149258692906112
STANFORD/platformjumpers/HEQskA5.46719681908548714
BASE/skirmishNew/sibw2g5.35239361702127714
BASE/alexChess/LNo83g5.19930675909878655
DRESDEN/snake_2008/E56l3A5.09219197230912613
BASE/snake_2008/i6K26g5.05151213027583914
BASE/snake_2008_tweaked/bX0NJQ5.046648295096118513
BASE/speedChess/bPnisA4.96434997001399315
BASE/blokbox_simple/JBx4bg4.9431045350495978
BASE/battlebrushes/arCwyA4.76539589442815311
DRESDEN/god/2EDD5w4.66949264803285210
BASE/kalaha6x2x4/XS81Mg4.65162640794763613
BASE/god/qF06gw4.55285633578146310
BASE/quarto/EwBMVQ4.14071816615873914
DRESDEN/quartosuicide/WIU1oQ4.13989534344571714
DRESDEN/quarto/OQzRYQ4.05423368337099514
BASE/quartoSuicide/-23jUg3.971011615208974315
BASE/amazonsSuicide_10x10/XIbQkg3.861775084892469714
BASE/amazons_10x10/Bun8dA3.708609271523178714
BASE/crossers3/O0rORg3.309614429918914513
DRESDEN/crossers3/xiPTxg3.25646308234199513
BASE/chess_200/XsTpYA3.17733501026014412
BASE/factoringImpossibleTurtleBrain/kcBhdw2.8432571825304999
BASE/knightmove/jBaJEw2.622667817541995714
DRESDEN/knightmove/97Ipcw2.60305117137302714
BASE/guess/SPpk1A2.562481280575060514
DRESDEN/guess/PhxGhg2.50833360836991315
STANFORD/skirmish/w4V6Vw2.38861427197027513
STANFORD/madness/UO_B3A2.308935580697298713
DRESDEN/quad_5x5_8_2/JRTLJg2.22236964309406914
BASE/othello-comp2007/86ZoMw2.19663183119217212
BASE/wargame02/BkVqqQ2.184924024232793614
BASE/wargame01/_GZFZg2.173626663153734714
BASE/hanoi_6_disks/MeubgQ2.13134407885973114
DRESDEN/hanoi_6_disks/MeubgQ2.078042022627568714
BASE/quad/tw-Ufg2.07407407407407411
BASE/wargame03/klXI8w2.071414480173604313
DRESDEN/quad/JPe6fg2.040413348252484711
BASE/othelloHoles/c0qAzw1.933140019331400112
BASE/othelloSuicide/B442jg1.914317776750940712
BASE/reversi/d8UMeA1.848733947377108711
BASE/reversiSuicide/9OxJlg1.814642515424461412
DRESDEN/four_way_battle/xSOQXA1.717361867961293212
BASE/four_way_battle/xSOQXA1.689748856934596912
BASE/amazonsTorus_10x10/Uxc08g1.566249000266595613
BASE/checkers-mustjump-torus/uSApKQ1.460774874672155613
DRESDEN/pawntoqueen/f_x6Aw1.295681063122923614
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw1.28255722178374113
BASE/checkers-mustjump/T-8UuQ1.259821635778934513
BASE/pawnToQueen/-O1_JA1.253794377722053515
BASE/checkers-cylinder-mustjump/rjr6qQ1.233333333333333414
BASE/pancakes88/l2Xaig1.185770750988142313
DRESDEN/max_knights/hCipiA1.160054356832720213
BASE/max_knights/2fq3Ag1.09307717787346814
BASE/queens31lg/0gID-A1.05547859357477419
DRESDEN/battle/8oAvhQ0.964909459329066213
BASE/battle/8oAvhQ0.963329265943099313
BASE/checkersSmall/SYmq8w0.789162172826515814
BASE/checkersTiny/Lr48cg0.764297344897484515
BASE/checkers/rOC3Xg0.754271472141147215
DRESDEN/checkers-cylinder-mustjump/vW_-pA0.560723002836598711
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg0.559045019566575711
DRESDEN/othello-cornercontrol/r5Gdlg0.545168841997242111
BASE/gt_tinfoil/Q8DyKg0.4998500449865040413
BASE/colonelBlottoVariant2/jruwGw0.481015905592611612
BASE/colonelBlottoVariant/X-n-KQ0.4647765752606068412
BASE/skirmishZeroSum/zh4hcw0.452678888996669615
BASE/checkers-newgoals/0XkFiA0.442254233004801613
DRESDEN/small_dominion/yB5GJA0.390943150350219912
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.381364011949405713
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g0.3663369633996070315
DRESDEN/satlike_20v_91c/yeuENQ0.3656793324690003613
BASE/colonelBlotto/jip21A0.365011945845500410
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.3261578604044357314
BASE/racer4/0vs7Ww0.2886280546469116613
BASE/hanoi7_bugfix/3gdnFw0.2834645669291338514
DRESDEN/hanoi7_bugfix/3gdnFw0.280960259732151215
DRESDEN/cylinder-checkers/clOO3Q0.2807937102208910611
BASE/cylinder-checkers/hlldmw0.280539883420092912
DRESDEN/checkers-newgoals/IJOqXQ0.279711586275484811
DRESDEN/hanoi7/51zz5Q0.278724063177454315
DRESDEN/hitori/S8Gsyg0.2751704528082673515
DRESDEN/battlebrushes/QHXV4A0.269800347742670412
BASE/hitori/S8Gsyg0.266134397870924815
DRESDEN/Travelers-Dilemma/PvZwYw0.258431321876211414
BASE/gt_attrition/kD_SCA0.229545827184784411
DRESDEN/checkers-mustjump/HUr33w0.2294705785936731711
DRESDEN/checkers-mustjump-torus/cVc3gA0.216129430653328412
BASE/blobwars/0XT15Q0.145513809260498813
DRESDEN/blobwars/ZaMluQ0.141546823689276413
DRESDEN/racer/vk_ZBA0.0826674014880132314
BASE/racer/QQYQNw0.0795017887902477714
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A0.0771783591880836613
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA0.0768816790958714613
BASE/solitaireChineseCheckers/-ET6gw0.0644682977145988513
DRESDEN/vacuumcleaner_random/_6AGDA0.0568294831358508812
BASE/twisty-passages/DiZmmg0.0528764805414551614
DRESDEN/twisty-passages/j7NPyg0.05270925574530887414
DRESDEN/vacuum_cleaner_1/eUNjpw0.05149860953754248314
DRESDEN/kalaha_2009/gcC8uA0.04755450935634971513
BASE/kalaha_2009/dRiN3g0.0460691497938405513
BASE/ad_game_2x2/D0aWqg0.02940398129906789511
DRESDEN/checkers/jIDMIg0.02890173410404624212
DRESDEN/merrills/aYEzwA0.01885725061286064311
BASE/merrills/pku8Tg0.017976881730095110
BASE/amazonsSuicide/dE1QEQ0.012
BASE/amazonsTorus/soxT8g0.06
DRESDEN/vacuumcleaner_random_big/DwzFaQ0.012
BASE/gt_two_thirds_2p/1APDGg0.011
DRESDEN/farmers/S_ASnw0.013
BASE/amazons/RKKZjw0.013

Games with errors:

GameError message
BASE/ruleDepthExponential/UamhHQTest process timed out after 240 seconds
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: 2147484126
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147484126
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