index

FLUXPLAYER_PROLOG:1.1 vs. REKKURA_BACKWARD_PROVER_OSTD:1.0.0

Game-by-game performance:

GamePerf ratioFLUXPLAYER_PROLOG:1.1 states per secondREKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per second
BASE/colonelBlotto/jip21A0.00.05.098640362569982
DRESDEN/crisscross/GsY16g0.00.0811.0333333333333
DRESDEN/ggp-course2013_nicolai/uEin8g0.00.076.69488700753283
BASE/queens31lg/0gID-A0.00.037.386291693045884
DRESDEN/blobwars/ZaMluQ0.00.018.442691168148073
BASE/crisscross/ICagEg0.00.0853.0666666666667
DRESDEN/battlesnakes1509/-qZrLw0.00.0722.3333333333334
BASE/gt_attrition/kD_SCA0.00.01.1793998165378063
BASE/ticblock/T21C1g0.00.01473.9666666666667
BASE/englishDraughts/jFkQxg0.00.0256.6828878074795
BASE/queens08lg/Ru7eqQ0.00.0569.4666666666667
DRESDEN/battlesnakes2011/93VtTw0.00.0724.0333333333333
BASE/blobwars/0XT15Q0.00.018.173345759552657
DRESDEN/ticblock/Z2yNWQ0.00.01469.4333333333334
BASE/ad_game_2x2/D0aWqg0.00.00.6245685546168765
BASE/copolymer_4_pie/IN5_jA0.00125636447794749721.26666666666666661008.2
BASE/blockerSerial/3eqDuw0.00253094338314322372.433333333333333961.4333333333333
BASE/checkersTorusNoKings/pwb6oQ0.00359436900958466430.383.4638845371821
BASE/checkersBarrelNoKings/rnKNeg0.0041308173738890970.3666666666666666488.76370787640413
STANFORD/checkersonabarrelnokings/Zrevdw0.0042564539007092190.3666666666666666486.14369501466275
BASE/ttcc4/Le0qjQ0.0045919256120527310.4333333333333333594.36854381872709
BASE/tttcc4/8Bs2lg0.0047172781486630890.43318893702099391.83027232425586
DRESDEN/tttcc4/sAvtFg0.00475683365799081750.433044636908727591.03632122625791
DRESDEN/golden_rectangle/1uloXw0.008195750493246323.6439.25202493250225
STANFORD/ttcc4/Cx9SGw0.0121934964767841591.1329556814395292.91475038325669
BASE/ttcc4_2player/_aH_Mw0.0124725685785536161.166666666666666793.53860508514113
BASE/ttcc4_2player_alt/ZEJvYA0.0124812232415902141.133333333333333390.80306564478506
DRESDEN/catch_me/ghGWrA0.01567191177433731739.453515494835052517.4666666666667
DRESDEN/CatchMeIfYouCanTest/CX18rA0.0162266925081868640.466666666666672493.8333333333335
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.01660156249999999741.933333333333332525.866666666667
BASE/checkersTorus/2vm1EQ0.0167072217228957061.065601065601065763.78086574027792
DRESDEN/Thief_Police/CX18rA0.0168637254239578441.62466.8333333333335
DRESDEN/quad_5x5_8_2/JRTLJg0.0237037037037037035.333333333333333225.0
DRESDEN/quad_5x5/JAEP5g0.0252749960511767485.333333333333333211.0122321101223
BASE/quad_5x5/JAEP5g0.025791937935734135.466666666666667211.95253649756683
DRESDEN/quad/JPe6fg0.0294019355629057925.333333333333333181.39395353488217
BASE/quad/tw-Ufg0.0295371263953907145.466666666666667185.07780999033622
DRESDEN/breakthroughsuicide/Y9QzqQ0.0333253416446895254.633333333333334139.03333333333333
DRESDEN/breakthroughsuicide_v2/LU1nAw0.0342231510026623364.463690872751499130.42898570047666
DRESDEN/breakthrough/z4hK7Q0.034703736062572814.633333333333334133.51108148641893
BASE/breakthroughHoles/nZk0Sg0.0350049468577415474.53182272575808129.46235125495818
BASE/breakthroughSuicide/wZDpIg0.035062750972991344.631789403532156132.1
BASE/breakthrough/TGxk-g0.037052527796081454.765078307230923128.6033258906255
BASE/breakthroughWalls/vOZaYA0.0371006562238048944.596935376415723123.90442230146299
BASE/ttcc4_2player_small/Cv72TA0.04046597179644398.8217.46666666666667
DRESDEN/knightthrough/J7Fc_Q0.043049689584343055.361305361305361124.53760789149199
BASE/golden_rectangle/_nYzfw0.0542269611576542323.733333333333334437.6666666666667
BASE/breakthroughSuicideSmall/XSbJog0.0605810649802951222.033333333333335363.7
DRESDEN/towerworld/HCX34w0.062302251342142362.03197868087941432.61485158410234
BASE/skirmishHoles/AUCxCA0.063116327985739751.966666666666666631.159396140900455
BASE/breakthroughSmall/HJ0tIA0.0661800768107662123.166666666666668350.0549981667278
BASE/strangeSkirmish/gc1zKA0.073089098505626321.899366877707430825.987006496751626
BASE/knightThrough/gcwFjA0.0795865323803635.19826724425191665.31591575579846
DRESDEN/quad_7x7/q-JOXg0.0841554208479785455.06666666666667654.3448551714943
BASE/quad_7x7/q-JOXg0.0845573244830227455.2652.8115729475684
DRESDEN/stratego/Z2wovg0.1027079936169512769.36666666666666675.3774874170861
DRESDEN/capture_the_king/EQ229Q0.111058652246256235.09151414309484245.845272206303726
DRESDEN/smallest/9kaGFw0.1166931705110809468.8589.580347321756
BASE/skirmishFinal3/-Olhfw0.134288190076869324.26666666666666731.772463864650636
STANFORD/duidoku/3SoMaA0.1476228681598171523.892035988004161.84508732169044
BASE/skirmishFinal2/gdB62Q0.14835415730337084.429.65875766462277
DRESDEN/skirmishfinal/hzq8ww0.155644355644355644.42890442890442928.45528455284553
BASE/skirmish/Y_psYQ0.156527231872403583.698767077640786423.63018264231436
BASE/simultaneousWin2/PfjRjw0.16118787243795427164.11018.0666666666667
BASE/skirmishFinal1/ecWTnQ0.167133149709590454.398533822059313526.317542807648746
DRESDEN/smallest_4player/ADDROA0.20105265886055448144.8720.2093263557881
BASE/smallest_4player/ADDROA0.20112042224177046144.8719.9666666666667
BASE/sudokuGrade6H/ieE_9A0.2089783222242238338.666666666666664185.0271657611413
BASE/sudokuGrade6E/ihYFZA0.2104272539055147837.266666666666666177.1
BASE/cittaceot/fDxhXg0.2390611392988929769.1289.04739684021064
STANFORD/sudoku/oJ1qyQ0.244946347727408545.56666666666667186.02713242891903
BASE/sudokuGrade4/DTy07w0.253965539224366947.8188.21451188214513
BASE/sudokuGrade3/eI8dvg0.2653473495533615350.166666666666664189.06036465451152
BASE/sudokuGrade2/u80Tfw0.291285517241379354.9188.47487001733103
BASE/sudokuGrade5/BQfUQA0.2986622461814914555.4185.4938168727709
BASE/sudokuGrade1/tDRNRw0.299466712770862157.733333333333334192.78714752349845
DRESDEN/ggp-course2013_michal13/jWKddg0.3720141444757163171.83333333333334461.9
DRESDEN/chomp/-LcqYQ0.4035379361436857744.43333333333331844.7666666666667
BASE/chomp/-LcqYQ0.4097147758953464764.21865.2
DRESDEN/vacuumcleaner_random_big/DwzFaQ0.41500044444444451.03333333333333342.489957172736629
DRESDEN/logistics/fPru1Q0.42820493473175886378.3333333333333883.5333333333333
BASE/checkers/rOC3Xg0.449605686167304527.460.94228975076636
BASE/colonelBlottoVariant/X-n-KQ0.4606753645433614420.043.414520374504384
BASE/colonelBlottoVariant2/jruwGw0.507669789227166321.66666666666666842.67866066966517
DRESDEN/blockerparallel/dVQgSg0.5304330862270776362.53333333333336683.4666666666667
BASE/blockerParallel/7-nDJA0.556244261568868362.73333333333335652.111596280124
BASE/checkersSmall/SYmq8w0.572875418371141851.33333333333333689.60645139791396
STANFORD/skirmish/w4V6Vw0.62016016533195565.0632911392405078.164489469474807
DRESDEN/bidding-tictactoe_10coins/mu5VhQ0.6547926746806911406.7621.1126295790141
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.65639234681887403.26557814061977614.3666666666667
BASE/tictactoe_3d_small_6player/g_9lww0.685481148002251406.03333333333336592.3333333333334
STANFORD/multiplesukoshi/vLSQPg0.6868163380363977261.23333333333335380.3539882003933
BASE/blokbox_simple/JBx4bg0.68700747663551414.97.132382349020131
STANFORD/selectivesukoshi/3xmXYg0.7020773488410459283.7404.08653044898506
BASE/biddingTicTacToe_10coins/a-9ccQ0.7057434183996775408.3666666666667578.6333333333333
BASE/checkers-mustjump-torus/uSApKQ0.71428131313131326.2666666666666678.773387391578877
BASE/racer/QQYQNw0.796077296360485315.319.21923922456865
BASE/qyshinsu/R08Lzw0.8150664501821638171.5210.4122921041229
DRESDEN/racer/vk_ZBA0.823360978593272214.93333333333333418.137042830044262
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw0.8743230769230779.06666666666666610.369927211087845
BASE/conn4/va9Y7A0.89017133476967271156.86666666666661299.6
BASE/checkers-cylinder-mustjump/rjr6qQ0.91667968574635249.0666666666666669.89076861595844
BASE/checkersTiny/Lr48cg0.9668438370032904127.33333333333333131.7
BASE/futoshiki6/JmvXNA0.9713643832860562536.4666666666667552.2815906136462
BASE/tictactoe_3d_6player/d7KSwg0.9881937062386908139.53333333333333141.2003865764655
BASE/hidato19/rRHSmA1.0389737783521569616.3333333333334593.213559548015
BASE/blocksWorldParallel/RseaAQ1.0555650247145051857.91760.1
STANFORD/madness/UO_B3A1.05828275582083998.0639786737754087.61987156024357
DRESDEN/tictactoe_3d_6player/ulZPWg1.08708286701209139.86666666666667128.66237792073596
DRESDEN/backgammon/mqCW0Q1.1239008960380006347.0308.74608359442703
BASE/hidato37/pBrqxw1.180599402565454574.6333333333333463.21647560650493
BASE/ticTacToeSerial/Amrwqw1.24011358541324171382.93333333333341115.1666666666667
DRESDEN/lightsout2/LFtfyQ1.2520433356256273702.02956.766666666667
BASE/checkers-newgoals/0XkFiA1.258605626598465332.826.060585863298563
BASE/checkers-mustjump/T-8UuQ1.266137891737891814.811.689090182496336
BASE/futoshiki5/TJ4BZg1.2667027432044291014.3333333333334800.7666666666667
BASE/hallway/ckCJOw1.303914082304527352.03333333333336269.98200119992
DRESDEN/hallway/0H4l-Q1.3167953972153972357.26666666666665271.31524565028997
DRESDEN/lightsout/XgLpzQ1.32502990841695173685.43818727090962781.4
DRESDEN/slidingpieces/s9_44g1.32890365448504971080.0812.7
BASE/slidingpieces/uFJWEw1.37591819699499181098.9798.6666666666666
DRESDEN/grid_game2/kypTYQ1.43664856909890042407.96666666666671676.1
DRESDEN/gt_ultimatum/pAiiQw1.5413213859020312516.0334.7776814879008
BASE/doubletictactoe/HH1htg1.61901893863347373225.7333333333331992.4
DRESDEN/bunk_t/7-tPfA1.6244709308231473198.3666666666671968.8666666666666
BASE/gt_ultimatum/GE-uOA1.6321090248828622503.8320559813396308.7
BASE/lightsOut/5P1ZBw1.64274251726219413719.33333333333352264.1
DRESDEN/doubletictactoe/lJzgmQ1.65203905997034723231.33333333333351955.9666666666667
BASE/bunk_t/xbpfIA1.65816724774938853186.51921.7
DRESDEN/bidding-tictactoe/yW5vTA1.65854898571355962174.81311.2666666666667
BASE/doubletoetictac/fu35bg1.69250668577721063227.66666666666651907.0333333333333
DRESDEN/CephalopodMicro/H3XQfg1.737602646552865145.8666666666666783.94707901489653
STANFORD/multipletictactoe/_bkafQ1.7639511256984011424.1666666666667807.3730875637478
DRESDEN/doubletoetictac/V89gKQ1.77485644652055943204.2666666666671805.3666666666666
BASE/biddingTicTacToe/8mESVw1.83360149038868662165.31180.9
DRESDEN/javastrike/whONTQ1.8670604923518166520.7333333333333278.9054427890544
BASE/factoringMediumTurtleBrain/8RBqmQ1.8867485643672312595.61375.7
BASE/cephalopodMicro/9l2D3g1.9062333333333332146.6333333333333376.92307692307692
DRESDEN/connect4/T0-rHQ1.9791973598915671119.5565.6333333333333
BASE/connect4/50bOyw2.0236711466279211114.2333333333333550.6
BASE/coins_atomic/AA3SSw2.11047623659298372905.6333333333331376.7666666666667
BASE/coins/QnGtnQ2.13615896632732932909.7333333333331362.1333333333334
BASE/kalaha5x2x3/WviNsw2.1690433458330145944.7435.5376308246117
BASE/futoshiki4/BaCwSw2.219764750793313101.2333333333331397.1
BASE/snake_2009_big/-oRfVw2.22360248447205859.2386.4
BASE/withConviction/3Xm54A2.2242073422845083406.96666666666671531.7666666666667
DRESDEN/snake_2009_big/DgC1NQ2.2347417840375585856.8383.4
DRESDEN/coins/QwFP9w2.25690331512960542934.21300.1
DRESDEN/ggp-course2013_jordi/9QI6Kw2.275547727188804684.6666666666666300.8799413372442
BASE/brain_teaser_extended/ZDp94A2.53335378009507748260.03260.5
BASE/snake_2009/7l-qAQ2.5347351587861681197.2472.3175894136862
DRESDEN/tictactoeparallel/yk_DSg2.53963524274338553295.61297.6666666666667
BASE/tictactoex9/BI26ow2.54494134603835542118.8333333333335832.5666666666667
DRESDEN/snake_2009/zIYLVw2.57050219756466621189.2462.6333333333333
BASE/double_tictactoe_dengji/zgaSbA2.5733418204964993368.93333333333341309.1666666666667
DRESDEN/brain_teaser_extended/ZDp94A2.58257760273617668306.03216.1666666666665
DRESDEN/double_tictactoe_dengji/bGaUyQ2.58355295141109983365.7666666666671302.7666666666667
DRESDEN/grid_game/U7_Yeg2.63112440437862241498.2569.4143528549048
DRESDEN/tictactoex9/rFkD4w2.6311875051648622122.6666666666665806.7333333333333
DRESDEN/tictactoe_3player/ESLQQQ2.79485579589572942687.5333333333333961.6
BASE/sum15/QZ07Kg2.809519461546488514359.2666666666665110.933333333333
DRESDEN/sum15/CsgWKg2.835512375604347714407.95081.233333333334
BASE/factoringImpossibleTurtleBrain/kcBhdw2.84213090909090936.412.807291839925485
DRESDEN/latenttictactoe/kITHKg2.94485381074541055395.2666666666661832.1
DRESDEN/chickentoetictac/cxYaRQ3.035910087719298411813.3333333333343891.2
BASE/chickentoetictac/l57rfQ3.066780690126993411953.83897.8333333333335
BASE/kalaha6x2x4/XS81Mg3.1141579570184987763.1245.0421624504216
BASE/tictactoe_3player/GtM71g3.14758706856161162687.2853.7333333333333
DRESDEN/gt_prisoner/huCp4w3.2305507815866122082.6666666666665644.6785107163095
BASE/ticTacToeParallel/ymRGPw3.23557292000256253367.81040.8666666666666
BASE/god/qF06gw3.2485989349453077125.3666666666666638.59099543439864
STANFORD/dualrainbow/G3OnRQ3.37215453086239612325.03654.9333333333334
DRESDEN/god/2EDD5w3.437166424682396126.2333333333333336.72598813570619
BASE/eotcitcit/V_9_bg3.487958619911448827.7907364211932530.9333333333334
DRESDEN/sat_test_20v_91c/dK7nVw3.5029515060311241668.1666666666667476.2174594180194
BASE/snakeAssemblit/UO4sdg3.59613822420442551854.4666666666667515.6828105729809
BASE/blocksWorldSerial/Wyg96Q3.658871309664606410931.02987.5333333333333
DRESDEN/chickentictactoe/Ipbo-g3.70144651018325411122.63004.9333333333334
DRESDEN/blocker/S815zQ3.71756799944719414346.4666666666673859.1
BASE/battlebrushes/arCwyA3.745722222222222483.8666666666667129.17847025495752
DRESDEN/tictictoe/LAUtwg3.76395384658470368959.9666666666672380.4666666666667
DRESDEN/buttons/ADUaHw3.778024636500530830608.88101.8
DRESDEN/tictactoe_orthogonal/y69QFQ3.793685124289171417189.5666666666664531.1
BASE/tictactoe_orthogonal/WRzlVw3.828901640071577617260.4333333333344507.933333333333
BASE/switches/tPUoCg3.847451213579112623724.6666666666686166.333333333333
BASE/coloredtrails/EZvr7g3.87344127649562566036.51558.4333333333334
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA3.90554975503975581620.9333333333334415.03333333333336
BASE/toetictac/mTThmg3.929988017864274818039.34590.166666666667
BASE/buttons/hTcUjw3.9405564063297630878.27836.0
BASE/incredible/8Qh-6Q3.9445900565156859631.92441.8
BASE/haystack/UkweGA3.952988343640830452881.2333333333313377.533333333333
DRESDEN/mimikry/GJEhwA3.96851577817873663225.766666666667812.8395720142662
DRESDEN/sat_test_20v_91c_version2/a1mPBA3.974150544626891629.6666666666667410.06666666666666
STANFORD/tictictoe/rpt_Dw3.9798835521096838863.3333333333342227.0333333333333
DRESDEN/toetictac/mJtxCA3.98632579385544918035.4666666666674524.333333333333
BASE/lightsOnSimul4/9FeASw3.9909250769327394236.51061.5333333333333
BASE/pearls/6k_mEQ4.00820718792035435260.866666666678797.166666666666
STANFORD/triplesukoshi/Iu9mbA4.0155554984187385205.91296.4333333333334
BASE/factoringGeorgeForman/HGRorQ4.02523500928146320310.9333333333345045.9
BASE/mineClearingSmall/frsbvw4.03593200957979551029.7666666666667255.14965668955404
DRESDEN/gt_chicken/CeuKtw4.0821974046585451943.3333333333333476.0507983067231
DRESDEN/catcha_mouse/cHv4dw4.0953279848985374917.5333333333341200.7666666666667
BASE/ticTicToe/c1OobQ4.1176120373024668915.7280906364542165.266666666667
BASE/duplicateStateMedium/U163eQ4.1764320942333178722.22088.4333333333334
BASE/chickentictactoe/DSlZCA4.20485446671366811133.3333333333342647.733333333333
BASE/gt_prisoner/klthDw4.2115547450009782155.3333333333335511.76666666666665
BASE/nineBoardTicTacToePie/B8LzeQ4.2665911368687093263.8764.9666666666667
BASE/duplicateStateSmall/bCPAXw4.27044411600267925715.3333333333326021.7
BASE/catcha_mouse/cHv4dw4.30355438586343554960.1333333333331152.5666666666666
DRESDEN/eotcatcit/mQUxzA4.39984289080911214936.03394.6666666666665
BASE/blocksWorld/SEdXLQ4.47324618715373430923.76913.033333333334
BASE/snake_2008_tweaked/bX0NJQ4.4941622592555631501.2334.03333333333336
BASE/blocker/dIWtxg4.504709721782613757.2333333333343053.9666666666667
STANFORD/breakthrough/d5j0cQ4.5087530996706024060.733333333333900.6333333333333
BASE/blocks/xIV5hQ4.54302961209038531082.56841.8
DRESDEN/blocks/vg0DRw4.545868328629512531193.96862.033333333334
BASE/snake_2008/i6K26g4.5564100304459841513.1333333333334332.0889303689877
DRESDEN/snake_2008/E56l3A4.5774029889932351510.9330.07799480034663
BASE/gt_chicken/gmepTQ4.58167641325536051958.6666666666667427.5
BASE/untwistycomplex2/EDPPAQ4.61614689594870229564.2666666666666404.533333333334
DRESDEN/blocksworldparallel/2JfVaw4.64291654405649812096.52605.366666666667
BASE/eotcatcit/AfZSzA4.64512140287769815151.7666666666663261.866666666667
BASE/lightsOnSimultaneous/_VN6lw4.7181793625067545822.2333333333341234.0
BASE/breakthroughSmallHoles/bxclRw4.7501135572176975228.7666666666661100.7666666666667
DRESDEN/tictactoe/BTTzPw4.78719242352348816478.6333333333353442.233333333333
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw4.7881178006014872812.7587.4333333333333
STANFORD/sukoshi/4LYZZQ4.80248473362813212163.7333333333342532.8
DRESDEN/chinesecheckers6-simultaneous/gPPGUw4.81220198019802955.8198.62009199386708
STANFORD/untwistycorridor/EDPPAQ4.81642265142940730780.6333333333356390.766666666666
BASE/numbertictactoe/rvJ-iQ4.8289933491150949995.5333333333332069.9
BASE/queens12ug/u6Bkmg4.9225533522958152422.8492.183593880204
BASE/circlesolitaire/azuQFQ4.96620399784956820322.74092.2
DRESDEN/circlesolitaire/ruUilQ4.96644858518621220318.94091.233333333333
BASE/factoringEasyTurtleBrain/lUj94Q4.96895040483110313439.5201599466842704.7
BASE/lightsOnParallel/SC6enA4.9792031387740413367.6666666666662684.7
BASE/onestep/xi53wA5.00700566434409274782.314935.533333333333
DRESDEN/troublemaker01/C-lPWw5.06648183070365757136.06666666666611277.266666666666
DRESDEN/mummymaze2p/k-8edg5.080986647101981230.845.4242484836366
BASE/mummymaze2p/vpjDdA5.099709653647753230.645.21826057980673
DRESDEN/peg/Vo31eg5.1041414277381443791.866666666667742.9
DRESDEN/peg_bugfixed/u_B7MA5.1171414647113553849.9666666666667752.3666666666667
BASE/troublemaker01/s3tlEQ5.12742507874515656540.811027.133333333333
BASE/queens16ug/gT-ylw5.1446412247664351428.323892035988277.6333333333333
STANFORD/trifecta/ss1kyQ5.217690569139100515236.72920.2
DRESDEN/2player_normal_form_2010/NG_Kdg5.21961903881273230106.0666666666665767.866666666667
DRESDEN/tpeg/h-Scbg5.2276620683437033865.3333333333335739.4
BASE/tpeg/QNs7Lw5.2473290843229863814.633333333333726.9666666666667
BASE/survival/YVIjJA5.26272590801863853988.210258.6
DRESDEN/pawn_whopping_simultaneous/r8dLfw5.2861005854024284073.3333333333335770.5743141895271
BASE/hodgepodge/9yjRkw5.30965551923560516893.23181.6
STANFORD/dualhunter/1rPZjQ5.3195002902788838246.4666666666671550.2333333333333
BASE/stateSpaceSmall/Q7osKA5.35247703061567146760.6666666666648736.266666666666
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg5.3536460989291192799.6522.9333333333333
STANFORD/tictactoe/ss1kyQ5.41782166782166815635.8333333333342886.0
BASE/duplicateStateLarge/dcjyuw5.4346719318656414048.3333333333335744.9085030498983
STANFORD/buttonsandlights/eyhJpA5.44893126124386353610.49838.7
BASE/stateSpaceMedium/3bUoIw5.48890510684753130334.85526.566666666667
DRESDEN/statespacesmall/h-NqjA5.49483116974274846970.08548.033333333333
STANFORD/hunter/14dD-g5.53724103281215612353.2155948017332230.9333333333334
BASE/lightsOn/MsXu3A5.5547029466925229124.2333333333345243.166666666667
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg5.5756536936210262764.9666666666667495.9
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ5.6406752411575562806.8497.6
BASE/ticTacToe/JRFsaQ5.6861765213886816460.5333333333332894.8333333333335
STANFORD/tictactoe7/-bE9-A5.71257541037272616286.9333333333322851.0666666666666
BASE/stateSpaceLarge/0Ge_CQ5.72872546808030721162.8666666666653694.1666666666665
DRESDEN/uf20-020.cnf.SAT/hDrW_A5.7423728813559332823.3333333333335491.6666666666667
DRESDEN/statespacemedium/dVJZ_w5.74347586759076230606.65328.933333333333
DRESDEN/cube_2x2x2/fp-34Q5.7476352629587597089.1333333333331233.4
BASE/queens08ug/kJ_ZFQ5.7561668469707595291.836054648451919.3333333333334
DRESDEN/statespacelarge/8-y5HQ5.80913724399962920895.4666666666673597.0
STANFORD/duikoshi/tpw1sw5.8353227771010977984.6666666666671368.3333333333333
DRESDEN/tictactoe-init1/3ltIBQ5.86220163403389717674.7333333333343015.0333333333333
BASE/troublemaker02/DI83KA5.91029188514088254894.29287.9
DRESDEN/troublemaker02/iZLVuA5.91231796874721155201.9333333333349336.766666666666
DRESDEN/checkers-mustjump-torus/cVc3gA5.9558787878787876.41.0745685444480626
BASE/tron_10x10/7ZTgDg6.01692687798980157630.6666666666671268.2
BASE/gt_staghunt/xPjLRA6.0245529815797693216.0533.8155394820172
DRESDEN/uf20-010.cnf.SAT/5ICbCg6.0265776107980242887.3333333333335479.1
BASE/gt_coordination/IVMOzA6.0588600301391724556.666666666667752.0666666666667
DRESDEN/firefighter/WJmoPw6.11509768237860516912.9333333333342765.766666666667
BASE/tictactoe-init1/7M19vA6.14950252702672118088.9666666666672941.5333333333333
STANFORD/jointbuttonsandlights/qAKuIQ6.19913309338596626696.5666666666664306.5
DRESDEN/lightson2x2/gBHuig6.20991432068543516911.6666666666682723.3333333333335
BASE/firefighter/WJmoPw6.29727547931382416641.62642.6666666666665
BASE/aipsrovers01/4C4jsw6.3595198816777452.9333333333331171.9333333333334
DRESDEN/Runners/3bOCQw6.3948122790904797659.0666666666671197.7
DRESDEN/amazons/dNB28A6.47101538461538578.412.115563839701771
DRESDEN/aipsrovers01/qS47Mw6.4805705998993767299.0666666666671126.3
DRESDEN/point_grab/r5DPmQ6.5440257967056930035.3333333333324589.733333333334
DRESDEN/pawn_whopping/4ogBkg6.5717506550484447189.9333333333331094.0666666666666
BASE/cubicup_3player/e2yA_g6.5836009131666532659.4666666666667403.953201559948
STANFORD/tictactoe5/WFRReg6.60867389491242617168.2333333333342597.8333333333335
DRESDEN/cubicup_3player/awDtsQ6.6823796505623932660.1666666666665398.0867304423186
DRESDEN/pawn_whopping_corrected/7Ov0jQ6.9747854413330837422.5666666666671064.2
BASE/ticTacHeavenFC/mrletw7.0811362575828274046.633333333333571.4666666666667
DRESDEN/8puzzle/8fKC2w7.14002243119661916552.02318.2
DRESDEN/Goldrush/VeWczQ7.2362370185902563922.633333333333542.0819306023133
BASE/maze/cCX3qQ7.258372015915119543782.56032.0
DRESDEN/fizzbuzz/t1xHzQ7.2960760998810946136.0841.0
BASE/nineBoardTicTacToe/wRmqqA7.323612622415674486.933333333333612.6666666666666
STANFORD/nineboardtictactoe/y28P-A7.3443736957568624575.3622.9666666666667
STANFORD/tictactoe3/X7myng7.35348683576707717809.92421.9666666666667
DRESDEN/roshambo2/jgSlkQ7.38438217903814939215.55310.6
BASE/queens06ug/7Lq3tw7.40670264129508658693.01173.6666666666667
BASE/roshambo2/KNPokQ7.461265864512939539231.8333333333365258.066666666667
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg7.4615994363220012823.9666666666667378.46666666666664
BASE/tictactoe_3d_small_2player/oOryKA7.5362112917380586011.133333333333797.6333333333333
BASE/ticTacHeaven/18n58A7.55338192732344697.7621.9333333333333
BASE/racer4/0vs7Ww7.570385120.815.956916325920016
DRESDEN/tictactoe_3d_small_2player/HYttcg7.5790803436078835999.6791.6
DRESDEN/uf20-01.cnf.SAT/42Rs8A7.6461769327375212908.6666666666665380.40797280181323
BASE/factoringMutuallyAssuredDestruction/NH0LGg7.66407272226430614838.6666666666661936.1333333333334
DRESDEN/checkers-cylinder-mustjump/vW_-pA7.7384777777777779.21.188864304349262
DRESDEN/chinesecheckers3/QsCb2A7.7655083795440542940.7378.68737708743043
DRESDEN/chinesecheckers6/yTbPDA7.7668029497380181333.9171.74376749766697
STANFORD/bestbuttonsandlights/nm0wEA7.77051842429327338281.24926.466666666666
STANFORD/multiplebuttonsandlights/cK70Yg7.83638850169634239728.45069.733333333334
DRESDEN/small_dominion/yB5GJA7.912699875593601171.1096301232922521.624683459949352
STANFORD/multiplebuttonsandlights_9/SqB9BA8.00051596592045141349.0666666666665168.3
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg8.0125428571428569.1333333333333331.1398794984530207
BASE/ticTacToeNoVars/XT03NA8.20022642472175217142.32090.4666666666667
DRESDEN/chinesecheckers1/Y-ftaA8.260043565658685123.258913695435620.2459918002734
STANFORD/rainbow/_4qNSQ8.2794272848800447070.25685.2
BASE/snakeParallel/RCVNtw8.3205934788053818824.2333333333342262.366666666667
DRESDEN/chinesecheckers4/-oVNYg8.4252510980834151922.8590469843386228.2257258091397
BASE/beatMania/qUHwvQ8.54351155789510816176.01893.3666666666666
STANFORD/threepuzzle/41ibjA8.59677510929427230283.03522.6
STANFORD/3puzzle/41ibjA8.78893636071668530102.43425.0333333333333
BASE/escortLatch/mX9BjQ8.8576709796672833993.3333333333335450.8333333333333
BASE/point_grab/V_osUg8.85941381023348229723.3333333333323355.0
STANFORD/bestbuttonsandlightsbig/g0JC6g8.90227090191786633621.83776.766666666667
DRESDEN/SC_TestOnly_enabled/09o7gQ8.93398116451862218877.82113.0333333333333
STANFORD/eightpuzzle/W_aWbA9.03856204270568916141.6666666666661785.8666666666666
BASE/cylinder-checkers/hlldmw9.147625.22.7548209366391183
DRESDEN/babel/WdSW4A9.1967723056119755.466666666666782.14476139696082
STANFORD/8puzzle/jNiGtw9.22013233216861216536.01793.4666666666667
BASE/3pConnectFour/PqXOFQ9.2964473684210527065.3760.0
BASE/guess/SPpk1A9.3074472558010282232.633333333333239.8760123987601
BASE/tictactoe2/bhrDoQ9.31348191861971127565.7333333333342959.766666666667
BASE/cubicup/4wNWJA9.4090461010514024295.4456.5181160627979
BASE/gt_dollar/TGjqRw9.41492869004591225701.52729.866666666667
BASE/pawnWhopping/Ypc_6Q9.4600222812580347359.266666666666777.9333333333333
DRESDEN/guess/PhxGhg9.4754251304470452239.6236.35878804039865
BASE/eightPuzzle/vLrgFg9.5244929561506216812.01765.1333333333334
BASE/dotsAndBoxes/EHwA_w9.55111033438937537.166666666667789.1403619879337
DRESDEN/cubicup/SBn_lw9.608600102556594372.233333333334455.03333333333336
DRESDEN/tictactoelargesuicide/6J4DeA9.6823895626732918973.9333333333341959.6333333333334
BASE/dotsAndBoxesSuicide/jzQbLw9.8245925797503467555.766666666666769.0666666666667
DRESDEN/tictactoelarge/IwXcbg10.0139039490713219085.8333333333321905.9333333333334
BASE/pegEuro/5awwhg10.1950879492675953170.5666666666666310.9896336788774
DRESDEN/cylinder-checkers/clOO3Q10.2760216216216225.2666666666666662.4587985114300905
DRESDEN/oisters_farm/pTQMLg10.56140064386693630181.6666666666682857.733333333333
BASE/asteroidsSerial/id2QkA10.6172651562639927904.2744.4666666666667
DRESDEN/4pttc/9pB9AQ10.7129815185927413207.4666666666667299.4
BASE/snake2p/I3wWPQ10.81633806167662812124.0333333333331120.9
BASE/ticTacToeLarge/TZC0dg11.41526687208031119141.51676.8333333333333
BASE/pacman2p/4LEdQg11.52935504740658688.933333333333359.75471572352196
BASE/ticTacToeLargeSuicide/727_8g11.58776924479747119062.2666666666661645.0333333333333
BASE/peg/fJHVWw11.8923081617647053773.7317.3227559081364
BASE/reversi/d8UMeA11.933594560290116438.736.76176509798694
BASE/reversiSuicide/9OxJlg11.956170431086823437.5666666666666636.597560162655824
DRESDEN/checkers-newgoals/IJOqXQ12.47633766233766331.82.5488248924197285
DRESDEN/checkers-mustjump/HUr33w12.66171428571428614.41.1372867587327375
BASE/hexPie/48CH6Q12.943294080356381678.6333333333334129.69135390973935
DRESDEN/frogs_and_toads/GjchhQ12.9614155041075442892.266666666667223.14435223144352
DRESDEN/knightmove/97Ipcw13.2100534641215974982.5377.17485500966603
BASE/knightmove/jBaJEw13.3488624436936925004.766666666666374.9208359721343
DRESDEN/hanoi/RQ0jiA13.51868057220490522554.5666666666661668.4
BASE/connectFourSimultaneous/7ITr3g13.8665890975082026622.0477.5507483083897
BASE/hanoi/iGLsJg13.95801487402402222584.5333333333331618.0333333333333
BASE/rubiksCube/9tNO9Q14.3290312548592743071.6666666666665214.36666666666667
DRESDEN/checkers/jIDMIg14.34395686274509732.2666666666666662.249495517549373
BASE/gt_centipede/9fRMpw14.90026754614750429516.9333333333341980.9666666666667
BASE/pawnToQueen/-O1_JA17.04412617449664784.466666666666674.955763985897692
BASE/othelloHoles/c0qAzw17.841237903225807368.166666666666720.635713097021135
DRESDEN/knightstour/cGISAA17.91626593389817439120.1666666666642183.5
DRESDEN/pawntoqueen/f_x6Aw17.99070206896551586.64.813597583242041
DRESDEN/ghostmaze2p/HY0UwA18.0679984166459422421.633333333333134.02886570447652
DRESDEN/tictactoe_3d_2player/LMuX9w18.323714108104012685.4666666666667146.55689620691953
BASE/ghostMaze2p/W-NU-w18.3853123816832962395.366666666667130.28697130286972
BASE/asteroidsParallel/WauZiA18.39796428409142213496.133333333333733.5666666666667
DRESDEN/3pttc/uwYBZw18.5402275903373915478.0834.8333333333334
BASE/tictactoe_3d_2player/IUC1rQ18.7497879329520172622.0333333333333139.8433594400933
DRESDEN/3pffa/0YrmQw19.00955794504181615911.0837.0
DRESDEN/pentago_2008/hLjVpQ19.3665614065033727563.933333333333390.56666666666666
DRESDEN/knightwar/7hhAqg19.3836663062743710935.9564.1811939602013
BASE/dualConnect4/WbCQkg19.4573420734808026801.833333333333349.57669488700753
BASE/asteroids/BKCmPQ20.3852371552046125472.0333333333331249.5333333333333
DRESDEN/connectfoursuicide/M9CNQg20.68801827300263313887.866666666667671.3
DRESDEN/mummymaze2p-comp2007/oTQRQg21.585512217490992196.1101.73953612370035
STANFORD/knightstourmedium/x1wu8Q21.85250645616220339770.8333333333361819.9666666666667
BASE/connectFour/WAIKTw22.07204098139660413644.2618.1666666666666
DRESDEN/connectfour/5tc-Mg22.26920236336779614071.166666666666631.8666666666667
BASE/mummyMaze2p_2007/YGA3Vw22.2974046582794932185.23333333333398.00393215368723
BASE/knightazons/apnJBQ23.0575736806031521121.366666666666648.63333333333333
BASE/connectFourSuicide/c8p9Kw23.2583856927791214192.569143618794610.2129929002367
DRESDEN/knightazons/02I8BQ23.3348474482758631127.448.31400773024124
DRESDEN/bomberman2p/x4h6jQ23.5150970893970883015.6128.24101846297407
BASE/othello-comp2007/86ZoMw23.81135099667774477.7666666666666520.064660200646603
BASE/connectFourLarger/qKi60A23.8730308787708482829.266666666667118.51309040037306
DRESDEN/pacman3p/rBnk8Q23.9077889974293041549.866666666666664.8268506482685
BASE/bomberman2p/4CClwA24.113610274696253042.8333333333335126.18738126187381
BASE/othelloSuicide/B442jg24.286612280701757476.366666666666719.614372772986112
STANFORD/connectfour/VMpZkQ24.6961282081354214037.166666666666568.3954403039797
BASE/pacman3p/wW7UVQ24.7055281834215171556.033333333333362.98320447880565
BASE/connectFour_9x6/B9TtMw24.84753744522205612663.133333333333509.6333333333333
BASE/knightsTour/mvtVIg25.42652221018418539114.466666666671538.3333333333333
STANFORD/knightstour/cEwgNA25.59626481081795638740.81513.5333333333333
BASE/connectFourLarge/aU644A25.9290042421717688298.733333333334320.0559981333956
BASE/4pffa/Q3ADlg25.93933830708993712097.3008997001466.36890873941735
STANFORD/pentago/ZxzLmg26.1932861883574336278.566666666667239.70137315024664
BASE/kalaha_2009/dRiN3g26.97505650969529648.424.037021007424176
DRESDEN/kalaha_2009/gcC8uA27.772072230014025659.523.746877601998335
BASE/3pffa/pR0dzA29.7979780804656215277.90736421193512.7162427919069
DRESDEN/crossers3/xiPTxg30.410630358397751442.333333333333347.428590474285905
BASE/crossers3/O0rORg30.427916561403511444.747.47942558224769
BASE/shmup/ssTNlg31.1268668366550419938.833333333332640.5666666666667
BASE/zhadu/DlA8iQ31.4258694303440471237.766666666666739.386871042985675
BASE/4pttc/AL1k2Q32.657556591231233094.435188270576494.75403279562725
BASE/pentago/86NgKw32.883888869318467467.433333333333227.08486100926604
BASE/pentagoSuicide/SBgNhw32.9701209736190047540.266666666666228.7
BASE/2pffa/6oHijA33.22043254934613519291.569476841054580.7139762007934
BASE/2pffa_zerosum/o0_uZA34.6023820259981219285.57147617461557.3480883970534
STANFORD/pilgrimage/ObRZnQ36.6605201596257058880.4242.23333333333332
DRESDEN/pancakes88/aD3E7g36.86173473614448444495.81207.1
BASE/chineseCheckers1/gqtwHw37.38204815245370630011.8802.8399053364888
BASE/nonogram_10x10_1/0Xc62g37.56217766004415944.433333333333325.143199680298387
DRESDEN/pancakes/hl9aiQ38.1986086516569750333.033333333331317.6666666666667
BASE/amazons_8x8/7SOsIw40.099140984697272008.950.09833005566481
DRESDEN/pancakes6/SZXMyQ40.12410628917472650427.633333333331256.791440285324
STANFORD/freeforall/Lfp40Q43.4714121262368520588.13728757081473.6017598826745
DRESDEN/farmers/S_ASnw44.1165040650406559.3333333333333361.3449237329834345
BASE/ruleDepthLinear/OUBJpQ45.50530198248040475670.766666666661662.9
DRESDEN/kitten_escapes_from_fire/uW-YiA46.6666666666666729810.666666666668638.8
BASE/kitten_escapes_from_fire/uW-YiA46.90758054534635629779.066666666666634.8455051498283
BASE/chess_200/XsTpYA55.46739130434782680.412.266666666666667
BASE/knightsTourLarge/M8jgLA61.2072872161543635367.6107964012577.8333333333334
DRESDEN/hanoi_6_disks/MeubgQ63.51120117077563518805.666666666668296.1
BASE/amazonsSuicide_10x10/XIbQkg63.6805459928534961385.466666666666721.75651362697408
BASE/hanoi_6_disks/MeubgQ64.0313168188136218937.066666666666295.7469502033198
BASE/pancakes/yUgbXw64.2976554982066248999.1762.0666666666667
BASE/knightwar/DVGY4Q64.7421606667989710873.8167.95546963535764
BASE/pancakes6/QZTdnw65.0818392382259750577.26666666667777.1333333333333
BASE/amazons_10x10/Bun8dA65.894649582027171399.633333333333421.24047008689283
DRESDEN/satlike_20v_91c/yeuENQ71.215698387096782938.041.254948930365636
DRESDEN/satlike_20v_91c_version2/yd9ioQ71.490222580645172934.041.040577215860196
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g71.978442622950822905.333333333333540.36393713813069
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA73.802301129943522859.333333333333538.74314607479397
BASE/gt_tinfoil/Q8DyKg75.108036889142438777.333333333334116.86277124095864
STANFORD/knightstourbig/TQUI2g78.8163628944477835077.36666666667445.05183160561313
DRESDEN/quartosuicide/WIU1oQ81.346746205571561880.066666666666623.111762355135205
BASE/chineseCheckers4/avfBcQ82.872782957873424522.366666666665295.9037429590374
BASE/quarto/EwBMVQ84.371565424739191886.733333333333322.362194227821103
DRESDEN/quarto/OQzRYQ84.762149305555551896.333333333333322.37240736425076
BASE/quartoSuicide/-23jUg85.735380547112471880.421.93260224659178
BASE/nonogram_5x5_1/qLKEZw85.766553513231667307.73333333333485.20493168943685
BASE/chineseCheckers2/eCMR3Q85.8020840291229742818.1499.03333333333336
BASE/amazonsTorus_10x10/Uxc08g86.107877430555551100.566666666666612.781254160564506
DRESDEN/othello-cornercontrol/r5Gdlg87.0258333333333214.1666666666666660.16278691193228065
BASE/chineseCheckers6/rREH3A88.969338202866621518.0241.85860471317622
BASE/amazonsSuicide/dE1QEQ91.421377777777768.1333333333333330.08896533317517274
BASE/amazons/RKKZjw96.66818.10.0837918610172332
BASE/2pttc/unkkYA97.5708820574020620137.28757080973206.38624091727218
BASE/chineseCheckers3/-1rZdQ97.7140327689334635394.1362.22125929135694
DRESDEN/connect5/1kYzSg103.419041680129232132.620.620960756879207
BASE/3pttc/0sol9g107.4068699855002414814.0137.92413839077395
BASE/hanoi7_bugfix/3gdnFw111.348433743970818978.033333333333170.43826028995167
BASE/knightfight/SJRkAg112.312040329482235831.76666666666651.92467922012998
DRESDEN/knightfight/4_Ly4w113.494458742463415855.53333333333451.59312091721104
DRESDEN/hanoi7_bugfix/3gdnFw118.0842944824843219035.188270576473161.2
BASE/connect5/d-BVQg120.633118119975262160.533333333333317.909951819239076
BASE/speedChess/bPnisA122.495686274509812842.666666666666523.206259364075244
DRESDEN/hanoi7/51zz5Q122.9547128927410618914.533333333333153.83333333333334
DRESDEN/four_way_battle/xSOQXA131.48990476190477858.66666666666666.530285866595588
DRESDEN/battle/8oAvhQ131.7905212121212479.33333333333333.6370850416611558
BASE/battle/8oAvhQ132.22567272727272483.66666666666673.657887736100027
BASE/four_way_battle/xSOQXA134.90795287958113857.06.352479462533675
BASE/choicethroughalt/tt71Lg147.191870824524313921.56666666666894.58108378324336
BASE/skirmishNew/sibw2g154.923730252100823683.13333333333323.77384876635701
BASE/twisty-passages/DiZmmg173.5032605449041511462.466.0644645178494
DRESDEN/twisty-passages/j7NPyg176.0455966942148811356.26666666666664.50753032120485
BASE/skirmishZeroSum/zh4hcw179.077504823151123710.420.71952031978681
STANFORD/platformjumpers/HEQskA213.670938671874985468.725.594028060119307
BASE/wargame02/BkVqqQ258.868518055555571033.16666666666673.991086573319586
DRESDEN/Zhadu/9zpQ5w440.302304959349618039.76666666666640.971320075946835
BASE/wargame01/_GZFZg455.679626558265571860.96666666666674.083936516368949
BASE/max_knights/2fq3Ag463.74901739130443193.86.8869148617626506
DRESDEN/max_knights/hCipiA474.830093851132633254.53333333333336.854100815172185
BASE/wargame03/klXI8w478.777878571428631559.93.258087037468001
BASE/solitaireChineseCheckers/-ET6gw540.87759999999997718.414.270141710435041
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA688.207784672897212253.43333333333217.804845580404685
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A709.325648592010612016.06666666666816.940127134156487
DRESDEN/hitori/S8Gsyg715.5802823529411794.93333333333331.1108932888976017
BASE/hitori/S8Gsyg764.3136041666667805.73333333333331.0541920606160435
DRESDEN/battlebrushes/QHXV4A844.7634909090909309.066666666666660.36586177077097054
DRESDEN/vacuum_cleaner_1/eUNjpw962.110429759299714644.43333333333215.221156408206769
DRESDEN/Travelers-Dilemma/PvZwYw1632.173269922879242284.025.90656321800806
BASE/pancakes88/l2Xaig1750.925335793961544200.266577807425.24394711426383
BASE/gt_two_thirds_2p/1APDGg7192.79884875000119034.2333333333342.6462902318811814
DRESDEN/merrills/aYEzwAInfinity2.00.0
BASE/merrills/pku8TgInfinity1.99933355548150620.0

