index

REKKURA_BACKWARD_PROVER:1.0.0

Comparison with GGP-Base Prover:

Median speedup0.4388666735031955
Mean speedup2.207327110708967
Geometric mean speedup0.0
Ratio of # state changes with 1 second per game0.3835072474611447
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)102803618
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 (comparison)218931610
SANCHO_DEAD_RECKONING_PROPNET:1.61c (comparison)0444993
ALLOY_TUPLE_PROVER:2 (comparison)36050711
CADIAPLAYER_PROLOG:3.0 (comparison)241543654
REKKURA_GENERIC_FORWARD_PROVER:1.0.0 (comparison)5320110
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 (comparison)5241180
REKKURA_BACKWARD_PROVER_OSTD:1.0.0 (comparison)31112310
PALAMEDES_JAVA_ECLIPSE:0.6.1 (comparison)45948913
GGP_BASE_PROVER:2015-04-26 (comparison)125041813
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 (comparison)284132469
ALLOY_COMPILED_PROVER_CACHING:2 (comparison)4453511
FLUXPLAYER_PROLOG:1.1 (comparison)1034239813

Game-by-game statistics:

GameAverage state changes per secondRanking
BASE/onestep/xi53wA15383.412
BASE/haystack/UkweGA13745.63333333333313
DRESDEN/troublemaker01/C-lPWw11310.412
BASE/troublemaker01/s3tlEQ11139.412
BASE/survival/YVIjJA10577.93333333333212
STANFORD/buttonsandlights/eyhJpA9849.26666666666612
BASE/pearls/6k_mEQ9460.63333333333314
DRESDEN/troublemaker02/iZLVuA9452.26666666666612
BASE/troublemaker02/DI83KA9288.43333333333212
BASE/stateSpaceSmall/Q7osKA9040.69
DRESDEN/statespacesmall/h-NqjA8618.911
BASE/buttons/hTcUjw8025.812
DRESDEN/buttons/ADUaHw7875.413
BASE/blocksWorld/SEdXLQ7071.73333333333411
BASE/blocks/xIV5hQ6999.13333333333311
DRESDEN/blocks/vg0DRw6946.76666666666611
STANFORD/untwistycorridor/EDPPAQ6516.56666666666712
BASE/untwistycomplex2/EDPPAQ6441.03333333333412
BASE/factoringGeorgeForman/HGRorQ6403.29
BASE/switches/tPUoCg6324.36666666666712
BASE/duplicateStateSmall/bCPAXw6056.93333333333311
BASE/maze/cCX3qQ6048.112
STANFORD/rainbow/_4qNSQ5903.1666666666679
BASE/lightsOn/MsXu3A5898.83333333333311
DRESDEN/2player_normal_form_2010/NG_Kdg5776.86666666666710
DRESDEN/statespacemedium/dVJZ_w5409.5333333333349
BASE/roshambo2/KNPokQ5399.312
BASE/stateSpaceMedium/3bUoIw5393.73333333333410
STANFORD/multiplebuttonsandlights/cK70Yg5191.33333333333312
DRESDEN/roshambo2/jgSlkQ5190.713
DRESDEN/sum15/CsgWKg5045.610
STANFORD/bestbuttonsandlights/nm0wEA5036.56666666666712
BASE/sum15/QZ07Kg5035.36666666666710
STANFORD/multiplebuttonsandlights_9/SqB9BA4972.613
DRESDEN/blocks2player/3ev8nQ4685.111
BASE/blocks2player/wnTLOQ4651.43333333333312
BASE/toetictac/mTThmg4556.46666666666612
STANFORD/jointbuttonsandlights/qAKuIQ4552.43333333333311
DRESDEN/toetictac/mJtxCA4465.96666666666612
DRESDEN/lightson2x2/gBHuig4389.83333333333310
DRESDEN/point_grab/r5DPmQ4304.83333333333312
BASE/tictactoe_orthogonal/WRzlVw4123.93333333333310
DRESDEN/circlesolitaire/ruUilQ4103.76666666666612
DRESDEN/tictactoe_orthogonal/y69QFQ4089.86666666666710
BASE/circlesolitaire/azuQFQ4072.966666666666713
DRESDEN/blocker/S815zQ3901.33333333333359
BASE/tictactoe2/bhrDoQ3893.1333333333339
BASE/lightsOnParallel/SC6enA3863.09
DRESDEN/chickentoetictac/cxYaRQ3856.212
DRESDEN/statespacelarge/8-y5HQ3796.6333333333339
BASE/chickentoetictac/l57rfQ3794.86666666666712
STANFORD/dualrainbow/G3OnRQ3780.29
BASE/stateSpaceLarge/0Ge_CQ3718.39
DRESDEN/tictactoe/BTTzPw3687.29
STANFORD/bestbuttonsandlightsbig/g0JC6g3678.033333333333313
BASE/eotcatcit/AfZSzA3516.66666666666659
STANFORD/3puzzle/41ibjA3488.966666666666712
DRESDEN/eotcatcit/mQUxzA3464.29
DRESDEN/tictactoe-init1/3ltIBQ3422.61924602513239
STANFORD/threepuzzle/41ibjA3378.813
BASE/point_grab/V_osUg3374.111
BASE/hodgepodge/9yjRkw3307.933333333333412
BASE/tictactoe-init1/7M19vA3306.8666666666679
BASE/brain_teaser_extended/ZDp94A3285.066666666666610
DRESDEN/brain_teaser_extended/ZDp94A3239.010
BASE/blocker/dIWtxg3175.066666666666610
STANFORD/tictactoe7/-bE9-A3137.533333333333310
BASE/ticTacToe/JRFsaQ3137.211
DRESDEN/chickentictactoe/Ipbo-g3117.69
STANFORD/tictactoe/ss1kyQ3079.066666666666610
STANFORD/trifecta/ss1kyQ3026.666666666666510
STANFORD/tictactoe5/WFRReg2951.410
BASE/blocksWorldSerial/Wyg96Q2949.26666666666712
STANFORD/untwistycomplex/HTWEwg2947.66666666666659
BASE/factoringEasyTurtleBrain/lUj94Q2935.566666666666611
DRESDEN/lightsout2/LFtfyQ2913.97240183987748
BASE/factoringMutuallyAssuredDestruction/NH0LGg2832.533333333333310
DRESDEN/oisters_farm/pTQMLg2831.76666666666713
STANFORD/tictactoe3/X7myng2807.066666666666610
DRESDEN/firefighter/WJmoPw2791.566666666666612
DRESDEN/lightsout/XgLpzQ2771.46666666666678
BASE/firefighter/WJmoPw2760.666666666666512
BASE/chickentictactoe/DSlZCA2749.76666666666710
BASE/gt_dollar/TGjqRw2729.26666666666712
STANFORD/sukoshi/4LYZZQ2607.03333333333339
BASE/eotcitcit/V_9_bg2581.06666666666669
DRESDEN/blocksworldparallel/2JfVaw2547.712
DRESDEN/CatchMeIfYouCanTest/CX18rA2547.311
DRESDEN/Thief_Police/CX18rA2539.566666666666611
DRESDEN/tictictoe/LAUtwg2525.66666666666659
DRESDEN/catch_me/ghGWrA2509.033333333333312
DRESDEN/Catch-Me-If-You-Can/ghGWrA2491.63333333333312
DRESDEN/tictactoelarge/IwXcbg2473.59
DRESDEN/tictactoelargesuicide/6J4DeA2439.6333333333339
BASE/incredible/8Qh-6Q2365.833333333333512
BASE/snakeParallel/RCVNtw2278.910
STANFORD/tictictoe/rpt_Dw2258.19
DRESDEN/8puzzle/8fKC2w2253.966666666666713
BASE/ticTacToeNoVars/XT03NA2253.710
BASE/lightsOut/5P1ZBw2246.3666666666679
BASE/ticTicToe/c1OobQ2209.7666666666679
DRESDEN/knightstour/cGISAA2166.566666666666612
STANFORD/hunter/14dD-g2153.666666666666512
BASE/duplicateStateMedium/U163eQ2072.433333333333410
DRESDEN/SC_TestOnly_enabled/09o7gQ2061.011
BASE/ticTacToeLarge/TZC0dg2030.13333333333349
DRESDEN/doubletictactoe/lJzgmQ2029.06666666666668
BASE/numbertictactoe/rvJ-iQ2023.011
DRESDEN/bunk_t/7-tPfA1993.08
BASE/gt_centipede/9fRMpw1979.433333333333412
BASE/ticTacToeLargeSuicide/727_8g1977.06666666666669
BASE/doubletictactoe/HH1htg1953.79
DRESDEN/doubletoetictac/V89gKQ1952.48
BASE/doubletoetictac/fu35bg1949.63333333333348
DRESDEN/chomp/-LcqYQ1928.53333333333338
BASE/beatMania/qUHwvQ1927.833333333333311
BASE/bunk_t/xbpfIA1904.06666666666669
STANFORD/eightpuzzle/W_aWbA1846.305123162561411
DRESDEN/latenttictactoe/kITHKg1838.310
BASE/chomp/-LcqYQ1831.610
BASE/eightPuzzle/vLrgFg1817.266666666666712
STANFORD/8puzzle/jNiGtw1816.433333333333412
STANFORD/knightstourmedium/x1wu8Q1786.533333333333312
BASE/blocksWorldParallel/RseaAQ1690.19
DRESDEN/hanoi/RQ0jiA1678.733333333333311
BASE/ruleDepthLinear/OUBJpQ1653.366666666666611
BASE/hanoi/iGLsJg1624.633333333333411
BASE/coloredtrails/EZvr7g1600.812
DRESDEN/grid_game2/kypTYQ1568.07
BASE/ticblock/T21C1g1565.36666666666668
BASE/knightsTour/mvtVIg1558.766666666666711
STANFORD/dualhunter/1rPZjQ1548.633333333333410
DRESDEN/ticblock/Z2yNWQ1544.58
STANFORD/knightstour/cEwgNA1539.266666666666711
BASE/withConviction/3Xm54A1529.36666666666668
BASE/lightsOnSimultaneous/_VN6lw1480.17
DRESDEN/nim1/M9BALA1429.49
BASE/nim1/hin2Qw1422.266666666666710
BASE/nim2/eF2Qqw1412.910
BASE/factoringMediumTurtleBrain/8RBqmQ1409.53333333333337
BASE/futoshiki4/BaCwSw1398.56666666666668
DRESDEN/nim2/z5_exA1397.533333333333310
DRESDEN/nim4/F5YAYg1380.76666666666679
BASE/coins/QnGtnQ1374.733333333333311
BASE/nim4/twk16w1374.166666666666710
DRESDEN/nim3/sG_axA1372.810
BASE/double_tictactoe_dengji/zgaSbA1365.466666666666710
BASE/coins_atomic/AA3SSw1359.066666666666612
DRESDEN/coins/QwFP9w1355.066666666666611
BASE/nim3/1OwUqw1355.010
STANFORD/duikoshi/tpw1sw1338.233333333333310
DRESDEN/tictactoeparallel/yk_DSg1326.266666666666710
STANFORD/triplesukoshi/Iu9mbA1313.03333333333336
DRESDEN/double_tictactoe_dengji/bGaUyQ1311.366666666666611
DRESDEN/pancakes6/SZXMyQ1309.133333333333412
BASE/simultaneousWin2/PfjRjw1307.55
DRESDEN/bidding-tictactoe/yW5vTA1307.166666666666711
BASE/lightsOnSimul4/9FeASw1275.26666666666677
BASE/asteroids/BKCmPQ1272.733333333333311
BASE/tron_10x10/7ZTgDg1272.012
DRESDEN/pancakes/hl9aiQ1259.666666666666713
DRESDEN/pancakes88/aD3E7g1249.710
DRESDEN/cube_2x2x2/fp-34Q1222.033333333333313
BASE/catcha_mouse/cHv4dw1219.87
DRESDEN/catcha_mouse/cHv4dw1214.73333333333338
DRESDEN/Runners/3bOCQw1174.766666666666713
BASE/queens06ug/7Lq3tw1165.510
BASE/conn4/va9Y7A1156.28
BASE/ticTacToeSerial/Amrwqw1155.96666666666679
BASE/biddingTicTacToe/8mESVw1141.966666666666711
DRESDEN/aipsrovers01/qS47Mw1133.111
BASE/aipsrovers01/4C4jsw1131.333333333333312
DRESDEN/pawn_whopping/4ogBkg1117.66666666666679
BASE/breakthroughSmallHoles/bxclRw1094.710
BASE/snake2p/I3wWPQ1080.56666666666669
DRESDEN/pawn_whopping_corrected/7Ov0jQ1066.03333333333339
BASE/ticTacToeParallel/ymRGPw1042.310
DRESDEN/tictactoe_3player/ESLQQQ972.89
BASE/blockerSerial/3eqDuw963.83333333333349
DRESDEN/connectfoursuicide/M9CNQg951.46666666666679
DRESDEN/connectfour/5tc-Mg949.66666666666669
BASE/racetrackcorridor/_RkdUg947.33333333333349
BASE/queens08ug/kJ_ZFQ936.18
STANFORD/breakthrough/d5j0cQ905.933333333333310
STANFORD/connectfour/VMpZkQ889.910
DRESDEN/logistics/fPru1Q885.033333333333310
BASE/connectFourSuicide/c8p9Kw878.966666666666710
BASE/tictactoe_3player/GtM71g874.766666666666710
DRESDEN/racetrackcorridor/O0DoTA869.366666666666711
BASE/connectFour/WAIKTw861.266666666666710
DRESDEN/fizzbuzz/t1xHzQ855.110
DRESDEN/3pttc/uwYBZw835.633333333333311
DRESDEN/3pffa/0YrmQw831.433333333333311
BASE/tictactoe_3d_small_2player/oOryKA815.20615979467369
DRESDEN/mimikry/GJEhwA812.233333333333311
BASE/pawnWhopping/Ypc_6Q807.76666666666679
BASE/chineseCheckers1/gqtwHw806.633333333333311
BASE/slidingpieces/uFJWEw805.97
BASE/connectFour_9x6/B9TtMw803.966666666666710
DRESDEN/slidingpieces/s9_44g803.30655644811848
DRESDEN/tictactoe_3d_small_2player/HYttcg801.733333333333310
BASE/dotsAndBoxes/EHwA_w798.06666666666679
BASE/dotsAndBoxesSuicide/jzQbLw796.37345421819279
BASE/pancakes6/QZTdnw794.866666666666712
BASE/pancakes/yUgbXw793.133333333333312
BASE/duplicateStateLarge/dcjyuw785.49
BASE/futoshiki5/TJ4BZg783.83333333333349
BASE/3pConnectFour/PqXOFQ781.86666666666679
BASE/gt_coordination/IVMOzA754.411
BASE/copolymer_4/2LDVhQ753.23333333333339
BASE/nineBoardTicTacToePie/B8LzeQ751.60827972400929
DRESDEN/pawn_whopping_simultaneous/r8dLfw749.266666666666710
DRESDEN/peg/Vo31eg741.66666666666669
BASE/asteroidsParallel/WauZiA728.333333333333412
DRESDEN/peg_bugfixed/u_B7MA725.710
DRESDEN/tpeg/h-Scbg722.666666666666610
DRESDEN/smallest_4player/ADDROA720.43333333333339
DRESDEN/battlesnakes1509/-qZrLw719.96
STANFORD/nineboardtictactoe/y28P-A718.53333333333338
BASE/smallest_4player/ADDROA715.54281523949210
DRESDEN/battlesnakes2011/93VtTw712.46666666666676
BASE/wallmaze/uxNQ9g711.44295190160329
BASE/nineBoardTicTacToe/wRmqqA709.38
BASE/tpeg/QNs7Lw703.866666666666710
BASE/copolymer_4_pie/IN5_jA703.66666666666669
BASE/ticTacHeaven/18n58A702.87
BASE/checkLines/Vop7oQ698.643378554048210
BASE/asteroidsSerial/id2QkA682.912
BASE/shmup/ssTNlg675.933333333333310
DRESDEN/blockerparallel/dVQgSg674.8441718609389
BASE/cittaceot/fDxhXg674.13333333333337
DRESDEN/stratego/Z2wovg671.53333333333339
DRESDEN/connect4/T0-rHQ670.93333333333339
BASE/blockerParallel/7-nDJA669.36666666666678
BASE/connect4/50bOyw657.69
BASE/tictactoe_3d_small_6player/g_9lww654.56666666666677
DRESDEN/chinesecheckers1/Y-ftaA643.878537382087312
BASE/quad_7x7/q-JOXg643.34
BASE/kitten_escapes_from_fire/uW-YiA641.533333333333312
BASE/tictactoex9/BI26ow641.06666666666679
DRESDEN/quad_7x7/q-JOXg640.53333333333334
DRESDEN/tictactoex9/rFkD4w640.13333333333339
BASE/ticTacHeavenFC/mrletw638.31205626479127
DRESDEN/tictactoe_3d_small_6player/llDEDQ632.83333333333347
DRESDEN/kitten_escapes_from_fire/uW-YiA630.233333333333313
DRESDEN/gt_prisoner/huCp4w627.379087363754612
STANFORD/multipletictactoe/_bkafQ618.66666666666669
DRESDEN/bidding-tictactoe_10coins/mu5VhQ618.333333333333410
DRESDEN/sheep_and_wolf/enAIzQ609.413019566014411
BASE/hidato19/rRHSmA609.38
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw600.866666666666712
BASE/knightsTourLarge/M8jgLA599.746675110829611
DRESDEN/smallest/9kaGFw582.59
BASE/2pffa/6oHijA580.466666666666711
BASE/biddingTicTacToe_10coins/a-9ccQ573.866666666666710
DRESDEN/grid_game/U7_Yeg571.466666666666712
BASE/connectFourLarge/aU644A556.366666666666710
BASE/2pffa_zerosum/o0_uZA554.981500616646112
BASE/gt_prisoner/klthDw546.933333333333311
BASE/queens08lg/Ru7eqQ546.73333333333336
BASE/connectFourSimultaneous/7ITr3g546.26666666666679
DRESDEN/knightwar/7hhAqg546.23333333333338
BASE/futoshiki6/JmvXNA537.81540615312836
BASE/gt_staghunt/xPjLRA535.466666666666711
BASE/3pffa/pR0dzA534.566666666666710
DRESDEN/Goldrush/VeWczQ513.382887237092110
BASE/snakeAssemblit/UO4sdg509.13333333333339
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ502.4666666666666412
BASE/chineseCheckers2/eCMR3Q496.312
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg494.916836105463213
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg492.783573880870613
DRESDEN/gt_chicken/CeuKtw491.9666666666666411
STANFORD/freeforall/Lfp40Q483.666666666666710
BASE/queens12ug/u6Bkmg480.766666666666658
DRESDEN/sat_test_20v_91c/dK7nVw480.166666666666711
DRESDEN/uf20-020.cnf.SAT/hDrW_A478.4333333333333412
DRESDEN/uf20-010.cnf.SAT/5ICbCg478.384053864871212
BASE/snake_2009/7l-qAQ474.933333333333349
DRESDEN/golden_rectangle/1uloXw473.65087830405655
BASE/dualConnect4/WbCQkg472.884237192093611
DRESDEN/ggp-course2013_michal13/jWKddg472.250924969167674
STANFORD/knightstourbig/TQUI2g468.666666666666711
DRESDEN/cubicup/SBn_lw463.29
BASE/cubicup/4wNWJA462.035864275714979
DRESDEN/snake_2009/zIYLVw460.651311622945910
BASE/golden_rectangle/_nYzfw457.71807606413125
BASE/4pffa/Q3ADlg449.836677554829711
BASE/escortLatch/mX9BjQ438.2041197253516312
BASE/kalaha5x2x3/WviNsw436.8375441637224411
BASE/gt_chicken/gmepTQ433.7666666666666511
DRESDEN/cubicup_3player/awDtsQ414.35856414358566
DRESDEN/sat_test_20v_91c_version2/a1mPBA411.9058729418038612
DRESDEN/knightmove/97Ipcw409.719676010799611
STANFORD/pentago/ZxzLmg406.2864571180960510
STANFORD/selectivesukoshi/3xmXYg406.266666666666655
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA403.153228225725813
DRESDEN/pentago_2008/hLjVpQ400.319989333688859
BASE/cubicup_3player/e2yA_g396.706886207586147
DRESDEN/snake_2009_big/DgC1NQ389.25369154361529
BASE/majorities/ibJzSQ387.940803946403556
BASE/knightmove/jBaJEw385.35382153928211
DRESDEN/uf20-01.cnf.SAT/42Rs8A382.2539248691710410
BASE/snake_2009_big/-oRfVw381.210
BASE/pentago/86NgKw376.887437085430469
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg376.454118196060113
STANFORD/multiplesukoshi/vLSQPg372.320922635912156
BASE/pentagoSuicide/SBgNhw372.12092930235669
BASE/chineseCheckers3/-1rZdQ366.521115962801211
BASE/breakthroughSuicideSmall/XSbJog361.609226051596611
BASE/breakthroughSmall/HJ0tIA359.388020399329
DRESDEN/gt_ultimatum/pAiiQw349.18836038798719
BASE/snake_2008/i6K26g331.622279257358112
DRESDEN/snake_2008/E56l3A329.0780614625691712
BASE/snake_2008_tweaked/bX0NJQ328.366666666666712
BASE/peg/fJHVWw321.255958134728811
BASE/pegEuro/5awwhg315.5122991800546410
DRESDEN/backgammon/mqCW0Q312.289590346988468
BASE/gt_ultimatum/GE-uOA301.9798680087994310
BASE/chineseCheckers4/avfBcQ301.8364830183648512
DRESDEN/4pttc/9pB9AQ299.856671444285211
BASE/rubiksCube/9tNO9Q292.2666666666666510
DRESDEN/hanoi_6_disks/MeubgQ289.8570047665077713
DRESDEN/ggp-course2013_jordi/9QI6Kw289.090363654544839
BASE/hanoi_6_disks/MeubgQ287.413
STANFORD/alquerquezero/uVgA_A285.79047365087839
DRESDEN/hallway/0H4l-Q276.83333333333338
DRESDEN/javastrike/whONTQ273.44843677088198
BASE/hallway/ckCJOw272.34851009932678
BASE/queens16ug/gT-ylw270.82430585647148
BASE/mineClearingSmall/frsbvw268.49105029832348
BASE/minichess/8NQEiA260.7913069564347711
BASE/englishDraughts/jFkQxg258.807452588074510
BASE/kalaha6x2x4/XS81Mg247.291756941435311
BASE/ttcc4_2player_small/Cv72TA246.150256649556710
DRESDEN/frogs_and_toads/GjchhQ240.6759324067593312
BASE/chineseCheckers6/rREH3A239.2666666666666812
STANFORD/pilgrimage/ObRZnQ239.042762390427611
DRESDEN/minichess-evilconjuncts/th24Tw233.551096593560438
BASE/guess/SPpk1A232.025599146695111
DRESDEN/guess/PhxGhg231.5178988067462211
BASE/minichess-evilconjuncts/4OpQzw229.833333333333348
DRESDEN/minichess/c7GMFw219.6593446885103711
BASE/2pttc/unkkYA214.6523565095660312
DRESDEN/quad_5x5_8_2/JRTLJg212.878712128787137
BASE/qyshinsu/R08Lzw211.545512115455138
BASE/connectFourLarger/qKi60A210.9263024565847811
DRESDEN/quad_5x5/JAEP5g209.933333333333347
BASE/quad_5x5/JAEP5g203.746292037462927
BASE/sudokuGrade2/u80Tfw197.37368350886555
BASE/sudokuGrade4/DTy07w193.45
BASE/sudokuGrade1/tDRNRw189.493683543881876
BASE/sudokuGrade5/BQfUQA189.347731893477325
BASE/quad/tw-Ufg186.831495118456563
STANFORD/sudoku/oJ1qyQ186.166666666666665
BASE/sudokuGrade3/eI8dvg184.466666666666676
BASE/sudokuGrade6H/ieE_9A183.56
DRESDEN/quad/JPe6fg179.609385415277964
BASE/knightwar/DVGY4Q176.766666666666688
BASE/sudokuGrade6E/ihYFZA176.427452418252736
DRESDEN/hanoi7/51zz5Q174.843354219437412
DRESDEN/hanoi7_bugfix/3gdnFw170.0049991668055312
STANFORD/duidoku/3SoMaA160.773204465922336
BASE/hanoi7_bugfix/3gdnFw157.6666666666666613
BASE/3pttc/0sol9g145.4236384241050612
DRESDEN/breakthroughsuicide/Y9QzqQ141.310
DRESDEN/breakthroughsuicide_v2/LU1nAw136.3197013631970310
DRESDEN/ghostmaze2p/HY0UwA135.153151351531511
DRESDEN/tictactoe_3d_2player/LMuX9w134.411
DRESDEN/knightthrough/J7Fc_Q134.362187927069110
DRESDEN/breakthrough/z4hK7Q134.31990134319910
BASE/tictactoe_3d_2player/IUC1rQ133.5688339387476211
BASE/checkersTiny/Lr48cg133.0622312589580410
DRESDEN/bomberman2p/x4h6jQ131.8446925512414511
STANFORD/hex/MTqWcw131.5956134795506810
BASE/hex/T1MK8g131.086891310868910
BASE/ghostMaze2p/W-NU-w129.8116980503249413
DRESDEN/tictactoe_3d_6player/ulZPWg129.49016994335229
BASE/breakthrough/TGxk-g129.1956934768841211
BASE/breakthroughWalls/vOZaYA129.1666666666666611
BASE/sheepAndWolf/g4THrg128.7666666666666812
BASE/breakthroughHoles/nZk0Sg127.3915072328511412
BASE/breakthroughSuicide/wZDpIg127.1497133715504612
BASE/hexPie/48CH6Q126.2582494500366613
BASE/bomberman2p/4CClwA125.913
BASE/tictactoe_3d_6player/d7KSwg125.2040646343494910
BASE/gt_tinfoil/Q8DyKg118.8214511882145111
DRESDEN/tttcc4/sAvtFg108.4819196800533210
BASE/tttcc4/8Bs2lg103.4689593122063410
BASE/ttcc4/Le0qjQ103.452872950273310
DRESDEN/mummymaze2p-comp2007/oTQRQg100.3799240151969612
BASE/battlebrushes/arCwyA99.900166389351097
BASE/mummyMaze2p_2007/YGA3Vw99.486735101986411
BASE/choicethroughalt/tt71Lg97.3870150646580411
STANFORD/ttcc4/Cx9SGw96.544139700736510
BASE/ttcc4_2player_alt/ZEJvYA94.9143504632406810
BASE/chinook/XQh0IQ94.5333333333333311
BASE/ttcc4_2player/_aH_Mw92.9480770512564211
BASE/4pttc/AL1k2Q91.439234896197812
STANFORD/chinook/osFbPA90.121317157712319
DRESDEN/CephalopodMicro/H3XQfg89.930335655478157
BASE/nonogram_5x5_1/qLKEZw89.379144866197899
BASE/checkersSmall/SYmq8w86.7217704306092510
BASE/checkersBarrelNoKings/rnKNeg86.4711762745751411
BASE/checkersTorusNoKings/pwb6oQ86.1046317894035310
STANFORD/checkersonabarrelnokings/Zrevdw83.7527078820196611
DRESDEN/babel/WdSW4A82.1753473957812611
BASE/cephalopodMicro/9l2D3g78.09479368042137
DRESDEN/ggp-course2013_nicolai/uEin8g76.28728545242468
BASE/endgame/jYjfOA72.4116098503782310
DRESDEN/pacman3p/rBnk8Q68.4128094904861810
BASE/knightThrough/gcwFjA67.428838077461510
DRESDEN/twisty-passages/j7NPyg65.9358965815952612
BASE/twisty-passages/DiZmmg62.9333333333333313
BASE/checkersTorus/2vm1EQ62.77070700339841411
BASE/pacman3p/wW7UVQ62.3729717122580212
DRESDEN/skirmish3/3LU8Nw62.19378062193780510
BASE/checkers/rOC3Xg61.925076656445819
BASE/pacman2p/4LEdQg61.546151282905711
BASE/hidato37/pBrqxw60.95650724879186611
BASE/knightfight/SJRkAg54.5430313530803312
DRESDEN/knightfight/4_Ly4w52.812
BASE/amazons_8x8/7SOsIw50.0433131205437412
BASE/knightazons/apnJBQ49.97168271312922610
BASE/crossers3/O0rORg49.2300513299113411
DRESDEN/knightazons/02I8BQ49.1934408745500610
DRESDEN/crossers3/xiPTxg49.0787325492286711
DRESDEN/mummymaze2p/k-8edg45.4818072770891712
BASE/mummymaze2p/vpjDdA45.3394629888733412
DRESDEN/skirmish2/iPpWhQ45.11228093556340511
DRESDEN/capture_the_king/EQ229Q44.8352819692881710
BASE/colonelBlottoVariant/X-n-KQ42.383046781287489
DRESDEN/skirmish/RjGQYQ42.3703407614669711
BASE/colonelBlottoVariant2/jruwGw41.8555051986137069
DRESDEN/Zhadu/9zpQ5w41.14609361985673510
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA39.9268008650806869
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g39.4671928959052810
DRESDEN/brawl/2kXtfQ39.4587749116843310
DRESDEN/satlike_20v_91c/yeuENQ39.2065654384157910
BASE/brawl/6Ymo_Q39.0112269713828810
DRESDEN/satlike_20v_91c_version2/yd9ioQ38.4360503644797910
BASE/zhadu/DlA8iQ37.684926029588167
BASE/queens31lg/0gID-A37.4246009264504954
DRESDEN/endgame/IJhh3Q36.0903758997600612
BASE/reversi/d8UMeA35.8141392624151258
BASE/reversiSuicide/9OxJlg35.657211346384348
DRESDEN/towerworld/HCX34w33.081253956091558
BASE/skirmishFinal3/-Olhfw32.466666666666679
BASE/skirmishHoles/AUCxCA31.716417910447769
BASE/nonogram_10x10_1/0Xc62g28.300316297652749
BASE/checkers-newgoals/0XkFiA28.19154253723882810
DRESDEN/skirmishfinal/hzq8ww27.8425364683940610
BASE/skirmishFinal2/gdB62Q27.67970155219505610
BASE/skirmishFinal1/ecWTnQ26.3762613647717049
DRESDEN/quarto/OQzRYQ25.94418170918537212
STANFORD/platformjumpers/HEQskA25.4830113257828113
BASE/strangeSkirmish/gc1zKA25.47367720022643310
DRESDEN/Travelers-Dilemma/PvZwYw25.4522437285538212
BASE/skirmish/Y_psYQ25.0049943397482869
DRESDEN/quartosuicide/WIU1oQ23.9912032254839912
BASE/pancakes88/l2Xaig23.88805597201399412
BASE/skirmishNew/sibw2g23.71673162119849512
BASE/speedChess/bPnisA23.27672327672327812
BASE/amazonsSuicide_10x10/XIbQkg23.1102231102231111
BASE/amazons_10x10/Bun8dA23.0554261760596211
BASE/quarto/EwBMVQ22.51907125487191412
BASE/kalaha_2009/dRiN3g22.0720420800319612
DRESDEN/kalaha_2009/gcC8uA22.0113220113220112
BASE/othelloHoles/c0qAzw21.6095628142376737
BASE/skirmishZeroSum/zh4hcw21.60452729693741612
BASE/quartoSuicide/-23jUg21.5537344260110613
DRESDEN/god/2EDD5w20.907547358258159
BASE/god/qF06gw20.773686663559499
BASE/othelloSuicide/B442jg20.0859398421105237
DRESDEN/small_dominion/yB5GJA20.0526298257886147
BASE/othello-comp2007/86ZoMw19.9567603525694329
DRESDEN/connect5/1kYzSg19.88409272581934313
DRESDEN/racer/vk_ZBA18.205418358516949
BASE/connect5/d-BVQg18.19393535488170613
BASE/racer/QQYQNw18.11521811521811610
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A17.9273575474841711
DRESDEN/blobwars/ZaMluQ17.82620285219245612
BASE/blobwars/0XT15Q17.50241240475160612
BASE/factoringImpossibleTurtleBrain/kcBhdw17.136392373473534
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA17.05643280698247812
DRESDEN/vacuum_cleaner_1/eUNjpw16.04740977493674211
BASE/racer4/0vs7Ww15.01731486414491310
BASE/alexChess/LNo83g14.7926036981509252
DRESDEN/vacuumcleaner_random/_6AGDA14.44115396133497411
BASE/solitaireChineseCheckers/-ET6gw13.82798245894817812
BASE/amazonsTorus_10x10/Uxc08g13.38037544934096711
BASE/chess_200/XsTpYA12.08670462491259610
BASE/checkers-mustjump/T-8UuQ11.59381663113006410
DRESDEN/amazons/dNB28A11.4984668710838569
DRESDEN/chinesecheckers2/06E6-Q10.91659455501564212
BASE/checkers-cylinder-mustjump/rjr6qQ9.7973873633697699
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw9.7775117230370169
BASE/checkers-mustjump-torus/uSApKQ8.5399082873662529
STANFORD/skirmish/w4V6Vw8.14467604135500910
STANFORD/madness/UO_B3A7.61151366083892811
BASE/blokbox_simple/JBx4bg7.251679861619326
BASE/max_knights/2fq3Ag6.7812385732805912
DRESDEN/max_knights/hCipiA6.62383916386512712
DRESDEN/four_way_battle/xSOQXA6.6033979293867810
BASE/four_way_battle/xSOQXA6.11844511688225411
BASE/colonelBlotto/jip21A5.16030229383768
DRESDEN/pawntoqueen/f_x6Aw5.04882747625058111
BASE/pawnToQueen/-O1_JA4.99184665047089711
BASE/wargame01/_GZFZg4.51287496681709611
BASE/wargame02/BkVqqQ4.48534786364542511
DRESDEN/battle/8oAvhQ3.806812539309477411
BASE/battle/8oAvhQ3.726129482999534411
BASE/wargame03/klXI8w3.230210796230310612
DRESDEN/checkers-newgoals/IJOqXQ2.7186526092434199
BASE/gt_two_thirds_2p/1APDGg2.69228212457621478
DRESDEN/cylinder-checkers/clOO3Q2.50453122425440769
BASE/cylinder-checkers/hlldmw2.498833877523822410
DRESDEN/vacuumcleaner_random_big/DwzFaQ2.4875621890547269
DRESDEN/checkers/jIDMIg2.366666666666666710
DRESDEN/farmers/S_ASnw1.317175974710221211
DRESDEN/checkers-mustjump/HUr33w1.21478757633462489
BASE/gt_attrition/kD_SCA1.16198001394376029
DRESDEN/checkers-cylinder-mustjump/vW_-pA1.154963041182682110
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg1.126723223753976610
BASE/hitori/S8Gsyg1.124598948169219112
DRESDEN/hitori/S8Gsyg1.12126108894238712
DRESDEN/checkers-mustjump-torus/cVc3gA1.01642676809075710
DRESDEN/chinesecheckers4/-oVNYg0.918002688436444714
DRESDEN/chinesecheckers3/QsCb2A0.753554812921826913
BASE/ad_game_2x2/D0aWqg0.4498425551057139
BASE/ruleDepthExponential/UamhHQ0.438954035241738268
DRESDEN/battlebrushes/QHXV4A0.4382806874745640610
DRESDEN/othello-cornercontrol/r5Gdlg0.1507613447911955514
BASE/amazonsSuicide/dE1QEQ0.0857216332828528210
BASE/amazons/RKKZjw0.073101196422914811
DRESDEN/crisscross/GsY16g0.0596356263231654613
BASE/crisscross/ICagEg0.05923293351103213513
DRESDEN/crissrace/KWb9bw0.0327096689781499412
BASE/crissrace/ERWGDA0.0322414237812741812
BASE/amazonsTorus/soxT8g0.0181993557428067053
DRESDEN/chinesecheckers6/yTbPDA0.014
DRESDEN/merrills/aYEzwA0.012
BASE/merrills/pku8Tg0.012
DRESDEN/chinesecheckers6-simultaneous/gPPGUw0.013

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: 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