index

GGP_BASE_PROVER:2015-04-26 vs. PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1

Game-by-game performance:

GamePerf ratioGGP_BASE_PROVER:2015-04-26 states per secondPALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 states per second
BASE/snake_2009_big/-oRfVw0.6558929341315118287.3808412772482438.1520615979467
DRESDEN/snake_2009_big/DgC1NQ0.6904545454545454303.8440.0
BASE/snake_2009/7l-qAQ0.7356322100760695413.5724285047663562.2
DRESDEN/snake_2009/zIYLVw0.7413619314680937412.1725218318779555.9666666666667
BASE/blocks/xIV5hQ0.74846669350446378428.53333333333311261.066666666668
DRESDEN/blocks/vg0DRw0.75676942947797798769.16666666666611587.633333333333
DRESDEN/2player_normal_form_2010/NG_Kdg0.7656256113.5666666666677985.066666666667
DRESDEN/8puzzle/8fKC2w0.78263593084439993331.7333333333334257.066666666667
DRESDEN/snake_2008/E56l3A0.7844720328364657403.46666666666664514.3161894603513
BASE/blocksWorld/SEdXLQ0.78706811219857918958.56666666666811382.2
BASE/eightPuzzle/vLrgFg0.79521616681441273378.94249.033333333334
DRESDEN/blocks2player/3ev8nQ0.80594752186588926911.08575.0
BASE/snake_2008_tweaked/bX0NJQ0.8068567122943614428.3333333333333530.8666666666667
BASE/snake_2008/i6K26g0.8112271203918535419.55268157728074517.1827605746475
DRESDEN/toetictac/mJtxCA0.81314093583636874836.8333333333335948.333333333333
BASE/toetictac/mTThmg0.82292208571771574798.2666666666665830.766666666666
DRESDEN/troublemaker01/C-lPWw0.824399354210849119540.13333333333523702.266666666666
STANFORD/8puzzle/jNiGtw0.83992069985524593558.84237.066666666667
STANFORD/eightpuzzle/W_aWbA0.8506075826976183460.34068.0333333333333
DRESDEN/latenttictactoe/kITHKg0.85619407953493641757.56666666666662052.766666666667
DRESDEN/chickentoetictac/cxYaRQ0.86591633408940824021.24643.866666666667
BASE/onestep/xi53wA0.869304611217365134831.540068.23333333333
DRESDEN/troublemaker02/iZLVuA0.871013800631554417873.920520.8
BASE/troublemaker01/s3tlEQ0.87354425747692620052.26666666666622955.066666666666
BASE/troublemaker02/DI83KA0.875711648249081218514.521142.233333333334
BASE/blocks2player/wnTLOQ0.88924884975271856880.5333333333347737.466666666666
BASE/switches/tPUoCg0.901672517912247311317.73333333333412551.933333333332
BASE/hodgepodge/9yjRkw0.90880992759201485233.8666666666675759.033333333334
BASE/chickentoetictac/l57rfQ0.91371863651665694252.2333333333344653.766666666666
BASE/incredible/8Qh-6Q0.9407183364839323317.63526.6666666666665
STANFORD/tictictoe/rpt_Dw0.9761204996326232037.03333333333332086.866666666667
BASE/survival/YVIjJA0.979529271250262128649.53333333333329248.266666666666
DRESDEN/tictactoe_orthogonal/y69QFQ0.9839326637907793892.73956.266666666667
DRESDEN/tictictoe/LAUtwg0.99593987835557112085.03333333333332093.5333333333333
BASE/eotcitcit/V_9_bg0.99820552882756052150.92154.766666666667
STANFORD/3puzzle/41ibjA1.01053908798774769633.2333333333349532.766666666666
BASE/tictactoe_orthogonal/WRzlVw1.01301844492000413976.33925.2
BASE/ticTicToe/c1OobQ1.0155331188283592135.72103.0333333333333
BASE/blocksWorldSerial/Wyg96Q1.01758187728195653725.33333333333353660.9666666666667
STANFORD/threepuzzle/41ibjA1.02496218640796949825.89586.5
BASE/maze/cCX3qQ1.039400359929468317153.46666666666716503.233333333334
DRESDEN/blocksworldparallel/2JfVaw1.05262130949622562877.22733.366666666667
BASE/haystack/UkweGA1.053915411080005337056.33333333333635160.63333333333
DRESDEN/tictactoe/BTTzPw1.05785983483328883424.43333333333343237.133333333333
BASE/gt_centipede/9fRMpw1.07430758245338110882.710129.966666666667
DRESDEN/chickentictactoe/Ipbo-g1.07695187699680522876.46666666666672670.9333333333334
DRESDEN/firefighter/WJmoPw1.08356508686393866208.0333333333345729.266666666666
BASE/ticTacToe/JRFsaQ1.08684928357179443466.43333333333343189.4333333333334
DRESDEN/eotcatcit/mQUxzA1.09152260638297883283.33008.0
BASE/chickentictactoe/DSlZCA1.10395424959554522934.22657.9
DRESDEN/quad/JPe6fg1.11547897902067471.3329260503734971.194936054773285
BASE/coloredtrails/EZvr7g1.1318066443225962690.2666666666672376.9666666666667
BASE/eotcatcit/AfZSzA1.13183185880450893360.33333333333352968.9333333333334
STANFORD/trifecta/ss1kyQ1.1393334525459343398.12982.5333333333333
BASE/firefighter/WJmoPw1.14268603265439446296.4666666666665510.233333333334
STANFORD/buttonsandlights/eyhJpA1.144836332977486937069.5333333333332379.766666666666
DRESDEN/tictactoe-init1/3ltIBQ1.15539915688841373206.7333333333332775.4333333333334
DRESDEN/oisters_farm/pTQMLg1.17439481466199029107.6666666666667755.2
DRESDEN/bomberman2p/x4h6jQ1.1787151118933871250.06666666666661060.5333333333333
DRESDEN/ghostmaze2p/HY0UwA1.1827459860672112507.06666666666662119.7
BASE/sheepAndWolf/g4THrg1.1889736816358478810.1666666666666681.4
DRESDEN/SC_TestOnly_enabled/09o7gQ1.18959935688523883650.16666666666653068.4
BASE/pearls/6k_mEQ1.20021053535451525159.33333333333220962.433333333334
BASE/tictactoe-init1/7M19vA1.20632817134274873186.03333333333332641.1
BASE/tron_10x10/7ZTgDg1.20814187248707632804.52321.3333333333335
BASE/blocker/dIWtxg1.21444206250705183587.8666666666672954.3333333333335
BASE/withConviction/3Xm54A1.2169710471874942603.2931137924138495.73333333333335
STANFORD/hunter/14dD-g1.2184618346327854219.5333333333343463.0
STANFORD/multiplebuttonsandlights_9/SqB9BA1.219421090631358513624.26666666666611172.733333333334
STANFORD/bestbuttonsandlights/nm0wEA1.227422952545954611500.6666666666669369.766666666666
DRESDEN/sheep_and_wolf/enAIzQ1.2276095149876494817.2333333333333665.7111429619013
DRESDEN/mummymaze2p/k-8edg1.23143635321100931145.4930.1333333333333
BASE/ghostMaze2p/W-NU-w1.2324184426622362571.42086.4666666666667
BASE/mummymaze2p/vpjDdA1.2393424855491331143.5922.6666666666666
BASE/gt_dollar/TGjqRw1.24436773867654487390.35939.0
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ1.25419328250566651014.4333333333333808.8333333333334
STANFORD/tictactoe/ss1kyQ1.25490063386794783708.7333333333332955.4
BASE/bomberman2p/4CClwA1.25726530484562221339.71065.5666666666666
BASE/sum15/QZ07Kg1.25851451680436254107.8333333333333264.0333333333333
DRESDEN/blocker/S815zQ1.26784562074321923536.8666666666672789.6666666666665
STANFORD/jointbuttonsandlights/qAKuIQ1.26825722485147526717.3666666666675296.533333333334
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg1.269899078543221964.7759.6666666666666
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg1.2727585613491654986.1333333333333774.8
STANFORD/multiplebuttonsandlights/cK70Yg1.273141884046752813706.43333333333210765.833333333334
BASE/untwistycomplex2/EDPPAQ1.274152052039681422682.217801.8
STANFORD/tictactoe7/-bE9-A1.27852030476385943322.53333333333332598.733333333333
DRESDEN/sum15/CsgWKg1.29329117656029174240.43278.766666666667
BASE/qyshinsu/R08Lzw1.296116147218230896.9268715418972174.78255073816109
BASE/factoringEasyTurtleBrain/lUj94Q1.30211755704577173857.56666666666662962.5333333333333
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw1.3043333472089251044.4666666666667800.7666666666667
BASE/majorities/ibJzSQ1.3246112215465404162.06758648270346122.35105957616953
STANFORD/untwistycorridor/EDPPAQ1.331791964245270223520.86666666666517661.066666666666
DRESDEN/racetrackcorridor/O0DoTA1.3337754342833111374.36666666666661030.4333333333334
BASE/lightsOn/MsXu3A1.33476298462987928122.5666666666676085.4
DRESDEN/logistics/fPru1Q1.36375679255995031681.46666666666671232.9666666666667
DRESDEN/lightson2x2/gBHuig1.3897217127820755809.54180.333333333333
BASE/factoringMediumTurtleBrain/8RBqmQ1.4122012453692756995.3333333333334704.809839672011
DRESDEN/circlesolitaire/ruUilQ1.41600646407315447185.15074.2
BASE/circlesolitaire/azuQFQ1.41654520152221647159.2666666666665054.033333333334
BASE/factoringMutuallyAssuredDestruction/NH0LGg1.41967961116897274770.8333333333333360.5
BASE/buttons/hTcUjw1.428991142888552222097.96666666666715464.033333333333
STANFORD/bestbuttonsandlightsbig/g0JC6g1.44916270437103769265.3666666666676393.6
BASE/tictactoe2/bhrDoQ1.45017860500094023085.42127.6
DRESDEN/buttons/ADUaHw1.451121971233260122636.115599.033333333333
BASE/asteroidsParallel/WauZiA1.45683813740595033246.46666666666672228.4333333333334
STANFORD/tictactoe5/WFRReg1.4635845667925933151.02152.9333333333334
BASE/lightsOut/5P1ZBw1.47198641765704561127.1765.7
STANFORD/multipletictactoe/_bkafQ1.4967023517556515655.7114762841238438.1041263915739
DRESDEN/hallway/0H4l-Q1.5031612223393045380.3873204226526253.05823139228693
STANFORD/hex/MTqWcw1.5101757848408883192.54099453406212127.49575014166194
DRESDEN/pancakes88/aD3E7g1.52850164567424917074.43333333333411170.7
BASE/hexPie/48CH6Q1.53566928483828194.90084985835693126.91590030654405
BASE/hallway/ckCJOw1.5425248078738034381.3247.19213464422597
BASE/dualConnect4/WbCQkg1.5445482222261202594.7342109648392385.0538315389487
BASE/pancakes/yUgbXw1.558920511236755721873.73333333333414031.333333333334
STANFORD/dualhunter/1rPZjQ1.5777922370429692101.56666666666661331.9666666666667
DRESDEN/pancakes6/SZXMyQ1.579772480701273221890.43333333333413856.7
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg1.5905771237164352965.5333333333333607.0333333333333
DRESDEN/lightsout/XgLpzQ1.60279861385271217.9666666666667759.9
BASE/hex/T1MK8g1.6061786085150571206.2264591180294128.3957201426619
BASE/pancakes6/QZTdnw1.611151558039091422006.66666666666813658.967436589674
STANFORD/tictactoe3/X7myng1.6177142308799542809.71736.8333333333333
BASE/ruleDepthLinear/OUBJpQ1.626278357472875632371.23333333333419905.1
BASE/ticTacHeavenFC/mrletw1.6277061670535202230.46927076389815141.59144655763913
BASE/roshambo2/KNPokQ1.63411199503659313344.8666666666678166.433333333333
BASE/kalaha5x2x3/WviNsw1.64135984950282172443.01488.4
DRESDEN/pancakes/hl9aiQ1.649335689252906522527.06666666666613658.266666666666
BASE/lightsOnParallel/SC6enA1.6623702660502713619.8666666666672177.5333333333333
BASE/snakeAssemblit/UO4sdg1.6771692159294476405.6666666666667241.87581241875813
BASE/pancakes88/l2Xaig1.686310158725104617653.710468.833333333334
DRESDEN/grid_game/U7_Yeg1.69768798387952071067.1666666666667628.6
DRESDEN/roshambo2/jgSlkQ1.697939990113281713624.6666666666668024.233333333334
BASE/snakeParallel/RCVNtw1.70364727168841064174.3333333333332450.233333333333
DRESDEN/tictactoex9/rFkD4w1.7189304810434893595.9333333333333346.6884437185427
BASE/tictactoex9/BI26ow1.7238834431099057593.1666666666666344.0874550059992
DRESDEN/connectfoursuicide/M9CNQg1.7416637620541422999.3666666666667573.8
DRESDEN/4pttc/9pB9AQ1.75051606544938741179.1666666666667673.6108796373454
BASE/asteroidsSerial/id2QkA1.7533295158579163164.01804.5666666666666
DRESDEN/cube_2x2x2/fp-34Q1.7558954600315662521.71436.1333333333334
BASE/connectFour/WAIKTw1.758532219023559997.4333333333333567.1965077143524
BASE/tictactoe_3player/GtM71g1.7592209761590323943.6018799373354536.3748458692971
BASE/dotsAndBoxes/EHwA_w1.791682898324893613.2333333333333342.26666666666665
BASE/connectFourSuicide/c8p9Kw1.79762103730628691022.0333333333333568.5477150761641
DRESDEN/frogs_and_toads/GjchhQ1.800867305228088936.9520.2493250224993
BASE/ticTacToeParallel/ymRGPw1.80395169205820841409.0666666666666781.1
BASE/kalaha6x2x4/XS81Mg1.80666421594370342293.51269.4666666666667
DRESDEN/stratego/Z2wovg1.8115738135434254643.8118729375688355.38815372820903
BASE/dotsAndBoxesSuicide/jzQbLw1.8127189520160942615.7794740175327339.69936339699365
DRESDEN/pawn_whopping/4ogBkg1.8169430748543254675.5774807506416371.82093930202325
DRESDEN/bunk_t/7-tPfA1.82346308461613881239.8333333333333679.9333333333333
DRESDEN/connectfour/5tc-Mg1.83178744539524871020.3666666666667557.0333333333333
BASE/pawnWhopping/Ypc_6Q1.848865554097131657.3333333333334355.53333333333336
BASE/ticTacToeLargeSuicide/727_8g1.85157294358791541385.1748.0666666666667
BASE/asteroids/BKCmPQ1.8558759508664528042.9333333333334333.766666666666
BASE/factoringGeorgeForman/HGRorQ1.86031575849310475899.4333333333333171.2
DRESDEN/pawn_whopping_corrected/7Ov0jQ1.8653700906344413658.6353.06666666666666
BASE/breakthroughSmallHoles/bxclRw1.8681450969891704697.6666666666666373.4542181927269
DRESDEN/tictactoe_3player/ESLQQQ1.8759014406708099964.8690087327511514.3495216826105
DRESDEN/point_grab/r5DPmQ1.879483610237988413952.0333333333337423.333333333333
BASE/point_grab/V_osUg1.88120301405719414421.8666666666677666.3
DRESDEN/lightsout2/LFtfyQ1.891006735044241431.9333333333334757.2333333333333
BASE/3pConnectFour/PqXOFQ1.897216274089936620.2326.9
STANFORD/connectfour/VMpZkQ1.89983754061484621013.5533.4666666666667
BASE/ticTacToeLarge/TZC0dg1.90692395005675391400.0734.1666666666666
BASE/stateSpaceSmall/Q7osKA1.92014855722125216527.1666666666688607.233333333334
STANFORD/breakthrough/d5j0cQ1.92260895735680811121.1583.1138962034598
DRESDEN/tictactoelarge/IwXcbg1.92689567545491671415.4333333333334734.5666666666667
DRESDEN/statespacesmall/h-NqjA1.935730952235710716923.9666666666678742.933333333332
DRESDEN/doubletoetictac/V89gKQ1.94312701963708671302.8666666666666670.5
BASE/bunk_t/xbpfIA1.95942028985507261284.4655.5
STANFORD/sukoshi/4LYZZQ1.96540833645560141748.5889.6370120995966
DRESDEN/doubletictactoe/lJzgmQ1.97415902140672771291.1654.0
DRESDEN/tictactoeparallel/yk_DSg1.98176548977650981481.7333333333333747.6834877674821
STANFORD/untwistycomplex/HTWEwg1.986866059817945512223.26152.0
DRESDEN/minichess/c7GMFw1.99753611826632321189.0666666666666595.2666666666667
BASE/connectFour_9x6/B9TtMw2.0002782608695653958.4666666666667479.1666666666667
BASE/ruleDepthExponential/UamhHQ2.0038536234285287611.3769047568867305.10058100493416
DRESDEN/Catch-Me-If-You-Can/ghGWrA2.00763272979932156549.4333333333333262.266666666667
BASE/doubletoetictac/fu35bg2.0175883296259891300.0666666666666644.3666666666667
BASE/beatMania/qUHwvQ2.0252258005656427399.53653.6666666666665
BASE/doubletictactoe/HH1htg2.0264887168254291326.0666666666666654.3666666666667
DRESDEN/Thief_Police/CX18rA2.0368316460832566525.5333333333343203.766666666667
DRESDEN/tictactoelargesuicide/6J4DeA2.03843433024745441506.1164627845737738.8594473885945
BASE/kalaha_2009/dRiN3g2.04229879871411632414.1333333333331182.0666666666666
DRESDEN/kalaha_2009/gcC8uA2.05239212958938262360.8666666666671150.3
BASE/connectFourLarge/aU644A2.1068739042481455729.0346.01026598226787
DRESDEN/battlebrushes/QHXV4A2.10823170731707392.1969267691076943.73187560414653
DRESDEN/CatchMeIfYouCanTest/CX18rA2.11022515013356367004.43319.266666666667
BASE/numbertictactoe/rvJ-iQ2.17496694579109742138.5983.2333333333333
BASE/duplicateStateSmall/bCPAXw2.17741016652059613250.2666666666666085.333333333333
BASE/snake2p/I3wWPQ2.206816555741068346.87687487500835157.1842815718428
BASE/connectFourSimultaneous/7ITr3g2.212827798165138482.3217.95640871825634
DRESDEN/catch_me/ghGWrA2.21817256986255857122.73211.0666666666666
BASE/racetrackcorridor/_RkdUg2.22184355840124151399.5666666666666629.9123362554582
BASE/connect5/d-BVQg2.2441175269506903455.15149495016834202.8198120125325
DRESDEN/mummymaze2p-comp2007/oTQRQg2.24522040614165431511.0333333333333673.0
DRESDEN/uf20-01.cnf.SAT/42Rs8A2.25333814507398071040.6666666666667461.8333333333333
BASE/nineBoardTicTacToePie/B8LzeQ2.263927671828015385.3076461569229170.19432685577146
DRESDEN/sat_test_20v_91c_version2/a1mPBA2.269177126917713976.2430.2
DRESDEN/chinesecheckers2/06E6-Q2.27092512577482441469.4666666666667647.078430718976
DRESDEN/connect5/1kYzSg2.3014011161974954464.98916847192135202.04612103439084
BASE/knightfight/SJRkAg2.30175253656608272911.33333333333351264.8333333333333
BASE/mineClearingSmall/frsbvw2.3201067641242217343.1437904139724147.9
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA2.35270510148954241016.1333333333333431.9
DRESDEN/chinesecheckers1/Y-ftaA2.37113075185287951994.2841.0333333333333
DRESDEN/sat_test_20v_91c/dK7nVw2.38392815099670361012.5424.7191760274658
DRESDEN/minichess-evilconjuncts/th24Tw2.38469486649608175.6549563362442573.65930073659301
BASE/blobwars/0XT15Q2.3875968255548967297.1270497267031124.44607336820711
BASE/minichess-evilconjuncts/4OpQzw2.3879688992051915181.0272990900303475.80806397867377
STANFORD/nineboardtictactoe/y28P-A2.4015272601613296422.83847743483767176.07065489085153
DRESDEN/uf20-010.cnf.SAT/5ICbCg2.40751767770748071078.1666666666667447.8333333333333
BASE/chineseCheckers1/gqtwHw2.4113670613562973733.61548.3333333333333
BASE/mummyMaze2p_2007/YGA3Vw2.42638720218957631635.0333333333333673.8550763282448
DRESDEN/blobwars/ZaMluQ2.4316174802348542292.5138324111726120.29599013366222
DRESDEN/chinesecheckers3/QsCb2A2.4340187942381721306.7536.8487717076098
BASE/4pttc/AL1k2Q2.4504919073310061029.5333333333333420.1333333333333
DRESDEN/uf20-020.cnf.SAT/hDrW_A2.4538628270630131056.6333333333334430.6
DRESDEN/knightfight/4_Ly4w2.4822004734336113058.31232.0922635912136
BASE/double_tictactoe_dengji/zgaSbA2.48522238163558071443.5580.8333333333334
BASE/ticTacHeaven/18n58A2.5023619770854535255.81627891473903102.22992566914436
BASE/minichess/8NQEiA2.53890637965760351680.7661.9779340688643
BASE/nineBoardTicTacToe/wRmqqA2.553936399535082437.38959437389593171.26095796806774
DRESDEN/3pttc/uwYBZw2.56627115784738271521.2592.7666666666667
STANFORD/pilgrimage/ObRZnQ2.567275797031315637.4120862637913248.28344777014865
DRESDEN/3pffa/0YrmQw2.59570016215933431654.0666666666666637.2333333333333
DRESDEN/double_tictactoe_dengji/bGaUyQ2.6042010136166581421.6333333333334545.9
DRESDEN/chinesecheckers6/yTbPDA2.6629705803451666992.6666666666666372.76666666666665
BASE/chineseCheckers3/-1rZdQ2.67597022860180772348.9666666666667877.8
BASE/connectFourLarger/qKi60A2.692985818321196468.38438718709375173.92753574880837
BASE/chineseCheckers2/eCMR3Q2.6960574144841082892.61072.9
BASE/chineseCheckers6/rREH3A2.69678140922082751446.7333333333333536.4666666666667
BASE/speedChess/bPnisA2.7127231035861885158.1789094787361658.31000932960149
BASE/catcha_mouse/cHv4dw2.73486371112824461418.8518.7827072430919
DRESDEN/catcha_mouse/cHv4dw2.76563922486669261417.6666666666667512.6
DRESDEN/Runners/3bOCQw2.769586417118086615355.2333333333345544.233333333334
DRESDEN/breakthroughsuicide_v2/LU1nAw2.887554255319149515.7178.5940468651045
BASE/quad/tw-Ufg2.9017485321954512.59873592351374770.8955758552749418
STANFORD/platformjumpers/HEQskA2.914628389195606236.3763623637636381.1
BASE/blocksWorldParallel/RseaAQ2.9171146393299163777.8266.6333333333333
DRESDEN/breakthrough/z4hK7Q2.993575751672186512.1666666666666171.0885940937271
DRESDEN/crossers3/xiPTxg3.010244156830262969.0333333333333321.9118725418305
BASE/breakthrough/TGxk-g3.0116985780748315510.6666666666667169.56101463284557
BASE/crossers3/O0rORg3.017287093010924948.3333333333334314.3
BASE/tictactoe_3d_small_2player/oOryKA3.034437852758209818.3333333333334269.68202119858677
BASE/skirmishZeroSum/zh4hcw3.0658439532390847164.65020164650253.704690831556505
BASE/ticTacToeNoVars/XT03NA3.0822633621976713440.83333333333351116.3333333333333
BASE/breakthroughWalls/vOZaYA3.0941673219553785519.1493616879437167.78322167783222
DRESDEN/tictactoe_3d_small_2player/HYttcg3.1434177045932903846.2269.1974403412878
BASE/skirmishNew/sibw2g3.151235415891737170.0276657444751753.95587549156836
BASE/breakthroughSuicideSmall/XSbJog3.158396431616125864.3666666666667273.6726327367263
BASE/breakthroughSuicide/wZDpIg3.165980969932105543.9666666666667171.8161517181615
BASE/breakthroughSmall/HJ0tIA3.1695281548206644856.1666666666666270.12432918902704
DRESDEN/knightwar/7hhAqg3.23299167200512461682.2333333333333520.3333333333334
BASE/shmup/ssTNlg3.2377310155535222949.0333333333333910.8333333333334
BASE/max_knights/2fq3Ag3.2621626713883591197.5367.0877637412086
BASE/checkLines/Vop7oQ3.26501068491506131208.6666666666667370.1876604113196
BASE/conn4/va9Y7A3.288057725815445574.7141761941268174.78834744350377
BASE/escortLatch/mX9BjQ3.2889396767307106838.7333333333333255.01633224451703
DRESDEN/chinesecheckers4/-oVNYg3.2923676012461063704.5666666666667214.0
BASE/wallmaze/uxNQ9g3.3045493389370457838.6666666666666253.7915402819906
DRESDEN/othello-cornercontrol/r5Gdlg3.33233204882244043.5062185763429481.0521816328543714
BASE/knightwar/DVGY4Q3.3378633035714281744.0666666666666522.5099136925589
BASE/cubicup/4wNWJA3.342010935635479348.02173260891306104.13542603885502
BASE/checkersBarrelNoKings/rnKNeg3.384920007757092678.7666666666667200.5266491116963
DRESDEN/cubicup/SBn_lw3.4145434276936584345.73333333333335101.25316624450073
BASE/futoshiki4/BaCwSw3.4161072712283596690.6202.1599280023999
BASE/checkersTorus/2vm1EQ3.417313329208772552.3333333333334161.62794573514216
DRESDEN/endgame/IJhh3Q3.4204117095173654421.26666666666665123.16256124795841
DRESDEN/chinesecheckers6-simultaneous/gPPGUw3.4823388251181635343.898.72675154989668
BASE/gt_coordination/IVMOzA3.5262781412165599037.7333333333342562.9666666666667
DRESDEN/mimikry/GJEhwA3.5265581886373107846.2239.9506699553363
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A3.5306054872280044975.81409.3333333333333
STANFORD/checkersonabarrelnokings/Zrevdw3.542223559188006589.7803406553115166.500033326668
BASE/chineseCheckers4/avfBcQ3.60691123802148851242.1344.3666666666667
STANFORD/pentago/ZxzLmg3.61310685167216598.9133695543482165.76132235811644
BASE/coins/QnGtnQ3.6225487138263666300.482.9250408292504
DRESDEN/coins/QwFP9w3.627530557737628307.7333333333333584.83273357323738
DRESDEN/quad_7x7/q-JOXg3.6461532944224791.67657369303459850.4598198588082551
DRESDEN/max_knights/hCipiA3.65633098852276951316.7666666666667360.1333333333333
STANFORD/duikoshi/tpw1sw3.6753452645022517607.4333333333333165.2724545909015
BASE/ticblock/T21C1g3.69342627112651161740.9471.35095496816774
BASE/tictactoe_3d_2player/IUC1rQ3.7079850217613775272.4970003999466773.48923978945966
DRESDEN/crissrace/KWb9bw3.712656861378317887.6666666666666239.0920302656578
BASE/crissrace/ERWGDA3.7150291901824386942.3253.64538251548038
DRESDEN/ticblock/Z2yNWQ3.72743007477153171794.6333333333334481.46666666666664
BASE/coins_atomic/AA3SSw3.7716266353309833320.9333333333333485.09149085091491
BASE/crisscross/ICagEg3.79144121987211061284.6666666666667338.8333333333333
DRESDEN/javastrike/whONTQ3.8237801989578397269.0487300846610370.36197586827545
DRESDEN/tictactoe_3d_2player/LMuX9w3.874155795474394283.490550314989573.17479349853451
BASE/cubicup_3player/e2yA_g3.8762187733214497159.8946701776607441.25016660002665
BASE/rubiksCube/9tNO9Q3.8925831202046037761.0195.5
BASE/checkersTorusNoKings/pwb6oQ3.905003531882398681.7174.5709048491918
DRESDEN/skirmish/RjGQYQ3.9609577943762506265.99113362887967.15323601946277
BASE/4pffa/Q3ADlg3.9720883977514751263.9666666666667318.2121191920539
DRESDEN/crisscross/GsY16g3.9808721926806381272.6319.67868808746084
BASE/englishDraughts/jFkQxg3.9821477322677326664.2166.7944146365848
BASE/knightazons/apnJBQ3.9903394053479246254.849676688220863.86666666666667
DRESDEN/connect4/T0-rHQ3.9957732403071944455.51814939502015114.0
BASE/ttcc4_2player_small/Cv72TA4.0310414300260211187.6294.6136924205053
BASE/connect4/50bOyw4.073896407185629453.5111.31849086788428
BASE/breakthroughHoles/nZk0Sg4.121813516694543739.2666666666667179.35470968602093
BASE/amazons_10x10/Bun8dA4.1535931731707105302.7565747808406572.89028129582722
BASE/endgame/jYjfOA4.158258262108262616.2333333333333148.1950601646612
BASE/amazonsSuicide_10x10/XIbQkg4.172247251420362298.1070452576151471.4499950011664
DRESDEN/cubicup_3player/awDtsQ4.188595239517662167.6275535708334740.019993335554815
BASE/3pttc/0sol9g4.2508745219151311353.4333333333334318.38938702043265
DRESDEN/knightazons/02I8BQ4.252855753228531266.1577947401753562.58331111703546
DRESDEN/vacuumcleaner_random/_6AGDA4.280780158863914233.266666666666988.90073995067
BASE/amazons_8x8/7SOsIw4.297356058827343391.020299323355990.99090090990902
DRESDEN/skirmish2/iPpWhQ4.298302973838947296.123462551248368.8931106889311
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA4.2992869875222824823.81122.0
BASE/futoshiki5/TJ4BZg4.32442317812269324.9333333333333475.13911565759221
DRESDEN/gt_prisoner/huCp4w4.3313027179006567086.31636.0666666666666
DRESDEN/ggp-course2013_jordi/9QI6Kw4.376882162078434184.7210185987600842.203790679857434
BASE/pacman3p/wW7UVQ4.387771265642326923.3025565814473210.4263191226959
BASE/solitaireChineseCheckers/-ET6gw4.4263819528155671713.6387.1333333333333
BASE/choicethroughalt/tt71Lg4.427560341215205493.03333333333336111.35553111355532
BASE/amazonsTorus_10x10/Uxc08g4.448447648111447204.6863542430504646.01298485100716
BASE/hanoi_6_disks/MeubgQ4.4729399904494095620.11256.4666666666667
BASE/3pffa/pR0dzA4.4816261349029161471.9666666666667328.44477034864343
DRESDEN/pacman3p/rBnk8Q4.577095862032143952.3666666666667208.07225703239567
BASE/pacman2p/4LEdQg4.578171579993374921.4333333333333201.26666666666668
DRESDEN/brain_teaser_extended/ZDp94A4.5919341011852213813.9333333333334830.5723142561915
BASE/kitten_escapes_from_fire/uW-YiA4.6204087174960974536.933333333333981.9333333333333
DRESDEN/blockerparallel/dVQgSg4.640344657534247903.2194.64071457139048
BASE/blockerParallel/7-nDJA4.677208638817846914.3333333333334195.48696753549763
DRESDEN/hanoi_6_disks/MeubgQ4.7368421052631585913.01248.3
DRESDEN/brawl/2kXtfQ4.812149406752446161.65050161650533.59216182890659
BASE/gt_prisoner/klthDw4.8220777941900548161.3666666666671692.5
BASE/lightsOnSimul4/9FeASw4.8403332572472041413.7292.06666666666666
BASE/skirmishFinal3/-Olhfw4.88995141756904769.6286914205719714.239137667176792
BASE/knightsTour/mvtVIg4.894832242962606513592.1333333333332776.8333333333335
BASE/brawl/6Ymo_Q4.901170717109367160.450621604506232.73720318380125
DRESDEN/kitten_escapes_from_fire/uW-YiA4.9404889844169814903.6992.5333333333333
DRESDEN/breakthroughsuicide/Y9QzqQ4.955760458240946893.9180.3759498733502
BASE/tttcc4/8Bs2lg4.956434108707452710.2333333333333143.29522349255024
BASE/ttcc4/Le0qjQ4.964179232804233708.7666666666667142.77620396600565
BASE/brain_teaser_extended/ZDp94A4.9690177982860914020.266666666667809.0666666666667
BASE/lightsOnSimultaneous/_VN6lw4.9716841359688531844.4333333333334370.9876337455418
DRESDEN/aipsrovers01/qS47Mw5.0219968087531344406.3877.4
STANFORD/knightstourmedium/x1wu8Q5.03976552055123214701.52917.1
DRESDEN/tttcc4/sAvtFg5.055274072281381696.2333333333333137.72415172321845
BASE/gt_staghunt/xPjLRA5.0708953750148118559.3333333333341687.9333333333334
DRESDEN/vacuum_cleaner_1/eUNjpw5.1341481585053855752.0666666666671120.3546312035462
BASE/aipsrovers01/4C4jsw5.13782985262447864400.233333333334856.4381187293757
DRESDEN/towerworld/HCX34w5.19950919071153740.389229538789667.7678927101314565
DRESDEN/knightstour/cGISAA5.20816263705036814662.3666666666672815.266666666667
BASE/skirmishFinal2/gdB62Q5.274309438282700563.6348492420456512.065057992267697
DRESDEN/hanoi/RQ0jiA5.304863668086547347.7666666666661385.1
DRESDEN/babel/WdSW4A5.35549653211525307.8794747016865557.488502299540094
STANFORD/knightstour/cEwgNA5.38117975102096314538.3333333333342701.7
BASE/pentago/86NgKw5.396389745748975441.6519449351688481.84211403245693
DRESDEN/gt_chicken/CeuKtw5.43525992896351357294.31342.0333333333333
DRESDEN/quarto/OQzRYQ5.4637866355261451403.6256.89143695210157
DRESDEN/pawn_whopping_simultaneous/r8dLfw5.474035833586395600.8666666666667109.76666666666667
DRESDEN/ggp-course2013_michal13/jWKddg5.4803304415291312.2901678657074352.242596134819603
BASE/futoshiki6/JmvXNA5.502027038456793207.4195053663089337.69874337522083
DRESDEN/pentago_2008/hLjVpQ5.571317690875233432.0333333333333677.54598773660358
BASE/2pttc/unkkYA5.578518173345761596.2286.1333333333333
STANFORD/multiplesukoshi/vLSQPg5.617769578117961123.3502199706705821.95715190084297
BASE/hanoi/iGLsJg5.6201821314299797611.61354.3333333333333
DRESDEN/ggp-course2013_nicolai/uEin8g5.620860620786201151.8898740083994327.022529867882458
BASE/quartoSuicide/-23jUg5.6266649255680331436.3255.26666666666668
BASE/othelloSuicide/B442jg5.6948554490624195.0019875447197560.878334417696812
BASE/checkersTiny/Lr48cg5.7005312607406164581.5472817572747102.01633061156474
DRESDEN/quartosuicide/WIU1oQ5.7228157639450291415.4247.32580225932222
BASE/quarto/EwBMVQ5.741732354939531408.4245.2918236058798
BASE/2pffa/6oHijA5.7469284738215891663.4333333333334289.4473701753216
DRESDEN/skirmishfinal/hzq8ww5.76742498266965464.9406903905104711.259910720234526
BASE/gt_chicken/gmepTQ5.78286700858172957592.1333333333331312.8666666666666
BASE/strangeSkirmish/gc1zKA5.79377099154515742.076156844454817.262309281098008
DRESDEN/bidding-tictactoe/yW5vTA5.843915139644542685.1459.46936870875277
DRESDEN/slidingpieces/s9_44g5.8622956084585836343.910405972935158.6648011193284
DRESDEN/backgammon/mqCW0Q5.924823855147799303.913072461835951.294870512948705
BASE/quad_7x7/q-JOXg5.9819581341011364.3237282725399730.7227948065854638
STANFORD/madness/UO_B3A6.01077474943068243.3522159280239957.2124173230963535
BASE/skirmishHoles/AUCxCA6.02059176329468247.1811275489804067.836626265980408
BASE/biddingTicTacToe/8mESVw6.0217058593071992697.9666666666667448.04026129849353
BASE/2pffa_zerosum/o0_uZA6.04908244703349051747.8666666666666288.9474035064329
STANFORD/freeforall/Lfp40Q6.0568152614339441664.1274.74835010999266
BASE/ticTacToeSerial/Amrwqw6.0721781488605231157.3666666666666190.60156640559907
BASE/pentagoSuicide/SBgNhw6.083957545032259463.473971872292276.17968541722207
DRESDEN/twisty-passages/j7NPyg6.0922477133003456771.5333333333341111.5
BASE/ttcc4_2player_alt/ZEJvYA6.104836991263584955.0156.43333333333334
BASE/skirmishFinal1/ecWTnQ6.11831724881515163.978673775408210.456906886905555
BASE/othello-comp2007/86ZoMw6.1401684364701585.09303951266602350.8294625082946251
BASE/twisty-passages/DiZmmg6.203383078478846747.8333333333331087.7666666666667
BASE/slidingpieces/uFJWEw6.3186133795888155370.741950536630958.674574351114515
BASE/knightThrough/gcwFjA6.3768390811226461105.6333333333334173.3826617338266
DRESDEN/pawntoqueen/f_x6Aw6.44238918171229822.8468660494238343.546334349728225
DRESDEN/capture_the_king/EQ229Q6.569043011074082120.8677685950413318.39960073199135
BASE/pawnToQueen/-O1_JA6.62656362568751623.4525951096009073.5391790427678367
STANFORD/skirmish/w4V6Vw6.69890801110452941.0018985444492546.120683919898876
DRESDEN/hanoi7/51zz5Q6.7713645577723256346.8937.3
BASE/tictactoe_3d_small_6player/g_9lww6.793133410286006588.433333333333386.62178376216505
BASE/othelloHoles/c0qAzw6.8420243050079656.3299529396168890.9251579148854718
DRESDEN/tictactoe_3d_small_6player/llDEDQ6.9522509262961485579.566666666666783.36388787040433
DRESDEN/tpeg/h-Scbg6.980583522840615777.5333333333333111.38514864684709
BASE/duplicateStateMedium/U163eQ7.131086029897347918.8333333333331110.4666666666667
BASE/tpeg/QNs7Lw7.1548405258386225789.1110.2889711028897
BASE/hanoi7_bugfix/3gdnFw7.1934379665707736584.633333333333915.3666666666667
DRESDEN/skirmish3/3LU8Nw7.266383386020372459.5666666666666663.24558480506498
DRESDEN/hanoi7_bugfix/3gdnFw7.3137538405928076744.5922.1666666666666
DRESDEN/knightthrough/J7Fc_Q7.3333281986695081261.3666666666666172.0046658890185
DRESDEN/peg/Vo31eg7.358214161144054703.295.56666666666666
BASE/ttcc4_2player/_aH_Mw7.372958482062673786.9404353188227106.73333333333333
DRESDEN/statespacemedium/dVJZ_w7.3926851171524212073.7333333333341633.2
BASE/peg/fJHVWw7.461308887403942744.166666666666699.73674564297377
DRESDEN/battlesnakes1509/-qZrLw7.4717065152743981228.2666666666667164.38904073061795
BASE/skirmish/Y_psYQ7.51359477309099344.612514160058645.937572561117192
BASE/stateSpaceMedium/3bUoIw7.539443995942785512140.7666666666661610.3
DRESDEN/peg_bugfixed/u_B7MA7.607746037215713735.896.71721379770038
DRESDEN/battlesnakes2011/93VtTw7.6298661703718821246.7666666666667163.40609898350274
BASE/pegEuro/5awwhg7.673655864013573603.479884003866678.6430737445433
DRESDEN/checkers/jIDMIg7.799248711483629245.3918202726575831.463520314635204
DRESDEN/chomp/-LcqYQ7.8420191033713772656.4333333333334338.7435427428762
STANFORD/ttcc4/Cx9SGw7.933172177080415943.5118.93098737045553
DRESDEN/vacuumcleaner_random_big/DwzFaQ7.9997334692213622615.4326.93589230974277
DRESDEN/checkers-newgoals/IJOqXQ8.127916006196156242.05052996466929.78014656895403
BASE/chomp/-LcqYQ8.1563096074691282708.1666666666665332.03333333333336
BASE/blockerSerial/3eqDuw8.4141233301251221456.9173.1493517314935
BASE/checkers-newgoals/0XkFiA8.668189472261595232.7922402586580426.855924296947887
BASE/checkersSmall/SYmq8w8.823927332180162425.004999666688948.16506116462784
BASE/slaughter/cOch8A9.36119694336658326.1956340609898352.7983210073955624
BASE/sudokuGrade1/tDRNRw9.5175020887688324.3886186446325052.562502053286902
BASE/tictactoe_3d_6player/d7KSwg9.60269788639366242.325.232492250258325
STANFORD/chinook/osFbPA9.70989157559038562.681243958534857.949281882102035
DRESDEN/tictactoe_3d_6player/ulZPWg9.748181505309741230.3436323034363223.62939510081653
DRESDEN/cylinder-checkers/clOO3Q9.859277407755696219.7373683508865622.287370490055636
BASE/knightsTourLarge/M8jgLA10.18118760373572613699.4666666666671345.5666666666666
BASE/chinook/XQh0IQ10.186983212493029608.759.75272436431499
BASE/cylinder-checkers/hlldmw10.388386277602525219.321.11011220990244
BASE/checkers/rOC3Xg10.488773173391495320.530.55648117294235
BASE/sudokuGrade2/u80Tfw10.79624269252118725.4189292734117342.354423663615864
DRESDEN/Zhadu/9zpQ5w11.15264345666104457.732027450196555.1765330501725515
DRESDEN/CephalopodMicro/H3XQfg11.15935975729612351.446088231374124.610129017279692
STANFORD/knightstourbig/TQUI2g11.41623051705296813232.9333333333321159.1333333333334
BASE/sudokuGrade4/DTy07w11.73192580645161324.22.062747446518282
BASE/sudokuGrade5/BQfUQA11.91302847291260224.7394532680717882.076672050631242
STANFORD/alquerquezero/uVgA_A11.989715461090161165.897.23333333333333
BASE/four_way_battle/xSOQXA12.033866810619042257.5075825750758421.398573428438105
DRESDEN/knightmove/97Ipcw12.046993810400371745.0333333333333144.8521814485218
BASE/sudokuGrade3/eI8dvg12.17465615821127225.1115699726903372.0626101999401176
STANFORD/selectivesukoshi/3xmXYg12.25188036420292475.374875041652796.152106680855309
BASE/amazons/RKKZjw12.5572489513121062.32426868546003940.18509378084896347
BASE/cephalopodMicro/9l2D3g12.56036633004738351.504147649665194.1005291005291005
BASE/amazonsSuicide/dE1QEQ12.5699742182851862.21458319561049780.17618040873854826
BASE/knightmove/jBaJEw12.7659745950761271751.4333333333334137.19542681910602
STANFORD/sudoku/oJ1qyQ12.93702476642546124.9525269014225271.9287685810249078
STANFORD/duidoku/3SoMaA13.17804240487946523.9616613418530341.818302036498281
DRESDEN/four_way_battle/xSOQXA13.197537252434998260.315978934737719.724587546567324
BASE/duplicateStateLarge/dcjyuw14.3556055505339624764.466666666666331.88893703543215
BASE/sudokuGrade6E/ihYFZA14.42393151004363724.2513075052466751.6813243662700466
BASE/sudokuGrade6H/ieE_9A14.4571598336304224.042624042624041.6630254018978055
STANFORD/triplesukoshi/Iu9mbA15.038812965367965771.966666666666751.33162227925736
BASE/wargame02/BkVqqQ15.396716803333316439.452018266057828.54193032704989
BASE/blokbox_simple/JBx4bg15.7021041324402880.82143308479716930.05231356752373728
BASE/gt_tinfoil/Q8DyKg15.77054671577962510489.166666666666665.1111629612346
DRESDEN/amazons/dNB28A16.5032973621103137.3701039168665052.2644022644022646
BASE/mummymaze1p/PT_EXA16.804987243207421690.3100.58323612731212
BASE/stateSpaceLarge/0Ge_CQ17.1782420317331388456.566666666668492.28359054698177
DRESDEN/statespacelarge/8-y5HQ17.9064134324249948673.866666666667484.4
DRESDEN/mummymaze1p/AekgaQ18.396320440251571819.766666666666798.92014398080256
BASE/wargame03/klXI8w18.85759572400389646.634.28857047650783
BASE/smallest_4player/ADDROA18.9461252208968423811.8333333333335201.19329355688143
DRESDEN/smallest_4player/ADDROA19.28184184608593880.5333333333333201.25324978334777
BASE/battle/8oAvhQ21.6567537370611991.209010930418564.211573536726911
DRESDEN/battle/8oAvhQ21.99702047244094892.44.200568895944962
BASE/hidato19/rRHSmA22.406518612283165530.433333333333323.673170406872213
DRESDEN/bidding-tictactoe_10coins/mu5VhQ25.06651283630472576.9102.80249258555767
DRESDEN/hitori/S8Gsyg26.08542077519454120.213297783702714.6084477156687225
BASE/wargame01/_GZFZg26.458228620571035853.633333333333332.26343477392289
BASE/biddingTicTacToe_10coins/a-9ccQ26.531341640849112568.433333333333496.80751799520128
BASE/hitori/S8Gsyg27.746715733333332115.066666666666664.147037356512508
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g29.671741735918744713.933333333333324.061052421101742
DRESDEN/grid_game2/kypTYQ33.003334340074844360.487983733875510.922774651170535
BASE/god/qF06gw34.417611363863614109.555711095557113.183129414105242
BASE/factoringImpossibleTurtleBrain/kcBhdw35.3143269614719114.4749101557300680.4098877538151091
BASE/quad_5x5/JAEP5g35.6264097777777883.533333333333332.344702535405008
BASE/zhadu/DlA8iQ35.819044348989921.9677805884702440.6132989025177534
BASE/hidato37/pBrqxw37.371814844163104110.685241967737642.961730449251248
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw37.64297755390135717.60941301956619.063566690281444
DRESDEN/Goldrush/VeWczQ39.907321448467961432.135.88564574170332
DRESDEN/smallest/9kaGFw41.40696409140372536.86666666666761.266666666666666
DRESDEN/god/2EDD5w44.132191383491204108.685508598853492.46272630457934
DRESDEN/laikLee_hex/ZeP3QQ45.88051217109892120.173246709978342.6192655884447156
BASE/cittaceot/fDxhXg47.15758718766614985.166666666666620.890947256188984
BASE/chess_200/XsTpYA49.3579200826501345.0243284676398050.9122006841505131
BASE/checkers-mustjump/T-8UuQ49.523648661800486225.766666666666684.558764807666711
DRESDEN/checkers-mustjump/HUr33w49.63595645347781239.48403439770684.824809503210994
DRESDEN/quad_5x5/JAEP5g53.4941466562197690.373477132015181.6894087069525665
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg54.93655068640569190.960301323289233.4760154930976266
BASE/merrills/pku8Tg56.90738374451049200.98660089327383.5318193820966464
DRESDEN/merrills/aYEzwA58.32456792452831205.33.519957494852892
DRESDEN/checkers-cylinder-mustjump/vW_-pA59.51366620505021193.70750566591123.2548407452921055
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw60.04434372049103703.333333333333411.713565171223786
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw63.052487752857665191.055420401906223.0301012253596165
BASE/simultaneousWin2/PfjRjw63.097555125725341087.217.230461589735043
BASE/checkers-cylinder-mustjump/rjr6qQ63.29043206790432189.81435189814352.9991002699190243
BASE/laikLee_hex/zbyscQ69.03817320280886140.829564389431082.039879647100821
BASE/battlebrushes/arCwyA73.5728218693647966.924410078656180.9096349491322562
DRESDEN/checkers-mustjump-torus/cVc3gA76.74762086516319186.441807758965472.4292845257903495
BASE/checkers-mustjump-torus/uSApKQ79.93414681445479175.521631891207252.1958279269388163
DRESDEN/quad_5x5_8_2/JRTLJg117.2026376068376150.566666666666661.2846696093286778
DRESDEN/guess/PhxGhg123.98595555555555801.63333333333336.4655172413793105
DRESDEN/farmers/S_ASnw125.555832098765451118.66666666666678.909714889123547
BASE/guess/SPpk1A138.1578413407821816.85.912078475410378
BASE/copolymer_4_pie/IN5_jA159.406309002433121452.66666666666679.112981009079721
BASE/copolymer_4/2LDVhQ185.062528320802041634.13333333333348.830168636303279
DRESDEN/Travelers-Dilemma/PvZwYw239.3828391634981214686.761.35235111807245
DRESDEN/small_dominion/yB5GJA253.3022080923639132.571466648897170.5233727240172988
DRESDEN/nim4/F5YAYg285.40760327727477346.16666666666725.739211507725095
BASE/nim4/twk16w288.487566751918177515.426.05103604503964
DRESDEN/nim3/sG_axA298.00693461538467739.66666666666725.971431425432026
BASE/nim3/1OwUqw309.618525745257447608.524.573787959509858
BASE/golden_rectangle/_nYzfw314.6600241379311300.10.9537277600552504
BASE/nim2/eF2Qqw332.335389030612258677.826.111573688592838
DRESDEN/nim2/z5_exA353.863542162162168723.424.651875541341862
DRESDEN/nim1/M9BALA366.276943107127649525.56666666666826.00645999134228
BASE/nim1/hin2Qw384.131087765957439619.26666666666625.041625041625043
DRESDEN/gt_ultimatum/pAiiQw496.31142307692317737.315.58960692871419
BASE/gt_ultimatum/GE-uOA532.43880468975488163.36666666666715.332028009159393
BASE/colonelBlottoVariant/X-n-KQ637.2659068627456494.710.191507077435471
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g947.8224118392109474.635024331711240.5007636645884974
BASE/racer4/0vs7Ww1149.9465579710145863.63333333333330.7510204081632653
BASE/colonelBlottoVariant2/jruwGw1745.93973333333326932.03.9703546850185285
DRESDEN/fizzbuzz/t1xHzQ1781.500893577981519373.810.874987528684027
DRESDEN/satlike_20v_91c_version2/yd9ioQ2052.093827037111476.380838163768430.23214378986344142
DRESDEN/queens/mW2wHQ3128.719018732085507.29951336577560.16214288030612575
DRESDEN/satlike_20v_91c/yeuENQ3203.3444026246543497.61849248909170.15534342547787522
BASE/ad_game_2x2/D0aWqg3416.5061333333338813.06666666666670.23798191337458352
BASE/queens08ug/kJ_ZFQ3891.57931647.80.4234270646881075
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA4622.716286666667459.63333333333330.09942927595601249
BASE/queens06ug/7Lq3tw9074.9354861111112653.16666666666650.2923620416615909
DRESDEN/racer/vk_ZBA19374.86982203.06666666666660.11370743078060151
BASE/racer/QQYQNw20458.2838333333352182.33333333333350.10667235585897915
BASE/gt_attrition/kD_SCA21791.5893222222222158.3666666666670.09904585823236159
BASE/colonelBlotto/jip21A677929.73124.10.004608294930875576
DRESDEN/golden_rectangle/1uloXwInfinity282.723909203026550.0