Games with errors:

GameFLUXPLAYER_PROLOG:1.1 error messageREKKURA_BACKWARD_PROVER_OSTD:1.0.0 error message
BASE/endgame/jYjfOATest process failed to output results for unknown reason
BASE/nim2/eF2QqwTest 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
DRESDEN/crissrace/KWb9bwTest process failed to output results for unknown reason
BASE/crissrace/ERWGDATest process failed to output results for unknown reason
BASE/brawl/6Ymo_QTest process failed to output results for unknown reason
STANFORD/chinook/osFbPATest process failed to output results for unknown reason
STANFORD/untwistycomplex/HTWEwgTest process failed to output results for unknown reason
BASE/chinook/XQh0IQTest process failed to output results for unknown reason
STANFORD/alquerquezero/uVgA_ATest process failed to output results for unknown reason
STANFORD/hex/MTqWcwTest process failed to output results for unknown reason
DRESDEN/nim3/sG_axATest process failed to output results for unknown reason
BASE/alexChess/LNo83gTest process failed to output results for unknown reason
BASE/nim1/hin2QwTest process failed to output results for unknown reason
BASE/majorities/ibJzSQTest process failed to output results for unknown reason
DRESDEN/minichess-evilconjuncts/th24TwTest process failed to output results for unknown reason
DRESDEN/nim1/M9BALATest process failed to output results for unknown reason
DRESDEN/skirmish3/3LU8NwTest process failed to output results for unknown reason
BASE/hex/T1MK8gTest process failed to output results for unknown reason
BASE/minichess-evilconjuncts/4OpQzwTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_random/_6AGDATest 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
DRESDEN/skirmish/RjGQYQTest process failed to output results for unknown reason
BASE/copolymer_4/2LDVhQTest process failed to output results for unknown reason
DRESDEN/nim2/z5_exATest 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
BASE/minichess/8NQEiATest process failed to output results for unknown reason
BASE/racetrackcorridor/_RkdUgTest process failed to output results for unknown reason
DRESDEN/sheep_and_wolf/enAIzQTest process failed to output results for unknown reason
BASE/nim3/1OwUqwTest process failed to output results for unknown reason
BASE/blocks2player/wnTLOQTest process failed to output results for unknown reason
DRESDEN/endgame/IJhh3QTest process failed to output results for unknown reason
DRESDEN/nim4/F5YAYgTest process failed to output results for unknown reason
DRESDEN/brawl/2kXtfQTest process failed to output results for unknown reason
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147484126
BASE/gt_two_thirds_4p/DStnxQTest process timed out after 240 seconds
BASE/mummymaze1p/PT_EXATest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 seconds
BASE/sudoku/NTaNkwTest process timed out after 240 seconds
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 seconds
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147484126
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 seconds
BASE/ruleDepthExponential/UamhHQTest process failed to output results for unknown reasonTest process timed out after 240 seconds

index