index

ALLOY_TUPLE_PROVER:2 vs. FLUXPLAYER_PROLOG:1.1

Game-by-game performance:

GamePerf ratioALLOY_TUPLE_PROVER:2 states per secondFLUXPLAYER_PROLOG:1.1 states per second
DRESDEN/Zhadu/9zpQ5w0.0123340656389408222.5036661778429418039.766666666666
BASE/zhadu/DlA8iQ0.044485763983744955.062995800279981237.7666666666667
BASE/othelloSuicide/B442jg0.0477525230735402222.747710241465445476.3666666666667
BASE/othello-comp2007/86ZoMw0.0491602775849232423.487141954156826477.76666666666665
BASE/othelloHoles/c0qAzw0.070118413715197925.815262649478697368.1666666666667
BASE/choicethroughalt/tt71Lg0.072894094773816161014.813921.566666666668
BASE/snake2p/I3wWPQ0.07804608477376891946.233333333333312124.033333333333
BASE/gt_two_thirds_6p/867v3Q0.079084494470699871402.866666666666617738.833333333332
BASE/chineseCheckers4/avfBcQ0.099937336118998842450.724522.366666666665
BASE/nonogram_5x5_1/qLKEZw0.1015180265654649741.86666666666677307.733333333334
BASE/pentago/86NgKw0.10529722394575557786.37467.433333333333
DRESDEN/pentago_2008/hLjVpQ0.10784953154884143815.76666666666677563.933333333333
BASE/pentagoSuicide/SBgNhw0.108528434007639818.33333333333347540.266666666666
BASE/ticTacHeaven/18n58A0.10860271918177052510.18299390020334697.7
BASE/quad/tw-Ufg0.108640719507366630.59390259997360435.466666666666667
BASE/ticTacHeavenFC/mrletw0.11795420623380135477.317422752574944046.633333333333
BASE/gt_two_thirds_4p/DStnxQ0.121517300548542842218.966666666666718260.5
BASE/chineseCheckers6/rREH3A0.122980760293707612646.321518.0
BASE/chineseCheckers2/eCMR3Q0.13023620073442465576.46666666666642818.1
BASE/chineseCheckers3/-1rZdQ0.13279049333080944700.035394.1
STANFORD/freeforall/Lfp40Q0.138077895389927432842.76666666666720588.13728757081
BASE/2pttc/unkkYA0.140008925734710082819.420137.28757080973
DRESDEN/cubicup_3player/awDtsQ0.14102969127935275375.162483751624852660.1666666666665
STANFORD/platformjumpers/HEQskA0.14263121639309104780.0073330888975468.7
BASE/cubicup_3player/e2yA_g0.14286849551286557379.95400153328222659.4666666666667
BASE/2pffa_zerosum/o0_uZA0.142890934641878022755.73333333333319285.57147617461
BASE/2pffa/6oHijA0.145697494271139182810.73333333333319291.569476841054
BASE/nonogram_10x10_1/0Xc62g0.14759189703121545139.3907072861809944.4333333333333
BASE/connectFourSuicide/c8p9Kw0.150794873360114632140.166666666666514192.569143618794
DRESDEN/connectfour/5tc-Mg0.153848887204330382164.833333333333514071.166666666666
STANFORD/connectfour/VMpZkQ0.153853460456169932159.666666666666514037.166666666666
DRESDEN/connectfoursuicide/M9CNQg0.154530573450205932146.113887.866666666667
BASE/connectFour_9x6/B9TtMw0.1552775247832291966.312663.133333333333
STANFORD/nineboardtictactoe/y28P-A0.15579306274998359712.84575.3
BASE/nineBoardTicTacToe/wRmqqA0.1568703197432545703.86666666666674486.933333333333
BASE/connectFourSimultaneous/7ITr3g0.157344206181415481041.93333333333346622.0
BASE/skirmishZeroSum/zh4hcw0.1604858415983901595.46666666666673710.4
BASE/connectFour/WAIKTw0.160581052755016772191.013644.2
BASE/3pttc/0sol9g0.16331848251653842419.414814.0
BASE/ticTacToeLarge/TZC0dg0.16493831030309363157.166666666666519141.5
BASE/3pffa/pR0dzA0.16654986004783822544.533333333333315277.90736421193
STANFORD/pilgrimage/ObRZnQ0.16750746963351487.53333333333338880.4
DRESDEN/tictactoelarge/IwXcbg0.167714273239313653200.966666666666719085.833333333332
BASE/ticTacToeLargeSuicide/727_8g0.168091237838102483204.219062.266666666666
DRESDEN/cubicup/SBn_lw0.16891443732036257738.53333333333334372.233333333334
DRESDEN/ggp-course2013_michal13/jWKddg0.169248596332016529.082550469718168171.83333333333334
BASE/skirmishNew/sibw2g0.1699492647039495625.94580180660653683.133333333333
BASE/cubicup/4wNWJA0.17164098027347086737.26666666666674295.4
DRESDEN/SC_TestOnly_enabled/09o7gQ0.172497148325899573256.36666666666718877.8
DRESDEN/tictactoelargesuicide/6J4DeA0.174374317045490473308.566666666666618973.933333333334
BASE/4pffa/Q3ADlg0.176805279491699752138.86666666666712097.3008997001
DRESDEN/3pttc/uwYBZw0.18018477839514152788.915478.0
BASE/connectFourLarge/aU644A0.184943887018902461534.88298.733333333334
DRESDEN/3pffa/0YrmQw0.186747114155825122971.333333333333515911.0
BASE/dualConnect4/WbCQkg0.188596211805640651282.86801.833333333333
BASE/3pConnectFour/PqXOFQ0.193881835638024331369.83333333333337065.3
DRESDEN/tictactoe_3d_2player/LMuX9w0.19979056325659253536.53089794013742685.4666666666667
BASE/dotsAndBoxes/EHwA_w0.2019193773080071521.97537.166666666667
BASE/dotsAndBoxesSuicide/jzQbLw0.20214141075469951527.33333333333337555.766666666666
BASE/nineBoardTicTacToePie/B8LzeQ0.20360046049407685664.5111829605683263.8
STANFORD/duikoshi/tpw1sw0.207051014444351671653.23333333333337984.666666666667
BASE/tictactoe_3d_2player/IUC1rQ0.20735815715538833543.72622.0333333333333
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.211539584240851121570.16666666666677422.566666666667
BASE/pawnWhopping/Ypc_6Q0.212435115817699221563.36666666666667359.266666666666
BASE/battle/8oAvhQ0.2152495683467563104.10904122371447483.6666666666667
DRESDEN/grid_game2/kypTYQ0.21779752697040342524.44918502716582407.9666666666667
DRESDEN/battle/8oAvhQ0.2193580755337111105.14563753915884479.3333333333333
BASE/gt_two_thirds_2p/1APDGg0.221716311137651974220.219034.233333333334
STANFORD/pentago/ZxzLmg0.22442489527864641409.06666666666666278.566666666667
DRESDEN/pawn_whopping/4ogBkg0.231184341069458231662.27189.933333333333
BASE/speedChess/bPnisA0.2411233583489681685.43333333333332842.6666666666665
BASE/tictactoe2/bhrDoQ0.245715695331885486773.33333333333327565.733333333334
DRESDEN/knightwar/7hhAqg0.24881354072367162721.010935.9
BASE/knightwar/DVGY4Q0.25250602365318472745.710873.8
BASE/chineseCheckers1/gqtwHw0.254669829866919057643.130011.8
BASE/shmup/ssTNlg0.25535429187598745091.46666666666619938.833333333332
DRESDEN/queens/mW2wHQ0.26361015530549614944.86666666666673584.3333333333335
BASE/tictactoe_3d_small_2player/oOryKA0.26724300464693291606.43333333333346011.133333333333
BASE/queens/HyJJnQ0.268074371671494956.43567.6666666666665
STANFORD/triplesukoshi/Iu9mbA0.271410002753286361412.93333333333345205.9
DRESDEN/tictactoe_3d_small_2player/HYttcg0.272301486765784361633.75999.6
BASE/reversi/d8UMeA0.29247246819916467128.30767179897353438.7
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g0.29488297384121154856.73333333333332905.3333333333335
BASE/ticTacToeNoVars/XT03NA0.295810169386060645070.86666666666717142.3
BASE/reversiSuicide/9OxJlg0.2991508198814132130.89842708611036437.56666666666666
DRESDEN/kitten_escapes_from_fire/uW-YiA0.302586322569102739020.329810.666666666668
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.30372954945004166868.46402506081922859.3333333333335
DRESDEN/satlike_20v_91c/yeuENQ0.306404546762244900.21655838747292938.0
BASE/kitten_escapes_from_fire/uW-YiA0.30690686522523659139.429779.066666666666
BASE/hexPie/48CH6Q0.3132111439861792525.76666666666671678.6333333333334
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.31739611769338855931.2402093124022934.0
BASE/breakthroughSmallHoles/bxclRw0.322364101158335641685.56666666666665228.766666666666
BASE/connectFourLarger/qKi60A0.34539012228422977.20075997466762829.266666666667
STANFORD/tictactoe3/X7myng0.346666741531395436174.117809.9
BASE/lightsOnSimul4/9FeASw0.347944451001219571474.06666666666664236.5
STANFORD/rainbow/_4qNSQ0.3495212115804337516452.03333333333347070.2
BASE/lightsOnSimultaneous/_VN6lw0.351085207852656732044.15822.233333333334
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.35747954173486091456.13333333333344073.3333333333335
BASE/pegEuro/5awwhg0.362101411945288441148.06666666666663170.5666666666666
BASE/snakeParallel/RCVNtw0.364069718642813236853.33333333333318824.233333333334
DRESDEN/peg/Vo31eg0.36412145293435071380.73791.866666666667
DRESDEN/peg_bugfixed/u_B7MA0.36489493415527411404.83333333333333849.9666666666667
BASE/peg/fJHVWw0.367976610046726941388.63333333333343773.7
BASE/hitori/S8Gsyg0.3754093596032866302.47983467768813805.7333333333333
BASE/tictactoe-init1/7M19vA0.37550882766474596792.56666666666718088.966666666667
STANFORD/sukoshi/4LYZZQ0.38146731266716364640.06666666666712163.733333333334
DRESDEN/hitori/S8Gsyg0.3835868960063963304.92600986535126794.9333333333333
STANFORD/tictactoe5/WFRReg0.38415329086471726595.23333333333417168.233333333334
STANFORD/bestbuttonsandlightsbig/g0JC6g0.385142972714131912949.233621.8
DRESDEN/tpeg/h-Scbg0.38821145222490511500.56666666666663865.3333333333335
DRESDEN/tictactoe-init1/3ltIBQ0.38925056860829586879.917674.733333333334
BASE/connect5/d-BVQg0.3901505801036781842.93333333333332160.5333333333333
BASE/withConviction/3Xm54A0.39348785332015771340.63406.9666666666667
BASE/tpeg/QNs7Lw0.39707617158486181514.73814.633333333333
STANFORD/dualhunter/1rPZjQ0.399116389241452933291.38246.466666666667
BASE/four_way_battle/xSOQXA0.40073783364565135343.4323234343232857.0
DRESDEN/connect5/1kYzSg0.4027478195629748858.92132.6
DRESDEN/catcha_mouse/cHv4dw0.40344752789338831983.96666666666674917.533333333334
BASE/lightsOnParallel/SC6enA0.40440116699498795405.913367.666666666666
BASE/catcha_mouse/cHv4dw0.40472702346711112007.54960.133333333333
STANFORD/jointbuttonsandlights/qAKuIQ0.4053854615512356710822.426696.566666666666
STANFORD/breakthrough/d5j0cQ0.40651113920309961650.73333333333334060.733333333333
DRESDEN/four_way_battle/xSOQXA0.40764751552795037350.03333333333336858.6666666666666
BASE/escortLatch/mX9BjQ0.412095158597662771645.63333333333343993.3333333333335
BASE/eightPuzzle/vLrgFg0.4146879213260376971.73333333333416812.0
BASE/queens06ug/7Lq3tw0.414992906169715073607.53333333333338693.0
BASE/numbertictactoe/rvJ-iQ0.417856642633709754176.79995.533333333333
STANFORD/tictactoe7/-bE9-A0.419563330931953646833.416286.933333333332
BASE/chess_200/XsTpYA0.4196901059598229285.5571480950635680.4
STANFORD/8puzzle/jNiGtw0.41978511530398326941.56666666666716536.0
BASE/queens16ug/gT-ylw0.4198720936003639599.71334288857041428.323892035988
BASE/queens08ug/kJ_ZFQ0.42158650487800782230.96666666666675291.836054648451
DRESDEN/tictactoe/BTTzPw0.422243754033000246958.016478.633333333335
BASE/ticTacToe/JRFsaQ0.428323505111215537050.43333333333316460.533333333333
DRESDEN/8puzzle/8fKC2w0.428856532946673147098.43333333333316552.0
BASE/eotcatcit/AfZSzA0.42993006316095156514.215151.766666666666
BASE/asteroidsParallel/WauZiA0.43104691714169985817.46666666666613496.133333333333
STANFORD/bestbuttonsandlights/nm0wEA0.4334190150778972616591.838281.2
STANFORD/eightpuzzle/W_aWbA0.434409912235415647012.116141.666666666666
DRESDEN/oisters_farm/pTQMLg0.435098569771936613132.030181.666666666668
BASE/factoringMutuallyAssuredDestruction/NH0LGg0.436301554497259446474.13333333333314838.666666666666
DRESDEN/eotcatcit/mQUxzA0.43873415461524736552.93333333333314936.0
DRESDEN/Goldrush/VeWczQ0.43975560635287521725.03922.633333333333
STANFORD/tictactoe/ss1kyQ0.44043063475989986886.515635.833333333334
DRESDEN/tictactoe_orthogonal/y69QFQ0.44172337095951627593.03333333333417189.566666666666
STANFORD/trifecta/ss1kyQ0.443888768565371746763.415236.7
STANFORD/multiplebuttonsandlights_9/SqB9BA0.4439535918585828518357.06666666666641349.066666666666
BASE/queens12ug/u6Bkmg0.445393759286775551079.12422.8
DRESDEN/blocker/S815zQ0.44764796907020086422.16666666666714346.466666666667
BASE/tictactoe_orthogonal/WRzlVw0.450382667101830177773.817260.433333333334
DRESDEN/blocksworldparallel/2JfVaw0.450612436104107235450.83333333333312096.5
DRESDEN/mimikry/GJEhwA0.45540595000671671469.03333333333333225.766666666667
STANFORD/multiplebuttonsandlights/cK70Yg0.4555268695989563318097.35368617517839728.4
BASE/solitaireChineseCheckers/-ET6gw0.456808837755666163525.83333333333357718.4
BASE/blocker/dIWtxg0.45910393804955946316.013757.233333333334
BASE/lightsOn/MsXu3A0.466120424343072813575.429124.233333333334
DRESDEN/tictactoex9/rFkD4w0.46675565326633167990.76666666666672122.6666666666665
DRESDEN/lightson2x2/gBHuig0.471560067014881237974.86666666666716911.666666666668
BASE/gt_dollar/TGjqRw0.471643029913947912121.93333333333225701.5
BASE/tictactoex9/BI26ow0.4722724665044531000.66664444518522118.8333333333335
BASE/stateSpaceSmall/Q7osKA0.476180835745141922266.53333333333346760.666666666664
DRESDEN/blocks/vg0DRw0.479520034365693314958.131193.9
BASE/ticTicToe/c1OobQ0.480158953160836844280.9666666666668915.728090636454
DRESDEN/coins/QwFP9w0.481380501215551412.46666666666672934.2
BASE/coins/QnGtnQ0.481624891169866731401.42909.733333333333
BASE/hanoi_6_disks/MeubgQ0.482577379108344869138.618937.066666666666
BASE/blocksWorld/SEdXLQ0.483984775431141814966.630923.7
BASE/blocks/xIV5hQ0.485868253840585515102.031082.5
BASE/coins_atomic/AA3SSw0.487049120832400761415.1861604613182905.633333333333
BASE/factoringEasyTurtleBrain/lUj94Q0.490649957849846336594.113439.520159946684
DRESDEN/statespacesmall/h-NqjA0.4912930239159747423076.03333333333346970.0
DRESDEN/firefighter/WJmoPw0.492108603277964748323.016912.933333333334
BASE/firefighter/WJmoPw0.49394088709418978219.96666666666716641.6
DRESDEN/tictictoe/LAUtwg0.494015974761810864426.3666666666678959.966666666667
DRESDEN/knightazons/02I8BQ0.49518065164685704558.26666666666671127.4
BASE/knightazons/apnJBQ0.4975013263159849557.88140395320161121.3666666666666
BASE/toetictac/mTThmg0.497835281856834848980.618039.3
BASE/ruleDepthLinear/OUBJpQ0.498550959573556137725.7333333333375670.76666666666
BASE/eotcitcit/V_9_bg0.50064998880173534419.6333333333338827.790736421193
DRESDEN/pancakes88/aD3E7g0.500730406015848722280.444495.8
BASE/pancakes88/l2Xaig0.500950975661854322142.16666666666844200.2665778074
DRESDEN/hanoi_6_disks/MeubgQ0.50210929329811949442.518805.666666666668
BASE/hodgepodge/9yjRkw0.50479285550793628527.56666666666816893.2
BASE/asteroids/BKCmPQ0.506342249866193112897.56666666666825472.033333333333
BASE/futoshiki4/BaCwSw0.50641142771155571570.53101.233333333333
STANFORD/tictictoe/rpt_Dw0.50694622038360284493.2333333333348863.333333333334
DRESDEN/Travelers-Dilemma/PvZwYw0.51045864471983121584.23333333333442284.0
DRESDEN/statespacelarge/8-y5HQ0.514178513999846810744.020895.466666666667
DRESDEN/toetictac/mJtxCA0.51737687223692579331.13333333333318035.466666666667
BASE/rubiksCube/9tNO9Q0.52054259359739561598.93333333333343071.6666666666665
BASE/chickentictactoe/DSlZCA0.5207514970059885797.711133.333333333334
BASE/beatMania/qUHwvQ0.521383531157278433.916176.0
BASE/blocksWorldSerial/Wyg96Q0.52467599792638685735.23333333333410931.0
DRESDEN/troublemaker02/iZLVuA0.525597533419723329014.055201.933333333334
BASE/stateSpaceMedium/3bUoIw0.526423997081459815968.96666666666730334.8
DRESDEN/chickentictactoe/Ipbo-g0.52660948579169135857.26666666666611122.6
DRESDEN/statespacemedium/dVJZ_w0.536413714688988716417.830606.6
BASE/troublemaker02/DI83KA0.538684111132566529570.63333333333554894.2
DRESDEN/sum15/CsgWKg0.53982884389813927777.814407.9
DRESDEN/knightstour/cGISAA0.54240396044665821218.93333333333439120.166666666664
BASE/snakeAssemblit/UO4sdg0.54349858000503291007.91854.4666666666667
STANFORD/3puzzle/41ibjA0.544759443322348616398.56666666666630102.4
STANFORD/threepuzzle/41ibjA0.545048376977181916505.730283.0
STANFORD/knightstourmedium/x1wu8Q0.546047564169722321716.76666666666639770.833333333336
BASE/onestep/xi53wA0.546178708063271640844.574782.3
STANFORD/knightstourbig/TQUI2g0.546205007787547719159.43333333333435077.36666666667
BASE/sum15/QZ07Kg0.54796670210642147868.414359.266666666666
BASE/stateSpaceLarge/0Ge_CQ0.549651433485696711632.221162.866666666665
BASE/pancakes6/QZTdnw0.550354638908916927835.43333333333450577.26666666667
BASE/twisty-passages/DiZmmg0.55128070910106096319.011462.4
BASE/knightsTourLarge/M8jgLA0.551516850986104319505.83333333333235367.6107964012
DRESDEN/hanoi/RQ0jiA0.551623691876146312441.63333333333322554.566666666666
BASE/hanoi/iGLsJg0.554549130968686512524.23333333333422584.533333333333
BASE/knightsTour/mvtVIg0.555231056880915321717.56666666666639114.46666666667
DRESDEN/twisty-passages/j7NPyg0.55568731508007336310.53333333333411356.266666666666
BASE/roshambo2/KNPokQ0.557358607593323521866.239231.833333333336
STANFORD/knightstour/cEwgNA0.558643600545161621642.338740.8
BASE/circlesolitaire/azuQFQ0.560066657809575911382.06666666666820322.7
DRESDEN/knightmove/97Ipcw0.56466298712159222813.43333333333344982.5
BASE/troublemaker01/s3tlEQ0.565647579564963131982.16666666666856540.8
STANFORD/hunter/14dD-g0.5660361557689546992.36666666666712353.215594801733
DRESDEN/pancakes/hl9aiQ0.566313309152173728504.26666666666650333.03333333333
DRESDEN/troublemaker01/C-lPWw0.567732465541321832438.057136.066666666666
DRESDEN/roshambo2/jgSlkQ0.572270318284011822441.86666666666539215.5
DRESDEN/circlesolitaire/ruUilQ0.572686841643330411636.36666666666720318.9
BASE/gt_centipede/9fRMpw0.572953604032939316911.83333333333229516.933333333334
BASE/knightmove/jBaJEw0.57483199349953052876.95004.766666666666
DRESDEN/pancakes6/SZXMyQ0.576976644419164429095.56666666666650427.63333333333
BASE/tron_10x10/7ZTgDg0.57804910012231344410.97630.666666666667
BASE/survival/YVIjJA0.579658764939993131294.73333333333453988.2
DRESDEN/hanoi7_bugfix/3gdnFw0.581794438239684411074.56666666666819035.188270576473
BASE/lightsOut/5P1ZBw0.58543645814662132177.43333333333343719.3333333333335
BASE/pancakes/yUgbXw0.586772001934729428751.348999.1
BASE/hanoi7_bugfix/3gdnFw0.594485554351434411282.16666666666618978.033333333333
DRESDEN/frogs_and_toads/GjchhQ0.60040567951318461736.53333333333332892.266666666667
DRESDEN/hanoi7/51zz5Q0.602300523759507711392.23333333333418914.533333333333
BASE/maze/cCX3qQ0.604233807266982626454.86666666666543782.5
STANFORD/dualrainbow/G3OnRQ0.60464638269100757452.26666666666612325.0
DRESDEN/lightsout/XgLpzQ0.60538255877034352231.13685.4381872709096
BASE/incredible/8Qh-6Q0.60641894814799445840.9666666666669631.9
DRESDEN/cube_2x2x2/fp-34Q0.6098770888778134323.57089.133333333333
BASE/battlebrushes/arCwyA0.6131650117036147296.6901103296557483.8666666666667
DRESDEN/ggp-course2013_jordi/9QI6Kw0.6229587868005828426.5191160294657684.6666666666666
DRESDEN/quad_7x7/q-JOXg0.632072182130761634.8061081626672755.06666666666667
BASE/asteroidsSerial/id2QkA0.63367576731358015008.77904.2
BASE/quad_7x7/q-JOXg0.637943954243231835.21450627422639555.2
DRESDEN/vacuum_cleaner_1/eUNjpw0.63919851229022189360.714644.433333333332
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA0.6430007372083477878.96666666666612253.433333333332
BASE/4pttc/AL1k2Q0.64613837798644611999.43333333333343094.4351882705764
DRESDEN/small_dominion/yB5GJA0.6476681121241982110.82225110822252171.10963012329225
BASE/amazons_8x8/7SOsIw0.65408930260341481314.02008.9
BASE/coloredtrails/EZvr7g0.65465087385074143951.86036.5
DRESDEN/max_knights/hCipiA0.65684788397722152137.7333333333333254.5333333333333
BASE/factoringGeorgeForman/HGRorQ0.661392550481842313433.520310.933333333334
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A0.66153649835498027949.06666666666712016.066666666668
DRESDEN/chinesecheckers1/Y-ftaA0.66266414740908893395.05123.258913695435
BASE/max_knights/2fq3Ag0.66617613292420722127.6333333333333193.8
BASE/point_grab/V_osUg0.669858696871145119910.43333333333429723.333333333332
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw0.6717757884875611860.51280.9333333333334
BASE/guess/SPpk1A0.67415159975514731505.13333333333342232.633333333333
DRESDEN/guess/PhxGhg0.67503125558135381511.82239.6
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw0.6775940780480256875.71292.3666666666666
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g0.6783405866144774878.06666666666671294.4333333333334
DRESDEN/latenttictactoe/kITHKg0.68157891485128953677.35395.266666666666
DRESDEN/chickentoetictac/cxYaRQ0.68534424379232518096.211813.333333333334
BASE/duplicateStateSmall/bCPAXw0.686425738210665517651.66666666666825715.333333333332
BASE/chickentoetictac/l57rfQ0.68867640415600068232.311953.8
BASE/amazonsTorus_10x10/Uxc08g0.6894024290517007758.73333333333331100.5666666666666
BASE/switches/tPUoCg0.699686683339421616599.83333333333223724.666666666668
STANFORD/multipletictactoe/_bkafQ0.70417788180222351002.86666666666671424.1666666666667
DRESDEN/4pttc/9pB9AQ0.70560359161955432263.23207.4666666666667
BASE/slidingpieces/uFJWEw0.7057663724330391775.56666666666671098.9
DRESDEN/uf20-020.cnf.SAT/hDrW_A0.70644628099173551994.53333333333332823.3333333333335
DRESDEN/point_grab/r5DPmQ0.710529820433711521341.030035.333333333332
BASE/mineClearingSmall/frsbvw0.7118764768717833733.06666666666671029.7666666666667
DRESDEN/slidingpieces/s9_44g0.7182785265182519775.7408086397121080.0
DRESDEN/chinesecheckers3/QsCb2A0.72274175083030122125.3666666666672940.7
DRESDEN/chinesecheckers4/-oVNYg0.73102948906796061405.66666666666671922.8590469843386
BASE/amazons_10x10/Bun8dA0.73131058134273261023.56666666666671399.6333333333334
DRESDEN/uf20-010.cnf.SAT/5ICbCg0.7315862387439392112.33333333333352887.3333333333335
BASE/amazonsSuicide_10x10/XIbQkg0.73840342604176691023.03333333333331385.4666666666667
BASE/tictactoe_3player/GtM71g0.7397538950084351987.86666666666662687.2
DRESDEN/tictactoe_3player/ESLQQQ0.74348225138292871998.13333333333342687.5333333333333
BASE/factoringMediumTurtleBrain/8RBqmQ0.74782966045101971941.06666666666662595.6
DRESDEN/uf20-01.cnf.SAT/42Rs8A0.75175338070135232186.62908.6666666666665
BASE/blocksWorldParallel/RseaAQ0.76256346771444461416.76666666666671857.9
DRESDEN/lightsout2/LFtfyQ0.76500090041419062832.03333333333333702.0
STANFORD/selectivesukoshi/3xmXYg0.7818771428632523221.81854543030465283.7
BASE/cephalopodMicro/9l2D3g0.789016663754612115.6961434618846146.63333333333333
DRESDEN/aipsrovers01/qS47Mw0.79596021409129945809.7666666666667299.066666666667
DRESDEN/brain_teaser_extended/ZDp94A0.79827835299783296630.58306.0
BASE/futoshiki5/TJ4BZg0.7995727900098586811.03333333333331014.3333333333334
DRESDEN/CephalopodMicro/H3XQfg0.8014316231089137116.90215942415355145.86666666666667
DRESDEN/buttons/ADUaHw0.803473728688046124593.36666666666530608.8
BASE/aipsrovers01/4C4jsw0.80430076748304915994.47452.933333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg0.80632947563937712257.42799.6
BASE/buttons/hTcUjw0.81652967681622225212.96666666666730878.2
BASE/brain_teaser_extended/ZDp94A0.8182728006456826758.9333333333338260.0
DRESDEN/chinesecheckers6-simultaneous/gPPGUw0.8207086559252285784.4333333333333955.8
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg0.82709857864470942286.92764.9666666666667
BASE/haystack/UkweGA0.844900869054365344679.452881.23333333333
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg0.84649252233855452390.46666666666672823.9666666666667
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw0.85016769177895512391.2666666666672812.7
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ0.85927034345161752411.82806.8
STANFORD/buttonsandlights/eyhJpA0.859868607583603246097.953610.4
DRESDEN/tictactoeparallel/yk_DSg0.86461746975765672849.43333333333343295.6
BASE/ticTacToeParallel/ymRGPw0.86616386562939212917.06666666666663367.8
STANFORD/multiplesukoshi/vLSQPg0.8796147034117592229.78468102126524261.23333333333335
DRESDEN/knightfight/4_Ly4w0.88339803946125025172.7666666666665855.533333333334
BASE/pearls/6k_mEQ0.886655272228135831264.23333333333435260.86666666667
STANFORD/untwistycorridor/EDPPAQ0.888287981945357327342.06666666666630780.633333333335
DRESDEN/battlebrushes/QHXV4A0.9014290108264357278.60165961275703309.06666666666666
BASE/knightfight/SJRkAg0.90470011946065525276.05831.766666666666
DRESDEN/connect4/T0-rHQ0.91100193538782191019.86666666666671119.5
BASE/connect4/50bOyw0.92239806144733291027.76666666666671114.2333333333333
DRESDEN/quad/JPe6fg0.93012103975130634.96064554534035.333333333333333
BASE/conn4/va9Y7A0.93257649974067881078.86666666666661156.8666666666666
DRESDEN/othello-cornercontrol/r5Gdlg0.944465654459487313.37993010484273514.166666666666666
BASE/futoshiki6/JmvXNA0.9499813595128619509.6333333333333536.4666666666667
BASE/untwistycomplex2/EDPPAQ0.958582883841754928339.829564.266666666666
BASE/blokbox_simple/JBx4bg0.96730770531613364.7398077560490554.9
DRESDEN/snake_2008/E56l3A0.97116508924040851467.33333333333331510.9
DRESDEN/2player_normal_form_2010/NG_Kdg0.98857705312993429762.16666666666830106.066666666666
DRESDEN/double_tictactoe_dengji/bGaUyQ1.00453586602359043381.03333333333333365.766666666667
BASE/snake_2008/i6K26g1.00733577124730141524.23333333333331513.1333333333334
BASE/snake_2008_tweaked/bX0NJQ1.0201838529176661531.51501.2
BASE/double_tictactoe_dengji/zgaSbA1.0340562789409113483.66666666666653368.9333333333334
DRESDEN/doubletictactoe/lJzgmQ1.05229007633587783400.33231.3333333333335
BASE/doubletoetictac/fu35bg1.0583393576370963415.96666666666673227.6666666666665
DRESDEN/bunk_t/7-tPfA1.06687788558743523412.2666666666673198.366666666667
BASE/duplicateStateMedium/U163eQ1.06795303937080089314.98722.2
BASE/bunk_t/xbpfIA1.06822532559234263403.93186.5
BASE/doubletictactoe/HH1htg1.07182862811557073457.43333333333343225.733333333333
DRESDEN/doubletoetictac/V89gKQ1.09173185752330223498.23204.266666666667
DRESDEN/babel/WdSW4A1.1187786798446877845.2755.4666666666667
DRESDEN/pawntoqueen/f_x6Aw1.121942139962031797.1601893207119586.6
BASE/factoringImpossibleTurtleBrain/kcBhdw1.135689759940259641.3391072618254536.4
DRESDEN/chinesecheckers6/yTbPDA1.14513831621560841527.51333.9
BASE/pawnToQueen/-O1_JA1.14617960385823496.813970539225584.46666666666667
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA1.23136875873982051995.96666666666671620.9333333333334
DRESDEN/snake_2009/zIYLVw1.24758941585379521483.63333333333341189.2
BASE/snake_2009/7l-qAQ1.25387014144114041501.13333333333341197.2
DRESDEN/sat_test_20v_91c/dK7nVw1.2651413727645122110.46666666666671668.1666666666667
DRESDEN/sat_test_20v_91c_version2/a1mPBA1.26559623644917152062.51629.6666666666667
DRESDEN/quarto/OQzRYQ1.32464404992092511.96666666666671896.3333333333333
BASE/quartoSuicide/-23jUg1.32489541232361922491.33333333333351880.4
BASE/quarto/EwBMVQ1.3592275891311262564.51886.7333333333333
BASE/duplicateStateLarge/dcjyuw1.36195142033758735513.6333333333334048.3333333333335
DRESDEN/quartosuicide/WIU1oQ1.38303606255097322600.21880.0666666666666
DRESDEN/javastrike/whONTQ1.388810651645116723.2520.7333333333333
DRESDEN/crossers3/xiPTxg1.44545874740004642084.83333333333351442.3333333333333
DRESDEN/snake_2009_big/DgC1NQ1.45973389355742311250.7856.8
BASE/snake_2009_big/-oRfVw1.46058348851644951254.9333333333334859.2
BASE/crossers3/O0rORg1.46111072656376172110.8666666666671444.7
DRESDEN/grid_game/U7_Yeg1.56959462466070382351.56666666666661498.2
BASE/wargame01/_GZFZg1.59089362159451182960.61860.9666666666667
BASE/sudokuGrade1/tDRNRw1.633568025813222494.3113273569500457.733333333333334
BASE/wargame03/klXI8w1.67414577857554962611.51559.9
BASE/sudokuGrade2/u80Tfw1.733946334360951695.1936537564162454.9
BASE/hallway/ckCJOw1.7509705520310574616.4352.03333333333336
DRESDEN/hallway/0H4l-Q1.7512595633513715625.6666666666666357.26666666666665
BASE/sudokuGrade5/BQfUQA1.753852488912222797.1634278857371455.4
BASE/amazons/RKKZjw1.787501787501787614.4787644787644798.1
BASE/sudokuGrade3/eI8dvg1.852306463705788992.924040929240450.166666666666664
BASE/wargame02/BkVqqQ1.85239554766897861913.83333333333331033.1666666666667
DRESDEN/pacman3p/rBnk8Q1.9124655884377152964.06666666666661549.8666666666666
BASE/amazonsSuicide/dE1QEQ1.92550472428567315.6607717575234748.133333333333333
DRESDEN/amazons/dNB28A1.9374730930129909151.897890492218578.4
BASE/hidato19/rRHSmA1.95597620335316381205.5333333333333616.3333333333334
BASE/pacman3p/wW7UVQ1.96857393800475563063.16666666666651556.0333333333333
BASE/sudokuGrade4/DTy07w1.9930264993026595.2666666666666747.8
BASE/gt_tinfoil/Q8DyKg2.007538356372474517620.8333333333328777.333333333334
BASE/biddingTicTacToe/8mESVw2.05983774380763234460.1666666666672165.3
STANFORD/sudoku/oJ1qyQ2.062179956108266393.9666666666666745.56666666666667
BASE/god/qF06gw2.158590473122939270.61529231384577125.36666666666666
DRESDEN/god/2EDD5w2.2086083971481383278.8126.23333333333333
DRESDEN/bidding-tictactoe/yW5vTA2.2804395806510944959.52174.8
BASE/ticTacToeSerial/Amrwqw2.3006170458927883181.61382.9333333333334
DRESDEN/backgammon/mqCW0Q2.325168107588857806.8333333333334347.0
BASE/sudokuGrade6H/ieE_9A2.404230203820792392.9635678810706338.666666666666664
BASE/sudokuGrade6E/ihYFZA2.46185848227542491.7452594394641237.266666666666666
DRESDEN/tictactoe_3d_small_6player/llDEDQ2.8171674654327111136.0666666666666403.26557814061977
BASE/tictactoe_3d_small_6player/g_9lww2.837780149413021152.2333333333333406.03333333333336
BASE/sudoku/NTaNkw2.9833617945395003273.872612738726191.8
BASE/mummymaze1p/PT_EXA3.11195459807587415591.15010.066666666667
DRESDEN/Runners/3bOCQw3.15423985516076824158.5333333333337659.066666666667
DRESDEN/mummymaze1p/AekgaQ3.16874511580869116084.2333333333345075.9
BASE/qyshinsu/R08Lzw3.202721088435374549.2666666666667171.5
BASE/tictactoe_3d_6player/d7KSwg3.215982447801776448.73675088327445139.53333333333333
DRESDEN/tictactoe_3d_6player/ulZPWg3.271210676835081457.53333333333336139.86666666666667
BASE/bomberman2p/4CClwA3.44872651585693110493.93042.8333333333335
DRESDEN/bomberman2p/x4h6jQ3.452303576955387610410.7666666666663015.6
DRESDEN/blockerparallel/dVQgSg3.5422030158146381284.1666666666667362.53333333333336
STANFORD/duidoku/3SoMaA3.564052667186802585.1524745875687323.892035988004
BASE/blockerParallel/7-nDJA3.56542914905348241293.3362.73333333333335
BASE/gt_coordination/IVMOzA3.66256035113386916689.0666666666664556.666666666667
BASE/hidato37/pBrqxw4.134743818796928308.589713676210874.63333333333334
DRESDEN/ghostmaze2p/HY0UwA4.42315792371539910711.2666666666662421.633333333333
BASE/pacman2p/4LEdQg4.4400522546932463058.9688.9333333333333
BASE/kalaha5x2x3/WviNsw4.6589746303941284401.333333333333944.7
BASE/gt_staghunt/xPjLRA4.74378109452736315256.03216.0
BASE/ghostMaze2p/W-NU-w4.75131155981686911381.1333333333332395.366666666667
DRESDEN/fizzbuzz/t1xHzQ5.095485658409387531265.96136.0
BASE/kalaha6x2x4/XS81Mg5.1225702179705593909.0333333333333763.1
DRESDEN/mummymaze2p-comp2007/oTQRQg5.16547516051181611343.92196.1
BASE/mummyMaze2p_2007/YGA3Vw5.1774791402901311314.02185.233333333333
DRESDEN/kalaha_2009/gcC8uA5.9432398281526413919.5666666666666659.5
BASE/kalaha_2009/dRiN3g6.11962780176845563967.9666666666667648.4
BASE/chomp/-LcqYQ6.3075111227427374820.2764.2
DRESDEN/chomp/-LcqYQ6.36152778399677654735.733333333334744.4333333333333
BASE/gt_prisoner/klthDw7.08342097123414815267.1333333333332155.3333333333335
DRESDEN/gt_prisoner/huCp4w7.16816581306017914928.92082.6666666666665
DRESDEN/gt_chicken/CeuKtw7.40373927958833614387.9333333333321943.3333333333333
BASE/gt_chicken/gmepTQ7.55313138189244414794.0666666666681958.6666666666667
DRESDEN/logistics/fPru1Q8.8269603524229083339.5333333333333378.3333333333333
BASE/checkersTiny/Lr48cg9.7688481675392681243.9127.33333333333333
BASE/biddingTicTacToe_10coins/a-9ccQ10.3524610235899124227.6408.3666666666667
BASE/simultaneousWin2/PfjRjw10.4633353646150731717.0333333333333164.1
DRESDEN/bidding-tictactoe_10coins/mu5VhQ10.6819113187443664344.333333333333406.7
BASE/racer4/0vs7Ww12.9906181015452541569.2666666666667120.8
BASE/checkers-newgoals/0XkFiA14.023373983739837459.9666666666666432.8
DRESDEN/checkers/jIDMIg14.245867768595042459.666666666666732.266666666666666
DRESDEN/checkers-newgoals/IJOqXQ14.603286808678703464.384520515982831.8
DRESDEN/cylinder-checkers/clOO3Q15.902374670184697401.825.266666666666666
BASE/cylinder-checkers/hlldmw15.904761904761905400.825.2
BASE/checkersSmall/SYmq8w15.912337662337663816.833333333333451.333333333333336
STANFORD/madness/UO_B3A20.7389925370565167.238793534410958.063978673775408
DRESDEN/stratego/Z2wovg21.518020182604521492.633333333333469.36666666666666
BASE/checkers/rOC3Xg22.669560649681507621.145961801273327.4
BASE/gt_ultimatum/GE-uOA24.0081984788359812096.1503.8320559813396
BASE/golden_rectangle/_nYzfw24.310393258426966576.966666666666723.733333333333334
DRESDEN/gt_ultimatum/pAiiQw24.5945736434108512690.8516.0
BASE/cittaceot/fDxhXg27.334780511336231888.833333333333369.1
BASE/checkers-mustjump/T-8UuQ32.37837837837838479.214.8
STANFORD/skirmish/w4V6Vw32.69723685087661165.555629624691685.063291139240507
DRESDEN/farmers/S_ASnw34.3696629213483152039.266666666666759.333333333333336
DRESDEN/checkers-mustjump/HUr33w35.02546296296296504.366666666666714.4
DRESDEN/mummymaze2p/k-8edg42.563980358174469823.766666666666230.8
BASE/smallest_4player/ADDROA43.176565377532226251.966666666666144.8
BASE/checkers-cylinder-mustjump/rjr6qQ43.54266622485133394.786840438652069.066666666666666
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw43.76470588235294396.89.066666666666666
DRESDEN/smallest_4player/ADDROA44.307320441988946415.7144.8
DRESDEN/checkers-cylinder-mustjump/vW_-pA44.5409.49.2
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg44.79777681376558409.15302823239239.133333333333333
BASE/mummymaze2p/vpjDdA45.35385949696444610458.6230.6
BASE/skirmish/Y_psYQ49.217047336631396182.042394347420363.6987670776407864
BASE/quad_5x5/JAEP5g52.59839869671569287.53791287537915.466666666666667
DRESDEN/towerworld/HCX34w54.081607674242484109.892673821745222.031978680879414
DRESDEN/quad_5x5/JAEP5g54.941918602713244293.02356588113735.333333333333333
DRESDEN/capture_the_king/EQ229Q57.442785133251384292.470752924707545.091514143094842
BASE/checkers-mustjump-torus/uSApKQ58.42358446207822366.121129295690146.266666666666667
DRESDEN/checkers-mustjump-torus/cVc3gA59.5709309689677381.25395820139336.4
BASE/skirmishFinal2/gdB62Q60.42021440994842265.84894340377314.4
DRESDEN/skirmishfinal/hzq8ww60.757922104350904269.091030298994.428904428904429
BASE/skirmishFinal1/ecWTnQ60.980409238883965268.224392520249354.3985338220593135
BASE/breakthroughSmall/HJ0tIA65.080575539568341507.723.166666666666668
DRESDEN/smallest/9kaGFw66.710271317829474589.66666666666768.8
BASE/skirmishFinal3/-Olhfw67.42743991866938287.6904103196564.266666666666667
BASE/breakthroughSuicideSmall/XSbJog70.248108925869891547.822.033333333333335
DRESDEN/quad_5x5_8_2/JRTLJg72.30089970009996385.60479840053315.333333333333333
BASE/strangeSkirmish/gc1zKA88.90955016269218168.871854690884851.8993668777074308
BASE/skirmishHoles/AUCxCA100.26450214053527197.186854209719341.9666666666666666
DRESDEN/golden_rectangle/1uloXw153.0648148148148551.03333333333333.6
DRESDEN/breakthrough/z4hK7Q199.31654676258992923.54.633333333333334
BASE/breakthrough/TGxk-g200.3674662004662954.76666666666674.765078307230923
BASE/breakthroughWalls/vOZaYA206.02131400966184947.06666666666674.596935376415723
BASE/breakthroughSuicide/wZDpIg207.46481534772184960.93333333333334.631789403532156
DRESDEN/breakthroughsuicide_v2/LU1nAw214.05305472636815955.46666666666674.463690872751499
DRESDEN/racer/vk_ZBA217.660714285714283250.414.933333333333334
BASE/racer/QQYQNw219.26143790849673354.715.3
BASE/ttcc4_2player_small/Cv72TA253.503787878787882230.83333333333358.8
BASE/merrills/pku8Tg279.3671155405931558.54804839838681.9993335554815062
DRESDEN/merrills/aYEzwA290.0236658778041580.04733175560822.0
BASE/breakthroughHoles/nZk0Sg291.288240196078451320.06666666666664.53182272575808
DRESDEN/breakthroughsuicide/Y9QzqQ312.39568345323741447.43333333333344.633333333333334
DRESDEN/knightthrough/J7Fc_Q336.72769565217391805.35.361305361305361
BASE/knightThrough/gcwFjA342.46668162393161780.23333333333335.198267244251916
DRESDEN/Catch-Me-If-You-Can/ghGWrA347.934387685261114590.0486569352841.93333333333333
DRESDEN/Thief_Police/CX18rA359.8229166666666314968.63333333333341.6
DRESDEN/catch_me/ghGWrA369.087515202702714561.839.45351549483505
DRESDEN/CatchMeIfYouCanTest/CX18rA370.4686985172981514991.63333333333340.46666666666667
BASE/colonelBlottoVariant2/jruwGw505.7610958.13333333333321.666666666666668
BASE/colonelBlottoVariant/X-n-KQ594.430000000000111888.620.0
BASE/blockerSerial/3eqDuw1185.1506849315072883.8666666666672.433333333333333
BASE/checkersTorus/2vm1EQ1250.09259374999991332.11.0656010656010657
BASE/ttcc4_2player/_aH_Mw1268.42857142857131479.83333333333331.1666666666666667
STANFORD/ttcc4/Cx9SGw1381.1072745098041564.73333333333331.13295568143952
BASE/ttcc4_2player_alt/ZEJvYA1511.14705882352951712.63333333333341.1333333333333333
BASE/copolymer_4_pie/IN5_jA1882.63157894736832384.66666666666651.2666666666666666
DRESDEN/tttcc4/sAvtFg3033.3285641025641313.56666666666660.4330446369087275
BASE/tttcc4/8Bs2lg3101.03333333333331343.33333333333330.433188937020993
BASE/ttcc4/Le0qjQ3195.61538461538431384.76666666666670.43333333333333335
DRESDEN/vacuumcleaner_random_big/DwzFaQ3324.16129032258053434.96666666666671.0333333333333334
STANFORD/checkersonabarrelnokings/Zrevdw4055.5454545454551487.03333333333330.36666666666666664
BASE/checkersBarrelNoKings/rnKNeg4463.090909090911636.46666666666670.36666666666666664
BASE/checkersTorusNoKings/pwb6oQ5143.7777777777781543.13333333333340.3
BASE/gt_attrition/kD_SCAInfinity6012.2666666666660.0
BASE/ad_game_2x2/D0aWqgInfinity1833.96666666666670.0
DRESDEN/crisscross/GsY16gInfinity2396.2333333333330.0
DRESDEN/battlesnakes1509/-qZrLwInfinity2236.66666666666650.0
BASE/queens31lg/0gID-AInfinity18.5536790913027550.0
DRESDEN/ticblock/Z2yNWQInfinity4150.70.0
BASE/ticblock/T21C1gInfinity4174.5666666666670.0
BASE/crisscross/ICagEgInfinity2292.3666666666670.0
BASE/englishDraughts/jFkQxgInfinity1928.06666666666660.0
BASE/colonelBlotto/jip21AInfinity4516.7333333333340.0
DRESDEN/blobwars/ZaMluQInfinity566.62889140723950.0
DRESDEN/battlesnakes2011/93VtTwInfinity2320.93333333333340.0
BASE/queens08lg/Ru7eqQInfinity723.20.0
BASE/blobwars/0XT15QInfinity578.88070397653420.0
DRESDEN/ggp-course2013_nicolai/uEin8gInfinity353.109792680487940.0
BASE/slaughter/cOch8AInfinity154.997167327623540.0