Games with errors:

GameGGP_BASE_PROVER:2015-04-26 error messagePALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 error message
BASE/queens08lg/Ru7eqQTest process timed out after 240 seconds
BASE/nonogram_10x10_1/0Xc62gException of type NullPointerException
BASE/reversiSuicide/9OxJlgTest process timed out after 240 seconds
BASE/queens31lg/0gID-ATest process timed out after 240 seconds
BASE/amazonsTorus/soxT8gException of type StackOverflowError
STANFORD/rainbow/_4qNSQException of type NullPointerException
BASE/gt_two_thirds_4p/DStnxQException of type NullPointerException
BASE/reversi/d8UMeATest process timed out after 240 seconds
BASE/queens12ug/u6BkmgTest process timed out after 240 seconds
BASE/gt_two_thirds_2p/1APDGgException of type NullPointerException
BASE/alexChess/LNo83gException of type StackOverflowError
BASE/queens/HyJJnQTest process timed out after 240 seconds
BASE/queens16ug/gT-ylwTest process timed out after 240 seconds
BASE/nonogram_5x5_1/qLKEZwException of type NullPointerException
BASE/sudoku/NTaNkwException of type NullPointerException
BASE/gt_two_thirds_6p/867v3QException of type NullPointerException
STANFORD/dualrainbow/G3OnRQException of type NullPointerException

index