index

FLUXPLAYER_PROLOG:1.1 vs. REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0

Game-by-game performance:

GamePerf ratioFLUXPLAYER_PROLOG:1.1 states per secondREKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per second
DRESDEN/battlesnakes1509/-qZrLw0.00.0251.92493583547216
BASE/gt_attrition/kD_SCA0.00.00.2295458271847844
BASE/blobwars/0XT15Q0.00.00.1455138092604988
DRESDEN/battlesnakes2011/93VtTw0.00.0256.95717380436594
DRESDEN/ticblock/Z2yNWQ0.00.01051.4666666666667
BASE/ad_game_2x2/D0aWqg0.00.00.029403981299067895
BASE/crisscross/ICagEg0.00.0209.72634245525148
DRESDEN/ggp-course2013_nicolai/uEin8g0.00.026.205380927011188
DRESDEN/crisscross/GsY16g0.00.0207.75974134195528
DRESDEN/blobwars/ZaMluQ0.00.00.1415468236892764
BASE/ticblock/T21C1g0.00.01208.2666666666667
BASE/colonelBlotto/jip21A0.00.00.3650119458455004
BASE/englishDraughts/jFkQxg0.00.090.02433090024331
BASE/queens31lg/0gID-A0.00.01.0554785935747741
BASE/queens08lg/Ru7eqQ0.00.040.1
BASE/blockerSerial/3eqDuw0.0065655574542075122.433333333333333370.62097930068995
BASE/checkersTorusNoKings/pwb6oQ0.0127483002832861170.323.532548915036166
STANFORD/checkersonabarrelnokings/Zrevdw0.0150318306010928950.3666666666666666424.392682195341397
BASE/checkersBarrelNoKings/rnKNeg0.0152445983379501380.3666666666666666424.052235325471383
DRESDEN/tttcc4/sAvtFg0.0154863781714057940.433044636908727527.96293827489668
BASE/tttcc4/8Bs2lg0.0155028975244247150.43318893702099327.942449876773463
BASE/ttcc4/Le0qjQ0.015953578732106340.4333333333333333527.162139643392766
BASE/copolymer_4_pie/IN5_jA0.022134575810522231.266666666666666657.225703239568055
DRESDEN/catch_me/ghGWrA0.04234572876981329639.45351549483505931.7
DRESDEN/CatchMeIfYouCanTest/CX18rA0.0428007333239317440.46666666666667945.4666666666667
DRESDEN/Thief_Police/CX18rA0.0441441760107530741.6942.3666666666667
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.0446257538134090141.93333333333333939.6666666666666
STANFORD/ttcc4/Cx9SGw0.0530297493139312361.1329556814395221.364530213645303
BASE/checkersTorus/2vm1EQ0.054104045982218581.065601065601065719.695404405638683
DRESDEN/golden_rectangle/1uloXw0.0561753510140405663.664.0850468224081
BASE/ttcc4_2player/_aH_Mw0.0566966019417475751.166666666666666720.577364898611528
BASE/ttcc4_2player_alt/ZEJvYA0.059148173913043471.133333333333333319.160918391149323
DRESDEN/towerworld/HCX34w0.113157462124817232.03197868087941417.957089552238806
DRESDEN/breakthroughsuicide_v2/LU1nAw0.12616021208710834.46369087275149935.381130063965884
BASE/skirmishHoles/AUCxCA0.12699591397849461.966666666666666615.486062543710661
DRESDEN/breakthroughsuicide/Y9QzqQ0.128065162676488654.63333333333333436.17949828430556
DRESDEN/breakthrough/z4hK7Q0.130367322711652634.63333333333333435.54060355739124
BASE/strangeSkirmish/gc1zKA0.132615562254442321.899366877707430814.322352862805182
BASE/ttcc4_2player_small/Cv72TA0.136012364760432778.864.7
BASE/breakthroughHoles/nZk0Sg0.144082198589170854.5318227257580831.453037017292505
BASE/breakthroughWalls/vOZaYA0.145100742512352444.59693537641572331.680991405156906
BASE/breakthroughSuicide/wZDpIg0.145974346086318574.63178940353215631.730160317301603
BASE/breakthrough/TGxk-g0.15048828799092914.76507830723092331.664114004128653
DRESDEN/knightthrough/J7Fc_Q0.160124320124320155.36130536130536133.482142857142854
BASE/golden_rectangle/_nYzfw0.2362466710904667423.733333333333334100.45996933537764
BASE/breakthroughSuicideSmall/XSbJog0.2464070692011430322.03333333333333589.41843026162306
BASE/breakthroughSmall/HJ0tIA0.255942194403534623.16666666666666890.51523028727588
BASE/skirmishFinal3/-Olhfw0.26642273042273044.26666666666666716.014649575495255
DRESDEN/skirmishfinal/hzq8ww0.296302583830423464.42890442890442914.947235260827592
BASE/skirmishFinal2/gdB62Q0.30069339407744884.414.632845571814272
BASE/skirmishFinal1/ecWTnQ0.30547410122551744.398533822059313514.399040063995734
BASE/sudokuGrade6E/ihYFZA0.3059231372549019437.266666666666666121.81709105452606
STANFORD/duidoku/3SoMaA0.3087958191369457623.89203598800477.37163040218587
BASE/sudokuGrade6H/ieE_9A0.3100981912144702438.666666666666664124.69168722085195
DRESDEN/stratego/Z2wovg0.3111285294264214469.36666666666666222.95180321311912
BASE/simultaneousWin2/PfjRjw0.3494579855195911164.1469.58434718842705
DRESDEN/capture_the_king/EQ229Q0.357189299884807355.09151414309484214.25438596491228
STANFORD/sudoku/oJ1qyQ0.369396568495001445.56666666666667123.3543312335433
BASE/sudokuGrade4/DTy07w0.3976838047698280647.8120.19599346688443
BASE/sudokuGrade3/eI8dvg0.408910803223761650.166666666666664122.68364218104253
BASE/sudokuGrade2/u80Tfw0.44658151260504254.9122.93388429752066
BASE/sudokuGrade5/BQfUQA0.4472998385360602655.4123.85428123854281
BASE/knightThrough/gcwFjA0.450092044246538375.19826724425191611.549342652687635
BASE/sudokuGrade1/tDRNRw0.4648253644575619557.733333333333334124.20435231779251
BASE/skirmish/Y_psYQ0.47344218593802073.69876707764078647.8125
BASE/cittaceot/fDxhXg0.696876403361344569.199.1567509915675
DRESDEN/blockerparallel/dVQgSg0.8561757065260175362.53333333333336423.43333333333334
BASE/blockerParallel/7-nDJA0.8651902316213494362.73333333333335419.2526915769474
DRESDEN/quad_5x5/JAEP5g0.91867428571428575.3333333333333335.8054670912951165
BASE/quad_5x5/JAEP5g0.98472015968063885.4666666666666675.551492586929061
BASE/blokbox_simple/JBx4bg0.99127986577181234.94.943104535049597
BASE/coins_atomic/AA3SSw1.03996707190493792905.6333333333332793.9666666666667
BASE/coins/QnGtnQ1.05889345803462032909.7333333333332747.9
DRESDEN/coins/QwFP9w1.06673614561494932934.22750.633333333333
DRESDEN/logistics/fPru1Q1.2824858757062145378.3333333333333295.0
DRESDEN/ggp-course2013_michal13/jWKddg1.5624336363636364171.83333333333334109.97800439912018
DRESDEN/smallest/9kaGFw1.972660936007640868.834.87674883411059
DRESDEN/tictactoe_3d_small_6player/llDEDQ2.0270023690656753403.26557814061977198.94677198946772
BASE/tictactoe_3d_small_6player/g_9lww2.037228115942029406.03333333333336199.30675909878684
STANFORD/multiplesukoshi/vLSQPg2.095103902699813261.23333333333335124.68753124687531
STANFORD/skirmish/w4V6Vw2.11976090014064685.0632911392405072.388614271970275
STANFORD/selectivesukoshi/3xmXYg2.157961460446247283.7131.46666666666667
DRESDEN/quad_7x7/q-JOXg2.347373106060606255.0666666666666723.458847050983007
BASE/quad_7x7/q-JOXg2.347720113314447455.223.51217237819296
DRESDEN/quad_5x5_8_2/JRTLJg2.39984079601990045.3333333333333332.222369643094069
BASE/pearls/6k_mEQ2.459797324007199335260.8666666666714334.866666666667
BASE/doubletictactoe/HH1htg2.47296330369007443225.7333333333331304.4
BASE/conn4/va9Y7A2.4862812522386991156.8666666666666465.3
DRESDEN/doubletoetictac/V89gKQ2.5145308535405063204.2666666666671274.3
BASE/ticTacToeSerial/Amrwqw2.53857920822370441382.9333333333334544.7666666666667
DRESDEN/bunk_t/7-tPfA2.53966279346761643198.3666666666671259.3666666666666
DRESDEN/doubletictactoe/lJzgmQ2.5448245084398713231.33333333333351269.7666666666667
BASE/bunk_t/xbpfIA2.5669978517722883186.51241.3333333333333
BASE/doubletoetictac/fu35bg2.60976201385332733227.66666666666651236.7666666666667
DRESDEN/quad/JPe6fg2.61384946236559125.3333333333333332.0404133482524847
BASE/quad/tw-Ufg2.6357142857142865.4666666666666672.074074074074074
BASE/qyshinsu/R08Lzw2.89342383361439171.559.272339574865065
DRESDEN/tictactoeparallel/yk_DSg3.03071546808901943295.61087.4
BASE/blocksWorldParallel/RseaAQ3.2408196930054081857.9573.2808906369787
DRESDEN/chomp/-LcqYQ3.313722383778437744.4333333333333224.65168988734084
DRESDEN/tictactoe_3d_6player/ulZPWg3.328627015596088139.8666666666666742.01932689103632
BASE/chomp/-LcqYQ3.41958129753915764.2223.4776522347765
BASE/tictactoe_3d_6player/d7KSwg3.490192228698307139.5333333333333339.97869578243068
STANFORD/madness/UO_B3A3.4925091636121298.0639786737754082.3089355806972987
BASE/double_tictactoe_dengji/zgaSbA3.7363265289021973368.9333333333334901.6699443351888
DRESDEN/lightsout/XgLpzQ3.7366300185246983685.4381872709096986.3
DRESDEN/double_tictactoe_dengji/bGaUyQ3.78857121416779253365.766666666667888.4
DRESDEN/lightsout2/LFtfyQ3.8115176058754893702.0971.2666666666667
BASE/haystack/UkweGA3.888859745455258552881.2333333333313598.133333333333
DRESDEN/smallest_4player/ADDROA3.9763696248856366144.836.41512577044811
BASE/smallest_4player/ADDROA4.0084487084870855144.836.123700346574246
BASE/futoshiki6/JmvXNA4.038779539941448536.4666666666667132.82890570314322
DRESDEN/slidingpieces/s9_44g4.1641280041125811080.0259.3580213992867
BASE/hidato37/pBrqxw4.170849782743637574.6333333333333417.894035321559482
DRESDEN/latenttictactoe/kITHKg4.2517008589666135395.2666666666661268.9666666666667
BASE/slidingpieces/uFJWEw4.2610958898797991098.9257.8914036198793
BASE/checkers-mustjump-torus/uSApKQ4.2899606060606066.2666666666666671.4607748746721556
BASE/hidato19/rRHSmA4.479315972222222616.3333333333334137.59541348621713
DRESDEN/javastrike/whONTQ4.788735866789254520.7333333333333108.7412936981371
BASE/futoshiki5/TJ4BZg5.1361964787940151014.3333333333334197.487252974306
BASE/brain_teaser_extended/ZDp94A5.3574903249518958260.01541.7666666666667
BASE/factoringMediumTurtleBrain/8RBqmQ5.4375110397318622595.6477.35075497483416
DRESDEN/grid_game2/kypTYQ5.5412601032957482407.9666666666667434.55218159394684
DRESDEN/CephalopodMicro/H3XQfg5.625616109682948145.8666666666666725.92901183136144
DRESDEN/brain_teaser_extended/ZDp94A5.6457313757476898306.01471.2
BASE/lightsOut/5P1ZBw5.7289992983176743719.3333333333335649.2116929435686
BASE/withConviction/3Xm54A5.816252205087353406.9666666666667585.7666666666667
DRESDEN/chickentictactoe/Ipbo-g6.03821863520385111122.61842.0333333333333
BASE/factoringGeorgeForman/HGRorQ6.13141741632957120310.9333333333343312.6
BASE/sum15/QZ07Kg6.269692030040169514359.2666666666662290.266666666667
BASE/snake_2009_big/-oRfVw6.365080888888889859.2134.98650134986502
DRESDEN/sum15/CsgWKg6.40161433649289214407.92250.6666666666665
DRESDEN/snake_2009_big/DgC1NQ6.429428914457229856.8133.26222459251358
DRESDEN/tictactoex9/rFkD4w6.6576058546785162122.6666666666665318.8333333333333
BASE/tictactoex9/BI26ow6.709638888888892118.8333333333335315.7894736842105
BASE/ticTacToeParallel/ymRGPw6.719250369089583367.8501.2166261124629
DRESDEN/blocker/S815zQ6.91862782921810714346.4666666666672073.6
DRESDEN/eotcatcit/mQUxzA6.92486013661793314936.02156.866666666667
BASE/cephalopodMicro/9l2D3g6.933562939632545146.6333333333333321.148338106973956
DRESDEN/backgammon/mqCW0Q6.9529719626168225347.049.906716417910445
STANFORD/multipletictactoe/_bkafQ7.0482388925547131424.1666666666667202.05993133562214
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw7.0692102564102579.0666666666666661.282557221783741
DRESDEN/snake_2009/zIYLVw7.1970950171474691189.2165.23333333333332
BASE/eotcatcit/AfZSzA7.28041963642187915151.7666666666662081.1666666666665
BASE/snake_2009/7l-qAQ7.3049408989221081197.2163.88907406172922
BASE/checkers-cylinder-mustjump/rjr6qQ7.3513513513513519.0666666666666661.2333333333333334
DRESDEN/grid_game/U7_Yeg7.6772834500426981498.2195.14715195147153
DRESDEN/buttons/ADUaHw7.79405174169892130608.83927.2
BASE/chickentoetictac/l57rfQ7.825557543752454511953.81527.5333333333333
BASE/survival/YVIjJA7.86602494366306653988.26863.466666666666
BASE/buttons/hTcUjw7.90694458670490730878.23905.2
DRESDEN/chickentoetictac/cxYaRQ7.94939661746893511813.3333333333341486.0666666666666
DRESDEN/ggp-course2013_jordi/9QI6Kw8.003958706661473684.666666666666685.54100436535705
DRESDEN/tictictoe/LAUtwg8.1662109612346588959.9666666666671097.2
BASE/eotcitcit/V_9_bg8.2075718874588858827.7907364211931075.5666666666666
DRESDEN/sat_test_20v_91c/dK7nVw8.3386098522714641668.1666666666667200.0533297780148
DRESDEN/tictactoe/BTTzPw8.48364566172432816478.6333333333351942.4
DRESDEN/babel/WdSW4A8.54771221719457755.466666666666788.38232353529294
BASE/snakeAssemblit/UO4sdg8.8400958690816651854.4666666666667209.77902209779023
DRESDEN/pawn_whopping_corrected/7Ov0jQ8.8882369376920927422.566666666667835.1
DRESDEN/pawn_whopping_simultaneous/r8dLfw9.0091418460631094073.3333333333335452.1333333333333
BASE/futoshiki4/BaCwSw9.0930513324211623101.233333333333341.0552981567281
BASE/lightsOnParallel/SC6enA9.16870527446900913367.6666666666661457.9666666666667
BASE/blocksWorldSerial/Wyg96Q9.35232717316906210931.01168.8
DRESDEN/tictactoe_orthogonal/y69QFQ9.36863236683380617189.5666666666661834.8
BASE/tictactoe_orthogonal/WRzlVw9.41461064344284717260.4333333333341833.3666666666666
STANFORD/sukoshi/4LYZZQ9.4294943021783512163.7333333333341289.9666666666667
DRESDEN/pawn_whopping/4ogBkg9.6938564558896237189.933333333333741.7
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw10.0741404011461312812.7279.2
BASE/chickentictactoe/DSlZCA10.14272699665958111133.3333333333341097.6666666666667
BASE/onestep/xi53wA10.32016173920243774782.37246.233333333334
DRESDEN/lightson2x2/gBHuig10.37207400592865316911.6666666666681630.5
DRESDEN/gt_prisoner/huCp4w10.3783973869235442082.6666666666665200.67324356752434
BASE/untwistycomplex2/EDPPAQ10.4861375486220329564.2666666666662819.366666666667
BASE/connect4/50bOyw10.5439292441921581114.2333333333333105.67534242010197
DRESDEN/tictactoe_3player/ESLQQQ10.5853600542645842687.5333333333333253.89153694876836
BASE/duplicateStateSmall/bCPAXw10.64802418186084425715.3333333333322415.0333333333333
DRESDEN/connect4/T0-rHQ10.7845765650080261119.5103.80565182617968
DRESDEN/sat_test_20v_91c_version2/a1mPBA11.0123623873873871629.6666666666667147.985201479852
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA11.0128765398550731620.9333333333334147.18528147185282
STANFORD/untwistycorridor/EDPPAQ11.02234503503348330780.6333333333352792.5666666666666
DRESDEN/peg/Vo31eg11.0718816285482563791.866666666667342.4771681887874
DRESDEN/tpeg/h-Scbg11.1736365388321453865.3333333333335345.93333333333334
DRESDEN/peg_bugfixed/u_B7MA11.2055393804165053849.9666666666667343.57709486034264
BASE/tpeg/QNs7Lw11.3455749611711443814.633333333333336.2221259291357
BASE/blocksWorld/SEdXLQ11.41432895319651730923.72709.2
BASE/blocks/xIV5hQ11.56070618281902931082.52688.633333333333
BASE/lightsOnSimultaneous/_VN6lw11.5738684225638325822.233333333334503.0498983367221
BASE/duplicateStateMedium/U163eQ11.583653041168668722.2752.9749008366388
BASE/incredible/8Qh-6Q11.59352431391439631.9830.8
BASE/lightsOnSimul4/9FeASw11.6380584653424236.5364.0211992933569
BASE/checkers-mustjump/T-8UuQ11.74769473684210714.81.2598216357789345
DRESDEN/toetictac/mJtxCA11.75408411539798318035.4666666666671534.4
BASE/toetictac/mTThmg11.75556086540967918039.31534.5333333333333
DRESDEN/blocks/vg0DRw11.80975757499274431193.92641.366666666667
BASE/switches/tPUoCg11.83786840529572323724.6666666666682004.1333333333334
DRESDEN/gt_chicken/CeuKtw11.9360846127601511943.3333333333333162.8116251166511
STANFORD/tictictoe/rpt_Dw11.9855758395312158863.333333333334739.5
DRESDEN/circlesolitaire/ruUilQ12.1889022195560920318.91667.0
BASE/coloredtrails/EZvr7g12.1900242326332796036.5495.2
BASE/circlesolitaire/azuQFQ12.20802547005466520322.71664.7
BASE/numbertictactoe/rvJ-iQ12.2694762684124389995.533333333333814.6666666666666
STANFORD/trifecta/ss1kyQ12.4372595129914315236.71225.0849943337112
BASE/factoringEasyTurtleBrain/lUj94Q12.4466892476275913439.5201599466841079.7666666666667
DRESDEN/tictactoe-init1/3ltIBQ12.54594927124739817674.7333333333341408.8
BASE/blocker/dIWtxg12.6666359758156113757.2333333333341086.1
BASE/lightsOn/MsXu3A12.6794322947655629124.2333333333342296.9666666666667
BASE/ticTicToe/c1OobQ12.773065204488058915.728090636454698.0100663311223
BASE/factoringImpossibleTurtleBrain/kcBhdw12.80221860465116136.42.843257182530499
STANFORD/tictactoe/ss1kyQ12.85066571694701715635.8333333333341216.7333333333333
BASE/ticTacToeNoVars/XT03NA12.85929685937187417142.31333.0666666666666
BASE/troublemaker01/s3tlEQ12.8790621393427756540.84390.133333333333
BASE/tictactoe_3player/GtM71g12.917160711424452687.2208.03333333333333
DRESDEN/catcha_mouse/cHv4dw12.9918840319361274917.533333333334378.508099460036
BASE/tictactoe-init1/7M19vA13.05811155493527118088.9666666666671385.2666666666667
DRESDEN/troublemaker01/C-lPWw13.07521320579126357136.0666666666664369.8
BASE/catcha_mouse/cHv4dw13.0844069404144324960.133333333333379.0873637545415
DRESDEN/bidding-tictactoe_10coins/mu5VhQ13.453384895259095406.730.230310302303103
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ13.4670739804893672806.8208.4194387040864
BASE/ticTacHeavenFC/mrletw13.4974744108492644046.633333333333299.80670532560157
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg13.6512918576304242799.6205.07949205079493
BASE/ticTacToe/JRFsaQ13.6515080308517416460.5333333333331205.7666666666667
BASE/ticTacHeaven/18n58A13.7137002724530514697.7342.5552481583947
BASE/mineClearingSmall/frsbvw13.7522199080255161029.766666666666774.88003199146894
DRESDEN/amazons/dNB28A13.81857309941520478.45.673523556735236
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg13.8442139408099682764.9666666666667199.72001866542232
STANFORD/dualrainbow/G3OnRQ14.00143895789154812325.0880.2666666666667
STANFORD/tictactoe3/X7myng14.06562944242615717809.91266.2
BASE/gt_prisoner/klthDw14.188410852713182155.3333333333335151.9080153307782
BASE/nineBoardTicTacToePie/B8LzeQ14.2110304789550083263.8229.66666666666666
STANFORD/duikoshi/tpw1sw14.2177113010446347984.666666666667561.6
DRESDEN/blocksworldparallel/2JfVaw14.33461052298941312096.5843.8666666666667
STANFORD/tictactoe7/-bE9-A14.34592912299245316286.9333333333321135.3
BASE/biddingTicTacToe_10coins/a-9ccQ14.389173356807513408.366666666666728.380133906265613
BASE/duplicateStateLarge/dcjyuw14.7114942667958674048.3333333333335275.1816545563629
STANFORD/tictactoe5/WFRReg14.73415150474882717168.2333333333341165.2
BASE/stateSpaceSmall/Q7osKA14.7440222817804446760.6666666666643171.5
DRESDEN/statespacesmall/h-NqjA14.7466354103438946970.03185.133333333333
DRESDEN/troublemaker02/iZLVuA14.79270395083563455201.9333333333343731.7
BASE/factoringMutuallyAssuredDestruction/NH0LGg14.96235547190104914838.666666666666991.7333333333333
DRESDEN/cubicup_3player/awDtsQ14.9747918699186992660.1666666666665177.64298093587522
BASE/cubicup_3player/e2yA_g15.0008119822021672659.4666666666667177.28818078794748
BASE/troublemaker02/DI83KA15.0352502944371954894.23651.0333333333333
BASE/stateSpaceLarge/0Ge_CQ15.12894078398665521162.8666666666651398.8333333333333
BASE/mummymaze2p/vpjDdA15.228215824175823230.615.142942723067195
DRESDEN/statespacemedium/dVJZ_w15.24536760310818930606.62007.6
DRESDEN/statespacelarge/8-y5HQ15.28750152420436620895.4666666666671366.8333333333333
DRESDEN/mummymaze2p/k-8edg15.345646902654869230.815.040095830699098
BASE/stateSpaceMedium/3bUoIw15.44935064935064930334.81963.5
BASE/gt_chicken/gmepTQ15.457084341574611958.6666666666667126.71643780829223
BASE/firefighter/WJmoPw15.87534978377003216641.61048.2666666666667
STANFORD/triplesukoshi/Iu9mbA15.9641214351425935205.9326.1
DRESDEN/bidding-tictactoe/yW5vTA15.9943747058823542174.8135.97280543891222
STANFORD/buttonsandlights/eyhJpA16.03901271503365753610.43342.5
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg16.337384313725499.1333333333333330.5590450195665757
BASE/breakthroughSmallHoles/bxclRw16.3375814969103675228.766666666666320.04533031131257
DRESDEN/checkers-cylinder-mustjump/vW_-pA16.4073882352941189.20.5607230028365987
DRESDEN/cube_2x2x2/fp-34Q16.6040353761677977089.133333333333426.95243491883605
DRESDEN/firefighter/WJmoPw16.6794214332675916912.9333333333341014.0
DRESDEN/chinesecheckers6-simultaneous/gPPGUw16.739054290718038955.857.1
BASE/tictactoe2/bhrDoQ16.7943786681830227565.7333333333341641.3666666666666
BASE/biddingTicTacToe/8mESVw17.1124868282402542165.3126.53333333333333
BASE/hodgepodge/9yjRkw17.16963106006708316893.2983.9
DRESDEN/uf20-020.cnf.SAT/hDrW_A17.3772547008547032823.3333333333335162.47292117980336
DRESDEN/2player_normal_form_2010/NG_Kdg17.411744293645930106.0666666666661729.0666666666666
DRESDEN/aipsrovers01/qS47Mw18.293400167084387299.066666666667399.0
DRESDEN/uf20-010.cnf.SAT/5ICbCg18.3970162100941472887.3333333333335156.94574056792428
BASE/aipsrovers01/4C4jsw18.71999655085817452.933333333333398.12685398126854
BASE/cubicup/4wNWJA19.3644658855340244295.4221.81866648895405
DRESDEN/cubicup/SBn_lw19.6954012362362364372.233333333334221.99260024665844
DRESDEN/8puzzle/8fKC2w19.97827398913699416552.0828.5
BASE/hallway/ckCJOw19.98604366729679352.0333333333333617.61395797955582
DRESDEN/uf20-01.cnf.SAT/42Rs8A20.047949919595682908.6666666666665145.0854914508549
STANFORD/jointbuttonsandlights/qAKuIQ20.13113311884174226696.5666666666661326.1333333333334
DRESDEN/mimikry/GJEhwA20.4114925574530873225.766666666667158.03678528588566
DRESDEN/hallway/0H4l-Q20.54146449553001357.2666666666666517.392463265918103
BASE/gt_staghunt/xPjLRA20.643224646983313216.0155.78961402573162
DRESDEN/tictactoelarge/IwXcbg21.2568681318681319085.833333333332897.8666666666667
STANFORD/breakthrough/d5j0cQ21.439071429409354060.733333333333189.4080789228103
DRESDEN/point_grab/r5DPmQ21.7789379547047630035.3333333333321379.1
DRESDEN/tictactoe_3d_small_2player/HYttcg22.234465719579995999.6269.8333333333333
BASE/gt_coordination/IVMOzA22.3242439581972584556.666666666667204.11292204112922
BASE/tictactoe_3d_small_2player/oOryKA22.4407665505226466011.133333333333267.8666666666667
BASE/nineBoardTicTacToe/wRmqqA22.619391698874144486.933333333333198.36666666666667
DRESDEN/gt_ultimatum/pAiiQw23.23392503748126516.022.208903539439948
STANFORD/nineboardtictactoe/y28P-A23.3560618172537034575.3195.8934702176594
DRESDEN/tictactoelargesuicide/6J4DeA23.44969926670511718973.933333333334809.1333333333333
BASE/maze/cCX3qQ23.475032170431843782.51865.0666666666666
BASE/gt_ultimatum/GE-uOA23.885459980954217503.832055981339621.093671898430472
STANFORD/dualhunter/1rPZjQ23.9637976042877458246.466666666667344.12186260457986
DRESDEN/chinesecheckers6/yTbPDA24.3165269744835971333.954.85569552756115
DRESDEN/othello-cornercontrol/r5Gdlg25.9858333333333314.1666666666666660.5451688419972421
BASE/asteroidsSerial/id2QkA26.29270475662497904.2300.62331255624815
DRESDEN/chinesecheckers3/QsCb2A26.4425065028468682940.7111.2110911151103
DRESDEN/god/2EDD5w27.033629314420804126.233333333333334.669492648032852
DRESDEN/oisters_farm/pTQMLg27.0364287847118630181.6666666666681116.3333333333333
STANFORD/hunter/14dD-g27.3180353710785812353.215594801733452.2
DRESDEN/chinesecheckers1/Y-ftaA27.427353795463375123.258913695435186.79377354088197
BASE/god/qF06gw27.53582749391727125.366666666666664.552856335781463
BASE/pawnWhopping/Ypc_6Q27.756138001257077359.266666666666265.14015265140154
DRESDEN/checkers-mustjump-torus/cVc3gA29.6118857142857166.40.2161294306533284
STANFORD/3puzzle/41ibjA30.75858310626703230102.4978.6666666666666
STANFORD/bestbuttonsandlights/nm0wEA30.81974076161339638281.21242.1
DRESDEN/chinesecheckers4/-oVNYg30.831518658220291922.859046984338662.36666666666667
STANFORD/threepuzzle/41ibjA31.14787259574176330283.0972.2333333333333
BASE/tron_10x10/7ZTgDg31.3954006216858667630.666666666667243.0504633024465
DRESDEN/Runners/3bOCQw31.9927596769702027659.066666666667239.4
BASE/beatMania/qUHwvQ32.0644979187314216176.0504.4831838938702
BASE/pacman2p/4LEdQg32.25538650051921688.933333333333321.358706500765187
STANFORD/rainbow/_4qNSQ32.4130285084699147070.21452.2
BASE/ticTacToeLarge/TZC0dg32.4762470308788619141.5589.4
BASE/ticTacToeLargeSuicide/727_8g32.49434626967441619062.266666666666586.6333333333333
STANFORD/8puzzle/jNiGtw32.6626283908348716536.0506.26666666666665
STANFORD/multiplebuttonsandlights/cK70Yg32.79002971277649439728.41211.6
STANFORD/eightpuzzle/W_aWbA33.72449334911901516141.666666666666478.6333333333333
STANFORD/multiplebuttonsandlights_9/SqB9BA33.80216905553436441349.0666666666661223.2666666666667
BASE/eightPuzzle/vLrgFg33.84624963092202416812.0496.7167761074631
BASE/connectFourSimultaneous/7ITr3g34.2032170769495646622.0193.607518997467
DRESDEN/frogs_and_toads/GjchhQ34.265310067114092892.26666666666784.40801093005432
BASE/3pConnectFour/PqXOFQ35.692910574170747065.3197.9468719794687
BASE/checkers/rOC3Xg36.3264434782608627.40.7542714721411472
BASE/snakeParallel/RCVNtw36.6076245694777618824.233333333334514.2161927935736
BASE/rubiksCube/9tNO9Q36.659620790241323071.666666666666583.78882815624583
DRESDEN/4pttc/9pB9AQ38.25120720720723207.466666666666783.85269121813032
STANFORD/bestbuttonsandlightsbig/g0JC6g38.3795898177390533621.8876.0333333333333
BASE/gt_dollar/TGjqRw38.6082319363076525701.5665.7
BASE/snake2p/I3wWPQ40.17818668213115512124.033333333333301.7566081130629
BASE/point_grab/V_osUg42.4734328808446429723.333333333332699.8100063331223
BASE/colonelBlottoVariant/X-n-KQ43.0314285714285820.00.46477657526060684
BASE/colonelBlottoVariant2/jruwGw45.0435555555555621.6666666666666680.4810159055926116
BASE/connect5/d-BVQg46.596693026599572160.533333333333346.36666666666667
DRESDEN/connectfoursuicide/M9CNQg46.84617583389551513887.866666666667296.45678477384087
BASE/pegEuro/5awwhg47.36596185498593170.566666666666666.93766034718288
BASE/escortLatch/mX9BjQ47.738629482071713993.333333333333583.6499366793308
DRESDEN/connectfour/5tc-Mg50.44704082526785514071.166666666666278.92947606985734
BASE/asteroidsParallel/WauZiA50.523770418434413496.133333333333267.1244291856938
BASE/connectFourSuicide/c8p9Kw54.5834456411807514192.569143618794260.01599893340443
BASE/connectFour/WAIKTw54.90070335300429613644.2248.52504916502784
BASE/asteroids/BKCmPQ55.3918869261621725472.033333333333459.8513382887237
DRESDEN/pentago_2008/hLjVpQ55.6990672557682847563.933333333333135.8
BASE/peg/fJHVWw55.958526729249013773.767.43744377436444
BASE/zhadu/DlA8iQ56.129539778449141237.766666666666722.051965356429047
BASE/kalaha5x2x3/WviNsw57.34042727272727944.716.475287069395907
BASE/tictactoe_3d_2player/IUC1rQ58.4834210500247662622.033333333333344.83378855505962
DRESDEN/tictactoe_3d_2player/LMuX9w58.6056714666666642685.466666666666745.822641383677144
BASE/dualConnect4/WbCQkg59.7820184534270646801.833333333333113.77724455108978
STANFORD/connectfour/VMpZkQ60.20830757684059614037.166666666666233.14335233143353
BASE/gt_centipede/9fRMpw60.5682626538987729516.933333333334487.3333333333333
DRESDEN/checkers-mustjump/HUr33w62.75314285714285514.40.22947057859367317
BASE/connectFourLarger/qKi60A63.090965081723632829.26666666666744.84424454439447
BASE/connectFour_9x6/B9TtMw63.8454247647849512663.133333333333198.3404978506448
BASE/checkersSmall/SYmq8w65.0478888888888951.3333333333333360.7891621728265158
BASE/connectFourLarge/aU644A65.258715596330288298.733333333334127.16666666666667
DRESDEN/pacman3p/rBnk8Q65.30990112359551549.866666666666623.730960237309603
DRESDEN/pawntoqueen/f_x6Aw66.837435897435986.61.2956810631229236
BASE/pawnToQueen/-O1_JA67.368835087719384.466666666666671.2537943777220535
BASE/hexPie/48CH6Q69.612275138121561678.633333333333424.11404209965361
DRESDEN/3pttc/uwYBZw70.1572678652364315478.0220.61862542497167
DRESDEN/knightwar/7hhAqg71.4369274330502910935.9153.08469153084692
BASE/mummyMaze2p_2007/YGA3Vw72.978042677048562185.23333333333329.94370982246944
DRESDEN/ghostmaze2p/HY0UwA73.07248160804022421.63333333333333.14015454303224
BASE/pacman3p/wW7UVQ73.226245768025081556.033333333333321.24966693312017
DRESDEN/knightstour/cGISAA73.4721497537665339120.166666666664532.4489183693877
DRESDEN/3pffa/0YrmQw74.092462051839215911.0214.74519214745192
BASE/checkers-newgoals/0XkFiA74.1654857142857132.80.4422542330048016
DRESDEN/mummymaze2p-comp2007/oTQRQg76.07990311778292196.128.86570447651745
BASE/ghostMaze2p/W-NU-w80.058062100965122395.36666666666729.920367840602406
STANFORD/pentago/ZxzLmg81.588736610365256278.56666666666776.95384102649558
BASE/nonogram_10x10_1/0Xc62g83.94279940828402944.433333333333311.250915385127488
DRESDEN/knightazons/02I8BQ84.352574064837911127.413.365330133653302
BASE/knightazons/apnJBQ85.29767814345991121.366666666666613.146508686680423
DRESDEN/SC_TestOnly_enabled/09o7gQ85.544575351155418877.8220.67793220677933
BASE/cylinder-checkers/hlldmw89.8267999999999925.20.2805398834200929
DRESDEN/cylinder-checkers/clOO3Q89.9830222222222225.2666666666666660.28079371022089106
DRESDEN/Goldrush/VeWczQ90.52834251282053922.63333333333343.3304446370242
BASE/ruleDepthLinear/OUBJpQ92.1428339489385975670.76666666666821.2333333333333
BASE/pentago/86NgKw100.513863750560797467.43333333333374.2925707429257
BASE/battlebrushes/arCwyA101.53755897435897483.86666666666674.765395894428153
BASE/pentagoSuicide/SBgNhw102.106643561973517540.26666666666673.84697414022928
DRESDEN/merrills/aYEzwA106.060000000000022.00.018857250612860643
DRESDEN/bomberman2p/x4h6jQ106.479062117647063015.628.32106087362143
BASE/bomberman2p/4CClwA108.41448931116393042.833333333333528.066666666666666
BASE/merrills/pku8Tg111.216927690769741.99933355548150620.0179768817300951
DRESDEN/checkers-newgoals/IJOqXQ113.6885333333333431.80.2797115862754848
BASE/queens06ug/7Lq3tw114.659714725274728693.075.81564301662945
DRESDEN/roshambo2/jgSlkQ123.099822119912139215.5318.56666666666666
STANFORD/knightstourmedium/x1wu8Q124.0512580578082739770.833333333336320.6
BASE/roshambo2/KNPokQ125.4523802849428239231.833333333336312.72290923635876
BASE/shmup/ssTNlg135.8502799727520519938.833333333332146.77064587082583
STANFORD/knightstour/cEwgNA137.8839720014236738740.8280.96666666666664
BASE/queens08ug/kJ_ZFQ142.551802660633175291.83605464845137.122196674331036
BASE/knightsTour/mvtVIg144.7659899416070539114.46666666667270.19099363354553
BASE/nonogram_5x5_1/qLKEZw146.198513066666667307.73333333333449.985004498650405
BASE/kalaha6x2x4/XS81Mg164.05014785714286763.14.651626407947636
BASE/checkersTiny/Lr48cg166.60182608695652127.333333333333330.7642973448974845
DRESDEN/racer/vk_ZBA180.6435555555555714.9333333333333340.08266740148801323
BASE/queens12ug/u6Bkmg182.805738693467362422.813.253413253413253
BASE/othelloHoles/c0qAzw190.4500775862069368.16666666666671.9331400193314001
BASE/racer/QQYQNw192.4485000000000215.30.07950178879024777
STANFORD/pilgrimage/ObRZnQ202.108208946171358880.443.938838735467534
BASE/amazons_8x8/7SOsIw212.469469366197222008.99.455005493225022
BASE/chess_200/XsTpYA214.141725680.43.177335010260144
BASE/queens16ug/gT-ylw216.294173299017561428.3238920359886.603617056578729
BASE/4pttc/AL1k2Q217.290082122158653094.435188270576414.241032807612964
BASE/othello-comp2007/86ZoMw217.49965555555556477.766666666666652.196631831192172
BASE/4pffa/Q3ADlg220.9984701792443812097.300899700154.739297018157586
BASE/chineseCheckers1/gqtwHw223.7534820576540830011.8134.1288623712543
BASE/reversi/d8UMeA237.29753035714285438.71.8487339473771087
BASE/reversiSuicide/9OxJlg241.13105636363636437.566666666666661.8146425154244614
BASE/3pffa/pR0dzA245.8972633228122815277.9073642119362.13126229125696
STANFORD/freeforall/Lfp40Q246.7452076677316220588.1372875708183.4388537154282
BASE/othelloSuicide/B442jg248.8440908045977476.36666666666671.9143177767509407
BASE/dotsAndBoxes/EHwA_w257.06020814393947537.16666666666729.32062772798454
BASE/dotsAndBoxesSuicide/jzQbLw260.778167471264347555.76666666666628.97392346887801
BASE/2pffa/6oHijA266.5380793879020319291.56947684105472.37828651404578
DRESDEN/snake_2008/E56l3A296.709159477124161510.95.092191972309126
BASE/snake_2008_tweaked/bX0NJQ297.464755263157941501.25.0466482950961185
BASE/snake_2008/i6K26g299.540671052631641513.13333333333345.051512130275839
BASE/2pffa_zerosum/o0_uZA309.4148210845939419285.5714761746162.329178054796344
DRESDEN/connect5/1kYzSg319.18613694581282132.66.681367870190567
BASE/knightsTourLarge/M8jgLA335.483858239986335367.6107964012105.42269002731331
BASE/knightwar/DVGY4Q347.2212561702127710873.831.316631130063964
BASE/amazonsSuicide_10x10/XIbQkg358.764204597701171385.46666666666673.8617750848924697
BASE/amazons_10x10/Bun8dA377.4011309523811399.63333333333343.7086092715231787
DRESDEN/kitten_escapes_from_fire/uW-YiA385.751826361937729810.66666666666877.2793921620901
BASE/kitten_escapes_from_fire/uW-YiA391.788597398801729779.06666666666676.00799733422193
BASE/chineseCheckers4/avfBcQ411.315067952301124522.36666666666559.619422134835204
BASE/chineseCheckers2/eCMR3Q417.427786452241742818.1102.5760655846969
BASE/racer4/0vs7Ww418.53173333333336120.80.28862805464691166
BASE/crossers3/O0rORg436.5161051444.73.3096144299189145
DRESDEN/small_dominion/yB5GJA437.68417471953796171.109630123292250.3909431503502199
DRESDEN/crossers3/xiPTxg442.914074829931961442.33333333333333.256463082341995
DRESDEN/quartosuicide/WIU1oQ454.13386346666671880.06666666666664.139895343445717
BASE/quarto/EwBMVQ455.65364693333331886.73333333333334.140718166158739
STANFORD/knightstourbig/TQUI2g459.1737487347295435077.3666666666776.3923607639236
DRESDEN/quarto/OQzRYQ467.74149726775961896.33333333333334.054233683370995
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg468.528834254143652823.96666666666676.027306027306027
DRESDEN/knightfight/4_Ly4w468.77057653333335855.53333333333412.4912561207155
BASE/chineseCheckers3/-1rZdQ472.482894528469735394.174.91086007531074
BASE/wargame02/BkVqqQ472.86159848484851033.16666666666672.1849240242327936
BASE/quartoSuicide/-23jUg473.531730000000041880.43.9710116152089743
BASE/chineseCheckers6/rREH3A478.983017804154321518.044.924348463640605
BASE/knightfight/SJRkAg484.763584856879055831.76666666666612.030125299920021
DRESDEN/battle/8oAvhQ496.7650888888889479.33333333333330.9649094593290662
DRESDEN/four_way_battle/xSOQXA499.9916923076923858.66666666666661.7173618679612932
BASE/battle/8oAvhQ502.07824444444446483.66666666666670.9633292659430993
BASE/four_way_battle/xSOQXA507.1759607843137857.01.6897488569345969
BASE/choicethroughalt/tt71Lg572.5005908675813921.56666666666824.317121918720854
BASE/speedChess/bPnisA572.61608948545862842.66666666666654.964349970013993
BASE/2pttc/unkkYA655.357321962816520137.2875708097330.72718789575418
BASE/3pttc/0sol9g682.718322580645214814.021.698553429771348
BASE/skirmishNew/sibw2g688.12826501035193683.1333333333335.352393617021277
BASE/amazonsTorus_10x10/Uxc08g702.67669219858151100.56666666666661.5662490002665956
DRESDEN/Zhadu/9zpQ5w704.043533420025918039.76666666666625.623084099693457
BASE/wargame03/klXI8w753.06029523809531559.92.0714144801736043
BASE/wargame01/_GZFZg856.15745252525261860.96666666666672.1736266631537347
BASE/guess/SPpk1A871.27790952380952232.6333333333332.5624812805750605
DRESDEN/guess/PhxGhg892.86368947368422239.62.508333608369913
DRESDEN/fizzbuzz/t1xHzQ941.9073061224496136.06.514441453119288
STANFORD/platformjumpers/HEQskA1000.27494545454545468.75.467196819085487
DRESDEN/hanoi/RQ0jiA1065.570078740157422554.56666666666621.166666666666668
BASE/hanoi/iGLsJg1075.669059047619222584.53333333333320.995800839832032
DRESDEN/checkers/jIDMIg1116.426666666666732.2666666666666660.028901734104046242
DRESDEN/battlebrushes/QHXV4A1145.5384296296297309.066666666666660.2698003477426704
BASE/knightmove/jBaJEw1908.27318396624475004.7666666666662.6226678175419957
DRESDEN/knightmove/97Ipcw1914.0999050632914982.52.603051171373027
DRESDEN/max_knights/hCipiA2805.500723254.53333333333331.1600543568327202
DRESDEN/hitori/S8Gsyg2888.876059259259794.93333333333330.27517045280826735
BASE/max_knights/2fq3Ag2921.8430909090913193.81.093077177873468
BASE/hitori/S8Gsyg3027.543805.73333333333330.2661343978709248
DRESDEN/pancakes88/aD3E7g4381.01270163934444495.810.156510156510157
DRESDEN/pancakes/hl9aiQ4864.01602508038650333.0333333333310.348040194316896
DRESDEN/pancakes6/SZXMyQ4871.3742386923950427.6333333333310.35182904503545
BASE/pancakes/yUgbXw5303.53567985611548999.19.23894981721502
BASE/pancakes6/QZTdnw5542.45623698296850577.266666666679.125424631985613
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA7497.64855555555552859.33333333333350.3813640119494057
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g7930.76763636363652905.33333333333350.36633696339960703
DRESDEN/satlike_20v_91c/yeuENQ8034.36163636363652938.00.36567933246900036
BASE/skirmishZeroSum/zh4hcw8196.5386285714283710.40.4526788889966696
BASE/hanoi_6_disks/MeubgQ8885.03496666666618937.0666666666662.131344078859731
DRESDEN/satlike_20v_91c_version2/yd9ioQ8995.6442934.00.32615786040443573
DRESDEN/hanoi_6_disks/MeubgQ9049.70470370370518805.6666666666682.0780420226275687
DRESDEN/kalaha_2009/gcC8uA13868.29575659.50.047554509356349715
BASE/kalaha_2009/dRiN3g14074.4946648.40.04606914979384055
BASE/gt_tinfoil/Q8DyKg17559.933066666678777.3333333333340.49985004498650404
BASE/pancakes88/l2Xaig37275.5581472842444200.26657780741.1857707509881423
BASE/hanoi7_bugfix/3gdnFw66950.2842592592618978.0333333333330.28346456692913385
DRESDEN/hanoi7_bugfix/3gdnFw67750.4650968195819035.1882705764730.2809602597321512
DRESDEN/hanoi7/51zz5Q67861.1423703703818914.5333333333330.2787240631774543
BASE/solitaireChineseCheckers/-ET6gw119723.96167718.40.06446829771459885
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A155692.175812016.0666666666680.07717835918808366
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA159380.4073666666512253.4333333333320.07688167909587146
DRESDEN/Travelers-Dilemma/PvZwYw163617.9380000000242284.00.2584313218762114
DRESDEN/twisty-passages/j7NPyg215451.091211356.2666666666660.052709255745308874
BASE/twisty-passages/DiZmmg216776.9087999999811462.40.05287648054145516
DRESDEN/vacuum_cleaner_1/eUNjpw284365.606466666714644.4333333333320.051498609537542483
BASE/amazonsSuicide/dE1QEQInfinity8.1333333333333330.0
DRESDEN/farmers/S_ASnwInfinity59.3333333333333360.0
BASE/amazons/RKKZjwInfinity8.10.0
DRESDEN/vacuumcleaner_random_big/DwzFaQInfinity1.03333333333333340.0
BASE/gt_two_thirds_2p/1APDGgInfinity19034.2333333333340.0

Games with errors:

GameFLUXPLAYER_PROLOG:1.1 error messageREKKURA_GENERIC_FORWARD_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