index

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

Game-by-game performance:

GamePerf ratioGGP_BASE_PROVER:2015-04-26 states per secondREKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per second
DRESDEN/quad_7x7/q-JOXg0.071468716659045881.676573693034598523.458847050983007
BASE/coins/QnGtnQ0.10931984424469594300.42747.9
DRESDEN/ggp-course2013_michal13/jWKddg0.1117511445389143312.290167865707435109.97800439912018
DRESDEN/coins/QwFP9w0.11187726462996402307.733333333333352750.633333333333
BASE/coins_atomic/AA3SSw0.1148665577017144320.933333333333342793.9666666666667
BASE/blokbox_simple/JBx4bg0.16617756694658440.82143308479716934.943104535049597
BASE/quad_7x7/q-JOXg0.183893185325152644.32372827253997323.51217237819296
BASE/sudokuGrade6H/ieE_9A0.1928165748534633724.04262404262404124.69168722085195
BASE/sudokuGrade1/tDRNRw0.1963588086046384724.388618644632505124.20435231779251
BASE/sudokuGrade6E/ihYFZA0.1990796799965584824.251307505246675121.81709105452606
BASE/sudokuGrade5/BQfUQA0.1997464522072007224.739453268071788123.85428123854281
BASE/sudokuGrade4/DTy07w0.2013378258458125324.2120.19599346688443
STANFORD/sudoku/oJ1qyQ0.2022833462911051424.952526901422527123.3543312335433
BASE/sudokuGrade3/eI8dvg0.2046855597556644625.111569972690337122.68364218104253
BASE/sudokuGrade2/u80Tfw0.2067691053501055425.418929273411734122.93388429752066
STANFORD/duidoku/3SoMaA0.309695701348127223.96166134185303477.37163040218587
STANFORD/selectivesukoshi/3xmXYg0.573338298998373175.37487504165279131.46666666666667
DRESDEN/quad/JPe6fg0.6532627575265981.3329260503734972.0404133482524847
BASE/ticTacHeaven/18n58A0.7467883802394751255.81627891473903342.5552481583947
BASE/ticTacHeavenFC/mrletw0.7687262048178666230.46927076389815299.80670532560157
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.7886480660998683658.6835.1
DRESDEN/grid_game2/kypTYQ0.8295620158011813360.4879837338755434.55218159394684
BASE/alexChess/LNo83g0.83806767784282424.357370941990425.1993067590987865
BASE/cubicup_3player/e2yA_g0.9018913131547617159.89467017766074177.28818078794748
DRESDEN/pawn_whopping/4ogBkg0.9108500482009458675.5774807506416741.7
DRESDEN/cubicup_3player/awDtsQ0.9436204722963016167.62755357083347177.64298093587522
DRESDEN/bunk_t/7-tPfA0.98448955824356151239.83333333333331259.3666666666666
STANFORD/multiplesukoshi/vLSQPg0.9892746992194679123.35021997067058124.68753124687531
BASE/zhadu/DlA8iQ0.996182436957517721.96778058847024422.051965356429047
BASE/doubletictactoe/HH1htg1.01661044669324331326.06666666666661304.4
DRESDEN/doubletictactoe/lJzgmQ1.01680098705798951291.11269.7666666666667
DRESDEN/doubletoetictac/V89gKQ1.02241753642522681302.86666666666661274.3
BASE/withConviction/3Xm54A1.029920526590361603.2931137924138585.7666666666667
BASE/bunk_t/xbpfIA1.03469387755102061284.41241.3333333333333
BASE/doubletoetictac/fu35bg1.05118184513381661300.06666666666661236.7666666666667
STANFORD/duikoshi/tpw1sw1.0816120607787274607.4333333333333561.6
BASE/snake2p/I3wWPQ1.1495253643129488346.87687487500835301.7566081130629
DRESDEN/lightsout/XgLpzQ1.23488458548785031217.9666666666667986.3
BASE/conn4/va9Y7A1.2351475955171434574.7141761941268465.3
BASE/quad/tw-Ufg1.25296196312269982.59873592351374772.074074074074074
DRESDEN/slidingpieces/s9_44g1.3260064374237277343.9104059729351259.3580213992867
DRESDEN/pawn_whopping_simultaneous/r8dLfw1.3289590091418462600.8666666666667452.1333333333333
STANFORD/sukoshi/4LYZZQ1.35546138143104481748.51289.9666666666667
BASE/blocksWorldParallel/RseaAQ1.3567520088377232777.8573.2808906369787
DRESDEN/tictactoeparallel/yk_DSg1.3626387100729571481.73333333333331087.4
DRESDEN/latenttictactoe/kITHKg1.3850376947122331757.56666666666661268.9666666666667
BASE/slidingpieces/uFJWEw1.4375894090796775370.7419505366309257.8914036198793
BASE/ticblock/T21C1g1.44082432134186721740.91208.2666666666667
DRESDEN/lightsout2/LFtfyQ1.47429473539707611431.9333333333334971.2666666666667
DRESDEN/eotcatcit/mQUxzA1.5222545049918093283.32156.866666666667
DRESDEN/cubicup/SBn_lw1.5574092692692694345.73333333333335221.99260024665844
BASE/futoshiki6/JmvXNA1.561553972520611207.41950536630893132.82890570314322
DRESDEN/chickentictactoe/Ipbo-g1.56157145183764312876.46666666666671842.0333333333333
BASE/cubicup/4wNWJA1.5689470057572614348.02173260891306221.81866648895405
DRESDEN/tictactoelarge/IwXcbg1.57644045144045151415.4333333333334897.8666666666667
BASE/majorities/ibJzSQ1.590828285111705162.06758648270346101.87622887992802
DRESDEN/double_tictactoe_dengji/bGaUyQ1.60021761969083021421.6333333333334888.4
BASE/double_tictactoe_dengji/zgaSbA1.60091839488373821443.5901.6699443351888
BASE/eotcatcit/AfZSzA1.61463922479378573360.33333333333352081.1666666666665
BASE/qyshinsu/R08Lzw1.635280001381957796.9268715418972159.272339574865065
BASE/futoshiki5/TJ4BZg1.6453382607717404324.93333333333334197.487252974306
BASE/nineBoardTicTacToePie/B8LzeQ1.677682058738416385.3076461569229229.66666666666666
DRESDEN/blocker/S815zQ1.70566486625514413536.8666666666672073.6
DRESDEN/ticblock/Z2yNWQ1.7067905148364191794.63333333333341051.4666666666667
BASE/lightsOut/5P1ZBw1.73610551419623141127.1649.2116929435686
BASE/pearls/6k_mEQ1.755114569139115225159.33333333333214334.866666666667
DRESDEN/tictactoe/BTTzPw1.76299080175727623424.43333333333341942.4
BASE/factoringGeorgeForman/HGRorQ1.7809072430517825899.4333333333333312.6
BASE/sum15/QZ07Kg1.79360482039937094107.8333333333332290.266666666667
DRESDEN/minichess-evilconjuncts/th24Tw1.7961228169882972175.6549563362442597.79674010866304
DRESDEN/tictactoelargesuicide/6J4DeA1.86139465615626641506.1164627845737809.1333333333333
BASE/minichess-evilconjuncts/4OpQzw1.8620305388746212181.0272990900303497.22037061725104
DRESDEN/tictactoex9/rFkD4w1.869106116048092595.9333333333333318.8333333333333
BASE/tictactoex9/BI26ow1.878361111111111593.1666666666666315.7894736842105
BASE/tictactoe2/bhrDoQ1.87977498426108343085.41641.3666666666666
DRESDEN/sum15/CsgWKg1.8840639810426544240.42250.6666666666665
DRESDEN/tictictoe/LAUtwg1.90032203183861942085.03333333333331097.2
BASE/snakeAssemblit/UO4sdg1.9337809024467747405.6666666666667209.77902209779023
DRESDEN/CephalopodMicro/H3XQfg1.98411295293365151.4460882313741225.92901183136144
BASE/eotcitcit/V_9_bg1.99978306009235452150.91075.5666666666666
BASE/futoshiki4/BaCwSw2.02489157544957690.6341.0552981567281
DRESDEN/peg/Vo31eg2.0532755620437957703.2342.4771681887874
BASE/factoringMediumTurtleBrain/8RBqmQ2.0851194283453207995.3333333333334477.35075497483416
DRESDEN/tictactoe_orthogonal/y69QFQ2.12159363418356243892.71834.8
BASE/ticTacToeSerial/Amrwqw2.12451814232393051157.3666666666666544.7666666666667
BASE/snake_2009_big/-oRfVw2.128959847121303287.3808412772482134.98650134986502
DRESDEN/blockerparallel/dVQgSg2.13303943950248903.2423.43333333333334
DRESDEN/peg_bugfixed/u_B7MA2.1415863019014356735.8343.57709486034264
STANFORD/nineboardtictactoe/y28P-A2.158512363709812422.83847743483767195.8934702176594
DRESDEN/ggp-course2013_jordi/9QI6Kw2.1594441165290967184.7210185987600885.54100436535705
BASE/tictactoe_orthogonal/WRzlVw2.16885147542771953976.31833.3666666666666
BASE/breakthroughSmallHoles/bxclRw2.179899534819135697.6666666666666320.04533031131257
BASE/blockerParallel/7-nDJA2.1808645518630416914.3333333333334419.2526915769474
BASE/nineBoardTicTacToe/wRmqqA2.2049551052288483437.38959437389593198.36666666666667
STANFORD/tictactoe3/X7myng2.219001737482232809.71266.2
DRESDEN/tpeg/h-Scbg2.2476392368471765777.5333333333333345.93333333333334
DRESDEN/towerworld/HCX34w2.24920800340688440.3892295387896617.957089552238806
DRESDEN/Zhadu/9zpQ5w2.253125627874250657.7320274501965525.623084099693457
DRESDEN/tictactoe-init1/3ltIBQ2.2762161650577323206.7333333333331408.8
DRESDEN/snake_2009_big/DgC1NQ2.279715807903952303.8133.26222459251358
BASE/tictactoe-init1/7M19vA2.29994224938639973186.03333333333331385.2666666666667
BASE/simultaneousWin2/PfjRjw2.3152390119250431087.2469.58434718842705
BASE/othello-comp2007/86ZoMw2.31856765450853565.09303951266602352.196631831192172
BASE/tpeg/QNs7Lw2.3469603549122633789.1336.2221259291357
BASE/ticTacToeLargeSuicide/727_8g2.3611000625035511385.1586.6333333333333
STANFORD/triplesukoshi/Iu9mbA2.3672697536542984771.9666666666667326.1
BASE/ticTacToeLarge/TZC0dg2.3752969121140141400.0589.4
DRESDEN/sheep_and_wolf/enAIzQ2.399473207411757817.2333333333333340.58864704509847
BASE/cephalopodMicro/9l2D3g2.43537564933676751.5041476496651921.148338106973956
DRESDEN/javastrike/whONTQ2.474209391250513269.04873008466103108.7412936981371
BASE/pawnWhopping/Ypc_6Q2.4791919547454433657.3333333333334265.14015265140154
BASE/lightsOnParallel/SC6enA2.48281853723221823619.8666666666671457.9666666666667
BASE/connectFourSimultaneous/7ITr3g2.491122258564297482.3193.607518997467
DRESDEN/snake_2009/zIYLVw2.4944877254299653412.1725218318779165.23333333333332
BASE/snake_2009/7l-qAQ2.523489932885906413.5724285047663163.88907406172922
BASE/ticTacToeNoVars/XT03NA2.5811412282456493440.83333333333351333.0666666666666
DRESDEN/brain_teaser_extended/ZDp94A2.59239622983505543813.93333333333341471.2
BASE/brain_teaser_extended/ZDp94A2.6075714007740044020.2666666666671541.7666666666667
BASE/othelloSuicide/B442jg2.61293480396412345.0019875447197561.9143177767509407
BASE/numbertictactoe/rvJ-iQ2.6252138.5814.6666666666666
BASE/chickentictactoe/DSlZCA2.67312481020346172934.21097.6666666666667
STANFORD/tictactoe5/WFRReg2.70425677995193953151.01165.2
DRESDEN/chickentoetictac/cxYaRQ2.7059351307702664021.21486.0666666666666
BASE/haystack/UkweGA2.725104426097699837056.33333333333613598.133333333333
STANFORD/tictictoe/rpt_Dw2.75460897002479132037.0333333333333739.5
STANFORD/trifecta/ss1kyQ2.77376673105699873398.11225.0849943337112
BASE/chickentoetictac/l57rfQ2.78372539606337054252.2333333333341527.5333333333333
BASE/ticTacToeParallel/ymRGPw2.81129274899691861409.0666666666666501.2166261124629
BASE/ticTacToe/JRFsaQ2.8748790534376473466.43333333333341205.7666666666667
DRESDEN/stratego/Z2wovg2.887672867674232643.8118729375688222.95180321311912
DRESDEN/tictactoe_3d_small_6player/llDEDQ2.9131745183447815579.5666666666667198.94677198946772
STANFORD/tictactoe7/-bE9-A2.9265686015443793322.53333333333331135.3
BASE/strangeSkirmish/gc1zKA2.93779641149085342.0761568444548114.322352862805182
BASE/tictactoe_3d_small_6player/g_9lww2.952400289855072588.4333333333333199.30675909878684
BASE/golden_rectangle/_nYzfw2.9872595222295955300.1100.45996933537764
BASE/skirmishHoles/AUCxCA3.04668326217899947.18112754898040615.486062543710661
STANFORD/tictactoe/ss1kyQ3.04810695304366863708.7333333333331216.7333333333333
BASE/tictactoe_3d_small_2player/oOryKA3.0550024888003984818.3333333333334267.8666666666667
BASE/ticTicToe/c1OobQ3.0596979943651212135.7698.0100663311223
BASE/toetictac/mTThmg3.1268572421583114798.2666666666661534.5333333333333
BASE/3pConnectFour/PqXOFQ3.1331639333221086620.2197.9468719794687
BASE/blocks/xIV5hQ3.13487645520028758428.5333333333332688.633333333333
DRESDEN/tictactoe_3d_small_2player/HYttcg3.1360098826436076846.2269.8333333333333
DRESDEN/toetictac/mJtxCA3.152263642683354836.8333333333331534.4
DRESDEN/pentago_2008/hLjVpQ3.181394207167403432.03333333333336135.8
BASE/queens31lg/0gID-A3.18397509482930733.36061755506754521.0554785935747741
BASE/blocksWorldSerial/Wyg96Q3.18731462468628823725.33333333333351168.8
STANFORD/multipletictactoe/_bkafQ3.2451336192675684655.7114762841238202.05993133562214
BASE/othelloHoles/c0qAzw3.27444100081595756.3299529396168891.9331400193314001
BASE/blocker/dIWtxg3.3034404444035243587.8666666666671086.1
BASE/blocksWorld/SEdXLQ3.30672031103892968958.5666666666682709.2
DRESDEN/blocks/vg0DRw3.31993538698401038769.1666666666662641.366666666667
BASE/nonogram_10x10_1/0Xc62g3.34480152436733437.6320789307023111.250915385127488
DRESDEN/connectfoursuicide/M9CNQg3.371036582714939999.3666666666667296.45678477384087
DRESDEN/blocksworldparallel/2JfVaw3.4095433717806922877.2843.8666666666667
DRESDEN/babel/WdSW4A3.483496047473155307.8794747016865588.38232353529294
DRESDEN/2player_normal_form_2010/NG_Kdg3.53576110425663176113.5666666666671729.0666666666666
BASE/lightsOn/MsXu3A3.53621442772351958122.5666666666672296.9666666666667
DRESDEN/lightson2x2/gBHuig3.5630174793008285809.51630.5
BASE/factoringEasyTurtleBrain/lUj94Q3.57259284413299173857.56666666666661079.7666666666667
DRESDEN/connectfour/5tc-Mg3.65815288166646771020.3666666666667278.92947606985734
BASE/lightsOnSimultaneous/_VN6lw3.6665017514798131844.4333333333334503.0498983367221
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw3.74092645654250241044.4666666666667279.2
BASE/catcha_mouse/cHv4dw3.74267289193704361418.8379.0873637545415
DRESDEN/catcha_mouse/cHv4dw3.7454064224492191417.6666666666667378.508099460036
DRESDEN/tictactoe_3player/ESLQQQ3.8003196968611355964.8690087327511253.89153694876836
BASE/hidato19/rRHSmA3.8550219072997414530.4333333333333137.59541348621713
BASE/lightsOnSimul4/9FeASw3.88356503067484661413.7364.0211992933569
BASE/connectFourSuicide/c8p9Kw3.93065556552578731022.0333333333333260.01599893340443
BASE/blockerSerial/3eqDuw3.93097013220613431456.9370.62097930068995
DRESDEN/blocks2player/3ev8nQ3.96303234192216546911.01743.8666666666666
BASE/incredible/8Qh-6Q3.99325950890707753317.6830.8
BASE/connectFour/WAIKTw4.013411672925607997.4333333333333248.52504916502784
DRESDEN/8puzzle/8fKC2w4.0214041440354053331.733333333333828.5
BASE/blocks2player/wnTLOQ4.0656280159933836880.5333333333341692.3666666666666
BASE/survival/YVIjJA4.17420739762219328649.5333333333336863.466666666666
BASE/connect4/50bOyw4.291445758435825453.5105.67534242010197
BASE/circlesolitaire/azuQFQ4.3006347490038247159.2666666666661664.7
DRESDEN/circlesolitaire/ruUilQ4.3101979604079197185.11667.0
DRESDEN/skirmishfinal/hzq8ww4.3446623577740464.9406903905104714.947235260827592
STANFORD/connectfour/VMpZkQ4.3471108649035021013.5233.14335233143353
BASE/skirmishFinal3/-Olhfw4.34781236344465569.6286914205719716.014649575495255
BASE/skirmishFinal2/gdB62Q4.34876790913578963.6348492420456514.632845571814272
DRESDEN/connect4/T0-rHQ4.388182544797998455.51814939502015103.80565182617968
DRESDEN/golden_rectangle/1uloXw4.411698566539375282.7239092030265564.0850468224081
BASE/skirmishFinal1/ecWTnQ4.44325965418934463.978673775408214.399040063995734
DRESDEN/troublemaker01/C-lPWw4.47163104337345719540.1333333333354369.8
BASE/tictactoe_3player/GtM71g4.535820605370944943.6018799373354208.03333333333333
BASE/troublemaker01/s3tlEQ4.56757577598250620052.2666666666664390.133333333333
BASE/mineClearingSmall/frsbvw4.582580713281034343.143790413972474.88003199146894
DRESDEN/troublemaker02/iZLVuA4.78974730015810617873.93731.7
BASE/onestep/xi53wA4.80684217547507434831.57246.233333333334
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg4.8085419145132455986.1333333333333205.07949205079493
BASE/factoringMutuallyAssuredDestruction/NH0LGg4.810600968002154770.833333333333991.7333333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg4.83026191588785964.7199.72001866542232
BASE/connectFour_9x6/B9TtMw4.832430477150538958.4666666666667198.3404978506448
DRESDEN/battlesnakes2011/93VtTw4.8520407047124941246.7666666666667256.95717380436594
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ4.867268329868331014.4333333333333208.4194387040864
DRESDEN/battlesnakes1509/-qZrLw4.8755263649995581228.2666666666667251.92493583547216
STANFORD/untwistycomplex/HTWEwg4.94386021679339912223.22472.4
DRESDEN/sat_test_20v_91c/dK7nVw5.0611504498500491012.5200.0533297780148
STANFORD/jointbuttonsandlights/qAKuIQ5.06537804142368756717.3666666666671326.1333333333334
BASE/troublemaker02/DI83KA5.07103011932694918514.53651.0333333333333
BASE/factoringImpossibleTurtleBrain/kcBhdw5.09096055209729514.4749101557300682.843257182530499
BASE/stateSpaceSmall/Q7osKA5.21115140049398316527.1666666666683171.5
BASE/dualConnect4/WbCQkg5.227180648567946594.7342109648392113.77724455108978
STANFORD/dualrainbow/G3OnRQ5.2907830960315064657.3880.2666666666667
DRESDEN/statespacesmall/h-NqjA5.31342486970718116923.9666666666673185.133333333333
BASE/hodgepodge/9yjRkw5.3195107903919785233.866666666667983.9
DRESDEN/mimikry/GJEhwA5.354449588867805846.2158.03678528588566
BASE/nonogram_5x5_1/qLKEZw5.376099863337889268.724375854138249.985004498650405
BASE/coloredtrails/EZvr7g5.43268712977921452690.266666666667495.2
DRESDEN/grid_game/U7_Yeg5.4685228864218621067.1666666666667195.14715195147153
DRESDEN/tictactoe_3d_6player/ulZPWg5.481849647443397230.3436323034363242.01932689103632
BASE/duplicateStateSmall/bCPAXw5.48657713489116813250.2666666666662415.0333333333333
BASE/switches/tPUoCg5.647195795356263511317.7333333333342004.1333333333334
BASE/buttons/hTcUjw5.65860049848065822097.9666666666673905.2
DRESDEN/logistics/fPru1Q5.69988700564971751681.4666666666667295.0
BASE/skirmish/Y_psYQ5.71040181248750644.612514160058647.8125
BASE/connectFourLarge/aU644A5.732634338138925729.0127.16666666666667
DRESDEN/buttons/ADUaHw5.76392849867590122636.13927.2
DRESDEN/ggp-course2013_nicolai/uEin8g5.796133032046063151.8898740083994326.205380927011188
DRESDEN/cube_2x2x2/fp-34Q5.9062785307205872521.7426.95243491883605
STANFORD/breakthrough/d5j0cQ5.9189661094492341121.1189.4080789228103
BASE/pentago/86NgKw5.944765950601108441.6519449351688474.2925707429257
BASE/firefighter/WJmoPw6.0065504960569836296.4666666666661048.2666666666667
DRESDEN/statespacemedium/dVJZ_w6.01401341568705712073.7333333333342007.6
DRESDEN/chinesecheckers6-simultaneous/gPPGUw6.021015761821366343.857.1
BASE/stateSpaceLarge/0Ge_CQ6.0454426307637328456.5666666666681398.8333333333333
BASE/tictactoe_3d_6player/d7KSwg6.0607279766860955242.339.97869578243068
BASE/tictactoe_3d_2player/IUC1rQ6.077938295696285272.4970003999466744.83378855505962
DRESDEN/backgammon/mqCW0Q6.089622685590432303.913072461835949.906716417910445
STANFORD/dualhunter/1rPZjQ6.1070419959963842101.5666666666666344.12186260457986
DRESDEN/firefighter/WJmoPw6.1223208415516116208.0333333333341014.0
DRESDEN/crisscross/GsY16g6.1253445531846621272.6207.75974134195528
BASE/crisscross/ICagEg6.1254425725789371284.6666666666667209.72634245525148
BASE/stateSpaceMedium/3bUoIw6.18322723028605412140.7666666666661963.5
BASE/hidato37/pBrqxw6.185594248513605110.6852419677376417.894035321559482
DRESDEN/tictactoe_3d_2player/LMuX9w6.1866915951286465283.490550314989545.822641383677144
STANFORD/rainbow/_4qNSQ6.259881559013919090.61452.2
BASE/pentagoSuicide/SBgNhw6.2761403194691985463.473971872292273.84697414022928
DRESDEN/statespacelarge/8-y5HQ6.3459578100231688673.8666666666671366.8333333333333
DRESDEN/othello-cornercontrol/r5Gdlg6.4314361097707143.5062185763429480.5451688419972421
DRESDEN/uf20-020.cnf.SAT/hDrW_A6.5034427008547021056.6333333333334162.47292117980336
DRESDEN/amazons/dNB28A6.58675398862196737.3701039168665055.673523556735236
DRESDEN/sat_test_20v_91c_version2/a1mPBA6.5966055405405415976.2147.985201479852
BASE/eightPuzzle/vLrgFg6.8024680512682863378.9496.7167761074631
DRESDEN/uf20-010.cnf.SAT/5ICbCg6.86967778013732661078.1666666666667156.94574056792428
DRESDEN/3pttc/uwYBZw6.8951567306239611521.2220.61862542497167
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA6.9037700181159421016.1333333333333147.18528147185282
DRESDEN/Thief_Police/CX18rA6.9246224045842036525.533333333334942.3666666666667
DRESDEN/Catch-Me-If-You-Can/ghGWrA6.9699538843561556549.433333333333939.6666666666666
STANFORD/8puzzle/jNiGtw7.0294969712931273558.8506.26666666666665
DRESDEN/uf20-01.cnf.SAT/42Rs8A7.1727824488858271040.6666666666667145.0854914508549
STANFORD/eightpuzzle/W_aWbA7.229542447245633460.3478.6333333333333
BASE/englishDraughts/jFkQxg7.378005405405405664.290.02433090024331
DRESDEN/CatchMeIfYouCanTest/CX18rA7.40840502044845557004.4945.4666666666667
DRESDEN/catch_me/ghGWrA7.6448427605452397122.7931.7
DRESDEN/3pffa/0YrmQw7.7024619276734441654.0666666666666214.74519214745192
STANFORD/pentago/ZxzLmg7.78276121848342598.913369554348276.95384102649558
BASE/untwistycomplex2/EDPPAQ8.04514016150199222682.22819.366666666667
STANFORD/hex/MTqWcw8.077040938303199192.5409945340621223.838060993474496
BASE/hexPie/48CH6Q8.08246286760678194.9008498583569324.11404209965361
BASE/snakeParallel/RCVNtw8.1178566366327434174.333333333333514.2161927935736
DRESDEN/oisters_farm/pTQMLg8.1585547924753669107.6666666666661116.3333333333333
BASE/checkLines/Vop7oQ8.1861929270127921208.6666666666667147.646980402613
BASE/hex/T1MK8g8.296606556367692206.226459118029424.856723977075838
STANFORD/untwistycorridor/EDPPAQ8.42266970648268723520.8666666666652792.5666666666666
DRESDEN/capture_the_king/EQ229Q8.479338842975206120.8677685950413314.25438596491228
BASE/queens08lg/Ru7eqQ8.684664792137852348.2550581647278740.1
BASE/pegEuro/5awwhg9.015550900252887603.479884003866666.93766034718288
BASE/rubiksCube/9tNO9Q9.082356404136835761.083.78882815624583
BASE/maze/cCX3qQ9.19724049185015817153.4666666666671865.0666666666666
STANFORD/bestbuttonsandlights/nm0wEA9.25905053269999811500.6666666666661242.1
STANFORD/hunter/14dD-g9.3311219224531924219.533333333334452.2
BASE/breakthroughSmall/HJ0tIA9.458813328424153856.166666666666690.51523028727588
BASE/breakthroughSuicideSmall/XSbJog9.666538141384024864.366666666666789.41843026162306
BASE/connect5/d-BVQg9.816351436739792455.1514949501683446.36666666666667
STANFORD/3puzzle/41ibjA9.8432220708446879633.233333333334978.6666666666666
BASE/cittaceot/fDxhXg9.935447226890757985.166666666666699.1567509915675
BASE/escortLatch/mX9BjQ10.026706135458166838.733333333333383.6499366793308
STANFORD/threepuzzle/41ibjA10.1064216408955319825.8972.2333333333333
DRESDEN/point_grab/r5DPmQ10.11676697363014613952.0333333333331379.1
BASE/connectFourLarger/qKi60A10.444693448306552468.3843871870937544.84424454439447
BASE/duplicateStateMedium/U163eQ10.5167294746938167918.833333333333752.9749008366388
BASE/asteroidsSerial/id2QkA10.524799201685333164.0300.62331255624815
STANFORD/bestbuttonsandlightsbig/g0JC6g10.576500133176069265.366666666667876.0333333333333
DRESDEN/chinesecheckers1/Y-ftaA10.675944718058531994.2186.79377354088197
DRESDEN/knightwar/7hhAqg10.9889063139560191682.2333333333333153.08469153084692
BASE/peg/fJHVWw11.034918066534914744.166666666666667.43744377436444
DRESDEN/aipsrovers01/qS47Mw11.0433583959899754406.3399.0
BASE/aipsrovers01/4C4jsw11.052339949769784400.233333333334398.12685398126854
STANFORD/buttonsandlights/eyhJpA11.09036150585888937069.533333333333342.5
DRESDEN/frogs_and_toads/GjchhQ11.099657362810897936.984.40801093005432
BASE/gt_dollar/TGjqRw11.1015472435030797390.3665.7
STANFORD/multiplebuttonsandlights_9/SqB9BA11.1376096790015813624.2666666666661223.2666666666667
DRESDEN/chinesecheckers4/-oVNYg11.297167290219136704.566666666666762.36666666666667
STANFORD/multiplebuttonsandlights/cK70Yg11.31267194893804313706.4333333333321211.6
BASE/tron_10x10/7ZTgDg11.5387560340098732804.5243.0504633024465
DRESDEN/chinesecheckers3/QsCb2A11.7497273599041071306.7111.2110911151103
DRESDEN/chomp/-LcqYQ11.824675499505442656.4333333333334224.65168988734084
BASE/chomp/-LcqYQ12.118288516032812708.1666666666665223.4776522347765
BASE/asteroidsParallel/WauZiA12.1533873804176023246.4666666666667267.1244291856938
DRESDEN/minichess/c7GMFw12.5533977011494251189.066666666666694.72070390614584
BASE/brawl/6Ymo_Q13.268338179956109160.450621604506212.092744353387967
DRESDEN/brawl/2kXtfQ13.8018300442683161.65050161650511.712251281027484
BASE/battlebrushes/arCwyA14.04383005342877266.924410078656184.765395894428153
DRESDEN/4pttc/9pB9AQ14.0623592342342351179.166666666666783.85269121813032
BASE/chess_200/XsTpYA14.17046937834655345.0243284676398053.177335010260144
DRESDEN/breakthrough/z4hK7Q14.4107475788816512.166666666666635.54060355739124
STANFORD/pilgrimage/ObRZnQ14.506803197538098637.412086263791343.938838735467534
DRESDEN/breakthroughsuicide_v2/LU1nAw14.575566101694918515.735.381130063965884
BASE/beatMania/qUHwvQ14.667485926660067399.5504.4831838938702
DRESDEN/chinesecheckers2/06E6-Q14.7309982848869581469.466666666666799.75336621783762
BASE/quad_5x5/JAEP5g15.04700439121756483.533333333333335.551492586929061
DRESDEN/quad_5x5/JAEP5g15.56696054095694790.373477132015185.8054670912951165
DRESDEN/skirmish/RjGQYQ15.795983348644635265.99113362887916.83916270092183
BASE/breakthrough/TGxk-g16.12761584297231510.666666666666731.664114004128653
BASE/minichess/8NQEiA16.349766763942931680.7102.79657344755175
BASE/breakthroughWalls/vOZaYA16.38677764368948519.149361687943731.680991405156906
BASE/reversiSuicide/9OxJlg16.4400733713912129.8328560964240521.8146425154244614
BASE/reversi/d8UMeA16.52998050454893830.559536108241411.8487339473771087
DRESDEN/SC_TestOnly_enabled/09o7gQ16.5406963449629963650.1666666666665220.67793220677933
BASE/endgame/jYjfOA16.81812809090909616.233333333333336.6410179540988
BASE/breakthroughSuicide/wZDpIg17.143520903361345543.966666666666731.730160317301603
STANFORD/skirmish/w4V6Vw17.165558719796341.0018985444492542.388614271970275
DRESDEN/skirmish2/iPpWhQ17.188334599033677296.123462551248317.22816488386817
DRESDEN/endgame/IJhh3Q17.280565846994534421.2666666666666524.378059746228395
BASE/duplicateStateLarge/dcjyuw17.313896430878554764.466666666666275.1816545563629
BASE/asteroids/BKCmPQ17.4902901517348048042.933333333333459.8513382887237
STANFORD/alquerquezero/uVgA_A17.555438835925741165.866.4067706250833
DRESDEN/pawntoqueen/f_x6Aw17.6330940535296822.8468660494238341.2956810631229236
DRESDEN/chinesecheckers6/yTbPDA18.09596354799514992.666666666666654.85569552756115
BASE/ttcc4_2player_small/Cv72TA18.355486862442041187.664.7
DRESDEN/crissrace/KWb9bw18.605666899441342887.666666666666647.70947859403631
BASE/pawnToQueen/-O1_JA18.70529612057327323.4525951096009071.2537943777220535
STANFORD/madness/UO_B3A18.7758447184271943.3522159280239952.3089355806972987
BASE/knightazons/apnJBQ19.38535034373236254.849676688220813.146508686680423
BASE/crissrace/ERWGDA19.71212801393728942.347.80305806322662
DRESDEN/bidding-tictactoe/yW5vTA19.7473310294117652685.1135.97280543891222
DRESDEN/knightazons/02I8BQ19.914045674786735266.1577947401753513.365330133653302
STANFORD/freeforall/Lfp40Q19.9439460862619781664.183.4388537154282
BASE/shmup/ssTNlg20.092800681198912949.0333333333333146.77064587082583
BASE/choicethroughalt/tt71Lg20.275151598173515493.0333333333333624.317121918720854
BASE/point_grab/V_osUg20.6082601508295614421.866666666667699.8100063331223
BASE/chineseCheckers4/avfBcQ20.833814812744551242.159.619422134835204
BASE/dotsAndBoxes/EHwA_w20.914740946969697613.233333333333329.32062772798454
BASE/dotsAndBoxesSuicide/jzQbLw21.25288536359133615.779474017532728.97392346887801
BASE/biddingTicTacToe/8mESVw21.322181243414122697.9666666666667126.53333333333333
BASE/hallway/ckCJOw21.647604725897924381.317.61395797955582
DRESDEN/hallway/0H4l-Q21.870813501618912380.387320422652617.392463265918103
BASE/gt_centipede/9fRMpw22.33112175102599310882.7487.3333333333333
BASE/2pffa/6oHijA22.982491206261511663.433333333333472.37828651404578
BASE/4pffa/Q3ADlg23.0906631162507631263.966666666666754.739297018157586
DRESDEN/god/2EDD5w23.275656862772905108.685508598853494.669492648032852
BASE/breakthroughHoles/nZk0Sg23.503824646892657739.266666666666731.453037017292505
BASE/racetrackcorridor/_RkdUg23.6359007690864761399.566666666666659.213595468177274
DRESDEN/racetrackcorridor/O0DoTA23.679816953693071374.366666666666658.039581528619976
BASE/3pffa/pR0dzA23.691240325464951471.966666666666762.13126229125696
BASE/god/qF06gw24.063072281579625109.555711095557114.552856335781463
STANFORD/checkersonabarrelnokings/Zrevdw24.178576834324105589.780340655311524.392682195341397
DRESDEN/breakthroughsuicide/Y9QzqQ24.707363075506446893.936.17949828430556
DRESDEN/tttcc4/sAvtFg24.89843257846643696.233333333333327.96293827489668
BASE/copolymer_4_pie/IN5_jA25.3848635216462851452.666666666666757.225703239568055
BASE/tttcc4/8Bs2lg25.417718792212952710.233333333333327.942449876773463
BASE/chinook/XQh0IQ25.92198595744681608.723.481997135529426
BASE/ttcc4/Le0qjQ26.09391881390593708.766666666666727.162139643392766
STANFORD/chinook/osFbPA26.194774747818485562.681243958534821.480667399340593
DRESDEN/skirmish3/3LU8Nw26.84888605706874459.5666666666666617.11678710579773
DRESDEN/knightstour/cGISAA27.53760250198238814662.366666666667532.4489183693877
BASE/chineseCheckers1/gqtwHw27.8359178926441373733.6134.1288623712543
BASE/2pffa_zerosum/o0_uZA28.0425110873440281747.866666666666662.329178054796344
BASE/checkersTorus/2vm1EQ28.043767061477723552.333333333333419.695404405638683
BASE/chineseCheckers2/eCMR3Q28.1995608187134472892.6102.5760655846969
BASE/checkersBarrelNoKings/rnKNeg28.220523268698063678.766666666666724.052235325471383
BASE/checkersTorusNoKings/pwb6oQ28.968387677053826681.723.532548915036166
BASE/copolymer_4/2LDVhQ29.224497735399291634.133333333333455.91655836582358
BASE/chineseCheckers3/-1rZdQ31.3568241548042722348.966666666666774.91086007531074
BASE/skirmishNew/sibw2g31.76665953784977170.027665744475175.352393617021277
BASE/speedChess/bPnisA31.862965027481795158.178909478736164.964349970013993
BASE/chineseCheckers6/rREH3A32.203768842729971446.733333333333344.924348463640605
DRESDEN/Goldrush/VeWczQ33.0506647692307641432.143.3304446370242
BASE/wallmaze/uxNQ9g34.67182001836547838.666666666666624.1887119344306
BASE/queens06ug/7Lq3tw34.9949767765567762653.166666666666575.81564301662945
DRESDEN/gt_prisoner/huCp4w35.312629995017447086.3200.67324356752434
DRESDEN/knightthrough/J7Fc_Q37.672817777777781261.366666666666633.482142857142854
BASE/ttcc4_2player/_aH_Mw38.24301309697444786.940435318822720.577364898611528
BASE/ruleDepthLinear/OUBJpQ39.4178268458010332371.233333333334821.2333333333333
DRESDEN/pacman3p/rBnk8Q40.13182176966292952.366666666666723.730960237309603
BASE/sheepAndWolf/g4THrg40.70748801560758810.166666666666619.902153293174027
BASE/amazons_8x8/7SOsIw41.35590398160438391.02029932335599.455005493225022
BASE/roshambo2/KNPokQ42.6731341789241913344.866666666667312.72290923635876
DRESDEN/roshambo2/jgSlkQ42.7686512503923813624.666666666666318.56666666666666
BASE/pacman2p/4LEdQg43.14087715472482921.433333333333321.358706500765187
STANFORD/platformjumpers/HEQskA43.23538555235386236.376362363763635.467196819085487
BASE/pacman3p/wW7UVQ43.45021310156955923.302556581447321.24966693312017
DRESDEN/bomberman2p/x4h6jQ44.139118666666671250.066666666666628.32106087362143
STANFORD/ttcc4/Cx9SGw44.16198205928237943.521.364530213645303
BASE/gt_coordination/IVMOzA44.278104702808629037.733333333334204.11292204112922
BASE/queens08ug/kJ_ZFQ44.388536983842011647.837.122196674331036
DRESDEN/gt_chicken/CeuKtw44.802083357215977294.3162.8116251166511
STANFORD/knightstourmedium/x1wu8Q45.85620711166562614701.5320.6
BASE/bomberman2p/4CClwA47.732779097387171339.728.066666666666666
BASE/ttcc4_2player_alt/ZEJvYA49.841034782608695955.019.160918391149323
BASE/knightsTour/mvtVIg50.3056491652274113592.133333333333270.19099363354553
STANFORD/knightstour/cEwgNA51.74397911970578414538.333333333334280.96666666666664
BASE/2pttc/unkkYA51.9474806941431741596.230.72718789575418
DRESDEN/mummymaze2p-comp2007/oTQRQg52.347010431100841511.033333333333328.86570447651745
BASE/gt_prisoner/klthDw53.725714531227158161.366666666667151.9080153307782
BASE/mummyMaze2p_2007/YGA3Vw54.603565925101961635.033333333333329.94370982246944
BASE/gt_staghunt/xPjLRA54.941617173013848559.333333333334155.78961402573162
BASE/knightwar/DVGY4Q55.691388368794331744.066666666666631.316631130063964
BASE/kitten_escapes_from_fire/uW-YiA59.69021014175074536.93333333333376.00799733422193
BASE/queens12ug/u6Bkmg59.77328140703518792.213.253413253413253
BASE/gt_chicken/gmepTQ59.9143525863580567592.133333333333126.71643780829223
BASE/3pttc/0sol9g62.374357706093191353.433333333333421.698553429771348
DRESDEN/kitten_escapes_from_fire/uW-YiA63.452880034497644903.677.2793921620901
DRESDEN/Runners/3bOCQw64.1404901141743315355.233333333334239.4
BASE/queens16ug/gT-ylw66.15345820130953436.852104929835666.603617056578729
DRESDEN/quad_5x5_8_2/JRTLJg67.75050547263682150.566666666666662.222369643094069
DRESDEN/connect5/1kYzSg69.59490593932209464.989168471921356.681367870190567
BASE/4pttc/AL1k2Q72.293445794392531029.533333333333314.241032807612964
DRESDEN/smallest/9kaGFw72.738049028971672536.86666666666734.87674883411059
BASE/mummymaze2p/vpjDdA75.513724175824181143.515.142942723067195
DRESDEN/ghostmaze2p/HY0UwA75.650421708542722507.066666666666633.14015454303224
DRESDEN/mummymaze2p/k-8edg76.156429646017711145.415.040095830699098
BASE/amazonsSuicide_10x10/XIbQkg77.1943053917952298.107045257615143.8617750848924697
DRESDEN/snake_2008/E56l3A79.2324148148148403.466666666666645.092191972309126
BASE/amazons_10x10/Bun8dA81.63614784269096302.756574780840653.7086092715231787
BASE/snake_2008/i6K26g83.05486966223933419.552681577280745.051512130275839
BASE/snake_2008_tweaked/bX0NJQ84.87481359649122428.33333333333335.0466482950961185
DRESDEN/bidding-tictactoe_10coins/mu5VhQ85.242260970231542576.930.230310302303103
BASE/ghostMaze2p/W-NU-w85.941456792873052571.429.920367840602406
BASE/biddingTicTacToe_10coins/a-9ccQ90.501099882629122568.433333333333428.380133906265613
BASE/battle/8oAvhQ94.6810339465031691.209010930418560.9633292659430993
BASE/knightThrough/gcwFjA95.731278097982721105.633333333333411.549342652687635
DRESDEN/battle/8oAvhQ95.7602800000000192.40.9649094593290662
BASE/smallest_4player/ADDROA105.521674046740473811.833333333333536.123700346574246
DRESDEN/smallest_4player/ADDROA106.563776761207693880.533333333333336.41512577044811
BASE/checkers-mustjump-torus/uSApKQ120.15652441352395175.521631891207251.4607748746721556
BASE/knightsTourLarge/M8jgLA129.9479899736703613699.466666666667105.42269002731331
BASE/amazonsTorus_10x10/Uxc08g130.6857046409672204.686354243050461.5662490002665956
BASE/kalaha5x2x3/WviNsw148.282696969696962443.016.475287069395907
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw148.96444163028627191.055420401906221.282557221783741
DRESDEN/four_way_battle/xSOQXA151.578990887787260.31597893473771.7173618679612932
BASE/four_way_battle/xSOQXA152.39399720158704257.507582575075841.6897488569345969
BASE/checkers-cylinder-mustjump/rjr6qQ153.9035285660623189.81435189814351.2333333333333334
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg160.193182320442965.53333333333336.027306027306027
STANFORD/knightstourbig/TQUI2g173.223254275741713232.93333333333276.3923607639236
BASE/checkers-mustjump/T-8UuQ179.20526228070176225.766666666666681.2598216357789345
BASE/wargame02/BkVqqQ201.1291987236789439.45201826605782.1849240242327936
DRESDEN/nim4/F5YAYg237.17059587813627346.16666666666730.97418817651957
BASE/nim4/twk16w241.976527038626597515.431.05838443081845
BASE/knightfight/SJRkAg242.00357525392432911.333333333333512.030125299920021
DRESDEN/knightfight/4_Ly4w244.83526483058.312.4912561207155
BASE/nim3/1OwUqw246.885543243243237608.530.81792437114776
DRESDEN/nim3/sG_axA247.496241746538897739.66666666666731.27185533020282
BASE/nim2/eF2Qqw285.02870218818388677.830.44535491822391
BASE/crossers3/O0rORg286.5389166666667948.33333333333343.3096144299189145
DRESDEN/nim2/z5_exA289.221676243093958723.430.161639726712213
DRESDEN/crossers3/xiPTxg297.5723380952381969.03333333333333.256463082341995
BASE/wargame03/klXI8w312.1538476190476646.62.0714144801736043
BASE/guess/SPpk1A318.7535480519481816.82.5624812805750605
DRESDEN/guess/PhxGhg319.58800482456144801.63333333333332.508333608369913
DRESDEN/nim1/M9BALA332.299559117305539525.56666666666828.66560127846584
BASE/nim1/hin2Qw332.474215745007659619.26666666666628.932368921035966
DRESDEN/small_dominion/yB5GJA339.1067640656582132.571466648897170.3909431503502199
BASE/quarto/EwBMVQ340.13423361408.44.140718166158739
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg341.58304723175894190.960301323289230.5590450195665757
DRESDEN/battlebrushes/QHXV4A341.722787018210592.196926769107690.2698003477426704
DRESDEN/quartosuicide/WIU1oQ341.892700800000061415.44.139895343445717
DRESDEN/checkers-cylinder-mustjump/vW_-pA345.46024451641745193.70750566591120.5607230028365987
DRESDEN/quarto/OQzRYQ346.205993442622971403.64.054233683370995
DRESDEN/hanoi/RQ0jiA347.138582677165357347.76666666666621.166666666666668
DRESDEN/gt_ultimatum/pAiiQw348.38730269865077737.322.208903539439948
BASE/quartoSuicide/-23jUg361.69624751436.33.9710116152089743
BASE/hanoi/iGLsJg362.529634285714347611.620.995800839832032
BASE/skirmishZeroSum/zh4hcw363.724056165812164.6502016465020.4526788889966696
BASE/gt_ultimatum/GE-uOA387.005482306477068163.36666666666721.093671898430472
BASE/wargame01/_GZFZg392.7230686868687853.63333333333332.1736266631537347
BASE/checkers/rOC3Xg424.9133260869565320.50.7542714721411472
BASE/hitori/S8Gsyg432.363115.066666666666660.2661343978709248
DRESDEN/hitori/S8Gsyg436.8684811790627120.213297783702710.27517045280826735
BASE/kalaha6x2x4/XS81Mg493.05335357142862293.54.651626407947636
BASE/checkers-newgoals/0XkFiA526.3765112591485232.792240258658040.4422542330048016
BASE/checkersSmall/SYmq8w538.552168744306425.00499966668890.7891621728265158
BASE/knightmove/jBaJEw667.80601097046421751.43333333333342.6226678175419957
DRESDEN/knightmove/97Ipcw670.37995738396631745.03333333333332.603051171373027
BASE/checkersTiny/Lr48cg760.8914065183334581.54728175727470.7642973448974845
BASE/cylinder-checkers/hlldmw781.7070333333334219.30.2805398834200929
DRESDEN/cylinder-checkers/clOO3Q782.5580144869573219.737368350886560.28079371022089106
DRESDEN/checkers-mustjump-torus/cVc3gA862.6396099567676186.441807758965470.2161294306533284
DRESDEN/checkers-newgoals/IJOqXQ865.3575391270211242.0505299646690.2797115862754848
DRESDEN/checkers-mustjump/HUr33w1043.6372099002922239.48403439770680.22947057859367317
BASE/max_knights/2fq3Ag1095.53106060606071197.51.093077177873468
DRESDEN/max_knights/hCipiA1135.09048857142851316.76666666666671.1600543568327202
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA1205.2352055555555459.63333333333330.3813640119494057
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g1295.6241705098448474.635024331711240.36633696339960703
DRESDEN/satlike_20v_91c/yeuENQ1360.805624778579497.61849248909170.36567933246900036
DRESDEN/satlike_20v_91c_version2/yd9ioQ1460.5836498101141476.380838163768430.32615786040443573
DRESDEN/pancakes88/aD3E7g1681.131911475409917074.43333333333410.156510156510157
BASE/blobwars/0XT15Q2041.9165111318491297.12704972670310.1455138092604988
DRESDEN/blobwars/ZaMluQ2066.551723218452292.51383241117260.1415468236892764
DRESDEN/pancakes6/SZXMyQ2114.64401489817821890.43333333333410.35182904503545
DRESDEN/pancakes/hl9aiQ2176.940390996784622527.06666666666610.348040194316896
BASE/pancakes/yUgbXw2367.55624460431721873.7333333333349.23894981721502
BASE/pancakes6/QZTdnw2411.577274939172622006.6666666666689.125424631985613
BASE/hanoi_6_disks/MeubgQ2636.880668755620.12.131344078859731
DRESDEN/hanoi_6_disks/MeubgQ2845.4675913.02.0780420226275687
DRESDEN/fizzbuzz/t1xHzQ2973.97714591836719373.86.514441453119288
BASE/racer4/0vs7Ww2992.2016222222223863.63333333333330.28862805464691166
DRESDEN/checkers/jIDMIg8490.556981433952245.391820272657580.028901734104046242
BASE/colonelBlotto/jip21A8558.8979636363643124.10.3650119458455004
BASE/gt_attrition/kD_SCA9402.7702142857142158.3666666666670.2295458271847844
DRESDEN/merrills/aYEzwA10887.059000000001205.30.018857250612860643
BASE/merrills/pku8Tg11180.28164789014200.98660089327380.0179768817300951
BASE/colonelBlottoVariant/X-n-KQ13973.8109571428586494.70.46477657526060684
BASE/colonelBlottoVariant2/jruwGw14411.1658666666666932.00.4810159055926116
BASE/pancakes88/l2Xaig14887.95366666666617653.71.1857707509881423
BASE/gt_tinfoil/Q8DyKg20984.62683333333210489.1666666666660.49985004498650404
DRESDEN/hanoi7/51zz5Q22770.9080000000036346.80.2787240631774543
BASE/hanoi7_bugfix/3gdnFw23229.1231481481486584.6333333333330.28346456692913385
DRESDEN/hanoi7_bugfix/3gdnFw24005.1742777777766744.50.2809602597321512
BASE/solitaireChineseCheckers/-ET6gw26580.50641713.60.06446829771459885
DRESDEN/racer/vk_ZBA26649.763111111112203.06666666666660.08266740148801323
BASE/racer/QQYQNw27450.1161111111142182.33333333333350.07950178879024777
BASE/ad_game_2x2/D0aWqg27651.58426666667813.06666666666670.029403981299067895
DRESDEN/kalaha_2009/gcC8uA49645.48472360.8666666666670.047554509356349715
BASE/kalaha_2009/dRiN3g52402.38522414.1333333333330.04606914979384055
DRESDEN/Travelers-Dilemma/PvZwYw56830.1856500000114686.70.2584313218762114
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA62743.16664823.80.07688167909587146
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A64471.44064975.80.07717835918808366
DRESDEN/vacuumcleaner_random/_6AGDA74490.676899999994233.2666666666660.05682948313585088
DRESDEN/vacuum_cleaner_1/eUNjpw111693.630533333345752.0666666666670.051498609537542483
BASE/twisty-passages/DiZmmg127615.023999999996747.8333333333330.05287648054145516
DRESDEN/twisty-passages/j7NPyg128469.530400000026771.5333333333340.052709255745308874
DRESDEN/vacuumcleaner_random_big/DwzFaQInfinity2615.40.0
DRESDEN/farmers/S_ASnwInfinity1118.66666666666670.0
BASE/amazonsSuicide/dE1QEQInfinity2.21458319561049780.0
BASE/amazons/RKKZjwInfinity2.32426868546003940.0
BASE/gt_two_thirds_2p/1APDGgInfinity2510.83333333333350.0
BASE/amazonsTorus/soxT8gInfinity0.280618608131703640.0

Games with errors:

GameGGP_BASE_PROVER:2015-04-26 error messageREKKURA_GENERIC_FORWARD_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