index

GGP_BASE_PROVER:2015-04-26 vs. REKKURA_BACKWARD_PROVER_OSTD:1.0.0

Game-by-game performance:

GamePerf ratioGGP_BASE_PROVER:2015-04-26 states per secondREKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per second
DRESDEN/quad_7x7/q-JOXg0.0025622172769971471.6765736930345985654.3448551714943
BASE/quad_7x7/q-JOXg0.0066232408427098154.323728272539973652.8115729475684
DRESDEN/quad/JPe6fg0.00734823859560001551.332926050373497181.39395353488217
BASE/quad/tw-Ufg0.0140413155075124342.5987359235137477185.07780999033622
DRESDEN/ggp-course2013_michal13/jWKddg0.02660785422322458512.290167865707435461.9
BASE/queens31lg/0gID-A0.089889031591026823.360617555067545237.386291693045884
BASE/blokbox_simple/JBx4bg0.115169524655393760.82143308479716937.132382349020131
BASE/sudokuGrade1/tDRNRw0.1265054178036418324.388618644632505192.78714752349845
BASE/sudokuGrade4/DTy07w0.1285766955905790524.2188.21451188214513
BASE/sudokuGrade6H/ieE_9A0.12994104916281124.04262404262404185.0271657611413
BASE/sudokuGrade3/eI8dvg0.1328230272832656425.111569972690337189.06036465451152
BASE/sudokuGrade5/BQfUQA0.1333707704394288824.739453268071788185.4938168727709
STANFORD/sudoku/oJ1qyQ0.1341338039006588824.952526901422527186.02713242891903
BASE/sudokuGrade2/u80Tfw0.134866410949504125.418929273411734188.47487001733103
BASE/sudokuGrade6E/ihYFZA0.136935671966384424.251307505246675177.1
STANFORD/duidoku/3SoMaA0.148053065671531823.961661341853034161.84508732169044
STANFORD/selectivesukoshi/3xmXYg0.1865315207559700775.37487504165279404.08653044898506
DRESDEN/grid_game2/kypTYQ0.2150754631190714360.48798373387551676.1
BASE/coins/QnGtnQ0.2205364134690681300.41362.1333333333334
BASE/coins_atomic/AA3SSw0.23310655400334115320.933333333333341376.7666666666667
DRESDEN/coins/QwFP9w0.23669974104556063307.733333333333351300.1
BASE/othello-comp2007/86ZoMw0.25383133637627695.093039512666023520.064660200646603
BASE/othelloSuicide/B442jg0.255016441392851575.00198754471975619.614372772986112
BASE/othelloHoles/c0qAzw0.30674747753353136.32995293961688920.635713097021135
BASE/alexChess/LNo83g0.308561468238826354.3573709419904214.121565362198169
BASE/snake2p/I3wWPQ0.3094628199438026346.876874875008351120.9
STANFORD/multiplesukoshi/vLSQPg0.324303737563762123.35021997067058380.3539882003933
BASE/futoshiki6/JmvXNA0.37556838556911304207.41950536630893552.2815906136462
BASE/withConviction/3Xm54A0.39385444723461827603.29311379241381531.7666666666667
BASE/quad_5x5/JAEP5g0.394113393091156983.53333333333333211.95253649756683
BASE/cubicup_3player/e2yA_g0.39582473801468765159.89467017766074403.953201559948
BASE/majorities/ibJzSQ0.40108485767995294162.06758648270346404.0730617958803
BASE/ticTacHeavenFC/mrletw0.4032943375476519230.46927076389815571.4666666666667
BASE/futoshiki5/TJ4BZg0.40577779627856636324.93333333333334800.7666666666667
BASE/ticTacHeaven/18n58A0.41132427738461635255.81627891473903621.9333333333333
DRESDEN/cubicup_3player/awDtsQ0.4210829971262309167.62755357083347398.0867304423186
DRESDEN/slidingpieces/s9_44g0.4231701808452505343.9104059729351812.7
DRESDEN/quad_5x5/JAEP5g0.4282854895580242690.37347713201518211.0122321101223
DRESDEN/lightsout/XgLpzQ0.43789698233503511217.96666666666672781.4
BASE/blocksWorldParallel/RseaAQ0.4419067098460315777.81760.1
BASE/conn4/va9Y7A0.4422238967329385574.71417619412681299.6
STANFORD/duikoshi/tpw1sw0.44392204628501825607.43333333333331368.3333333333333
BASE/qyshinsu/R08Lzw0.460652134780855796.92687154189721210.4122921041229
BASE/slidingpieces/uFJWEw0.46420110668192516370.7419505366309798.6666666666666
DRESDEN/lightsout2/LFtfyQ0.484290272031385641431.93333333333342956.766666666667
BASE/futoshiki4/BaCwSw0.494309641400043690.61397.1
BASE/lightsOut/5P1ZBw0.497813700808268141127.12264.1
BASE/nineBoardTicTacToePie/B8LzeQ0.503692073062342385.3076461569229764.9666666666667
BASE/battlebrushes/arCwyA0.518077121880825266.92441007865618129.17847025495752
BASE/zhadu/DlA8iQ0.557743735583749621.96778058847024439.386871042985675
STANFORD/triplesukoshi/Iu9mbA0.5954541948422595771.96666666666671296.4333333333334
BASE/queens08lg/Ru7eqQ0.6115459930310135348.25505816472787569.4666666666667
DRESDEN/CephalopodMicro/H3XQfg0.612839527415181951.4460882313741283.94707901489653
DRESDEN/ggp-course2013_jordi/9QI6Kw0.6139359698681732184.72101859876008300.8799413372442
DRESDEN/pawn_whopping/4ogBkg0.6174920608896243675.57748075064161094.0666666666666
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.618868633715467658.61064.2
DRESDEN/bunk_t/7-tPfA0.62971929705752881239.83333333333331968.8666666666666
BASE/breakthroughSmallHoles/bxclRw0.6338006843714986697.66666666666661100.7666666666667
DRESDEN/golden_rectangle/1uloXw0.6436485050842312282.72390920302655439.25202493250225
DRESDEN/doubletictactoe/lJzgmQ0.66008282349733291291.11955.9666666666667
BASE/doubletictactoe/HH1htg0.66556247072207721326.06666666666661992.4
BASE/bunk_t/xbpfIA0.66836655045012231284.41921.7
DRESDEN/quad_5x5_8_2/JRTLJg0.6691851851851852150.56666666666666225.0
BASE/cephalopodMicro/9l2D3g0.669553919445647651.5041476496651976.92307692307692
STANFORD/nineboardtictactoe/y28P-A0.6787497631251073422.83847743483767622.9666666666667
BASE/doubletoetictac/fu35bg0.68172204645959691300.06666666666661907.0333333333333
BASE/golden_rectangle/_nYzfw0.6856816450875857300.1437.6666666666667
STANFORD/sukoshi/4LYZZQ0.69034270372710041748.52532.8
BASE/tictactoex9/BI26ow0.7124554590223005593.1666666666666832.5666666666667
BASE/nineBoardTicTacToe/wRmqqA0.7139111986516257437.38959437389593612.6666666666666
DRESDEN/doubletoetictac/V89gKQ0.7216631893798121302.86666666666661805.3666666666666
BASE/factoringMediumTurtleBrain/8RBqmQ0.7235104552833709995.33333333333341375.7
DRESDEN/tictactoex9/rFkD4w0.7386992810511527595.9333333333333806.7333333333333
DRESDEN/tictactoelarge/IwXcbg0.74264577284969751415.43333333333341905.9333333333334
BASE/snake_2009_big/-oRfVw0.743739237259959287.3808412772482386.4
DRESDEN/cubicup/SBn_lw0.7597978170097429345.73333333333335455.03333333333336
BASE/cubicup/4wNWJA0.7623393691588786348.02173260891306456.5181160627979
DRESDEN/tictactoelargesuicide/6J4DeA0.76857054693118121506.11646278457371959.6333333333334
BASE/dotsAndBoxes/EHwA_w0.7770903160858853613.2333333333333789.1403619879337
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.779764723015255600.8666666666667770.5743141895271
BASE/snakeAssemblit/UO4sdg0.7866592764958095405.6666666666667515.6828105729809
DRESDEN/snake_2009_big/DgC1NQ0.7923839332290037303.8383.4
BASE/dotsAndBoxesSuicide/jzQbLw0.8006841288369444615.7794740175327769.0666666666667
BASE/sum15/QZ07Kg0.80373447772096424107.8333333333335110.933333333333
DRESDEN/connect4/T0-rHQ0.8053240899198895455.51814939502015565.6333333333333
STANFORD/multipletictactoe/_bkafQ0.8121542399471554655.7114762841238807.3730875637478
BASE/reversiSuicide/9OxJlg0.815159698182982229.83285609642405236.597560162655824
BASE/3pConnectFour/PqXOFQ0.8160526315789475620.2760.0
BASE/connect4/50bOyw0.8236469306211406453.5550.6
BASE/reversi/d8UMeA0.831285876148390930.5595361082414136.76176509798694
DRESDEN/sum15/CsgWKg0.83452180244953644240.45081.233333333334
BASE/ticTacToeLarge/TZC0dg0.8349070668919591400.01676.8333333333333
BASE/ticTacToeLargeSuicide/727_8g0.84198901744645491385.11645.0333333333333
BASE/pawnWhopping/Ypc_6Q0.8449738623703832657.3333333333334777.9333333333333
BASE/eotcitcit/V_9_bg0.84984458961121072150.92530.9333333333334
DRESDEN/minichess-evilconjuncts/th24Tw0.8507427457486154175.65495633624425206.47247033728837
DRESDEN/tictactoe_orthogonal/y69QFQ0.85910706009578243892.74531.1
BASE/minichess-evilconjuncts/4OpQzw0.8618186333384783181.02729909003034210.05266315578962
BASE/snake_2009/7l-qAQ0.8756236010989057413.5724285047663472.3175894136862
DRESDEN/tictictoe/LAUtwg0.87589268210714992085.03333333333332380.4666666666667
BASE/tictactoe_orthogonal/WRzlVw0.88206717046983843976.34507.933333333333
DRESDEN/snake_2009/zIYLVw0.8909269871717225412.1725218318779462.6333333333333
BASE/hidato19/rRHSmA0.8941692663557528530.4333333333333593.213559548015
STANFORD/tictictoe/rpt_Dw0.91468470760802872037.03333333333332227.0333333333333
DRESDEN/blocker/S815zQ0.91650039301046023536.8666666666673859.1
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.9433563018826977579.5666666666667614.3666666666667
DRESDEN/peg/Vo31eg0.9465607753398844703.2742.9
DRESDEN/stratego/Z2wovg0.953262264337183643.8118729375688675.3774874170861
DRESDEN/chickentictactoe/Ipbo-g0.95724808093357592876.46666666666673004.9333333333334
DRESDEN/latenttictactoe/kITHKg0.95931808671287951757.56666666666661832.1
DRESDEN/javastrike/whONTQ0.9646593031465207269.04873008466103278.9054427890544
DRESDEN/eotcatcit/mQUxzA0.96719363707776923283.33394.6666666666665
DRESDEN/peg_bugfixed/u_B7MA0.9779805945682513735.8752.3666666666667
DRESDEN/backgammon/mqCW0Q0.9843463240850697303.9130724618359308.74608359442703
BASE/ticTicToe/c1OobQ0.98634502293789822135.72165.266666666667
BASE/tictactoe_3d_small_6player/g_9lww0.9934158694428811588.4333333333333592.3333333333334
DRESDEN/tictactoe/BTTzPw0.99482893857669933424.43333333333343442.233333333333
DRESDEN/tictactoe_3player/ESLQQQ1.0033995515107645964.8690087327511961.6
BASE/connectFourSimultaneous/7ITr3g1.0099450198925106482.3477.5507483083897
BASE/tictactoe_3d_small_2player/oOryKA1.0259517739980777818.3333333333334797.6333333333333
BASE/eotcatcit/AfZSzA1.03018721386527153360.33333333333353261.866666666667
BASE/numbertictactoe/rvJ-iQ1.0331416976665542138.52069.9
DRESDEN/chickentoetictac/cxYaRQ1.0334087171052634021.23891.2
BASE/ticTacToeSerial/Amrwqw1.03784187714840811157.36666666666661115.1666666666667
DRESDEN/mimikry/GJEhwA1.0410418354793736846.2812.8395720142662
BASE/tictactoe2/bhrDoQ1.0424470397441243085.42959.766666666667
BASE/toetictac/mTThmg1.04533604444283064798.2666666666664590.166666666667
DRESDEN/tpeg/h-Scbg1.0515733477594447777.5333333333333739.4
DRESDEN/2player_normal_form_2010/NG_Kdg1.05993550475045666113.5666666666675767.866666666667
DRESDEN/tictactoe-init1/3ltIBQ1.0635813866071133206.7333333333333015.0333333333333
BASE/simultaneousWin2/PfjRjw1.06790648942439931087.21018.0666666666667
DRESDEN/tictactoe_3d_small_2player/HYttcg1.0689742294087923846.2791.6
DRESDEN/toetictac/mJtxCA1.06907094967951084836.8333333333334524.333333333333
BASE/tictactoe-init1/7M19vA1.0831199147836733186.03333333333332941.5333333333333
BASE/tpeg/QNs7Lw1.0854693016644505789.1726.9666666666667
BASE/chickentoetictac/l57rfQ1.09092230726471984252.2333333333343897.8333333333335
DRESDEN/double_tictactoe_dengji/bGaUyQ1.0912417163472611421.63333333333341302.7666666666667
BASE/double_tictactoe_dengji/zgaSbA1.10260980267345631443.51309.1666666666667
DRESDEN/blocksworldparallel/2JfVaw1.1043359220071392877.22605.366666666667
BASE/tictactoe_3player/GtM71g1.1052653599141051943.6018799373354853.7333333333333
DRESDEN/pentago_2008/hLjVpQ1.1061705214645388432.03333333333336390.56666666666666
BASE/chickentictactoe/DSlZCA1.10819317151777622934.22647.733333333333
BASE/factoringImpossibleTurtleBrain/kcBhdw1.130208504393250814.47491015573006812.807291839925485
DRESDEN/tictactoeparallel/yk_DSg1.14184433598767021481.73333333333331297.6666666666667
STANFORD/tictactoe3/X7myng1.16009028475481362809.72421.9666666666667
STANFORD/trifecta/ss1kyQ1.16365317444010693398.12920.2
STANFORD/tictactoe7/-bE9-A1.16536500958705513322.53333333333332851.0666666666666
BASE/factoringGeorgeForman/HGRorQ1.16915383446626645899.4333333333335045.9
BASE/wallmaze/uxNQ9g1.1707771056305256838.6666666666666716.3333333333334
BASE/blocker/dIWtxg1.17482181643545563587.8666666666673053.9666666666667
DRESDEN/catcha_mouse/cHv4dw1.18063459456458381417.66666666666671200.7666666666667
BASE/ticblock/T21C1g1.18109862276397041740.91473.9666666666667
DRESDEN/brain_teaser_extended/ZDp94A1.18586308752655863813.93333333333343216.1666666666665
BASE/ticTacToe/JRFsaQ1.19745523634060683466.43333333333342894.8333333333335
STANFORD/tictactoe5/WFRReg1.21293385513568993151.02597.8333333333335
DRESDEN/ticblock/Z2yNWQ1.22130980196447611794.63333333333341469.4333333333334
DRESDEN/snake_2008/E56l3A1.222337365781413403.46666666666664330.07799480034663
BASE/catcha_mouse/cHv4dw1.23099169968476161418.81152.5666666666666
BASE/blocks/xIV5hQ1.23191752657682678428.5333333333336841.8
BASE/brain_teaser_extended/ZDp94A1.23302152021673584020.2666666666673260.5
DRESDEN/towerworld/HCX34w1.238369257472777640.3892295387896632.61485158410234
STANFORD/breakthrough/d5j0cQ1.2447907028387431121.1900.6333333333333
BASE/blocksWorldSerial/Wyg96Q1.2469595876196643725.33333333333352987.5333333333333
BASE/snake_2008/i6K26g1.2633744855967077419.55268157728074332.0889303689877
STANFORD/dualrainbow/G3OnRQ1.27425032832336224657.33654.9333333333334
DRESDEN/blocks/vg0DRw1.27792539626252658769.1666666666666862.033333333334
BASE/snake_2008_tweaked/bX0NJQ1.2823071549745533428.3333333333333334.03333333333336
STANFORD/tictactoe/ss1kyQ1.28507738507738513708.7333333333332886.0
BASE/blocksWorld/SEdXLQ1.29589519313768958.5666666666686913.033333333334
DRESDEN/sheep_and_wolf/enAIzQ1.3173831193022048817.2333333333333620.3459884670511
DRESDEN/blockerparallel/dVQgSg1.3214982442450254903.2683.4666666666667
BASE/lightsOnSimul4/9FeASw1.33175281040005021413.71061.5333333333333
BASE/mineClearingSmall/frsbvw1.3448726322664923343.1437904139724255.14965668955404
BASE/lightsOnParallel/SC6enA1.34833190548912983619.8666666666672684.7
BASE/ticTacToeParallel/ymRGPw1.35374367514250961409.06666666666661040.8666666666666
STANFORD/dualhunter/1rPZjQ1.35564538671597812101.56666666666661550.2333333333333
BASE/incredible/8Qh-6Q1.3586698337292163317.62441.8
DRESDEN/hallway/0H4l-Q1.4020123325946465380.3873204226526271.31524565028997
BASE/blockerParallel/7-nDJA1.4021117528794385914.3333333333334652.111596280124
DRESDEN/Zhadu/9zpQ5w1.409083899253943657.7320274501965540.971320075946835
BASE/hallway/ckCJOw1.4123163703703705381.3269.98200119992
BASE/factoringEasyTurtleBrain/lUj94Q1.42624567111571233857.56666666666662704.7
DRESDEN/8puzzle/8fKC2w1.4372070284416073331.7333333333332318.2
DRESDEN/chomp/-LcqYQ1.43998337639809912656.43333333333341844.7666666666667
BASE/copolymer_4_pie/IN5_jA1.4408516828671561452.66666666666671008.2
BASE/chomp/-LcqYQ1.45194438487382942708.16666666666651865.2
BASE/blocks2player/wnTLOQ1.46820208974969956880.5333333333344686.366666666667
BASE/racetrackcorridor/_RkdUg1.47977021216606761399.5666666666666945.8
DRESDEN/blocks2player/3ev8nQ1.48183884386122896911.04663.8
STANFORD/hex/MTqWcw1.4852738071539893192.54099453406212129.63333333333333
DRESDEN/connectfoursuicide/M9CNQg1.488703510601321999.3666666666667671.3
BASE/lightsOnSimultaneous/_VN6lw1.49467855213398161844.43333333333341234.0
BASE/nonogram_10x10_1/0Xc62g1.496710021365733837.6320789307023125.143199680298387
BASE/copolymer_4/2LDVhQ1.50067344190033071634.13333333333341088.9333333333334
BASE/hexPie/48CH6Q1.502805267913242194.90084985835693129.69135390973935
BASE/crisscross/ICagEg1.50593935604876531284.6666666666667853.0666666666667
BASE/skirmishHoles/AUCxCA1.514186197178882647.18112754898040631.159396140900455
BASE/blockerSerial/3eqDuw1.51534167735672451456.9961.4333333333333
BASE/lightsOn/MsXu3A1.54917193807813328122.5666666666675243.166666666667
DRESDEN/racetrackcorridor/O0DoTA1.54928042685905361374.3666666666666887.1
STANFORD/jointbuttonsandlights/qAKuIQ1.55982042648709326717.3666666666674306.5
DRESDEN/crisscross/GsY16g1.56910936665159671272.6811.0333333333333
BASE/queens16ug/gT-ylw1.5734857903583948436.85210492983566277.6333333333333
STANFORD/rainbow/_4qNSQ1.59899387884331279090.65685.2
BASE/queens12ug/u6Bkmg1.6095619802248409792.2492.183593880204
BASE/hex/T1MK8g1.610412864773326206.2264591180294128.05812945803612
BASE/connectFour/WAIKTw1.6135346454569965997.4333333333333618.1666666666666
DRESDEN/connectfour/5tc-Mg1.61484490398818311020.3666666666667631.8666666666667
BASE/strangeSkirmish/gc1zKA1.619122881649116642.0761568444548125.987006496751626
BASE/hodgepodge/9yjRkw1.6450423267119275233.8666666666673181.6
BASE/ticTacToeNoVars/XT03NA1.64596421851580193440.83333333333352090.4666666666667
BASE/connectFourSuicide/c8p9Kw1.67487966533748441022.0333333333333610.2129929002367
DRESDEN/battlesnakes1509/-qZrLw1.7004153207198891228.2666666666667722.3333333333334
BASE/dualConnect4/WbCQkg1.7012982262935838594.7342109648392349.57669488700753
BASE/tictactoe_3d_6player/d7KSwg1.7160009676658015242.3141.2003865764655
DRESDEN/battlesnakes2011/93VtTw1.72197412642143541246.7666666666667724.0333333333333
BASE/coloredtrails/EZvr7g1.7262635552798752690.2666666666671558.4333333333334
DRESDEN/SC_TestOnly_enabled/09o7gQ1.72745342398763223650.16666666666652113.0333333333333
DRESDEN/chinesecheckers6-simultaneous/gPPGUw1.730942708508139343.8198.62009199386708
DRESDEN/troublemaker01/C-lPWw1.732701186457711519540.13333333333511277.266666666666
BASE/circlesolitaire/azuQFQ1.74949090138963567159.2666666666664092.2
BASE/hidato37/pBrqxw1.7508923252334587110.6852419677376463.21647560650493
DRESDEN/circlesolitaire/ruUilQ1.75621858119393537185.14091.233333333333
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw1.77801736367247361044.4666666666667587.4333333333333
STANFORD/connectfour/VMpZkQ1.78308960300240421013.5568.3954403039797
DRESDEN/tictactoe_3d_6player/ulZPWg1.7902951587397393230.34363230343632128.66237792073596
BASE/queens08ug/kJ_ZFQ1.79238578680203031647.8919.3333333333334
BASE/troublemaker01/s3tlEQ1.818447828689233220052.26666666666611027.133333333333
DRESDEN/3pttc/uwYBZw1.82216011179876221521.2834.8333333333334
BASE/switches/tPUoCg1.835407319314557711317.7333333333346166.333333333333
BASE/snakeParallel/RCVNtw1.84511794433557764174.3333333333332262.366666666667
BASE/escortLatch/mX9BjQ1.8604066543438078838.7333333333333450.8333333333333
DRESDEN/grid_game/U7_Yeg1.8741478175183911067.1666666666667569.4143528549048
BASE/connectFour_9x6/B9TtMw1.8806985414350188958.4666666666667509.6333333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg1.8857725650178483986.1333333333333522.9333333333333
BASE/skirmish/Y_psYQ1.88794622688067644.6125141600586423.63018264231436
STANFORD/hunter/14dD-g1.89137580683719844219.5333333333342230.9333333333334
BASE/stateSpaceSmall/Q7osKA1.891788254326791216527.1666666666688736.266666666666
DRESDEN/logistics/fPru1Q1.90311627556025061681.4666666666667883.5333333333333
BASE/eightPuzzle/vLrgFg1.9142463270007933378.91765.1333333333334
DRESDEN/troublemaker02/iZLVuA1.914356504571532717873.99336.766666666666
DRESDEN/tictactoe_3d_2player/LMuX9w1.934337841835414283.4905503149895146.55689620691953
STANFORD/eightpuzzle/W_aWbA1.93760265790652553460.31785.8666666666666
BASE/pegEuro/5awwhg1.9405144694533762603.4798840038666310.9896336788774
BASE/pentago/86NgKw1.9448762148752292441.65194493516884227.08486100926604
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg1.9453518854607785964.7495.9
BASE/tictactoe_3d_2player/IUC1rQ1.9485873443756911272.49700039994667139.8433594400933
DRESDEN/3pffa/0YrmQw1.97618478693747511654.0666666666666837.0
DRESDEN/statespacesmall/h-NqjA1.979866713980993816923.9666666666678548.033333333333
DRESDEN/ggp-course2013_nicolai/uEin8g1.9804432855280312151.8898740083994376.69488700753283
STANFORD/8puzzle/jNiGtw1.98431343394543163558.81793.4666666666667
BASE/troublemaker02/DI83KA1.99340001507337518514.59287.9
BASE/pentagoSuicide/SBgNhw2.026558687679459463.4739718722922228.7
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ2.038652197213291014.4333333333333497.6
DRESDEN/cube_2x2x2/fp-34Q2.0445111075077022521.71233.4
DRESDEN/bidding-tictactoe/yW5vTA2.0477146779195692685.11311.2666666666667
DRESDEN/sat_test_20v_91c/dK7nVw2.1261295233428991012.5476.2174594180194
DRESDEN/lightson2x2/gBHuig2.13323133414932685809.52723.3333333333335
BASE/skirmishFinal2/gdB62Q2.14556691691607463.6348492420456529.65875766462277
DRESDEN/uf20-020.cnf.SAT/hDrW_A2.1490847457627121056.6333333333334491.6666666666667
BASE/skirmishFinal3/-Olhfw2.191479128505339469.6286914205719731.772463864650636
BASE/stateSpaceMedium/3bUoIw2.196800907133422212140.7666666666665526.566666666667
BASE/duplicateStateSmall/bCPAXw2.200419593580993413250.2666666666666021.7
BASE/tron_10x10/7ZTgDg2.21140198706828572804.51268.2
DRESDEN/firefighter/WJmoPw2.2445976401962086208.0333333333342765.766666666667
DRESDEN/uf20-010.cnf.SAT/5ICbCg2.2504000556599181078.1666666666667479.1
BASE/queens06ug/7Lq3tw2.26057938085771062653.16666666666651173.6666666666667
DRESDEN/statespacemedium/dVJZ_w2.265694197713113312073.7333333333345328.933333333333
BASE/connectFourLarge/aU644A2.2777264111643407729.0320.0559981333956
DRESDEN/skirmishfinal/hzq8ww2.28220140515222564.9406903905104728.45528455284553
BASE/biddingTicTacToe/8mESVw2.2846698845513312697.96666666666671180.9
BASE/stateSpaceLarge/0Ge_CQ2.2891676065869628456.5666666666683694.1666666666665
BASE/onestep/xi53wA2.332122946173108334831.514935.533333333333
STANFORD/bestbuttonsandlights/nm0wEA2.334465539873066511500.6666666666664926.466666666666
BASE/peg/fJHVWw2.345141193977591744.1666666666666317.3227559081364
BASE/breakthroughSuicideSmall/XSbJog2.3765924296581433864.3666666666667363.7
DRESDEN/sat_test_20v_91c_version2/a1mPBA2.3805885221915135976.2410.06666666666666
BASE/firefighter/WJmoPw2.38261856710393536296.4666666666662642.6666666666665
DRESDEN/statespacelarge/8-y5HQ2.41141692150866458673.8666666666673597.0
BASE/skirmishFinal1/ecWTnQ2.431027632139497563.978673775408226.317542807648746
BASE/breakthroughSmall/HJ0tIA2.445806148035295856.1666666666666350.0549981667278
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA2.448317404224561016.1333333333333415.03333333333336
STANFORD/bestbuttonsandlightsbig/g0JC6g2.45325366495150159265.3666666666673776.766666666667
BASE/factoringMutuallyAssuredDestruction/NH0LGg2.46410371186557384770.8333333333331936.1333333333334
STANFORD/pentago/ZxzLmg2.4985813042420273598.9133695543482239.70137315024664
BASE/roshambo2/KNPokQ2.537979739067591613344.8666666666675258.066666666667
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg2.5511713933415536965.5333333333333378.46666666666664
DRESDEN/roshambo2/jgSlkQ2.56556070249438213624.6666666666665310.6
BASE/englishDraughts/jFkQxg2.587628671601091664.2256.6828878074795
DRESDEN/Catch-Me-If-You-Can/ghGWrA2.59294499577702686549.4333333333332525.866666666667
DRESDEN/crissrace/KWb9bw2.62934439178515887.6666666666666337.6
STANFORD/pilgrimage/ObRZnQ2.6313970810394576637.4120862637913242.23333333333332
STANFORD/multiplebuttonsandlights_9/SqB9BA2.6361214841759713624.2666666666665168.3
DRESDEN/capture_the_king/EQ229Q2.636428202479339120.8677685950413345.845272206303726
DRESDEN/Goldrush/VeWczQ2.64185157105085141432.1542.0819306023133
DRESDEN/Thief_Police/CX18rA2.64530774947638666525.5333333333342466.8333333333335
STANFORD/multiplebuttonsandlights/cK70Yg2.70358072745443513706.4333333333325069.733333333334
BASE/gt_dollar/TGjqRw2.70720181693855637390.32729.866666666667
BASE/4pffa/Q3ADlg2.7102292691061561263.9666666666667466.36890873941735
DRESDEN/uf20-01.cnf.SAT/42Rs8A2.7356594526709311040.6666666666667380.40797280181323
BASE/haystack/UkweGA2.770042309743201437056.33333333333613377.533333333333
STANFORD/threepuzzle/41ibjA2.7893601317208889825.83522.6
BASE/survival/YVIjJA2.79273325145081528649.53333333333310258.6
DRESDEN/buttons/ADUaHw2.793959367054234622636.18101.8
DRESDEN/CatchMeIfYouCanTest/CX18rA2.80868809730668947004.42493.8333333333335
STANFORD/3puzzle/41ibjA2.81259549785403579633.2333333333343425.0333333333333
BASE/buttons/hTcUjw2.820057001871703522097.9666666666677836.0
DRESDEN/catch_me/ghGWrA2.8293125364122667122.72517.4666666666667
BASE/crissrace/ERWGDA2.8306741063382397942.3332.8889037032099
BASE/god/qF06gw2.8388931112645786109.5557110955571138.59099543439864
BASE/maze/cCX3qQ2.84374447391688817153.4666666666676032.0
BASE/pearls/6k_mEQ2.859935964230907725159.3333333333328797.166666666666
BASE/2pffa/6oHijA2.86446237133126671663.4333333333334580.7139762007934
BASE/3pffa/pR0dzA2.87091873401811661471.9666666666667512.7162427919069
DRESDEN/god/2EDD5w2.9593624056417407108.6855085988534936.72598813570619
DRESDEN/knightwar/7hhAqg2.98172528851077261682.2333333333333564.1811939602013
DRESDEN/point_grab/r5DPmQ3.039835284548121613952.0333333333334589.733333333334
DRESDEN/amazons/dNB28A3.08447088483059737.37010391686650512.115563839701771
DRESDEN/chinesecheckers4/-oVNYg3.0871483228664625704.5666666666667228.2257258091397
BASE/2pffa_zerosum/o0_uZA3.13604137711061931747.8666666666666557.3480883970534
BASE/nonogram_5x5_1/qLKEZw3.1538594131336284268.724375854138285.20493168943685
DRESDEN/oisters_farm/pTQMLg3.18702468156580969107.6666666666662857.733333333333
DRESDEN/chinesecheckers1/Y-ftaA3.2151759565778161994.2620.2459918002734
DRESDEN/guess/PhxGhg3.3915952098904714801.6333333333333236.35878804039865
BASE/guess/SPpk1A3.405092455189662816.8239.8760123987601
BASE/cittaceot/fDxhXg3.408322224784748985.1666666666666289.04739684021064
DRESDEN/chinesecheckers3/QsCb2A3.45060352961887151306.7378.68737708743043
STANFORD/freeforall/Lfp40Q3.51371160532057131664.1473.6017598826745
BASE/untwistycomplex2/EDPPAQ3.541585127201565322682.26404.533333333334
BASE/rubiksCube/9tNO9Q3.549992225159384761.0214.36666666666667
BASE/checkLines/Vop7oQ3.6500905979464471208.6666666666667331.1333333333333
BASE/chess_200/XsTpYA3.670461559861940345.02432846763980512.266666666666667
STANFORD/untwistycorridor/EDPPAQ3.68044522566410923520.8666666666656390.766666666666
DRESDEN/babel/WdSW4A3.7480110656585026307.8794747016865582.14476139696082
BASE/aipsrovers01/4C4jsw3.75467887820695134400.2333333333341171.9333333333334
STANFORD/buttonsandlights/eyhJpA3.767726766070042637069.533333333339838.7
BASE/duplicateStateMedium/U163eQ3.79175777696199667918.8333333333332088.4333333333334
DRESDEN/breakthrough/z4hK7Q3.8361360043268427512.1666666666666133.51108148641893
BASE/beatMania/qUHwvQ3.90811781482720387399.51893.3666666666666
DRESDEN/aipsrovers01/qS47Mw3.91219035780875454406.31126.3
DRESDEN/4pttc/9pB9AQ3.9384324203963491179.1666666666667299.4
BASE/connectFourLarger/qKi60A3.9521742754724363468.38438718709375118.51309040037306
DRESDEN/breakthroughsuicide_v2/LU1nAw3.9538757219524663515.7130.42898570047666
BASE/breakthrough/TGxk-g3.970866718493565510.6666666666667128.6033258906255
STANFORD/alquerquezero/uVgA_A4.0241629271660341165.8289.7
BASE/brawl/6Ymo_Q4.0817006434949725160.450621604506239.309747484842426
DRESDEN/brawl/2kXtfQ4.092827004219409161.65050161650539.496050394960506
BASE/breakthroughSuicide/wZDpIg4.117840020186728543.9666666666667132.1
DRESDEN/bidding-tictactoe_10coins/mu5VhQ4.1488449554577652576.9621.1126295790141
BASE/breakthroughWalls/vOZaYA4.189917938722465519.1493616879437123.90442230146299
BASE/chineseCheckers4/avfBcQ4.1976488285649921242.1295.9037429590374
DRESDEN/frogs_and_toads/GjchhQ4.198627438386856936.9223.14435223144352
STANFORD/untwistycomplex/HTWEwg4.22806673661635712223.22890.9666666666667
BASE/asteroidsSerial/id2QkA4.2500223873914213164.0744.4666666666667
BASE/point_grab/V_osUg4.29861897665176314421.8666666666673355.0
DRESDEN/smallest/9kaGFw4.3028345130408562536.866666666667589.580347321756
DRESDEN/hanoi/RQ0jiA4.4040797570526647347.7666666666661668.4
BASE/checkersTiny/Lr48cg4.415696900207098581.5472817572747131.7
BASE/asteroidsParallel/WauZiA4.4255918571363653246.4666666666667733.5666666666667
BASE/biddingTicTacToe_10coins/a-9ccQ4.4387925571749532568.4333333333334578.6333333333333
DRESDEN/chinesecheckers2/06E6-Q4.5798326892444081469.4666666666667320.85597146761774
BASE/shmup/ssTNlg4.6037883124317012949.0333333333333640.5666666666667
DRESDEN/knightmove/97Ipcw4.62658979026746751745.0333333333333377.17485500966603
BASE/chineseCheckers1/gqtwHw4.6504913061529523733.6802.8399053364888
BASE/knightmove/jBaJEw4.6714750563063061751.4333333333334374.9208359721343
BASE/hanoi/iGLsJg4.7042294143095537611.61618.0333333333333
BASE/pawnToQueen/-O1_JA4.7323874131896723.4525951096009074.955763985897692
BASE/checkersSmall/SYmq8w4.743017863517169425.004999666688989.60645139791396
DRESDEN/pawntoqueen/f_x6Aw4.74631824832271822.8468660494238344.813597583242041
STANFORD/skirmish/w4V6Vw5.02197947559931941.0018985444492548.164489469474807
BASE/choicethroughalt/tt71Lg5.212811205073995493.0333333333333694.58108378324336
BASE/knightazons/apnJBQ5.240226388380139254.849676688220848.63333333333333
BASE/checkers/rOC3Xg5.259073810825588320.560.94228975076636
BASE/smallest_4player/ADDROA5.2944580767628133811.8333333333335719.9666666666667
BASE/nim3/1OwUqw5.3753856298424517608.51415.4333333333334
DRESDEN/smallest_4player/ADDROA5.38806315237345953880.5333333333333720.2093263557881
BASE/nim4/twk16w5.41715521383957515.41387.3333333333333
DRESDEN/nim4/F5YAYg5.4319481415754717346.1666666666671352.4
BASE/ttcc4_2player_small/Cv72TA5.4610668301655421187.6217.46666666666667
BASE/gt_centipede/9fRMpw5.49363105554527310882.71980.9666666666667
DRESDEN/knightazons/02I8BQ5.5089156798221675266.1577947401753548.31400773024124
DRESDEN/nim3/sG_axA5.515201900237537739.6666666666671403.3333333333333
BASE/kalaha5x2x3/WviNsw5.6091594091987452443.0435.5376308246117
STANFORD/madness/UO_B3A5.68936307984674743.3522159280239957.61987156024357
BASE/breakthroughHoles/nZk0Sg5.710283024373497739.2666666666667129.46235125495818
DRESDEN/chinesecheckers6/yTbPDA5.779928326541174992.6666666666666171.74376749766697
BASE/chineseCheckers2/eCMR3Q5.7964063856789792892.6499.03333333333336
DRESDEN/minichess/c7GMFw5.8860859924104941189.0666666666666202.0131320201313
BASE/chineseCheckers6/rREH3A5.981731909224551446.7333333333333241.85860471317622
BASE/nim2/eF2Qqw6.0603394091766188677.81431.9
DRESDEN/skirmish/RjGQYQ6.075286074939054265.99113362887943.78248700519792
BASE/sheepAndWolf/g4THrg6.116615626572722810.1666666666666132.45342132453422
DRESDEN/small_dominion/yB5GJA6.130562183461791132.5714666488971721.624683459949352
DRESDEN/nim2/z5_exA6.1707616128271638723.41413.6666666666667
STANFORD/chinook/osFbPA6.331482613871627562.681243958534888.87037654115295
BASE/chinook/XQh0IQ6.35534478079332608.795.77765188122771
BASE/duplicateStateLarge/dcjyuw6.3960427987590244764.466666666666744.9085030498983
DRESDEN/breakthroughsuicide/Y9QzqQ6.429393430831935893.9139.03333333333333
BASE/asteroids/BKCmPQ6.43674971989542758042.9333333333331249.5333333333333
BASE/chineseCheckers3/-1rZdQ6.4848945400447852348.9666666666667362.22125929135694
DRESDEN/skirmish2/iPpWhQ6.500635689612589296.123462551248345.55300076643674
DRESDEN/knightstour/cGISAA6.71507518510037414662.3666666666672183.5
BASE/nim1/hin2Qw6.7533640682408569619.2666666666661424.3666666666666
DRESDEN/nim1/M9BALA6.8026804418206069525.5666666666681400.2666666666667
BASE/speedChess/bPnisA6.816217426390016158.1789094787361623.206259364075244
STANFORD/checkersonabarrelnokings/Zrevdw6.846471358756127589.780340655311586.14369501466275
BASE/kitten_escapes_from_fire/uW-YiA7.1465156428296414536.933333333333634.8455051498283
BASE/skirmishNew/sibw2g7.1518779906216170.0276657444751723.77384876635701
BASE/minichess/8NQEiA7.4975464684014871680.7224.16666666666666
BASE/ttcc4/Le0qjQ7.510624176082862708.766666666666794.36854381872709
BASE/checkersBarrelNoKings/rnKNeg7.646894016773063678.766666666666788.76370787640413
DRESDEN/tttcc4/sAvtFg7.647863225963885696.233333333333391.03632122625791
DRESDEN/skirmish3/3LU8Nw7.660465703703704459.5666666666666659.992001066524466
DRESDEN/kitten_escapes_from_fire/uW-YiA7.6762680025046974903.6638.8
BASE/2pttc/unkkYA7.73404270025839851596.2206.38624091727218
BASE/tttcc4/8Bs2lg7.734196091954023710.233333333333391.83027232425586
BASE/amazons_8x8/7SOsIw7.805056553559548391.020299323355950.09833005566481
BASE/skirmishZeroSum/zh4hcw7.9466222723922675164.65020164650220.71952031978681
STANFORD/knightstourmedium/x1wu8Q8.07789519954577914701.51819.9666666666667
BASE/checkersTorusNoKings/pwb6oQ8.167604512779553681.783.4638845371821
BASE/ttcc4_2player/_aH_Mw8.41300161150073786.940435318822793.53860508514113
BASE/endgame/jYjfOA8.552303962380511616.233333333333372.05465755707382
BASE/checkersTorus/2vm1EQ8.659859456635319552.333333333333463.78086574027792
BASE/knightsTour/mvtVIg8.83562296858071513592.1333333333331538.3333333333333
BASE/checkers-newgoals/0XkFiA8.932732421280758232.7922402586580426.060585863298563
STANFORD/platformjumpers/HEQskA9.235606126887312236.3763623637636325.594028060119307
BASE/kalaha6x2x4/XS81Mg9.3596137785636562293.5245.0421624504216
STANFORD/knightstour/cEwgNA9.6055587367308314538.3333333333341513.5333333333333
DRESDEN/bomberman2p/x4h6jQ9.7477911642411641250.0666666666666128.24101846297407
BASE/3pttc/0sol9g9.8128822780731431353.4333333333334137.92413839077395
DRESDEN/knightthrough/J7Fc_Q10.1283996699669961261.3666666666666124.53760789149199
STANFORD/ttcc4/Cx9SGw10.15446951219512943.592.91475038325669
BASE/knightwar/DVGY4Q10.3841016339220731744.0666666666666167.95546963535764
BASE/ttcc4_2player_alt/ZEJvYA10.517266055045873955.090.80306564478506
BASE/bomberman2p/4CClwA10.6167509508716341339.7126.18738126187381
BASE/4pttc/AL1k2Q10.8653247039512241029.533333333333394.75403279562725
DRESDEN/gt_prisoner/huCp4w10.9919903986350257086.3644.6785107163095
DRESDEN/endgame/IJhh3Q11.158547160929686421.2666666666666537.75282396454633
DRESDEN/satlike_20v_91c_version2/yd9ioQ11.60755697119363476.3808381637684341.040577215860196
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g11.75888820526719474.6350243317112440.36393713813069
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA11.863603757062148459.633333333333338.74314607479397
BASE/gt_coordination/IVMOzA12.0171970569984929037.733333333334752.0666666666667
DRESDEN/satlike_20v_91c/yeuENQ12.062031474794056497.618492489091741.254948930365636
DRESDEN/Runners/3bOCQw12.82060059558598515355.2333333333341197.7
BASE/amazonsSuicide_10x10/XIbQkg13.701967620768853298.1070452576151421.75651362697408
DRESDEN/pancakes88/aD3E7g14.14500317565515417074.4333333333341207.1
BASE/amazons_10x10/Bun8dA14.253760559078545302.7565747808406521.24047008689283
BASE/pacman3p/wW7UVQ14.659504295183106923.302556581447362.98320447880565
DRESDEN/pacman3p/rBnk8Q14.69092910025707952.366666666666764.8268506482685
DRESDEN/mummymaze2p-comp2007/oTQRQg14.8519778141718531511.0333333333333101.73953612370035
DRESDEN/gt_chicken/CeuKtw15.3225244573589157294.3476.0507983067231
BASE/pacman2p/4LEdQg15.42026134969325921.433333333333359.75471572352196
DRESDEN/blobwars/ZaMluQ15.860691357038291292.513832411172618.442691168148073
BASE/gt_prisoner/klthDw15.9474369830000658161.366666666667511.76666666666665
BASE/amazonsTorus_10x10/Uxc08g16.01457506999533204.6863542430504612.781254160564506
BASE/gt_staghunt/xPjLRA16.0342528462899388559.333333333334533.8155394820172
BASE/blobwars/0XT15Q16.349606377269353297.127049726703118.173345759552657
BASE/mummyMaze2p_2007/YGA3Vw16.6833442026521581635.033333333333398.00393215368723
BASE/knightThrough/gcwFjA16.9274719727891171105.633333333333465.31591575579846
BASE/amazonsTorus/soxT8g17.0383200299326520.280618608131703640.016469851936031094
DRESDEN/pancakes/hl9aiQ17.09618011636731422527.0666666666661317.6666666666667
DRESDEN/pancakes6/SZXMyQ17.417713577332821890.4333333333341256.791440285324
BASE/gt_chicken/gmepTQ17.7593762183235887592.133333333333427.5
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw18.423988569333822191.0554204019062210.369927211087845
DRESDEN/ghostmaze2p/HY0UwA18.705423294371222507.0666666666666134.02886570447652
BASE/hanoi_6_disks/MeubgQ19.003070010143135620.1295.7469502033198
BASE/checkers-cylinder-mustjump/rjr6qQ19.191061814132837189.81435189814359.89076861595844
BASE/checkers-mustjump/T-8UuQ19.31430617283951225.7666666666666811.689090182496336
BASE/ruleDepthLinear/OUBJpQ19.46673482069476832371.2333333333341662.9
BASE/ghostMaze2p/W-NU-w19.736432386799692571.4130.28697130286972
DRESDEN/hanoi_6_disks/MeubgQ19.9696048632218825913.0296.1
BASE/crossers3/O0rORg19.97356374269006948.333333333333447.47942558224769
BASE/checkers-mustjump-torus/uSApKQ20.006141762266353175.521631891207258.773387391578877
DRESDEN/crossers3/xiPTxg20.431417498243146969.033333333333347.428590474285905
DRESDEN/othello-cornercontrol/r5Gdlg21.538700714474733.5062185763429480.16278691193228065
DRESDEN/connect5/1kYzSg22.549345491421864464.9891684719213520.620960756879207
DRESDEN/fizzbuzz/t1xHzQ23.03662306777645719373.8841.0
DRESDEN/gt_ultimatum/pAiiQw23.1117557347670267737.3334.7776814879008
BASE/knightsTourLarge/M8jgLA23.7083357369483713699.466666666667577.8333333333334
BASE/amazonsSuicide/dE1QEQ24.892653313060532.21458319561049780.08896533317517274
BASE/battle/8oAvhQ24.9348852427231591.209010930418563.657887736100027
DRESDEN/mummymaze2p/k-8edg25.215607043286871145.445.4242484836366
BASE/mummymaze2p/vpjDdA25.288456153279291143.545.21826057980673
DRESDEN/battle/8oAvhQ25.40496000000000392.43.6370850416611558
BASE/connect5/d-BVQg25.413328832143446455.1514949501683417.909951819239076
BASE/gt_ultimatum/GE-uOA26.444336464744638163.366666666667308.7
BASE/amazons/RKKZjw27.7385972485085972.32426868546003940.0837918610172332
BASE/pancakes6/QZTdnw28.3177489920219622006.666666666668777.1333333333333
BASE/pancakes/yUgbXw28.7031755751902721873.733333333334762.0666666666667
STANFORD/knightstourbig/TQUI2g29.7334656181346113232.933333333332445.05183160561313
BASE/hanoi7_bugfix/3gdnFw38.633539923086956584.633333333333170.43826028995167
DRESDEN/four_way_battle/xSOQXA39.86287648850622260.31597893473776.530285866595588
BASE/four_way_battle/xSOQXA40.53654704337594257.507582575075846.352479462533675
DRESDEN/hanoi7/51zz5Q41.2576381365113756346.8153.83333333333334
DRESDEN/hanoi7_bugfix/3gdnFw41.83933002481396744.5161.2
BASE/racer4/0vs7Ww54.122821458333334863.633333333333315.956916325920016
BASE/knightfight/SJRkAg56.068393239195552911.333333333333551.92467922012998
DRESDEN/knightfight/4_Ly4w59.277282428940573058.351.59312091721104
DRESDEN/quartosuicide/WIU1oQ61.2415435158501541415.423.111762355135205
DRESDEN/quarto/OQzRYQ62.737995833333331403.622.37240736425076
BASE/quarto/EwBMVQ62.981297168405371408.422.362194227821103
BASE/quartoSuicide/-23jUg65.486985258358661436.321.93260224659178
BASE/cylinder-checkers/hlldmw79.6059219.32.7548209366391183
DRESDEN/cylinder-checkers/clOO3Q89.36778159308489219.737368350886562.4587985114300905
BASE/gt_tinfoil/Q8DyKg89.7562718672751510489.166666666666116.86277124095864
DRESDEN/checkers-newgoals/IJOqXQ94.96553909393053242.0505299646692.5488248924197285
DRESDEN/kalaha_2009/gcC8uA99.417982702197292360.86666666666723.746877601998335
BASE/kalaha_2009/dRiN3g100.433965281625122414.13333333333324.037021007424176
BASE/twisty-passages/DiZmmg102.140135132862436747.83333333333366.0644645178494
DRESDEN/twisty-passages/j7NPyg104.972757438016536771.53333333333464.50753032120485
DRESDEN/hitori/S8Gsyg108.21318211670604120.213297783702711.1108932888976017
DRESDEN/checkers/jIDMIg109.0874902209142245.391820272657582.249495517549373
BASE/hitori/S8Gsyg109.15152083333332115.066666666666661.0541920606160435
BASE/wargame02/BkVqqQ110.108365276713439.45201826605783.991086573319586
BASE/racer/QQYQNw113.549413056036982182.333333333333519.21923922456865
BASE/solitaireChineseCheckers/-ET6gw120.08291713.614.270141710435041
DRESDEN/racer/vk_ZBA121.467798654434252203.066666666666618.137042830044262
BASE/colonelBlottoVariant/X-n-KQ149.597414504988486494.743.414520374504384
BASE/colonelBlottoVariant2/jruwGw162.42309133489466932.042.67866066966517
DRESDEN/checkers-cylinder-mustjump/vW_-pA162.9349160852627193.70750566591121.188864304349262
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg167.52674434661702190.960301323289231.1398794984530207
DRESDEN/checkers-mustjump-torus/cVc3gA173.5038762508433186.441807758965471.0745685444480626
BASE/max_knights/2fq3Ag173.880471014492771197.56.8869148617626506
DRESDEN/max_knights/hCipiA192.11369983818771316.76666666666676.854100815172185
BASE/wargame03/klXI8w198.4600142857143646.63.258087037468001
BASE/wargame01/_GZFZg209.02218482384822853.63333333333334.083936516368949
DRESDEN/checkers-mustjump/HUr33w210.5748902454122239.48403439770681.1372867587327375
DRESDEN/battlebrushes/QHXV4A251.999345476362992.196926769107690.36586177077097054
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA270.92624747663554823.817.804845580404685
DRESDEN/vacuumcleaner_random/_6AGDA280.395510669609964233.26666666666615.097483752707882
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A293.728610216110044975.816.940127134156487
DRESDEN/vacuum_cleaner_1/eUNjpw377.89945207877465752.06666666666715.221156408206769
DRESDEN/Travelers-Dilemma/PvZwYw566.910395501285414686.725.90656321800806
BASE/colonelBlotto/jip21A612.73197908496733124.15.098640362569982
BASE/pancakes88/l2Xaig699.324076385224317653.725.24394711426383
DRESDEN/farmers/S_ASnw831.7695934959351118.66666666666671.3449237329834345
BASE/gt_two_thirds_2p/1APDGg948.81253125000012510.83333333333352.6462902318811814
DRESDEN/vacuumcleaner_random_big/DwzFaQ1050.3795122615.42.489957172736629
BASE/ad_game_2x2/D0aWqg1301.8053192982456813.06666666666670.6245685546168765
BASE/gt_attrition/kD_SCA1830.0551148148152158.3666666666671.1793998165378063
BASE/merrills/pku8TgInfinity200.98660089327380.0
DRESDEN/merrills/aYEzwAInfinity205.30.0

Games with errors:

GameGGP_BASE_PROVER:2015-04-26 error messageREKKURA_BACKWARD_PROVER_OSTD:1.0.0 error message
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147484126
BASE/gt_two_thirds_4p/DStnxQTest process timed out after 240 seconds
BASE/mummymaze1p/PT_EXATest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 seconds
BASE/sudoku/NTaNkwTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 seconds
BASE/ruleDepthExponential/UamhHQTest process timed out after 240 seconds
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147484126
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 seconds

index