index

ALLOY_COMPILED_PROVER_CACHING:2

Comparison with GGP-Base Prover:

Median speedup47.00123063236711
Mean speedup66.45470984398418
Geometric mean speedup52.898968828835095
Ratio of # state changes with 1 second per game35.60317339980399
Ratio of times to run 1000 states per game0.01699774277969404
Number of games with errors6

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)260322582
PALAMEDES_JOCULAR:0.6.1 (comparison)42883394
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 (comparison)5401004
SANCHO_DEAD_RECKONING_PROPNET:1.61c (comparison)21504792
ALLOY_TUPLE_PROVER:2 (comparison)550004
CADIAPLAYER_PROLOG:3.0 (comparison)38716124
REKKURA_GENERIC_FORWARD_PROVER:1.0.0 (comparison)5391104
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 (comparison)5381204
REKKURA_BACKWARD_PROVER:1.0.0 (comparison)5351144
REKKURA_BACKWARD_PROVER_OSTD:1.0.0 (comparison)5341244
PALAMEDES_JAVA_ECLIPSE:0.6.1 (comparison)5027414
GGP_BASE_PROVER:2015-04-26 (comparison)550006
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 (comparison)5351504
FLUXPLAYER_PROLOG:1.1 (comparison)5094014

Game-by-game statistics:

GameAverage state changes per secondRanking
BASE/pearls/6k_mEQ719649.33333333345
STANFORD/buttonsandlights/eyhJpA717704.73333333335
DRESDEN/pancakes6/SZXMyQ693985.71
BASE/pancakes/yUgbXw684756.16666666661
BASE/pancakes6/QZTdnw683100.83333333341
DRESDEN/pancakes/hl9aiQ679041.81
BASE/haystack/UkweGA666166.63333333335
STANFORD/untwistycomplex/HTWEwg659705.16666666663
BASE/maze/cCX3qQ656680.66666666664
BASE/pancakes88/l2Xaig646613.01
DRESDEN/pancakes88/aD3E7g640218.31
BASE/buttons/hTcUjw627658.94
STANFORD/untwistycorridor/EDPPAQ619164.83333333343
DRESDEN/buttons/ADUaHw612228.54
DRESDEN/fizzbuzz/t1xHzQ610422.02
BASE/untwistycomplex2/EDPPAQ606732.23333333333
DRESDEN/troublemaker01/C-lPWw561519.46666666675
BASE/troublemaker01/s3tlEQ540830.93333333335
BASE/asteroids/BKCmPQ540244.52
DRESDEN/troublemaker02/iZLVuA525648.43333333335
BASE/troublemaker02/DI83KA517468.35
BASE/survival/YVIjJA497183.95
DRESDEN/statespacesmall/h-NqjA480628.66666666675
BASE/stateSpaceSmall/Q7osKA467378.16666666675
BASE/ruleDepthLinear/OUBJpQ467139.73
BASE/duplicateStateSmall/bCPAXw457625.233333333345
BASE/stateSpaceMedium/3bUoIw437321.43
DRESDEN/statespacemedium/dVJZ_w427573.933333333353
BASE/gt_coordination/IVMOzA422468.96666666672
BASE/gt_prisoner/klthDw417563.266666666661
BASE/gt_chicken/gmepTQ408112.33333333332
DRESDEN/gt_chicken/CeuKtw405851.72
DRESDEN/point_grab/r5DPmQ403646.03333333333
BASE/point_grab/V_osUg403040.6959304073
DRESDEN/gt_prisoner/huCp4w401254.1158434982
BASE/gt_staghunt/xPjLRA400434.92
BASE/gt_centipede/9fRMpw378842.733333333344
DRESDEN/Travelers-Dilemma/PvZwYw377018.53333333331
BASE/lightsOn/MsXu3A376776.53
DRESDEN/oisters_farm/pTQMLg370290.633333333363
BASE/onestep/xi53wA368475.35
STANFORD/multiplebuttonsandlights_9/SqB9BA353657.266666666663
STANFORD/multiplebuttonsandlights/cK70Yg350058.53333333333
BASE/factoringGeorgeForman/HGRorQ349296.33333333333
BASE/duplicateStateMedium/U163eQ349098.46666666673
DRESDEN/knightstour/cGISAA348919.83333333332
BASE/knightsTour/mvtVIg348806.366666666642
BASE/hanoi/iGLsJg347636.266666666662
BASE/gt_ultimatum/GE-uOA346228.96666666672
STANFORD/knightstourmedium/x1wu8Q344129.32
DRESDEN/hanoi/RQ0jiA340643.266666666662
STANFORD/threepuzzle/41ibjA336593.46666666674
STANFORD/3puzzle/41ibjA336006.14
DRESDEN/gt_ultimatum/pAiiQw334039.62
BASE/blocks/xIV5hQ334031.133333333364
BASE/hanoi7_bugfix/3gdnFw333616.866666666642
STANFORD/knightstour/cEwgNA332077.03333333332
DRESDEN/Runners/3bOCQw331662.32
BASE/blocksWorld/SEdXLQ328146.133333333364
DRESDEN/blocks/vg0DRw326892.866666666644
BASE/knightsTourLarge/M8jgLA325589.02
BASE/gt_tinfoil/Q8DyKg324537.66666666672
BASE/asteroidsParallel/WauZiA318886.866666666642
STANFORD/bestbuttonsandlights/nm0wEA318824.03333333333
DRESDEN/hanoi7/51zz5Q317657.12
DRESDEN/hanoi7_bugfix/3gdnFw316999.82
STANFORD/knightstourbig/TQUI2g302787.733333333342
DRESDEN/blocks2player/3ev8nQ279488.96666666672
DRESDEN/roshambo2/jgSlkQ276963.33333333332
STANFORD/bestbuttonsandlightsbig/g0JC6g274526.53333333333
BASE/nim1/hin2Qw273667.83333333332
BASE/beatMania/qUHwvQ273214.82
DRESDEN/nim1/M9BALA271906.16666666672
BASE/asteroidsSerial/id2QkA271478.32
BASE/roshambo2/KNPokQ271170.72
DRESDEN/circlesolitaire/ruUilQ269769.62
BASE/circlesolitaire/azuQFQ268218.72
BASE/ruleDepthExponential/UamhHQ265285.92
BASE/blocks2player/wnTLOQ265125.72
BASE/colonelBlottoVariant/X-n-KQ259525.92
BASE/toetictac/mTThmg257428.12
DRESDEN/hanoi_6_disks/MeubgQ254584.933333333322
BASE/hanoi_6_disks/MeubgQ254281.333333333342
BASE/gt_dollar/TGjqRw248697.24
DRESDEN/toetictac/mJtxCA246970.32
DRESDEN/nim2/z5_exA243818.766666666662
STANFORD/jointbuttonsandlights/qAKuIQ242939.066666666683
DRESDEN/chickentoetictac/cxYaRQ242633.966666666672
BASE/nim2/eF2Qqw242601.166666666662
BASE/chickentoetictac/l57rfQ238829.72
BASE/colonelBlottoVariant2/jruwGw236752.866666666672
STANFORD/rainbow/_4qNSQ235829.23
DRESDEN/firefighter/WJmoPw227701.366666666673
BASE/firefighter/WJmoPw227421.63
BASE/stateSpaceLarge/0Ge_CQ224102.733333333343
DRESDEN/statespacelarge/8-y5HQ221723.63
BASE/switches/tPUoCg220003.833333333345
DRESDEN/vacuum_cleaner_1/eUNjpw209195.066666666681
BASE/brain_teaser_extended/ZDp94A207226.766666666663
DRESDEN/lightson2x2/gBHuig204306.766666666663
DRESDEN/aipsrovers01/qS47Mw203630.833333333342
DRESDEN/brain_teaser_extended/ZDp94A199446.633333333333
DRESDEN/CatchMeIfYouCanTest/CX18rA198815.02
BASE/aipsrovers01/4C4jsw197117.12
DRESDEN/Catch-Me-If-You-Can/ghGWrA197012.066666666682
DRESDEN/catch_me/ghGWrA195745.866666666673
BASE/hodgepodge/9yjRkw195328.333333333344
DRESDEN/Thief_Police/CX18rA191888.73
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA190432.233333333341
DRESDEN/2player_normal_form_2010/NG_Kdg189470.033333333335
BASE/nim3/1OwUqw185689.22
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A185439.333333333341
BASE/blocksWorldSerial/Wyg96Q184912.24
BASE/tictactoe2/bhrDoQ184872.833333333343
DRESDEN/nim3/sG_axA182781.733333333342
BASE/factoringMutuallyAssuredDestruction/NH0LGg182349.033333333333
BASE/nim4/twk16w182122.22
DRESDEN/nim4/F5YAYg180660.466666666672
BASE/lightsOnParallel/SC6enA180142.966666666673
BASE/guess/SPpk1A179335.866666666671
BASE/factoringEasyTurtleBrain/lUj94Q178179.93
DRESDEN/guess/PhxGhg174120.666666666661
STANFORD/hunter/14dD-g172754.566666666682
DRESDEN/sum15/CsgWKg169608.92
BASE/sum15/QZ07Kg168922.166666666662
BASE/incredible/8Qh-6Q160499.066666666682
DRESDEN/blocksworldparallel/2JfVaw160414.033333333334
BASE/snakeParallel/RCVNtw154544.73
STANFORD/tictactoe5/WFRReg154450.833333333345
STANFORD/tictactoe3/X7myng153563.533333333335
STANFORD/tictactoe7/-bE9-A149442.933333333325
BASE/tictactoe-init1/7M19vA149011.633333333335
DRESDEN/tictactoe/BTTzPw147117.03
BASE/chineseCheckers1/gqtwHw145390.23
DRESDEN/tictactoe-init1/3ltIBQ143451.533333333335
BASE/tictactoe_orthogonal/WRzlVw143433.366666666673
DRESDEN/blocker/S815zQ142623.03
DRESDEN/tictactoe_orthogonal/y69QFQ142031.53
BASE/blocker/dIWtxg141265.633333333333
STANFORD/trifecta/ss1kyQ141027.466666666673
BASE/ticTacToeNoVars/XT03NA139328.33
STANFORD/tictactoe/ss1kyQ138779.333333333343
BASE/ticTacToe/JRFsaQ138349.233333333343
DRESDEN/eotcatcit/mQUxzA137043.366666666673
BASE/eotcatcit/AfZSzA135199.933333333323
STANFORD/sukoshi/4LYZZQ134604.033333333335
DRESDEN/ghostmaze2p/HY0UwA132622.366666666672
BASE/ghostMaze2p/W-NU-w131461.72
STANFORD/dualrainbow/G3OnRQ131159.43
DRESDEN/bidding-tictactoe/yW5vTA130796.42
BASE/biddingTicTacToe/8mESVw123991.266666666662
DRESDEN/vacuumcleaner_random/_6AGDA123829.82
DRESDEN/chickentictactoe/Ipbo-g122363.033333333343
BASE/gt_attrition/kD_SCA118750.12
BASE/chickentictactoe/DSlZCA118527.733333333343
DRESDEN/tictactoelargesuicide/6J4DeA116223.866666666673
BASE/ticTacToeLarge/TZC0dg113413.133333333333
BASE/smallest_4player/ADDROA113377.42
STANFORD/eightpuzzle/W_aWbA112744.02
DRESDEN/tictactoelarge/IwXcbg112710.333333333333
BASE/ticTacToeLargeSuicide/727_8g112557.733333333343
DRESDEN/smallest_4player/ADDROA112170.366666666672
BASE/kitten_escapes_from_fire/uW-YiA111581.966666666663
BASE/knightfight/SJRkAg109941.82
BASE/mummyMaze2p_2007/YGA3Vw109928.166666666672
DRESDEN/kitten_escapes_from_fire/uW-YiA109843.233333333343
STANFORD/8puzzle/jNiGtw109413.066666666672
DRESDEN/knightfight/4_Ly4w109349.633333333332
BASE/tron_10x10/7ZTgDg109281.22
DRESDEN/SC_TestOnly_enabled/09o7gQ109093.73
BASE/eightPuzzle/vLrgFg108880.12
DRESDEN/mummymaze2p-comp2007/oTQRQg108718.666666666672
BASE/chineseCheckers2/eCMR3Q107309.433333333333
DRESDEN/8puzzle/8fKC2w106891.82
DRESDEN/lightsout/XgLpzQ106103.533333333343
DRESDEN/lightsout2/LFtfyQ105834.066666666673
DRESDEN/bidding-tictactoe_10coins/mu5VhQ105027.72
BASE/lightsOut/5P1ZBw104881.73
BASE/kalaha5x2x3/WviNsw104106.966666666661
BASE/biddingTicTacToe_10coins/a-9ccQ103351.233333333342
BASE/checkLines/Vop7oQ103104.166666666673
BASE/shmup/ssTNlg102923.133333333332
BASE/kalaha_2009/dRiN3g102630.766666666661
BASE/twisty-passages/DiZmmg102016.83
BASE/coloredtrails/EZvr7g101584.833333333332
DRESDEN/twisty-passages/j7NPyg100143.433333333333
BASE/duplicateStateLarge/dcjyuw99856.233333333343
DRESDEN/kalaha_2009/gcC8uA98639.966666666661
BASE/copolymer_4/2LDVhQ98540.53
BASE/queens06ug/7Lq3tw98459.966666666663
BASE/ticblock/T21C1g97930.23
DRESDEN/ticblock/Z2yNWQ97478.266666666663
BASE/ticTacToeSerial/Amrwqw97299.166666666673
BASE/kalaha6x2x4/XS81Mg96943.11
BASE/snake2p/I3wWPQ94606.74
BASE/chineseCheckers3/-1rZdQ92895.966666666663
DRESDEN/mummymaze1p/AekgaQ91796.966666666661
DRESDEN/smallest/9kaGFw91507.61
DRESDEN/cube_2x2x2/fp-34Q90598.133333333332
BASE/mummymaze1p/PT_EXA89948.63675754951
BASE/solitaireChineseCheckers/-ET6gw89519.42
DRESDEN/snake_2008/E56l3A89369.066666666672
BASE/snake_2008_tweaked/bX0NJQ89049.633333333332
DRESDEN/bomberman2p/x4h6jQ88405.733333333342
BASE/bomberman2p/4CClwA86887.833333333332
DRESDEN/tictictoe/LAUtwg85745.166666666673
BASE/snake_2008/i6K26g85228.566666666672
BASE/snake_2009/7l-qAQ85003.42
DRESDEN/snake_2009/zIYLVw84722.433333333332
BASE/blockerSerial/3eqDuw83932.62
BASE/double_tictactoe_dengji/zgaSbA82690.966666666663
DRESDEN/latenttictactoe/kITHKg82486.333333333333
BASE/eotcitcit/V_9_bg82294.13
BASE/minichess/8NQEiA82243.033333333344
STANFORD/tictictoe/rpt_Dw81902.63
BASE/doubletictactoe/HH1htg81434.766666666663
DRESDEN/doubletictactoe/lJzgmQ81175.766666666663
BASE/copolymer_4_pie/IN5_jA80991.566666666673
BASE/bunk_t/xbpfIA80392.93
DRESDEN/grid_game/U7_Yeg80332.02
BASE/colonelBlotto/jip21A80164.133333333331
DRESDEN/double_tictactoe_dengji/bGaUyQ79231.566666666673
DRESDEN/doubletoetictac/V89gKQ79002.93
BASE/ticTicToe/c1OobQ78231.23
DRESDEN/logistics/fPru1Q77927.62
BASE/chomp/-LcqYQ77682.133333333333
DRESDEN/chomp/-LcqYQ77416.133333333332
DRESDEN/3pttc/uwYBZw77147.733333333342
DRESDEN/bunk_t/7-tPfA77103.766666666663
DRESDEN/3pffa/0YrmQw77008.566666666672
BASE/doubletoetictac/fu35bg76983.866666666673
STANFORD/dualhunter/1rPZjQ76964.366666666672
BASE/2pttc/unkkYA74982.633333333332
DRESDEN/crossers3/xiPTxg74511.633333333331
BASE/crossers3/O0rORg74141.033333333341
BASE/2pffa_zerosum/o0_uZA73025.02
BASE/snake_2009_big/-oRfVw72303.733333333342
BASE/2pffa/6oHijA71878.333333333332
STANFORD/freeforall/Lfp40Q71712.333333333332
DRESDEN/connectfoursuicide/M9CNQg71278.166666666673
BASE/connectFourSuicide/c8p9Kw71043.466666666663
BASE/connectFour/WAIKTw70525.633333333333
DRESDEN/babel/WdSW4A70074.72
DRESDEN/connectfour/5tc-Mg70056.266666666663
DRESDEN/knightwar/7hhAqg69941.81
DRESDEN/snake_2009_big/DgC1NQ69276.833333333332
BASE/3pffa/pR0dzA69072.366666666672
BASE/knightwar/DVGY4Q68845.71
DRESDEN/Goldrush/VeWczQ68620.933333333332
BASE/connectFour_9x6/B9TtMw68491.266666666663
BASE/breakthroughSmall/HJ0tIA67503.02
STANFORD/connectfour/VMpZkQ67342.866666666673
BASE/chineseCheckers4/avfBcQ67240.83
BASE/3pttc/0sol9g66413.42
BASE/breakthroughSuicideSmall/XSbJog65931.666666666672
DRESDEN/racer/vk_ZBA65772.933333333331
BASE/racer/QQYQNw65698.266666666661
BASE/dotsAndBoxesSuicide/jzQbLw65644.766666666663
BASE/racetrackcorridor/_RkdUg65501.9333333333342
BASE/dotsAndBoxes/EHwA_w65423.733333333333
DRESDEN/battlesnakes2011/93VtTw64341.633333333331
DRESDEN/4pttc/9pB9AQ63894.32
BASE/mummymaze2p/vpjDdA63674.133333333333
BASE/4pffa/Q3ADlg63402.8333333333362
BASE/numbertictactoe/rvJ-iQ62727.033333333333
DRESDEN/mummymaze2p/k-8edg62217.866666666673
BASE/ttcc4_2player_small/Cv72TA62031.33
DRESDEN/chinesecheckers1/Y-ftaA62016.466666666672
BASE/ticTacToeParallel/ymRGPw61978.42
DRESDEN/tictactoeparallel/yk_DSg61266.6666666666642
DRESDEN/vacuumcleaner_random_big/DwzFaQ60824.61
BASE/chineseCheckers6/rREH3A60793.133333333333
BASE/gt_two_thirds_2p/1APDGg60757.733333333332
DRESDEN/racetrackcorridor/O0DoTA60643.466666666672
BASE/ad_game_2x2/D0aWqg60572.0666666666662
DRESDEN/battlesnakes1509/-qZrLw60442.01
DRESDEN/minichess/c7GMFw59967.42
DRESDEN/quarto/OQzRYQ59760.72
BASE/factoringMediumTurtleBrain/8RBqmQ59545.533333333333
BASE/quartoSuicide/-23jUg58768.5666666666662
BASE/quarto/EwBMVQ58658.22
BASE/nonogram_5x5_1/qLKEZw58511.8333333333363
DRESDEN/quartosuicide/WIU1oQ57845.4333333333342
BASE/connectFourLarge/aU644A57602.966666666673
BASE/queens08ug/kJ_ZFQ57583.1666666666643
DRESDEN/frogs_and_toads/GjchhQ57372.466666666672
BASE/4pttc/AL1k2Q56801.033333333332
STANFORD/duikoshi/tpw1sw55766.633333333333
STANFORD/alquerquezero/uVgA_A55645.32
DRESDEN/knightmove/97Ipcw55491.13
DRESDEN/catcha_mouse/cHv4dw54781.83
BASE/knightmove/jBaJEw53826.466666666673
DRESDEN/mimikry/GJEhwA53543.733333333332
BASE/breakthroughSmallHoles/bxclRw52607.3333333333363
BASE/crisscross/ICagEg52494.0666666666662
DRESDEN/breakthroughsuicide_v2/LU1nAw52067.32
DRESDEN/tictactoe_3player/ESLQQQ51859.466666666673
DRESDEN/breakthroughsuicide/Y9QzqQ51855.266666666672
BASE/tictactoe_3player/GtM71g51810.033333333333
BASE/3pConnectFour/PqXOFQ51597.866666666673
BASE/breakthrough/TGxk-g51105.52
BASE/englishDraughts/jFkQxg51069.5666666666662
BASE/breakthroughWalls/vOZaYA50765.4333333333342
DRESDEN/breakthrough/z4hK7Q50730.266666666672
BASE/catcha_mouse/cHv4dw50666.233333333333
BASE/checkersTorusNoKings/pwb6oQ50242.1666666666642
BASE/escortLatch/mX9BjQ49954.533333333332
DRESDEN/knightthrough/J7Fc_Q49866.1666666666642
BASE/wargame01/_GZFZg49591.533333333332
DRESDEN/crisscross/GsY16g49541.12
BASE/checkersBarrelNoKings/rnKNeg49069.266666666672
BASE/breakthroughSuicide/wZDpIg49032.22
BASE/pawnWhopping/Ypc_6Q48550.1666666666643
STANFORD/breakthrough/d5j0cQ48199.266666666672
BASE/blocksWorldParallel/RseaAQ48196.25
DRESDEN/chinesecheckers2/06E6-Q48120.1666666666642
DRESDEN/pawn_whopping/4ogBkg47977.9333333333343
DRESDEN/coins/QwFP9w47815.5666666666665
DRESDEN/chinesecheckers3/QsCb2A47678.72
DRESDEN/pawn_whopping_corrected/7Ov0jQ47621.5666666666663
BASE/coins_atomic/AA3SSw47407.0666666666665
STANFORD/triplesukoshi/Iu9mbA46924.1666666666642
BASE/knightThrough/gcwFjA46736.766666666672
BASE/crissrace/ERWGDA46358.32
DRESDEN/crissrace/KWb9bw45651.32
BASE/dualConnect4/WbCQkg45182.73
DRESDEN/farmers/S_ASnw45162.6666666666641
BASE/checkersTorus/2vm1EQ45067.52
BASE/checkersTiny/Lr48cg44873.633333333332
BASE/connectFourSimultaneous/7ITr3g44652.033333333333
BASE/breakthroughHoles/nZk0Sg44520.82
BASE/ttcc4_2player_alt/ZEJvYA44442.6666666666642
STANFORD/checkersonabarrelnokings/Zrevdw44119.366666666672
BASE/wargame03/klXI8w43411.22
BASE/coins/QnGtnQ43361.85
BASE/pacman3p/wW7UVQ43032.266666666672
BASE/pacman2p/4LEdQg42745.9333333333342
BASE/connectFourLarger/qKi60A42699.03
DRESDEN/pacman3p/rBnk8Q42190.52
BASE/lightsOnSimultaneous/_VN6lw41765.366666666673
BASE/conn4/va9Y7A40742.3333333333363
BASE/withConviction/3Xm54A40516.4333333333343
BASE/chinook/XQh0IQ39918.32
BASE/mineClearingSmall/frsbvw39872.52
BASE/rubiksCube/9tNO9Q39841.3333333333362
BASE/cittaceot/fDxhXg39290.866666666673
DRESDEN/chinesecheckers6/yTbPDA38878.4333333333342
BASE/simultaneousWin2/PfjRjw38741.53
BASE/ttcc4/Le0qjQ38104.72
STANFORD/pilgrimage/ObRZnQ38097.766666666673
BASE/tttcc4/8Bs2lg37870.92
BASE/tictactoe_3d_small_2player/oOryKA37775.233333333333
DRESDEN/tictactoe_3d_small_2player/HYttcg37246.9333333333343
BASE/futoshiki4/BaCwSw36990.93
DRESDEN/tttcc4/sAvtFg36861.9333333333342
STANFORD/chinook/osFbPA36403.266666666672
STANFORD/ttcc4/Cx9SGw36303.62
BASE/lightsOnSimul4/9FeASw35790.13
DRESDEN/skirmish2/iPpWhQ35650.92
BASE/nineBoardTicTacToe/wRmqqA34425.73
BASE/ttcc4_2player/_aH_Mw34410.22
BASE/max_knights/2fq3Ag33934.233333333332
BASE/wargame02/BkVqqQ33768.366666666672
DRESDEN/max_knights/hCipiA33521.42
BASE/amazons_8x8/7SOsIw33305.12
DRESDEN/queens/mW2wHQ32838.6666666666642
BASE/ticTacHeavenFC/mrletw32506.0666666666663
BASE/ticTacHeaven/18n58A32498.0333333333333
BASE/gt_two_thirds_4p/DStnxQ31872.6666666666682
BASE/checkersSmall/SYmq8w31751.2666666666662
DRESDEN/skirmish/RjGQYQ31661.5666666666662
BASE/queens/HyJJnQ31609.32
DRESDEN/pawn_whopping_simultaneous/r8dLfw31286.4333333333343
STANFORD/nineboardtictactoe/y28P-A31208.0666666666663
DRESDEN/stratego/Z2wovg31201.0666666666663
DRESDEN/tictactoe_3d_small_6player/llDEDQ30738.0333333333333
BASE/nineBoardTicTacToePie/B8LzeQ30531.1333333333353
DRESDEN/chinesecheckers4/-oVNYg30455.9666666666672
STANFORD/platformjumpers/HEQskA30312.23
BASE/hidato19/rRHSmA30255.73
BASE/tictactoe_3d_small_6player/g_9lww29986.5666666666663
DRESDEN/skirmish3/3LU8Nw29767.8666666666652
BASE/majorities/ibJzSQ29317.53
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw29199.93
BASE/choicethroughalt/tt71Lg29082.4333333333342
BASE/queens12ug/u6Bkmg29075.83
STANFORD/pentago/ZxzLmg28946.3333333333323
STANFORD/multipletictactoe/_bkafQ28635.4666666666673
DRESDEN/knightazons/02I8BQ28370.71
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg28311.3333333333323
BASE/knightazons/apnJBQ27671.5666666666661
BASE/endgame/jYjfOA27489.51
BASE/amazons_10x10/Bun8dA27334.82
BASE/amazonsSuicide_10x10/XIbQkg27301.22
BASE/sheepAndWolf/g4THrg27103.0333333333332
BASE/connect4/50bOyw26929.5666666666663
BASE/wallmaze/uxNQ9g26878.53
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg26866.1333333333353
DRESDEN/backgammon/mqCW0Q26297.0666666666663
DRESDEN/sheep_and_wolf/enAIzQ26185.7666666666662
DRESDEN/connect4/T0-rHQ25705.03
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ25600.6333333333353
STANFORD/hex/MTqWcw25564.82
BASE/snakeAssemblit/UO4sdg25399.0666666666662
BASE/tpeg/QNs7Lw25179.7333333333343
DRESDEN/tpeg/h-Scbg25117.43
BASE/hex/T1MK8g24893.82
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg24829.8666666666653
BASE/checkers/rOC3Xg23870.6666666666682
BASE/hexPie/48CH6Q23700.3666666666652
BASE/racer4/0vs7Ww23583.8333333333321
DRESDEN/peg_bugfixed/u_B7MA22824.6666666666683
DRESDEN/cubicup/SBn_lw22713.0333333333333
BASE/cubicup/4wNWJA22703.4666666666673
DRESDEN/peg/Vo31eg22678.53
BASE/qyshinsu/R08Lzw22522.7666666666663
BASE/peg/fJHVWw22334.23
DRESDEN/satlike_20v_91c/yeuENQ22257.82
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g21952.32
DRESDEN/hallway/0H4l-Q21917.0666666666661
DRESDEN/endgame/IJhh3Q21786.2666666666662
DRESDEN/uf20-01.cnf.SAT/42Rs8A21474.1666666666681
DRESDEN/uf20-020.cnf.SAT/hDrW_A21403.63
DRESDEN/sat_test_20v_91c/dK7nVw21300.2666666666663
BASE/gt_two_thirds_6p/867v3Q21267.21
DRESDEN/uf20-010.cnf.SAT/5ICbCg21257.5333333333333
BASE/hallway/ckCJOw21188.0333333333331
DRESDEN/satlike_20v_91c_version2/yd9ioQ21020.7666666666662
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA21000.8333333333323
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA20704.82
DRESDEN/sat_test_20v_91c_version2/a1mPBA20574.1666666666683
BASE/connect5/d-BVQg20548.9333333333343
BASE/amazonsTorus_10x10/Uxc08g20530.6333333333351
DRESDEN/tictactoex9/rFkD4w20465.8666666666653
BASE/tictactoex9/BI26ow20327.83
DRESDEN/ggp-course2013_jordi/9QI6Kw19966.2333333333343
DRESDEN/connect5/1kYzSg19485.0666666666663
DRESDEN/blockerparallel/dVQgSg18999.2333333333343
BASE/blockerParallel/7-nDJA18827.1666666666683
BASE/pegEuro/5awwhg18547.13
BASE/checkers-newgoals/0XkFiA18530.7333333333342
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw18416.9333333333341
DRESDEN/checkers-newgoals/IJOqXQ18412.5666666666661
DRESDEN/checkers/jIDMIg18232.81
DRESDEN/merrills/aYEzwA18195.91
BASE/merrills/pku8Tg18040.6666666666681
BASE/speedChess/bPnisA17192.3333333333322
BASE/futoshiki5/TJ4BZg16789.53
BASE/cylinder-checkers/hlldmw16537.6666666666681
DRESDEN/slidingpieces/s9_44g16457.4333333333343
BASE/brawl/6Ymo_Q16396.7666666666662
DRESDEN/brawl/2kXtfQ16282.8666666666672
BASE/slidingpieces/uFJWEw16266.3333333333343
BASE/skirmishNew/sibw2g16218.02
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw16190.91
BASE/golden_rectangle/_nYzfw15983.53
DRESDEN/cylinder-checkers/clOO3Q15912.3666666666671
BASE/skirmishZeroSum/zh4hcw15859.5333333333332
DRESDEN/golden_rectangle/1uloXw15830.2333333333343
BASE/queens16ug/gT-ylw15707.73
BASE/nonogram_10x10_1/0Xc62g15693.7333333333343
BASE/checkers-mustjump/T-8UuQ15656.0666666666682
DRESDEN/checkers-mustjump/HUr33w15546.5666666666681
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g15482.1666666666661
DRESDEN/Zhadu/9zpQ5w15055.7666666666664
DRESDEN/grid_game2/kypTYQ14215.1333333333333
DRESDEN/tictactoe_3d_2player/LMuX9w13781.8333333333343
BASE/pentagoSuicide/SBgNhw13675.33
BASE/pentago/86NgKw13669.7666666666663
BASE/checkers-cylinder-mustjump/rjr6qQ13635.42
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw13560.62
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg13558.3666666666671
BASE/tictactoe_3d_6player/d7KSwg13459.0666666666683
BASE/tictactoe_3d_2player/IUC1rQ13406.5333333333333
DRESDEN/checkers-cylinder-mustjump/vW_-pA13352.8666666666671
DRESDEN/tictactoe_3d_6player/ulZPWg13201.3333333333343
BASE/sudoku/NTaNkw13134.9333333333321
BASE/checkers-mustjump-torus/uSApKQ12867.9333333333322
DRESDEN/checkers-mustjump-torus/cVc3gA12848.21
DRESDEN/cubicup_3player/awDtsQ12776.23
BASE/blobwars/0XT15Q12773.72
DRESDEN/pentago_2008/hLjVpQ12764.33
DRESDEN/blobwars/ZaMluQ12759.8333333333342
DRESDEN/minichess-evilconjuncts/th24Tw12586.6666666666663
BASE/queens08lg/Ru7eqQ12360.9333333333323
BASE/cubicup_3player/e2yA_g12309.8666666666673
BASE/minichess-evilconjuncts/4OpQzw12018.3666666666673
DRESDEN/chinesecheckers6-simultaneous/gPPGUw11974.32
STANFORD/selectivesukoshi/3xmXYg11547.9666666666673
BASE/skirmishFinal3/-Olhfw11285.3666666666672
BASE/battlebrushes/arCwyA11150.72
DRESDEN/battlebrushes/QHXV4A10784.41
BASE/skirmishFinal1/ecWTnQ10652.6333333333332
BASE/skirmishFinal2/gdB62Q10508.02
DRESDEN/skirmishfinal/hzq8ww10503.5333333333332
BASE/futoshiki6/JmvXNA9423.5333333333333
DRESDEN/hitori/S8Gsyg9346.4333333333323
BASE/hitori/S8Gsyg9171.6666666666663
STANFORD/madness/UO_B3A8387.42
STANFORD/skirmish/w4V6Vw7725.9666666666662
BASE/skirmishHoles/AUCxCA7724.1333333333332
BASE/four_way_battle/xSOQXA7671.8666666666672
DRESDEN/capture_the_king/EQ229Q7577.3333333333332
BASE/chess_200/XsTpYA7429.4666666666661
BASE/skirmish/Y_psYQ7408.52
DRESDEN/four_way_battle/xSOQXA7353.42
BASE/hidato37/pBrqxw7139.3666666666673
BASE/strangeSkirmish/gc1zKA6892.6666666666672
DRESDEN/god/2EDD5w6550.41
BASE/god/qF06gw6320.5666666666671
BASE/sudokuGrade1/tDRNRw6016.0666666666673
BASE/sudokuGrade5/BQfUQA6014.13
STANFORD/sudoku/oJ1qyQ5967.3333333333333
BASE/sudokuGrade2/u80Tfw5855.6333333333333
BASE/sudokuGrade4/DTy07w5807.7666666666663
BASE/sudokuGrade3/eI8dvg5787.3545978735463
BASE/sudokuGrade6H/ieE_9A5359.6333333333333
BASE/sudokuGrade6E/ihYFZA5311.33
DRESDEN/quad_5x5_8_2/JRTLJg5205.83
DRESDEN/ggp-course2013_nicolai/uEin8g5111.3333333333331
BASE/slaughter/cOch8A4992.8333333333331
STANFORD/duidoku/3SoMaA4718.03
DRESDEN/quad_5x5/JAEP5g4109.93
BASE/quad_5x5/JAEP5g4059.5646811772943
DRESDEN/amazons/dNB28A3819.66666666666651
BASE/factoringImpossibleTurtleBrain/kcBhdw3518.41
BASE/cephalopodMicro/9l2D3g3177.63
BASE/zhadu/DlA8iQ3172.73
DRESDEN/CephalopodMicro/H3XQfg3155.13
DRESDEN/small_dominion/yB5GJA2826.51
DRESDEN/battle/8oAvhQ2688.1333333333333
BASE/battle/8oAvhQ2662.33
DRESDEN/ggp-course2013_michal13/jWKddg2472.03
BASE/reversi/d8UMeA2375.43333333333343
BASE/pawnToQueen/-O1_JA2342.23
BASE/reversiSuicide/9OxJlg2310.13
DRESDEN/pawntoqueen/f_x6Aw2249.03333333333333
DRESDEN/towerworld/HCX34w1348.63333333333343
BASE/othelloHoles/c0qAzw1059.33333333333333
BASE/othelloSuicide/B442jg898.43
BASE/othello-comp2007/86ZoMw877.43
BASE/amazonsSuicide/dE1QEQ768.73333333333331
BASE/amazons/RKKZjw766.03333333333331
DRESDEN/quad_7x7/q-JOXg629.15890338035675
BASE/quad_7x7/q-JOXg626.34578847371765
DRESDEN/othello-cornercontrol/r5Gdlg608.59276048263453
BASE/blokbox_simple/JBx4bg129.165555851772873
BASE/queens31lg/0gID-A90.393973735084333
DRESDEN/quad/JPe6fg33.238967527060786
BASE/quad/tw-Ufg25.2558240801219266

Games with errors:

GameError message
DRESDEN/javastrike/whONTQException of type StackOverflowError
BASE/amazonsTorus/soxT8gException of type StackOverflowError
BASE/alexChess/LNo83gException of type StackOverflowError
STANFORD/multiplesukoshi/vLSQPgArrayIndexOutOfBoundsException: 5
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds

index