index

PALAMEDES_JAVA_ECLIPSE:0.6.1

Comparison with GGP-Base Prover:

Median speedup2.0148028976649712
Mean speedup110.50594029695128
Geometric mean speedup2.7075485771635495
Ratio of # state changes with 1 second per game86.76108846863453
Ratio of times to run 1000 states per game6.472165997191156
Number of games with errors9

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)51344627
PALAMEDES_JOCULAR:0.6.1 (comparison)295761760
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 (comparison)51210257
SANCHO_DEAD_RECKONING_PROPNET:1.61c (comparison)42524537
ALLOY_TUPLE_PROVER:2 (comparison)26722789
CADIAPLAYER_PROLOG:3.0 (comparison)1131592755
REKKURA_GENERIC_FORWARD_PROVER:1.0.0 (comparison)51813169
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 (comparison)51813168
REKKURA_BACKWARD_PROVER:1.0.0 (comparison)48913459
REKKURA_BACKWARD_PROVER_OSTD:1.0.0 (comparison)48913458
GGP_BASE_PROVER:2015-04-26 (comparison)44001079
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 (comparison)52510122
ALLOY_COMPILED_PROVER_CACHING:2 (comparison)4145027
FLUXPLAYER_PROLOG:1.1 (comparison)241382685

Game-by-game statistics:

GameAverage state changes per secondRanking
BASE/pearls/6k_mEQ6749998.7333333331
BASE/maze/cCX3qQ5690580.6666666672
STANFORD/3puzzle/41ibjA5299378.81
BASE/blocksWorldSerial/Wyg96Q4980061.81
BASE/haystack/UkweGA4842433.32
STANFORD/threepuzzle/41ibjA4794918.7333333332
DRESDEN/troublemaker01/C-lPWw4690312.0333333332
BASE/troublemaker01/s3tlEQ4572781.2666666672
BASE/ruleDepthLinear/OUBJpQ4536204.2666666671
DRESDEN/blocks/vg0DRw4514996.8666666661
BASE/blocks/xIV5hQ4504012.9666666671
BASE/blocksWorld/SEdXLQ4441459.8333333332
DRESDEN/troublemaker02/iZLVuA4171950.66666666652
BASE/buttons/hTcUjw4164461.91
BASE/duplicateStateSmall/bCPAXw4163505.0333333331
DRESDEN/buttons/ADUaHw4152374.21
BASE/troublemaker02/DI83KA4134216.62
BASE/stateSpaceSmall/Q7osKA4127810.36666666671
STANFORD/buttonsandlights/eyhJpA4111879.33333333351
STANFORD/tictactoe3/X7myng4030479.21
BASE/gt_centipede/9fRMpw3931990.73333333342
DRESDEN/statespacesmall/h-NqjA3930882.9333333331
STANFORD/tictactoe5/WFRReg3852628.01
BASE/tictactoe-init1/7M19vA3781275.33333333351
BASE/gt_dollar/TGjqRw3767937.16666666651
DRESDEN/tictactoe-init1/3ltIBQ3704964.72
BASE/coins/QnGtnQ3429892.73333333341
DRESDEN/coins/QwFP9w3311547.5666666671
BASE/blocksWorldParallel/RseaAQ3242479.26666666661
BASE/coins_atomic/AA3SSw3209472.23333333341
DRESDEN/blocksworldparallel/2JfVaw3148914.22
BASE/minichess/8NQEiA3058929.41
BASE/hodgepodge/9yjRkw2898848.31
BASE/onestep/xi53wA2862079.21
BASE/survival/YVIjJA2740503.11
BASE/switches/tPUoCg2222213.0333333332
DRESDEN/2player_normal_form_2010/NG_Kdg2138468.23333333341
STANFORD/tictactoe7/-bE9-A2101809.92
BASE/ad_game_2x2/D0aWqg1765675.83333333331
STANFORD/sukoshi/4LYZZQ1579867.42
BASE/snake2p/I3wWPQ685032.63333333332
BASE/kitten_escapes_from_fire/uW-YiA88999.066666666674
DRESDEN/kitten_escapes_from_fire/uW-YiA88639.333333333334
STANFORD/knightstourmedium/x1wu8Q80038.066666666675
STANFORD/knightstour/cEwgNA41522.6666666666645
DRESDEN/knightstour/cGISAA39807.0666666666665
BASE/knightsTour/mvtVIg39579.6666666666645
BASE/hanoi_6_disks/MeubgQ33276.633333333334
DRESDEN/hanoi_6_disks/MeubgQ32810.5666666666664
BASE/snakeParallel/RCVNtw23666.2666666666664
BASE/untwistycomplex2/EDPPAQ22909.8333333333327
STANFORD/untwistycorridor/EDPPAQ22869.6666666666688
DRESDEN/vacuum_cleaner_1/eUNjpw18478.43
BASE/knightsTourLarge/M8jgLA16857.37
STANFORD/knightstourbig/TQUI2g15345.26
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A14022.1666666666663
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA13711.73
BASE/gt_coordination/IVMOzA12959.0415250283286
STANFORD/bestbuttonsandlights/nm0wEA12871.28
STANFORD/multiplebuttonsandlights/cK70Yg12847.7666666666669
BASE/gt_staghunt/xPjLRA12814.1976337277125
BASE/gt_prisoner/klthDw12745.8333333333345
STANFORD/multiplebuttonsandlights_9/SqB9BA12711.39
BASE/gt_chicken/gmepTQ12591.25
DRESDEN/gt_chicken/CeuKtw12341.6966546714655
BASE/lightsOn/MsXu3A12330.9333333333327
DRESDEN/statespacemedium/dVJZ_w12236.9333333333327
BASE/gt_tinfoil/Q8DyKg12041.1666666666665
BASE/stateSpaceMedium/3bUoIw11922.7333333333348
STANFORD/rainbow/_4qNSQ11663.87
DRESDEN/pancakes/hl9aiQ11597.06666666666810
DRESDEN/gt_prisoner/huCp4w11533.1466853314675
BASE/pancakes/yUgbXw11342.63333333333310
DRESDEN/pancakes6/SZXMyQ11277.76666666666611
BASE/pancakes6/QZTdnw11132.86666666666711
BASE/roshambo2/KNPokQ10994.09
DRESDEN/roshambo2/jgSlkQ10911.8333333333349
BASE/asteroids/BKCmPQ10841.17
BASE/chineseCheckers1/gqtwHw10733.7333333333345
DRESDEN/pancakes88/aD3E7g10257.98
BASE/pancakes88/l2Xaig10105.28
BASE/duplicateStateMedium/U163eQ10029.5666666666685
DRESDEN/circlesolitaire/ruUilQ9866.4666666666678
BASE/circlesolitaire/azuQFQ9818.1333333333338
DRESDEN/oisters_farm/pTQMLg9457.2666666666668
DRESDEN/Travelers-Dilemma/PvZwYw9439.35
BASE/tictactoe2/bhrDoQ9300.7666666666667
DRESDEN/catch_me/ghGWrA9139.46
DRESDEN/CatchMeIfYouCanTest/CX18rA9133.26
DRESDEN/Thief_Police/CX18rA9130.0666666666686
STANFORD/bestbuttonsandlightsbig/g0JC6g9089.5666666666689
DRESDEN/Catch-Me-If-You-Can/ghGWrA9037.2333333333346
STANFORD/jointbuttonsandlights/qAKuIQ8913.8333333333348
DRESDEN/Runners/3bOCQw8649.19
BASE/ticTacToeNoVars/XT03NA8638.97
BASE/factoringGeorgeForman/HGRorQ8571.68
STANFORD/eightpuzzle/W_aWbA8426.9666666666675
STANFORD/8puzzle/jNiGtw8351.1666666666665
DRESDEN/8puzzle/8fKC2w8326.75
DRESDEN/toetictac/mJtxCA8307.3333333333348
BASE/eightPuzzle/vLrgFg8292.8333333333345
BASE/toetictac/mTThmg8285.7666666666668
BASE/point_grab/V_osUg7996.7333333333349
STANFORD/hunter/14dD-g7920.7333333333346
BASE/hanoi/iGLsJg7915.07
DRESDEN/hanoi/RQ0jiA7772.3333333333337
DRESDEN/tictactoe/BTTzPw7756.16
DRESDEN/point_grab/r5DPmQ7741.39
BASE/ticTacToe/JRFsaQ7725.26
STANFORD/trifecta/ss1kyQ7613.46
DRESDEN/tictactoe_orthogonal/y69QFQ7585.67
DRESDEN/eotcatcit/mQUxzA7538.8666666666676
BASE/tictactoe_orthogonal/WRzlVw7479.57
STANFORD/tictactoe/ss1kyQ7472.3666666666676
DRESDEN/sum15/CsgWKg7449.08
BASE/eotcatcit/AfZSzA7425.16
BASE/sum15/QZ07Kg7399.78
DRESDEN/vacuumcleaner_random/_6AGDA7239.3666666666674
BASE/stateSpaceLarge/0Ge_CQ7162.8333333333338
DRESDEN/statespacelarge/8-y5HQ7120.38
DRESDEN/blocks2player/3ev8nQ6527.99
BASE/asteroidsParallel/WauZiA6481.2666666666666
DRESDEN/gt_ultimatum/pAiiQw6316.9333333333336
BASE/hanoi7_bugfix/3gdnFw6309.38
BASE/blocks2player/wnTLOQ6300.99
BASE/gt_ultimatum/GE-uOA6236.1333333333336
DRESDEN/hanoi7/51zz5Q6199.4666666666668
DRESDEN/hanoi7_bugfix/3gdnFw6172.3666666666678
STANFORD/tictictoe/rpt_Dw6119.4333333333337
DRESDEN/tictictoe/LAUtwg6099.0333333333347
BASE/eotcitcit/V_9_bg6061.97
BASE/ticTicToe/c1OobQ6044.67
BASE/brain_teaser_extended/ZDp94A5964.58
DRESDEN/brain_teaser_extended/ZDp94A5941.28
DRESDEN/lightson2x2/gBHuig5941.07
BASE/chickentoetictac/l57rfQ5898.4333333333338
BASE/nonogram_5x5_1/qLKEZw5826.25
DRESDEN/nim1/M9BALA5798.28
DRESDEN/chickentoetictac/cxYaRQ5753.1666666666678
BASE/nim1/hin2Qw5748.87
BASE/chickentictactoe/DSlZCA5674.4333333333338
BASE/chineseCheckers2/eCMR3Q5654.25
BASE/wargame02/BkVqqQ5564.1666666666674
BASE/beatMania/qUHwvQ5547.9666666666668
DRESDEN/knightfight/4_Ly4w5486.0333333333345
BASE/factoringEasyTurtleBrain/lUj94Q5437.9666666666667
DRESDEN/chickentictactoe/Ipbo-g5421.28
BASE/tron_10x10/7ZTgDg5378.3666666666676
BASE/knightfight/SJRkAg5323.45
BASE/asteroidsSerial/id2QkA5276.56
BASE/duplicateStateLarge/dcjyuw5200.8333333333336
BASE/colonelBlottoVariant/X-n-KQ5159.9333333333336
BASE/numbertictactoe/rvJ-iQ5144.6333333333336
DRESDEN/fizzbuzz/t1xHzQ5021.69
BASE/incredible/8Qh-6Q4930.18
BASE/lightsOnParallel/SC6enA4864.1333333333337
BASE/shmup/ssTNlg4809.76
BASE/factoringMutuallyAssuredDestruction/NH0LGg4676.17
DRESDEN/SC_TestOnly_enabled/09o7gQ4643.0666666666675
DRESDEN/vacuumcleaner_random_big/DwzFaQ4591.02
DRESDEN/minichess/c7GMFw4384.84
BASE/chomp/-LcqYQ4325.05
STANFORD/dualrainbow/G3OnRQ4271.1333333333338
DRESDEN/chomp/-LcqYQ4262.4333333333335
BASE/2pttc/unkkYA4249.1666666666676
BASE/ttcc4_2player_small/Cv72TA4221.05
DRESDEN/bidding-tictactoe/yW5vTA4214.5333333333346
BASE/biddingTicTacToe/8mESVw4209.2333333333346
BASE/nim2/eF2Qqw4183.08
DRESDEN/nim2/z5_exA4130.4666666666668
BASE/colonelBlottoVariant2/jruwGw4080.46666666666677
DRESDEN/firefighter/WJmoPw4063.79
BASE/firefighter/WJmoPw4034.2333333333339
BASE/blocker/dIWtxg3980.7666666666678
BASE/2pffa_zerosum/o0_uZA3937.7666666666676
DRESDEN/blocker/S815zQ3905.83333333333358
STANFORD/freeforall/Lfp40Q3866.7333333333335
DRESDEN/pawn_whopping/4ogBkg3829.56
BASE/2pffa/6oHijA3829.1333333333335
DRESDEN/pawn_whopping_corrected/7Ov0jQ3730.46
DRESDEN/aipsrovers01/qS47Mw3722.39
DRESDEN/smallest_4player/ADDROA3708.43333333333346
BASE/aipsrovers01/4C4jsw3699.43333333333349
DRESDEN/3pttc/uwYBZw3686.8666666666676
DRESDEN/uf20-01.cnf.SAT/42Rs8A3685.23
BASE/pawnWhopping/Ypc_6Q3655.93333333333346
DRESDEN/uf20-010.cnf.SAT/5ICbCg3653.15
BASE/smallest_4player/ADDROA3622.6333333333336
BASE/chineseCheckers3/-1rZdQ3600.56666666666666
BASE/ticTacToeLargeSuicide/727_8g3586.66666666666657
DRESDEN/tictactoelarge/IwXcbg3583.77
BASE/ticTacToeLarge/TZC0dg3577.97
BASE/kalaha5x2x3/WviNsw3575.6333333333336
DRESDEN/tictactoelargesuicide/6J4DeA3532.7333333333337
DRESDEN/uf20-020.cnf.SAT/hDrW_A3519.95
BASE/3pttc/0sol9g3482.43333333333346
STANFORD/connectfour/VMpZkQ3459.56
DRESDEN/connectfour/5tc-Mg3454.66
BASE/connectFourSuicide/c8p9Kw3427.93333333333346
BASE/connectFour/WAIKTw3411.93333333333346
BASE/wargame03/klXI8w3389.56666666666664
DRESDEN/connectfoursuicide/M9CNQg3349.03333333333336
DRESDEN/nim4/F5YAYg3334.08
BASE/connectFour_9x6/B9TtMw3289.43333333333346
DRESDEN/cube_2x2x2/fp-34Q3287.56666666666667
DRESDEN/nim3/sG_axA3271.18
BASE/nim3/1OwUqw3267.68
DRESDEN/kalaha_2009/gcC8uA3255.35
BASE/nim4/twk16w3245.03333333333338
BASE/solitaireChineseCheckers/-ET6gw3232.6333333333336
BASE/kalaha_2009/dRiN3g3231.83333333333355
BASE/biddingTicTacToe_10coins/a-9ccQ3229.66666666666656
DRESDEN/lightsout2/LFtfyQ3220.96
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw3215.66
DRESDEN/3pffa/0YrmQw3207.6333333333335
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ3185.36
BASE/checkLines/Vop7oQ3179.06666666666665
BASE/guess/SPpk1A3172.64
DRESDEN/guess/PhxGhg3141.94
BASE/kalaha6x2x4/XS81Mg3130.8666666666676
DRESDEN/bidding-tictactoe_10coins/mu5VhQ3115.1333333333336
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg3107.2666666666676
BASE/3pffa/pR0dzA3086.16666666666655
BASE/lightsOut/5P1ZBw3073.76
DRESDEN/lightsout/XgLpzQ3068.46666666666676
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg3056.86
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg3036.2333333333336
BASE/ticblock/T21C1g2948.93333333333345
DRESDEN/ticblock/Z2yNWQ2936.65
DRESDEN/logistics/fPru1Q2930.53333333333336
DRESDEN/sat_test_20v_91c/dK7nVw2921.1333333333335
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA2883.7744150389975
DRESDEN/sat_test_20v_91c_version2/a1mPBA2841.66666666666655
DRESDEN/tictactoeparallel/yk_DSg2836.93333333333347
DRESDEN/latenttictactoe/kITHKg2832.53333333333338
BASE/ticTacToeParallel/ymRGPw2817.8666666666677
BASE/futoshiki4/BaCwSw2776.43333333333346
DRESDEN/farmers/S_ASnw2736.1333333333333
BASE/mummymaze1p/PT_EXA2726.74
DRESDEN/mummymaze1p/AekgaQ2718.04
BASE/ttcc4_2player_alt/ZEJvYA2683.3666666666675
BASE/connectFourLarge/aU644A2671.03333333333336
BASE/checkersTorusNoKings/pwb6oQ2643.06666666666664
BASE/checkersBarrelNoKings/rnKNeg2620.44
DRESDEN/ghostmaze2p/HY0UwA2597.06666666666665
BASE/double_tictactoe_dengji/zgaSbA2574.96666666666678
DRESDEN/pawn_whopping_simultaneous/r8dLfw2570.33333333333356
DRESDEN/double_tictactoe_dengji/bGaUyQ2563.83333333333358
BASE/ghostMaze2p/W-NU-w2559.47
DRESDEN/4pttc/9pB9AQ2498.05
BASE/ttcc4_2player/_aH_Mw2495.7333333333335
DRESDEN/frogs_and_toads/GjchhQ2483.2666666666675
BASE/englishDraughts/jFkQxg2481.03333333333335
BASE/coloredtrails/EZvr7g2474.79
BASE/checkersTorus/2vm1EQ2462.7666666666674
BASE/4pttc/AL1k2Q2412.43333333333345
DRESDEN/quartosuicide/WIU1oQ2348.46
STANFORD/pentago/ZxzLmg2343.03333333333336
DRESDEN/quarto/OQzRYQ2334.2666666666676
DRESDEN/chinesecheckers1/Y-ftaA2327.58
STANFORD/ttcc4/Cx9SGw2325.53333333333335
BASE/quartoSuicide/-23jUg2308.66666666666656
BASE/breakthroughSuicideSmall/XSbJog2304.75
BASE/snakeAssemblit/UO4sdg2304.53
DRESDEN/crisscross/GsY16g2296.1333333333336
STANFORD/checkersonabarrelnokings/Zrevdw2293.93333333333344
DRESDEN/mummymaze2p-comp2007/oTQRQg2289.06666666666665
BASE/quarto/EwBMVQ2281.03333333333336
BASE/crisscross/ICagEg2277.46666666666676
STANFORD/duikoshi/tpw1sw2270.26
BASE/breakthroughSmall/HJ0tIA2247.2666666666675
BASE/breakthroughSmallHoles/bxclRw2240.2666666666677
BASE/mummyMaze2p_2007/YGA3Vw2221.7333333333335
STANFORD/pilgrimage/ObRZnQ2219.3666666666675
BASE/4pffa/Q3ADlg2203.75
DRESDEN/babel/WdSW4A2203.74
BASE/escortLatch/mX9BjQ2185.56
BASE/wargame01/_GZFZg2174.96
DRESDEN/mimikry/GJEhwA2159.83333333333355
DRESDEN/tictactoe_3d_small_2player/HYttcg2144.33333333333356
BASE/tictactoe_3d_small_2player/oOryKA2137.7666666666676
BASE/checkersTiny/Lr48cg2089.55
BASE/mineClearingSmall/frsbvw2076.03333333333334
BASE/tttcc4/8Bs2lg2073.96666666666675
DRESDEN/tpeg/h-Scbg2061.2333333333335
DRESDEN/tttcc4/sAvtFg2058.93333333333345
DRESDEN/pentago_2008/hLjVpQ2042.43333333333346
BASE/tpeg/QNs7Lw2036.53333333333335
STANFORD/dualhunter/1rPZjQ2034.16666666666678
BASE/ttcc4/Le0qjQ2027.85
DRESDEN/smallest/9kaGFw2017.66666666666676
BASE/pentago/86NgKw2017.63333333333346
BASE/nineBoardTicTacToe/wRmqqA2003.26666666666676
BASE/pentagoSuicide/SBgNhw2002.43333333333346
STANFORD/nineboardtictactoe/y28P-A1988.56
DRESDEN/Goldrush/VeWczQ1978.13333333333345
BASE/dualConnect4/WbCQkg1952.93333333333346
BASE/3pConnectFour/PqXOFQ1946.46
DRESDEN/battlesnakes1509/-qZrLw1924.33333333333333
DRESDEN/battlesnakes2011/93VtTw1887.63
BASE/amazons_8x8/7SOsIw1862.16666666666676
BASE/chineseCheckers4/avfBcQ1857.43333333333347
BASE/connectFourLarger/qKi60A1830.56666666666666
BASE/nineBoardTicTacToePie/B8LzeQ1821.06
BASE/bunk_t/xbpfIA1819.166666666666710
BASE/tictactoe_3player/GtM71g1804.86666666666668
DRESDEN/doubletoetictac/V89gKQ1794.410
STANFORD/breakthrough/d5j0cQ1784.43333333333346
BASE/doubletictactoe/HH1htg1784.266666666666710
BASE/connectFourSimultaneous/7ITr3g1775.93333333333346
DRESDEN/doubletictactoe/lJzgmQ1773.833333333333310
DRESDEN/bunk_t/7-tPfA1765.133333333333410
BASE/doubletoetictac/fu35bg1759.810
DRESDEN/tictactoe_3player/ESLQQQ1747.88
BASE/bomberman2p/4CClwA1721.07
DRESDEN/peg_bugfixed/u_B7MA1698.26
DRESDEN/peg/Vo31eg1683.23333333333336
BASE/withConviction/3Xm54A1679.53333333333336
BASE/peg/fJHVWw1677.63333333333346
BASE/snake_2008_tweaked/bX0NJQ1674.45
DRESDEN/bomberman2p/x4h6jQ1669.23333333333336
DRESDEN/grid_game2/kypTYQ1656.66
BASE/laikLee_hex/zbyscQ1643.6269292176693
DRESDEN/laikLee_hex/ZeP3QQ1639.96666666666673
BASE/snake_2008/i6K26g1633.9122029265695
DRESDEN/chinesecheckers2/06E6-Q1627.66
DRESDEN/knightthrough/J7Fc_Q1617.36666666666666
DRESDEN/snake_2008/E56l3A1616.05
BASE/dotsAndBoxesSuicide/jzQbLw1604.95
STANFORD/alquerquezero/uVgA_A1597.83333333333335
BASE/knightThrough/gcwFjA1591.96
BASE/breakthroughSuicide/wZDpIg1587.45
BASE/twisty-passages/DiZmmg1571.29
DRESDEN/breakthrough/z4hK7Q1569.46666666666675
BASE/dotsAndBoxes/EHwA_w1565.06666666666666
DRESDEN/breakthroughsuicide/Y9QzqQ1557.63333333333345
BASE/breakthroughWalls/vOZaYA1556.16666666666675
DRESDEN/twisty-passages/j7NPyg1549.99
BASE/knightmove/jBaJEw1543.76666666666677
DRESDEN/breakthroughsuicide_v2/LU1nAw1542.35
BASE/breakthrough/TGxk-g1531.35
BASE/chineseCheckers6/rREH3A1530.33333333333337
DRESDEN/knightmove/97Ipcw1514.73333333333337
DRESDEN/satlike_20v_91c_version2/yd9ioQ1501.15
DRESDEN/satlike_20v_91c/yeuENQ1491.13451539794695
DRESDEN/grid_game/U7_Yeg1488.97
DRESDEN/stratego/Z2wovg1483.66666666666676
BASE/amazons_10x10/Bun8dA1483.04
BASE/crissrace/ERWGDA1481.83333333333335
BASE/copolymer_4/2LDVhQ1478.06666666666666
BASE/choicethroughalt/tt71Lg1477.56
BASE/racetrackcorridor/_RkdUg1474.96
BASE/rubiksCube/9tNO9Q1464.16666666666676
BASE/amazonsSuicide_10x10/XIbQkg1460.55
BASE/minichess-evilconjuncts/4OpQzw1459.53333333333335
BASE/pegEuro/5awwhg1454.66666666666676
DRESDEN/crissrace/KWb9bw1452.56666666666665
DRESDEN/minichess-evilconjuncts/th24Tw1446.33333333333335
DRESDEN/knightwar/7hhAqg1435.65
BASE/breakthroughHoles/nZk0Sg1430.05
DRESDEN/snake_2009/zIYLVw1400.96666666666676
BASE/ticTacToeSerial/Amrwqw1388.26
BASE/max_knights/2fq3Ag1387.56666666666666
BASE/knightwar/DVGY4Q1380.63333333333345
BASE/snake_2009/7l-qAQ1379.16666666666676
BASE/copolymer_4_pie/IN5_jA1376.56666666666666
DRESDEN/chinesecheckers3/QsCb2A1352.53333333333337
BASE/factoringMediumTurtleBrain/8RBqmQ1345.06666666666669
DRESDEN/max_knights/hCipiA1327.26666666666676
DRESDEN/racetrackcorridor/O0DoTA1291.43333333333348
BASE/checkersSmall/SYmq8w1285.63333333333345
BASE/lightsOnSimultaneous/_VN6lw1279.76666666666679
DRESDEN/catcha_mouse/cHv4dw1241.36666666666667
BASE/amazonsTorus_10x10/Uxc08g1240.96666666666675
BASE/conn4/va9Y7A1234.33333333333336
STANFORD/triplesukoshi/Iu9mbA1225.98
BASE/catcha_mouse/cHv4dw1207.88
BASE/lightsOnSimul4/9FeASw1166.28
DRESDEN/crossers3/xiPTxg1131.83333333333336
BASE/speedChess/bPnisA1106.53333333333336
BASE/blockerParallel/7-nDJA1079.99733342221936
DRESDEN/blockerparallel/dVQgSg1075.030832305596
BASE/crossers3/O0rORg1061.16666666666677
BASE/blockerSerial/3eqDuw1047.03333333333337
BASE/skirmishNew/sibw2g1024.15
BASE/skirmishZeroSum/zh4hcw1021.53333333333336
BASE/pacman2p/4LEdQg1001.26
BASE/hidato19/rRHSmA976.63411219626026
BASE/futoshiki5/TJ4BZg963.76
DRESDEN/sheep_and_wolf/enAIzQ960.46666666666676
DRESDEN/chinesecheckers4/-oVNYg938.58
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw936.26666666666673
BASE/sheepAndWolf/g4THrg929.43568547715076
BASE/checkers/rOC3Xg923.36666666666675
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g921.27191520565293
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw901.46666666666673
BASE/pacman3p/wW7UVQ887.23333333333338
BASE/ticTacHeaven/18n58A858.96
DRESDEN/pacman3p/rBnk8Q858.37
DRESDEN/backgammon/mqCW0Q856.96666666666675
BASE/slidingpieces/uFJWEw843.96
BASE/ticTacHeavenFC/mrletw842.43858538048736
BASE/connect4/50bOyw841.47195093496887
DRESDEN/endgame/IJhh3Q837.13333333333335
DRESDEN/slidingpieces/s9_44g834.73333333333336
DRESDEN/connect4/T0-rHQ834.64435704286387
BASE/tictactoex9/BI26ow831.88
DRESDEN/tictactoex9/rFkD4w825.16666666666667
DRESDEN/chinesecheckers6/yTbPDA824.56666666666678
BASE/endgame/jYjfOA821.205959801344
BASE/qyshinsu/R08Lzw812.77290756974765
DRESDEN/ggp-course2013_jordi/9QI6Kw790.50698310056335
BASE/mummymaze2p/vpjDdA775.58
BASE/nonogram_10x10_1/0Xc62g771.81521231917875
BASE/snake_2009_big/-oRfVw769.97
DRESDEN/cubicup/SBn_lw766.56666666666676
DRESDEN/snake_2009_big/DgC1NQ759.96666666666677
DRESDEN/skirmish2/iPpWhQ756.67477750741645
DRESDEN/knightazons/02I8BQ753.96666666666675
DRESDEN/mummymaze2p/k-8edg751.98
BASE/knightazons/apnJBQ749.25
BASE/cubicup/4wNWJA748.14172860904646
BASE/wallmaze/uxNQ9g747.86666666666677
BASE/hitori/S8Gsyg747.64174527515756
DRESDEN/skirmish/RjGQYQ744.05
BASE/tictactoe_3d_small_6player/g_9lww743.97520082663916
DRESDEN/hitori/S8Gsyg742.36666666666676
STANFORD/madness/UO_B3A741.74
DRESDEN/skirmish3/3LU8Nw730.95
DRESDEN/tictactoe_3d_small_6player/llDEDQ724.96
DRESDEN/blobwars/ZaMluQ704.24319189360365
DRESDEN/queens/mW2wHQ692.26
BASE/four_way_battle/xSOQXA692.06666666666674
DRESDEN/four_way_battle/xSOQXA688.94370187660414
BASE/blobwars/0XT15Q688.93333333333335
BASE/tictactoe_3d_2player/IUC1rQ688.56666666666676
BASE/queens/HyJJnQ688.16
BASE/chinook/XQh0IQ682.64391186960446
DRESDEN/tictactoe_3d_2player/LMuX9w679.17736075464156
BASE/connect5/d-BVQg674.46666666666678
DRESDEN/connect5/1kYzSg661.88
DRESDEN/chinesecheckers6-simultaneous/gPPGUw648.36666666666675
STANFORD/chinook/osFbPA626.44578514049535
DRESDEN/checkers/jIDMIg615.97946735108833
STANFORD/multipletictactoe/_bkafQ614.433333333333311
BASE/skirmishFinal3/-Olhfw575.44748508383054
STANFORD/platformjumpers/HEQskA568.86
DRESDEN/skirmishfinal/hzq8ww559.44801839938674
STANFORD/skirmish/w4V6Vw559.26666666666674
DRESDEN/Zhadu/9zpQ5w553.66666666666666
BASE/skirmishFinal2/gdB62Q550.94830172327594
DRESDEN/checkers-newgoals/IJOqXQ539.38202059931342
BASE/skirmishFinal1/ecWTnQ531.04
DRESDEN/javastrike/whONTQ530.31565614479525
BASE/checkers-newgoals/0XkFiA529.84
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA518.56295407585157
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g514.47802472426787
BASE/futoshiki6/JmvXNA504.916502783240569
BASE/cylinder-checkers/hlldmw478.05073164227862
DRESDEN/cylinder-checkers/clOO3Q468.233333333333352
BASE/strangeSkirmish/gc1zKA413.73908406106264
BASE/skirmish/Y_psYQ411.66666666666674
DRESDEN/capture_the_king/EQ229Q407.7728151456575
DRESDEN/brawl/2kXtfQ406.626004066260074
STANFORD/hex/MTqWcw401.56
BASE/brawl/6Ymo_Q397.54016398906744
BASE/hex/T1MK8g392.873808412772466
BASE/gt_attrition/kD_SCA369.121029299023356
BASE/racer4/0vs7Ww368.22105929802347
BASE/hexPie/48CH6Q356.27624825011677
BASE/cubicup_3player/e2yA_g341.910
DRESDEN/battlebrushes/QHXV4A338.05539815339494
DRESDEN/cubicup_3player/awDtsQ337.766666666666659
BASE/gt_two_thirds_2p/1APDGg330.47
BASE/skirmishHoles/AUCxCA327.933333333333344
DRESDEN/hallway/0H4l-Q292.890236992100267
BASE/hallway/ckCJOw291.033333333333367
BASE/majorities/ibJzSQ288.89481402479677
BASE/battle/8oAvhQ263.440322634403235
STANFORD/selectivesukoshi/3xmXYg262.566666666666668
DRESDEN/ggp-course2013_nicolai/uEin8g259.816012265848944
DRESDEN/battle/8oAvhQ257.99140028665715
STANFORD/multiplesukoshi/vLSQPg241.617225518298778
BASE/cittaceot/fDxhXg238.3253891536948910
BASE/cephalopodMicro/9l2D3g221.866666666666674
DRESDEN/CephalopodMicro/H3XQfg219.792673577547424
DRESDEN/racer/vk_ZBA218.149098543673158
BASE/racer/QQYQNw216.492783573880878
BASE/simultaneousWin2/PfjRjw209.524761714323812
BASE/tictactoe_3d_6player/d7KSwg207.305692574323427
DRESDEN/tictactoe_3d_6player/ulZPWg201.493034726388067
DRESDEN/quad_5x5_8_2/JRTLJg200.865656733810578
DRESDEN/quad_5x5/JAEP5g195.13250765747778
BASE/quad_5x5/JAEP5g188.694957031510238
DRESDEN/checkers-mustjump/HUr33w184.433333333333344
BASE/checkers-mustjump/T-8UuQ180.054663022465186
BASE/merrills/pku8Tg179.160694643511875
DRESDEN/ggp-course2013_michal13/jWKddg177.87
DRESDEN/merrills/aYEzwA174.94917174949175
DRESDEN/amazons/dNB28A164.384018127894964
BASE/slaughter/cOch8A152.094930168994383
BASE/chess_200/XsTpYA131.395620145995146
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg128.033333333333334
DRESDEN/checkers-cylinder-mustjump/vW_-pA127.633333333333344
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw125.537231384307846
BASE/checkers-cylinder-mustjump/rjr6qQ123.533333333333336
BASE/gt_two_thirds_4p/DStnxQ115.739660745825977
DRESDEN/checkers-mustjump-torus/cVc3gA111.544357795107644
BASE/checkers-mustjump-torus/uSApKQ110.26
BASE/pawnToQueen/-O1_JA103.319557392347695
BASE/sudoku/NTaNkw100.623271006232715
DRESDEN/pawntoqueen/f_x6Aw100.059976009596165
BASE/battlebrushes/arCwyA93.797627725134198
BASE/hidato37/pBrqxw87.730408986367127
DRESDEN/quad_7x7/q-JOXg86.54390463188047
BASE/quad_7x7/q-JOXg78.159313236174887
DRESDEN/god/2EDD5w69.62637069626376
BASE/sudokuGrade1/tDRNRw64.3666666666666611
BASE/god/qF06gw63.068181818181826
BASE/golden_rectangle/_nYzfw63.0477523409643812
BASE/sudokuGrade2/u80Tfw60.2891213110385711
DRESDEN/towerworld/HCX34w60.13259153146555
BASE/sudokuGrade5/BQfUQA58.7941205879412111
BASE/sudokuGrade4/DTy07w57.59040159973337611
BASE/sudokuGrade3/eI8dvg56.3666666666666711
STANFORD/sudoku/oJ1qyQ53.8594854019464111
STANFORD/duidoku/3SoMaA50.4131680661068911
BASE/sudokuGrade6H/ieE_9A44.66517782740575611
BASE/gt_two_thirds_6p/867v3Q44.5547853905625155
BASE/sudokuGrade6E/ihYFZA44.17496751840623411
DRESDEN/small_dominion/yB5GJA38.19641013686775
BASE/othelloHoles/c0qAzw38.120921560793715
BASE/othelloSuicide/B442jg37.465417819406025
BASE/othello-comp2007/86ZoMw37.268942547876776
BASE/queens06ug/7Lq3tw25.16812038085092213
DRESDEN/othello-cornercontrol/r5Gdlg19.94680851063834
BASE/amazons/RKKZjw13.5612421697987485
BASE/amazonsSuicide/dE1QEQ13.5261194029850744
DRESDEN/quad/JPe6fg13.0623125624791737
BASE/factoringImpossibleTurtleBrain/kcBhdw12.357265759424377
BASE/zhadu/DlA8iQ11.48162939297124712
BASE/quad/tw-Ufg10.0875586776309227
BASE/queens08ug/kJ_ZFQ8.59818823890680213
BASE/blokbox_simple/JBx4bg7.2815533980582535
BASE/colonelBlotto/jip21A6.7100717512622917
DRESDEN/golden_rectangle/1uloXw4.21604753842578712
BASE/queens08lg/Ru7eqQ0.02411730657920123411

Games with errors:

GameError message
BASE/ruleDepthExponential/UamhHQException of type NullPointerException
BASE/queens16ug/gT-ylwTest process timed out after 240 seconds
BASE/reversiSuicide/9OxJlgTest process timed out after 240 seconds
BASE/queens12ug/u6BkmgTest process timed out after 240 seconds
BASE/amazonsTorus/soxT8gException of type NullPointerException
BASE/alexChess/LNo83gException of type NullPointerException
STANFORD/untwistycomplex/HTWEwgException of type NullPointerException
BASE/queens31lg/0gID-ATest process timed out after 240 seconds
BASE/reversi/d8UMeATest process timed out after 240 seconds

index