index

ALLOY_COMPILED_PROVER_CACHING:2 vs. PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1

Game-by-game performance:

GamePerf ratioALLOY_COMPILED_PROVER_CACHING:2 states per secondPALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per second
BASE/quad/tw-Ufg16.8759416503374725.2558240801219261.4965579167913798
BASE/onestep/xi53wA17.39915760711312368475.321177.766666666666
DRESDEN/quad/JPe6fg22.1039134054954233.238967527060781.5037593984962405
BASE/switches/tPUoCg26.4565478815088220003.833333333348315.666666666666
BASE/ruleDepthLinear/OUBJpQ29.190332370333497467139.716003.233333333334
DRESDEN/Runners/3bOCQw29.448198604817726331662.311262.566666666668
DRESDEN/sat_test_20v_91c_version2/a1mPBA30.9230961923847720574.166666666668665.3333333333334
DRESDEN/uf20-010.cnf.SAT/5ICbCg31.21364593020410221257.533333333333681.0333333333333
DRESDEN/sat_test_20v_91c/dK7nVw31.67902539493687521300.266666666666672.3775874137528
DRESDEN/uf20-01.cnf.SAT/42Rs8A31.74460431654676321474.166666666668676.4666666666667
BASE/survival/YVIjJA31.828936333664096497183.915620.5
BASE/eightPuzzle/vLrgFg32.220355701983685108880.13379.233333333333
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA32.3133655161213121000.833333333332649.9116696110129
DRESDEN/8puzzle/8fKC2w32.591944385157184106891.83279.7
STANFORD/8puzzle/jNiGtw32.86171096761275109413.066666666673329.5
STANFORD/buttonsandlights/eyhJpA32.87623890123145717704.733333333321830.5
DRESDEN/roshambo2/jgSlkQ32.90054089156035276963.33333333338418.2
BASE/roshambo2/KNPokQ32.90094677284328271170.78242.033333333333
DRESDEN/uf20-020.cnf.SAT/hDrW_A33.2968319211822621403.6642.811906269791
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ33.3182508351047725600.633333333335768.3666666666667
STANFORD/eightpuzzle/W_aWbA34.5268573528511112744.03265.4
BASE/racer4/0vs7Ww35.4602608045573723583.833333333332665.0778307389754
BASE/haystack/UkweGA35.51840523507729666166.633333333318755.533333333333
STANFORD/knightstourbig/TQUI2g36.85955550866543302787.733333333348214.633333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg37.792979140682426866.133333333335710.8763041231958
STANFORD/knightstour/cEwgNA38.43395214616945332077.03333333338640.2
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw38.6054823498303329199.9756.3666666666667
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg38.9707873977211928311.333333333332726.4757841405286
BASE/knightsTourLarge/M8jgLA38.97215838360624325589.08354.4
STANFORD/knightstourmedium/x1wu8Q39.11212095955386344129.38798.533333333333
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg40.0481720430107524829.866666666665620.0
DRESDEN/knightstour/cGISAA40.935575204627135348919.83333333338523.633333333333
BASE/troublemaker01/s3tlEQ41.36015743695894540830.933333333313076.133333333333
BASE/point_grab/V_osUg41.76284579672013403040.6959304079650.7
DRESDEN/point_grab/r5DPmQ41.79280271132156403646.03333333339658.266666666666
DRESDEN/Travelers-Dilemma/PvZwYw41.84104882325523377018.53333333339010.733333333334
BASE/nim2/eF2Qqw42.23999141043053242601.166666666665743.4
BASE/knightsTour/mvtVIg42.425262517737686348806.366666666648221.666666666666
DRESDEN/nim3/sG_axA42.588595305776906182781.733333333344291.8
BASE/nim4/twk16w42.634262438354455182122.24271.733333333334
DRESDEN/nim4/F5YAYg42.7278489495053180660.466666666674228.166666666667
STANFORD/multiplebuttonsandlights/cK70Yg42.81206201411339350058.53333333338176.633333333333
BASE/racer/QQYQNw43.00844480328190465698.266666666661527.5666666666666
BASE/ticTicToe/c1OobQ43.16918662399293578231.21812.2
BASE/nim3/1OwUqw43.22843884344978185689.24295.533333333334
DRESDEN/catch_me/ghGWrA43.24028039585297195745.866666666674526.933333333333
DRESDEN/nim2/z5_exA43.3841221826809243818.766666666665620.0
STANFORD/multiplebuttonsandlights_9/SqB9BA43.40151766173734353657.266666666668148.5
DRESDEN/Thief_Police/CX18rA43.77655683226744191888.74383.366666666667
DRESDEN/racer/vk_ZBA43.866168689698165772.933333333331499.4
DRESDEN/troublemaker02/iZLVuA43.99197962406057525648.433333333311948.733333333334
DRESDEN/Catch-Me-If-You-Can/ghGWrA44.10421688095576197012.066666666684466.966666666666
DRESDEN/nim1/M9BALA44.11220588473873271906.16666666676163.966666666666
DRESDEN/CatchMeIfYouCanTest/CX18rA44.7358354709509198815.04444.2
STANFORD/tictictoe/rpt_Dw44.7661194818445281902.61829.5666666666666
BASE/untwistycomplex2/EDPPAQ45.15037418669895606732.233333333313438.033333333333
DRESDEN/2player_normal_form_2010/NG_Kdg45.40669585084117189470.033333333334172.733333333334
DRESDEN/troublemaker01/C-lPWw45.76199156237352561519.466666666712270.433333333332
BASE/eotcitcit/V_9_bg45.7969689099948182294.11796.9333333333334
STANFORD/bestbuttonsandlights/nm0wEA46.473548418444196318824.03333333336860.333333333333
BASE/numbertictactoe/rvJ-iQ46.6510734295205562727.033333333331344.6
DRESDEN/quad_5x5_8_2/JRTLJg47.0450654819277155205.8110.655601106556
DRESDEN/kitten_escapes_from_fire/uW-YiA47.21326437045103109843.233333333342326.5333333333333
DRESDEN/tictictoe/LAUtwg47.4621757260415685745.166666666671806.6
STANFORD/untwistycorridor/EDPPAQ47.57560894398484619164.833333333413014.333333333334
BASE/nim1/hin2Qw48.22623942669172273667.83333333335674.666666666667
BASE/kitten_escapes_from_fire/uW-YiA48.58078513895943111581.966666666662296.8333333333335
DRESDEN/tictactoe_orthogonal/y69QFQ48.830449232179696142031.52908.6666666666665
BASE/gt_tinfoil/Q8DyKg48.93904817436063324537.66666666676631.466666666666
BASE/tictactoe_orthogonal/WRzlVw49.084594764159014143433.366666666672922.1666666666665
BASE/troublemaker02/DI83KA49.2387711279779517468.310509.366666666667
BASE/blocks2player/wnTLOQ49.362446471792964265125.75371.0
DRESDEN/SC_TestOnly_enabled/09o7gQ49.434498904916545109093.72206.8333333333335
BASE/coloredtrails/EZvr7g50.74674459652979101584.833333333332001.8
BASE/blocksWorld/SEdXLQ50.814182405682054328146.133333333366457.766666666666
BASE/gt_centipede/9fRMpw50.83113212188435378842.733333333347452.966666666666
DRESDEN/sheep_and_wolf/enAIzQ50.8823758015415526185.766666666666514.6333333333333
DRESDEN/fizzbuzz/t1xHzQ51.44930549312236610422.011864.533333333333
BASE/sheepAndWolf/g4THrg51.46145569620253527103.033333333333526.6666666666666
DRESDEN/blocks2player/3ev8nQ51.46557777532255279488.96666666675430.6
BASE/gt_dollar/TGjqRw51.915386916980374248697.24790.433333333333
DRESDEN/blocks/vg0DRw52.10555230859146326892.866666666646273.666666666667
STANFORD/bestbuttonsandlightsbig/g0JC6g52.26322636324984274526.53333333335252.766666666666
BASE/blocks/xIV5hQ52.44201040369258334031.133333333366369.533333333334
BASE/stateSpaceSmall/Q7osKA52.630108140368534467378.16666666678880.433333333332
BASE/peg/fJHVWw52.80961019861286622334.2422.9192360254658
BASE/queens08lg/Ru7eqQ52.82626224121557412360.933333333332233.99220025999134
BASE/colonelBlottoVariant/X-n-KQ52.857675309069435259525.94909.9
BASE/hodgepodge/9yjRkw52.902966614304034195328.333333333343692.2
DRESDEN/peg_bugfixed/u_B7MA53.041272243738722824.666666666668430.3189893670211
BASE/pegEuro/5awwhg53.0439987702573818547.1349.6550114996167
DRESDEN/pentago_2008/hLjVpQ53.3048112889754912764.3239.45868471050966
DRESDEN/smallest_4player/ADDROA53.417003984316715112170.366666666672099.9
BASE/pentago/86NgKw53.5509271350221913669.766666666666255.26666666666668
DRESDEN/peg/Vo31eg53.5670419651995922678.5423.3666666666667
DRESDEN/statespacesmall/h-NqjA53.91659094563418480628.66666666678914.3
DRESDEN/tpeg/h-Scbg54.20603041289023625117.4463.3691087260849
BASE/colonelBlottoVariant2/jruwGw54.247615119645236752.866666666674364.3
DRESDEN/vacuumcleaner_random/_6AGDA54.600282195243835123829.82267.9333333333334
STANFORD/3puzzle/41ibjA54.921204757571964336006.16117.966666666666
BASE/battle/8oAvhQ55.4297880638445552662.348.03013132457836
DRESDEN/four_way_battle/xSOQXA55.4313333668341747353.4132.65782281181254
BASE/pentagoSuicide/SBgNhw55.4478983646438713675.3246.63333333333333
DRESDEN/battle/8oAvhQ55.556606887052332688.13333333333348.385484354693595
BASE/shmup/ssTNlg55.70739892110343102923.133333333331847.5666666666666
BASE/ticTacToe/JRFsaQ55.992944350758854138349.233333333342470.8333333333335
BASE/smallest_4player/ADDROA56.20347665157473113377.42017.2666666666667
BASE/tpeg/QNs7Lw56.3011105314153725179.733333333334447.23333333333335
BASE/knightfight/SJRkAg56.32168166527211109941.81952.0333333333333
BASE/four_way_battle/xSOQXA56.4201861111111147671.866666666667135.97733711048159
DRESDEN/knightfight/4_Ly4w56.58356906306058109349.633333333331932.5333333333333
BASE/quad_5x5/JAEP5g56.592444440203914059.56468117729471.73333333333333
BASE/chickentictactoe/DSlZCA56.90970199417433118527.733333333342082.733333333333
DRESDEN/chinesecheckers6-simultaneous/gPPGUw57.080540657769311974.3209.77902209779023
DRESDEN/latenttictactoe/kITHKg57.1512044158063782486.333333333331443.3
DRESDEN/chomp/-LcqYQ57.46873530794546577416.133333333331347.1
DRESDEN/buttons/ADUaHw57.53991203062637612228.510640.066666666668
BASE/eotcatcit/AfZSzA57.550661918072564135199.933333333322349.233333333333
BASE/firefighter/WJmoPw57.71145322280494227421.63940.6666666666665
DRESDEN/eotcatcit/mQUxzA57.809570010405245137043.366666666672370.6
BASE/chomp/-LcqYQ57.846550996599477682.133333333331342.9
STANFORD/threepuzzle/41ibjA57.99336090052837336593.46666666675804.0
BASE/maze/cCX3qQ58.34430103832872656680.666666666611255.266666666666
BASE/buttons/hTcUjw58.39882580621151627658.910747.8
DRESDEN/firefighter/WJmoPw58.448909918543364227701.366666666673895.733333333333
BASE/pearls/6k_mEQ58.53282146381669719649.333333333412294.8
DRESDEN/quad_5x5/JAEP5g58.548049122807014109.970.19704433497537
STANFORD/trifecta/ss1kyQ58.67750301651804141027.466666666672403.4333333333334
STANFORD/tictactoe/ss1kyQ58.9555218850451138779.333333333342353.9666666666667
DRESDEN/tictactoe-init1/3ltIBQ59.181303116147305143451.533333333332423.9333333333334
BASE/sum15/QZ07Kg59.451027087903704168922.166666666662841.366666666667
DRESDEN/tictactoe/BTTzPw59.458829552190544147117.02474.266666666667
STANFORD/jointbuttonsandlights/qAKuIQ59.4613037447989242939.066666666684085.6666666666665
DRESDEN/chickentictactoe/Ipbo-g59.74951984114066122363.033333333342047.9333333333334
BASE/biddingTicTacToe_10coins/a-9ccQ59.77975937994062103351.233333333341728.8666666666666
DRESDEN/double_tictactoe_dengji/bGaUyQ59.97696247886755679231.566666666671321.0333333333333
DRESDEN/crisscross/GsY16g60.3595418917272549541.1820.7666666666667
DRESDEN/pancakes/hl9aiQ60.38539338499025679041.811245.133333333333
DRESDEN/blobwars/ZaMluQ60.3913108797391912759.833333333334211.28591427238183
DRESDEN/sum15/CsgWKg60.48460029717682169608.92804.1666666666665
DRESDEN/chinesecheckers2/06E6-Q60.485398248627848120.166666666664795.5666666666667
DRESDEN/bidding-tictactoe_10coins/mu5VhQ60.57775940630227105027.71733.7666666666667
DRESDEN/towerworld/HCX34w60.603705688622761348.633333333333422.25331467785995
DRESDEN/toetictac/mJtxCA60.64192407798458246970.34072.6
DRESDEN/pancakes6/SZXMyQ60.67776006435122693985.711437.233333333334
BASE/pancakes6/QZTdnw61.22273540685152683100.833333333411157.633333333333
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A61.24354613208274185439.333333333343027.9
DRESDEN/vacuum_cleaner_1/eUNjpw61.347526881720434209195.066666666683410.0
BASE/kalaha6x2x4/XS81Mg61.42896671172693696943.11578.1333333333334
BASE/blobwars/0XT15Q61.5463820619881212773.7207.5459120754591
DRESDEN/quartosuicide/WIU1oQ61.6798649369113257845.433333333334937.8333333333334
DRESDEN/chinesecheckers1/Y-ftaA61.8268642828658862016.466666666671003.0666666666667
BASE/circlesolitaire/azuQFQ61.86283645086146268218.74335.7
DRESDEN/circlesolitaire/ruUilQ61.896949162912705269769.64358.366666666667
BASE/chineseCheckers2/eCMR3Q62.028574181117534107309.433333333331730.0
STANFORD/tictactoe7/-bE9-A62.25664810520322149442.933333333322400.4333333333334
BASE/ghostMaze2p/W-NU-w62.4511250811547131461.72105.0333333333333
DRESDEN/kalaha_2009/gcC8uA62.4540753872778698639.966666666661579.4
BASE/blocker/dIWtxg62.517060290017554141265.633333333332259.633333333333
DRESDEN/lightson2x2/gBHuig62.56267798997642204306.766666666663265.633333333333
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA62.569458743127505190432.233333333343043.5333333333333
BASE/chineseCheckers3/-1rZdQ62.69129887074278492895.966666666661481.8
DRESDEN/oisters_farm/pTQMLg62.75013415729448370290.633333333365901.033333333334
BASE/kalaha_2009/dRiN3g62.75064199241837102630.766666666661635.5333333333333
BASE/kalaha5x2x3/WviNsw62.78438033973263104106.966666666661658.1666666666667
DRESDEN/ghostmaze2p/HY0UwA62.80855934076343132622.366666666672111.5333333333333
BASE/quartoSuicide/-23jUg62.83392137994939558768.566666666666935.3
BASE/double_tictactoe_dengji/zgaSbA63.1260878416204382690.966666666661309.9333333333334
BASE/quarto/EwBMVQ63.4394174267277158658.2924.6333333333333
BASE/toetictac/mTThmg63.45490772846039257428.14056.866666666667
BASE/biddingTicTacToe/8mESVw63.579830783693694123991.266666666661950.1666666666667
BASE/tictactoe-init1/7M19vA63.72375698483293149011.633333333332338.4
BASE/queens06ug/7Lq3tw63.74326161548586498459.966666666661544.6333333333334
BASE/pancakes/yUgbXw63.76527574721955684756.166666666610738.7
BASE/chineseCheckers1/gqtwHw63.832023532510874145390.22277.7
DRESDEN/blocker/S815zQ63.92305968476881142623.02231.1666666666665
BASE/beatMania/qUHwvQ64.15149451736364273214.84258.9
DRESDEN/quarto/OQzRYQ64.2380952380952459760.7930.3
BASE/knightwar/DVGY4Q64.3017123287671168845.71070.6666666666667
DRESDEN/ticblock/Z2yNWQ64.4839691289966997478.266666666661511.6666666666667
BASE/crisscross/ICagEg64.6080820512820552494.066666666666812.5
BASE/blocksWorldSerial/Wyg96Q64.67722980062959184912.22859.0
DRESDEN/knightwar/7hhAqg64.683066678997569941.81081.3
BASE/knightmove/jBaJEw65.1362994635149953826.46666666667826.3666666666667
STANFORD/tictactoe5/WFRReg65.39815951786143154450.833333333342361.7
BASE/ticblock/T21C1g65.5475335222328897930.21494.0333333333333
DRESDEN/chinesecheckers3/QsCb2A66.315591821595847678.7718.9666666666667
BASE/ticTacToeParallel/ymRGPw66.4695241840346161978.4932.4333333333333
DRESDEN/bidding-tictactoe/yW5vTA66.53822152886116130796.41965.7333333333333
DRESDEN/bunk_t/7-tPfA66.5471676400356777103.766666666661158.6333333333334
BASE/chineseCheckers6/rREH3A66.732091512690160793.13333333333911.0029665677811
DRESDEN/stratego/Z2wovg66.7542182224440831201.066666666666467.4021731884541
DRESDEN/knightmove/97Ipcw66.8057706970584655491.1830.6333333333333
DRESDEN/max_knights/hCipiA66.8467162988566933521.4501.46666666666664
DRESDEN/tictactoeparallel/yk_DSg67.0386986176459961266.666666666664913.9
BASE/pacman3p/wW7UVQ67.1295304456346643032.26666666667641.0333333333333
DRESDEN/hanoi_6_disks/MeubgQ67.41590608173713254584.933333333323776.3333333333335
BASE/pacman2p/4LEdQg67.5113450908133842745.933333333334633.1666666666666
BASE/max_knights/2fq3Ag67.5532183145321733934.23333333333502.3333333333333
DRESDEN/pacman3p/rBnk8Q68.0587800032261642190.5619.9126695776807
BASE/tron_10x10/7ZTgDg68.1346717376395109281.21603.9
DRESDEN/pawn_whopping_simultaneous/r8dLfw68.3408329692733431286.433333333334457.8
BASE/doubletoetictac/fu35bg68.5743638469075676983.866666666671122.6333333333334
DRESDEN/smallest/9kaGFw69.0936273029296391507.61324.4
DRESDEN/hanoi/RQ0jiA69.15631619194565340643.266666666664925.7
DRESDEN/grid_game2/kypTYQ69.695737070327414215.133333333333203.95986800439985
DRESDEN/logistics/fPru1Q70.0577764459095177927.61112.3333333333333
DRESDEN/cube_2x2x2/fp-34Q70.0771947918009690598.133333333331292.8333333333333
BASE/incredible/8Qh-6Q70.07774818437177160499.066666666682290.3
DRESDEN/quad_7x7/q-JOXg70.13162853028437629.15890338035678.971114981433407
STANFORD/tictactoe3/X7myng70.15770958653772153563.533333333332188.8333333333335
BASE/bunk_t/xbpfIA70.2366765682334580392.91144.6
DRESDEN/doubletictactoe/lJzgmQ70.2719088154667381175.766666666661155.1666666666667
DRESDEN/hanoi7_bugfix/3gdnFw70.31574822362047316999.84508.233333333334
BASE/hanoi_6_disks/MeubgQ70.53573740175682254281.333333333343605.0
BASE/hanoi/iGLsJg70.56646209850396347636.266666666664926.366666666667
BASE/factoringMutuallyAssuredDestruction/NH0LGg70.74738761574672182349.033333333332577.4666666666667
BASE/colonelBlotto/jip21A70.8852536327998380164.133333333331130.9
DRESDEN/ggp-course2013_nicolai/uEin8g70.925069380203515111.33333333333372.06666666666666
DRESDEN/doubletoetictac/V89gKQ71.0479031146017579002.91111.9666666666667
BASE/doubletictactoe/HH1htg71.08068082630281434.766666666661145.6666666666667
DRESDEN/minichess/c7GMFw71.4124325182597659967.4839.7333333333333
DRESDEN/gt_ultimatum/pAiiQw71.67719047278449334039.64660.333333333333
DRESDEN/blockerparallel/dVQgSg71.7475138703587218999.233333333334264.8068526480685
DRESDEN/chinesecheckers6/yTbPDA72.3319689922480638878.433333333334537.5
BASE/duplicateStateSmall/bCPAXw72.77639244498867457625.233333333346288.1
BASE/lightsOn/MsXu3A72.85163223872901376776.55171.833333333333
DRESDEN/pancakes88/aD3E7g72.86303006851342640218.38786.6
BASE/queens08ug/kJ_ZFQ73.404223676383157583.166666666664784.4666666666667
BASE/blockerParallel/7-nDJA73.4670915712799218827.166666666668256.26666666666665
DRESDEN/hanoi7/51zz5Q73.47164356313507317657.14323.533333333334
BASE/gt_staghunt/xPjLRA73.6296589133033400434.95438.5
BASE/hanoi7_bugfix/3gdnFw73.73454548133522333616.866666666644524.566666666667
BASE/gt_coordination/IVMOzA73.89265974813434422468.96666666675717.333333333333
DRESDEN/chinesecheckers4/-oVNYg74.1863429684962630455.966666666667410.53333333333336
BASE/futoshiki6/JmvXNA74.804905079365079423.533333333333125.9748050389922
BASE/snakeParallel/RCVNtw74.94416229754631154544.72062.131262291257
DRESDEN/chickentoetictac/cxYaRQ75.0646488604723242633.966666666673232.3333333333335
BASE/chickentoetictac/l57rfQ75.13833424220815238829.73178.5333333333333
BASE/snakeAssemblit/UO4sdg75.1550842357891925399.066666666666337.9554014866171
DRESDEN/crissrace/KWb9bw75.1775524920408545651.3607.2464251191627
BASE/quad_7x7/q-JOXg75.2335740925038626.34578847371768.325349367339522
BASE/cittaceot/fDxhXg75.9611606435537439290.86666666667517.249425019166
BASE/tictactoe2/bhrDoQ76.09292466420624184872.833333333342429.5666666666666
BASE/pancakes88/l2Xaig76.19522522664069646613.08486.266666666666
BASE/futoshiki5/TJ4BZg76.4792693942614216789.5219.53007832027996
BASE/crissrace/ERWGDA77.2037859442655846358.3600.4666666666667
BASE/2pffa/6oHijA77.2359325190730371878.33333333333930.6333333333333
DRESDEN/connect5/1kYzSg77.3319222119327919485.066666666666251.96666666666667
STANFORD/ttcc4/Cx9SGw77.5522859299344836303.6468.1177294090197
STANFORD/hunter/14dD-g78.63560775031485172754.566666666682196.9
STANFORD/pentago/ZxzLmg78.7636398210290728946.333333333332367.5088327444837
BASE/tictactoex9/BI26ow79.0042751651768420327.8257.3
BASE/factoringEasyTurtleBrain/lUj94Q79.72730662530202178179.92234.866666666667
BASE/gt_ultimatum/GE-uOA79.98636202621324346228.96666666674328.6
BASE/chineseCheckers4/avfBcQ80.1535343902729867240.8838.9
DRESDEN/pawn_whopping/4ogBkg80.210976758614347977.933333333334598.1467284423852
BASE/ttcc4_2player/_aH_Mw80.2218370036521734410.2428.93807079528034
DRESDEN/3pffa/0YrmQw80.5248170094109477008.56666666667956.3333333333334
DRESDEN/tictactoex9/rFkD4w80.709437118822320465.866666666665253.57464253574642
STANFORD/dualhunter/1rPZjQ81.5444464064983276964.36666666667943.8333333333334
BASE/3pffa/pR0dzA81.6265264318915969072.36666666667846.2
DRESDEN/farmers/S_ASnw81.7325209627797445162.666666666664552.5666666666667
BASE/catcha_mouse/cHv4dw81.8016180299931650666.23333333333619.3793540215327
BASE/futoshiki4/BaCwSw81.8684618222058336990.9451.8333333333333
BASE/gt_prisoner/klthDw82.01505836754201417563.266666666665091.3
DRESDEN/gt_prisoner/huCp4w83.26040943507961401254.1158434984819.266666666666
BASE/blockerSerial/3eqDuw83.5205652116226783932.61004.9333333333333
BASE/pawnWhopping/Ypc_6Q83.9076876644199848550.166666666664578.6140461984601
BASE/wallmaze/uxNQ9g84.1179845608178526878.5319.53333333333336
DRESDEN/racetrackcorridor/O0DoTA84.1296647398843960643.46666666667720.8333333333334
BASE/connect5/d-BVQg84.2399562722055220548.933333333334243.93333333333334
DRESDEN/pawn_whopping_corrected/7Ov0jQ84.8516362772465447621.566666666666561.2333333333333
DRESDEN/tttcc4/sAvtFg85.8785431389298736861.933333333334429.23333333333335
DRESDEN/othello-cornercontrol/r5Gdlg86.10873250077537608.59276048263457.067724060125427
BASE/2pffa_zerosum/o0_uZA86.3077650395934273025.0846.1
BASE/racetrackcorridor/_RkdUg86.3837700017583965501.933333333334758.2666666666667
BASE/ttcc4_2player_small/Cv72TA86.6278279489805462031.3716.0666666666667
BASE/ttcc4_2player_alt/ZEJvYA86.9209205293695744442.666666666664511.3
STANFORD/freeforall/Lfp40Q86.9626904887020471712.33333333333824.6333333333333
BASE/knightThrough/gcwFjA87.4921837493240346736.76666666667534.1821939268691
BASE/4pffa/Q3ADlg87.6808519790418363402.833333333336723.1092296923435
BASE/solitaireChineseCheckers/-ET6gw88.0980842409132789519.41016.1333333333333
DRESDEN/tictactoe_3player/ESLQQQ88.211373816408751859.46666666667587.9
BASE/gt_chicken/gmepTQ88.26595054430105408112.33333333334623.666666666667
BASE/twisty-passages/DiZmmg88.44620408635089102016.81153.4333333333334
DRESDEN/Goldrush/VeWczQ88.4585838067001968620.93333333333775.740808639712
BASE/3pttc/0sol9g88.7079120876185266413.4748.6750441651945
BASE/tictactoe_3player/GtM71g88.8070506227859751810.03333333333583.4
BASE/tttcc4/8Bs2lg88.8253358533343837870.9426.35245491816937
DRESDEN/gt_chicken/CeuKtw89.00907230060676405851.74559.666666666667
DRESDEN/3pttc/uwYBZw89.0264307921122277147.73333333334866.5711142961901
BASE/2pttc/unkkYA89.4923217695735274982.63333333333837.8666666666667
DRESDEN/knightthrough/J7Fc_Q89.7926214612968349866.166666666664555.348155061498
BASE/ttcc4/Le0qjQ89.8937724856491238104.7423.8858704709843
DRESDEN/tictactoe_3d_small_2player/HYttcg89.9599495948049337246.933333333334414.0390640623958
DRESDEN/catcha_mouse/cHv4dw90.438806955756154781.8605.7333333333333
BASE/4pttc/AL1k2Q90.7056901598623356801.03333333333626.2124595846805
DRESDEN/4pttc/9pB9AQ90.9182279561732363894.3702.7666666666667
BASE/withConviction/3Xm54A91.2631215882073340516.433333333334443.9518682710576
BASE/minichess/8NQEiA91.7856850563595382243.03333333334896.0333333333333
DRESDEN/mummymaze2p-comp2007/oTQRQg92.33791971009569108718.666666666671177.4
BASE/mummyMaze2p_2007/YGA3Vw92.57628498442018109928.166666666671187.4333333333334
BASE/hidato37/pBrqxw93.131486130434787139.36666666666776.65900076659001
DRESDEN/twisty-passages/j7NPyg94.01962195656255100143.433333333331065.1333333333334
BASE/dualConnect4/WbCQkg94.3302841127348645182.7478.9840338655378
BASE/asteroids/BKCmPQ94.35101905377321540244.55725.9
BASE/tictactoe_3d_small_2player/oOryKA94.3861726687210237775.23333333333400.2199926669111
DRESDEN/endgame/IJhh3Q94.4480775995761721786.266666666666230.66924410078656
BASE/choicethroughalt/tt71Lg94.8847593845150229082.433333333334306.5026830650268
BASE/hidato19/rRHSmA95.0970409324253630255.7318.15606146461784
DRESDEN/bomberman2p/x4h6jQ95.5186919253763788405.73333333334925.5333333333333
STANFORD/pilgrimage/ObRZnQ95.8900331823266238097.76666666667397.3068462102527
DRESDEN/connect4/T0-rHQ96.2734082397003725705.0267.0
BASE/bomberman2p/4CClwA96.6852744807121786887.83333333333898.6666666666666
DRESDEN/blocksworldparallel/2JfVaw97.3268009545767160414.033333333331648.2
BASE/lightsOnParallel/SC6enA97.98721737711458180142.966666666671838.4333333333334
BASE/tictactoe_3d_small_6player/g_9lww98.1985591092675329986.566666666666305.3666666666667
BASE/ticTacToeSerial/Amrwqw98.5008773705878497299.16666666667987.8
BASE/checkLines/Vop7oQ98.60765748533538103104.166666666671045.6
DRESDEN/tictactoe_3d_small_6player/llDEDQ98.6385429493350330738.033333333333311.6229459018033
STANFORD/multipletictactoe/_bkafQ99.7900610368993728635.466666666667286.95710142995233
BASE/wargame01/_GZFZg100.0972885689295649591.53333333333495.43333333333334
BASE/connect4/50bOyw100.1323322220845126929.566666666666268.9397726893977
BASE/speedChess/bPnisA100.3901099000908217192.333333333332171.25524965002333
STANFORD/sukoshi/4LYZZQ100.56584649100961134604.033333333331338.4666666666667
STANFORD/connectfour/VMpZkQ101.237021447183867342.86666666667665.2
DRESDEN/vacuumcleaner_random_big/DwzFaQ101.6034597561654460824.6598.6469372792109
STANFORD/breakthrough/d5j0cQ101.9189596325533448199.26666666667472.91756941435284
BASE/rubiksCube/9tNO9Q101.9950372329834839841.333333333336390.6203126562448
BASE/endgame/jYjfOA102.3944623789421527489.5268.46666666666664
BASE/asteroidsSerial/id2QkA103.38617091499948271478.32625.866666666667
BASE/aipsrovers01/4C4jsw103.68217761023932197117.11901.1666666666667
DRESDEN/crossers3/xiPTxg103.7092419040549274511.63333333333718.4666666666667
BASE/skirmishZeroSum/zh4hcw103.8588295940637215859.533333333333152.70279277477837
BASE/lightsOnSimultaneous/_VN6lw103.8939469320066441765.36666666667402.0
BASE/copolymer_4_pie/IN5_jA104.2218405922049780991.56666666667777.1074297523415
BASE/factoringGeorgeForman/HGRorQ104.35894116241086349296.33333333333347.0666666666666
BASE/escortLatch/mX9BjQ104.3798547522867649954.53333333333478.58404719842673
DRESDEN/tictactoelarge/IwXcbg105.14023631840796112710.333333333331072.0
BASE/connectFour/WAIKTw105.2412502188401570525.63333333333670.1329867013299
BASE/chinook/XQh0IQ105.5853464997355139918.3378.06666666666666
STANFORD/chinook/osFbPA105.7347665085358636403.26666666667344.2885237158761
BASE/ticTacToeLargeSuicide/727_8g105.75752450750103112557.733333333341064.3
DRESDEN/aipsrovers01/qS47Mw105.87942180702636203630.833333333341923.2333333333333
DRESDEN/connectfoursuicide/M9CNQg105.923401670876971278.16666666667672.9218052129858
DRESDEN/connectfour/5tc-Mg106.2782188646170570056.26666666666659.1780273990867
BASE/checkersBarrelNoKings/rnKNeg106.471719947924249069.26666666667460.8666666666667
BASE/skirmishNew/sibw2g106.7278868172844916218.0151.95653623091795
BASE/crossers3/O0rORg106.9598942053378374141.03333333334693.1666666666666
STANFORD/alquerquezero/uVgA_A107.1924133363297855645.3519.1160294656845
BASE/ticTacToeLarge/TZC0dg108.00565043489303113413.133333333331050.0666666666666
BASE/checkers/rOC3Xg108.0482605109635923870.666666666668220.9259691343622
DRESDEN/tictactoe_3d_2player/LMuX9w108.3162579448227813781.833333333334127.23697803845769
BASE/checkersSmall/SYmq8w108.4771666097255431751.266666666666292.7
DRESDEN/slidingpieces/s9_44g108.8011144630527416457.433333333334151.26162461251292
DRESDEN/brain_teaser_extended/ZDp94A109.14428777293374199446.633333333331827.3666666666666
BASE/tictactoe_3d_2player/IUC1rQ109.2403077313054413406.533333333333122.72515165655624
BASE/wargame03/klXI8w110.0075522594813743411.2394.62017932735574
STANFORD/checkersonabarrelnokings/Zrevdw110.0544707214323444119.36666666667400.88663711209625
BASE/breakthroughSmallHoles/bxclRw110.1453421266894752607.333333333336477.61741275290825
BASE/checkersTiny/Lr48cg110.1590601123748744873.63333333333407.3530882303923
DRESDEN/mummymaze2p/k-8edg110.6882523868825262217.86666666667562.1
DRESDEN/grid_game/U7_Yeg110.8282363761784280332.0724.8333333333334
DRESDEN/tictactoelargesuicide/6J4DeA111.19418311700737116223.866666666671045.2333333333333
BASE/lightsOnSimul4/9FeASw111.2336879830104635790.1321.7559414686177
BASE/slidingpieces/uFJWEw111.4572577452995416266.333333333334145.94234294284286
BASE/connectFourSuicide/c8p9Kw111.6392017180870571043.46666666666636.3666666666667
BASE/englishDraughts/jFkQxg112.1623769814543751069.566666666666455.3181560614646
BASE/amazons_8x8/7SOsIw112.7316014553249233305.1295.4371229543712
BASE/connectFour_9x6/B9TtMw113.2711135611907568491.26666666666604.6666666666666
BASE/tictactoe_3d_6player/d7KSwg113.3144653198653313459.066666666668118.77624475104979
BASE/factoringMediumTurtleBrain/8RBqmQ114.1631867033060759545.53333333333521.5826139128695
BASE/blocksWorldParallel/RseaAQ114.2218339679279548196.2421.9526015799473
BASE/mummymaze2p/vpjDdA115.1885958835825663674.13333333333552.7815739475351
BASE/checkersTorusNoKings/pwb6oQ115.2370404785566850242.166666666664435.98973435989734
STANFORD/duikoshi/tpw1sw115.291778650678855766.63333333333483.7
DRESDEN/pawntoqueen/f_x6Aw115.396554757834762249.033333333333319.48960554371002
BASE/brain_teaser_extended/ZDp94A115.53892616202353207226.766666666661793.5666666666666
BASE/breakthroughSuicideSmall/XSbJog116.5350851352147765931.66666666667565.7666666666667
BASE/copolymer_4/2LDVhQ116.7080536912751798540.5844.3333333333334
BASE/lightsOut/5P1ZBw116.80343752320142104881.7897.9333333333333
BASE/hallway/ckCJOw117.0197180563224721188.033333333333181.06378724255148
BASE/breakthroughHoles/nZk0Sg117.1702780945697144520.8379.96666666666664
DRESDEN/tictactoe_3d_6player/ulZPWg117.384300246913613201.333333333334112.46251249583472
BASE/coins/QnGtnQ117.4558255326832943361.8369.17538830744616
DRESDEN/battlesnakes1509/-qZrLw117.5914396887159560442.0514.0
DRESDEN/lightsout2/LFtfyQ117.62826022525192105834.06666666667899.7333333333333
BASE/asteroidsParallel/WauZiA117.81969777208516318886.866666666642706.5666666666666
BASE/checkersTorus/2vm1EQ119.7834102586817845067.5376.24158389440703
DRESDEN/lightsout/XgLpzQ120.0266214177979106103.53333333334884.0
BASE/breakthroughSmall/HJ0tIA120.0591358193028267503.0562.2479250691644
DRESDEN/hallway/0H4l-Q120.2852877751356621917.066666666666182.20903879482736
DRESDEN/frogs_and_toads/GjchhQ120.357413640071857372.46666666667476.684110529649
BASE/connectFourLarge/aU644A120.6806286987895657602.96666666667477.31742275257494
DRESDEN/cylinder-checkers/clOO3Q121.348986366717515912.366666666667131.12896236792108
STANFORD/untwistycomplex/HTWEwg121.63453383320015659705.16666666665423.666666666667
BASE/dotsAndBoxes/EHwA_w123.3401621315905365423.73333333333530.4333333333333
BASE/wargame02/BkVqqQ123.3445708668127633768.36666666667273.77262273772624
BASE/queens31lg/0gID-A123.3507947954984990.393973735084330.732820359081976
BASE/amazonsSuicide_10x10/XIbQkg123.9648857272589727301.2220.23333333333332
BASE/pawnToQueen/-O1_JA123.992019753086412342.218.88992537313433
BASE/ticTacToeNoVars/XT03NA124.39286352002857139328.31120.0666666666666
BASE/amazons_10x10/Bun8dA125.2549259202688327334.8218.23333333333332
BASE/cylinder-checkers/hlldmw125.3020582491582616537.666666666668131.9824023463538
BASE/god/qF06gw125.553811052283256320.56666666666750.34149591870732
BASE/ticTacHeaven/18n58A125.92882975975232498.033333333333258.06666666666666
STANFORD/platformjumpers/HEQskA126.904313731509930312.2238.858704709843
BASE/dotsAndBoxesSuicide/jzQbLw127.1282034729843165644.76666666666516.3666666666667
DRESDEN/checkers/jIDMIg127.9707985964912218232.8142.47625395767372
DRESDEN/checkers-newgoals/IJOqXQ128.33195420054218412.566666666666143.4760873187802
BASE/ticTacHeavenFC/mrletw129.2616988999337232506.066666666666251.47485251474853
BASE/checkers-newgoals/0XkFiA129.4691501474926318530.733333333334143.12856238125397
DRESDEN/backgammon/mqCW0Q129.5594726217843526297.066666666666202.9729369417411
DRESDEN/god/2EDD5w130.024573544973526550.450.37816945990071
DRESDEN/coins/QwFP9w130.3393435913744247815.566666666666366.8544381853938
STANFORD/triplesukoshi/Iu9mbA131.776834612624446924.166666666664356.0881303956535
BASE/breakthroughSuicide/wZDpIg131.851220256341349032.2371.8752083194454
BASE/breakthroughWalls/vOZaYA132.0570333333333250765.433333333334384.4205193160228
BASE/checkers-mustjump/T-8UuQ132.2347004692192315656.066666666668118.3960534648845
DRESDEN/checkers-mustjump/HUr33w133.083933314312915546.566666666668116.81775763231569
DRESDEN/battlesnakes2011/93VtTw133.1985468971386464341.63333333333483.05056498116727
BASE/simultaneousWin2/PfjRjw133.7297204004142438741.5289.7
BASE/queens12ug/u6Bkmg133.879869152854529075.8217.17828217178283
DRESDEN/breakthroughsuicide/Y9QzqQ134.1547085201793851855.26666666667386.53333333333336
DRESDEN/breakthrough/z4hK7Q136.339579885932750730.26666666667372.08759708009734
BASE/3pConnectFour/PqXOFQ136.5745544379742351597.86666666667377.8
DRESDEN/checkers-cylinder-mustjump/vW_-pA137.3221986977381713352.86666666666797.23749541804125
BASE/breakthrough/TGxk-g137.569861417676151105.5371.48761707943066
BASE/coins_atomic/AA3SSw138.1324786324786447407.066666666666343.2
BASE/conn4/va9Y7A138.1454274789029740742.333333333336294.923502549915
BASE/chess_200/XsTpYA138.189001198594757429.46666666666653.763082461169255
BASE/checkers-mustjump-torus/uSApKQ138.2346837570115712867.93333333333293.08758832155712
DRESDEN/breakthroughsuicide_v2/LU1nAw138.2608485838201552067.3376.58744708509715
BASE/mummymaze1p/PT_EXA138.3683264653104789948.6367575495650.0666666666667
DRESDEN/checkers-mustjump-torus/cVc3gA139.0089060223584512848.292.42717152189854
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg139.5405151005944313558.36666666666797.16437306321015
BASE/checkers-cylinder-mustjump/rjr6qQ139.6639246841925513635.497.63007899736675
BASE/hexPie/48CH6Q140.2758730979154223700.366666666665168.95540297313514
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw140.4992413674033313560.696.51724712547909
DRESDEN/golden_rectangle/1uloXw140.7642739972337415830.233333333334112.45916938870742
DRESDEN/mummymaze1p/AekgaQ141.4364439422731291796.96666666666649.0333333333333
BASE/golden_rectangle/_nYzfw141.823425022182815983.5112.7
DRESDEN/mimikry/GJEhwA143.8059086839749353543.73333333333372.3333333333333
BASE/nineBoardTicTacToePie/B8LzeQ144.4524104068117430531.133333333335211.35772845430913
BASE/reversiSuicide/9OxJlg144.71160876826722310.115.963473971872292
BASE/hex/T1MK8g145.1864101477449424893.8171.46095130162328
STANFORD/nineboardtictactoe/y28P-A145.9603467186282231208.066666666666213.81195213811952
STANFORD/hex/MTqWcw149.3611615968841325564.8171.16096130128994
DRESDEN/skirmish3/3LU8Nw149.8482442505592829767.866666666665198.65342310512634
BASE/reversi/d8UMeA152.984010563882952375.433333333333415.527330762069424
BASE/connectFourLarger/qKi60A155.5708039834831342699.0274.46666666666664
DRESDEN/statespacemedium/dVJZ_w156.7046765050821427573.933333333352728.5333333333333
BASE/connectFourSimultaneous/7ITr3g157.3784835565476244652.03333333333283.7238758708043
DRESDEN/guess/PhxGhg158.19660351684735174120.666666666661100.659956002933
BASE/amazonsTorus_10x10/Uxc08g159.9374188522461720530.633333333335128.36666666666667
BASE/stateSpaceMedium/3bUoIw160.17729864358358437321.42730.233333333333
BASE/duplicateStateLarge/dcjyuw160.205732926894599856.23333333334623.3
DRESDEN/capture_the_king/EQ229Q160.936553904222687577.33333333333347.08273633001233
DRESDEN/skirmish/RjGQYQ161.0071160508474631661.566666666666196.64700196647001
DRESDEN/cubicup/SBn_lw161.1502873413730622713.033333333333140.94317613731045
BASE/cubicup/4wNWJA163.0996168582375722703.466666666667139.2
BASE/guess/SPpk1A166.5400402414487179335.866666666671076.8333333333333
BASE/nineBoardTicTacToe/wRmqqA167.5816040402401434425.7205.4264857838072
DRESDEN/skirmish2/iPpWhQ168.8717955004736435650.9211.1122221111222
BASE/knightazons/apnJBQ169.003868078175927671.566666666666163.73333333333332
BASE/snake_2008/i6K26g169.6822767646603485228.56666666667502.28325722475915
BASE/blokbox_simple/JBx4bg171.187416688883129.165555851772870.7545271629778671
DRESDEN/knightazons/02I8BQ174.588923076923128370.7162.5
BASE/cephalopodMicro/9l2D3g179.57928135593223177.617.694691592522243
DRESDEN/CephalopodMicro/H3XQfg180.297438285714263155.117.499416686110465
DRESDEN/snake_2008/E56l3A181.0372295115912889369.06666666667493.65021165961133
BASE/snake_2008_tweaked/bX0NJQ181.6535017089367789049.63333333333490.21699276690777
BASE/duplicateStateMedium/U163eQ184.5714638186881349098.46666666671891.4
BASE/queens16ug/gT-ylw186.7063025752773615707.784.13052898236725
DRESDEN/ggp-course2013_jordi/9QI6Kw188.597921914357719966.233333333334105.86666666666666
BASE/snake_2009/7l-qAQ189.2532098998144685003.4449.15169494350187
DRESDEN/snake_2009/zIYLVw189.7322120524495784722.43333333333446.536897540164
BASE/cubicup_3player/e2yA_g194.6294988408851312309.86666666666763.24769235895898
DRESDEN/snake_2009_big/DgC1NQ198.0092416158536569276.83333333333349.8666666666667
BASE/othelloSuicide/B442jg201.56341492537314898.44.457158062799361
BASE/othello-comp2007/86ZoMw203.51630461538463877.44.311202493864827
BASE/mineClearingSmall/frsbvw207.424115224553539872.5192.22692576914102
DRESDEN/cubicup_3player/awDtsQ207.6513156013001312776.261.5271806152718
BASE/snake_2009_big/-oRfVw210.6617756369169372303.73333333334343.2218926035799
BASE/majorities/ibJzSQ219.9178968750000329317.5133.31111481419762
BASE/othelloHoles/c0qAzw222.938171296296281059.33333333333334.751691140075895
STANFORD/selectivesukoshi/3xmXYg228.123657515909611547.96666666666750.62152164494951
BASE/hitori/S8Gsyg230.1074341922979171.66666666666639.85819362533961
BASE/slaughter/cOch8A230.753394102564074992.83333333333321.637095968842583
BASE/skirmishHoles/AUCxCA233.373059684457877724.13333333333333.09779348043464
BASE/stateSpaceLarge/0Ge_CQ234.1558233491223224102.73333333334957.0666666666667
DRESDEN/statespacelarge/8-y5HQ235.4170235356574221723.6941.8333333333334
BASE/skirmishFinal3/-Olhfw236.9690078376487211285.36666666666747.62380857161901
DRESDEN/skirmishfinal/hzq8ww241.5651692975734510503.53333333333343.481158164795254
BASE/qyshinsu/R08Lzw244.0901787287829722522.76666666666692.27231830450864
DRESDEN/hitori/S8Gsyg245.980759479988289346.43333333333237.996603283492625
BASE/skirmishFinal2/gdB62Q248.3363086614173210508.042.313586992736724
BASE/skirmish/Y_psYQ255.95557594936717408.528.944475901808612
BASE/skirmishFinal1/ecWTnQ258.02758592951310652.63333333333341.28486221718703
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g264.412848700436315482.16666666666658.5530042989969
STANFORD/skirmish/w4V6Vw265.61218507063767725.96666666666629.08739546196648
BASE/strangeSkirmish/gc1zKA267.5032341526526892.66666666666725.766666666666666
DRESDEN/Zhadu/9zpQ5w274.877637773722615055.76666666666654.772613693153424
BASE/zhadu/DlA8iQ279.37437800586513172.711.356445865387817
BASE/brawl/6Ymo_Q283.458159235791116396.76666666666657.845456665889174
DRESDEN/brawl/2kXtfQ285.664327485380116282.86666666666757.0
STANFORD/madness/UO_B3A290.81808290993078387.428.84071002764179
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw295.015083182060918416.93333333333462.4270906242709
DRESDEN/babel/WdSW4A295.09278495227470074.7237.46666666666667
STANFORD/duidoku/3SoMaA308.427686274509774718.015.296940611877625
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw311.815118421052616190.951.92467922012998
BASE/sudokuGrade6E/ihYFZA363.01949088838275311.314.63089485085819
BASE/sudokuGrade4/DTy07w366.011056114605145807.76666666666615.867735604271315
BASE/sudokuGrade6H/ieE_9A366.72589081245255359.63333333333314.614821226446502
BASE/sudokuGrade1/tDRNRw370.382596174863356016.06666666666716.242843829050727
BASE/sudokuGrade3/eI8dvg370.427713589692875787.35459787354615.623438488956994
BASE/sudokuGrade5/BQfUQA371.946098148148176014.116.16927837109492
BASE/sudokuGrade2/u80Tfw374.21234638297875855.63333333333315.647889199627114
STANFORD/sudoku/oJ1qyQ390.056040579710165967.33333333333315.29865637887455
DRESDEN/amazons/dNB28A394.025341296928333819.66666666666659.693961952026468
BASE/snake2p/I3wWPQ396.188666485203894606.7238.7920402653245
DRESDEN/battlebrushes/QHXV4A536.41747510784.420.10449044375372
BASE/amazonsSuicide/dE1QEQ564.8690032520326768.73333333333331.3609055000497892
DRESDEN/ggp-course2013_michal13/jWKddg623.67105882352942472.03.963627885287946
BASE/merrills/pku8Tg851.366531658817418040.66666666666821.190246498785804
DRESDEN/merrills/aYEzwA870.911404777070218195.920.892940315390245
BASE/amazons/RKKZjw897.1428846153847766.03333333333330.8538587848932676
BASE/battlebrushes/arCwyA1303.24854248120311150.78.55608092894593
DRESDEN/small_dominion/yB5GJA1547.00401785714282826.51.8270799347471451
BASE/ad_game_2x2/D0aWqg3374.761477283950660572.06666666666617.948547497174765
BASE/gt_attrition/kD_SCA5937.894983908046118750.119.99868645737554
BASE/queens/HyJJnQ7056.32466357142831609.34.479569961283717
DRESDEN/queens/mW2wHQ8055.32493333333332838.6666666666644.076640847941296
BASE/factoringImpossibleTurtleBrain/kcBhdw12328.47363518.40.2853881278538813
BASE/ruleDepthExponential/UamhHQ28667.6144807571265285.99.253853339560953
DRESDEN/satlike_20v_91c_version2/yd9ioQ31895.86030166666821020.7666666666660.659043727551323
DRESDEN/satlike_20v_91c/yeuENQ41351.6537322257.80.5382565869149823
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g42712.5901121952.30.5139538469445444
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA46866.3500420704.80.4417839234830245

Games with errors:

GameALLOY_COMPILED_PROVER_CACHING:2 error messagePALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 error message
STANFORD/multiplesukoshi/vLSQPgArrayIndexOutOfBoundsException: 5
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds
DRESDEN/javastrike/whONTQException of type StackOverflowError
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
BASE/gt_two_thirds_4p/DStnxQException of type NullPointerException
BASE/nonogram_10x10_1/0Xc62gException of type NullPointerException
DRESDEN/minichess-evilconjuncts/th24TwException of type NullPointerException
BASE/gt_two_thirds_2p/1APDGgException of type NullPointerException
BASE/minichess-evilconjuncts/4OpQzwException of type NullPointerException
STANFORD/rainbow/_4qNSQException of type NullPointerException
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
BASE/amazonsTorus/soxT8gException of type StackOverflowErrorTest process timed out after 240 seconds
BASE/alexChess/LNo83gException of type StackOverflowErrorException of type StackOverflowError

index