index

FLUXPLAYER_PROLOG:1.1

Comparison with GGP-Base Prover:

Median speedup2.7873501892494206
Mean speedup5.473443049586628
Geometric mean speedup0.0
Ratio of # state changes with 1 second per game2.7354459060026715
Ratio of times to run 1000 states per gameInfinity
Number of games with errors42

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)163446440
PALAMEDES_JOCULAR:0.6.1 (comparison)2558017937
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 (comparison)393811338
SANCHO_DEAD_RECKONING_PROPNET:1.61c (comparison)15146239
ALLOY_TUPLE_PROVER:2 (comparison)323218942
CADIAPLAYER_PROLOG:3.0 (comparison)21014815627
REKKURA_GENERIC_FORWARD_PROVER:1.0.0 (comparison)431137042
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 (comparison)430137141
REKKURA_BACKWARD_PROVER:1.0.0 (comparison)3981310342
REKKURA_BACKWARD_PROVER_OSTD:1.0.0 (comparison)3961310541
PALAMEDES_JAVA_ECLIPSE:0.6.1 (comparison)268524138
GGP_BASE_PROVER:2015-04-26 (comparison)384013042
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 (comparison)433156640
ALLOY_COMPILED_PROVER_CACHING:2 (comparison)1450940

Game-by-game statistics:

