index

REKKURA_BACKWARD_PROVER_OSTD:1.0.0

Comparison with GGP-Base Prover:

Median speedup0.4368400099331091
Mean speedup2.2195756584197825
Geometric mean speedup0.0
Ratio of # state changes with 1 second per game0.3750252130810035
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)100793638
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 (comparison)206932711
SANCHO_DEAD_RECKONING_PROPNET:1.61c (comparison)0444984
ALLOY_TUPLE_PROVER:2 (comparison)34050812
CADIAPLAYER_PROLOG:3.0 (comparison)231533664
REKKURA_GENERIC_FORWARD_PROVER:1.0.0 (comparison)533091
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 (comparison)5320100
REKKURA_BACKWARD_PROVER:1.0.0 (comparison)23103111
PALAMEDES_JAVA_ECLIPSE:0.6.1 (comparison)45848913
GGP_BASE_PROVER:2015-04-26 (comparison)117042514
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 (comparison)2811324810
ALLOY_COMPILED_PROVER_CACHING:2 (comparison)4453412
FLUXPLAYER_PROLOG:1.1 (comparison)1054139613

Game-by-game statistics:

GameAverage state changes per secondRanking
BASE/onestep/xi53wA14935.53333333333313
BASE/haystack/UkweGA13377.53333333333315
DRESDEN/troublemaker01/C-lPWw11277.26666666666613
BASE/troublemaker01/s3tlEQ11027.13333333333313
BASE/survival/YVIjJA10258.613
STANFORD/buttonsandlights/eyhJpA9838.713
DRESDEN/troublemaker02/iZLVuA9336.76666666666613
BASE/troublemaker02/DI83KA9287.913
BASE/pearls/6k_mEQ8797.16666666666615
BASE/stateSpaceSmall/Q7osKA8736.26666666666611
DRESDEN/statespacesmall/h-NqjA8548.03333333333312
DRESDEN/buttons/ADUaHw8101.812
BASE/buttons/hTcUjw7836.013
BASE/blocksWorld/SEdXLQ6913.03333333333412
DRESDEN/blocks/vg0DRw6862.03333333333412
BASE/blocks/xIV5hQ6841.812
BASE/untwistycomplex2/EDPPAQ6404.53333333333413
STANFORD/untwistycorridor/EDPPAQ6390.76666666666613
BASE/switches/tPUoCg6166.33333333333313
BASE/maze/cCX3qQ6032.013
BASE/duplicateStateSmall/bCPAXw6021.712
DRESDEN/2player_normal_form_2010/NG_Kdg5767.86666666666711
STANFORD/rainbow/_4qNSQ5685.210
BASE/stateSpaceMedium/3bUoIw5526.5666666666679
DRESDEN/statespacemedium/dVJZ_w5328.93333333333310
DRESDEN/roshambo2/jgSlkQ5310.612
BASE/roshambo2/KNPokQ5258.06666666666713
BASE/lightsOn/MsXu3A5243.16666666666712
STANFORD/multiplebuttonsandlights_9/SqB9BA5168.312
BASE/sum15/QZ07Kg5110.9333333333339
DRESDEN/sum15/CsgWKg5081.2333333333349
STANFORD/multiplebuttonsandlights/cK70Yg5069.73333333333413
BASE/factoringGeorgeForman/HGRorQ5045.911
STANFORD/bestbuttonsandlights/nm0wEA4926.46666666666613
BASE/blocks2player/wnTLOQ4686.36666666666711
DRESDEN/blocks2player/3ev8nQ4663.812
BASE/toetictac/mTThmg4590.16666666666711
DRESDEN/point_grab/r5DPmQ4589.73333333333411
DRESDEN/tictactoe_orthogonal/y69QFQ4531.19
DRESDEN/toetictac/mJtxCA4524.33333333333311
BASE/tictactoe_orthogonal/WRzlVw4507.9333333333339
STANFORD/jointbuttonsandlights/qAKuIQ4306.512
BASE/circlesolitaire/azuQFQ4092.212
DRESDEN/circlesolitaire/ruUilQ4091.23333333333313
BASE/chickentoetictac/l57rfQ3897.833333333333511
DRESDEN/chickentoetictac/cxYaRQ3891.211
DRESDEN/blocker/S815zQ3859.110
STANFORD/bestbuttonsandlightsbig/g0JC6g3776.76666666666712
BASE/stateSpaceLarge/0Ge_CQ3694.166666666666510
STANFORD/dualrainbow/G3OnRQ3654.933333333333410
DRESDEN/statespacelarge/8-y5HQ3597.010
STANFORD/threepuzzle/41ibjA3522.612
DRESDEN/tictactoe/BTTzPw3442.23333333333310
STANFORD/3puzzle/41ibjA3425.033333333333313
DRESDEN/eotcatcit/mQUxzA3394.666666666666510
BASE/point_grab/V_osUg3355.012
BASE/eotcatcit/AfZSzA3261.86666666666711
BASE/brain_teaser_extended/ZDp94A3260.511
DRESDEN/brain_teaser_extended/ZDp94A3216.166666666666511
BASE/hodgepodge/9yjRkw3181.613
BASE/blocker/dIWtxg3053.966666666666711
DRESDEN/tictactoe-init1/3ltIBQ3015.033333333333311
DRESDEN/chickentictactoe/Ipbo-g3004.933333333333410
BASE/blocksWorldSerial/Wyg96Q2987.533333333333311
BASE/tictactoe2/bhrDoQ2959.76666666666711
DRESDEN/lightsout2/LFtfyQ2956.7666666666677
BASE/tictactoe-init1/7M19vA2941.533333333333311
STANFORD/trifecta/ss1kyQ2920.212
BASE/ticTacToe/JRFsaQ2894.833333333333512
STANFORD/untwistycomplex/HTWEwg2890.966666666666710
STANFORD/tictactoe/ss1kyQ2886.012
DRESDEN/oisters_farm/pTQMLg2857.73333333333312
STANFORD/tictactoe7/-bE9-A2851.066666666666611
DRESDEN/lightsout/XgLpzQ2781.47
DRESDEN/firefighter/WJmoPw2765.76666666666713
BASE/gt_dollar/TGjqRw2729.86666666666711
DRESDEN/lightson2x2/gBHuig2723.333333333333513
BASE/factoringEasyTurtleBrain/lUj94Q2704.712
BASE/lightsOnParallel/SC6enA2684.711
BASE/chickentictactoe/DSlZCA2647.73333333333312
BASE/firefighter/WJmoPw2642.666666666666513
DRESDEN/blocksworldparallel/2JfVaw2605.36666666666711
STANFORD/tictactoe5/WFRReg2597.833333333333511
STANFORD/sukoshi/4LYZZQ2532.810
BASE/eotcitcit/V_9_bg2530.933333333333410
DRESDEN/Catch-Me-If-You-Can/ghGWrA2525.86666666666711
DRESDEN/catch_me/ghGWrA2517.466666666666711
DRESDEN/CatchMeIfYouCanTest/CX18rA2493.833333333333512
DRESDEN/Thief_Police/CX18rA2466.833333333333512
BASE/incredible/8Qh-6Q2441.811
STANFORD/tictactoe3/X7myng2421.966666666666711
DRESDEN/tictictoe/LAUtwg2380.466666666666710
DRESDEN/8puzzle/8fKC2w2318.212
BASE/lightsOut/5P1ZBw2264.18
BASE/snakeParallel/RCVNtw2262.36666666666711
STANFORD/hunter/14dD-g2230.933333333333410
STANFORD/tictictoe/rpt_Dw2227.033333333333310
DRESDEN/knightstour/cGISAA2183.511
BASE/ticTicToe/c1OobQ2165.26666666666710
DRESDEN/SC_TestOnly_enabled/09o7gQ2113.033333333333310
BASE/ticTacToeNoVars/XT03NA2090.466666666666711
BASE/duplicateStateMedium/U163eQ2088.43333333333349
BASE/numbertictactoe/rvJ-iQ2069.910
BASE/doubletictactoe/HH1htg1992.48
BASE/gt_centipede/9fRMpw1980.966666666666711
DRESDEN/bunk_t/7-tPfA1968.86666666666669
DRESDEN/tictactoelargesuicide/6J4DeA1959.633333333333410
DRESDEN/doubletictactoe/lJzgmQ1955.96666666666679
BASE/factoringMutuallyAssuredDestruction/NH0LGg1936.133333333333412
BASE/bunk_t/xbpfIA1921.78
BASE/doubletoetictac/fu35bg1907.03333333333339
DRESDEN/tictactoelarge/IwXcbg1905.933333333333410
BASE/beatMania/qUHwvQ1893.366666666666612
BASE/chomp/-LcqYQ1865.29
DRESDEN/chomp/-LcqYQ1844.766666666666710
DRESDEN/latenttictactoe/kITHKg1832.111
STANFORD/knightstourmedium/x1wu8Q1819.966666666666711
DRESDEN/doubletoetictac/V89gKQ1805.36666666666669
STANFORD/8puzzle/jNiGtw1793.466666666666713
STANFORD/eightpuzzle/W_aWbA1785.866666666666612
BASE/eightPuzzle/vLrgFg1765.133333333333413
BASE/blocksWorldParallel/RseaAQ1760.18
BASE/ticTacToeLarge/TZC0dg1676.833333333333310
DRESDEN/grid_game2/kypTYQ1676.15
DRESDEN/hanoi/RQ0jiA1668.412
BASE/ruleDepthLinear/OUBJpQ1662.910
BASE/ticTacToeLargeSuicide/727_8g1645.033333333333310
BASE/hanoi/iGLsJg1618.033333333333312
BASE/coloredtrails/EZvr7g1558.433333333333413
STANFORD/dualhunter/1rPZjQ1550.23333333333339
BASE/knightsTour/mvtVIg1538.333333333333312
BASE/withConviction/3Xm54A1531.76666666666677
STANFORD/knightstour/cEwgNA1513.533333333333312
BASE/ticblock/T21C1g1473.966666666666710
DRESDEN/ticblock/Z2yNWQ1469.433333333333410
BASE/nim2/eF2Qqw1431.99
BASE/nim1/hin2Qw1424.36666666666669
BASE/nim3/1OwUqw1415.43333333333349
DRESDEN/nim2/z5_exA1413.66666666666679
DRESDEN/nim3/sG_axA1403.33333333333339
DRESDEN/nim1/M9BALA1400.266666666666710
BASE/futoshiki4/BaCwSw1397.19
BASE/nim4/twk16w1387.33333333333339
BASE/coins_atomic/AA3SSw1376.766666666666711
BASE/factoringMediumTurtleBrain/8RBqmQ1375.78
STANFORD/duikoshi/tpw1sw1368.33333333333339
BASE/coins/QnGtnQ1362.133333333333412
DRESDEN/nim4/F5YAYg1352.410
DRESDEN/pancakes/hl9aiQ1317.666666666666712
DRESDEN/bidding-tictactoe/yW5vTA1311.266666666666710
BASE/double_tictactoe_dengji/zgaSbA1309.166666666666712
DRESDEN/double_tictactoe_dengji/bGaUyQ1302.766666666666712
DRESDEN/coins/QwFP9w1300.112
BASE/conn4/va9Y7A1299.65
DRESDEN/tictactoeparallel/yk_DSg1297.666666666666711
STANFORD/triplesukoshi/Iu9mbA1296.43333333333347
BASE/tron_10x10/7ZTgDg1268.213
DRESDEN/pancakes6/SZXMyQ1256.79144028532413
BASE/asteroids/BKCmPQ1249.533333333333312
BASE/lightsOnSimultaneous/_VN6lw1234.010
DRESDEN/cube_2x2x2/fp-34Q1233.412
DRESDEN/pancakes88/aD3E7g1207.111
DRESDEN/catcha_mouse/cHv4dw1200.76666666666679
DRESDEN/Runners/3bOCQw1197.712
BASE/biddingTicTacToe/8mESVw1180.910
BASE/queens06ug/7Lq3tw1173.66666666666679
BASE/aipsrovers01/4C4jsw1171.933333333333411
BASE/catcha_mouse/cHv4dw1152.56666666666669
DRESDEN/aipsrovers01/qS47Mw1126.312
BASE/snake2p/I3wWPQ1120.98
BASE/ticTacToeSerial/Amrwqw1115.166666666666710
BASE/breakthroughSmallHoles/bxclRw1100.76666666666679
DRESDEN/pawn_whopping/4ogBkg1094.066666666666610
BASE/copolymer_4/2LDVhQ1088.93333333333347
DRESDEN/pawn_whopping_corrected/7Ov0jQ1064.210
BASE/lightsOnSimul4/9FeASw1061.53333333333339
BASE/ticTacToeParallel/ymRGPw1040.866666666666611
BASE/simultaneousWin2/PfjRjw1018.06666666666677
BASE/copolymer_4_pie/IN5_jA1008.27
DRESDEN/tictactoe_3player/ESLQQQ961.611
BASE/blockerSerial/3eqDuw961.433333333333310
BASE/racetrackcorridor/_RkdUg945.810
BASE/queens08ug/kJ_ZFQ919.33333333333349
STANFORD/breakthrough/d5j0cQ900.633333333333311
DRESDEN/racetrackcorridor/O0DoTA887.110
DRESDEN/logistics/fPru1Q883.533333333333311
BASE/tictactoe_3player/GtM71g853.733333333333311
BASE/crisscross/ICagEg853.06666666666679
DRESDEN/fizzbuzz/t1xHzQ841.011
DRESDEN/3pffa/0YrmQw837.010
DRESDEN/3pttc/uwYBZw834.833333333333412
BASE/tictactoex9/BI26ow832.56666666666677
DRESDEN/mimikry/GJEhwA812.839572014266210
DRESDEN/slidingpieces/s9_44g812.77
DRESDEN/crisscross/GsY16g811.033333333333310
STANFORD/multipletictactoe/_bkafQ807.37308756374787
DRESDEN/tictactoex9/rFkD4w806.73333333333338
BASE/chineseCheckers1/gqtwHw802.839905336488812
BASE/futoshiki5/TJ4BZg800.76666666666678
BASE/slidingpieces/uFJWEw798.66666666666668
BASE/tictactoe_3d_small_2player/oOryKA797.633333333333311
DRESDEN/tictactoe_3d_small_2player/HYttcg791.611
BASE/dotsAndBoxes/EHwA_w789.140361987933710
BASE/pawnWhopping/Ypc_6Q777.933333333333310
BASE/pancakes6/QZTdnw777.133333333333313
DRESDEN/pawn_whopping_simultaneous/r8dLfw770.57431418952719
BASE/dotsAndBoxesSuicide/jzQbLw769.066666666666710
BASE/nineBoardTicTacToePie/B8LzeQ764.96666666666678
BASE/pancakes/yUgbXw762.066666666666713
BASE/3pConnectFour/PqXOFQ760.010
DRESDEN/peg_bugfixed/u_B7MA752.36666666666678
BASE/gt_coordination/IVMOzA752.066666666666712
BASE/duplicateStateLarge/dcjyuw744.908503049898310
BASE/asteroidsSerial/id2QkA744.466666666666711
DRESDEN/peg/Vo31eg742.98
DRESDEN/tpeg/h-Scbg739.49
BASE/asteroidsParallel/WauZiA733.566666666666711
BASE/tpeg/QNs7Lw726.96666666666679
DRESDEN/battlesnakes2011/93VtTw724.03333333333335
DRESDEN/battlesnakes1509/-qZrLw722.33333333333345
DRESDEN/smallest_4player/ADDROA720.209326355788110
BASE/smallest_4player/ADDROA719.96666666666679
BASE/wallmaze/uxNQ9g716.33333333333348
DRESDEN/blockerparallel/dVQgSg683.46666666666678
DRESDEN/stratego/Z2wovg675.37748741708618
DRESDEN/connectfoursuicide/M9CNQg671.311
DRESDEN/quad_7x7/q-JOXg654.34485517149433
BASE/quad_7x7/q-JOXg652.81157294756843
BASE/blockerParallel/7-nDJA652.1115962801249
DRESDEN/gt_prisoner/huCp4w644.678510716309511
BASE/shmup/ssTNlg640.566666666666711
DRESDEN/kitten_escapes_from_fire/uW-YiA638.812
BASE/kitten_escapes_from_fire/uW-YiA634.845505149828313
DRESDEN/connectfour/5tc-Mg631.866666666666711
STANFORD/nineboardtictactoe/y28P-A622.966666666666710
BASE/ticTacHeaven/18n58A621.93333333333338
DRESDEN/bidding-tictactoe_10coins/mu5VhQ621.11262957901419
DRESDEN/sheep_and_wolf/enAIzQ620.345988467051110
DRESDEN/chinesecheckers1/Y-ftaA620.245991800273413
BASE/connectFour/WAIKTw618.166666666666612
DRESDEN/tictactoe_3d_small_6player/llDEDQ614.36666666666678
BASE/nineBoardTicTacToe/wRmqqA612.666666666666610
BASE/connectFourSuicide/c8p9Kw610.212992900236712
BASE/hidato19/rRHSmA593.2135595480159
BASE/tictactoe_3d_small_6player/g_9lww592.33333333333348
DRESDEN/smallest/9kaGFw589.5803473217568
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw587.433333333333313
BASE/2pffa/6oHijA580.713976200793410
BASE/biddingTicTacToe_10coins/a-9ccQ578.63333333333339
BASE/knightsTourLarge/M8jgLA577.833333333333412
BASE/ticTacHeavenFC/mrletw571.46666666666678
BASE/queens08lg/Ru7eqQ569.46666666666675
DRESDEN/grid_game/U7_Yeg569.414352854904813
STANFORD/connectfour/VMpZkQ568.395440303979712
DRESDEN/connect4/T0-rHQ565.633333333333310
DRESDEN/knightwar/7hhAqg564.18119396020137
BASE/2pffa_zerosum/o0_uZA557.348088397053411
BASE/futoshiki6/JmvXNA552.28159061364625
BASE/connect4/50bOyw550.610
DRESDEN/Goldrush/VeWczQ542.08193060231339
BASE/gt_staghunt/xPjLRA533.815539482017212
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg522.933333333333312
BASE/snakeAssemblit/UO4sdg515.68281057298098
BASE/3pffa/pR0dzA512.716242791906911
BASE/gt_prisoner/klthDw511.7666666666666512
BASE/connectFour_9x6/B9TtMw509.633333333333312
BASE/chineseCheckers2/eCMR3Q499.0333333333333611
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ497.613
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg495.912
BASE/queens12ug/u6Bkmg492.1835938802047
DRESDEN/uf20-020.cnf.SAT/hDrW_A491.666666666666711
DRESDEN/uf20-010.cnf.SAT/5ICbCg479.111
BASE/connectFourSimultaneous/7ITr3g477.550748308389711
DRESDEN/sat_test_20v_91c/dK7nVw476.217459418019412
DRESDEN/gt_chicken/CeuKtw476.050798306723112
STANFORD/freeforall/Lfp40Q473.601759882674511
BASE/snake_2009/7l-qAQ472.317589413686210
BASE/4pffa/Q3ADlg466.3689087394173510
DRESDEN/snake_2009/zIYLVw462.63333333333339
DRESDEN/ggp-course2013_michal13/jWKddg461.95
BASE/cubicup/4wNWJA456.518116062797910
DRESDEN/cubicup/SBn_lw455.0333333333333610
BASE/escortLatch/mX9BjQ450.833333333333311
STANFORD/knightstourbig/TQUI2g445.0518316056131312
DRESDEN/golden_rectangle/1uloXw439.252024932502256
BASE/golden_rectangle/_nYzfw437.66666666666676
BASE/kalaha5x2x3/WviNsw435.537630824611712
BASE/gt_chicken/gmepTQ427.512
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA415.0333333333333612
DRESDEN/sat_test_20v_91c_version2/a1mPBA410.0666666666666613
STANFORD/selectivesukoshi/3xmXYg404.086530448985066
BASE/majorities/ibJzSQ404.07306179588035
BASE/cubicup_3player/e2yA_g403.9532015599486
DRESDEN/cubicup_3player/awDtsQ398.08673044231867
DRESDEN/pentago_2008/hLjVpQ390.5666666666666610
BASE/snake_2009_big/-oRfVw386.49
DRESDEN/snake_2009_big/DgC1NQ383.410
DRESDEN/uf20-01.cnf.SAT/42Rs8A380.4079728018132311
STANFORD/multiplesukoshi/vLSQPg380.35398820039335
DRESDEN/chinesecheckers3/QsCb2A378.6873770874304311
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg378.4666666666666412
DRESDEN/knightmove/97Ipcw377.1748550096660312
BASE/knightmove/jBaJEw374.920835972134312
BASE/breakthroughSuicideSmall/XSbJog363.710
BASE/chineseCheckers3/-1rZdQ362.2212592913569412
BASE/breakthroughSmall/HJ0tIA350.054998166727810
BASE/dualConnect4/WbCQkg349.5766948870075313
DRESDEN/crissrace/KWb9bw337.69
DRESDEN/gt_ultimatum/pAiiQw334.777681487900810
BASE/snake_2008_tweaked/bX0NJQ334.0333333333333611
BASE/crissrace/ERWGDA332.88890370320999
BASE/snake_2008/i6K26g332.088930368987711
BASE/checkLines/Vop7oQ331.133333333333312
DRESDEN/snake_2008/E56l3A330.0779948003466311
DRESDEN/chinesecheckers2/06E6-Q320.8559714676177410
BASE/connectFourLarge/aU644A320.055998133395613
BASE/peg/fJHVWw317.322755908136412
BASE/pegEuro/5awwhg310.989633678877411
DRESDEN/backgammon/mqCW0Q308.746083594427039
BASE/gt_ultimatum/GE-uOA308.79
DRESDEN/ggp-course2013_jordi/9QI6Kw300.87994133724428
DRESDEN/4pttc/9pB9AQ299.412
DRESDEN/hanoi_6_disks/MeubgQ296.112
BASE/chineseCheckers4/avfBcQ295.903742959037413
BASE/hanoi_6_disks/MeubgQ295.746950203319812
STANFORD/alquerquezero/uVgA_A289.78
BASE/cittaceot/fDxhXg289.047396840210649
DRESDEN/javastrike/whONTQ278.90544278905447
BASE/queens16ug/gT-ylw277.63333333333337
DRESDEN/hallway/0H4l-Q271.315245650289979
BASE/hallway/ckCJOw269.982001199929
BASE/englishDraughts/jFkQxg256.682887807479511
BASE/mineClearingSmall/frsbvw255.149656689554049
BASE/kalaha6x2x4/XS81Mg245.042162450421612
STANFORD/pilgrimage/ObRZnQ242.2333333333333210
BASE/chineseCheckers6/rREH3A241.8586047131762211
BASE/guess/SPpk1A239.876012398760110
STANFORD/pentago/ZxzLmg239.7013731502466412
DRESDEN/guess/PhxGhg236.3587880403986510
BASE/pentagoSuicide/SBgNhw228.711
DRESDEN/chinesecheckers4/-oVNYg228.225725809139711
BASE/pentago/86NgKw227.0848610092660411
DRESDEN/quad_5x5_8_2/JRTLJg225.06
BASE/minichess/8NQEiA224.1666666666666612
DRESDEN/frogs_and_toads/GjchhQ223.1443522314435213
BASE/ttcc4_2player_small/Cv72TA217.4666666666666711
BASE/rubiksCube/9tNO9Q214.3666666666666711
BASE/quad_5x5/JAEP5g211.952536497566836
DRESDEN/quad_5x5/JAEP5g211.01223211012236
BASE/qyshinsu/R08Lzw210.41229210412299
BASE/minichess-evilconjuncts/4OpQzw210.052663155789629
DRESDEN/minichess-evilconjuncts/th24Tw206.472470337288379
BASE/2pttc/unkkYA206.3862409172721813
DRESDEN/minichess/c7GMFw202.013132020131312
DRESDEN/chinesecheckers6-simultaneous/gPPGUw198.620091993867089
BASE/sudokuGrade1/tDRNRw192.787147523498455
BASE/sudokuGrade3/eI8dvg189.060364654511525
BASE/sudokuGrade2/u80Tfw188.474870017331036
BASE/sudokuGrade4/DTy07w188.214511882145136
STANFORD/sudoku/oJ1qyQ186.027132428919036
BASE/sudokuGrade5/BQfUQA185.49381687277096
BASE/quad/tw-Ufg185.077809990336224
BASE/sudokuGrade6H/ieE_9A185.02716576114135
DRESDEN/quad/JPe6fg181.393953534882173
BASE/sudokuGrade6E/ihYFZA177.15
DRESDEN/chinesecheckers6/yTbPDA171.7437674976669711
BASE/hanoi7_bugfix/3gdnFw170.4382602899516712
BASE/knightwar/DVGY4Q167.955469635357649
STANFORD/duidoku/3SoMaA161.845087321690445
DRESDEN/hanoi7_bugfix/3gdnFw161.213
DRESDEN/hanoi7/51zz5Q153.8333333333333413
DRESDEN/tictactoe_3d_2player/LMuX9w146.5568962069195310
BASE/tictactoe_3d_6player/d7KSwg141.20038657646558
BASE/tictactoe_3d_2player/IUC1rQ139.843359440093310
DRESDEN/breakthroughsuicide/Y9QzqQ139.0333333333333311
BASE/3pttc/0sol9g137.9241383907739513
DRESDEN/ghostmaze2p/HY0UwA134.0288657044765212
DRESDEN/breakthrough/z4hK7Q133.5110814864189311
BASE/sheepAndWolf/g4THrg132.4534213245342211
BASE/breakthroughSuicide/wZDpIg132.111
BASE/checkersTiny/Lr48cg131.711
DRESDEN/breakthroughsuicide_v2/LU1nAw130.4289857004766611
BASE/ghostMaze2p/W-NU-w130.2869713028697212
BASE/hexPie/48CH6Q129.6913539097393511
STANFORD/hex/MTqWcw129.6333333333333311
BASE/breakthroughHoles/nZk0Sg129.4623512549581811
BASE/battlebrushes/arCwyA129.178470254957526
DRESDEN/tictactoe_3d_6player/ulZPWg128.6623779207359610
BASE/breakthrough/TGxk-g128.603325890625512
DRESDEN/bomberman2p/x4h6jQ128.2410184629740712
BASE/hex/T1MK8g128.0581294580361212
BASE/bomberman2p/4CClwA126.1873812618738112
DRESDEN/knightthrough/J7Fc_Q124.5376078914919911
BASE/breakthroughWalls/vOZaYA123.9044223014629912
BASE/connectFourLarger/qKi60A118.5130904003730613
BASE/gt_tinfoil/Q8DyKg116.8627712409586412
DRESDEN/mummymaze2p-comp2007/oTQRQg101.7395361237003511
BASE/mummyMaze2p_2007/YGA3Vw98.0039321536872312
BASE/chinook/XQh0IQ95.7776518812277110
BASE/4pttc/AL1k2Q94.7540327956272511
BASE/choicethroughalt/tt71Lg94.5810837832433612
BASE/ttcc4/Le0qjQ94.3685438187270911
BASE/ttcc4_2player/_aH_Mw93.5386050851411310
STANFORD/ttcc4/Cx9SGw92.9147503832566911
BASE/tttcc4/8Bs2lg91.8302723242558611
DRESDEN/tttcc4/sAvtFg91.0363212262579111
BASE/ttcc4_2player_alt/ZEJvYA90.8030656447850611
BASE/checkersSmall/SYmq8w89.606451397913969
STANFORD/chinook/osFbPA88.8703765411529510
BASE/checkersBarrelNoKings/rnKNeg88.7637078764041310
STANFORD/checkersonabarrelnokings/Zrevdw86.1436950146627510
BASE/nonogram_5x5_1/qLKEZw85.2049316894368510
DRESDEN/CephalopodMicro/H3XQfg83.947079014896538
BASE/checkersTorusNoKings/pwb6oQ83.463884537182111
DRESDEN/babel/WdSW4A82.1447613969608212
BASE/cephalopodMicro/9l2D3g76.923076923076928
DRESDEN/ggp-course2013_nicolai/uEin8g76.694887007532837
BASE/endgame/jYjfOA72.0546575570738211
BASE/twisty-passages/DiZmmg66.064464517849412
BASE/knightThrough/gcwFjA65.3159157557984611
DRESDEN/pacman3p/rBnk8Q64.826850648268511
DRESDEN/twisty-passages/j7NPyg64.5075303212048513
BASE/checkersTorus/2vm1EQ63.7808657402779210
BASE/hidato37/pBrqxw63.2164756065049310
BASE/pacman3p/wW7UVQ62.9832044788056511
BASE/checkers/rOC3Xg60.9422897507663610
DRESDEN/skirmish3/3LU8Nw59.99200106652446611
BASE/pacman2p/4LEdQg59.7547157235219612
BASE/knightfight/SJRkAg51.9246792201299813
DRESDEN/knightfight/4_Ly4w51.5931209172110413
BASE/amazons_8x8/7SOsIw50.0983300556648111
BASE/knightazons/apnJBQ48.6333333333333311
DRESDEN/knightazons/02I8BQ48.3140077302412411
BASE/crossers3/O0rORg47.4794255822476912
DRESDEN/crossers3/xiPTxg47.42859047428590512
DRESDEN/capture_the_king/EQ229Q45.8452722063037269
DRESDEN/skirmish2/iPpWhQ45.5530007664367410
DRESDEN/mummymaze2p/k-8edg45.424248483636613
BASE/mummymaze2p/vpjDdA45.2182605798067313
DRESDEN/skirmish/RjGQYQ43.7824870051979210
BASE/colonelBlottoVariant/X-n-KQ43.4145203745043848
BASE/colonelBlottoVariant2/jruwGw42.678660669665178
DRESDEN/satlike_20v_91c/yeuENQ41.2549489303656369
DRESDEN/satlike_20v_91c_version2/yd9ioQ41.0405772158601969
DRESDEN/Zhadu/9zpQ5w40.97132007594683511
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g40.363937138130699
DRESDEN/brawl/2kXtfQ39.4960503949605069
BASE/zhadu/DlA8iQ39.3868710429856756
BASE/brawl/6Ymo_Q39.3097474848424269
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA38.7431460747939710
BASE/god/qF06gw38.590995434398648
DRESDEN/endgame/IJhh3Q37.7528239645463311
BASE/queens31lg/0gID-A37.3862916930458845
BASE/reversi/d8UMeA36.761765097986947
DRESDEN/god/2EDD5w36.725988135706198
BASE/reversiSuicide/9OxJlg36.5975601626558247
DRESDEN/towerworld/HCX34w32.614851584102349
BASE/skirmishFinal3/-Olhfw31.77246386465063610
BASE/skirmishHoles/AUCxCA31.15939614090045510
BASE/skirmishFinal2/gdB62Q29.658757664622779
DRESDEN/skirmishfinal/hzq8ww28.455284552845539
BASE/skirmishFinal1/ecWTnQ26.31754280764874610
BASE/checkers-newgoals/0XkFiA26.06058586329856312
BASE/strangeSkirmish/gc1zKA25.9870064967516268
DRESDEN/Travelers-Dilemma/PvZwYw25.9065632180080611
STANFORD/platformjumpers/HEQskA25.59402806011930712
BASE/pancakes88/l2Xaig25.2439471142638311
BASE/nonogram_10x10_1/0Xc62g25.14319968029838710
BASE/kalaha_2009/dRiN3g24.03702100742417611
BASE/skirmishNew/sibw2g23.7738487663570111
DRESDEN/kalaha_2009/gcC8uA23.74687760199833511
BASE/skirmish/Y_psYQ23.6301826423143610
BASE/speedChess/bPnisA23.20625936407524413
DRESDEN/quartosuicide/WIU1oQ23.11176235513520513
DRESDEN/quarto/OQzRYQ22.3724073642507613
BASE/quarto/EwBMVQ22.36219422782110313
BASE/quartoSuicide/-23jUg21.9326022465917812
BASE/amazonsSuicide_10x10/XIbQkg21.7565136269740812
DRESDEN/small_dominion/yB5GJA21.6246834599493526
BASE/amazons_10x10/Bun8dA21.2404700868928312
BASE/skirmishZeroSum/zh4hcw20.7195203197868113
BASE/othelloHoles/c0qAzw20.6357130970211358
DRESDEN/connect5/1kYzSg20.62096075687920712
BASE/othello-comp2007/86ZoMw20.0646602006466038
BASE/othelloSuicide/B442jg19.6143727729861128
BASE/racer/QQYQNw19.219239224568659
DRESDEN/blobwars/ZaMluQ18.44269116814807311
BASE/blobwars/0XT15Q18.17334575955265711
DRESDEN/racer/vk_ZBA18.13704283004426210
BASE/connect5/d-BVQg17.90995181923907614
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA17.80484558040468511
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A16.94012713415648712
BASE/racer4/0vs7Ww15.9569163259200169
DRESDEN/vacuum_cleaner_1/eUNjpw15.22115640820676912
DRESDEN/vacuumcleaner_random/_6AGDA15.09748375270788210
BASE/solitaireChineseCheckers/-ET6gw14.27014171043504111
BASE/alexChess/LNo83g14.1215653621981693
BASE/factoringImpossibleTurtleBrain/kcBhdw12.8072918399254856
BASE/amazonsTorus_10x10/Uxc08g12.78125416056450612
BASE/chess_200/XsTpYA12.2666666666666679
DRESDEN/amazons/dNB28A12.1155638397017718
BASE/checkers-mustjump/T-8UuQ11.6890901824963369
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw10.3699272110878458
BASE/checkers-cylinder-mustjump/rjr6qQ9.890768615958448
BASE/checkers-mustjump-torus/uSApKQ8.7733873915788778
STANFORD/skirmish/w4V6Vw8.1644894694748079
STANFORD/madness/UO_B3A7.6198715602435710
BASE/blokbox_simple/JBx4bg7.1323823490201317
BASE/max_knights/2fq3Ag6.886914861762650611
DRESDEN/max_knights/hCipiA6.85410081517218511
DRESDEN/four_way_battle/xSOQXA6.53028586659558811
BASE/four_way_battle/xSOQXA6.35247946253367510
BASE/colonelBlotto/jip21A5.0986403625699829
BASE/pawnToQueen/-O1_JA4.95576398589769212
DRESDEN/pawntoqueen/f_x6Aw4.81359758324204112
BASE/wargame01/_GZFZg4.08393651636894912
BASE/wargame02/BkVqqQ3.99108657331958612
BASE/battle/8oAvhQ3.65788773610002712
DRESDEN/battle/8oAvhQ3.637085041661155812
BASE/wargame03/klXI8w3.25808703746800111
BASE/cylinder-checkers/hlldmw2.75482093663911839
BASE/gt_two_thirds_2p/1APDGg2.64629023188118149
DRESDEN/checkers-newgoals/IJOqXQ2.548824892419728510
DRESDEN/vacuumcleaner_random_big/DwzFaQ2.4899571727366298
DRESDEN/cylinder-checkers/clOO3Q2.458798511430090510
DRESDEN/checkers/jIDMIg2.24949551754937311
DRESDEN/farmers/S_ASnw1.344923732983434510
DRESDEN/checkers-cylinder-mustjump/vW_-pA1.1888643043492629
BASE/gt_attrition/kD_SCA1.17939981653780638
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg1.13987949845302079
DRESDEN/checkers-mustjump/HUr33w1.137286758732737510
DRESDEN/hitori/S8Gsyg1.110893288897601713
DRESDEN/checkers-mustjump-torus/cVc3gA1.07456854444806269
BASE/hitori/S8Gsyg1.054192060616043513
BASE/ad_game_2x2/D0aWqg0.62456855461687658
DRESDEN/battlebrushes/QHXV4A0.3658617707709705411
DRESDEN/othello-cornercontrol/r5Gdlg0.1627869119322806513
BASE/amazonsSuicide/dE1QEQ0.088965333175172749
BASE/amazons/RKKZjw0.083791861017233210
BASE/amazonsTorus/soxT8g0.0164698519360310944
DRESDEN/merrills/aYEzwA0.013
BASE/merrills/pku8Tg0.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