index

CADIAPLAYER_PROLOG:3.0 vs. GGP_BASE_PROVER:2015-04-26

Game-by-game performance:

GamePerf ratioCADIAPLAYER_PROLOG:3.0 states per secondGGP_BASE_PROVER:2015-04-26 states per second
DRESDEN/golden_rectangle/1uloXw0.0195788634184270035.535412803409814282.72390920302655
DRESDEN/small_dominion/yB5GJA0.1039497178652829513.78076655513963132.57146664889717
DRESDEN/racer/vk_ZBA0.21257366844804365468.31396316893672203.0666666666666
BASE/racer/QQYQNw0.21645572422777812472.37854217308782182.3333333333335
BASE/queens16ug/gT-ylw0.221671095382009796.8374846197333436.85210492983566
DRESDEN/mummymaze2p/k-8edg0.3177394701313861363.938789088489671145.4
BASE/mummymaze2p/vpjDdA0.3180769768679711363.721023048524961143.5
BASE/queens12ug/u6Bkmg0.3394737047854947268.9310689310689792.2
BASE/wallmaze/uxNQ9g0.4544681258948519381.14726825048245838.6666666666666
BASE/golden_rectangle/_nYzfw0.45657830958928197137.01915070774353300.1
DRESDEN/fizzbuzz/t1xHzQ0.48376545515016859372.37517498833419373.8
BASE/hallway/ckCJOw0.5378545982677844205.0839583195062381.3
DRESDEN/hallway/0H4l-Q0.5390377676695575205.04313205043132380.3873204226526
DRESDEN/twisty-passages/j7NPyg0.54403604019697763683.95818072850766771.533333333334
BASE/twisty-passages/DiZmmg0.55176485165208933723.217258139696747.833333333333
BASE/tron_10x10/7ZTgDg0.5543234088072741554.62804.5
BASE/knightmove/jBaJEw0.5623831997859994984.97668221185881751.4333333333334
DRESDEN/knightmove/97Ipcw0.5652854311000319986.44192011725911745.0333333333333
BASE/firefighter/WJmoPw0.58832972997904533704.3985338220596296.466666666666
DRESDEN/mummymaze1p/AekgaQ0.59062517172531271074.81819.7666666666667
DRESDEN/firefighter/WJmoPw0.59701139920855243706.2666666666676208.033333333334
BASE/queens08ug/kJ_ZFQ0.6125338835619211009.33333333333341647.8
BASE/mummymaze1p/PT_EXA0.63070210744652071066.0757722168541690.3
BASE/factoringMediumTurtleBrain/8RBqmQ0.6770160088000041673.8566007589375995.3333333333334
BASE/nim1/hin2Qw0.69116495366937196648.59619.266666666666
DRESDEN/nim1/M9BALA0.6935244229980156606.2131262291269525.566666666668
BASE/onestep/xi53wA0.702150830904975924456.96666666666734831.5
DRESDEN/nim2/z5_exA0.73079303941123876375.08723.4
BASE/nim2/eF2Qqw0.73209031474951416352.9333333333338677.8
DRESDEN/catcha_mouse/cHv4dw0.73492527190437231041.87906046976511417.6666666666667
BASE/catcha_mouse/cHv4dw0.73547557880471671043.4927512081321418.8
DRESDEN/nim3/sG_axA0.73769021285864695709.4763507883077739.666666666667
BASE/nim4/twk16w0.74824305938078945623.3458884703847515.4
BASE/lightsOnSimul4/9FeASw0.74916188133365851059.0901516413931413.7
BASE/nim3/1OwUqw0.7519903483510515721.5185654289727608.5
DRESDEN/nim4/F5YAYg0.77150895024616015667.6333333333337346.166666666667
STANFORD/buttonsandlights/eyhJpA0.779524245427062228896.637069.53333333333
BASE/lightsOnSimultaneous/_VN6lw0.78462696834306431447.1921346442261844.4333333333334
BASE/factoringMutuallyAssuredDestruction/NH0LGg0.80017278627769573817.491001199844770.833333333333
DRESDEN/buttons/ADUaHw0.815493835068761818459.622636.1
BASE/bomberman2p/4CClwA0.82865440666957581110.14830861523071339.7
DRESDEN/lightson2x2/gBHuig0.83016425487426524822.8392386920435809.5
BASE/buttons/hTcUjw0.849236505922867818766.422097.966666666667
BASE/queens06ug/7Lq3tw0.8561273585383482271.4485700953272653.1666666666665
DRESDEN/tictactoex9/rFkD4w0.8667076854234255516.5595.9333333333333
DRESDEN/pancakes/hl9aiQ0.867022882869372119531.4822839238722527.066666666666
BASE/tictactoex9/BI26ow0.86803274435804514.8880895283773593.1666666666666
BASE/simultaneousWin2/PfjRjw0.8754879574552501951.8305073453481087.2
DRESDEN/bomberman2p/x4h6jQ0.88659271505519711108.31250.0666666666666
BASE/pancakes/yUgbXw0.897894278068672819640.321873.733333333334
BASE/pancakes6/QZTdnw0.898776463080837819779.0740308656422006.666666666668
DRESDEN/pancakes6/SZXMyQ0.899738546366525419695.66666666666821890.433333333334
BASE/haystack/UkweGA0.912145472208979133800.7666666666737056.333333333336
STANFORD/untwistycorridor/EDPPAQ0.926999572011235421803.83333333333223520.866666666665
STANFORD/multipletictactoe/_bkafQ0.9394566814326285616.0125274871726655.7114762841238
BASE/untwistycomplex2/EDPPAQ0.94341671736721621398.76666666666622682.2
BASE/ghostMaze2p/W-NU-w0.96777549901457062488.5379181660672571.4
DRESDEN/Runners/3bOCQw0.981936499686162915077.86407119762615355.233333333334
DRESDEN/ghostmaze2p/HY0UwA0.99298040376158472489.4680709238772507.0666666666666
BASE/majorities/ibJzSQ1.0186315052996882165.08714957916362162.06758648270346
BASE/sheepAndWolf/g4THrg1.0306037932853611834.9608398600234810.1666666666666
DRESDEN/sheep_and_wolf/enAIzQ1.032356438472838843.6760934012858817.2333333333333
BASE/racer4/0vs7Ww1.0344446515291907893.3808825489934863.6333333333333
DRESDEN/cube_2x2x2/fp-34Q1.04768894113222942641.9572028531432521.7
BASE/pancakes88/l2Xaig1.056566045644822318652.317653.7
DRESDEN/pancakes88/aD3E7g1.087346969055097918565.83333333333217074.433333333334
DRESDEN/racetrackcorridor/O0DoTA1.1172773993156841535.54881503949881374.3666666666666
DRESDEN/roshambo2/jgSlkQ1.122380975681362315292.06666666666813624.666666666666
BASE/coloredtrails/EZvr7g1.14337919425747963075.9949336710892690.266666666667
BASE/blocks2player/wnTLOQ1.14599643438493147885.0666666666676880.533333333334
DRESDEN/blocks2player/3ev8nQ1.1463464042830277922.46911.0
BASE/roshambo2/KNPokQ1.149785435598207615343.73333333333413344.866666666667
BASE/troublemaker01/s3tlEQ1.176591839991488823593.33333333333220052.266666666666
BASE/survival/YVIjJA1.18206346583888533865.56666666666628649.533333333333
BASE/chinook/XQh0IQ1.183030235901533720.1105045932632608.7
BASE/endgame/jYjfOA1.1839262780310065729.5748367319738616.2333333333333
DRESDEN/troublemaker01/C-lPWw1.214447530211325623730.46666666666719540.133333333335
BASE/lightsOn/MsXu3A1.2291066309066929983.5005499816678122.566666666667
STANFORD/multiplebuttonsandlights/cK70Yg1.24170888123095517019.413706.433333333332
STANFORD/multiplebuttonsandlights_9/SqB9BA1.245659705231841216971.213624.266666666666
BASE/troublemaker02/DI83KA1.24760232970554623098.73333333333418514.5
DRESDEN/grid_game/U7_Yeg1.25558585188856591339.9193682737481067.1666666666667
DRESDEN/chinesecheckers1/Y-ftaA1.26127334394393792515.2313024930011994.2
BASE/lightsOnParallel/SC6enA1.26722358852602924587.1804273190893619.866666666667
BASE/maze/cCX3qQ1.271496140721797721810.56666666666617153.466666666667
BASE/mummyMaze2p_2007/YGA3Vw1.27217630009705782080.05065653535941635.0333333333333
BASE/racetrackcorridor/_RkdUg1.27266624520663151781.18125458302781399.5666666666666
BASE/factoringEasyTurtleBrain/lUj94Q1.28639277386567464962.3458847050983857.5666666666666
DRESDEN/troublemaker02/iZLVuA1.306847787369665623358.46666666666717873.9
DRESDEN/hanoi7_bugfix/3gdnFw1.31412600086952688863.1228128645236744.5
BASE/chomp/-LcqYQ1.31625330789587053564.6333333333332708.1666666666665
BASE/switches/tPUoCg1.317395709388216714909.93333333333211317.733333333334
BASE/pearls/6k_mEQ1.32786109859826733408.125159.333333333332
BASE/hanoi7_bugfix/3gdnFw1.3349257110392898789.9963344330036584.633333333333
BASE/hanoi/iGLsJg1.342146934629533610215.8856076261587611.6
DRESDEN/chomp/-LcqYQ1.34801049025635883580.92656.4333333333334
BASE/blocker/dIWtxg1.35962988060939054878.1707276424123587.866666666667
DRESDEN/mummymaze2p-comp2007/oTQRQg1.36081737958801032056.2404211368031511.0333333333333
STANFORD/threepuzzle/41ibjA1.372590526979991413486.89825.8
DRESDEN/blocker/S815zQ1.37431436488040264860.7666666666663536.866666666667
DRESDEN/hanoi7/51zz5Q1.38605198458907898796.9947357899656346.8
DRESDEN/hanoi/RQ0jiA1.392119147314603710228.9666666666677347.766666666666
STANFORD/3puzzle/41ibjA1.394173641940919613430.49633.233333333334
BASE/blockerSerial/3eqDuw1.43196347369598322086.2275848276781456.9
STANFORD/bestbuttonsandlights/nm0wEA1.444055417077270816607.611500.666666666666
DRESDEN/circlesolitaire/ruUilQ1.464883346555139610525.3333333333347185.1
BASE/circlesolitaire/azuQFQ1.47279050927003710544.17159.266666666666
STANFORD/bestbuttonsandlightsbig/g0JC6g1.477502239522810813689.69265.366666666667
BASE/blockerParallel/7-nDJA1.48023841436490681353.4313235343132914.3333333333334
DRESDEN/blockerparallel/dVQgSg1.49435159820303751349.6983634969836903.2
BASE/zhadu/DlA8iQ1.528159592695941733.57027463651050421.967780588470244
DRESDEN/hanoi_6_disks/MeubgQ1.53754439370877749091.55913.0
DRESDEN/knightfight/4_Ly4w1.5425563221397514717.63058.3
BASE/blocksWorld/SEdXLQ1.54987963104216813884.78958.566666666668
DRESDEN/knightthrough/J7Fc_Q1.55340948005788441959.41893782901321261.3666666666666
DRESDEN/blocks/vg0DRw1.556601729544806713650.18769.166666666666
STANFORD/untwistycomplex/HTWEwg1.57846554093854319293.912223.2
BASE/cittaceot/fDxhXg1.57948447529238871556.0554555755516985.1666666666666
BASE/factoringGeorgeForman/HGRorQ1.61059818391250689501.6166127795735899.433333333333
DRESDEN/latenttictactoe/kITHKg1.619948034213972847.16666666666651757.5666666666666
BASE/hanoi_6_disks/MeubgQ1.62255713124914719118.9333333333325620.1
BASE/knightfight/SJRkAg1.63219308936978964751.8581475185812911.3333333333335
STANFORD/platformjumpers/HEQskA1.6487867711126476389.734219269103236.37636236376363
BASE/blocks/xIV5hQ1.655270193311608313951.58428.533333333333
DRESDEN/connect5/1kYzSg1.6588082758528133771.3278808431412464.98916847192135
BASE/hex/T1MK8g1.6949177340429538349.53688278803224206.2264591180294
BASE/connect5/d-BVQg1.7056389369274598776.3241119877492455.15149495016834
DRESDEN/oisters_farm/pTQMLg1.734064390583406315793.2804479701359107.666666666666
DRESDEN/uf20-020.cnf.SAT/hDrW_A1.74768920155209931846.66666666666671056.6333333333334
DRESDEN/bidding-tictactoe_10coins/mu5VhQ1.75543581328279124523.5825472484252576.9
BASE/hexPie/48CH6Q1.755826923285393342.21215955250716194.90084985835693
DRESDEN/endgame/IJhh3Q1.7584357299966549740.7703585232574421.26666666666665
BASE/biddingTicTacToe_10coins/a-9ccQ1.76011316885779934520.7333333333342568.4333333333334
BASE/knightThrough/gcwFjA1.76251227396642631948.69232050641341105.6333333333334
BASE/tictactoe_orthogonal/WRzlVw1.7728876929138487049.5333333333343976.3
STANFORD/jointbuttonsandlights/qAKuIQ1.798224502657291412079.3333333333346717.366666666667
DRESDEN/tictactoe_orthogonal/y69QFQ1.8078625803855087037.4666666666663892.7
DRESDEN/uf20-010.cnf.SAT/5ICbCg1.8423270465897771986.33561073154461078.1666666666667
DRESDEN/catch_me/ghGWrA1.842486038291520513123.4753049390137122.7
STANFORD/hex/MTqWcw1.8504837669753318356.29398486256804192.54099453406212
DRESDEN/CatchMeIfYouCanTest/CX18rA1.878175094801039213155.4896340243987004.4
DRESDEN/mimikry/GJEhwA1.88092912873907241591.642228739003846.2
STANFORD/breakthrough/d5j0cQ1.89081562947040152119.7934021992671121.1
DRESDEN/toetictac/mJtxCA1.89087901864167359145.8666666666674836.833333333333
STANFORD/tictactoe/ss1kyQ1.8942675846200867025.3333333333333708.733333333333
DRESDEN/aipsrovers01/qS47Mw1.904860514968068393.3868871037634406.3
BASE/brain_teaser_extended/ZDp94A1.90876497625191927673.7442085263834020.266666666667
BASE/toetictac/mTThmg1.91035651763136689166.44798.266666666666
BASE/aipsrovers01/4C4jsw1.9193611605906128445.6369575361644400.233333333334
BASE/biddingTicTacToe/8mESVw1.95244236246540575267.6244125195832697.9666666666667
DRESDEN/sum15/CsgWKg1.95277175109266438280.5333333333334240.4
DRESDEN/uf20-01.cnf.SAT/42Rs8A1.9576541554956922037.26542448585041040.6666666666667
DRESDEN/bidding-tictactoe/yW5vTA1.9673595948351015282.557248091732685.1
DRESDEN/crossers3/xiPTxg1.97286562054635221911.7725484967668969.0333333333333
DRESDEN/Thief_Police/CX18rA1.982035012026915512933.8355388153726525.533333333334
DRESDEN/brain_teaser_extended/ZDp94A2.0056721844465037649.53813.9333333333334
DRESDEN/Catch-Me-If-You-Can/ghGWrA2.007761485726500713149.76549.433333333333
BASE/crossers3/O0rORg2.01319698035096061909.181803032828948.3333333333334
BASE/chickentoetictac/l57rfQ2.01510578754693638568.74252.233333333334
BASE/ticTacToe/JRFsaQ2.0162318617599266989.1333333333333466.4333333333334
BASE/asteroids/BKCmPQ2.023562917495762616275.3816412239188042.933333333333
BASE/sum15/QZ07Kg2.0307542500101438342.04107.833333333333
DRESDEN/tictactoe/BTTzPw2.03842971586539836980.4666666666663424.4333333333334
BASE/eotcatcit/AfZSzA2.04559071520682476873.8666666666673360.3333333333335
STANFORD/trifecta/ss1kyQ2.06409464112298047014.03398.1
BASE/hodgepodge/9yjRkw2.083354562592347310904.05233.866666666667
STANFORD/tictactoe7/-bE9-A2.0881656567277986938.03322.5333333333333
DRESDEN/eotcatcit/mQUxzA2.09330043959837166872.9333333333333283.3
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA2.1283296155360192162.66666666666651016.1333333333333
BASE/quartoSuicide/-23jUg2.14026781777251743074.06666666666661436.3
DRESDEN/chickentoetictac/cxYaRQ2.1497314234556858644.54021.2
DRESDEN/quartosuicide/WIU1oQ2.1537530273127973048.4220348585331415.4
DRESDEN/sat_test_20v_91c/dK7nVw2.1559474113407772182.89675398253671012.5
DRESDEN/quarto/OQzRYQ2.17041671906018463046.3969068728751403.6
DRESDEN/tictactoe-init1/3ltIBQ2.1770337415022566981.1666666666673206.733333333333
BASE/quarto/EwBMVQ2.17851602031110853068.22196300616541408.4
BASE/tictactoe-init1/7M19vA2.1915129575961756982.2333333333343186.0333333333333
STANFORD/tictactoe5/WFRReg2.20180894953982836937.93151.0
BASE/chickentictactoe/DSlZCA2.2149592165950976499.1333333333332934.2
BASE/blocksWorldSerial/Wyg96Q2.2184323550465288264.43725.3333333333335
BASE/incredible/8Qh-6Q2.22274762692380937374.187527082433317.6
DRESDEN/sat_test_20v_91c_version2/a1mPBA2.23778020070805632184.5210319312046976.2
DRESDEN/lightsout2/LFtfyQ2.2591902549118433235.00983235009831431.9333333333334
DRESDEN/breakthroughsuicide/Y9QzqQ2.2678250871154472027.208845372498893.9
DRESDEN/chickentictactoe/Ipbo-g2.27563909425916046545.82876.4666666666667
BASE/snakeParallel/RCVNtw2.2917911043679639566.74174.333333333333
DRESDEN/tictactoeparallel/yk_DSg2.31175200215963273425.41481.7333333333333
STANFORD/8puzzle/jNiGtw2.3138775885334918234.6275620729883558.8
BASE/ticTacToeParallel/ymRGPw2.35969436033308133324.96666666666671409.0666666666666
BASE/eightPuzzle/vLrgFg2.43664408012423158233.1766823317673378.9
STANFORD/tictactoe3/X7myng2.4606541623660896913.72809.7
DRESDEN/8puzzle/8fKC2w2.4796249910109518261.4492367175523331.733333333333
BASE/tpeg/QNs7Lw2.51146953066334431981.8006066464452789.1
BASE/breakthroughHoles/nZk0Sg2.5224949431870921864.7964283334443739.2666666666667
DRESDEN/frogs_and_toads/GjchhQ2.53612885121511062376.099120703437936.9
BASE/minichess/8NQEiA2.53840661629083144266.31680.7
DRESDEN/tpeg/h-Scbg2.54750229203902961980.7679488034132777.5333333333333
BASE/peg/fJHVWw2.56740683922248231910.5785895213971744.1666666666666
BASE/dotsAndBoxesSuicide/jzQbLw2.57097827569801931583.1556503198294615.7794740175327
BASE/dotsAndBoxes/EHwA_w2.58679339816152741586.307938199254613.2333333333333
BASE/tictactoe_3d_6player/d7KSwg2.598452334564515629.6050006649821242.3
DRESDEN/peg_bugfixed/u_B7MA2.60502173031768171916.77498916775735.8
BASE/double_tictactoe_dengji/zgaSbA2.64543038084494863818.67875474968331443.5
DRESDEN/lightsout/XgLpzQ2.6551565753796333233.89220359321371217.9666666666667
BASE/wargame01/_GZFZg2.6744732282602312283.0194967505417853.6333333333333
DRESDEN/checkers/jIDMIg2.6807222663548416657.8273165862586245.39182027265758
DRESDEN/double_tictactoe_dengji/bGaUyQ2.6834757027005453814.9185081491851421.6333333333334
BASE/wargame02/BkVqqQ2.69266919924175331183.2989141296382439.4520182660578
BASE/pegEuro/5awwhg2.69599558133112361626.9791006966434603.4798840038666
DRESDEN/tictactoe_3d_6player/ulZPWg2.7182563065900798626.1330311916822230.34363230343632
DRESDEN/peg/Vo31eg2.72900459632005441919.0360321322623703.2
BASE/numbertictactoe/rvJ-iQ2.746239576026815872.8333333333332138.5
DRESDEN/blocksworldparallel/2JfVaw2.7984846378423478051.82877.2
BASE/tictactoe_3d_small_6player/g_9lww2.8298506021925521665.1784226835039588.4333333333333
BASE/conn4/va9Y7A2.8310295076244761627.0327912556652574.7141761941268
DRESDEN/tictactoe_3d_small_6player/llDEDQ2.8522998815957781653.0979347101932579.5666666666667
BASE/lightsOut/5P1ZBw2.86064836166345153224.2367684308761127.1
DRESDEN/connect4/T0-rHQ2.8697105205526051307.2052256215425455.51814939502015
BASE/ticTacToeSerial/Amrwqw2.8864945653126293340.7325934073261157.3666666666666
BASE/connect4/50bOyw2.8891103878417281310.2115608862237453.5
BASE/cubicup/4wNWJA2.9117823789588131013.3635485053487348.02173260891306
DRESDEN/cubicup/SBn_lw2.9146674431916471007.6976906927922345.73333333333335
DRESDEN/tictactoe_3d_2player/LMuX9w2.949784000389486836.2358895807665283.4905503149895
STANFORD/triplesukoshi/Iu9mbA2.9577025564330512283.247783481101771.9666666666667
DRESDEN/tictactoe_3d_small_2player/HYttcg2.97151859300138682514.4990333977735846.2
DRESDEN/tictactoe_3player/ESLQQQ2.9744324284119372869.937668744375964.8690087327511
BASE/wargame03/klXI8w2.9853736792203351930.3426209838688646.6
BASE/guess/SPpk1A2.9931303311066222444.7888544478888816.8
DRESDEN/chinesecheckers4/-oVNYg3.0278941969161122133.353321340529704.5666666666667
BASE/ticTacToeNoVars/XT03NA3.033741826108016210438.63440.8333333333335
BASE/doubletictactoe/HH1htg3.03747926197777934027.91326.0666666666666
BASE/tictactoe_3player/GtM71g3.0381598210237972866.813318668133943.6018799373354
DRESDEN/guess/PhxGhg3.04021479998967432437.1375241650558801.6333333333333
BASE/tictactoe_3d_small_2player/oOryKA3.0487374792870112494.883503883204818.3333333333334
BASE/doubletoetictac/fu35bg3.05002307573970553965.2333333333331300.0666666666666
DRESDEN/doubletoetictac/V89gKQ3.07166243753259234001.96660111329631302.8666666666666
BASE/asteroidsSerial/id2QkA3.07337213079649639724.1494218401153164.0
BASE/tictactoe_3d_2player/IUC1rQ3.0895506558017005841.8932862896515272.49700039994667
BASE/bunk_t/xbpfIA3.09939839958205043980.8673044231861284.4
BASE/2pffa_zerosum/o0_uZA3.1044105103697155426.0956507248791747.8666666666666
DRESDEN/doubletictactoe/lJzgmQ3.1216784034547624030.39898670044341291.1
STANFORD/multiplesukoshi/vLSQPg3.149295282270671388.46626582068234123.35021997067058
BASE/eotcitcit/V_9_bg3.1811954685635476842.4333333333332150.9
BASE/ticTicToe/c1OobQ3.19593888030466246825.5666666666672135.7
BASE/asteroidsParallel/WauZiA3.206529871685809510409.8923440989243246.4666666666667
DRESDEN/bunk_t/7-tPfA3.2072327884361113976.43411886270451239.8333333333333
BASE/crisscross/ICagEg3.2693409434354954200.0133320001331284.6666666666667
STANFORD/tictictoe/rpt_Dw3.2774295953265376676.2333333333342037.0333333333333
DRESDEN/tictictoe/LAUtwg3.280219341017736839.3666666666672085.0333333333333
DRESDEN/crisscross/GsY16g3.31898812842797674223.7442922374431272.6
BASE/breakthroughSuicideSmall/XSbJog3.37396040731859652916.338910739284864.3666666666667
BASE/tictactoe2/bhrDoQ3.38483394913679510443.5666666666683085.4
BASE/breakthroughSmall/HJ0tIA3.39971286564833042910.720831805912856.1666666666666
BASE/chineseCheckers4/avfBcQ3.40346745757176454227.4469290498881242.1
DRESDEN/minichess/c7GMFw3.45099798161022654103.4666666666661189.0666666666666
DRESDEN/cubicup_3player/awDtsQ3.5176793917445486589.6599906846762167.62755357083347
DRESDEN/backgammon/mqCW0Q3.6206248102164031100.3552103044185303.9130724618359
DRESDEN/tictactoelargesuicide/6J4DeA3.6435105653980365487.5512448755131506.1164627845737
DRESDEN/kitten_escapes_from_fire/uW-YiA3.698452837371182718135.7333333333344903.6
BASE/cubicup_3player/e2yA_g3.716082099000505594.1817215727949159.89467017766074
BASE/breakthroughSuicide/wZDpIg3.7357346677314252032.115134756971543.9666666666667
DRESDEN/3pttc/uwYBZw3.76323738831491735724.63671510465251521.2
BASE/2pttc/unkkYA3.79313369251973456054.61596.2
DRESDEN/tictactoelarge/IwXcbg3.8492123352826495448.3034464369041415.4333333333334
BASE/ticTacToeLarge/TZC0dg3.88069366804117835432.971135257651400.0
BASE/choicethroughalt/tt71Lg3.88466531880934251915.2694910169662493.03333333333336
BASE/breakthroughWalls/vOZaYA3.91608558801498142033.0333333333333519.1493616879437
BASE/slidingpieces/uFJWEw3.92650297835258441455.7193729823277370.7419505366309
DRESDEN/breakthroughsuicide_v2/LU1nAw3.94580260450882042034.850403145199515.7
BASE/ticTacToeLargeSuicide/727_8g3.9566336967246655480.3333333333331385.1
DRESDEN/breakthrough/z4hK7Q3.9717767639666162034.2116659449016512.1666666666666
BASE/withConviction/3Xm54A3.9748731476687092398.0135981869084603.2931137924138
BASE/breakthrough/TGxk-g4.0002610966057442042.8510.6666666666667
BASE/escortLatch/mX9BjQ4.008982309114963362.467095398354838.7333333333333
BASE/kitten_escapes_from_fire/uW-YiA4.0181840891057118230.2333333333344536.933333333333
DRESDEN/stratego/Z2wovg4.0194181338035612587.749116843298643.8118729375688
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg4.029247777331843973.375541486171986.1333333333333
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA4.0393170929886251856.6047798406719459.6333333333333
BASE/3pttc/0sol9g4.04798958983218255478.6840438652041353.4333333333334
BASE/checkers/rOC3Xg4.0557887279577371299.8802873104548320.5
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ4.1017497924808484160.95171448565451014.4333333333333
DRESDEN/satlike_20v_91c/yeuENQ4.10863019663035442044.5303646423572497.6184924890917
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg4.1303692143609033984.5671810939634964.7
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw4.1654511593017944350.6748875187471044.4666666666667
DRESDEN/slidingpieces/s9_44g4.189019747566941440.6474820143885343.9104059729351
BASE/breakthroughSmallHoles/bxclRw4.2089436541295712936.439689364397697.6666666666666
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g4.2373595505617982011.1992533831078474.63502433171124
DRESDEN/satlike_20v_91c_version2/yd9ioQ4.2661832351950672032.327945342443476.38083816376843
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg4.2770610983464834129.645059156807965.5333333333333
BASE/blobwars/0XT15Q4.3377429023827931288.8607510579454297.1270497267031
BASE/checkersSmall/SYmq8w4.3509970728835641849.1955095106432425.0049996666889
STANFORD/ttcc4/Cx9SGw4.42658020927709654176.47842745294943.5
DRESDEN/blobwars/ZaMluQ4.45112509075149451302.015658837248292.5138324111726
DRESDEN/farmers/S_ASnw4.54305476269583155082.1639278690711118.6666666666667
DRESDEN/knightazons/02I8BQ4.5729129550109561217.1164276444947266.15779474017535
DRESDEN/ggp-course2013_jordi/9QI6Kw4.579546867061701845.9385620043979184.72101859876008
STANFORD/sukoshi/4LYZZQ4.7280335525688698266.9666666666671748.5
DRESDEN/ggp-course2013_nicolai/uEin8g4.754468942299733722.1556886227545151.88987400839943
BASE/knightazons/apnJBQ4.7630413104287231213.8595380153995254.8496766882208
BASE/futoshiki4/BaCwSw4.8468481513659613347.233333333333690.6
BASE/amazons_10x10/Bun8dA4.88139956208380351477.875811553188302.75657478084065
BASE/ttcc4_2player_alt/ZEJvYA4.907212119541074686.387574161722955.0
BASE/checkersTiny/Lr48cg4.9601650713589732884.5705143161895581.5472817572747
BASE/amazonsSuicide_10x10/XIbQkg4.9624574246883191479.343520090549298.10704525761514
BASE/hidato19/rRHSmA5.001866001827912653.156456236251530.4333333333333
DRESDEN/javastrike/whONTQ5.0475303034431431358.0316182052213269.04873008466103
BASE/hidato37/pBrqxw5.059488109203734560.0106656001067110.68524196773764
DRESDEN/connectfour/5tc-Mg5.0865375191924475190.1333333333331020.3666666666667
STANFORD/connectfour/VMpZkQ5.109751685578035178.7333333333341013.5
BASE/connectFourSuicide/c8p9Kw5.1104660643814625223.0666666666671022.0333333333333
BASE/ttcc4_2player_small/Cv72TA5.1447114707902386109.8593427104861187.6
DRESDEN/connectfoursuicide/M9CNQg5.16963522360423955166.361121295957999.3666666666667
BASE/futoshiki5/TJ4BZg5.1800369306524421683.1666666666667324.93333333333334
BASE/connectFour_9x6/B9TtMw5.1930869652655874977.400753308223958.4666666666667
BASE/connectFour/WAIKTw5.2108411589747015197.466666666666997.4333333333333
BASE/futoshiki6/JmvXNA5.4472683033126531129.8696970706835207.41950536630893
DRESDEN/merrills/aYEzwA5.5086923172607551130.9345327336332205.3
BASE/amazons_8x8/7SOsIw5.6002791563835452189.822832023445391.0202993233559
BASE/3pConnectFour/PqXOFQ5.6052374107016963476.368242117192620.2
BASE/merrills/pku8Tg5.6358913725872041132.7386499800293200.9866008932738
BASE/tttcc4/8Bs2lg5.6424628154577474007.46517363194710.2333333333333
BASE/ttcc4/Le0qjQ5.6455814607556164001.399953334889708.7666666666667
BASE/ttcc4_2player/_aH_Mw5.6568298879093124451.588174515881786.9404353188227
DRESDEN/tttcc4/sAvtFg5.73734989844298053994.534244292618696.2333333333333
BASE/dualConnect4/WbCQkg5.790653936676943443.9594.7342109648392
DRESDEN/pawn_whopping_simultaneous/r8dLfw5.8444185223412783511.7162761241293600.8666666666667
BASE/connectFourLarge/aU644A5.9465932693424764335.066493350665729.0
BASE/connectFourSimultaneous/7ITr3g6.0093513767014342898.310168983102482.3
BASE/englishDraughts/jFkQxg6.033519544104474007.463681194189664.2
STANFORD/pentago/ZxzLmg6.0680654496883353634.2455251491615598.9133695543482
BASE/amazonsTorus_10x10/Uxc08g6.213892016711591271.8989025606918204.68635424305046
BASE/checkLines/Vop7oQ6.2192222835079977516.9666666666661208.6666666666667
STANFORD/duikoshi/tpw1sw6.5949624101410314006.0607.4333333333333
STANFORD/selectivesukoshi/3xmXYg6.792795599058873512.006119462551575.37487504165279
DRESDEN/pawn_whopping/4ogBkg7.0325759300409524751.049930004667675.5774807506416
BASE/pawnWhopping/Ypc_6Q7.0480730223123734632.933333333333657.3333333333334
DRESDEN/pawn_whopping_corrected/7Ov0jQ7.0989801206288644675.38830744617658.6
BASE/connectFourLarger/qKi60A7.1517757826815363349.780117270789468.38438718709375
DRESDEN/quad_5x5_8_2/JRTLJg7.2561150833729871092.5290610531927150.56666666666666
BASE/pentagoSuicide/SBgNhw7.4218422498952923439.8307061685605463.4739718722922
BASE/pentago/86NgKw7.7717491259494153432.4081170237578441.65194493516884
BASE/nineBoardTicTacToe/wRmqqA7.8758752075192633444.825862356274437.38959437389593
DRESDEN/pentago_2008/hLjVpQ8.0168458046321053463.5446157945576432.03333333333336
STANFORD/nineboardtictactoe/y28P-A8.1380957118082923441.1422.83847743483767
BASE/nineBoardTicTacToePie/B8LzeQ8.231885353186493171.808368869936385.3076461569229
BASE/god/qF06gw8.496732728458593930.8655960551743109.55571109555711
DRESDEN/god/2EDD5w8.586629868138607933.2422343687508108.68550859885349
BASE/ticTacHeavenFC/mrletw8.8598516600645672041.9235511713932230.46927076389815
BASE/blocksWorldParallel/RseaAQ9.0376703522756497029.5777.8
DRESDEN/battlebrushes/QHXV4A9.03856351731207833.327778703549492.19692676910769
BASE/skirmishZeroSum/zh4hcw9.6975292896704431596.700153017098164.650201646502
BASE/snake2p/I3wWPQ10.2738663912110443563.766666666667346.87687487500835
BASE/ticTacHeaven/18n58A10.5883659513195382708.676377454085255.81627891473903
DRESDEN/quad_5x5/JAEP5g10.602314876796925958.168061064631290.37347713201518
BASE/speedChess/bPnisA11.2060500252662081772.5607725607726158.17890947873616
DRESDEN/capture_the_king/EQ229Q11.2473550196368671359.4427038197452120.86776859504133
BASE/quad_5x5/JAEP5g11.529957593143697963.135790947270283.53333333333333
BASE/chess_200/XsTpYA11.612725011469324522.85514532077145.024328467639805
DRESDEN/amazons/dNB28A11.728705888743852438.3029578727218337.370103916866505
BASE/battlebrushes/arCwyA12.69990026560425849.933333333333366.92441007865618
BASE/reversi/d8UMeA15.008756332224914458.660631074424230.55953610824141
BASE/reversiSuicide/9OxJlg15.301608356195919456.4906801342326629.832856096424052
DRESDEN/hitori/S8Gsyg15.562830368959941870.8591615010332120.21329778370271
BASE/sudokuGrade6E/ihYFZA15.733320420691674381.553591600770824.251307505246675
BASE/minichess-evilconjuncts/4OpQzw15.7427729699871122849.871670944302181.02729909003034
BASE/sudokuGrade6H/ieE_9A15.95122606118909383.50933120807624.04262404262404
DRESDEN/minichess-evilconjuncts/th24Tw16.1888045540796952843.643757082861175.65495633624425
BASE/hitori/S8Gsyg16.2596718311946341870.9462387094625115.06666666666666
STANFORD/sudoku/oJ1qyQ16.37825477297286408.678842820957224.952526901422527
BASE/sudokuGrade3/eI8dvg16.48280697046412413.909160585157825.111569972690337
BASE/sudokuGrade2/u80Tfw16.492585200726293419.2238567529787525.418929273411734
STANFORD/duidoku/3SoMaA16.72355579178155400.724180314254423.961661341853034
BASE/sudokuGrade5/BQfUQA16.876989410887262417.5274908363878724.739453268071788
BASE/sudokuGrade4/DTy07w17.18935737847053415.982448558986824.2
BASE/sudokuGrade1/tDRNRw17.66397432157466430.799933477465524.388618644632505
BASE/laikLee_hex/zbyscQ18.8432717627262072653.689754016399140.82956438943108
BASE/quad/tw-Ufg20.13637756240514852.329127740858452.5987359235137477
DRESDEN/laikLee_hex/ZeP3QQ22.182696562240092665.766666666667120.17324670997834
BASE/coins_atomic/AA3SSw24.074781886165357726.4320.93333333333334
DRESDEN/coins/QwFP9w24.8352469670710547642.633333333333307.73333333333335
DRESDEN/ggp-course2013_michal13/jWKddg24.839022444278495305.275755460257312.290167865707435
BASE/coins/QnGtnQ25.553817132711947676.366666666667300.4
BASE/pawnToQueen/-O1_JA27.686281913008177649.315159796047623.452595109600907
DRESDEN/Zhadu/9zpQ5w28.3413932331825651636.206092114910557.73202745019655
DRESDEN/pawntoqueen/f_x6Aw28.454958444221923650.106624017059922.846866049423834
BASE/qyshinsu/R08Lzw29.718209625127832880.493086789938496.92687154189721
DRESDEN/quad/JPe6fg37.68420847039473650.230263157894741.332926050373497
BASE/amazons/RKKZjw50.18490007159469116.643191719348822.3242686854600394
BASE/amazonsSuicide/dE1QEQ52.93967777192573117.239320774741322.2145831956104978
BASE/othello-comp2007/86ZoMw60.58131801064796308.54304635761595.0930395126660235
BASE/quad_7x7/q-JOXg84.29936280521349364.487538318006164.323728272539973
BASE/blokbox_simple/JBx4bg95.1358757090916478.147755858599230.8214330847971693
DRESDEN/quad_7x7/q-JOXg214.2070159417485359.13384779137841.6765736930345985

