index

ALLOY_TUPLE_PROVER:2 vs. SANCHO_DEAD_RECKONING_PROPNET:1.61c

Game-by-game performance:

GamePerf ratioALLOY_TUPLE_PROVER:2 states per secondSANCHO_DEAD_RECKONING_PROPNET:1.61c states per second
BASE/quad/tw-Ufg1.8412507180152038E-60.5939025999736043322553.9
DRESDEN/quad/JPe6fg1.5200485612764808E-54.9606455453403326347.8333333333
DRESDEN/ggp-course2013_michal13/jWKddg5.131308358244393E-529.082550469718168566766.7666666667
DRESDEN/quad_7x7/q-JOXg7.273738789454192E-534.80610816266727478517.43333333335
BASE/quad_7x7/q-JOXg7.47680147811804E-535.214506274226395470983.56666666665
BASE/queens31lg/0gID-A1.2210317432482712E-418.553679091302755151950.83333333334
BASE/sudokuGrade1/tDRNRw1.5651401352466618E-494.31132735695004602574.3333333334
BASE/sudokuGrade3/eI8dvg1.5927195313949455E-492.9240409292404583430.0333333333
BASE/sudokuGrade2/u80Tfw1.599473803393691E-495.19365375641624595156.0666666667
BASE/sudokuGrade4/DTy07w1.6166218136132342E-495.26666666666667589294.7
STANFORD/sudoku/oJ1qyQ1.667674528143945E-493.96666666666667563459.2666666667
BASE/sudokuGrade5/BQfUQA1.6957382533907834E-497.16342788573714572986.0
BASE/pawnToQueen/-O1_JA1.7113510641056934E-496.8139705392255565716.6
BASE/sudokuGrade6E/ihYFZA1.7895383631402002E-491.74525943946412512675.56666666665
BASE/sudokuGrade6H/ieE_9A1.8039276976892325E-492.96356788107063515339.76666666666
STANFORD/multiplesukoshi/vLSQPg1.996605321837352E-4229.784681021265241150876.8333333333
DRESDEN/pawntoqueen/f_x6Aw2.0925381930703426E-497.16018932071195464317.4
BASE/blokbox_simple/JBx4bg2.7203950411322747E-44.73980775604905517423.233333333334
STANFORD/duidoku/3SoMaA2.7310287352396296E-485.15247458756873311796.3333333333
DRESDEN/othello-cornercontrol/r5Gdlg2.7923468367865585E-413.37993010484273547916.433333333334
STANFORD/selectivesukoshi/3xmXYg3.260879660672017E-4221.81854543030465680241.4333333333
DRESDEN/grid_game2/kypTYQ3.701655698175316E-4524.44918502716581416796.2333333334
BASE/battle/8oAvhQ3.935859798162536E-4104.10904122371447264514.1
BASE/cephalopodMicro/9l2D3g3.974967866342877E-4115.6961434618846291061.8333333333
DRESDEN/battle/8oAvhQ3.989789063229954E-4105.14563753915884263536.8333333333
DRESDEN/CephalopodMicro/H3XQfg4.18998899383533E-4116.90215942415355279003.5
DRESDEN/quad_5x5/JAEP5g4.3539877742694463E-4293.0235658811373673000.4333333333
BASE/quad_5x5/JAEP5g4.8405195346090077E-4287.5379128753791594022.8333333334
BASE/zhadu/DlA8iQ5.282426810194099E-455.06299580027998104238.06666666667
BASE/othelloHoles/c0qAzw5.912614361176639E-425.81526264947869743661.333333333336
DRESDEN/tictactoe_3d_2player/LMuX9w6.261599558155365E-4536.5308979401374856859.1666666666
DRESDEN/quad_5x5_8_2/JRTLJg6.389025478637151E-4385.6047984005331603542.4333333333
BASE/tictactoe_3d_2player/IUC1rQ6.476374316726826E-4543.7839512.9333333333
BASE/othelloSuicide/B442jg6.844373932435603E-422.74771024146544533235.63333333333
BASE/golden_rectangle/_nYzfw7.080223319299828E-4576.9666666666667814898.9666666667
BASE/othello-comp2007/86ZoMw7.20463003781899E-423.48714195415682632600.066666666666
BASE/nonogram_10x10_1/0Xc62g7.48639615483914E-4139.3907072861809186192.0
DRESDEN/golden_rectangle/1uloXw7.607099106314261E-4551.0333333333333724367.2333333333
STANFORD/multipletictactoe/_bkafQ8.104395474888725E-41002.86666666666671237435.5
BASE/hitori/S8Gsyg8.710098648400743E-4302.47983467768813347274.86666666664
DRESDEN/ggp-course2013_jordi/9QI6Kw8.718212132484702E-4426.5191160294657489227.73333333334
DRESDEN/hitori/S8Gsyg8.872198283419753E-4304.92600986535126343687.1
BASE/futoshiki6/JmvXNA9.171661970056674E-4509.6333333333333555660.8333333334
BASE/ruleDepthExponential/UamhHQ9.701415132242774E-42147.5689596326292213665.6666666665
BASE/connect5/d-BVQg0.0010810760896646766842.9333333333333779716.9333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg0.00109573744188006172257.42060165.0666666667
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg0.00110654590117137232286.92066701.4333333333
BASE/majorities/ibJzSQ0.001107847931800575525.6333333333333474463.43333333335
DRESDEN/connect5/1kYzSg0.0011093944661766221858.9774206.1333333333
BASE/queens16ug/gT-ylw0.001116435832719493599.7133428885704537167.7666666667
BASE/breakthrough/TGxk-g0.0011360452568256317954.7666666666667840430.1333333333
DRESDEN/breakthrough/z4hK7Q0.0011401763834963203923.5809962.4
BASE/breakthroughSuicide/wZDpIg0.0011542846732352943960.9333333333333832492.5
BASE/breakthroughWalls/vOZaYA0.0011678296392548268947.0666666666667810963.0333333333
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw0.00118035777256494342391.2666666666672025882.9333333333
DRESDEN/breakthroughsuicide_v2/LU1nAw0.0012275392416210833955.4666666666667778359.3666666667
STANFORD/skirmish/w4V6Vw0.0012438810194295173165.55562962469168133096.03333333333
BASE/connectFourLarger/qKi60A0.0012501284220347725977.2007599746676781680.3
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ0.0012526853552833922411.81925303.9
BASE/factoringMediumTurtleBrain/8RBqmQ0.00127092920765861871941.06666666666661527281.5
BASE/nineBoardTicTacToe/wRmqqA0.0013194316046609004703.8666666666667533462.0333333333
BASE/futoshiki5/TJ4BZg0.001321227484463997811.0333333333333613848.3666666667
STANFORD/nineboardtictactoe/y28P-A0.0013217951119912914712.8539266.6333333333
STANFORD/madness/UO_B3A0.0013219127365920818167.23879353441095126512.73333333334
BASE/ticTacHeavenFC/mrletw0.0013227051554592687477.31742275257494360864.56666666665
BASE/ticTacHeaven/18n58A0.0014260983976409145510.1829939002033357747.4
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg0.00142752006438630252390.46666666666671674559.0666666667
BASE/dualConnect4/WbCQkg0.00144650203340583751282.8886829.0333333333
BASE/hidato37/pBrqxw0.0014575486090536852308.5897136762108211718.3
BASE/breakthroughHoles/nZk0Sg0.00146422937044755351320.0666666666666901543.6333333333
BASE/nineBoardTicTacToePie/B8LzeQ0.0014827250002950555664.511182960568448168.86666666664
BASE/queens08lg/Ru7eqQ0.001505209749063719723.2480464.6
BASE/skirmishHoles/AUCxCA0.0015469194550096702197.18685420971934127470.66666666667
BASE/strangeSkirmish/gc1zKA0.0015926619211221306168.87185469088485106031.2
BASE/skirmish/Y_psYQ0.001628176950092081182.04239434742036111807.5
DRESDEN/uf20-020.cnf.SAT/hDrW_A0.00164273942585329131994.53333333333331214150.7666666666
BASE/conn4/va9Y7A0.0016464430628846531078.8666666666666655271.1666666666
DRESDEN/breakthroughsuicide/Y9QzqQ0.0016495015635753831447.4333333333334877497.4
BASE/snake2p/I3wWPQ0.0016503406752670575946.2333333333333573356.3666666667
BASE/reversi/d8UMeA0.0016710398003941863128.3076717989735376783.13333333333
DRESDEN/uf20-010.cnf.SAT/5ICbCg0.00169251479788630372112.33333333333351248044.2333333334
DRESDEN/mimikry/GJEhwA0.00169327556629599751469.0333333333333867568.9666666667
BASE/minichess-evilconjuncts/4OpQzw0.001700638568270014476.11746275124165279963.93333333335
DRESDEN/minichess-evilconjuncts/th24Tw0.0017053326582296697474.68417719409354278352.8333333333
DRESDEN/connect4/T0-rHQ0.00170858296006245961019.8666666666667596907.9
BASE/connectFourLarge/aU644A0.0017514103448236511534.8876322.3333333334
BASE/reversiSuicide/9OxJlg0.0017657161927083233130.8984270861103674133.33333333333
DRESDEN/capture_the_king/EQ229Q0.001779418573418897292.47075292470754164363.1
DRESDEN/slidingpieces/s9_44g0.0017846841540708812775.740808639712434665.6
BASE/connect4/50bOyw0.00179579870583444981027.7666666666667572317.3
BASE/slidingpieces/uFJWEw0.001802481718371586775.5666666666667430277.13333333336
BASE/dotsAndBoxes/EHwA_w0.00182913190930771631521.9832034.0333333333
BASE/queens12ug/u6Bkmg0.00183071819935097781079.1589440.8
BASE/dotsAndBoxesSuicide/jzQbLw0.00183185857124306671527.3333333333333833761.6
BASE/tictactoe_3d_6player/d7KSwg0.0018326050832143982448.73675088327445244862.76666666666
BASE/breakthroughSmall/HJ0tIA0.00184313292908096681507.7818009.3666666667
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA0.00185336006202979091995.96666666666671076944.9
BASE/checkers-newgoals/0XkFiA0.0018620689841299743459.96666666666664247019.13333333333
BASE/simultaneousWin2/PfjRjw0.00186994584885707361717.0333333333333918226.2333333333
BASE/breakthroughSuicideSmall/XSbJog0.00187008593478622031547.8827662.5
DRESDEN/sat_test_20v_91c/dK7nVw0.00187067610756248772110.46666666666671128183.9
BASE/tictactoe_3d_small_2player/oOryKA0.00187741825752928741606.4333333333334855660.8666666667
DRESDEN/tictactoe_3d_small_2player/HYttcg0.00187800533157172551633.7869912.3333333334
DRESDEN/sat_test_20v_91c_version2/a1mPBA0.00188799282333879522062.51092430.0
DRESDEN/tictactoe_3d_6player/ulZPWg0.0019078364598027644457.53333333333336239817.9
DRESDEN/tictactoex9/rFkD4w0.0019243842527189219990.7666666666667514848.6666666667
BASE/tictactoex9/BI26ow0.00192798453125412991000.6666444451852519022.13333333336
BASE/skirmishFinal3/-Olhfw0.001932642187415816287.690410319656148858.6
BASE/skirmishFinal2/gdB62Q0.0019337712658979867265.8489434037731137476.93333333332
BASE/cubicup/4wNWJA0.001960110623333434737.2666666666667376135.23333333334
BASE/connectFourSimultaneous/7ITr3g0.0019999882270831861041.9333333333334520969.73333333334
BASE/3pConnectFour/PqXOFQ0.0020030957687910321369.8333333333333683858.1333333333
BASE/firefighter/WJmoPw0.00200328733798906468219.9666666666674103238.966666667
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.00201869637255196931570.1666666666667777812.2
DRESDEN/pawn_whopping/4ogBkg0.00202098417544182031662.2822470.5666666667
DRESDEN/skirmishfinal/hzq8ww0.002027165604828823269.09103029899132742.5
BASE/connectFour_9x6/B9TtMw0.0020489282211354471966.3959672.4666666667
STANFORD/breakthrough/d5j0cQ0.0020557459077800241650.7333333333333802985.1
DRESDEN/cubicup/SBn_lw0.002062407850926524738.5333333333333358092.76666666666
BASE/choicethroughalt/tt71Lg0.0020629506224731921014.8491916.76666666666
STANFORD/platformjumpers/HEQskA0.0020667692674888245780.007333088897377404.1666666667
BASE/nonogram_5x5_1/qLKEZw0.002093072312469665741.8666666666667354439.1
BASE/skirmishFinal1/ecWTnQ0.002097028327011673268.22439252024935127906.9
BASE/withConviction/3Xm54A0.0021013936820353831340.6637957.5666666667
BASE/futoshiki4/BaCwSw0.00212200050398356431570.5740103.5
BASE/qyshinsu/R08Lzw0.0021296127446944818549.2666666666667257918.56666666668
BASE/connectFourSuicide/c8p9Kw0.00213688626133734562140.16666666666651001535.1333333333
BASE/pawnWhopping/Ypc_6Q0.00213891115417015831563.3666666666666730917.0666666667
BASE/breakthroughSmallHoles/bxclRw0.00215533647706337871685.5666666666666782043.4
DRESDEN/firefighter/WJmoPw0.00216023980400813658323.03852813.0
DRESDEN/connectfoursuicide/M9CNQg0.00216392068023935372146.1991764.6333333333
BASE/pentago/86NgKw0.0021644550943697464786.3363278.5
BASE/wallmaze/uxNQ9g0.00216755796553606181176.7333333333333542884.3666666667
DRESDEN/Zhadu/9zpQ5w0.002199555543986527222.50366617784294101158.46666666666
STANFORD/connectfour/VMpZkQ0.0022087393327929952159.6666666666665977782.5
DRESDEN/connectfour/5tc-Mg0.00222518319430092732164.8333333333335972878.7
BASE/connectFour/WAIKTw0.00224537934544783752191.0975781.6666666666
DRESDEN/brawl/2kXtfQ0.0022651709031166548347.17685487634157153267.4
BASE/knightThrough/gcwFjA0.00228551684489721041780.2333333333333778919.3666666667
DRESDEN/pentago_2008/hLjVpQ0.00229094570478338815.7666666666667356082.93333333335
BASE/twisty-passages/DiZmmg0.0022913671639144136319.02757742.2333333334
BASE/pentagoSuicide/SBgNhw0.0023188501072621665818.3333333333334352904.8
BASE/brawl/6Ymo_Q0.0023456218958313453347.46666666666664148134.13333333333
DRESDEN/knightthrough/J7Fc_Q0.00234753668375539641805.3769018.8666666667
DRESDEN/twisty-passages/j7NPyg0.00237532433046483336310.5333333333342656703.8666666667
BASE/ticTacToeLarge/TZC0dg0.0023858249929167083157.16666666666651323301.8666666667
BASE/ticTacToeLargeSuicide/727_8g0.0024422194669784753204.21312003.3
DRESDEN/chinesecheckers1/Y-ftaA0.002458612689227183395.01380860.0333333334
BASE/pegEuro/5awwhg0.00248611943117945431148.0666666666666461790.63333333336
BASE/lightsOnSimultaneous/_VN6lw0.00251908176813800052044.1811446.4666666667
DRESDEN/tictactoelarge/IwXcbg0.00252445902393350333200.96666666666671267981.2333333334
DRESDEN/tictactoelargesuicide/6J4DeA0.0025307787928197653308.56666666666661307331.4333333333
BASE/mineClearingSmall/frsbvw0.0025665266895085054733.0666666666667285625.9666666667
BASE/checkers/rOC3Xg0.002589919679103078621.1459618012733239832.13333333333
BASE/max_knights/2fq3Ag0.0026158709009166922127.633333333333813355.6333333333
BASE/hidato19/rRHSmA0.0026481409561366051205.5333333333333455237.6
BASE/checkersSmall/SYmq8w0.002674114246716039816.8333333333334305459.4
BASE/lightsOnSimul4/9FeASw0.00270113605059483981474.0666666666666545721.0
DRESDEN/max_knights/hCipiA0.00279643840874055752137.733333333333764448.5666666667
BASE/checkers-mustjump/T-8UuQ0.0028198663270378025479.2169937.13333333333
BASE/checkers-cylinder-mustjump/rjr6qQ0.0028438915196332213394.78684043865206138819.23333333334
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw0.002855456202545492396.8138962.03333333333
DRESDEN/catcha_mouse/cHv4dw0.00287166131196405761983.9666666666667690877.6666666666
DRESDEN/queens/mW2wHQ0.0029171254798242277944.8666666666667323903.3333333333
DRESDEN/SC_TestOnly_enabled/09o7gQ0.0029221443599915783256.3666666666671114375.7
DRESDEN/towerworld/HCX34w0.0029620214378148373109.8926738217452237100.566666666666
BASE/queens/HyJJnQ0.002993153989594064956.4319529.1666666667
BASE/knightmove/jBaJEw0.00300261341861037932876.9958132.0
DRESDEN/peg/Vo31eg0.0030359242608688711380.7454787.36666666664
BASE/checkersTiny/Lr48cg0.00303723747392868961243.9409549.8
BASE/skirmishZeroSum/zh4hcw0.003037396327001627595.4666666666667196045.1
BASE/peg/fJHVWw0.00305477505947275051388.6333333333334454577.93333333335
DRESDEN/peg_bugfixed/u_B7MA0.0030746143874006831404.8333333333333456913.6666666667
BASE/incredible/8Qh-6Q0.0030901661597628375840.9666666666661890178.8333333333
DRESDEN/knightmove/97Ipcw0.00309070908746029652813.4333333333334910287.3333333334
BASE/coins_atomic/AA3SSw0.0030945749589204231415.186160461318457311.9666666667
BASE/queens08ug/kJ_ZFQ0.00310156543578294242230.9666666666667719303.4333333333
BASE/skirmishNew/sibw2g0.0031323272745072362625.9458018066065199834.1
BASE/lightsOnParallel/SC6enA0.00320559074222183645405.91686397.4333333333
DRESDEN/skirmish2/iPpWhQ0.0032181778223905146828.3333333333334257392.03333333333
BASE/blocksWorldParallel/RseaAQ0.00325669105079259571416.7666666666667435032.56666666665
BASE/catcha_mouse/cHv4dw0.0032829160645715932007.5611499.0333333333
BASE/coins/QnGtnQ0.0032850650730743751401.4426597.3333333333
BASE/escortLatch/mX9BjQ0.003339042352454051645.6333333333334492845.9
DRESDEN/coins/QwFP9w0.0033558755818671211412.4666666666667420893.63333333336
BASE/speedChess/bPnisA0.003356043162602682685.4333333333333204238.53333333333
STANFORD/chinook/osFbPA0.003360997526524277876.6374454184861260826.56666666668
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.00340880779042903321136.0666666666666333273.9
BASE/lightsOut/5P1ZBw0.0034173789279611732177.4333333333334637164.7333333333
STANFORD/duikoshi/tpw1sw0.00341924829208213471653.2333333333333483507.8333333333
BASE/tictactoe_3d_small_6player/g_9lww0.00348738163488555941152.2333333333333330400.7
DRESDEN/oisters_farm/pTQMLg0.003506872828939637713132.03744646.7666666666
BASE/racetrackcorridor/_RkdUg0.00352507738616480652389.266666666667677791.2666666667
BASE/checkers-mustjump-torus/uSApKQ0.0035422701273765604366.12112929569014103357.76666666666
DRESDEN/lightsout/XgLpzQ0.00359158823666716822231.1621201.5
BASE/snake_2009_big/-oRfVw0.003592094263087321254.9333333333334349359.8
DRESDEN/babel/WdSW4A0.0035924585573011737845.2235270.63333333333
DRESDEN/aipsrovers01/qS47Mw0.00359864119926654135809.7666666666661614433.4333333333
DRESDEN/skirmish/RjGQYQ0.003604011826320239800.6666666666666222159.83333333334
DRESDEN/skirmish3/3LU8Nw0.003608982308818129793.7666666666667219941.96666666667
BASE/copolymer_4/2LDVhQ0.0036418296779194162679.4333333333334735738.2333333333
BASE/chinook/XQh0IQ0.0038032951803708436971.8666666666667255532.8
DRESDEN/racetrackcorridor/O0DoTA0.00380874954057826242314.0333333333333607557.2333333333
BASE/factoringMutuallyAssuredDestruction/NH0LGg0.0038116002965301946474.1333333333331698534.1666666667
STANFORD/pentago/ZxzLmg0.00384015116416391861409.0666666666666366930.0
DRESDEN/chinesecheckers2/06E6-Q0.00384079103200277072523.8333333333335657112.9
DRESDEN/grid_game/U7_Yeg0.00387228608030425452351.5666666666666607281.2333333333
BASE/aipsrovers01/4C4jsw0.0038816532632797295994.41544290.4333333333
DRESDEN/snake_2008/E56l3A0.0039674192145303071467.3333333333333369845.8
BASE/queens06ug/7Lq3tw0.0039834226369973713607.5333333333333905636.6
BASE/factoringEasyTurtleBrain/lUj94Q0.0040058986378024946594.11646097.5666666667
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.0040059474803081881456.1333333333334363492.86666666664
BASE/snake_2008/i6K26g0.004030359509090631524.2333333333333378187.93333333335
BASE/ttcc4_2player_small/Cv72TA0.0040391546630192262230.8333333333335552302.0333333333
DRESDEN/snake_2009_big/DgC1NQ0.0040648094492600821250.7307689.7
BASE/tictactoe_3player/GtM71g0.0040650373253259541987.8666666666666489015.6
BASE/ttcc4_2player/_aH_Mw0.0040701453031329991479.8333333333333363582.43333333335
BASE/2pttc/unkkYA0.00407168656168208942819.4692440.3333333334
BASE/ticTacToeNoVars/XT03NA0.0040862685464336465070.8666666666671240952.8666666667
BASE/snake_2008_tweaked/bX0NJQ0.0040982597582200681531.5373695.2
DRESDEN/tpeg/h-Scbg0.004129099931978131500.5666666666666363412.5333333333
BASE/tpeg/QNs7Lw0.0041863650584771514.7361817.4666666667
BASE/copolymer_4_pie/IN5_jA0.0042007453651316172384.6666666666665567677.0333333333
BASE/duplicateStateLarge/dcjyuw0.0043060761051031525513.6333333333331280431.0
DRESDEN/tictactoe_3player/ESLQQQ0.0043160764198396671998.1333333333334462951.3333333333
BASE/ttcc4_2player_alt/ZEJvYA0.0043846200782471081712.6333333333334390600.1666666667
DRESDEN/double_tictactoe_dengji/bGaUyQ0.0043976120027307153381.0333333333333768833.9333333333
DRESDEN/snake_2009/zIYLVw0.0044498978829967491483.6333333333334333408.4
STANFORD/ttcc4/Cx9SGw0.0045855871582459351564.7333333333333341228.56666666665
BASE/snake_2009/7l-qAQ0.00461548142789880951501.1333333333334325238.73333333334
BASE/chineseCheckers1/gqtwHw0.0046180760680971317643.11655039.8666666667
DRESDEN/lightsout2/LFtfyQ0.0046768536397091472832.0333333333333605542.4333333333
STANFORD/sukoshi/4LYZZQ0.0047108919434718684640.066666666667984965.6333333333
BASE/cubicup_3player/e2yA_g0.004799418966736196379.954001533282279166.66666666667
DRESDEN/chinesecheckers6/yTbPDA0.0048292866914343481527.5316299.3
DRESDEN/cubicup_3player/awDtsQ0.00487747435995111375.1624837516248576917.36666666667
DRESDEN/endgame/IJhh3Q0.004890321709403971838.3387220425985171428.13333333333
BASE/blockerSerial/3eqDuw0.0049877790304812822883.866666666667578186.5333333333
DRESDEN/Goldrush/VeWczQ0.0050175220596448121725.0343795.2
STANFORD/multiplebuttonsandlights/cK70Yg0.005024210710500397518097.3536861751783602029.2
DRESDEN/chinesecheckers3/QsCb2A0.0050469634909051992125.366666666667421117.9
BASE/double_tictactoe_dengji/zgaSbA0.0050492476785225023483.6666666666665689937.7666666667
STANFORD/pilgrimage/ObRZnQ0.0050683481961798061487.5333333333333293494.7
STANFORD/checkersonabarrelnokings/Zrevdw0.0050858782770602621487.0333333333333292384.76666666666
STANFORD/multiplebuttonsandlights_9/SqB9BA0.00509901035522828418357.0666666666663600123.433333333
BASE/checkersBarrelNoKings/rnKNeg0.0051106725967430111636.4666666666667320205.73333333334
STANFORD/alquerquezero/uVgA_A0.0051225951541348661718.7335513.5333333333
DRESDEN/backgammon/mqCW0Q0.005379689864935446806.8333333333334149977.66666666666
BASE/checkersTorusNoKings/pwb6oQ0.0053862036211614251543.1333333333334286497.4
BASE/tictactoe2/bhrDoQ0.0054016803266442886773.3333333333331253930.8
STANFORD/freeforall/Lfp40Q0.0054714139264527472842.766666666667519567.1
DRESDEN/lightson2x2/gBHuig0.00547279944605422357974.8666666666671457182.3333333333
STANFORD/tictactoe3/X7myng0.0055019623110101216174.11122163.2666666666
BASE/2pffa_zerosum/o0_uZA0.0055512718766155422755.733333333333496414.76666666666
BASE/duplicateStateMedium/U163eQ0.0055950393762255999314.91664849.7666666666
BASE/2pffa/6oHijA0.00567551039007035362810.733333333333495238.86666666664
DRESDEN/kitten_escapes_from_fire/uW-YiA0.0057228806864318439020.31576181.7333333334
STANFORD/bestbuttonsandlightsbig/g0JC6g0.00575147023545753112949.22251459.1
DRESDEN/latenttictactoe/kITHKg0.0057954796005096413677.3634511.7666666667
DRESDEN/ticblock/Z2yNWQ0.0058128317744422794150.7714058.1666666666
BASE/ticblock/T21C1g0.005823057843496694174.566666666667716902.8333333334
BASE/checkersTorus/2vm1EQ0.0059063793863324581332.1225535.8
BASE/ticTacToeSerial/Amrwqw0.0060902286439057713181.6522410.6
BASE/asteroidsSerial/id2QkA0.006175716501235345008.7811031.4
BASE/kitten_escapes_from_fire/uW-YiA0.0062614102110208649139.41459639.2333333334
BASE/blocker/dIWtxg0.0063645220553966686316.0992376.1666666666
BASE/hodgepodge/9yjRkw0.0063675493752209168527.5666666666681339222.7
BASE/englishDraughts/jFkQxg0.00637865843498233551928.0666666666666302268.36666666664
DRESDEN/blocker/S815zQ0.0064349045602436696422.166666666667998020.5
DRESDEN/blockerparallel/dVQgSg0.0065104881809924161284.1666666666667197245.83333333334
BASE/factoringGeorgeForman/HGRorQ0.00652431996707250513433.52058988.5333333334
BASE/pacman3p/wW7UVQ0.0065365990507971883063.1666666666665468617.8
BASE/chineseCheckers2/eCMR3Q0.0065492322031933595576.466666666666851468.7666666667
BASE/lightsOn/MsXu3A0.006554339092473613575.42071208.0666666667
BASE/checkLines/Vop7oQ0.0066149751104981592764.6666666666665417940.6
BASE/blockerParallel/7-nDJA0.00672063522032732751293.3192437.16666666666
DRESDEN/logistics/fPru1Q0.0067228828314243813339.5333333333333496741.26666666666
BASE/chineseCheckers4/avfBcQ0.00672295879317581352450.7364527.0
BASE/chineseCheckers6/rREH3A0.0068912226037031832646.3384010.23333333334
BASE/doubletoetictac/fu35bg0.00692963096650226453415.9666666666667492950.73333333334
BASE/hanoi_6_disks/MeubgQ0.00706199477718710759138.61294053.6333333333
DRESDEN/hanoi_6_disks/MeubgQ0.0070684892252419289442.51335858.3
BASE/blocksWorldSerial/Wyg96Q0.0070782745921467065735.233333333334810258.6666666666
BASE/hex/T1MK8g0.007108087254825106595.433333333333383768.43333333333
STANFORD/hex/MTqWcw0.007235426855328299608.984155.36666666667
DRESDEN/pacman3p/rBnk8Q0.007272829583163862964.0666666666666407553.43333333335
STANFORD/dualhunter/1rPZjQ0.0074034229293543293291.3444564.63333333336
STANFORD/untwistycorridor/EDPPAQ0.0074700065071205927342.0666666666663660246.7
STANFORD/tictactoe5/WFRReg0.0074951710228794466595.233333333334879931.0
STANFORD/jointbuttonsandlights/qAKuIQ0.00757232662039724610822.41429204.0666666667
BASE/pacman2p/4LEdQg0.0077072360605287673058.9396886.76666666666
DRESDEN/tictactoe-init1/3ltIBQ0.0077864116992234456879.9883577.7333333333
STANFORD/bestbuttonsandlights/nm0wEA0.00779112617972981116591.82129576.6
DRESDEN/doubletictactoe/lJzgmQ0.0079183347068879483400.3429421.1
BASE/tictactoe-init1/7M19vA0.0080211429387691376792.566666666667846832.7666666667
BASE/bunk_t/xbpfIA0.0080220570629170233403.9424317.6
STANFORD/untwistycomplex/HTWEwg0.00803062197553447828359.4666666666673531415.966666667
BASE/hexPie/48CH6Q0.008038594221976914525.766666666666765405.3
DRESDEN/bunk_t/7-tPfA0.0080465917533753593412.266666666667424063.6
BASE/toetictac/mTThmg0.008062122191821888980.61113925.0666666667
DRESDEN/eotcatcit/mQUxzA0.0080836291377929656552.933333333333810642.5
BASE/doubletictactoe/HH1htg0.0080978180634048943457.4333333333334426958.63333333336
STANFORD/hunter/14dD-g0.0081075899929696166992.366666666667862447.0
DRESDEN/brain_teaser_extended/ZDp94A0.0082804386827926986630.5800742.6
STANFORD/dualrainbow/G3OnRQ0.0083914494355191847452.266666666666888078.6
DRESDEN/doubletoetictac/V89gKQ0.008453224139880863498.2413830.26666666666
BASE/duplicateStateSmall/bCPAXw0.00856446706687874317651.6666666666682061035.0333333334
BASE/brain_teaser_extended/ZDp94A0.0085788173342474246758.933333333333787863.0666666667
BASE/beatMania/qUHwvQ0.0086065490961791728433.9979939.8
DRESDEN/tictactoe/BTTzPw0.0086583042175697376958.0803621.5666666667
BASE/snakeParallel/RCVNtw0.0088384512522873136853.333333333333775399.8
DRESDEN/toetictac/mJtxCA0.0088976162592690139331.1333333333331048722.8333333333
BASE/untwistycomplex2/EDPPAQ0.00898098597133048728339.83155533.2666666666
DRESDEN/stratego/Z2wovg0.0090697431836157651492.6333333333334164572.83333333334
STANFORD/tictactoe/ss1kyQ0.0091036455298344186886.5756455.2
BASE/ticTacToe/JRFsaQ0.0091123630493857147050.433333333333773721.7333333333
STANFORD/tictactoe7/-bE9-A0.0091366518695947766833.4747910.7333333333
DRESDEN/tictactoeparallel/yk_DSg0.0091418179002661382849.4333333333334311692.2
DRESDEN/minichess/c7GMFw0.0091574774168598552518.733333333333275046.63333333336
DRESDEN/4pttc/9pB9AQ0.0091649038823011232263.2246942.03333333333
DRESDEN/hanoi7_bugfix/3gdnFw0.00921394602005465811074.5666666666681201935.2666666666
BASE/chickentictactoe/DSlZCA0.0092423706775639535797.7627295.7666666667
DRESDEN/hanoi7/51zz5Q0.00924518940658683111392.2333333333341232233.6333333333
BASE/hanoi7_bugfix/3gdnFw0.00926702009470203711282.1666666666661217453.5666666667
BASE/chineseCheckers3/-1rZdQ0.0093322552923815444700.0503629.6
DRESDEN/mummymaze2p/k-8edg0.0093797129227901319823.7666666666661047341.9333333333
BASE/3pttc/0sol9g0.0093911413881608372419.4257625.76666666666
BASE/eotcatcit/AfZSzA0.0094163343281004626514.2691797.8666666667
BASE/ticTacToeParallel/ymRGPw0.0094703130705081212917.0666666666666308022.2
BASE/numbertictactoe/rvJ-iQ0.009506258148156244176.7439363.2
BASE/cittaceot/fDxhXg0.0095241248696557171888.8333333333333198320.93333333332
BASE/mummymaze2p/vpjDdA0.00957650698404858610458.61092110.1
STANFORD/trifecta/ss1kyQ0.0095868264978217476763.4705488.9333333333
BASE/blocksWorld/SEdXLQ0.00967158323467305314966.61547481.9
DRESDEN/chickentictactoe/Ipbo-g0.0097617200999893275857.266666666666600024.0333333333
BASE/4pttc/AL1k2Q0.0097736195534308211999.4333333333334204574.5
DRESDEN/buttons/ADUaHw0.00989572471338281824593.3666666666652485251.7
DRESDEN/tictactoe_orthogonal/y69QFQ0.0099551236933657077593.033333333334762726.1666666666
BASE/tttcc4/8Bs2lg0.0099696901628102341343.3333333333333134741.73333333334
BASE/sheepAndWolf/g4THrg0.010024578955567481544.4154061.33333333334
DRESDEN/tttcc4/sAvtFg0.0101198059499538651313.5666666666666129801.56666666667
BASE/pearls/6k_mEQ0.01013773125770224931264.2333333333343083947.7333333334
BASE/tictactoe_orthogonal/WRzlVw0.010197902200555077773.8762294.0333333333
BASE/chickentoetictac/l57rfQ0.0102100014432222288232.3806297.6333333333
DRESDEN/3pttc/uwYBZw0.0102888178539710212788.9271061.26666666666
DRESDEN/blocks/vg0DRw0.0102932031686356914958.11453201.6666666667
DRESDEN/sheep_and_wolf/enAIzQ0.0103062843372799961574.4666666666667152767.63333333333
BASE/buttons/hTcUjw0.010426609900458225212.9666666666672418136.566666667
BASE/ttcc4/Le0qjQ0.0104446604963646211384.7666666666667132581.3
BASE/coloredtrails/EZvr7g0.010471612068613733951.8377382.2
STANFORD/rainbow/_4qNSQ0.01054283259508448916452.0333333333331560494.6
BASE/blocks/xIV5hQ0.01068435075365635815102.01413469.1333333333
DRESDEN/statespacelarge/8-y5HQ0.01075979214693405410744.0998532.3
DRESDEN/chickentoetictac/cxYaRQ0.0107800410659354458096.2751036.1
BASE/point_grab/V_osUg0.01078855777425102919910.4333333333341845513.9
BASE/amazons_8x8/7SOsIw0.0108731899738265611314.0120847.7
BASE/hanoi/iGLsJg0.01087783021845004612524.2333333333341151354.0
DRESDEN/hanoi/RQ0jiA0.01090181580780086712441.6333333333331141244.1333333333
DRESDEN/javastrike/whONTQ0.010971195554885814723.265918.06666666667
BASE/stateSpaceMedium/3bUoIw0.01099326831579574415968.9666666666671452613.2
DRESDEN/ghostmaze2p/HY0UwA0.01113913108829024310711.266666666666961589.0666666667
DRESDEN/statespacemedium/dVJZ_w0.01127637820683209316417.81455946.2
BASE/stateSpaceLarge/0Ge_CQ0.01135217292325593211632.21024667.2666666667
BASE/biddingTicTacToe/8mESVw0.0115055894180048884460.166666666667387652.1666666667
BASE/sum15/QZ07Kg0.0115826449924609197868.4679326.7
DRESDEN/sum15/CsgWKg0.0116004238782774327777.8670475.5
BASE/maze/cCX3qQ0.01163704426588846826454.8666666666652273332.1333333333
BASE/tron_10x10/7ZTgDg0.0116883178828163254410.9377376.8
DRESDEN/point_grab/r5DPmQ0.01177458454188667221341.01812463.1
BASE/asteroidsParallel/WauZiA0.01177720670116615817.466666666666493959.8
BASE/stateSpaceSmall/Q7osKA0.01189827265079979722266.5333333333331871408.9
DRESDEN/3pffa/0YrmQw0.0119202995453329772971.3333333333335249266.66666666666
DRESDEN/frogs_and_toads/GjchhQ0.0121610205396966431736.5333333333333142795.03333333333
BASE/4pffa/Q3ADlg0.012218387830130782138.866666666667175053.1
BASE/gt_dollar/TGjqRw0.01233946786897344312121.933333333332982370.8333333334
BASE/chomp/-LcqYQ0.012347162178881444820.2390389.3
BASE/wargame01/_GZFZg0.0123763952498208362960.6239213.43333333332
BASE/3pffa/pR0dzA0.012527611751692812544.5333333333333203114.0
DRESDEN/blocksworldparallel/2JfVaw0.0126740713263639435450.833333333333430077.5333333333
BASE/rubiksCube/9tNO9Q0.0126937686531024431598.9333333333334125962.06666666667
DRESDEN/statespacesmall/h-NqjA0.0127522704287934623076.0333333333331809562.7333333334
BASE/ticTicToe/c1OobQ0.01278355999286914280.966666666666334880.63333333336
DRESDEN/bidding-tictactoe/yW5vTA0.0128381684092268114959.5386309.0
DRESDEN/chomp/-LcqYQ0.0128547422808390964735.733333333334368403.6
BASE/circlesolitaire/azuQFQ0.01296301772851038311382.066666666668878041.4333333333
DRESDEN/tictictoe/LAUtwg0.0129967647802952564426.366666666667340574.5
BASE/ghostMaze2p/W-NU-w0.01307069743066166711381.133333333333870736.5
BASE/switches/tPUoCg0.01315598778076493816599.8333333333321261770.2
BASE/eotcitcit/V_9_bg0.0132854602922161984419.633333333333332666.93333333335
BASE/minichess/8NQEiA0.0133088185421918923159.133333333333237371.43333333332
DRESDEN/circlesolitaire/ruUilQ0.0134253428242557711636.366666666667866746.3333333334
STANFORD/tictictoe/rpt_Dw0.0135531894592046454493.233333333334331525.9
BASE/survival/YVIjJA0.01356516200331140931294.7333333333342306992.966666667
BASE/asteroids/BKCmPQ0.01379308894331671512897.566666666668935074.5666666667
BASE/troublemaker02/DI83KA0.0140883471155898329570.6333333333352098942.7
BASE/mummyMaze2p_2007/YGA3Vw0.01410427271950589911314.0802168.2666666667
DRESDEN/mummymaze2p-comp2007/oTQRQg0.01432348223286672311343.9791979.2
BASE/troublemaker01/s3tlEQ0.0145619369773409531982.1666666666682196285.2
DRESDEN/troublemaker02/iZLVuA0.01469296841141770129014.01974686.0666666667
DRESDEN/troublemaker01/C-lPWw0.01488248216201905232438.02179609.533333333
STANFORD/3puzzle/41ibjA0.01492201760521267816398.5666666666661098951.0333333334
BASE/solitaireChineseCheckers/-ET6gw0.0151406386765843653525.8333333333335232872.16666666666
STANFORD/threepuzzle/41ibjA0.01519240193055438616505.71086444.4
DRESDEN/bidding-tictactoe_10coins/mu5VhQ0.0153415017344384034344.333333333333283175.23333333334
BASE/biddingTicTacToe_10coins/a-9ccQ0.0154383868645898344227.6273836.9
DRESDEN/cube_2x2x2/fp-34Q0.015454975386785474323.5279748.1
BASE/gt_coordination/IVMOzA0.01545655575831349616689.0666666666661079740.3333333333
BASE/haystack/UkweGA0.01548126236213418344679.42886030.8
BASE/wargame03/klXI8w0.015525368604888732611.5168208.56666666668
STANFORD/buttonsandlights/eyhJpA0.01560120651216579546097.92954765.066666667
BASE/gt_centipede/9fRMpw0.0157280423069163516911.8333333333321075266.2666666666
BASE/wargame02/BkVqqQ0.0162413386834657431913.8333333333333117837.16666666667
BASE/knightsTour/mvtVIg0.0165124914165214521717.5666666666661315220.4666666666
DRESDEN/knightstour/cGISAA0.01666946207120491321218.9333333333341272922.5
DRESDEN/satlike_20v_91c/yeuENQ0.016721874846210738900.216558387472953834.666666666664
STANFORD/knightstour/cEwgNA0.0168624944271638721642.31283457.8
DRESDEN/Thief_Police/CX18rA0.01686683225791669714968.633333333333887459.6666666666
STANFORD/knightstourmedium/x1wu8Q0.01701301773194825421716.7666666666661276479.4
DRESDEN/CatchMeIfYouCanTest/CX18rA0.0171413742126384314991.633333333333874587.6
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.01734398567138984214590.04865693528841216.6
BASE/amazonsSuicide_10x10/XIbQkg0.01736574380562771023.033333333333358911.0
BASE/blocks2player/wnTLOQ0.0174266601678305410086.033333333333578770.3
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g0.017428156827644196856.733333333333349158.0
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.017471523858838305868.464025060819249707.4
DRESDEN/blocks2player/3ev8nQ0.01750865436045107410219.7583694.2
DRESDEN/crissrace/KWb9bw0.0176559682269520831544.966666666666787503.93333333333
BASE/crissrace/ERWGDA0.0178472560839386361531.166666666666785792.83333333333
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.017871348148315078931.24020931240252108.0
DRESDEN/catch_me/ghGWrA0.01832746322877901514561.8794534.4
BASE/onestep/xi53wA0.01849203895414140440844.52208761.3
BASE/gt_ultimatum/GE-uOA0.0185895033798468412096.1650695.1666666666
BASE/amazons_10x10/Bun8dA0.0186669487347362571023.566666666666754833.1
DRESDEN/fizzbuzz/t1xHzQ0.0191419756166474431265.91633368.5
DRESDEN/nim4/F5YAYg0.01958619085363257411361.033333333333580053.2333333333
BASE/nim3/1OwUqw0.01982229399078986811403.066666666668575264.7333333333
STANFORD/knightstourbig/TQUI2g0.01983626932376544519159.433333333334965878.8666666667
DRESDEN/nim3/sG_axA0.01993292085839130211507.833333333334577328.0
BASE/nim4/twk16w0.02020599499833549211336.1561026.5666666667
DRESDEN/2player_normal_form_2010/NG_Kdg0.020235663957956429762.1666666666681470777.8666666667
DRESDEN/smallest_4player/ADDROA0.0203114504719034456415.7315866.1666666667
BASE/smallest_4player/ADDROA0.020409004906631246251.966666666666306333.73333333334
DRESDEN/gt_ultimatum/pAiiQw0.02055497637163559612690.8617407.6666666666
DRESDEN/crisscross/GsY16g0.020843892475936752396.233333333333114960.93333333333
BASE/knightsTourLarge/M8jgLA0.02123609592317401619505.833333333332918522.5666666667
BASE/nim1/hin2Qw0.02133100905704784715302.333333333334717375.0333333333
DRESDEN/nim1/M9BALA0.02152783682645779615604.266666666666724841.3666666667
DRESDEN/nim2/z5_exA0.02153515781918722814490.366666666667672870.2333333333
BASE/nim2/eF2Qqw0.0216756899924982314187.966666666667654556.6333333333
DRESDEN/knightfight/4_Ly4w0.022090389770118055172.766666666666234163.66666666666
BASE/knightfight/SJRkAg0.0222604731320955465276.0237012.03333333333
DRESDEN/bomberman2p/x4h6jQ0.02237519529391806410410.766666666666465281.6
BASE/ruleDepthLinear/OUBJpQ0.02238323510776445537725.733333333331685445.9666666666
BASE/bomberman2p/4CClwA0.02242681030258245410493.9467917.63333333336
BASE/quartoSuicide/-23jUg0.0226012072322653542491.3333333333335110230.1
BASE/quarto/EwBMVQ0.0227985818561989852564.5112485.06666666667
BASE/crisscross/ICagEg0.0228198515553243132292.366666666667100454.93333333333
DRESDEN/quarto/OQzRYQ0.0243001364643606162511.9666666666667103372.53333333334
BASE/snakeAssemblit/UO4sdg0.0247233676175151051007.940767.1
DRESDEN/quartosuicide/WIU1oQ0.0248927142714909722600.2104456.26666666666
BASE/shmup/ssTNlg0.025419585249238215091.466666666666200297.0
DRESDEN/chinesecheckers4/-oVNYg0.0265363488828241171405.666666666666752971.36666666667
DRESDEN/guess/PhxGhg0.0275909310190223731511.854793.36666666667
BASE/guess/SPpk1A0.0276295967231692361505.133333333333454475.4
BASE/gt_two_thirds_2p/1APDGg0.0278368739748556564220.2151604.66666666666
DRESDEN/Runners/3bOCQw0.02834242069134833624158.533333333333852380.7333333333
DRESDEN/blobwars/ZaMluQ0.028716824353181677566.628891407239519731.6
BASE/roshambo2/KNPokQ0.0295020120486809821866.2741176.5666666667
DRESDEN/roshambo2/jgSlkQ0.02962555524044229622441.866666666665757517.1666666666
BASE/blobwars/0XT15Q0.02995909941897391578.880703976534219322.366666666665
BASE/colonelBlottoVariant/X-n-KQ0.0324256270624677311888.6366642.1
STANFORD/8puzzle/jNiGtw0.0329980764973776266941.566666666667210362.76666666666
BASE/eightPuzzle/vLrgFg0.033785629444568926971.733333333334206352.03333333333
DRESDEN/gt_chicken/CeuKtw0.0341874912677500314387.933333333332420853.73333333334
BASE/gt_chicken/gmepTQ0.0348746817096547714794.066666666668424206.5
DRESDEN/8puzzle/8fKC2w0.035267296506267098.433333333333201275.23333333334
STANFORD/eightpuzzle/W_aWbA0.0352735049384885557012.1198792.26666666666
BASE/gt_tinfoil/Q8DyKg0.0355459542534579717620.833333333332495719.8
DRESDEN/gt_prisoner/huCp4w0.03608302656338270614928.9413737.4666666667
BASE/gt_staghunt/xPjLRA0.03685752402286248515256.0413918.2
BASE/gt_prisoner/klthDw0.03782810229892851615267.133333333333403592.36666666664
BASE/amazonsTorus_10x10/Uxc08g0.03845263696703601758.733333333333319731.633333333335
BASE/gt_two_thirds_4p/DStnxQ0.04022791933265492218.966666666666755159.86666666667
BASE/kalaha5x2x3/WviNsw0.042828038807315024401.333333333333102767.56666666667
DRESDEN/vacuumcleaner_random/_6AGDA0.043853306093381055878.6134051.46666666667
BASE/colonelBlottoVariant2/jruwGw0.0445890550216601610958.133333333333245758.36666666667
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA0.046752389303058717878.966666666666168525.43333333332
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A0.047294740524670327949.066666666667168075.06666666668
BASE/gt_attrition/kD_SCA0.047837070493957646012.266666666666125682.16666666667
BASE/ad_game_2x2/D0aWqg0.051414388627700541833.966666666666735670.3
BASE/kalaha6x2x4/XS81Mg0.059941965100344563909.033333333333365213.63333333333
DRESDEN/vacuum_cleaner_1/eUNjpw0.064587226945027239360.7144931.13333333333
DRESDEN/pancakes/hl9aiQ0.1092693149328349828504.266666666666260862.5
BASE/pancakes/yUgbXw0.1114251831488818528751.3258032.33333333334
BASE/pancakes6/QZTdnw0.1128495995898260327835.433333333334246659.56666666668
DRESDEN/pancakes6/SZXMyQ0.1133420843811715529095.566666666666256705.76666666666
DRESDEN/racer/vk_ZBA0.115946578391644323250.428033.6
BASE/racer/QQYQNw0.122497939927431883354.727385.766666666666
BASE/colonelBlotto/jip21A0.131534524148120254516.73333333333434338.76666666667
DRESDEN/kalaha_2009/gcC8uA0.153168303160878373919.566666666666625589.933333333334
BASE/kalaha_2009/dRiN3g0.154637072678995493967.966666666666725659.866666666665
DRESDEN/smallest/9kaGFw0.394721753987638654589.66666666666711627.6
DRESDEN/Travelers-Dilemma/PvZwYw4.98915145584688721584.2333333333344326.233333333334

