index

FLUXPLAYER_PROLOG:1.1 vs. REKKURA_GENERIC_FORWARD_PROVER:1.0.0

Game-by-game performance:

GamePerf ratioFLUXPLAYER_PROLOG:1.1 states per secondREKKURA_GENERIC_FORWARD_PROVER:1.0.0 states per second
DRESDEN/ggp-course2013_nicolai/uEin8g0.00.026.681323073848308
BASE/colonelBlotto/jip21A0.00.00.3597592883307169
BASE/blobwars/0XT15Q0.00.00.13962970203021588
BASE/queens31lg/0gID-A0.00.01.0567333729608348
BASE/gt_attrition/kD_SCA0.00.00.24732578989674148
DRESDEN/crisscross/GsY16g0.00.00.05546773164711429
DRESDEN/blobwars/ZaMluQ0.00.00.13932621840777998
DRESDEN/ticblock/Z2yNWQ0.00.01211.5333333333333
DRESDEN/battlesnakes2011/93VtTw0.00.0252.17478252174783
BASE/ad_game_2x2/D0aWqg0.00.00.02665529374133703
DRESDEN/battlesnakes1509/-qZrLw0.00.0251.53333333333333
BASE/englishDraughts/jFkQxg0.00.088.70672131693826
BASE/queens08lg/Ru7eqQ0.00.042.070550614569804
BASE/ticblock/T21C1g0.00.01004.5666666666667
BASE/crisscross/ICagEg0.00.00.05563591854901524
BASE/blockerSerial/3eqDuw0.00686200457436475862.433333333333333354.60969268715417
BASE/checkersTorusNoKings/pwb6oQ0.0130148843930635840.323.050531294760333
DRESDEN/tttcc4/sAvtFg0.0143878241379132260.433044636908727530.097993467102192
BASE/ttcc4/Le0qjQ0.0146571213829387450.4333333333333333529.564695686954202
BASE/tttcc4/8Bs2lg0.0147895335608646170.43318893702099329.290236587804067
BASE/checkersBarrelNoKings/rnKNeg0.0152506925207756240.3666666666666666424.04262404262404
STANFORD/checkersonabarrelnokings/Zrevdw0.015481481481481480.3666666666666666423.68421052631579
BASE/copolymer_4_pie/IN5_jA0.0258512018140589531.266666666666666648.9983667211093
DRESDEN/catch_me/ghGWrA0.0410034457439566139.45351549483505962.2
DRESDEN/CatchMeIfYouCanTest/CX18rA0.0425144458063386540.46666666666667951.8333333333334
DRESDEN/Thief_Police/CX18rA0.04307904729030031441.6965.6666666666666
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.043234697735161741.93333333333333969.9
STANFORD/ttcc4/Cx9SGw0.050766560400264581.1329556814395222.316967557124777
BASE/checkersTorus/2vm1EQ0.055185274495619331.065601065601065719.309518260811664
DRESDEN/golden_rectangle/1uloXw0.0561076363636363663.664.16238917405506
BASE/ttcc4_2player/_aH_Mw0.056140224358974371.166666666666666720.781296832850433
BASE/ttcc4_2player_alt/ZEJvYA0.0582871004566211.133333333333333319.44398202097553
DRESDEN/towerworld/HCX34w0.118442656352075972.03197868087941417.155801325826975
DRESDEN/breakthroughsuicide_v2/LU1nAw0.126431938456123584.46369087275149935.3050892619238
BASE/skirmishHoles/AUCxCA0.127029749103942661.966666666666666615.481937739304145
DRESDEN/breakthroughsuicide/Y9QzqQ0.12744427131072414.63333333333333436.35575993868506
DRESDEN/breakthrough/z4hK7Q0.130516431924882634.63333333333333435.5
BASE/ttcc4_2player_small/Cv72TA0.13289018621036748.866.22008931547023
BASE/strangeSkirmish/gc1zKA0.141425066747808641.899366877707430813.430199620088645
BASE/breakthroughSuicide/wZDpIg0.145903796321128354.63178940353215631.74550299800133
BASE/breakthroughHoles/nZk0Sg0.146709816612729224.5318227257580830.889703432189272
BASE/breakthroughWalls/vOZaYA0.147224582402197884.59693537641572331.223966143490287
BASE/breakthrough/TGxk-g0.150674889192187084.76507830723092331.624900026659557
DRESDEN/knightthrough/J7Fc_Q0.158777120315581865.36130536130536133.76623376623377
BASE/golden_rectangle/_nYzfw0.225361518987341823.733333333333334105.3122708791575
BASE/breakthroughSuicideSmall/XSbJog0.2408576442015786522.03333333333333591.47865498050454
BASE/breakthroughSmall/HJ0tIA0.254307781436760623.16666666666666891.09696343455218
BASE/skirmishFinal3/-Olhfw0.263787105624142654.26666666666666716.17465969980364
BASE/skirmishFinal2/gdB62Q0.294711607142857164.414.929849701736261
BASE/skirmishFinal1/ecWTnQ0.300883760083009544.398533822059313514.618714618714618
DRESDEN/skirmishfinal/hzq8ww0.30233312142403054.42890442890442914.649087761353043
BASE/cittaceot/fDxhXg0.306561644240721569.1225.40327956272498
BASE/sudokuGrade6E/ihYFZA0.3067624325560127737.266666666666666121.48380215971204
STANFORD/duidoku/3SoMaA0.310762169003916823.89203598800476.88206085246776
BASE/sudokuGrade6H/ieE_9A0.311796112156230438.666666666666664124.01266455590735
DRESDEN/stratego/Z2wovg0.314065801388469669.36666666666666220.86666666666667
BASE/simultaneousWin2/PfjRjw0.3372379778051788164.1486.6
DRESDEN/capture_the_king/EQ229Q0.350987497901051775.09151414309484214.506254990684056
STANFORD/sudoku/oJ1qyQ0.377245226269315745.56666666666667120.78792120787921
BASE/sudokuGrade4/DTy07w0.393170723684210547.8121.57568486302739
BASE/sudokuGrade3/eI8dvg0.410177429609445950.166666666666664122.30479554770554
BASE/sudokuGrade5/BQfUQA0.447284930032292855.4123.8584094393707
BASE/sudokuGrade2/u80Tfw0.4489111201962387454.9122.2959234692177
BASE/knightThrough/gcwFjA0.45073183697919585.19826724425191611.532948901703277
BASE/skirmish/Y_psYQ0.45935018905543883.69876707764078648.052172755706396
BASE/sudokuGrade1/tDRNRw0.4754481837313569457.733333333333334121.42928569047699
BASE/blockerParallel/7-nDJA0.8510205677641355362.73333333333335426.23333333333335
DRESDEN/blockerparallel/dVQgSg0.8565413870950807362.53333333333336423.2525582480584
DRESDEN/quad_5x5_8_2/JRTLJg0.90151310861423225.3333333333333335.915979792608349
DRESDEN/quad/JPe6fg0.99163786008230455.3333333333333335.3783074931111186
BASE/coins_atomic/AA3SSw1.01715305896218162905.6333333333332856.633333333333
BASE/quad/tw-Ufg1.02131594202898555.4666666666666675.352571561554573
BASE/coins/QnGtnQ1.02472237222078742909.7333333333332839.5333333333333
DRESDEN/coins/QwFP9w1.03043569873340672934.22847.5333333333333
BASE/blokbox_simple/JBx4bg1.1922411290322584.94.1099068642073515
DRESDEN/logistics/fPru1Q1.3175573611917197378.3333333333333287.14752349843343
DRESDEN/ggp-course2013_michal13/jWKddg1.59164670165689171.83333333333334107.95946936870875
DRESDEN/tictactoe_3d_small_6player/llDEDQ1.971958817313544403.26557814061977204.5
BASE/tictactoe_3d_small_6player/g_9lww2.031656448743607406.03333333333336199.8533431104593
DRESDEN/smallest/9kaGFw2.10302403258655868.832.7147949495286
STANFORD/skirmish/w4V6Vw2.12060478199718765.0632911392405072.3876637373569887
STANFORD/multiplesukoshi/vLSQPg2.127226223428313261.23333333333335122.80467890825474
STANFORD/selectivesukoshi/3xmXYg2.129488966725044283.7133.22445170321978
BASE/pearls/6k_mEQ2.373339735075564535260.8666666666714857.066666666668
BASE/bunk_t/xbpfIA2.45840298315545843186.51296.1666666666667
DRESDEN/doubletictactoe/lJzgmQ2.48851238608651043231.33333333333351298.5
DRESDEN/bunk_t/7-tPfA2.4923632396488133198.3666666666671283.2666666666667
BASE/doubletictactoe/HH1htg2.5077612791209933225.7333333333331286.3
BASE/doubletoetictac/fu35bg2.56476134979075043227.66666666666651258.4666666666667
DRESDEN/doubletoetictac/V89gKQ2.59959976202066123204.2666666666671232.6
DRESDEN/quad_5x5/JAEP5g2.65556284153005435.3333333333333332.008362690547526
BASE/quad_5x5/JAEP5g2.7430822222222225.4666666666666671.992892018467466
BASE/qyshinsu/R08Lzw2.8443023770038693171.560.29598026798214
BASE/ticTacToeSerial/Amrwqw2.87233453337025771382.9333333333334481.46666666666664
DRESDEN/tictactoeparallel/yk_DSg2.96038566338293843295.61113.2333333333333
BASE/conn4/va9Y7A2.9914805091076251156.8666666666666386.7204426519116
DRESDEN/quad_7x7/q-JOXg3.14487198986058355.0666666666666717.509986684420774
BASE/blocksWorldParallel/RseaAQ3.21788580336008321857.9577.3666666666667
BASE/quad_7x7/q-JOXg3.24124461839530355.217.03049491751375
BASE/tictactoe_3d_6player/d7KSwg3.2502166666666663139.5333333333333342.93047130191321
DRESDEN/chomp/-LcqYQ3.384413461635601744.4333333333333219.9593346888437
BASE/chomp/-LcqYQ3.408677401129944764.2224.19252691576946
STANFORD/madness/UO_B3A3.4957347550816398.0639786737754082.306805074971165
BASE/double_tictactoe_dengji/zgaSbA3.5422683302958083368.9333333333334951.0666666666667
DRESDEN/tictactoe_3d_6player/ulZPWg3.6616751599767308139.8666666666666738.197453503099794
DRESDEN/lightsout/XgLpzQ3.7018497210341613685.4381872709096995.5666666666667
BASE/haystack/UkweGA3.71361322112852452881.2333333333314239.833333333334
DRESDEN/smallest_4player/ADDROA3.7820651000870327144.838.28596181400153
DRESDEN/lightsout2/LFtfyQ3.7962741411724493702.0975.1666666666666
DRESDEN/double_tictactoe_dengji/bGaUyQ3.86056203402791053365.766666666667871.8333333333334
BASE/smallest_4player/ADDROA3.9828626947754358144.836.35575993868506
BASE/futoshiki6/JmvXNA4.029072807676262536.4666666666667133.1489134782029
DRESDEN/slidingpieces/s9_44g4.1817243159525041080.0258.26666666666665
BASE/hidato37/pBrqxw4.24168462507876674.6333333333333417.595210377515382
BASE/checkers-mustjump-torus/uSApKQ4.2956575757575766.2666666666666671.458837571698551
BASE/slidingpieces/uFJWEw4.3255310679611651098.9254.0497300179988
DRESDEN/latenttictactoe/kITHKg4.4063376255682895395.2666666666661224.4333333333334
BASE/hidato19/rRHSmA4.483660604591012616.3333333333334137.46208459718008
DRESDEN/javastrike/whONTQ4.7744498777506115520.7333333333333109.06666666666666
BASE/futoshiki5/TJ4BZg5.224730872675251014.3333333333334194.14078122916945
DRESDEN/brain_teaser_extended/ZDp94A5.4090780819241548306.01535.5666666666666
BASE/brain_teaser_extended/ZDp94A5.4348064480754478260.01519.8333333333333
BASE/factoringMediumTurtleBrain/8RBqmQ5.48577637196195862595.6473.15089497016766
BASE/lightsOut/5P1ZBw5.6146530468474823719.3333333333335662.4333333333333
DRESDEN/grid_game2/kypTYQ5.671519542576022407.9666666666667424.57169522031865
DRESDEN/CephalopodMicro/H3XQfg5.680853955901426145.8666666666666725.676890798281548
BASE/withConviction/3Xm54A5.8167770866530093406.9666666666667585.713809539682
BASE/factoringGeorgeForman/HGRorQ6.0288914394269220310.9333333333343368.9333333333334
DRESDEN/chickentictactoe/Ipbo-g6.04773987747852311122.61839.1333333333334
BASE/snake_2009_big/-oRfVw6.199340836940838859.2138.59538015399485
DRESDEN/snake_2009_big/DgC1NQ6.242281107333657856.8137.25751616558895
DRESDEN/sum15/CsgWKg6.29982072845462114407.92287.0333333333333
DRESDEN/connect4/T0-rHQ6.3880484024343861119.5175.24914175249143
BASE/connect4/50bOyw6.3989498915262881114.2333333333333174.12752908236394
BASE/sum15/QZ07Kg6.61798684938241314359.2666666666662169.733333333333
BASE/ticTacToeParallel/ymRGPw6.7640088371158873367.8497.9
BASE/cephalopodMicro/9l2D3g6.967867510548523146.6333333333333321.044219499200853
DRESDEN/backgammon/mqCW0Q7.027335357624831347.049.3786026055376
BASE/checkers-cylinder-mustjump/rjr6qQ7.0787418803418799.0666666666666661.2808302407304017
DRESDEN/snake_2009/zIYLVw7.1471110576923081189.2166.38890740617293
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw7.41016216216216259.0666666666666661.2235449735449735
BASE/snake_2009/7l-qAQ7.4124615765579861197.2161.51179842687642
BASE/survival/YVIjJA7.45041630249781553988.27246.333333333333
DRESDEN/ggp-course2013_jordi/9QI6Kw7.5449110050189745684.666666666666690.74549271836571
DRESDEN/grid_game/U7_Yeg7.6827880362331231498.2195.00733235568592
DRESDEN/buttons/ADUaHw7.83361343104051330608.83907.366666666667
BASE/buttons/hTcUjw7.87066680261011430878.23923.2
BASE/eotcatcit/AfZSzA7.92636057683924215151.7666666666661911.5666666666666
DRESDEN/chickentoetictac/cxYaRQ7.96207679000696411813.3333333333341483.7
DRESDEN/eotcatcit/mQUxzA8.19129099484479514936.01823.4
DRESDEN/sat_test_20v_91c/dK7nVw8.2273003726231591668.1666666666667202.75990800306656
DRESDEN/tictactoe/BTTzPw8.30939254378592916478.6333333333351983.1333333333334
BASE/chickentoetictac/l57rfQ8.39550509188809511953.81423.8333333333333
DRESDEN/babel/WdSW4A8.656280717831233755.466666666666787.27381785464361
DRESDEN/pawn_whopping_simultaneous/r8dLfw8.9067055393586014073.3333333333335457.3333333333333
DRESDEN/tictactoex9/rFkD4w8.9203141429705382122.6666666666665237.95873470884302
BASE/tictactoex9/BI26ow8.961652333286342118.8333333333335236.43333333333334
BASE/snakeAssemblit/UO4sdg9.028300805884581854.4666666666667205.4059458738835
BASE/futoshiki4/BaCwSw9.0347738622386213101.233333333333343.25522482583915
STANFORD/multipletictactoe/_bkafQ9.1545726221079691424.1666666666667155.56888622275545
BASE/eotcitcit/V_9_bg9.162845451774418827.790736421193963.4333333333333
BASE/lightsOnParallel/SC6enA9.29428942245295213367.6666666666661438.2666666666667
DRESDEN/tictictoe/LAUtwg9.3016471728147298959.966666666667963.2666666666667
BASE/factoringImpossibleTurtleBrain/kcBhdw9.64248771929824536.43.7749594357429053
BASE/chickentictactoe/DSlZCA9.73136763591865311133.3333333333341144.0666666666666
BASE/onestep/xi53wA9.9605258484434174782.37507.866666666667
STANFORD/sukoshi/4LYZZQ9.97081807749057312163.7333333333341219.9333333333334
DRESDEN/pawn_whopping_corrected/7Ov0jQ10.0390875073260897422.566666666667739.3666666666667
DRESDEN/lightson2x2/gBHuig10.08808558021156516911.6666666666681676.4
DRESDEN/gt_prisoner/huCp4w10.2165083932853722082.6666666666665203.85307646156923
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw10.2826170464237842812.7273.53931273539314
BASE/blocksWorldSerial/Wyg96Q10.40156056713293310931.01050.9
DRESDEN/tictactoe_3player/ESLQQQ10.4526024198427092687.5333333333333257.11619225384976
BASE/untwistycomplex2/EDPPAQ10.55489706057360529564.2666666666662801.0
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA10.702654665492961620.9333333333334151.4515215145152
DRESDEN/pawn_whopping/4ogBkg10.7188029185715237189.933333333333670.7776407453085
DRESDEN/peg/Vo31eg10.7405196122860023791.866666666667353.0431304579695
BASE/tpeg/QNs7Lw10.8336453300517483814.633333333333352.1098593427105
BASE/duplicateStateSmall/bCPAXw11.00293807228228425715.3333333333322337.133333333333
BASE/duplicateStateMedium/U163eQ11.0291253951527938722.2790.8333333333334
DRESDEN/peg_bugfixed/u_B7MA11.0567681409151833849.9666666666667348.2
DRESDEN/sat_test_20v_91c_version2/a1mPBA11.1236983621474081629.6666666666667146.50403252682796
BASE/switches/tPUoCg11.26402582809755323724.6666666666682106.233333333333
STANFORD/untwistycorridor/EDPPAQ11.2935730447012830780.6333333333352725.5
BASE/lightsOnSimul4/9FeASw11.3121638483446074236.5374.50836610892605
BASE/blocksWorld/SEdXLQ11.34842442628565930923.72724.9333333333334
BASE/lightsOnSimultaneous/_VN6lw11.4517027622981285822.233333333334508.4163861204627
BASE/incredible/8Qh-6Q11.486146996859729631.9838.5666666666667
DRESDEN/tpeg/h-Scbg11.4948453608247443865.3333333333335336.26666666666665
BASE/blocks/xIV5hQ11.54053217821782231082.52693.3333333333335
DRESDEN/blocker/S815zQ11.59466594827586414346.4666666666671237.3333333333333
DRESDEN/blocks/vg0DRw11.62592242900092131193.92683.133333333333
BASE/tictactoe2/bhrDoQ11.72029082044813627565.7333333333342351.9666666666667
BASE/coloredtrails/EZvr7g11.7289507772020736036.5514.6666666666666
DRESDEN/toetictac/mJtxCA11.8933462290901918035.4666666666671516.4333333333334
BASE/ticTacToeNoVars/XT03NA11.90685559491560717142.31439.7
BASE/checkers-mustjump/T-8UuQ11.92334736842105314.81.2412621676357223
DRESDEN/gt_chicken/CeuKtw12.064911373198151943.3333333333333161.0731544742543
BASE/toetictac/mTThmg12.07368984673047418039.31494.1
DRESDEN/circlesolitaire/ruUilQ12.08307564224548320318.91681.6
BASE/circlesolitaire/azuQFQ12.31877879253212720322.71649.7333333333333
BASE/numbertictactoe/rvJ-iQ12.4529069767441869995.533333333333802.6666666666666
DRESDEN/tictactoe-init1/3ltIBQ12.52283784422086817674.7333333333341411.4
BASE/ticTacHeavenFC/mrletw12.6299417394923034046.633333333333320.4
STANFORD/trifecta/ss1kyQ12.63547655904467215236.71205.8666666666666
DRESDEN/troublemaker01/C-lPWw12.66996828963610657136.0666666666664509.566666666667
BASE/ticTacHeaven/18n58A12.671372055385724697.7370.73333333333335
STANFORD/tictictoe/rpt_Dw12.6751835255982468863.333333333334699.2666666666667
BASE/lightsOn/MsXu3A12.72745415082521229124.2333333333342288.3
DRESDEN/catcha_mouse/cHv4dw12.779452529452534917.533333333334384.8
BASE/troublemaker01/s3tlEQ12.8353045333817656540.84405.1
BASE/ticTicToe/c1OobQ12.9176008267697098915.728090636454690.2
BASE/factoringEasyTurtleBrain/lUj94Q12.91806109379387213439.5201599466841040.3666666666666
STANFORD/tictactoe/ss1kyQ12.93821541856295815635.8333333333341208.5
DRESDEN/blocksworldparallel/2JfVaw13.06082418571171512096.5926.1666666666666
BASE/catcha_mouse/cHv4dw13.2380535658156164960.133333333333374.68751041631947
BASE/tictactoe_orthogonal/WRzlVw13.28645472506607417260.4333333333341299.1
BASE/blocker/dIWtxg13.33065245478036213757.2333333333341032.0
BASE/tictactoe_3player/GtM71g13.3333469158260272687.2201.5397946940408
BASE/tictactoe-init1/7M19vA13.36623152709359618088.9666666666671353.3333333333333
STANFORD/dualrainbow/G3OnRQ13.39431262452454312325.0920.1666666666666
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg13.4635611102093822764.9666666666667205.36666666666667
DRESDEN/tictactoe_orthogonal/y69QFQ13.46722553013684217189.5666666666661276.4
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ13.5725338491295932806.8206.8
DRESDEN/bidding-tictactoe_10coins/mu5VhQ13.594558908685968406.729.916380717593363
STANFORD/duikoshi/tpw1sw13.6856538879049327984.666666666667583.4333333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg13.7033773861967682799.6204.3
BASE/ticTacToe/JRFsaQ13.70949472515269116460.5333333333331200.6666666666667
BASE/gt_prisoner/klthDw13.9251983921906432155.3333333333335154.7793627516331
BASE/factoringMutuallyAssuredDestruction/NH0LGg14.08199417942553414838.6666666666661053.7333333333333
STANFORD/tictactoe3/X7myng14.08305437676269817809.91264.6333333333334
BASE/stateSpaceSmall/Q7osKA14.17204626963681246760.6666666666643299.5
DRESDEN/amazons/dNB28A14.25882181818181878.45.498350494851545
BASE/nineBoardTicTacToePie/B8LzeQ14.2704446808510643263.8228.71046228710463
STANFORD/tictactoe7/-bE9-A14.30812029634835616286.9333333333321138.3
STANFORD/tictactoe5/WFRReg14.38196693845638317168.2333333333341193.7333333333333
DRESDEN/statespacesmall/h-NqjA14.51902073115443246970.03235.0666666666666
DRESDEN/cubicup_3player/awDtsQ14.6382355404744422660.1666666666665181.72727575747476
BASE/duplicateStateLarge/dcjyuw14.6537162162162184048.3333333333335276.26666666666665
DRESDEN/troublemaker02/iZLVuA14.67486043420469855201.9333333333343761.6666666666665
BASE/biddingTicTacToe_10coins/a-9ccQ14.806250845410629408.366666666666727.58069351453982
BASE/troublemaker02/DI83KA15.01427737865139854894.23656.133333333333
BASE/mineClearingSmall/frsbvw15.0459237747484581029.766666666666768.44157142381127
DRESDEN/statespacelarge/8-y5HQ15.08189779616976320895.4666666666671385.4666666666667
DRESDEN/mummymaze2p/k-8edg15.195851754385965230.815.188355594044566
BASE/stateSpaceMedium/3bUoIw15.22423715203426130334.81992.5333333333333
BASE/mummymaze2p/vpjDdA15.248044052863436230.615.123251165889407
BASE/gt_chicken/gmepTQ15.2802482232622641958.6666666666667128.18290894547394
BASE/cubicup_3player/e2yA_g15.4485921393998052659.4666666666667172.14945172149453
BASE/stateSpaceLarge/0Ge_CQ15.51112848452273421162.8666666666651364.3666666666666
DRESDEN/statespacemedium/dVJZ_w15.5418676687147730606.61969.3
STANFORD/buttonsandlights/eyhJpA15.66395262768319853610.43422.5333333333333
DRESDEN/bidding-tictactoe/yW5vTA15.8155293262239472174.8137.51041493084486
DRESDEN/tictactoelargesuicide/6J4DeA16.33430899908172818973.9333333333341161.6
BASE/firefighter/WJmoPw16.5538645180543116641.61005.3
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg16.563568627450989.1333333333333330.5514109633473889
BASE/breakthroughSmallHoles/bxclRw16.650910600431665228.766666666666314.0228659044698
DRESDEN/tictactoelarge/IwXcbg16.7219123273268919085.8333333333321141.3666666666666
STANFORD/triplesukoshi/Iu9mbA16.7516755205.9310.7689231076892
DRESDEN/checkers-cylinder-mustjump/vW_-pA16.8289647058823539.20.5466765282824709
DRESDEN/firefighter/WJmoPw16.8634671629885716912.9333333333341002.9333333333333
BASE/hodgepodge/9yjRkw16.95820645808934316893.2996.1666666666666
BASE/biddingTicTacToe/8mESVw17.1316800105485252165.3126.39157389507366
DRESDEN/uf20-010.cnf.SAT/5ICbCg17.1638150716597342887.3333333333335168.22211852543163
DRESDEN/uf20-020.cnf.SAT/hDrW_A17.2727664491571532823.3333333333335163.45576961535897
DRESDEN/cube_2x2x2/fp-34Q17.4371639856795367089.133333333333406.55311489617014
DRESDEN/2player_normal_form_2010/NG_Kdg17.8543865891748730106.0666666666661686.2
DRESDEN/aipsrovers01/qS47Mw18.5600949313442957299.066666666667393.26666666666665
BASE/aipsrovers01/4C4jsw18.6765329880833067452.933333333333399.05336488783706
STANFORD/jointbuttonsandlights/qAKuIQ18.8806195336995226696.5666666666661413.9666666666667
DRESDEN/uf20-01.cnf.SAT/42Rs8A19.142076332529062908.6666666666665151.9514715195147
BASE/cubicup/4wNWJA19.145193195661864295.4224.35918802706576
DRESDEN/cubicup/SBn_lw19.536341971998814372.233333333334223.8
DRESDEN/8puzzle/8fKC2w20.28431372549019716552.0816.0
DRESDEN/hallway/0H4l-Q20.36081037318153357.2666666666666517.546780315642273
BASE/hallway/ckCJOw20.511581035598706352.0333333333333617.162662045522712
STANFORD/nineboardtictactoe/y28P-A21.217962590817754575.3215.63333333333333
BASE/nineBoardTicTacToe/wRmqqA21.271807838179524486.933333333333210.93333333333334
STANFORD/breakthrough/d5j0cQ21.411982811950794060.733333333333189.64770189647703
BASE/gt_staghunt/xPjLRA21.5701354795439323216.0149.09503016566114
DRESDEN/mimikry/GJEhwA21.6107637338097373225.766666666667149.26666666666668
DRESDEN/point_grab/r5DPmQ22.3305494287626130035.3333333333321345.0333333333333
BASE/gt_coordination/IVMOzA22.376821083647084556.666666666667203.63333333333333
DRESDEN/gt_ultimatum/pAiiQw22.389329479768787516.023.046692866182642
DRESDEN/tictactoe_3d_small_2player/HYttcg22.6115577889447265999.6265.3333333333333
BASE/tictactoe_3d_small_2player/oOryKA22.6658330275229326011.133333333333265.20681265206815
STANFORD/dualhunter/1rPZjQ24.117980743484768246.466666666667341.9219359354688
BASE/gt_ultimatum/GE-uOA24.126082374455724503.832055981339620.883293365307754
BASE/maze/cCX3qQ24.13189659923937643782.51814.3
DRESDEN/othello-cornercontrol/r5Gdlg26.2414.1666666666666660.5398882113821138
BASE/asteroidsSerial/id2QkA26.5140662343470487904.2298.1134591027265
STANFORD/hunter/14dD-g26.98869946545636412353.215594801733457.7180760641312
DRESDEN/chinesecheckers1/Y-ftaA27.305541067645545123.258913695435187.62707909736343
BASE/pawnWhopping/Ypc_6Q27.4088144009931727359.266666666666268.5
BASE/ticTacToeLargeSuicide/727_8g27.46064825930372419062.266666666666694.1666666666666
BASE/ticTacToeLarge/TZC0dg27.55057289867587819141.5694.7768407719743
DRESDEN/oisters_farm/pTQMLg28.12043852293549830181.6666666666681073.3
BASE/connectFourLarger/qKi60A28.7263918104906962829.26666666666798.4901509849015
BASE/connectFourSimultaneous/7ITr3g28.808004640371236622.0229.86666666666667
DRESDEN/checkers-mustjump-torus/cVc3gA29.1382857142857156.40.21964229683087544
STANFORD/3puzzle/41ibjA30.32681845657868230102.4992.6
BASE/tron_10x10/7ZTgDg30.7977936230324237630.666666666667247.76666666666668
STANFORD/threepuzzle/41ibjA30.93679765715453230283.0978.8666666666667
DRESDEN/connectfour/5tc-Mg31.04618665882179614071.166666666666453.23333333333335
STANFORD/bestbuttonsandlights/nm0wEA31.21513413606588538281.21226.3666666666666
STANFORD/rainbow/_4qNSQ31.5357095002009947070.21492.6
BASE/pacman2p/4LEdQg31.88307036466358688.933333333333321.608123855501916
STANFORD/multiplebuttonsandlights/cK70Yg32.1548589003399439728.41235.5333333333333
DRESDEN/Runners/3bOCQw32.5063400952515667659.066666666667235.6176254916339
BASE/beatMania/qUHwvQ33.12601883959044416176.0488.3170560981301
BASE/eightPuzzle/vLrgFg33.15215012488497616812.0507.1164294523516
STANFORD/8puzzle/jNiGtw33.18038927162062616536.0498.3666666666667
STANFORD/eightpuzzle/W_aWbA33.2543606647438616141.666666666666485.4
STANFORD/multiplebuttonsandlights_9/SqB9BA33.398993026574441349.0666666666661238.0333333333333
BASE/god/qF06gw34.741518654434245125.366666666666663.608554591802953
BASE/dualConnect4/WbCQkg35.332792128347186801.833333333333192.50766564458073
BASE/connectFourLarge/aU644A35.4670366761633468298.733333333334233.98440103993067
DRESDEN/frogs_and_toads/GjchhQ35.674855185641872892.26666666666781.07297567477508
BASE/snakeParallel/RCVNtw35.88530215415898518824.233333333334524.5666666666667
BASE/checkers/rOC3Xg36.20850434782608627.40.7567283016384813
BASE/rubiksCube/9tNO9Q36.7277799920286943071.666666666666583.63333333333334
DRESDEN/god/2EDD5w37.20170588235294126.233333333333333.3932135728542914
STANFORD/bestbuttonsandlightsbig/g0JC6g37.2348185610395433621.8902.9666666666667
BASE/3pConnectFour/PqXOFQ37.8997193992490657065.3186.4209052729818
BASE/connectFour_9x6/B9TtMw38.13558152312119612663.133333333333332.0555981467284
BASE/connectFour/WAIKTw38.2846655630377913644.2356.3881203959868
DRESDEN/4pttc/9pB9AQ38.779073220521093207.466666666666782.71127699280191
STANFORD/connectfour/VMpZkQ38.95605920444033614037.166666666666360.3333333333333
BASE/gt_dollar/TGjqRw38.9751301622605325701.5659.4333333333333
BASE/point_grab/V_osUg39.62054563227583529723.333333333332750.2
BASE/snake2p/I3wWPQ40.64375907922672612124.033333333333298.3
BASE/colonelBlottoVariant/X-n-KQ43.9914285714285720.00.45463401961421057
BASE/escortLatch/mX9BjQ47.225849428458813993.333333333333584.55821084558211
BASE/pegEuro/5awwhg47.232627457795433170.566666666666667.12662067126621
STANFORD/pentago/ZxzLmg49.4021462156965546278.566666666667127.0909696767744
BASE/colonelBlottoVariant2/jruwGw49.5439285714285721.6666666666666680.43732233780026863
BASE/asteroidsParallel/WauZiA50.6611611611611713496.133333333333266.4
BASE/zhadu/DlA8iQ54.2880116959064341237.766666666666722.8
DRESDEN/connectfoursuicide/M9CNQg54.3503636664057813887.866666666667255.524815839472
BASE/tictactoe_3d_2player/IUC1rQ54.532115292215292622.033333333333348.08236979774083
DRESDEN/pentago_2008/hLjVpQ55.59175990527527563.933333333333136.06213126229125
BASE/asteroids/BKCmPQ56.2959334020922425472.033333333333452.46666666666664
BASE/peg/fJHVWw56.451241076769693773.766.84884030925086
BASE/kalaha5x2x3/WviNsw57.51555882352942944.716.42512077294686
DRESDEN/tictactoe_3d_2player/LMuX9w58.897835402970542685.466666666666745.59533721898418
BASE/gt_centipede/9fRMpw61.3912922906267429516.933333333334480.8
BASE/pentagoSuicide/SBgNhw61.59081963880577540.266666666666122.42517165522298
BASE/pentago/86NgKw61.775665058358617467.433333333333120.8798533577737
DRESDEN/checkers-mustjump/HUr33w63.1193142857142914.40.2281393605579637
BASE/pawnToQueen/-O1_JA65.8861658119658184.466666666666671.282009138424115
BASE/checkersSmall/SYmq8w66.6028611111111151.3333333333333360.77073766016892
DRESDEN/pawntoqueen/f_x6Aw68.9039736842105186.61.2568215644121052
DRESDEN/pacman3p/rBnk8Q69.072544411473791549.866666666666622.438244889806246
BASE/hexPie/48CH6Q69.476897149425281678.633333333333424.161029093211585
DRESDEN/3pttc/uwYBZw70.2103048079830615478.0220.45196986867543
BASE/pacman3p/wW7UVQ71.418123190621811556.033333333333321.787653662924342
DRESDEN/knightwar/7hhAqg71.6975384396853210935.9152.5282490583647
DRESDEN/knightstour/cGISAA73.2816109896971439120.166666666664533.8333333333334
BASE/checkers-newgoals/0XkFiA74.2451428571428532.80.4417797412432944
DRESDEN/3pffa/0YrmQw74.5711607561318515911.0213.36666666666667
DRESDEN/ghostmaze2p/HY0UwA75.023150326797392421.63333333333332.278481012658226
BASE/mummyMaze2p_2007/YGA3Vw75.288940413318022185.23333333333329.02462594554967
DRESDEN/mummymaze2p-comp2007/oTQRQg76.817427972027972196.128.58856457417033
BASE/ghostMaze2p/W-NU-w78.195703369565222395.36666666666730.632970399227517
BASE/nonogram_10x10_1/0Xc62g78.53447156048014944.433333333333312.025717045870948
BASE/connectFourSuicide/c8p9Kw82.1356610489404814192.569143618794172.7942401919936
DRESDEN/SC_TestOnly_enabled/09o7gQ84.3442674013402818877.8223.8184121058596
BASE/cylinder-checkers/hlldmw88.3539999999999825.20.2852162890191729
BASE/knightazons/apnJBQ88.614525350877191121.366666666666612.654434047087815
DRESDEN/knightazons/02I8BQ90.132031914893621127.412.508316699933467
DRESDEN/cylinder-checkers/clOO3Q91.1705555555555725.2666666666666660.27713625866050806
BASE/ruleDepthLinear/OUBJpQ91.6184922108321975670.76666666666825.9333333333333
DRESDEN/Goldrush/VeWczQ93.71533314755843922.63333333333341.856900056653444
DRESDEN/merrills/aYEzwA101.880000000000012.00.01963093835885355
DRESDEN/bomberman2p/x4h6jQ104.829663962920053015.628.766666666666666
BASE/bomberman2p/4CClwA106.769324766355143042.833333333333528.49913437208683
BASE/merrills/pku8Tg112.816394535154961.99933355548150620.017722012511740833
DRESDEN/checkers-newgoals/IJOqXQ115.8544666666666731.80.274482295891915
BASE/queens06ug/7Lq3tw116.622987483236498693.074.53933557695511
STANFORD/knightstourmedium/x1wu8Q122.3884265907614539770.833333333336324.95583480550647
BASE/roshambo2/KNPokQ125.012664029031739231.833333333336313.8228725709143
DRESDEN/roshambo2/jgSlkQ126.1573483808706939215.5310.84594360375974
BASE/shmup/ssTNlg129.1933045356371419938.833333333332154.33333333333334
STANFORD/knightstour/cEwgNA139.2144546173194338740.8278.2814479034731
BASE/knightsTour/mvtVIg140.9501973816959239114.46666666667277.5055827750558
BASE/queens08ug/kJ_ZFQ143.051200590794085291.83605464845136.99260147970406
BASE/nonogram_5x5_1/qLKEZw150.621619047619057307.73333333333448.51716094635122
BASE/battlebrushes/arCwyA159.68131721611724483.86666666666673.0302021244713795
BASE/checkersTiny/Lr48cg161.77169444444442127.333333333333330.7871175100849431
BASE/kalaha6x2x4/XS81Mg166.98618695652175763.14.569839062189549
DRESDEN/racer/vk_ZBA185.9200000000000214.9333333333333340.08032128514056225
BASE/queens12ug/u6Bkmg189.95258067885122422.812.754762221926201
BASE/racer/QQYQNw192.535215.30.07946598855689765
BASE/othelloHoles/c0qAzw193.47158333333334368.16666666666671.9029495718363463
STANFORD/pilgrimage/ObRZnQ204.392212576687118880.443.44783926964982
BASE/chess_200/XsTpYA207.98934545454546680.43.2713214155899943
BASE/amazons_8x8/7SOsIw212.738265845070432008.99.44305901911887
BASE/4pttc/AL1k2Q216.243448772889653094.435188270576414.309960398016573
BASE/queens16ug/gT-ylw217.6345089707831428.3238920359886.562947662990972
BASE/othello-comp2007/86ZoMw217.6733888888889477.766666666666652.1948786165613567
BASE/4pffa/Q3ADlg223.2941524616845512097.300899700154.17652350648053
BASE/chineseCheckers1/gqtwHw227.040856127080230011.8132.1867813218678
BASE/reversiSuicide/9OxJlg227.11218850574713437.566666666666661.9266542652139251
BASE/reversi/d8UMeA243.8055309090909438.71.7993849375122686
BASE/3pffa/pR0dzA245.4688617355956215277.9073642119362.239696131676276
STANFORD/freeforall/Lfp40Q249.1330645161290220588.1372875708182.63912029323559
BASE/othelloSuicide/B442jg256.38734523809524476.36666666666671.8579960185799602
BASE/dotsAndBoxes/EHwA_w256.62257936507947537.16666666666729.37062937062937
BASE/dotsAndBoxesSuicide/jzQbLw258.307394381169337555.76666666666629.251066098081022
BASE/2pffa/6oHijA272.635402267386819291.56947684105470.7595907075959
DRESDEN/snake_2008/E56l3A296.798035947712441510.95.090667110297788
BASE/snake_2008/i6K26g297.098290631808251513.13333333333345.0930395126660235
BASE/snake_2008_tweaked/bX0NJQ297.968447368421041501.25.038117335101094
BASE/2pffa_zerosum/o0_uZA304.590225714235619285.5714761746163.31644894694748
BASE/knightsTourLarge/M8jgLA330.913791567450735367.6107964012106.87862427514497
BASE/connect5/d-BVQg339.475213961605562160.53333333333336.364333077871447
BASE/amazonsSuicide_10x10/XIbQkg347.67131444444451385.46666666666673.9849898714840766
DRESDEN/connect5/1kYzSg357.605207734806642132.65.963559685018615
BASE/knightwar/DVGY4Q358.2505304061470510873.830.352502165656027
BASE/amazons_10x10/Bun8dA373.90027817109151399.63333333333343.7433332229105245
DRESDEN/kitten_escapes_from_fire/uW-YiA394.065495447870829810.66666666666875.64901522977972
BASE/kitten_escapes_from_fire/uW-YiA397.7036099688473329779.06666666666674.8775367389783
BASE/chineseCheckers2/eCMR3Q412.100180532392542818.1103.90216268452798
BASE/chineseCheckers4/avfBcQ420.679868191347424522.36666666666558.29222770297294
DRESDEN/small_dominion/yB5GJA429.94146395645896171.109630123292250.39798355001326613
BASE/racer4/0vs7Ww435.4437333333333120.80.27741816164231553
DRESDEN/crossers3/xiPTxg443.82657142857141442.33333333333333.2497678737233056
BASE/crossers3/O0rORg444.95285816326531444.73.246860815690952
STANFORD/knightstourbig/TQUI2g458.158970280075535077.3666666666776.56156256249584
DRESDEN/quartosuicide/WIU1oQ463.451843715846961880.06666666666664.056660238079404
BASE/wargame02/BkVqqQ471.34315656565661033.16666666666672.191962803055463
BASE/quartoSuicide/-23jUg472.325141880.43.9811558622520073
DRESDEN/quarto/OQzRYQ473.44077410468321896.33333333333334.0054288457082325
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg473.46938907407412823.96666666666675.964412339706418
BASE/knightfight/SJRkAg479.06529125683065831.76666666666612.173218918379565
BASE/chineseCheckers3/-1rZdQ479.0735917004961435394.173.88029858704346
DRESDEN/knightfight/4_Ly4w484.54135059687795855.53333333333412.084692722551434
BASE/chineseCheckers6/rREH3A484.7527222222222521518.044.38964241676942
BASE/quarto/EwBMVQ491.8843919540231886.73333333333333.8357251504530123
DRESDEN/battle/8oAvhQ506.2751724137931479.33333333333330.9467841984982044
BASE/four_way_battle/xSOQXA516.49676857.01.659255326209597
BASE/battle/8oAvhQ520.3389642857143483.66666666666670.9295222919363941
DRESDEN/four_way_battle/xSOQXA520.4206933333332858.66666666666661.649947201689546
BASE/speedChess/bPnisA562.15603508771932842.66666666666655.0567217804983535
BASE/choicethroughalt/tt71Lg568.003703034420413921.56666666666824.509640680675346
BASE/2pttc/unkkYA648.10554252548220137.2875708097331.071000399627014
BASE/skirmishNew/sibw2g668.84370080321293683.1333333333335.506717531929009
BASE/3pttc/0sol9g690.116170807453414814.021.465951134962168
DRESDEN/Zhadu/9zpQ5w703.949698482878318039.76666666666625.626499600106637
BASE/amazonsTorus_10x10/Uxc08g718.07189927536231100.56666666666661.532669176690101
BASE/wargame03/klXI8w771.20433114754111559.92.022680549108031
BASE/wargame01/_GZFZg840.87917711442791860.96666666666672.213120169122019
DRESDEN/guess/PhxGhg876.20714285714292239.62.5560165975103732
BASE/guess/SPpk1A884.9159723684212232.6333333333332.5229890781130697
DRESDEN/fizzbuzz/t1xHzQ948.09066666666666136.06.471954862263525
STANFORD/platformjumpers/HEQskA1023.73384658385085468.75.3419157901722025
DRESDEN/hanoi/RQ0jiA1053.049216018662522554.56666666666621.418340494986843
BASE/hanoi/iGLsJg1057.808805408216422584.53333333333321.35029810478633
DRESDEN/checkers/jIDMIg1130.204533333333332.2666666666666660.028549404744911067
DRESDEN/battlebrushes/QHXV4A1744.8358666666666309.066666666666660.1771322292091046
DRESDEN/knightmove/97Ipcw1974.38118421052654982.52.5235755080355955
BASE/knightmove/jBaJEw2013.91810666666655004.7666666666662.485089463220676
DRESDEN/chinesecheckers4/-oVNYg2580.14243078394161922.85904698433860.7452530620180157
DRESDEN/hitori/S8Gsyg2693.322459259259794.93333333333330.2951497064900141
BASE/hitori/S8Gsyg2783.1819851851856805.73333333333330.28950077200205865
BASE/max_knights/2fq3Ag2881.55908235294153193.81.1083583257269527
DRESDEN/max_knights/hCipiA3119.67360833333353254.53333333333331.04322879311469
DRESDEN/pancakes88/aD3E7g4358.26940065146644495.810.209511140671767
DRESDEN/pancakes/hl9aiQ4868.38577395498450333.0333333333310.33875203616901
DRESDEN/pancakes6/SZXMyQ4945.86317516339850427.6333333333310.195921631347462
BASE/pancakes/yUgbXw5283.82409534050248999.19.273416206873629
BASE/pancakes6/QZTdnw5518.25566933333450577.266666666679.165444607385682
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g7413.2001111111122905.33333333333350.3919135177504164
DRESDEN/satlike_20v_91c_version2/yd9ioQ7651.8722934.00.3834355828220859
DRESDEN/chinesecheckers3/QsCb2A7685.0293333333332940.70.3826530612244898
BASE/skirmishZeroSum/zh4hcw8048.9177142857143710.40.4609812314784327
DRESDEN/satlike_20v_91c/yeuENQ8370.0949090909092938.00.3510115514710575
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA9050.3618666666662859.33333333333350.3159358018450651
DRESDEN/hanoi_6_disks/MeubgQ9405.34075555555718805.6666666666681.999466808850973
BASE/hanoi_6_disks/MeubgQ10057.90800467836218937.0666666666661.8828037259694788
BASE/kalaha_2009/dRiN3g14647.6802648.40.04426639516610965
DRESDEN/kalaha_2009/gcC8uA15038.248749999999659.50.04385484047801776
BASE/gt_tinfoil/Q8DyKg17872.4061333333348777.3333333333340.4911108928396032
BASE/pancakes88/l2Xaig39022.3353490013244200.26657780741.1326914748309291
DRESDEN/hanoi7/51zz5Q67098.256192592618914.5333333333330.28189306856265856
DRESDEN/hanoi7_bugfix/3gdnFw67492.4325447073219035.1882705764730.2820344081978001
BASE/hanoi7_bugfix/3gdnFw69046.302607407418978.0333333333330.2748595162472514
BASE/solitaireChineseCheckers/-ET6gw120511.23847718.40.06404713869407884
DRESDEN/Travelers-Dilemma/PvZwYw155830.6346666666842284.00.27134587554269174
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A159505.274288888912016.0666666666680.07533335007407779
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA170653.566033333312253.4333333333320.07180297264306743
BASE/twisty-passages/DiZmmg217722.556811462.40.052646818815973044
DRESDEN/twisty-passages/j7NPyg220124.1949333333211356.2666666666660.051590270075063845
DRESDEN/vacuum_cleaner_1/eUNjpw256680.3052514644.4333333333320.057053202110968475
DRESDEN/chinesecheckers6/yTbPDAInfinity1333.90.0
BASE/amazonsSuicide/dE1QEQInfinity8.1333333333333330.0
DRESDEN/farmers/S_ASnwInfinity59.3333333333333360.0
BASE/gt_two_thirds_2p/1APDGgInfinity19034.2333333333340.0
BASE/amazons/RKKZjwInfinity8.10.0
DRESDEN/vacuumcleaner_random_big/DwzFaQInfinity1.03333333333333340.0
DRESDEN/chinesecheckers6-simultaneous/gPPGUwInfinity955.80.0

Games with errors:

GameFLUXPLAYER_PROLOG:1.1 error messageREKKURA_GENERIC_FORWARD_PROVER: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
BASE/ruleDepthExponential/UamhHQTest 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/gt_two_thirds_4p/DStnxQTest process timed out after 240 seconds
BASE/queens/HyJJnQIllegalArgumentException: too many occurrences: 2147483765
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
DRESDEN/queens/mW2wHQIllegalArgumentException: too many occurrences: 2147483765
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 seconds

index