index

CADIAPLAYER_PROLOG:3.0

Comparison with GGP-Base Prover:

Median speedup2.5475022920390296
Mean speedup5.53059381563295
Geometric mean speedup2.6891382357617197
Ratio of # state changes with 1 second per game1.5589937448633027
Ratio of times to run 1000 states per game0.10884059936003343
Number of games with errors163

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)615372142
PALAMEDES_JOCULAR:0.6.1 (comparison)20361129139
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 (comparison)38229153
SANCHO_DEAD_RECKONING_PROPNET:1.61c (comparison)030363139
ALLOY_TUPLE_PROVER:2 (comparison)2522139163
REKKURA_GENERIC_FORWARD_PROVER:1.0.0 (comparison)38841154
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 (comparison)38841153
REKKURA_BACKWARD_PROVER:1.0.0 (comparison)365424154
REKKURA_BACKWARD_PROVER_OSTD:1.0.0 (comparison)366423153
PALAMEDES_JAVA_ECLIPSE:0.6.1 (comparison)2755113159
GGP_BASE_PROVER:2015-04-26 (comparison)334059163
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 (comparison)377412150
ALLOY_COMPILED_PROVER_CACHING:2 (comparison)24387161
FLUXPLAYER_PROLOG:1.1 (comparison)15627210148

Game-by-game statistics:

GameAverage state changes per secondRanking
BASE/survival/YVIjJA33865.5666666666667
BASE/haystack/UkweGA33800.7666666666710
BASE/pearls/6k_mEQ33408.17
STANFORD/buttonsandlights/eyhJpA28896.610
BASE/onestep/xi53wA24456.96666666666710
DRESDEN/troublemaker01/C-lPWw23730.4666666666678
BASE/troublemaker01/s3tlEQ23593.3333333333328
DRESDEN/troublemaker02/iZLVuA23358.4666666666678
BASE/troublemaker02/DI83KA23098.7333333333348
BASE/maze/cCX3qQ21810.5666666666668
STANFORD/untwistycorridor/EDPPAQ21803.8333333333329
BASE/untwistycomplex2/EDPPAQ21398.7666666666669
BASE/pancakes6/QZTdnw19779.074030865648
DRESDEN/pancakes6/SZXMyQ19695.6666666666688
BASE/pancakes/yUgbXw19640.38
DRESDEN/pancakes/hl9aiQ19531.482283923878
STANFORD/untwistycomplex/HTWEwg19293.95
BASE/buttons/hTcUjw18766.49
BASE/pancakes88/l2Xaig18652.35
DRESDEN/pancakes88/aD3E7g18565.8333333333325
DRESDEN/buttons/ADUaHw18459.69
BASE/kitten_escapes_from_fire/uW-YiA18230.2333333333347
DRESDEN/kitten_escapes_from_fire/uW-YiA18135.7333333333347
STANFORD/multiplebuttonsandlights/cK70Yg17019.47
STANFORD/multiplebuttonsandlights_9/SqB9BA16971.27
STANFORD/bestbuttonsandlights/nm0wEA16607.66
BASE/asteroids/BKCmPQ16275.3816412239185
DRESDEN/oisters_farm/pTQMLg15793.2804479701356
BASE/roshambo2/KNPokQ15343.7333333333347
DRESDEN/roshambo2/jgSlkQ15292.0666666666687
DRESDEN/Runners/3bOCQw15077.8640711976266
BASE/switches/tPUoCg14909.9333333333328
BASE/blocks/xIV5hQ13951.58
BASE/blocksWorld/SEdXLQ13884.78
STANFORD/bestbuttonsandlightsbig/g0JC6g13689.66
DRESDEN/blocks/vg0DRw13650.18
STANFORD/threepuzzle/41ibjA13486.88
STANFORD/3puzzle/41ibjA13430.48
DRESDEN/CatchMeIfYouCanTest/CX18rA13155.4896340243985
DRESDEN/Catch-Me-If-You-Can/ghGWrA13149.75
DRESDEN/catch_me/ghGWrA13123.4753049390135
DRESDEN/Thief_Police/CX18rA12933.8355388153725
STANFORD/jointbuttonsandlights/qAKuIQ12079.3333333333346
BASE/hodgepodge/9yjRkw10904.07
BASE/circlesolitaire/azuQFQ10544.17
DRESDEN/circlesolitaire/ruUilQ10525.3333333333347
BASE/tictactoe2/bhrDoQ10443.5666666666686
BASE/ticTacToeNoVars/XT03NA10438.66
BASE/asteroidsParallel/WauZiA10409.8923440989245
DRESDEN/hanoi/RQ0jiA10228.9666666666676
BASE/hanoi/iGLsJg10215.8856076261586
BASE/lightsOn/MsXu3A9983.5005499816678
BASE/asteroidsSerial/id2QkA9724.1494218401154
BASE/snakeParallel/RCVNtw9566.76
BASE/factoringGeorgeForman/HGRorQ9501.6166127795737
DRESDEN/fizzbuzz/t1xHzQ9372.3751749883347
BASE/toetictac/mTThmg9166.46
DRESDEN/toetictac/mJtxCA9145.8666666666677
BASE/hanoi_6_disks/MeubgQ9118.9333333333328
DRESDEN/hanoi_6_disks/MeubgQ9091.58
DRESDEN/hanoi7_bugfix/3gdnFw8863.1228128645236
DRESDEN/hanoi7/51zz5Q8796.9947357899656
BASE/hanoi7_bugfix/3gdnFw8789.9963344330036
DRESDEN/chickentoetictac/cxYaRQ8644.56
BASE/chickentoetictac/l57rfQ8568.76
BASE/aipsrovers01/4C4jsw8445.6369575361645
DRESDEN/aipsrovers01/qS47Mw8393.3868871037635
BASE/sum15/QZ07Kg8342.06
DRESDEN/sum15/CsgWKg8280.5333333333336
STANFORD/sukoshi/4LYZZQ8266.9666666666677
BASE/blocksWorldSerial/Wyg96Q8264.47
DRESDEN/8puzzle/8fKC2w8261.4492367175526
STANFORD/8puzzle/jNiGtw8234.6275620729886
BASE/eightPuzzle/vLrgFg8233.1766823317676
DRESDEN/blocksworldparallel/2JfVaw8051.87
DRESDEN/blocks2player/3ev8nQ7922.47
BASE/blocks2player/wnTLOQ7885.0666666666676
BASE/coins_atomic/AA3SSw7726.46
BASE/coins/QnGtnQ7676.3666666666676
BASE/brain_teaser_extended/ZDp94A7673.7442085263835
DRESDEN/brain_teaser_extended/ZDp94A7649.55
DRESDEN/coins/QwFP9w7642.6333333333336
BASE/checkLines/Vop7oQ7516.9666666666664
BASE/incredible/8Qh-6Q7374.187527082436
BASE/tictactoe_orthogonal/WRzlVw7049.5333333333348
DRESDEN/tictactoe_orthogonal/y69QFQ7037.4666666666668
BASE/blocksWorldParallel/RseaAQ7029.56
STANFORD/tictactoe/ss1kyQ7025.3333333333337
STANFORD/trifecta/ss1kyQ7014.07
BASE/ticTacToe/JRFsaQ6989.1333333333338
BASE/tictactoe-init1/7M19vA6982.2333333333347
DRESDEN/tictactoe-init1/3ltIBQ6981.1666666666677
DRESDEN/tictactoe/BTTzPw6980.4666666666667
STANFORD/tictactoe7/-bE9-A6938.07
STANFORD/tictactoe5/WFRReg6937.97
STANFORD/tictactoe3/X7myng6913.77
BASE/eotcatcit/AfZSzA6873.8666666666677
DRESDEN/eotcatcit/mQUxzA6872.9333333333337
BASE/eotcitcit/V_9_bg6842.4333333333336
DRESDEN/tictictoe/LAUtwg6839.3666666666676
BASE/ticTicToe/c1OobQ6825.5666666666676
STANFORD/tictictoe/rpt_Dw6676.2333333333346
BASE/nim1/hin2Qw6648.56
DRESDEN/nim1/M9BALA6606.2131262291266
DRESDEN/chickentictactoe/Ipbo-g6545.86
BASE/chickentictactoe/DSlZCA6499.1333333333336
DRESDEN/nim2/z5_exA6375.06
BASE/nim2/eF2Qqw6352.9333333333336
BASE/ttcc4_2player_small/Cv72TA6109.8593427104864
BASE/2pttc/unkkYA6054.65
BASE/numbertictactoe/rvJ-iQ5872.8333333333335
DRESDEN/3pttc/uwYBZw5724.63671510465255
BASE/nim3/1OwUqw5721.5185654289726
DRESDEN/nim3/sG_axA5709.4763507883076
DRESDEN/nim4/F5YAYg5667.6333333333336
BASE/nim4/twk16w5623.3458884703846
DRESDEN/tictactoelargesuicide/6J4DeA5487.5512448755136
BASE/ticTacToeLargeSuicide/727_8g5480.3333333333335
BASE/3pttc/0sol9g5478.6840438652045
DRESDEN/tictactoelarge/IwXcbg5448.3034464369046
BASE/ticTacToeLarge/TZC0dg5432.971135257655
BASE/2pffa_zerosum/o0_uZA5426.0956507248795
DRESDEN/bidding-tictactoe/yW5vTA5282.557248091734
BASE/biddingTicTacToe/8mESVw5267.6244125195834
BASE/connectFourSuicide/c8p9Kw5223.0666666666675
BASE/connectFour/WAIKTw5197.4666666666665
DRESDEN/connectfour/5tc-Mg5190.1333333333335
STANFORD/connectfour/VMpZkQ5178.7333333333345
DRESDEN/connectfoursuicide/M9CNQg5166.3611212959575
DRESDEN/farmers/S_ASnw5082.1639278690712
BASE/connectFour_9x6/B9TtMw4977.4007533082235
BASE/factoringEasyTurtleBrain/lUj94Q4962.3458847050988
BASE/blocker/dIWtxg4878.1707276424127
DRESDEN/blocker/S815zQ4860.7666666666667
DRESDEN/lightson2x2/gBHuig4822.8392386920439
BASE/knightfight/SJRkAg4751.8581475185817
DRESDEN/pawn_whopping/4ogBkg4751.0499300046675
DRESDEN/knightfight/4_Ly4w4717.67
BASE/ttcc4_2player_alt/ZEJvYA4686.3875741617224
DRESDEN/pawn_whopping_corrected/7Ov0jQ4675.388307446175
BASE/pawnWhopping/Ypc_6Q4632.9333333333335
BASE/lightsOnParallel/SC6enA4587.1804273190898
DRESDEN/bidding-tictactoe_10coins/mu5VhQ4523.5825472484254
BASE/biddingTicTacToe_10coins/a-9ccQ4520.7333333333344
BASE/ttcc4_2player/_aH_Mw4451.5881745158814
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw4350.6748875187474
BASE/connectFourLarge/aU644A4335.0664933506655
BASE/minichess/8NQEiA4266.36
BASE/chineseCheckers4/avfBcQ4227.4469290498885
DRESDEN/crisscross/GsY16g4223.7442922374434
BASE/crisscross/ICagEg4200.0133320001334
STANFORD/ttcc4/Cx9SGw4176.478427452944
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ4160.95171448565454
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg4129.6450591568074
DRESDEN/minichess/c7GMFw4103.4666666666665
DRESDEN/doubletictactoe/lJzgmQ4030.39898670044344
BASE/doubletictactoe/HH1htg4027.94
BASE/tttcc4/8Bs2lg4007.465173631944
BASE/englishDraughts/jFkQxg4007.4636811941894
STANFORD/duikoshi/tpw1sw4006.05
DRESDEN/doubletoetictac/V89gKQ4001.96660111329634
BASE/ttcc4/Le0qjQ4001.3999533348894
DRESDEN/tttcc4/sAvtFg3994.5342442926184
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg3984.56718109396344
BASE/bunk_t/xbpfIA3980.8673044231864
DRESDEN/bunk_t/7-tPfA3976.43411886270454
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg3973.3755414861715
BASE/doubletoetictac/fu35bg3965.2333333333334
BASE/double_tictactoe_dengji/zgaSbA3818.67875474968334
BASE/factoringMutuallyAssuredDestruction/NH0LGg3817.491001199848
DRESDEN/double_tictactoe_dengji/bGaUyQ3814.9185081491854
BASE/twisty-passages/DiZmmg3723.217258139697
DRESDEN/firefighter/WJmoPw3706.26666666666711
BASE/firefighter/WJmoPw3704.39853382205911
DRESDEN/twisty-passages/j7NPyg3683.95818072850767
STANFORD/pentago/ZxzLmg3634.24552514916155
DRESDEN/chomp/-LcqYQ3580.96
BASE/chomp/-LcqYQ3564.6333333333336
BASE/snake2p/I3wWPQ3563.7666666666677
DRESDEN/pawn_whopping_simultaneous/r8dLfw3511.71627612412935
BASE/3pConnectFour/PqXOFQ3476.3682421171925
DRESDEN/pentago_2008/hLjVpQ3463.54461579455765
BASE/nineBoardTicTacToe/wRmqqA3444.8258623562745
BASE/dualConnect4/WbCQkg3443.95
STANFORD/nineboardtictactoe/y28P-A3441.15
BASE/pentagoSuicide/SBgNhw3439.83070616856055
BASE/pentago/86NgKw3432.40811702375785
DRESDEN/tictactoeparallel/yk_DSg3425.44
BASE/escortLatch/mX9BjQ3362.4670953983545
BASE/connectFourLarger/qKi60A3349.7801172707894
BASE/futoshiki4/BaCwSw3347.2333333333334
BASE/ticTacToeSerial/Amrwqw3340.7325934073264
BASE/ticTacToeParallel/ymRGPw3324.96666666666675
DRESDEN/lightsout2/LFtfyQ3235.00983235009835
DRESDEN/lightsout/XgLpzQ3233.89220359321375
BASE/lightsOut/5P1ZBw3224.2367684308765
BASE/nineBoardTicTacToePie/B8LzeQ3171.8083688699365
BASE/coloredtrails/EZvr7g3075.9949336710897
BASE/quartoSuicide/-23jUg3074.06666666666664
BASE/quarto/EwBMVQ3068.22196300616544
DRESDEN/quartosuicide/WIU1oQ3048.4220348585334
DRESDEN/quarto/OQzRYQ3046.3969068728754
BASE/breakthroughSmallHoles/bxclRw2936.4396893643975
BASE/breakthroughSuicideSmall/XSbJog2916.3389107392844
BASE/breakthroughSmall/HJ0tIA2910.7208318059124
BASE/connectFourSimultaneous/7ITr3g2898.3101689831025
BASE/checkersTiny/Lr48cg2884.57051431618954
BASE/qyshinsu/R08Lzw2880.49308678993844
DRESDEN/tictactoe_3player/ESLQQQ2869.9376687443754
BASE/tictactoe_3player/GtM71g2866.8133186681334
BASE/minichess-evilconjuncts/4OpQzw2849.8716709443024
DRESDEN/latenttictactoe/kITHKg2847.16666666666657
DRESDEN/minichess-evilconjuncts/th24Tw2843.6437570828614
BASE/ticTacHeaven/18n58A2708.6763774540855
DRESDEN/laikLee_hex/ZeP3QQ2665.7666666666672
BASE/laikLee_hex/zbyscQ2653.6897540163992
BASE/hidato19/rRHSmA2653.1564562362514
DRESDEN/cube_2x2x2/fp-34Q2641.9572028531438
DRESDEN/stratego/Z2wovg2587.7491168432984
DRESDEN/chinesecheckers1/Y-ftaA2515.2313024930017
DRESDEN/tictactoe_3d_small_2player/HYttcg2514.49903339777355
BASE/tictactoe_3d_small_2player/oOryKA2494.8835038832045
DRESDEN/ghostmaze2p/HY0UwA2489.4680709238777
BASE/ghostMaze2p/W-NU-w2488.5379181660678
BASE/guess/SPpk1A2444.78885444788885
DRESDEN/guess/PhxGhg2437.13752416505585
BASE/withConviction/3Xm54A2398.01359818690845
DRESDEN/frogs_and_toads/GjchhQ2376.0991207034376
STANFORD/triplesukoshi/Iu9mbA2283.2477834811014
BASE/wargame01/_GZFZg2283.01949675054175
BASE/queens06ug/7Lq3tw2271.4485700953277
BASE/amazons_8x8/7SOsIw2189.8228320234454
DRESDEN/sat_test_20v_91c_version2/a1mPBA2184.52103193120466
DRESDEN/sat_test_20v_91c/dK7nVw2182.89675398253676
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA2162.66666666666656
DRESDEN/chinesecheckers4/-oVNYg2133.3533213405294
STANFORD/breakthrough/d5j0cQ2119.7934021992675
BASE/blockerSerial/3eqDuw2086.2275848276785
BASE/mummyMaze2p_2007/YGA3Vw2080.05065653535947
DRESDEN/mummymaze2p-comp2007/oTQRQg2056.2404211368037
DRESDEN/satlike_20v_91c/yeuENQ2044.53036464235724
BASE/breakthrough/TGxk-g2042.84
BASE/ticTacHeavenFC/mrletw2041.92355117139325
DRESDEN/uf20-01.cnf.SAT/42Rs8A2037.26542448585046
DRESDEN/breakthroughsuicide_v2/LU1nAw2034.8504031451994
DRESDEN/breakthrough/z4hK7Q2034.21166594490164
BASE/breakthroughWalls/vOZaYA2033.03333333333334
DRESDEN/satlike_20v_91c_version2/yd9ioQ2032.3279453424434
BASE/breakthroughSuicide/wZDpIg2032.1151347569714
DRESDEN/breakthroughsuicide/Y9QzqQ2027.2088453724984
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g2011.19925338310784
DRESDEN/uf20-010.cnf.SAT/5ICbCg1986.33561073154468
BASE/tpeg/QNs7Lw1981.80060664644526
DRESDEN/tpeg/h-Scbg1980.76794880341326
DRESDEN/knightthrough/J7Fc_Q1959.41893782901324
BASE/knightThrough/gcwFjA1948.69232050641344
BASE/wargame03/klXI8w1930.34262098386886
DRESDEN/peg/Vo31eg1919.03603213226235
DRESDEN/peg_bugfixed/u_B7MA1916.774989167755
BASE/choicethroughalt/tt71Lg1915.26949101696625
DRESDEN/crossers3/xiPTxg1911.77254849676684
BASE/peg/fJHVWw1910.57858952139715
BASE/crossers3/O0rORg1909.1818030328284
BASE/hitori/S8Gsyg1870.94623870946254
DRESDEN/hitori/S8Gsyg1870.85916150103324
BASE/breakthroughHoles/nZk0Sg1864.79642833344434
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA1856.60477984067194
BASE/checkersSmall/SYmq8w1849.19550951064324
DRESDEN/uf20-020.cnf.SAT/hDrW_A1846.66666666666678
BASE/racetrackcorridor/_RkdUg1781.18125458302785
BASE/speedChess/bPnisA1772.56077256077265
BASE/futoshiki5/TJ4BZg1683.16666666666674
BASE/tictactoe_3d_small_6player/g_9lww1665.17842268350394
DRESDEN/tictactoe_3d_small_6player/llDEDQ1653.09793471019324
DRESDEN/Zhadu/9zpQ5w1636.20609211491055
BASE/conn4/va9Y7A1627.03279125566524
BASE/pegEuro/5awwhg1626.97910069664345
BASE/skirmishZeroSum/zh4hcw1596.7001530170985
DRESDEN/mimikry/GJEhwA1591.6422287390036
BASE/dotsAndBoxes/EHwA_w1586.3079381992545
BASE/dotsAndBoxesSuicide/jzQbLw1583.15565031982946
BASE/cittaceot/fDxhXg1556.05545557555165
BASE/tron_10x10/7ZTgDg1554.611
DRESDEN/racetrackcorridor/O0DoTA1535.54881503949886
BASE/amazonsSuicide_10x10/XIbQkg1479.3435200905494
BASE/amazons_10x10/Bun8dA1477.8758115531885
BASE/slidingpieces/uFJWEw1455.71937298232774
BASE/lightsOnSimultaneous/_VN6lw1447.1921346442268
DRESDEN/slidingpieces/s9_44g1440.64748201438854
DRESDEN/capture_the_king/EQ229Q1359.44270381974524
DRESDEN/javastrike/whONTQ1358.03161820522133
BASE/blockerParallel/7-nDJA1353.43132353431324
DRESDEN/blockerparallel/dVQgSg1349.69836349698364
DRESDEN/grid_game/U7_Yeg1339.9193682737488
BASE/connect4/50bOyw1310.21156088622374
DRESDEN/connect4/T0-rHQ1307.20522562154254
DRESDEN/blobwars/ZaMluQ1302.0156588372484
BASE/checkers/rOC3Xg1299.88028731045484
BASE/blobwars/0XT15Q1288.86075105794544
BASE/amazonsTorus_10x10/Uxc08g1271.89890256069184
DRESDEN/knightazons/02I8BQ1217.11642764449473
BASE/knightazons/apnJBQ1213.85953801539953
BASE/wargame02/BkVqqQ1183.29891412963826
BASE/merrills/pku8Tg1132.73864998002932
DRESDEN/merrills/aYEzwA1130.93453273363322
BASE/futoshiki6/JmvXNA1129.86969707068354
BASE/bomberman2p/4CClwA1110.14830861523079
DRESDEN/bomberman2p/x4h6jQ1108.38
DRESDEN/backgammon/mqCW0Q1100.35521030441854
DRESDEN/quad_5x5_8_2/JRTLJg1092.52906105319274
DRESDEN/mummymaze1p/AekgaQ1074.87
BASE/mummymaze1p/PT_EXA1066.0757722168547
BASE/lightsOnSimul4/9FeASw1059.09015164139310
BASE/catcha_mouse/cHv4dw1043.49275120813210
DRESDEN/catcha_mouse/cHv4dw1041.879060469765110
BASE/cubicup/4wNWJA1013.36354850534875
BASE/queens08ug/kJ_ZFQ1009.33333333333347
DRESDEN/cubicup/SBn_lw1007.69769069279225
DRESDEN/knightmove/97Ipcw986.44192011725918
BASE/knightmove/jBaJEw984.97668221185888
BASE/quad_5x5/JAEP5g963.13579094727024
DRESDEN/quad_5x5/JAEP5g958.16806106463124
BASE/simultaneousWin2/PfjRjw951.8305073453488
DRESDEN/god/2EDD5w933.24223436875082
BASE/god/qF06gw930.86559605517432
BASE/racer4/0vs7Ww893.38088254899344
BASE/battlebrushes/arCwyA849.93333333333333
DRESDEN/ggp-course2013_jordi/9QI6Kw845.93856200439794
DRESDEN/sheep_and_wolf/enAIzQ843.67609340128587
BASE/tictactoe_3d_2player/IUC1rQ841.89328628965155
DRESDEN/tictactoe_3d_2player/LMuX9w836.23588958076655
BASE/sheepAndWolf/g4THrg834.96083986002347
DRESDEN/battlebrushes/QHXV4A833.32777870354943
BASE/connect5/d-BVQg776.32411198774927
DRESDEN/connect5/1kYzSg771.32788084314127
DRESDEN/endgame/IJhh3Q740.77035852325746
BASE/endgame/jYjfOA729.57483673197385
DRESDEN/ggp-course2013_nicolai/uEin8g722.15568862275452
BASE/chinook/XQh0IQ720.11050459326325
BASE/factoringMediumTurtleBrain/8RBqmQ673.856600758937512
DRESDEN/checkers/jIDMIg657.82731658625862
DRESDEN/pawntoqueen/f_x6Aw650.10662401705994
BASE/pawnToQueen/-O1_JA649.31515979604764
BASE/tictactoe_3d_6player/d7KSwg629.60500066498214
DRESDEN/tictactoe_3d_6player/ulZPWg626.13303119168224
STANFORD/multipletictactoe/_bkafQ616.012527487172610
BASE/cubicup_3player/e2yA_g594.18172157279495
DRESDEN/cubicup_3player/awDtsQ589.65999068467625
BASE/hidato37/pBrqxw560.01066560010674
BASE/chess_200/XsTpYA522.8551453207714
DRESDEN/tictactoex9/rFkD4w516.511
BASE/tictactoex9/BI26ow514.888089528377311
STANFORD/selectivesukoshi/3xmXYg512.00611946255154
BASE/racer/QQYQNw472.37854217308787
DRESDEN/racer/vk_ZBA468.31396316893677
BASE/reversi/d8UMeA458.66063107442424
BASE/reversiSuicide/9OxJlg456.490680134232664
DRESDEN/amazons/dNB28A438.302957872721832
BASE/sudokuGrade1/tDRNRw430.79993347746554
BASE/sudokuGrade2/u80Tfw419.223856752978754
BASE/sudokuGrade5/BQfUQA417.527490836387874
BASE/sudokuGrade4/DTy07w415.98244855898684
BASE/sudokuGrade3/eI8dvg413.90916058515784
STANFORD/sudoku/oJ1qyQ408.67884282095724
STANFORD/duidoku/3SoMaA400.72418031425444
STANFORD/platformjumpers/HEQskA389.7342192691038
STANFORD/multiplesukoshi/vLSQPg388.466265820682344
BASE/sudokuGrade6H/ieE_9A383.5093312080764
BASE/sudokuGrade6E/ihYFZA381.55359160077084
BASE/wallmaze/uxNQ9g381.1472682504824510
BASE/quad_7x7/q-JOXg364.487538318006166
DRESDEN/mummymaze2p/k-8edg363.9387890884896710
BASE/mummymaze2p/vpjDdA363.7210230485249610
DRESDEN/quad_7x7/q-JOXg359.13384779137846
STANFORD/hex/MTqWcw356.293984862568047
BASE/hex/T1MK8g349.536882788032247
BASE/hexPie/48CH6Q342.212159552507168
BASE/othello-comp2007/86ZoMw308.54304635761595
DRESDEN/ggp-course2013_michal13/jWKddg305.27575546025736
BASE/queens12ug/u6Bkmg268.93106893106899
BASE/hallway/ckCJOw205.083958319506211
DRESDEN/hallway/0H4l-Q205.0431320504313211
BASE/majorities/ibJzSQ165.087149579163628
BASE/golden_rectangle/_nYzfw137.019150707743538
BASE/amazonsSuicide/dE1QEQ117.239320774741322
BASE/amazons/RKKZjw116.643191719348823
BASE/queens16ug/gT-ylw96.83748461973339
BASE/blokbox_simple/JBx4bg78.147755858599234
BASE/quad/tw-Ufg52.329127740858455
DRESDEN/quad/JPe6fg50.230263157894745
BASE/zhadu/DlA8iQ33.5702746365105048
DRESDEN/small_dominion/yB5GJA13.780766555139638
DRESDEN/golden_rectangle/1uloXw5.53541280340981411