GameAverage state changes per secondRanking
BASE/ruleDepthLinear/OUBJpQ75670.766666666665
BASE/onestep/xi53wA74782.36
DRESDEN/troublemaker01/C-lPWw57136.0666666666666
BASE/troublemaker01/s3tlEQ56540.86
DRESDEN/troublemaker02/iZLVuA55201.9333333333346
BASE/troublemaker02/DI83KA54894.26
BASE/survival/YVIjJA53988.26
STANFORD/buttonsandlights/eyhJpA53610.46
BASE/haystack/UkweGA52881.233333333336
BASE/pancakes6/QZTdnw50577.266666666673
DRESDEN/pancakes6/SZXMyQ50427.633333333333
DRESDEN/pancakes/hl9aiQ50333.033333333333
BASE/pancakes/yUgbXw48999.13
STANFORD/rainbow/_4qNSQ47070.24
DRESDEN/statespacesmall/h-NqjA46970.06
BASE/stateSpaceSmall/Q7osKA46760.6666666666646
DRESDEN/pancakes88/aD3E7g44495.82
BASE/pancakes88/l2Xaig44200.26657780742
BASE/maze/cCX3qQ43782.56
BASE/chineseCheckers2/eCMR3Q42818.14
DRESDEN/Travelers-Dilemma/PvZwYw42284.02
STANFORD/multiplebuttonsandlights_9/SqB9BA41349.0666666666664
STANFORD/knightstourmedium/x1wu8Q39770.8333333333366
STANFORD/multiplebuttonsandlights/cK70Yg39728.44
BASE/roshambo2/KNPokQ39231.8333333333364
DRESDEN/roshambo2/jgSlkQ39215.54
DRESDEN/knightstour/cGISAA39120.1666666666646
BASE/knightsTour/mvtVIg39114.466666666676
STANFORD/knightstour/cEwgNA38740.86
STANFORD/bestbuttonsandlights/nm0wEA38281.24
BASE/chineseCheckers3/-1rZdQ35394.14
BASE/knightsTourLarge/M8jgLA35367.61079640124
BASE/pearls/6k_mEQ35260.866666666676
STANFORD/knightstourbig/TQUI2g35077.366666666674
STANFORD/bestbuttonsandlightsbig/g0JC6g33621.84
DRESDEN/blocks/vg0DRw31193.96
BASE/blocks/xIV5hQ31082.56
BASE/blocksWorld/SEdXLQ30923.76
BASE/buttons/hTcUjw30878.26
STANFORD/untwistycorridor/EDPPAQ30780.6333333333355
DRESDEN/buttons/ADUaHw30608.86
DRESDEN/statespacemedium/dVJZ_w30606.64
BASE/stateSpaceMedium/3bUoIw30334.84
STANFORD/threepuzzle/41ibjA30283.06
DRESDEN/oisters_farm/pTQMLg30181.6666666666684
DRESDEN/2player_normal_form_2010/NG_Kdg30106.0666666666666
STANFORD/3puzzle/41ibjA30102.46
DRESDEN/point_grab/r5DPmQ30035.3333333333324
BASE/chineseCheckers1/gqtwHw30011.84
DRESDEN/kitten_escapes_from_fire/uW-YiA29810.6666666666685
BASE/kitten_escapes_from_fire/uW-YiA29779.0666666666665
BASE/point_grab/V_osUg29723.3333333333324
BASE/untwistycomplex2/EDPPAQ29564.2666666666665
BASE/gt_centipede/9fRMpw29516.9333333333346
BASE/lightsOn/MsXu3A29124.2333333333344
BASE/tictactoe2/bhrDoQ27565.7333333333344
STANFORD/jointbuttonsandlights/qAKuIQ26696.5666666666664
BASE/duplicateStateSmall/bCPAXw25715.3333333333326
BASE/gt_dollar/TGjqRw25701.56
BASE/asteroids/BKCmPQ25472.0333333333334
BASE/chineseCheckers4/avfBcQ24522.3666666666654
BASE/switches/tPUoCg23724.6666666666686
BASE/hanoi/iGLsJg22584.5333333333334
DRESDEN/hanoi/RQ0jiA22554.5666666666664
BASE/chineseCheckers6/rREH3A21518.04
BASE/stateSpaceLarge/0Ge_CQ21162.8666666666654
DRESDEN/statespacelarge/8-y5HQ20895.4666666666674
STANFORD/freeforall/Lfp40Q20588.137287570814
BASE/circlesolitaire/azuQFQ20322.75
DRESDEN/circlesolitaire/ruUilQ20318.95
BASE/factoringGeorgeForman/HGRorQ20310.9333333333344
BASE/2pttc/unkkYA20137.287570809734
BASE/shmup/ssTNlg19938.8333333333323
BASE/2pffa/6oHijA19291.5694768410544
BASE/2pffa_zerosum/o0_uZA19285.571476174614
BASE/ticTacToeLarge/TZC0dg19141.54
DRESDEN/tictactoelarge/IwXcbg19085.8333333333324
BASE/ticTacToeLargeSuicide/727_8g19062.2666666666664
DRESDEN/hanoi7_bugfix/3gdnFw19035.1882705764734
BASE/gt_two_thirds_2p/1APDGg19034.2333333333343
BASE/hanoi7_bugfix/3gdnFw18978.0333333333334
DRESDEN/tictactoelargesuicide/6J4DeA18973.9333333333344
BASE/hanoi_6_disks/MeubgQ18937.0666666666666
DRESDEN/hanoi7/51zz5Q18914.5333333333334
DRESDEN/SC_TestOnly_enabled/09o7gQ18877.84
BASE/snakeParallel/RCVNtw18824.2333333333345
DRESDEN/hanoi_6_disks/MeubgQ18805.6666666666686
BASE/gt_two_thirds_4p/DStnxQ18260.53
BASE/tictactoe-init1/7M19vA18088.9666666666676
DRESDEN/Zhadu/9zpQ5w18039.7666666666663
BASE/toetictac/mTThmg18039.35
DRESDEN/toetictac/mJtxCA18035.4666666666675
STANFORD/tictactoe3/X7myng17809.96
BASE/gt_two_thirds_6p/867v3Q17738.8333333333322
DRESDEN/tictactoe-init1/3ltIBQ17674.7333333333346
BASE/tictactoe_orthogonal/WRzlVw17260.4333333333344
DRESDEN/tictactoe_orthogonal/y69QFQ17189.5666666666664
STANFORD/tictactoe5/WFRReg17168.2333333333346
BASE/ticTacToeNoVars/XT03NA17142.35
DRESDEN/firefighter/WJmoPw16912.9333333333344
DRESDEN/lightson2x2/gBHuig16911.6666666666684
BASE/hodgepodge/9yjRkw16893.26
BASE/eightPuzzle/vLrgFg16812.04
BASE/firefighter/WJmoPw16641.64
DRESDEN/8puzzle/8fKC2w16552.04
STANFORD/8puzzle/jNiGtw16536.04
DRESDEN/tictactoe/BTTzPw16478.6333333333354
BASE/ticTacToe/JRFsaQ16460.5333333333334
STANFORD/tictactoe7/-bE9-A16286.9333333333326
BASE/beatMania/qUHwvQ16176.04
STANFORD/eightpuzzle/W_aWbA16141.6666666666664
DRESDEN/3pffa/0YrmQw15911.04
STANFORD/tictactoe/ss1kyQ15635.8333333333344
DRESDEN/3pttc/uwYBZw15478.04
BASE/3pffa/pR0dzA15277.907364211934
STANFORD/trifecta/ss1kyQ15236.74
BASE/eotcatcit/AfZSzA15151.7666666666664
DRESDEN/eotcatcit/mQUxzA14936.04
BASE/factoringMutuallyAssuredDestruction/NH0LGg14838.6666666666664
BASE/3pttc/0sol9g14814.04
DRESDEN/vacuum_cleaner_1/eUNjpw14644.4333333333324
DRESDEN/sum15/CsgWKg14407.95
BASE/sum15/QZ07Kg14359.2666666666665
DRESDEN/blocker/S815zQ14346.4666666666674
BASE/connectFourSuicide/c8p9Kw14192.5691436187944
DRESDEN/connectfour/5tc-Mg14071.1666666666664
STANFORD/connectfour/VMpZkQ14037.1666666666664
BASE/choicethroughalt/tt71Lg13921.5666666666684
DRESDEN/connectfoursuicide/M9CNQg13887.8666666666674
BASE/blocker/dIWtxg13757.2333333333344
BASE/connectFour/WAIKTw13644.24
BASE/asteroidsParallel/WauZiA13496.1333333333334
BASE/factoringEasyTurtleBrain/lUj94Q13439.5201599466844
BASE/lightsOnParallel/SC6enA13367.6666666666664
BASE/connectFour_9x6/B9TtMw12663.1333333333334
STANFORD/hunter/14dD-g12353.2155948017334
STANFORD/dualrainbow/G3OnRQ12325.04
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA12253.4333333333324
STANFORD/sukoshi/4LYZZQ12163.7333333333346
BASE/snake2p/I3wWPQ12124.0333333333336
BASE/4pffa/Q3ADlg12097.30089970014
DRESDEN/blocksworldparallel/2JfVaw12096.56
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A12016.0666666666684
BASE/chickentoetictac/l57rfQ11953.85
DRESDEN/chickentoetictac/cxYaRQ11813.3333333333345
BASE/twisty-passages/DiZmmg11462.44
DRESDEN/twisty-passages/j7NPyg11356.2666666666664
BASE/chickentictactoe/DSlZCA11133.3333333333344
DRESDEN/chickentictactoe/Ipbo-g11122.64
DRESDEN/knightwar/7hhAqg10935.92
BASE/blocksWorldSerial/Wyg96Q10931.06
BASE/knightwar/DVGY4Q10873.82
BASE/numbertictactoe/rvJ-iQ9995.5333333333334
BASE/incredible/8Qh-6Q9631.94
DRESDEN/tictictoe/LAUtwg8959.9666666666674
BASE/ticTicToe/c1OobQ8915.7280906364544
STANFORD/pilgrimage/ObRZnQ8880.44
STANFORD/tictictoe/rpt_Dw8863.3333333333344
BASE/eotcitcit/V_9_bg8827.7907364211934
BASE/gt_tinfoil/Q8DyKg8777.3333333333347
BASE/duplicateStateMedium/U163eQ8722.27
BASE/queens06ug/7Lq3tw8693.04
DRESDEN/brain_teaser_extended/ZDp94A8306.04
BASE/connectFourLarge/aU644A8298.7333333333344
BASE/brain_teaser_extended/ZDp94A8260.04
STANFORD/dualhunter/1rPZjQ8246.4666666666674
DRESDEN/laikLee_hex/ZeP3QQ8102.5333333333341
BASE/laikLee_hex/zbyscQ8087.7333333333341
STANFORD/duikoshi/tpw1sw7984.6666666666674
BASE/asteroidsSerial/id2QkA7904.25
BASE/solitaireChineseCheckers/-ET6gw7718.44
DRESDEN/Runners/3bOCQw7659.06666666666710
BASE/tron_10x10/7ZTgDg7630.6666666666675
DRESDEN/pentago_2008/hLjVpQ7563.9333333333334
BASE/dotsAndBoxesSuicide/jzQbLw7555.7666666666664
BASE/pentagoSuicide/SBgNhw7540.2666666666664
BASE/dotsAndBoxes/EHwA_w7537.1666666666674
BASE/pentago/86NgKw7467.4333333333334
BASE/aipsrovers01/4C4jsw7452.9333333333336
DRESDEN/pawn_whopping_corrected/7Ov0jQ7422.5666666666674
BASE/pawnWhopping/Ypc_6Q7359.2666666666664
BASE/nonogram_5x5_1/qLKEZw7307.7333333333344
DRESDEN/aipsrovers01/qS47Mw7299.0666666666676
DRESDEN/pawn_whopping/4ogBkg7189.9333333333334
DRESDEN/cube_2x2x2/fp-34Q7089.1333333333334
BASE/3pConnectFour/PqXOFQ7065.34
BASE/dualConnect4/WbCQkg6801.8333333333334
BASE/connectFourSimultaneous/7ITr3g6622.04
STANFORD/pentago/ZxzLmg6278.5666666666674
DRESDEN/fizzbuzz/t1xHzQ6136.08
BASE/coloredtrails/EZvr7g6036.55
BASE/tictactoe_3d_small_2player/oOryKA6011.1333333333334
DRESDEN/tictactoe_3d_small_2player/HYttcg5999.64
DRESDEN/knightfight/4_Ly4w5855.5333333333344
BASE/knightfight/SJRkAg5831.7666666666664
BASE/lightsOnSimultaneous/_VN6lw5822.2333333333344
STANFORD/platformjumpers/HEQskA5468.74
DRESDEN/latenttictactoe/kITHKg5395.2666666666665
BASE/queens08ug/kJ_ZFQ5291.8360546484514
BASE/breakthroughSmallHoles/bxclRw5228.7666666666664
STANFORD/triplesukoshi/Iu9mbA5205.93
DRESDEN/chinesecheckers1/Y-ftaA5123.2589136954354
DRESDEN/mummymaze1p/AekgaQ5075.93
BASE/mummymaze1p/PT_EXA5010.0666666666673
BASE/knightmove/jBaJEw5004.7666666666664
DRESDEN/knightmove/97Ipcw4982.54
BASE/catcha_mouse/cHv4dw4960.1333333333334
DRESDEN/catcha_mouse/cHv4dw4917.5333333333344
BASE/ticTacHeaven/18n58A4697.74
STANFORD/nineboardtictactoe/y28P-A4575.34
BASE/gt_coordination/IVMOzA4556.6666666666679
BASE/nineBoardTicTacToe/wRmqqA4486.9333333333334
DRESDEN/cubicup/SBn_lw4372.2333333333344
BASE/cubicup/4wNWJA4295.44
BASE/lightsOnSimul4/9FeASw4236.54
DRESDEN/pawn_whopping_simultaneous/r8dLfw4073.33333333333354
STANFORD/breakthrough/d5j0cQ4060.7333333333334
BASE/duplicateStateLarge/dcjyuw4048.33333333333358
BASE/ticTacHeavenFC/mrletw4046.6333333333334
BASE/escortLatch/mX9BjQ3993.33333333333354
DRESDEN/Goldrush/VeWczQ3922.6333333333334
DRESDEN/tpeg/h-Scbg3865.33333333333354
DRESDEN/peg_bugfixed/u_B7MA3849.96666666666674
BASE/tpeg/QNs7Lw3814.6333333333334
DRESDEN/peg/Vo31eg3791.8666666666674
BASE/peg/fJHVWw3773.74
BASE/lightsOut/5P1ZBw3719.33333333333354
BASE/skirmishZeroSum/zh4hcw3710.44
DRESDEN/lightsout2/LFtfyQ3702.04
DRESDEN/lightsout/XgLpzQ3685.43818727090964
BASE/skirmishNew/sibw2g3683.1333333333334
DRESDEN/queens/mW2wHQ3584.33333333333354
BASE/queens/HyJJnQ3567.66666666666654
BASE/withConviction/3Xm54A3406.96666666666674
BASE/double_tictactoe_dengji/zgaSbA3368.93333333333346
BASE/ticTacToeParallel/ymRGPw3367.84
DRESDEN/double_tictactoe_dengji/bGaUyQ3365.7666666666676
DRESDEN/tictactoeparallel/yk_DSg3295.65
BASE/nineBoardTicTacToePie/B8LzeQ3263.84
DRESDEN/max_knights/hCipiA3254.53333333333334
DRESDEN/doubletictactoe/lJzgmQ3231.33333333333356
BASE/doubletoetictac/fu35bg3227.66666666666656
DRESDEN/mimikry/GJEhwA3225.7666666666674
BASE/doubletictactoe/HH1htg3225.7333333333336
BASE/gt_staghunt/xPjLRA3216.09
DRESDEN/4pttc/9pB9AQ3207.46666666666674
DRESDEN/doubletoetictac/V89gKQ3204.2666666666676
DRESDEN/bunk_t/7-tPfA3198.3666666666676
BASE/max_knights/2fq3Ag3193.84
BASE/bunk_t/xbpfIA3186.56
BASE/pegEuro/5awwhg3170.56666666666664
BASE/futoshiki4/BaCwSw3101.2333333333335
BASE/4pttc/AL1k2Q3094.43518827057644
BASE/rubiksCube/9tNO9Q3071.66666666666654
BASE/bomberman2p/4CClwA3042.83333333333356
DRESDEN/bomberman2p/x4h6jQ3015.65
DRESDEN/chinesecheckers3/QsCb2A2940.74
DRESDEN/satlike_20v_91c/yeuENQ2938.03
DRESDEN/coins/QwFP9w2934.27
DRESDEN/satlike_20v_91c_version2/yd9ioQ2934.03
BASE/coins/QnGtnQ2909.7333333333337
DRESDEN/uf20-01.cnf.SAT/42Rs8A2908.66666666666654
BASE/coins_atomic/AA3SSw2905.6333333333337
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g2905.33333333333353
DRESDEN/frogs_and_toads/GjchhQ2892.2666666666674
DRESDEN/uf20-010.cnf.SAT/5ICbCg2887.33333333333356
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA2859.33333333333353
BASE/speedChess/bPnisA2842.66666666666654
BASE/connectFourLarger/qKi60A2829.2666666666675
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg2823.96666666666677
DRESDEN/uf20-020.cnf.SAT/hDrW_A2823.33333333333356
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw2812.77
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ2806.87
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg2799.67
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg2764.96666666666677
DRESDEN/tictactoe_3player/ESLQQQ2687.53333333333335
BASE/tictactoe_3player/GtM71g2687.25
DRESDEN/tictactoe_3d_2player/LMuX9w2685.46666666666674
DRESDEN/cubicup_3player/awDtsQ2660.16666666666654
BASE/cubicup_3player/e2yA_g2659.46666666666674
BASE/tictactoe_3d_2player/IUC1rQ2622.03333333333334
BASE/factoringMediumTurtleBrain/8RBqmQ2595.65
BASE/queens12ug/u6Bkmg2422.84
DRESDEN/ghostmaze2p/HY0UwA2421.6333333333338
DRESDEN/grid_game2/kypTYQ2407.96666666666674
BASE/ghostMaze2p/W-NU-w2395.3666666666679
DRESDEN/guess/PhxGhg2239.66
BASE/guess/SPpk1A2232.6333333333336
DRESDEN/mummymaze2p-comp2007/oTQRQg2196.16
BASE/mummyMaze2p_2007/YGA3Vw2185.2333333333336
DRESDEN/bidding-tictactoe/yW5vTA2174.88
BASE/biddingTicTacToe/8mESVw2165.38
BASE/connect5/d-BVQg2160.53333333333334
BASE/gt_prisoner/klthDw2155.33333333333359
DRESDEN/connect5/1kYzSg2132.64
DRESDEN/tictactoex9/rFkD4w2122.66666666666654
BASE/tictactoex9/BI26ow2118.83333333333354
DRESDEN/gt_prisoner/huCp4w2082.66666666666659
BASE/amazons_8x8/7SOsIw2008.95
BASE/gt_chicken/gmepTQ1958.66666666666679
DRESDEN/gt_chicken/CeuKtw1943.33333333333339
DRESDEN/chinesecheckers4/-oVNYg1922.85904698433865
DRESDEN/quarto/OQzRYQ1896.33333333333338
BASE/quarto/EwBMVQ1886.73333333333338
BASE/quartoSuicide/-23jUg1880.48
DRESDEN/quartosuicide/WIU1oQ1880.06666666666668
BASE/wargame01/_GZFZg1860.96666666666677
BASE/blocksWorldParallel/RseaAQ1857.97
BASE/snakeAssemblit/UO4sdg1854.46666666666675
BASE/hexPie/48CH6Q1678.63333333333344
DRESDEN/sat_test_20v_91c/dK7nVw1668.16666666666678
DRESDEN/sat_test_20v_91c_version2/a1mPBA1629.66666666666678
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA1620.93333333333348
BASE/wargame03/klXI8w1559.97
BASE/pacman3p/wW7UVQ1556.03333333333335
DRESDEN/pacman3p/rBnk8Q1549.86666666666665
BASE/snake_2008/i6K26g1513.13333333333347
DRESDEN/snake_2008/E56l3A1510.96
BASE/snake_2008_tweaked/bX0NJQ1501.27
DRESDEN/grid_game/U7_Yeg1498.26
BASE/crossers3/O0rORg1444.75
DRESDEN/crossers3/xiPTxg1442.33333333333335
BASE/queens16ug/gT-ylw1428.3238920359884
STANFORD/multipletictactoe/_bkafQ1424.16666666666675
BASE/amazons_10x10/Bun8dA1399.63333333333346
BASE/amazonsSuicide_10x10/XIbQkg1385.46666666666676
BASE/ticTacToeSerial/Amrwqw1382.93333333333347
DRESDEN/chinesecheckers6/yTbPDA1333.96
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g1294.43333333333342
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw1292.36666666666662
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw1280.93333333333342
BASE/zhadu/DlA8iQ1237.76666666666674
BASE/snake_2009/7l-qAQ1197.27
DRESDEN/snake_2009/zIYLVw1189.27
BASE/conn4/va9Y7A1156.86666666666667
DRESDEN/knightazons/02I8BQ1127.44
BASE/knightazons/apnJBQ1121.36666666666664
DRESDEN/connect4/T0-rHQ1119.55
BASE/connect4/50bOyw1114.23333333333335
BASE/amazonsTorus_10x10/Uxc08g1100.56666666666666
BASE/slidingpieces/uFJWEw1098.95
DRESDEN/slidingpieces/s9_44g1080.05
BASE/wargame02/BkVqqQ1033.16666666666677
BASE/mineClearingSmall/frsbvw1029.76666666666675
BASE/futoshiki5/TJ4BZg1014.33333333333345
DRESDEN/chinesecheckers6-simultaneous/gPPGUw955.83
BASE/kalaha5x2x3/WviNsw944.710
BASE/nonogram_10x10_1/0Xc62g944.43333333333334
BASE/snake_2009_big/-oRfVw859.26
DRESDEN/four_way_battle/xSOQXA858.66666666666663
BASE/four_way_battle/xSOQXA857.03
DRESDEN/snake_2009_big/DgC1NQ856.86
BASE/hitori/S8Gsyg805.73333333333335
DRESDEN/hitori/S8Gsyg794.93333333333335
BASE/chomp/-LcqYQ764.212
BASE/kalaha6x2x4/XS81Mg763.110
DRESDEN/babel/WdSW4A755.46666666666676
DRESDEN/chomp/-LcqYQ744.433333333333312
BASE/pacman2p/4LEdQg688.93333333333338
DRESDEN/ggp-course2013_jordi/9QI6Kw684.66666666666666
BASE/chess_200/XsTpYA680.43
DRESDEN/kalaha_2009/gcC8uA659.510
BASE/kalaha_2009/dRiN3g648.410
BASE/hidato19/rRHSmA616.33333333333347
BASE/futoshiki6/JmvXNA536.46666666666677
DRESDEN/javastrike/whONTQ520.73333333333336
DRESDEN/gt_ultimatum/pAiiQw516.08
BASE/gt_ultimatum/GE-uOA503.83205598133968
BASE/battlebrushes/arCwyA483.86666666666674
BASE/battle/8oAvhQ483.66666666666674
DRESDEN/battle/8oAvhQ479.33333333333334
BASE/othello-comp2007/86ZoMw477.766666666666654
BASE/othelloSuicide/B442jg476.36666666666674
BASE/reversi/d8UMeA438.75
BASE/reversiSuicide/9OxJlg437.566666666666665
BASE/biddingTicTacToe_10coins/a-9ccQ408.366666666666711
DRESDEN/bidding-tictactoe_10coins/mu5VhQ406.711
BASE/tictactoe_3d_small_6player/g_9lww406.0333333333333610
DRESDEN/tictactoe_3d_small_6player/llDEDQ403.2655781406197710
DRESDEN/logistics/fPru1Q378.333333333333312
BASE/othelloHoles/c0qAzw368.16666666666674
BASE/blockerParallel/7-nDJA362.7333333333333513
DRESDEN/blockerparallel/dVQgSg362.5333333333333613
DRESDEN/hallway/0H4l-Q357.266666666666656
BASE/hallway/ckCJOw352.033333333333366
DRESDEN/backgammon/mqCW0Q347.07
DRESDEN/battlebrushes/QHXV4A309.066666666666665
STANFORD/selectivesukoshi/3xmXYg283.77
STANFORD/multiplesukoshi/vLSQPg261.233333333333357
DRESDEN/mummymaze2p/k-8edg230.811
BASE/mummymaze2p/vpjDdA230.611
DRESDEN/ggp-course2013_michal13/jWKddg171.833333333333348
BASE/qyshinsu/R08Lzw171.510
DRESDEN/small_dominion/yB5GJA171.109630123292252
BASE/simultaneousWin2/PfjRjw164.113
BASE/cephalopodMicro/9l2D3g146.633333333333335
DRESDEN/CephalopodMicro/H3XQfg145.866666666666675
BASE/smallest_4player/ADDROA144.812
DRESDEN/smallest_4player/ADDROA144.812
DRESDEN/tictactoe_3d_6player/ulZPWg139.866666666666678
BASE/tictactoe_3d_6player/d7KSwg139.533333333333339
BASE/checkersTiny/Lr48cg127.3333333333333312
DRESDEN/god/2EDD5w126.233333333333334
BASE/god/qF06gw125.366666666666664
BASE/racer4/0vs7Ww120.88
BASE/sudoku/NTaNkw91.86
DRESDEN/pawntoqueen/f_x6Aw86.67
BASE/pawnToQueen/-O1_JA84.466666666666677
DRESDEN/amazons/dNB28A78.46
BASE/hidato37/pBrqxw74.633333333333349
DRESDEN/stratego/Z2wovg69.3666666666666615
BASE/cittaceot/fDxhXg69.114
DRESDEN/smallest/9kaGFw68.811
DRESDEN/farmers/S_ASnw59.3333333333333368
BASE/sudokuGrade1/tDRNRw57.73333333333333412
BASE/sudokuGrade5/BQfUQA55.412
BASE/quad_7x7/q-JOXg55.28
DRESDEN/quad_7x7/q-JOXg55.066666666666678
BASE/sudokuGrade2/u80Tfw54.912
BASE/checkersSmall/SYmq8w51.33333333333333612
BASE/sudokuGrade3/eI8dvg50.16666666666666412
BASE/sudokuGrade4/DTy07w47.812
STANFORD/sudoku/oJ1qyQ45.5666666666666712
DRESDEN/Catch-Me-If-You-Can/ghGWrA41.9333333333333315
DRESDEN/Thief_Police/CX18rA41.615
DRESDEN/CatchMeIfYouCanTest/CX18rA40.4666666666666715
DRESDEN/catch_me/ghGWrA39.4535154948350515
BASE/sudokuGrade6H/ieE_9A38.66666666666666412
BASE/sudokuGrade6E/ihYFZA37.26666666666666612
BASE/factoringImpossibleTurtleBrain/kcBhdw36.43
BASE/checkers-newgoals/0XkFiA32.89
DRESDEN/checkers/jIDMIg32.2666666666666668
DRESDEN/checkers-newgoals/IJOqXQ31.87
BASE/checkers/rOC3Xg27.413
DRESDEN/cylinder-checkers/clOO3Q25.2666666666666667
BASE/cylinder-checkers/hlldmw25.27
STANFORD/duidoku/3SoMaA23.89203598800413
BASE/golden_rectangle/_nYzfw23.73333333333333413
BASE/breakthroughSmall/HJ0tIA23.16666666666666814
BASE/breakthroughSuicideSmall/XSbJog22.03333333333333515
BASE/colonelBlottoVariant2/jruwGw21.66666666666666810
BASE/colonelBlottoVariant/X-n-KQ20.010
BASE/racer/QQYQNw15.311
DRESDEN/racer/vk_ZBA14.93333333333333411
BASE/checkers-mustjump/T-8UuQ14.88
DRESDEN/checkers-mustjump/HUr33w14.46
DRESDEN/othello-cornercontrol/r5Gdlg14.1666666666666665
DRESDEN/checkers-cylinder-mustjump/vW_-pA9.26
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg9.1333333333333336
BASE/checkers-cylinder-mustjump/rjr6qQ9.06666666666666610
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw9.06666666666666610
BASE/ttcc4_2player_small/Cv72TA8.814
BASE/amazonsSuicide/dE1QEQ8.1333333333333335
BASE/amazons/RKKZjw8.16
STANFORD/madness/UO_B3A8.0639786737754089
DRESDEN/checkers-mustjump-torus/cVc3gA6.46
BASE/checkers-mustjump-torus/uSApKQ6.26666666666666710
BASE/quad_5x5/JAEP5g5.46666666666666713
BASE/quad/tw-Ufg5.4666666666666678
DRESDEN/knightthrough/J7Fc_Q5.36130536130536114
DRESDEN/quad/JPe6fg5.3333333333333339
DRESDEN/quad_5x5/JAEP5g5.33333333333333312
DRESDEN/quad_5x5_8_2/JRTLJg5.33333333333333313
BASE/knightThrough/gcwFjA5.19826724425191614
DRESDEN/capture_the_king/EQ229Q5.09151414309484214
STANFORD/skirmish/w4V6Vw5.06329113924050712
BASE/blokbox_simple/JBx4bg4.99
BASE/breakthrough/TGxk-g4.76507830723092315
DRESDEN/breakthroughsuicide/Y9QzqQ4.63333333333333414
DRESDEN/breakthrough/z4hK7Q4.63333333333333414
BASE/breakthroughSuicide/wZDpIg4.63178940353215615
BASE/breakthroughWalls/vOZaYA4.59693537641572315
BASE/breakthroughHoles/nZk0Sg4.5318227257580815
DRESDEN/breakthroughsuicide_v2/LU1nAw4.46369087275149914
DRESDEN/skirmishfinal/hzq8ww4.42890442890442914
BASE/skirmishFinal2/gdB62Q4.414
BASE/skirmishFinal1/ecWTnQ4.398533822059313514
BASE/skirmishFinal3/-Olhfw4.26666666666666714
BASE/skirmish/Y_psYQ3.698767077640786414
DRESDEN/golden_rectangle/1uloXw3.613
BASE/blockerSerial/3eqDuw2.43333333333333315
DRESDEN/towerworld/HCX34w2.03197868087941414
DRESDEN/merrills/aYEzwA2.09
BASE/merrills/pku8Tg1.99933355548150629
BASE/skirmishHoles/AUCxCA1.966666666666666614
BASE/strangeSkirmish/gc1zKA1.899366877707430814
BASE/copolymer_4_pie/IN5_jA1.266666666666666614
BASE/ttcc4_2player/_aH_Mw1.166666666666666714
BASE/ttcc4_2player_alt/ZEJvYA1.133333333333333314
STANFORD/ttcc4/Cx9SGw1.1329556814395214
BASE/checkersTorus/2vm1EQ1.065601065601065714
DRESDEN/vacuumcleaner_random_big/DwzFaQ1.033333333333333410
BASE/ttcc4/Le0qjQ0.4333333333333333514
BASE/tttcc4/8Bs2lg0.43318893702099314
DRESDEN/tttcc4/sAvtFg0.433044636908727514
STANFORD/checkersonabarrelnokings/Zrevdw0.3666666666666666414
BASE/checkersBarrelNoKings/rnKNeg0.3666666666666666414
BASE/checkersTorusNoKings/pwb6oQ0.314
BASE/queens08lg/Ru7eqQ0.012
DRESDEN/blobwars/ZaMluQ0.015
BASE/gt_attrition/kD_SCA0.013
BASE/queens31lg/0gID-A0.011
BASE/crisscross/ICagEg0.015
BASE/colonelBlotto/jip21A0.014
DRESDEN/battlesnakes2011/93VtTw0.012
BASE/englishDraughts/jFkQxg0.015
BASE/ad_game_2x2/D0aWqg0.014
DRESDEN/crisscross/GsY16g0.015
DRESDEN/battlesnakes1509/-qZrLw0.012
BASE/blobwars/0XT15Q0.015
DRESDEN/ticblock/Z2yNWQ0.014
DRESDEN/ggp-course2013_nicolai/uEin8g0.013
BASE/slaughter/cOch8A0.07
BASE/ticblock/T21C1g0.014