Games with errors:

GameALLOY_TUPLE_PROVER:2 error messageFLUXPLAYER_PROLOG:1.1 error message
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds
DRESDEN/skirmish/RjGQYQTest process failed to output results for unknown reason
BASE/hex/T1MK8gTest process failed to output results for unknown reason
BASE/nim1/hin2QwTest process failed to output results for unknown reason
BASE/copolymer_4/2LDVhQTest process failed to output results for unknown reason
BASE/majorities/ibJzSQTest process failed to output results for unknown reason
DRESDEN/nim2/z5_exATest process failed to output results for unknown reason
DRESDEN/minichess-evilconjuncts/th24TwTest process failed to output results for unknown reason
DRESDEN/skirmish3/3LU8NwTest process failed to output results for unknown reason
BASE/minichess-evilconjuncts/4OpQzwTest process failed to output results for unknown reason
BASE/blocks2player/wnTLOQTest process failed to output results for unknown reason
STANFORD/untwistycomplex/HTWEwgTest process failed to output results for unknown reason
STANFORD/hex/MTqWcwTest process failed to output results for unknown reason
BASE/alexChess/LNo83gTest process failed to output results for unknown reason
STANFORD/chinook/osFbPATest process failed to output results for unknown reason
BASE/chinook/XQh0IQTest process failed to output results for unknown reason
DRESDEN/nim1/M9BALATest process failed to output results for unknown reason
STANFORD/alquerquezero/uVgA_ATest process failed to output results for unknown reason
BASE/crissrace/ERWGDATest process failed to output results for unknown reason
DRESDEN/nim3/sG_axATest process failed to output results for unknown reason
DRESDEN/endgame/IJhh3QTest process failed to output results for unknown reason
BASE/ruleDepthExponential/UamhHQTest process failed to output results for unknown reason
DRESDEN/brawl/2kXtfQTest process failed to output results for unknown reason
BASE/nim2/eF2QqwTest process failed to output results for unknown reason
BASE/endgame/jYjfOATest process failed to output results for unknown reason
DRESDEN/nim4/F5YAYgTest process failed to output results for unknown reason
DRESDEN/sheep_and_wolf/enAIzQTest process failed to output results for unknown reason
DRESDEN/crissrace/KWb9bwTest process failed to output results for unknown reason
BASE/amazonsTorus/soxT8gTest process failed to output results for unknown reason
BASE/wallmaze/uxNQ9gTest process failed to output results for unknown reason
DRESDEN/skirmish2/iPpWhQTest process failed to output results for unknown reason
BASE/checkLines/Vop7oQTest process failed to output results for unknown reason
BASE/nim4/twk16wTest process failed to output results for unknown reason
DRESDEN/chinesecheckers2/06E6-QTest process failed to output results for unknown reason
BASE/sheepAndWolf/g4THrgTest process failed to output results for unknown reason
DRESDEN/minichess/c7GMFwTest process failed to output results for unknown reason
BASE/brawl/6Ymo_QTest process failed to output results for unknown reason
DRESDEN/racetrackcorridor/O0DoTATest process failed to output results for unknown reason
DRESDEN/blocks2player/3ev8nQTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_random/_6AGDATest process failed to output results for unknown reason
BASE/minichess/8NQEiATest process failed to output results for unknown reason
BASE/nim3/1OwUqwTest process failed to output results for unknown reason
BASE/racetrackcorridor/_RkdUgTest process failed to output results for unknown reason

index