Games with errors:

GameCADIAPLAYER_PROLOG:3.0 error messageGGP_BASE_PROVER:2015-04-26 error message
DRESDEN/kalaha_2009/gcC8uATest process failed to output results for unknown reason
BASE/gt_staghunt/xPjLRATest process failed to output results for unknown reason
BASE/four_way_battle/xSOQXATest process failed to output results for unknown reason
STANFORD/freeforall/Lfp40QTest process failed to output results for unknown reason
DRESDEN/max_knights/hCipiATest process failed to output results for unknown reason
STANFORD/knightstourbig/TQUI2gTest process failed to output results for unknown reason
DRESDEN/ticblock/Z2yNWQTest process failed to output results for unknown reason
BASE/skirmishFinal2/gdB62QTest process failed to output results for unknown reason
BASE/kalaha6x2x4/XS81MgTest process failed to output results for unknown reason
DRESDEN/checkers-newgoals/IJOqXQTest process failed to output results for unknown reason
BASE/knightsTour/mvtVIgTest process failed to output results for unknown reason
STANFORD/skirmish/w4V6VwTest process failed to output results for unknown reason
BASE/colonelBlotto/jip21ATest process failed to output results for unknown reason
STANFORD/knightstour/cEwgNATest process failed to output results for unknown reason
BASE/pacman2p/4LEdQgTest process failed to output results for unknown reason
BASE/cylinder-checkers/hlldmwTest process failed to output results for unknown reason
BASE/4pttc/AL1k2QTest process failed to output results for unknown reason
BASE/checkersTorusNoKings/pwb6oQTest process failed to output results for unknown reason
BASE/gt_two_thirds_6p/867v3QTest process failed to output results for unknown reason
BASE/gt_dollar/TGjqRwTest process failed to output results for unknown reason
DRESDEN/4pttc/9pB9AQTest process failed to output results for unknown reason
BASE/chineseCheckers3/-1rZdQTest process failed to output results for unknown reason
BASE/gt_ultimatum/GE-uOATest process failed to output results for unknown reason
BASE/slaughter/cOch8ATest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_random/_6AGDATest process failed to output results for unknown reason
DRESDEN/snake_2009/zIYLVwTest process failed to output results for unknown reason
DRESDEN/skirmish/RjGQYQTest process failed to output results for unknown reason
BASE/ticblock/T21C1gTest process failed to output results for unknown reason
DRESDEN/four_way_battle/xSOQXATest process failed to output results for unknown reason
BASE/ad_game_2x2/D0aWqgTest process failed to output results for unknown reason
BASE/nonogram_5x5_1/qLKEZwTest process failed to output results for unknown reason
DRESDEN/Goldrush/VeWczQTest process failed to output results for unknown reason
BASE/queens08lg/Ru7eqQTest process timed out after 240 seconds
BASE/duplicateStateMedium/U163eQTest process failed to output results for unknown reason
BASE/nonogram_10x10_1/0Xc62gTest process failed to output results for unknown reason
BASE/gt_tinfoil/Q8DyKgTest process failed to output results for unknown reason
BASE/shmup/ssTNlgTest process failed to output results for unknown reason
DRESDEN/pacman3p/rBnk8QTest process failed to output results for unknown reason
DRESDEN/battlesnakes2011/93VtTwTest process failed to output results for unknown reason
DRESDEN/skirmish2/iPpWhQTest process failed to output results for unknown reason
DRESDEN/grid_game2/kypTYQTest process failed to output results for unknown reason
DRESDEN/statespacelarge/8-y5HQTest process failed to output results for unknown reason
DRESDEN/chinesecheckers3/QsCb2ATest process failed to output results for unknown reason
BASE/solitaireChineseCheckers/-ET6gwTest process failed to output results for unknown reason
DRESDEN/snake_2009_big/DgC1NQTest process failed to output results for unknown reason
BASE/pacman3p/wW7UVQTest process failed to output results for unknown reason
DRESDEN/babel/WdSW4ATest process failed to output results for unknown reason
BASE/stateSpaceMedium/3bUoIwTest process failed to output results for unknown reason
BASE/gt_centipede/9fRMpwTest process failed to output results for unknown reason
STANFORD/rainbow/_4qNSQTest process failed to output results for unknown reason
BASE/factoringImpossibleTurtleBrain/kcBhdwTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process failed to output results for unknown reason
BASE/rubiksCube/9tNO9QTest process failed to output results for unknown reason
DRESDEN/checkers-mustjump-torus/cVc3gATest process failed to output results for unknown reason
BASE/gt_attrition/kD_SCATest process failed to output results for unknown reason
BASE/queens31lg/0gID-ATest process timed out after 240 seconds
BASE/knightsTourLarge/M8jgLATest process failed to output results for unknown reason
BASE/checkers-suicide-cylinder-mustjump/YeW5TwTest process failed to output results for unknown reason
BASE/sudoku/NTaNkwTest process failed to output results for unknown reason
DRESDEN/gt_chicken/CeuKtwTest process failed to output results for unknown reason
STANFORD/dualrainbow/G3OnRQTest process failed to output results for unknown reason
BASE/queens/HyJJnQTest process failed to output results for unknown reason
STANFORD/madness/UO_B3ATest process failed to output results for unknown reason
BASE/gt_prisoner/klthDwTest process failed to output results for unknown reason
BASE/snake_2008_tweaked/bX0NJQTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process failed to output results for unknown reason
DRESDEN/statespacemedium/dVJZ_wTest process failed to output results for unknown reason
BASE/othelloSuicide/B442jgTest process timed out after 240 seconds
DRESDEN/smallest_4player/ADDROATest process failed to output results for unknown reason
BASE/snakeAssemblit/UO4sdgTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_random_big/DwzFaQTest process failed to output results for unknown reason
BASE/kalaha5x2x3/WviNswTest process failed to output results for unknown reason
STANFORD/eightpuzzle/W_aWbATest process failed to output results for unknown reason
STANFORD/checkersonabarrelnokings/ZrevdwTest process failed to output results for unknown reason
DRESDEN/checkers-mustjump/HUr33wTest process failed to output results for unknown reason
STANFORD/pilgrimage/ObRZnQTest process failed to output results for unknown reason
BASE/chineseCheckers1/gqtwHwTest process failed to output results for unknown reason
BASE/mineClearingSmall/frsbvwTest process failed to output results for unknown reason
BASE/chineseCheckers6/rREH3ATest process failed to output results for unknown reason
BASE/ruleDepthExponential/UamhHQTest process failed to output results for unknown reason
BASE/beatMania/qUHwvQTest process failed to output results for unknown reason
BASE/snake_2009_big/-oRfVwTest process failed to output results for unknown reason
DRESDEN/cylinder-checkers/clOO3QTest process failed to output results for unknown reason
BASE/crissrace/ERWGDATest process failed to output results for unknown reason
DRESDEN/snake_2008/E56l3ATest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process failed to output results for unknown reason
DRESDEN/gt_prisoner/huCp4wTest process failed to output results for unknown reason
BASE/brawl/6Ymo_QTest process failed to output results for unknown reason
BASE/duplicateStateLarge/dcjyuwTest process failed to output results for unknown reason
DRESDEN/battle/8oAvhQTest process failed to output results for unknown reason
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWgTest process failed to output results for unknown reason
STANFORD/chinook/osFbPATest process failed to output results for unknown reason
BASE/smallest_4player/ADDROATest process failed to output results for unknown reason
STANFORD/alquerquezero/uVgA_ATest process failed to output results for unknown reason
BASE/checkersTorus/2vm1EQTest process failed to output results for unknown reason
BASE/4pffa/Q3ADlgTest process failed to output results for unknown reason
BASE/skirmishFinal3/-OlhfwTest process failed to output results for unknown reason
BASE/max_knights/2fq3AgTest process failed to output results for unknown reason
DRESDEN/othello-cornercontrol/r5GdlgTest process failed to output results for unknown reason
DRESDEN/towerworld/HCX34wTest process failed to output results for unknown reason
BASE/snake_2008/i6K26gTest process failed to output results for unknown reason
BASE/colonelBlottoVariant/X-n-KQTest process failed to output results for unknown reason
BASE/stateSpaceLarge/0Ge_CQTest process failed to output results for unknown reason
STANFORD/knightstourmedium/x1wu8QTest process failed to output results for unknown reason
BASE/battle/8oAvhQTest process failed to output results for unknown reason
DRESDEN/statespacesmall/h-NqjATest process failed to output results for unknown reason
DRESDEN/2player_normal_form_2010/NG_KdgTest process failed to output results for unknown reason
BASE/ruleDepthLinear/OUBJpQTest process failed to output results for unknown reason
BASE/alexChess/LNo83gTest process timed out after 240 seconds
DRESDEN/knightstour/cGISAATest process failed to output results for unknown reason
BASE/kalaha_2009/dRiN3gTest process failed to output results for unknown reason
BASE/chineseCheckers2/eCMR3QTest process failed to output results for unknown reason
BASE/checkers-newgoals/0XkFiATest process failed to output results for unknown reason
BASE/copolymer_4/2LDVhQTest process failed to output results for unknown reason
BASE/2pffa/6oHijATest process failed to output results for unknown reason
BASE/gt_two_thirds_2p/1APDGgTest process failed to output results for unknown reason
BASE/strangeSkirmish/gc1zKATest process failed to output results for unknown reason
DRESDEN/queens/mW2wHQTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_1/CqS-7ATest process failed to output results for unknown reason
DRESDEN/smallest/9kaGFwTest process failed to output results for unknown reason
DRESDEN/brawl/2kXtfQTest process failed to output results for unknown reason
BASE/3pffa/pR0dzATest process failed to output results for unknown reason
DRESDEN/battlesnakes1509/-qZrLwTest process failed to output results for unknown reason
BASE/skirmishNew/sibw2gTest process failed to output results for unknown reason
BASE/gt_coordination/IVMOzATest process failed to output results for unknown reason
DRESDEN/chinesecheckers2/06E6-QTest process failed to output results for unknown reason
DRESDEN/crissrace/KWb9bwTest process failed to output results for unknown reason
DRESDEN/knightwar/7hhAqgTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tATest process failed to output results for unknown reason
BASE/skirmishHoles/AUCxCATest process failed to output results for unknown reason
DRESDEN/skirmishfinal/hzq8wwTest process failed to output results for unknown reason
DRESDEN/chinesecheckers6-simultaneous/gPPGUwTest process failed to output results for unknown reason
BASE/gt_two_thirds_4p/DStnxQTest process failed to output results for unknown reason
STANFORD/dualhunter/1rPZjQTest process failed to output results for unknown reason
BASE/gt_chicken/gmepTQTest process failed to output results for unknown reason
DRESDEN/SC_TestOnly_enabled/09o7gQTest process failed to output results for unknown reason
BASE/cephalopodMicro/9l2D3gTest process timed out after 240 seconds
BASE/snake_2009/7l-qAQTest process failed to output results for unknown reason
BASE/checkers-mustjump/T-8UuQTest process failed to output results for unknown reason
DRESDEN/Travelers-Dilemma/PvZwYwTest process failed to output results for unknown reason
BASE/point_grab/V_osUgTest process failed to output results for unknown reason
DRESDEN/skirmish3/3LU8NwTest process failed to output results for unknown reason
DRESDEN/vacuum_cleaner_1/eUNjpwTest process failed to output results for unknown reason
DRESDEN/checkers-cylinder-mustjump/vW_-pATest process failed to output results for unknown reason
BASE/checkers-cylinder-mustjump/rjr6qQTest process failed to output results for unknown reason
BASE/stateSpaceSmall/Q7osKATest process failed to output results for unknown reason
BASE/othelloHoles/c0qAzwTest process timed out after 240 seconds
DRESDEN/chinesecheckers6/yTbPDATest process failed to output results for unknown reason
BASE/skirmishFinal1/ecWTnQTest process failed to output results for unknown reason
BASE/checkersBarrelNoKings/rnKNegTest process failed to output results for unknown reason
DRESDEN/3pffa/0YrmQwTest process failed to output results for unknown reason
STANFORD/hunter/14dD-gTest process failed to output results for unknown reason
DRESDEN/logistics/fPru1QTest process failed to output results for unknown reason
BASE/skirmish/Y_psYQTest process failed to output results for unknown reason
BASE/amazonsTorus/soxT8gTest process timed out after 240 seconds
DRESDEN/CephalopodMicro/H3XQfgTest process timed out after 240 seconds
DRESDEN/gt_ultimatum/pAiiQwTest process failed to output results for unknown reason
DRESDEN/point_grab/r5DPmQTest process failed to output results for unknown reason
BASE/copolymer_4_pie/IN5_jATest process failed to output results for unknown reason
BASE/colonelBlottoVariant2/jruwGwTest process failed to output results for unknown reason
BASE/knightwar/DVGY4QTest process failed to output results for unknown reason
BASE/checkers-mustjump-torus/uSApKQTest process failed to output results for unknown reason
BASE/duplicateStateSmall/bCPAXwTest process failed to output results for unknown reason

index