Games with errors:

GameALLOY_TUPLE_PROVER:2 error messageSANCHO_DEAD_RECKONING_PROPNET:1.61c error message
DRESDEN/knightwar/7hhAqgTest process timed out after 240 seconds
BASE/alexChess/LNo83gTest process timed out after 240 seconds
BASE/endgame/jYjfOAException of type NullPointerException
STANFORD/triplesukoshi/Iu9mbAException of type NullPointerException
DRESDEN/uf20-01.cnf.SAT/42Rs8AException of type NullPointerException
DRESDEN/hallway/0H4l-QTest process timed out after 240 seconds
DRESDEN/battlesnakes1509/-qZrLwTest process timed out after 240 seconds
BASE/amazons/RKKZjwTest process timed out after 240 seconds
DRESDEN/chinesecheckers6-simultaneous/gPPGUwException of type NullPointerException
BASE/sudoku/NTaNkwTest process timed out after 240 seconds
DRESDEN/checkers-cylinder-mustjump/vW_-pATest process timed out after 240 seconds
BASE/knightazons/apnJBQTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 seconds
DRESDEN/checkers-mustjump-torus/cVc3gATest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 seconds
DRESDEN/small_dominion/yB5GJAOutOfMemoryError: GC overhead limit exceeded
BASE/racer4/0vs7WwException of type NullPointerException
DRESDEN/vacuumcleaner_random_big/DwzFaQTest process timed out after 240 seconds
DRESDEN/checkers-mustjump/HUr33wTest process timed out after 240 seconds
DRESDEN/checkers/jIDMIgTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 seconds
DRESDEN/four_way_battle/xSOQXAException of type NullPointerException
DRESDEN/knightazons/02I8BQTest process timed out after 240 seconds
DRESDEN/crossers3/xiPTxgArrayIndexOutOfBoundsException: 65536
BASE/hallway/ckCJOwTest process timed out after 240 seconds
BASE/crossers3/O0rORgArrayIndexOutOfBoundsException: 65536
DRESDEN/amazons/dNB28ATest process timed out after 240 seconds
BASE/battlebrushes/arCwyAException of type NullPointerException
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 seconds
DRESDEN/checkers-newgoals/IJOqXQTest process timed out after 240 seconds
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWgTest process timed out after 240 seconds
BASE/amazonsSuicide/dE1QEQTest process timed out after 240 seconds
BASE/amazonsTorus/soxT8gOutOfMemoryError: GC overhead limit exceeded
DRESDEN/battlebrushes/QHXV4AException of type NullPointerException
DRESDEN/cylinder-checkers/clOO3QTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQOutOfMemoryError: Java heap space
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 seconds
BASE/mummymaze1p/PT_EXAException of type NullPointerException
BASE/pancakes88/l2XaigException of type StackOverflowError
BASE/cylinder-checkers/hlldmwTest process timed out after 240 seconds
DRESDEN/merrills/aYEzwAOutOfMemoryError: GC overhead limit exceeded
BASE/merrills/pku8TgOutOfMemoryError: GC overhead limit exceeded
DRESDEN/pancakes88/aD3E7gTest process timed out after 240 seconds
DRESDEN/god/2EDD5wTest process timed out after 240 seconds
BASE/factoringImpossibleTurtleBrain/kcBhdwTest process timed out after 240 seconds
DRESDEN/ggp-course2013_nicolai/uEin8gOutOfMemoryError: GC overhead limit exceeded
BASE/god/qF06gwTest process timed out after 240 seconds
DRESDEN/battlesnakes2011/93VtTwTest process timed out after 240 seconds
DRESDEN/farmers/S_ASnwTest process timed out after 240 seconds
BASE/chess_200/XsTpYAException of type StackOverflowError
BASE/knightwar/DVGY4QException of type NullPointerException
BASE/four_way_battle/xSOQXAException of type NullPointerException
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 secondsException of type StackOverflowError
BASE/laikLee_hex/zbyscQTest process timed out after 240 secondsException of type StackOverflowError

index