Games with errors:

GameError message
BASE/ruleDepthExponential/UamhHQTest process failed to output results for unknown reason
BASE/gt_ultimatum/GE-uOATest process failed to output results for unknown reason
BASE/snake_2008/i6K26gTest process failed to output results for unknown reason
BASE/gt_centipede/9fRMpwTest process failed to output results for unknown reason
STANFORD/knightstourmedium/x1wu8QTest process failed to output results for unknown reason
STANFORD/checkersonabarrelnokings/ZrevdwTest process failed to output results for unknown reason
BASE/rubiksCube/9tNO9QTest process failed to output results for unknown reason
BASE/cylinder-checkers/hlldmwTest process failed to output results for unknown reason
BASE/4pttc/AL1k2QTest process failed to output results for unknown reason
BASE/queens08lg/Ru7eqQTest process timed out after 240 seconds
BASE/battle/8oAvhQTest process failed to output results for unknown reason
DRESDEN/knightwar/7hhAqgTest process failed to output results for unknown reason
BASE/nonogram_10x10_1/0Xc62gTest process failed to output results for unknown reason
BASE/pacman3p/wW7UVQTest process failed to output results for unknown reason
BASE/kalaha_2009/dRiN3gTest process failed to output results for unknown reason
BASE/checkers-mustjump/T-8UuQTest process failed to output results for unknown reason
BASE/gt_two_thirds_6p/867v3QTest process failed to output results for unknown reason
DRESDEN/checkers-newgoals/IJOqXQTest process failed to output results for unknown reason
STANFORD/dualrainbow/G3OnRQTest process failed to output results for unknown reason
DRESDEN/2player_normal_form_2010/NG_KdgTest process failed to output results for unknown reason
BASE/chineseCheckers1/gqtwHwTest process failed to output results for unknown reason
STANFORD/knightstour/cEwgNATest process failed to output results for unknown reason
STANFORD/alquerquezero/uVgA_ATest process failed to output results for unknown reason
DRESDEN/3pffa/0YrmQwTest process failed to output results for unknown reason
BASE/othelloHoles/c0qAzwTest process timed out after 240 seconds
DRESDEN/gt_prisoner/huCp4wTest process failed to output results for unknown reason
BASE/kalaha5x2x3/WviNswTest process failed to output results for unknown reason
DRESDEN/chinesecheckers6/yTbPDATest process failed to output results for unknown reason
BASE/snake_2009_big/-oRfVwTest process failed to output results for unknown reason
DRESDEN/grid_game2/kypTYQTest process failed to output results for unknown reason
DRESDEN/checkers-cylinder-mustjump/vW_-pATest process failed to output results for unknown reason
BASE/factoringImpossibleTurtleBrain/kcBhdwTest process timed out after 240 seconds
DRESDEN/point_grab/r5DPmQTest process failed to output results for unknown reason
BASE/cephalopodMicro/9l2D3gTest process timed out after 240 seconds
BASE/gt_coordination/IVMOzATest process failed to output results for unknown reason
BASE/duplicateStateLarge/dcjyuwTest process failed to output results for unknown reason
DRESDEN/skirmish/RjGQYQTest process failed to output results for unknown reason
BASE/mineClearingSmall/frsbvwTest process failed to output results for unknown reason
BASE/skirmishNew/sibw2gTest process failed to output results for unknown reason
DRESDEN/othello-cornercontrol/r5GdlgTest process failed to output results for unknown reason
DRESDEN/gt_chicken/CeuKtwTest process failed to output results for unknown reason
BASE/crissrace/ERWGDATest process failed to output results for unknown reason
DRESDEN/skirmishfinal/hzq8wwTest process failed to output results for unknown reason
BASE/skirmishFinal2/gdB62QTest process failed to output results for unknown reason
BASE/strangeSkirmish/gc1zKATest process failed to output results for unknown reason
DRESDEN/checkers-mustjump-torus/cVc3gATest process failed to output results for unknown reason
STANFORD/freeforall/Lfp40QTest process failed to output results for unknown reason
BASE/max_knights/2fq3AgTest process failed to output results for unknown reason
BASE/smallest_4player/ADDROATest process failed to output results for unknown reason
BASE/skirmish/Y_psYQTest process failed to output results for unknown reason
BASE/4pffa/Q3ADlgTest process failed to output results for unknown reason
BASE/gt_attrition/kD_SCATest process failed to output results for unknown reason
BASE/amazonsTorus/soxT8gTest process timed out after 240 seconds
BASE/alexChess/LNo83gTest process timed out after 240 seconds
STANFORD/pilgrimage/ObRZnQTest process failed to output results for unknown reason
BASE/colonelBlottoVariant/X-n-KQTest process failed to output results for unknown reason
DRESDEN/kalaha_2009/gcC8uATest process failed to output results for unknown reason
DRESDEN/knightstour/cGISAATest process failed to output results for unknown reason
DRESDEN/max_knights/hCipiATest process failed to output results for unknown reason
BASE/knightsTour/mvtVIgTest process failed to output results for unknown reason
BASE/gt_two_thirds_4p/DStnxQTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process failed to output results for unknown reason
DRESDEN/statespacelarge/8-y5HQTest process failed to output results for unknown reason
BASE/gt_tinfoil/Q8DyKgTest process failed to output results for unknown reason
BASE/checkers-mustjump-torus/uSApKQTest process failed to output results for unknown reason
DRESDEN/chinesecheckers6-simultaneous/gPPGUwTest process failed to output results for unknown reason
DRESDEN/statespacemedium/dVJZ_wTest process failed to output results for unknown reason
BASE/copolymer_4/2LDVhQTest process failed to output results for unknown reason
BASE/queens31lg/0gID-ATest process timed out after 240 seconds
BASE/skirmishHoles/AUCxCATest process failed to output results for unknown reason
DRESDEN/pacman3p/rBnk8QTest process failed to output results for unknown reason
STANFORD/eightpuzzle/W_aWbATest process failed to output results for unknown reason
BASE/2pffa/6oHijATest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process failed to output results for unknown reason
DRESDEN/babel/WdSW4ATest process failed to output results for unknown reason
BASE/snake_2008_tweaked/bX0NJQTest process failed to output results for unknown reason
DRESDEN/vacuum_cleaner_1/eUNjpwTest process failed to output results for unknown reason
STANFORD/skirmish/w4V6VwTest process failed to output results for unknown reason
BASE/skirmishFinal3/-OlhfwTest process failed to output results for unknown reason
BASE/shmup/ssTNlgTest process failed to output results for unknown reason
BASE/copolymer_4_pie/IN5_jATest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_random_big/DwzFaQTest process failed to output results for unknown reason
BASE/chineseCheckers3/-1rZdQTest process failed to output results for unknown reason
DRESDEN/four_way_battle/xSOQXATest process failed to output results for unknown reason
DRESDEN/snake_2008/E56l3ATest process failed to output results for unknown reason
STANFORD/knightstourbig/TQUI2gTest process failed to output results for unknown reason
BASE/colonelBlotto/jip21ATest process failed to output results for unknown reason
BASE/duplicateStateMedium/U163eQTest process failed to output results for unknown reason
STANFORD/dualhunter/1rPZjQTest process failed to output results for unknown reason
BASE/checkersTorus/2vm1EQTest process failed to output results for unknown reason
DRESDEN/SC_TestOnly_enabled/09o7gQTest process failed to output results for unknown reason
BASE/othelloSuicide/B442jgTest process timed out after 240 seconds
BASE/knightsTourLarge/M8jgLATest process failed to output results for unknown reason
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWgTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tATest process failed to output results for unknown reason
DRESDEN/checkers-mustjump/HUr33wTest process failed to output results for unknown reason
DRESDEN/queens/mW2wHQTest process failed to output results for unknown reason
DRESDEN/chinesecheckers3/QsCb2ATest process failed to output results for unknown reason
DRESDEN/smallest_4player/ADDROATest process failed to output results for unknown reason
BASE/chineseCheckers2/eCMR3QTest process failed to output results for unknown reason
BASE/gt_staghunt/xPjLRATest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_1/CqS-7ATest process failed to output results for unknown reason
STANFORD/hunter/14dD-gTest process failed to output results for unknown reason
BASE/checkers-newgoals/0XkFiATest process failed to output results for unknown reason
DRESDEN/battlesnakes2011/93VtTwTest process failed to output results for unknown reason
BASE/ruleDepthLinear/OUBJpQTest process failed to output results for unknown reason
BASE/nonogram_5x5_1/qLKEZwTest process failed to output results for unknown reason
BASE/skirmishFinal1/ecWTnQTest process failed to output results for unknown reason
DRESDEN/Travelers-Dilemma/PvZwYwTest process failed to output results for unknown reason
BASE/colonelBlottoVariant2/jruwGwTest process failed to output results for unknown reason
DRESDEN/skirmish3/3LU8NwTest process failed to output results for unknown reason
BASE/ad_game_2x2/D0aWqgTest process failed to output results for unknown reason
STANFORD/rainbow/_4qNSQTest process failed to output results for unknown reason
BASE/queens/HyJJnQTest process failed to output results for unknown reason
DRESDEN/chinesecheckers2/06E6-QTest process failed to output results for unknown reason
BASE/gt_two_thirds_2p/1APDGgTest process failed to output results for unknown reason
BASE/kalaha6x2x4/XS81MgTest process failed to output results for unknown reason
DRESDEN/crissrace/KWb9bwTest process failed to output results for unknown reason
BASE/checkers-cylinder-mustjump/rjr6qQTest process failed to output results for unknown reason
BASE/checkersBarrelNoKings/rnKNegTest process failed to output results for unknown reason
BASE/knightwar/DVGY4QTest process failed to output results for unknown reason
BASE/brawl/6Ymo_QTest process failed to output results for unknown reason
BASE/stateSpaceMedium/3bUoIwTest process failed to output results for unknown reason
DRESDEN/battle/8oAvhQTest process failed to output results for unknown reason
DRESDEN/snake_2009_big/DgC1NQTest process failed to output results for unknown reason
BASE/3pffa/pR0dzATest process failed to output results for unknown reason
BASE/beatMania/qUHwvQTest process failed to output results for unknown reason
BASE/gt_prisoner/klthDwTest process failed to output results for unknown reason
BASE/checkers-suicide-cylinder-mustjump/YeW5TwTest process failed to output results for unknown reason
BASE/chineseCheckers6/rREH3ATest process failed to output results for unknown reason
STANFORD/madness/UO_B3ATest process failed to output results for unknown reason
DRESDEN/snake_2009/zIYLVwTest process failed to output results for unknown reason
BASE/duplicateStateSmall/bCPAXwTest process failed to output results for unknown reason
BASE/stateSpaceLarge/0Ge_CQTest process failed to output results for unknown reason
DRESDEN/cylinder-checkers/clOO3QTest process failed to output results for unknown reason
DRESDEN/smallest/9kaGFwTest process failed to output results for unknown reason
BASE/pacman2p/4LEdQgTest process failed to output results for unknown reason
BASE/checkersTorusNoKings/pwb6oQTest process failed to output results for unknown reason
BASE/snake_2009/7l-qAQTest process failed to output results for unknown reason
DRESDEN/battlesnakes1509/-qZrLwTest process failed to output results for unknown reason
DRESDEN/gt_ultimatum/pAiiQwTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process failed to output results for unknown reason
DRESDEN/logistics/fPru1QTest process failed to output results for unknown reason
DRESDEN/brawl/2kXtfQTest process failed to output results for unknown reason
BASE/sudoku/NTaNkwTest process failed to output results for unknown reason
DRESDEN/ticblock/Z2yNWQTest process failed to output results for unknown reason
DRESDEN/towerworld/HCX34wTest process failed to output results for unknown reason
BASE/stateSpaceSmall/Q7osKATest process failed to output results for unknown reason
BASE/four_way_battle/xSOQXATest process failed to output results for unknown reason
DRESDEN/CephalopodMicro/H3XQfgTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_random/_6AGDATest process failed to output results for unknown reason
DRESDEN/Goldrush/VeWczQTest process failed to output results for unknown reason
BASE/snakeAssemblit/UO4sdgTest process failed to output results for unknown reason
DRESDEN/skirmish2/iPpWhQTest process failed to output results for unknown reason
BASE/gt_chicken/gmepTQTest process failed to output results for unknown reason
BASE/solitaireChineseCheckers/-ET6gwTest process failed to output results for unknown reason
BASE/slaughter/cOch8ATest process failed to output results for unknown reason
BASE/point_grab/V_osUgTest process failed to output results for unknown reason
BASE/gt_dollar/TGjqRwTest process failed to output results for unknown reason
DRESDEN/statespacesmall/h-NqjATest process failed to output results for unknown reason
DRESDEN/4pttc/9pB9AQTest process failed to output results for unknown reason
STANFORD/chinook/osFbPATest process failed to output results for unknown reason
BASE/ticblock/T21C1gTest process failed to output results for unknown reason

index