Games with errors:

GameError message
BASE/ruleDepthExponential/UamhHQTest process failed to output results for unknown reason
DRESDEN/nim2/z5_exATest process failed to output results for unknown reason
STANFORD/hex/MTqWcwTest process failed to output results for unknown reason
DRESDEN/nim1/M9BALATest process failed to output results for unknown reason
BASE/checkLines/Vop7oQTest process failed to output results for unknown reason
STANFORD/alquerquezero/uVgA_ATest process failed to output results for unknown reason
DRESDEN/minichess/c7GMFwTest process failed to output results for unknown reason
DRESDEN/skirmish/RjGQYQTest process failed to output results for unknown reason
BASE/crissrace/ERWGDATest process failed to output results for unknown reason
DRESDEN/sheep_and_wolf/enAIzQTest process failed to output results for unknown reason
BASE/nim1/hin2QwTest process failed to output results for unknown reason
BASE/amazonsTorus/soxT8gTest process failed to output results for unknown reason
BASE/alexChess/LNo83gTest process failed to output results for unknown reason
STANFORD/untwistycomplex/HTWEwgTest process failed to output results for unknown reason
BASE/endgame/jYjfOATest process failed to output results for unknown reason
BASE/copolymer_4/2LDVhQTest process failed to output results for unknown reason
BASE/sheepAndWolf/g4THrgTest process failed to output results for unknown reason
BASE/nim2/eF2QqwTest process failed to output results for unknown reason
DRESDEN/nim4/F5YAYgTest process failed to output results for unknown reason
BASE/nim4/twk16wTest process failed to output results for unknown reason
BASE/majorities/ibJzSQTest process failed to output results for unknown reason
BASE/minichess/8NQEiATest process failed to output results for unknown reason
BASE/nim3/1OwUqwTest process failed to output results for unknown reason
DRESDEN/nim3/sG_axATest process failed to output results for unknown reason
DRESDEN/skirmish3/3LU8NwTest process failed to output results for unknown reason
DRESDEN/chinesecheckers2/06E6-QTest process failed to output results for unknown reason
DRESDEN/crissrace/KWb9bwTest process failed to output results for unknown reason
BASE/minichess-evilconjuncts/4OpQzwTest process failed to output results for unknown reason
BASE/hex/T1MK8gTest process failed to output results for unknown reason
BASE/brawl/6Ymo_QTest process failed to output results for unknown reason
DRESDEN/blocks2player/3ev8nQTest process failed to output results for unknown reason
BASE/blocks2player/wnTLOQTest process failed to output results for unknown reason
BASE/racetrackcorridor/_RkdUgTest process failed to output results for unknown reason
DRESDEN/racetrackcorridor/O0DoTATest process failed to output results for unknown reason
DRESDEN/brawl/2kXtfQTest process failed to output results for unknown reason
BASE/chinook/XQh0IQTest process failed to output results for unknown reason
BASE/wallmaze/uxNQ9gTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_random/_6AGDATest process failed to output results for unknown reason
DRESDEN/skirmish2/iPpWhQTest process failed to output results for unknown reason
DRESDEN/endgame/IJhh3QTest process failed to output results for unknown reason
DRESDEN/minichess-evilconjuncts/th24TwTest process failed to output results for unknown reason
STANFORD/chinook/osFbPATest process failed to output results for unknown reason

index