index

GGP_BASE_PROVER:2015-04-26 vs. SANCHO_DEAD_RECKONING_PROPNET:1.61c

Game-by-game performance:

GamePerf ratioGGP_BASE_PROVER:2015-04-26 states per secondSANCHO_DEAD_RECKONING_PROPNET:1.61c states per second
DRESDEN/quad_7x7/q-JOXg3.5036836199585313E-61.6765736930345985478517.43333333335
DRESDEN/quad/JPe6fg4.084372299208862E-61.332926050373497326347.8333333333
BASE/quad/tw-Ufg8.056749347981058E-62.5987359235137477322553.9
BASE/quad_7x7/q-JOXg9.180210475581291E-64.323728272539973470983.56666666665
DRESDEN/ggp-course2013_michal13/jWKddg2.1684700989067815E-512.290167865707435566766.7666666667
BASE/queens31lg/0gID-A2.2116479925420253E-53.3606175550675452151950.83333333334
BASE/sudokuGrade1/tDRNRw4.047404161693883E-524.388618644632505602574.3333333334
BASE/sudokuGrade4/DTy07w4.106604047177075E-524.2589294.7
BASE/pawnToQueen/-O1_JA4.145643792245253E-523.452595109600907565716.6
BASE/sudokuGrade2/u80Tfw4.2709686915866216E-525.418929273411734595156.0666666667
BASE/sudokuGrade3/eI8dvg4.3041270654545213E-525.111569972690337583430.0333333333
BASE/sudokuGrade5/BQfUQA4.317636603350132E-524.739453268071788572986.0
STANFORD/sudoku/oJ1qyQ4.428452663319855E-524.952526901422527563459.2666666667
BASE/sudokuGrade6H/ieE_9A4.6653927365507095E-524.04262404262404515339.76666666666
BASE/blokbox_simple/JBx4bg4.714584653042791E-50.821433084797169317423.233333333334
BASE/sudokuGrade6E/ihYFZA4.730341971029503E-524.251307505246675512675.56666666665
DRESDEN/pawntoqueen/f_x6Aw4.920527649711993E-522.846866049423834464317.4
DRESDEN/othello-cornercontrol/r5Gdlg7.317361356910152E-53.50621857634294847916.433333333334
STANFORD/duidoku/3SoMaA7.685036281756478E-523.961661341853034311796.3333333333
STANFORD/multiplesukoshi/vLSQPg1.0717934048025462E-4123.350219970670581150876.8333333333
STANFORD/selectivesukoshi/3xmXYg1.1080606288902345E-475.37487504165279680241.4333333333
DRESDEN/quad_5x5/JAEP5g1.3428442636269998E-490.37347713201518673000.4333333333
BASE/quad_5x5/JAEP5g1.4062310174945574E-483.53333333333333594022.8333333334
BASE/othelloHoles/c0qAzw1.4497846163539566E-46.32995293961688943661.333333333336
BASE/othelloSuicide/B442jg1.5050074402232213E-45.00198754471975633235.63333333333
BASE/othello-comp2007/86ZoMw1.5622788642557042E-45.093039512666023532600.066666666666
BASE/cephalopodMicro/9l2D3g1.7695259821537987E-451.50414764966519291061.8333333333
DRESDEN/CephalopodMicro/H3XQfg1.84392268309803E-451.44608823137412279003.5
BASE/nonogram_10x10_1/0Xc62g2.0211437081454797E-437.63207893070231186192.0
BASE/zhadu/DlA8iQ2.1074623974674233E-421.967780588470244104238.06666666667
DRESDEN/quad_5x5_8_2/JRTLJg2.494715505504639E-4150.56666666666666603542.4333333333
DRESDEN/grid_game2/kypTYQ2.5443883548853464E-4360.48798373387551416796.2333333334
BASE/ruleDepthExponential/UamhHQ2.7618303611199647E-4611.37690475688672213665.6666666665
STANFORD/skirmish/w4V6Vw3.0806251334148895E-441.001898544449254133096.03333333333
BASE/tictactoe_3d_2player/IUC1rQ3.2458940128293436E-4272.49700039994667839512.9333333333
DRESDEN/tictactoe_3d_2player/LMuX9w3.3084847702314696E-4283.4905503149895856859.1666666666
BASE/hitori/S8Gsyg3.313417632872175E-4115.06666666666666347274.86666666664
BASE/majorities/ibJzSQ3.4158077334664315E-4162.06758648270346474463.43333333335
STANFORD/madness/UO_B3A3.426707714376892E-443.352215928023995126512.73333333334
BASE/battle/8oAvhQ3.4481719851765395E-491.20901093041856264514.1
DRESDEN/hitori/S8Gsyg3.497754142756674E-4120.21329778370271343687.1
DRESDEN/battle/8oAvhQ3.5061512590586644E-492.4263536.8333333333
BASE/golden_rectangle/_nYzfw3.682665118935603E-4300.1814898.9666666667
BASE/skirmishHoles/AUCxCA3.701332140386317E-447.181127548980406127470.66666666667
BASE/futoshiki6/JmvXNA3.7328437227081073E-4207.41950536630893555660.8333333334
BASE/qyshinsu/R08Lzw3.758041648361254E-496.92687154189721257918.56666666668
DRESDEN/ggp-course2013_jordi/9QI6Kw3.7757675211944937E-4184.72101859876008489227.73333333334
DRESDEN/golden_rectangle/1uloXw3.903046634260512E-4282.72390920302655724367.2333333333
BASE/strangeSkirmish/gc1zKA3.968280736656268E-442.07615684445481106031.2
BASE/reversi/d8UMeA3.9799803396372744E-430.5595361082414176783.13333333333
BASE/skirmish/Y_psYQ3.990118208533295E-444.61251416005864111807.5
BASE/reversiSuicide/9OxJlg4.0242162000572013E-429.83285609642405274133.33333333333
BASE/skirmishFinal2/gdB62Q4.628765546271931E-463.63484924204565137476.93333333332
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg4.6678247009489823E-4964.72066701.4333333333
BASE/skirmishFinal3/-Olhfw4.6775054595819094E-469.62869142057197148858.6
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg4.786671462830357E-4986.13333333333332060165.0666666667
DRESDEN/skirmishfinal/hzq8ww4.892230475583213E-464.94069039051047132742.5
BASE/skirmishFinal1/ecWTnQ5.001972041806048E-463.9786737754082127906.9
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw5.155612150540848E-41044.46666666666672025882.9333333333
BASE/hidato37/pBrqxw5.227948739798952E-4110.68524196773764211718.3
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ5.268951739688125E-41014.43333333333331925303.9
BASE/futoshiki5/TJ4BZg5.293381085263673E-4324.93333333333334613848.3666666667
STANFORD/multipletictactoe/_bkafQ5.298954784181671E-4655.71147628412381237435.5
DRESDEN/Zhadu/9zpQ5w5.707088032525524E-457.73202745019655101158.46666666666
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg5.76589594570288E-4965.53333333333331674559.0666666667
BASE/connect5/d-BVQg5.837394001491931E-4455.15149495016834779716.9333333333
BASE/connectFourLarger/qKi60A5.992019847335205E-4468.38438718709375781680.3
DRESDEN/connect5/1kYzSg6.006012461693079E-4464.98916847192135774206.1333333333
BASE/snake2p/I3wWPQ6.049934997524373E-4346.87687487500835573356.3666666667
BASE/breakthrough/TGxk-g6.076253651701526E-4510.6666666666667840430.1333333333
STANFORD/platformjumpers/HEQskA6.26321549259782E-4236.37636236376363377404.1666666667
DRESDEN/minichess-evilconjuncts/th24Tw6.310514401191447E-4175.65495633624425278352.8333333333
DRESDEN/breakthrough/z4hK7Q6.323338795315272E-4512.1666666666666809962.4
BASE/ticTacHeavenFC/mrletw6.386586327739524E-4230.46927076389815360864.56666666665
BASE/breakthroughWalls/vOZaYA6.40164027642621E-4519.1493616879437810963.0333333333
BASE/minichess-evilconjuncts/4OpQzw6.466093576221258E-4181.02729909003034279963.93333333335
BASE/factoringMediumTurtleBrain/8RBqmQ6.51702605795548E-4995.33333333333341527281.5
BASE/breakthroughSuicide/wZDpIg6.534193000737744E-4543.9666666666667832492.5
DRESDEN/breakthroughsuicide_v2/LU1nAw6.625474325676731E-4515.7778359.3666666667
BASE/dualConnect4/WbCQkg6.706300635302903E-4594.7342109648392886829.0333333333
BASE/coins_atomic/AA3SSw7.017820584766388E-4320.93333333333334457311.9666666667
BASE/coins/QnGtnQ7.04176928750922E-4300.4426597.3333333333
BASE/ticTacHeaven/18n58A7.150751589382313E-4255.81627891473903357747.4
BASE/queens08lg/Ru7eqQ7.248297963361461E-4348.25505816472787480464.6
DRESDEN/coins/QwFP9w7.311427614055142E-4307.73333333333335420893.63333333336
DRESDEN/capture_the_king/EQ229Q7.3537046085795E-4120.86776859504133164363.1
BASE/dotsAndBoxes/EHwA_w7.370291463638447E-4613.2333333333333832034.0333333333
BASE/dotsAndBoxesSuicide/jzQbLw7.385558102190515E-4615.7794740175327833761.6
BASE/nonogram_5x5_1/qLKEZw7.581679782341684E-4268.7243758541382354439.1
DRESDEN/connect4/T0-rHQ7.631297045909765E-4455.51814939502015596907.9
BASE/speedChess/bPnisA7.744812249536465E-4158.17890947873616204238.53333333333
STANFORD/nineboardtictactoe/y28P-A7.840990918002363E-4422.83847743483767539266.6333333333
DRESDEN/slidingpieces/s9_44g7.912068633288098E-4343.9104059729351434665.6
BASE/connect4/50bOyw7.923926115810233E-4453.5572317.3
BASE/queens16ug/gT-ylw8.132507794365093E-4436.85210492983566537167.7666666667
BASE/nineBoardTicTacToe/wRmqqA8.199076354897658E-4437.38959437389593533462.0333333333
BASE/breakthroughHoles/nZk0Sg8.200009842378123E-4739.2666666666667901543.6333333333
DRESDEN/pawn_whopping/4ogBkg8.214001912416663E-4675.5774807506416822470.5666666667
BASE/snake_2009_big/-oRfVw8.225927576018998E-4287.3808412772482349359.8
BASE/connectFourLarge/aU644A8.318856798126412E-4729.0876322.3333333334
BASE/skirmishZeroSum/zh4hcw8.398587959938912E-4164.650201646502196045.1
DRESDEN/pawn_whopping_corrected/7Ov0jQ8.467339545458403E-4658.6777812.2
BASE/skirmishNew/sibw2g8.508441039065663E-4170.02766574447517199834.1
BASE/nineBoardTicTacToePie/B8LzeQ8.597376453717436E-4385.3076461569229448168.86666666664
BASE/slidingpieces/uFJWEw8.616352620566037E-4370.7419505366309430277.13333333336
DRESDEN/uf20-010.cnf.SAT/5ICbCg8.638849792903975E-41078.16666666666671248044.2333333334
DRESDEN/uf20-020.cnf.SAT/hDrW_A8.702653429394258E-41056.63333333333341214150.7666666666
BASE/conn4/va9Y7A8.770631235274255E-4574.7141761941268655271.1666666666
BASE/breakthroughSmallHoles/bxclRw8.921073519278682E-4697.6666666666666782043.4
DRESDEN/sat_test_20v_91c_version2/a1mPBA8.936041668573731E-4976.21092430.0
DRESDEN/sat_test_20v_91c/dK7nVw8.974600683452406E-41012.51128183.9
BASE/pawnWhopping/Ypc_6Q8.993268365330276E-4657.3333333333334730917.0666666667
BASE/3pConnectFour/PqXOFQ9.06913246724077E-4620.2683858.1333333333
BASE/cubicup/4wNWJA9.252569335893458E-4348.02173260891306376135.23333333334
BASE/connectFourSimultaneous/7ITr3g9.257735510162714E-4482.3520969.73333333334
BASE/futoshiki4/BaCwSw9.331127335568607E-4690.6740103.5
BASE/checkers-newgoals/0XkFiA9.42405704033148E-4232.79224025865804247019.13333333333
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA9.435332609248007E-41016.13333333333331076944.9
BASE/withConviction/3Xm54A9.456633878403937E-4603.2931137924138637957.5666666667
BASE/tictactoe_3d_small_2player/oOryKA9.563757853286579E-4818.3333333333334855660.8666666667
DRESDEN/tictactoe_3d_6player/ulZPWg9.604939093513717E-4230.34363230343632239817.9
DRESDEN/cubicup/SBn_lw9.654853867940924E-4345.73333333333335358092.76666666666
DRESDEN/tictactoe_3d_small_2player/HYttcg9.727416977266291E-4846.2869912.3333333334
DRESDEN/mimikry/GJEhwA9.753691435635723E-4846.2867568.9666666667
DRESDEN/snake_2009_big/DgC1NQ9.873583678621676E-4303.8307689.7
BASE/tictactoe_3d_6player/d7KSwg9.895338654318344E-4242.3244862.76666666666
BASE/connectFour_9x6/B9TtMw9.987435296500812E-4958.4666666666667959672.4666666667
BASE/choicethroughalt/tt71Lg0.0010022698284391338493.03333333333336491916.76666666666
DRESDEN/connectfoursuicide/M9CNQg0.0010076651587260003999.3666666666667991764.6333333333
DRESDEN/breakthroughsuicide/Y9QzqQ0.0010186924770375387893.9877497.4
BASE/connectFourSuicide/c8p9Kw0.00102046678076262521022.03333333333331001535.1333333333
BASE/connectFour/WAIKTw0.0010221890484380899997.4333333333333975781.6666666666
STANFORD/connectfour/VMpZkQ0.00103652908494476021013.5977782.5
BASE/breakthroughSuicideSmall/XSbJog0.0010443467798367894864.3666666666667827662.5
BASE/breakthroughSmall/HJ0tIA0.0010466465318795656856.1666666666666818009.3666666667
BASE/mummymaze2p/vpjDdA0.00104705560364289271143.51092110.1
DRESDEN/connectfour/5tc-Mg0.00104881180630911821020.3666666666667972878.7
DRESDEN/brawl/2kXtfQ0.0010546959210928418161.650501616505153267.4
BASE/ticTacToeLargeSuicide/727_8g0.00105571380803691561385.11312003.3
BASE/ticTacToeLarge/TZC0dg0.0010579596653381381400.01323301.8666666667
BASE/brawl/6Ymo_Q0.001083144161268073160.4506216045062148134.13333333333
DRESDEN/towerworld/HCX34w0.001088641850181704140.3892295387896637100.566666666666
DRESDEN/snake_2008/E56l3A0.001090905092518738403.46666666666664369845.8
DRESDEN/mummymaze2p/k-8edg0.00109362564750423121145.41047341.9333333333
BASE/snake_2008/i6K26g0.00110937617146946419.55268157728074378187.93333333335
DRESDEN/tictactoelarge/IwXcbg0.0011162888662100861415.43333333333341267981.2333333334
BASE/tictactoex9/BI26ow0.001142854280331269593.1666666666666519022.13333333336
BASE/snake_2008_tweaked/bX0NJQ0.0011462104231826722428.3333333333333373695.2
DRESDEN/skirmish2/iPpWhQ0.0011504764103081472296.1234625512483257392.03333333333
DRESDEN/tictactoelargesuicide/6J4DeA0.00115205404259606431506.11646278457371307331.4333333333
DRESDEN/tictactoex9/rFkD4w0.001157492233963896595.9333333333333514848.6666666667
BASE/hidato19/rRHSmA0.001165179091826627530.4333333333333455237.6
BASE/simultaneousWin2/PfjRjw0.00118402193330205821087.2918226.2333333333
DRESDEN/skirmish/RjGQYQ0.0011972962422499673265.991133628879222159.83333333334
BASE/mineClearingSmall/frsbvw0.0012013746313703705343.1437904139724285625.9666666667
DRESDEN/pentago_2008/hLjVpQ0.001213294131479483432.03333333333336356082.93333333335
BASE/pentago/86NgKw0.0012157392879985158441.65194493516884363278.5
DRESDEN/snake_2009/zIYLVw0.0012362391644358025412.1725218318779333408.4
STANFORD/duikoshi/tpw1sw0.0012563050512452917607.4333333333333483507.8333333333
BASE/snake_2009/7l-qAQ0.001271596480118193413.5724285047663325238.73333333334
BASE/pegEuro/5awwhg0.0013068257353939397603.4798840038666461790.63333333336
DRESDEN/babel/WdSW4A0.0013086183785014954307.87947470168655235270.63333333333
BASE/pentagoSuicide/SBgNhw0.0013133116122883346463.4739718722922352904.8
BASE/checkers-mustjump/T-8UuQ0.0013285305114793433225.76666666666668169937.13333333333
BASE/checkers/rOC3Xg0.0013363513702083847320.5239832.13333333333
BASE/queens12ug/u6Bkmg0.001343985689487392792.2589440.8
BASE/checkers-cylinder-mustjump/rjr6qQ0.0013673490865805352189.8143518981435138819.23333333334
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw0.0013748749627433457191.05542040190622138962.03333333333
BASE/checkersSmall/SYmq8w0.0013913633028372636425.0049996666889305459.4
STANFORD/breakthrough/d5j0cQ0.00139616538339254361121.1802985.1
BASE/knightThrough/gcwFjA0.001419445170640471105.6333333333334778919.3666666667
BASE/checkersTiny/Lr48cg0.0014199671975356227581.5472817572747409549.8
DRESDEN/chinesecheckers1/Y-ftaA0.00144417243736578561994.21380860.0333333334
BASE/max_knights/2fq3Ag0.00147229569812204741197.5813355.6333333333
BASE/firefighter/WJmoPw0.00153451132576412046296.4666666666664103238.966666667
BASE/wallmaze/uxNQ9g0.0015448348085912217838.6666666666666542884.3666666667
BASE/queens/HyJJnQ0.0015457156068362527493.9012197560488319529.1666666667
DRESDEN/peg/Vo31eg0.0015462170929550156703.2454787.36666666664
DRESDEN/queens/mW2wHQ0.001566206522622312507.2995133657756323903.3333333333
DRESDEN/peg_bugfixed/u_B7MA0.001610369865642014735.8456913.6666666667
DRESDEN/firefighter/WJmoPw0.00161129889598413776208.0333333333343852813.0
STANFORD/pentago/ZxzLmg0.0016322278624106728598.9133695543482366930.0
BASE/peg/fJHVWw0.0016370496940091973744.1666666666666454577.93333333335
DRESDEN/knightthrough/J7Fc_Q0.00164022850588060981261.3666666666666769018.8666666667
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.0016530356487509247600.8666666666667363492.86666666664
BASE/checkers-mustjump-torus/uSApKQ0.0016981948967344875175.52163189120725103357.76666666666
BASE/escortLatch/mX9BjQ0.0017018165989274403838.7333333333333492845.9
DRESDEN/max_knights/hCipiA0.00172250524637432551316.7666666666667764448.5666666667
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.0017390100654946776579.5666666666667333273.9
BASE/incredible/8Qh-6Q0.0017551778389928363317.61890178.8333333333
DRESDEN/grid_game/U7_Yeg0.00175728576496436021067.1666666666667607281.2333333333
BASE/lightsOut/5P1ZBw0.00176893029547251581127.1637164.7333333333
STANFORD/sukoshi/4LYZZQ0.00177518883992196141748.5984965.6333333333
BASE/tictactoe_3d_small_6player/g_9lww0.0017809687852759794588.4333333333333330400.7
BASE/blocksWorldParallel/RseaAQ0.0017879121233605729777.8435032.56666666665
BASE/knightmove/jBaJEw0.00182796664064380831751.4333333333334958132.0
DRESDEN/double_tictactoe_dengji/bGaUyQ0.0018490772476310231421.6333333333334768833.9333333333
DRESDEN/mummymaze2p-comp2007/oTQRQg0.00190792047737280641511.0333333333333791979.2
DRESDEN/knightmove/97Ipcw0.00191701374877236551745.0333333333333910287.3333333334
BASE/tictactoe_3player/GtM71g0.0019295946385704985943.6018799373354489015.6
DRESDEN/lightsout/XgLpzQ0.0019606627908443021217.9666666666667621201.5
BASE/pacman3p/wW7UVQ0.0019702677887639933923.3025565814473468617.8
STANFORD/checkersonabarrelnokings/Zrevdw0.0020171377167802589.7803406553115292384.76666666666
BASE/cubicup_3player/e2yA_g0.0020197221496125566159.8946701776607479166.66666666667
DRESDEN/backgammon/mqCW0Q0.0020263888565308784303.9130724618359149977.66666666666
BASE/mummyMaze2p_2007/YGA3Vw0.0020382672829075591635.0333333333333802168.2666666667
DRESDEN/catcha_mouse/cHv4dw0.002051979293970521417.6666666666667690877.6666666666
BASE/racetrackcorridor/_RkdUg0.00206489333146714061399.5666666666666677791.2666666667
DRESDEN/tictactoe_3player/ESLQQQ0.002084169413198402964.8690087327511462951.3333333333
DRESDEN/skirmish3/3LU8Nw0.0020894905762262436459.56666666666666219941.96666666667
BASE/double_tictactoe_dengji/zgaSbA0.00209221768939256471443.5689937.7666666667
BASE/checkersBarrelNoKings/rnKNeg0.0021197829895196548678.7666666666667320205.73333333334
DRESDEN/tpeg/h-Scbg0.002139533620928135777.5333333333333363412.5333333333
BASE/lightsOnParallel/SC6enA0.0021465086432867953619.8666666666671686397.4333333333
BASE/ttcc4_2player_small/Cv72TA0.0021502727281890021187.6552302.0333333333
STANFORD/chinook/osFbPA0.0021573003515306583562.6812439585348260826.56666666668
BASE/ttcc4_2player/_aH_Mw0.002164407196750767786.9404353188227363582.43333333335
STANFORD/pilgrimage/ObRZnQ0.0021718010112747902637.4120862637913293494.7
DRESDEN/cubicup_3player/awDtsQ0.00217931997460695167.6275535708334776917.36666666667
BASE/tpeg/QNs7Lw0.002180933958964944789.1361817.4666666667
BASE/englishDraughts/jFkQxg0.0021973850830790433664.2302268.36666666664
BASE/ticTacToeSerial/Amrwqw0.0022154348833401671157.3666666666666522410.6
BASE/copolymer_4/2LDVhQ0.0022210798070527531634.1333333333334735738.2333333333
DRESDEN/chinesecheckers2/06E6-Q0.00223624687122512231469.4666666666667657112.9
BASE/chineseCheckers1/gqtwHw0.00225589732017734273733.61655039.8666666667
DRESDEN/racetrackcorridor/O0DoTA0.0022621188445511061374.3666666666666607557.2333333333
BASE/lightsOnSimultaneous/_VN6lw0.00227301911968396871844.4333333333334811446.4666666667
STANFORD/hex/MTqWcw0.0022879229472875223192.5409945340621284155.36666666667
BASE/queens08ug/kJ_ZFQ0.0022908273805449651647.8719303.4333333333
BASE/2pttc/unkkYA0.00230518056670105371596.2692440.3333333334
BASE/catcha_mouse/cHv4dw0.00232019990655749731418.8611499.0333333333
BASE/pacman2p/4LEdQg0.0023216529517277092921.4333333333333396886.76666666666
DRESDEN/pacman3p/rBnk8Q0.002336789703566886952.3666666666667407553.43333333335
BASE/factoringEasyTurtleBrain/lUj94Q0.0023434617393173153857.56666666666661646097.5666666667
DRESDEN/lightsout2/LFtfyQ0.00236471179311243451431.9333333333334605542.4333333333
BASE/checkersTorusNoKings/pwb6oQ0.0023794282251776108681.7286497.4
BASE/chinook/XQh0IQ0.002382081674055151608.7255532.8
BASE/ticblock/T21C1g0.002428362560523661740.9716902.8333333334
DRESDEN/oisters_farm/pTQMLg0.002432183122781959107.6666666666663744646.7666666666
BASE/ttcc4_2player_alt/ZEJvYA0.0024449554339667887955.0390600.1666666667
BASE/twisty-passages/DiZmmg0.0024468687652424666747.8333333333332757742.2333333334
BASE/checkersTorus/2vm1EQ0.002448982970035504552.3333333333334225535.8
DRESDEN/endgame/IJhh3Q0.002457395168898765421.26666666666665171428.13333333333
BASE/tictactoe2/bhrDoQ0.0024605823543053573085.41253930.8
BASE/hex/T1MK8g0.002461863627046816206.226459118029483768.43333333333
STANFORD/tictactoe3/X7myng0.00250382460686499052809.71122163.2666666666
DRESDEN/ticblock/Z2yNWQ0.00251328731622937371794.6333333333334714058.1666666666
BASE/blockerSerial/3eqDuw0.0025197750483753921456.9578186.5333333333
DRESDEN/twisty-passages/j7NPyg0.00254884762215876636771.5333333333342656703.8666666667
BASE/copolymer_4_pie/IN5_jA0.00255896677400665241452.6666666666667567677.0333333333
BASE/lightsOnSimul4/9FeASw0.0025905178653561071413.7545721.0
DRESDEN/ghostmaze2p/HY0UwA0.0026072121174977312507.0666666666666961589.0666666667
BASE/doubletoetictac/fu35bg0.0026373156154482511300.0666666666666492950.73333333334
DRESDEN/bomberman2p/x4h6jQ0.00268668837681667771250.0666666666666465281.6
DRESDEN/aipsrovers01/qS47Mw0.00272931661908306644406.31614433.4333333333
STANFORD/ttcc4/Cx9SGw0.002765008830347049943.5341228.56666666665
DRESDEN/latenttictactoe/kITHKg0.0027699512585871141757.5666666666666634511.7666666667
BASE/ticTacToeNoVars/XT03NA0.0027727349085995373440.83333333333351240952.8666666667
BASE/factoringMutuallyAssuredDestruction/NH0LGg0.0028087944457990984770.8333333333331698534.1666666667
BASE/aipsrovers01/4C4jsw0.00284935607859428344400.2333333333341544290.4333333333
BASE/bomberman2p/4CClwA0.00286311073693952841339.7467917.63333333336
BASE/factoringGeorgeForman/HGRorQ0.00286520941609258755899.4333333333332058988.5333333334
BASE/checkLines/Vop7oQ0.00289195801189610871208.6666666666667417940.6
DRESDEN/bunk_t/7-tPfA0.00292369666562594231239.8333333333333424063.6
BASE/queens06ug/7Lq3tw0.00292961510904778642653.1666666666665905636.6
BASE/ghostMaze2p/W-NU-w0.0029531322047485092571.4870736.5
BASE/hexPie/48CH6Q0.0029798938290682394194.9008498583569365405.3
DRESDEN/doubletictactoe/lJzgmQ0.0030066058700888241291.1429421.1
BASE/bunk_t/xbpfIA0.00302697790522947961284.4424317.6
DRESDEN/chinesecheckers3/QsCb2A0.00310293150682979751306.7421117.9
BASE/doubletictactoe/HH1htg0.00310584343104589571326.0666666666666426958.63333333336
BASE/kitten_escapes_from_fire/uW-YiA0.00310825663610896354536.9333333333331459639.2333333334
DRESDEN/kitten_escapes_from_fire/uW-YiA0.00311106257374889864903.61576181.7333333334
DRESDEN/chinesecheckers6/yTbPDA0.0031383776905818846992.6666666666666316299.3
DRESDEN/doubletoetictac/V89gKQ0.0031483116910733451302.8666666666666413830.26666666666
STANFORD/freeforall/Lfp40Q0.0032028586875496931664.1519567.1
BASE/amazons_8x8/7SOsIw0.003235645356290239391.0202993233559120847.7
DRESDEN/SC_TestOnly_enabled/09o7gQ0.00327552607856279253650.16666666666651114375.7
BASE/2pffa/6oHijA0.0033588505371751251663.4333333333334495238.86666666664
DRESDEN/logistics/fPru1Q0.0033849949249233571681.4666666666667496741.26666666666
BASE/chineseCheckers2/eCMR3Q0.0033971886148260752892.6851468.7666666667
BASE/chineseCheckers4/avfBcQ0.0034074293536555591242.1364527.0
STANFORD/untwistycomplex/HTWEwg0.003461274490282599512223.23531415.966666667
STANFORD/alquerquezero/uVgA_A0.0034746735501777081165.8335513.5333333333
BASE/2pffa_zerosum/o0_uZA0.00352098040596831531747.8666666666666496414.76666666666
DRESDEN/blocker/S815zQ0.00354388178065146623536.866666666667998020.5
BASE/wargame01/_GZFZg0.00356850082137249853.6333333333333239213.43333333332
STANFORD/tictactoe5/WFRReg0.00358096259820372273151.0879931.0
BASE/blocker/dIWtxg0.00361543010320179373587.866666666667992376.1666666666
DRESDEN/tictactoe-init1/3ltIBQ0.0036292600100228873206.733333333333883577.7333333333
BASE/duplicateStateLarge/dcjyuw0.0037209866573573014764.4666666666661280431.0
BASE/wargame02/BkVqqQ0.003729315891557059439.4520182660578117837.16666666667
BASE/tictactoe-init1/7M19vA0.00376229340519535073186.0333333333333846832.7666666667
BASE/chineseCheckers6/rREH3A0.0037674343227137961446.7333333333333384010.23333333334
STANFORD/multiplebuttonsandlights_9/SqB9BA0.003784388763040837613624.2666666666663600123.433333333
STANFORD/multiplebuttonsandlights/cK70Yg0.003805197729472412813706.4333333333323602029.2
BASE/wargame03/klXI8w0.003844037273567319646.6168208.56666666668
BASE/asteroidsSerial/id2QkA0.0039012053047514563164.0811031.4
BASE/hodgepodge/9yjRkw0.00390813765826002455233.8666666666671339222.7
DRESDEN/stratego/Z2wovg0.003912017918738525643.8118729375688164572.83333333334
BASE/lightsOn/MsXu3A0.0039216565430526048122.5666666666672071208.0666666667
DRESDEN/lightson2x2/gBHuig0.0039868037561988935809.51457182.3333333333
DRESDEN/eotcatcit/mQUxzA0.00405024409650373283.3810642.5
DRESDEN/javastrike/whONTQ0.004081562820177691269.0487300846610365918.06666666667
STANFORD/bestbuttonsandlightsbig/g0JC6g0.0041152720325528759265.3666666666672251459.1
DRESDEN/2player_normal_form_2010/NG_Kdg0.0041566893310152256113.5666666666671470777.8666666667
DRESDEN/Goldrush/VeWczQ0.0041655613574593241432.1343795.2
DRESDEN/tictactoe/BTTzPw0.0042612511602164993424.4333333333334803621.5666666667
BASE/toetictac/mTThmg0.0043075309194945254798.2666666666661113925.0666666667
DRESDEN/minichess/c7GMFw0.0043231456871737741189.0666666666666275046.63333333336
BASE/hanoi_6_disks/MeubgQ0.0043430193735658935620.11294053.6333333333
DRESDEN/hanoi_6_disks/MeubgQ0.0044263676768711175913.01335858.3
STANFORD/tictactoe7/-bE9-A0.00444241964348508253322.5333333333333747910.7333333333
BASE/ticTacToe/JRFsaQ0.004480206751333343466.4333333333334773721.7333333333
BASE/ticTacToeParallel/ymRGPw0.0045745620499647971409.0666666666666308022.2
DRESDEN/blockerparallel/dVQgSg0.004579057436785737903.2197245.83333333334
BASE/blocksWorldSerial/Wyg96Q0.0045977087152415533725.3333333333335810258.6666666666
DRESDEN/toetictac/mJtxCA0.0046121178824338244836.8333333333331048722.8333333333
BASE/chineseCheckers3/-1rZdQ0.0046640758737506032348.9666666666667503629.6
BASE/chickentictactoe/DSlZCA0.0046775383414299042934.2627295.7666666667
STANFORD/jointbuttonsandlights/qAKuIQ0.0047000752540073476717.3666666666671429204.0666666667
STANFORD/dualhunter/1rPZjQ0.00472724663432891152101.5666666666666444564.63333333336
BASE/blockerParallel/7-nDJA0.0047513344182473416914.3333333333334192437.16666666666
DRESDEN/tictactoeparallel/yk_DSg0.0047538351403510681481.7333333333333311692.2
BASE/duplicateStateMedium/U163eQ0.004756485234813887918.8333333333331664849.7666666666
DRESDEN/brain_teaser_extended/ZDp94A0.0047629954161716063813.9333333333334800742.6
DRESDEN/4pttc/9pB9AQ0.00477507474426184551179.1666666666667246942.03333333333
DRESDEN/chickentictactoe/Ipbo-g0.0047939190880187532876.4666666666667600024.0333333333
STANFORD/trifecta/ss1kyQ0.0048166595384345263398.1705488.9333333333
BASE/eotcatcit/AfZSzA0.0048573918701493543360.3333333333335691797.8666666667
BASE/numbertictactoe/rvJ-iQ0.0048672715420863652138.5439363.2
STANFORD/hunter/14dD-g0.0048925132017774244219.533333333334862447.0
STANFORD/tictactoe/ss1kyQ0.00490277987821794753708.733333333333756455.2
BASE/cittaceot/fDxhXg0.004967537466207972985.1666666666666198320.93333333332
BASE/4pttc/AL1k2Q0.0050325594506320841029.5333333333333204574.5
BASE/amazonsSuicide_10x10/XIbQkg0.005060295110550069298.1070452576151458911.0
BASE/brain_teaser_extended/ZDp94A0.0051027479732941754020.266666666667787863.0666666667
DRESDEN/tictactoe_orthogonal/y69QFQ0.0051036665190237563892.7762726.1666666666
DRESDEN/hanoi7/51zz5Q0.00515064662115347256346.81232233.6333333333
BASE/tictactoe_orthogonal/WRzlVw0.0052162286809626093976.3762294.0333333333
STANFORD/dualrainbow/G3OnRQ0.0052442430208317154657.3888078.6
BASE/3pttc/0sol9g0.005253485902613521353.4333333333334257625.76666666666
BASE/sheepAndWolf/g4THrg0.005258728125595810.1666666666666154061.33333333334
BASE/tttcc4/8Bs2lg0.005271071669950314710.2333333333333134741.73333333334
BASE/chickentoetictac/l57rfQ0.0052737762800494394252.233333333334806297.6333333333
BASE/ttcc4/Le0qjQ0.0053459022250246955708.7666666666667132581.3
DRESDEN/sheep_and_wolf/enAIzQ0.005349518844414905817.2333333333333152767.63333333333
DRESDEN/chickentoetictac/cxYaRQ0.0053542033465501854021.2751036.1
DRESDEN/tttcc4/sAvtFg0.005363828428367711696.2333333333333129801.56666666667
BASE/snakeParallel/RCVNtw0.0053834593887351184174.333333333333775399.8
STANFORD/bestbuttonsandlights/nm0wEA0.00540044751931753311500.6666666666662129576.6
BASE/hanoi7_bugfix/3gdnFw0.0054085293382989266584.6333333333331217453.5666666667
BASE/amazons_10x10/Bun8dA0.005521419995966682302.7565747808406554833.1
DRESDEN/hanoi7_bugfix/3gdnFw0.0056113670902631536744.51201935.2666666666
DRESDEN/3pttc/uwYBZw0.0056120153893867541521.2271061.26666666666
BASE/blocksWorld/SEdXLQ0.0057891253310728028958.5666666666681547481.9
STANFORD/rainbow/_4qNSQ0.00582546072251707859090.61560494.6
BASE/blocks/xIV5hQ0.0059630119502196888428.5333333333331413469.1333333333
DRESDEN/blocks/vg0DRw0.00603437696763812268769.1666666666661453201.6666666667
BASE/rubiksCube/9tNO9Q0.006041501383220663761.0125962.06666666667
BASE/sum15/QZ07Kg0.0060469187113259844107.833333333333679326.7
DRESDEN/tictictoe/LAUtwg0.0061221064211599322085.0333333333333340574.5
STANFORD/tictictoe/rpt_Dw0.0061444168716028922037.0333333333333331525.9
DRESDEN/sum15/CsgWKg0.0063244667403954354240.4670475.5
BASE/ticTicToe/c1OobQ0.0063774962999253752135.7334880.63333333336
STANFORD/untwistycorridor/EDPPAQ0.00642603315964103323520.8666666666653660246.7
BASE/duplicateStateSmall/bCPAXw0.00642893810748906713250.2666666666662061035.0333333334
DRESDEN/hanoi/RQ0jiA0.0064383828595949857347.7666666666661141244.1333333333
BASE/eotcitcit/V_9_bg0.0064656260796584532150.9332666.93333333335
DRESDEN/frogs_and_toads/GjchhQ0.006561152570432539936.9142795.03333333333
BASE/asteroidsParallel/WauZiA0.0065723297051028583246.4666666666667493959.8
BASE/hanoi/iGLsJg0.0066109988761058727611.61151354.0
DRESDEN/3pffa/0YrmQw0.0066357314790050821654.0666666666666249266.66666666666
DRESDEN/blocksworldparallel/2JfVaw0.0066899565241182092877.2430077.5333333333
BASE/chomp/-LcqYQ0.006937092452755922708.1666666666665390389.3
DRESDEN/bidding-tictactoe/yW5vTA0.00695065349241151462685.1386309.0
BASE/biddingTicTacToe/8mESVw0.0069597616075923732697.9666666666667387652.1666666667
BASE/minichess/8NQEiA0.0070804644703806681680.7237371.43333333332
BASE/coloredtrails/EZvr7g0.0071287587667533522690.266666666667377382.2
BASE/untwistycomplex2/EDPPAQ0.00718807189884587822682.23155533.2666666666
DRESDEN/chomp/-LcqYQ0.0072106606269138892656.4333333333334368403.6
BASE/4pffa/Q3ADlg0.0072204757680193421263.9666666666667175053.1
BASE/3pffa/pR0dzA0.0072469975809972071471.9666666666667203114.0
DRESDEN/Thief_Police/CX18rA0.0073530477817020056525.533333333334887459.6666666666
BASE/solitaireChineseCheckers/-ET6gw0.0073585436358860691713.6232872.16666666666
BASE/tron_10x10/7ZTgDg0.0074315644204943182804.5377376.8
BASE/gt_dollar/TGjqRw0.0075229228609359167390.3982370.8333333334
BASE/maze/cCX3qQ0.00754551717945188417153.4666666666672273332.1333333333
BASE/beatMania/qUHwvQ0.00755097404963039557399.5979939.8
DRESDEN/point_grab/r5DPmQ0.00769783028042520213952.0333333333331812463.1
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.0077856682016656996549.433333333333841216.6
BASE/point_grab/V_osUg0.0078145532616506814421.8666666666671845513.9
DRESDEN/CatchMeIfYouCanTest/CX18rA0.008008803234804617004.4874587.6
BASE/circlesolitaire/azuQFQ0.0081536774859105937159.266666666666878041.4333333333
BASE/pearls/6k_mEQ0.00815815814950257625159.3333333333323083947.7333333334
BASE/stateSpaceLarge/0Ge_CQ0.0082529880106120968456.5666666666681024667.2666666667
DRESDEN/circlesolitaire/ruUilQ0.008289737981777837185.1866746.3333333334
DRESDEN/statespacemedium/dVJZ_w0.0082927056874308512073.7333333333341455946.2
BASE/stateSpaceMedium/3bUoIw0.0083578798999394112140.7666666666661452613.2
BASE/gt_coordination/IVMOzA0.0083702840899092719037.7333333333341079740.3333333333
BASE/asteroids/BKCmPQ0.0086013817721559958042.933333333333935074.5666666667
DRESDEN/statespacelarge/8-y5HQ0.008686616012988938673.866666666667998532.3
STANFORD/3puzzle/41ibjA0.008765844010459559633.2333333333341098951.0333333334
BASE/troublemaker02/DI83KA0.0088208696692863518514.52098942.7
BASE/stateSpaceSmall/Q7osKA0.0088314032634271816527.1666666666681871408.9
DRESDEN/catch_me/ghGWrA0.0089646212926715327122.7794534.4
DRESDEN/troublemaker01/C-lPWw0.00896496965832687719540.1333333333352179609.533333333
BASE/switches/tPUoCg0.00896972628877535211317.7333333333341261770.2
DRESDEN/cube_2x2x2/fp-34Q0.0090141809720959682521.7279748.1
STANFORD/threepuzzle/41ibjA0.0090439970973203969825.81086444.4
DRESDEN/troublemaker02/iZLVuA0.00905151472009508817873.91974686.0666666667
DRESDEN/bidding-tictactoe_10coins/mu5VhQ0.009100018987065372576.9283175.23333333334
DRESDEN/buttons/ADUaHw0.00910817202136910222636.12485251.7
BASE/troublemaker01/s3tlEQ0.00913008322719957620052.2666666666662196285.2
BASE/buttons/hTcUjw0.00913842789992961122097.9666666666672418136.566666667
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.00914218235518094476.3808381637684352108.0
DRESDEN/satlike_20v_91c/yeuENQ0.00924345822683819497.618492489091753834.666666666664
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.009246778816299652459.633333333333349707.4
DRESDEN/statespacesmall/h-NqjA0.00935251724348434716923.9666666666671809562.7333333334
BASE/biddingTicTacToe_10coins/a-9ccQ0.0093794274377680032568.4333333333334273836.9
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g0.009655295665643665474.6350243317112449158.0
BASE/snakeAssemblit/UO4sdg0.009950834537327077405.666666666666740767.1
BASE/gt_centipede/9fRMpw0.01012093500685783810882.71075266.2666666666
DRESDEN/crissrace/KWb9bw0.010144305894058857887.666666666666687503.93333333333
BASE/knightsTour/mvtVIg0.01033449043549454113592.1333333333331315220.4666666666
BASE/amazonsTorus_10x10/Uxc08g0.01037351296698113204.6863542430504619731.633333333335
BASE/crissrace/ERWGDA0.010983434902293704942.385792.83333333333
DRESDEN/crisscross/GsY16g0.0110698474960189371272.6114960.93333333333
STANFORD/knightstour/cEwgNA0.01132747281081881614538.3333333333341283457.8
STANFORD/knightstourmedium/x1wu8Q0.01151722464146307514701.51276479.4
DRESDEN/knightstour/cGISAA0.01151866407158854214662.3666666666671272922.5
DRESDEN/blocks2player/3ev8nQ0.011840103944839616911.0583694.2
DRESDEN/fizzbuzz/t1xHzQ0.01186125482400327919373.81633368.5
BASE/blocks2player/wnTLOQ0.011888193525710176880.533333333334578770.3
BASE/knightfight/SJRkAg0.0122834832155498172911.3333333333335237012.03333333333
DRESDEN/smallest_4player/ADDROA0.0122853719164815053880.5333333333333315866.1666666667
BASE/survival/YVIjJA0.01241856119515116428649.5333333333332306992.966666667
BASE/smallest_4player/ADDROA0.0124434005091614683811.8333333333335306333.73333333334
BASE/quarto/EwBMVQ0.0125207731278107441408.4112485.06666666667
DRESDEN/gt_ultimatum/pAiiQw0.0125319143537252287737.3617407.6666666666
BASE/gt_ultimatum/GE-uOA0.0125456082738179258163.366666666667650695.1666666666
STANFORD/buttonsandlights/eyhJpA0.01254567875853231837069.533333333332954765.066666667
DRESDEN/nim4/F5YAYg0.0126646422164586417346.166666666667580053.2333333333
BASE/crisscross/ICagEg0.012788487573863971284.6666666666667100454.93333333333
BASE/haystack/UkweGA0.01283989530996458437056.3333333333362886030.8
DRESDEN/nim2/z5_exA0.0129644611514245928723.4672870.2333333333
BASE/quartoSuicide/-23jUg0.0130300163022622671436.3110230.1
DRESDEN/knightfight/4_Ly4w0.013060523195314963058.3234163.66666666666
DRESDEN/nim1/M9BALA0.0131415880835719429525.566666666668724841.3666666667
BASE/nim3/1OwUqw0.0132260845470450667608.5575264.7333333333
BASE/nim2/eF2Qqw0.0132575235786829548677.8654556.6333333333
DRESDEN/chinesecheckers4/-oVNYg0.013300896522083315704.566666666666752971.36666666667
BASE/nim4/twk16w0.0133958005672577477515.4561026.5666666667
DRESDEN/nim3/sG_axA0.0134060129885726447739.666666666667577328.0
BASE/nim1/hin2Qw0.0134089788739511489619.266666666666717375.0333333333
DRESDEN/quartosuicide/WIU1oQ0.0135501683639213611415.4104456.26666666666
DRESDEN/quarto/OQzRYQ0.0135780748980386771403.6103372.53333333334
STANFORD/knightstourbig/TQUI2g0.013700406738374313232.933333333332965878.8666666667
DRESDEN/guess/PhxGhg0.014630116419201594801.633333333333354793.36666666667
BASE/shmup/ssTNlg0.0147233025623615592949.0333333333333200297.0
DRESDEN/blobwars/ZaMluQ0.014824638266089553292.513832411172619731.6
BASE/knightsTourLarge/M8jgLA0.01491467620265689813699.466666666667918522.5666666667
BASE/guess/SPpk1A0.014993923862881226816.854475.4
BASE/blobwars/0XT15Q0.015377363179805602297.127049726703119322.366666666665
BASE/onestep/xi53wA0.01576969860889902734831.52208761.3
BASE/eightPuzzle/vLrgFg0.016374444900874093378.9206352.03333333333
DRESDEN/8puzzle/8fKC2w0.0165531212069973163331.733333333333201275.23333333334
BASE/gt_two_thirds_2p/1APDGg0.016561715338577972510.8333333333335151604.66666666666
STANFORD/8puzzle/jNiGtw0.016917442456150753558.8210362.76666666666
DRESDEN/gt_prisoner/huCp4w0.0171275278912779167086.3413737.4666666667
BASE/gt_attrition/kD_SCA0.0171732133834951382158.366666666667125682.16666666667
DRESDEN/gt_chicken/CeuKtw0.0173321499187524547294.3420853.73333333334
STANFORD/eightpuzzle/W_aWbA0.0174066127320848183460.3198792.26666666666
BASE/colonelBlottoVariant/X-n-KQ0.0177140050201545326494.7366642.1
BASE/gt_chicken/gmepTQ0.0178972583714142357592.133333333333424206.5
DRESDEN/roshambo2/jgSlkQ0.01798595103345292813624.666666666666757517.1666666666
BASE/roshambo2/KNPokQ0.01800497650200040213344.866666666667741176.5666666667
DRESDEN/Runners/3bOCQw0.01801452418250342315355.233333333334852380.7333333333
BASE/ruleDepthLinear/OUBJpQ0.01920633112751424632371.2333333333341685445.9666666666
BASE/gt_two_thirds_4p/DStnxQ0.0200465797596803451105.766666666666755159.86666666667
BASE/gt_prisoner/klthDw0.0202218063093528968161.366666666667403592.36666666664
BASE/gt_staghunt/xPjLRA0.0206788040084570678559.333333333334413918.2
BASE/gt_tinfoil/Q8DyKg0.02115946683321236510489.166666666666495719.8
BASE/ad_game_2x2/D0aWqg0.022793939682779978813.066666666666735670.3
BASE/kalaha5x2x3/WviNsw0.0237720915191466062443.0102767.56666666667
BASE/colonelBlottoVariant2/jruwGw0.0282065676706021946932.0245758.36666666667
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA0.0286235727426305444823.8168525.43333333332
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A0.029604629042737254975.8168075.06666666668
DRESDEN/vacuumcleaner_random/_6AGDA0.031579413280073524233.266666666666134051.46666666667
BASE/kalaha6x2x4/XS81Mg0.035169026517461332293.565213.63333333333
DRESDEN/vacuum_cleaner_1/eUNjpw0.0396882749370160655752.066666666667144931.13333333333
DRESDEN/racer/vk_ZBA0.078586648402868942203.066666666666628033.6
BASE/racer/QQYQNw0.079688597361403072182.333333333333527385.766666666666
BASE/pancakes/yUgbXw0.0847712883527516621873.733333333334258032.33333333334
DRESDEN/pancakes6/SZXMyQ0.0852744120928071721890.433333333334256705.76666666666
DRESDEN/pancakes/hl9aiQ0.0863560943664446522527.066666666666260862.5
BASE/pancakes6/QZTdnw0.089218784270412122006.666666666668246659.56666666668
BASE/colonelBlotto/jip21A0.09097880626658113124.134338.76666666667
DRESDEN/kalaha_2009/gcC8uA0.092257632558636342360.86666666666725589.933333333334
BASE/kalaha_2009/dRiN3g0.09408206849606912414.13333333333325659.866666666665
DRESDEN/smallest/9kaGFw0.218176293187473472536.86666666666711627.6
DRESDEN/Travelers-Dilemma/PvZwYw3.3948007119357114686.74326.233333333334

Games with errors:

GameGGP_BASE_PROVER:2015-04-26 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
DRESDEN/laikLee_hex/ZeP3QQException of type StackOverflowError
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
BASE/laikLee_hex/zbyscQException of type StackOverflowError
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

index