index

CADIAPLAYER_PROLOG:3.0 vs. REKKURA_BACKWARD_PROVER_OSTD:1.0.0

Game-by-game performance:

GamePerf ratioCADIAPLAYER_PROLOG:3.0 states per secondREKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per second
DRESDEN/golden_rectangle/1uloXw0.0126019061705188835.535412803409814439.25202493250225
DRESDEN/quad/JPe6fg0.2769125551267916450.23026315789474181.39395353488217
BASE/quad/tw-Ufg0.2827412305321248552.32912774085845185.07780999033622
BASE/golden_rectangle/_nYzfw0.3130673664304879137.01915070774353437.6666666666667
BASE/queens16ug/gT-ylw0.3487963187167726496.8374846197333277.6333333333333
BASE/majorities/ibJzSQ0.40855767233144163165.08714957916362404.0730617958803
BASE/factoringMediumTurtleBrain/8RBqmQ0.48982816076102165673.85660075893751375.7
BASE/wallmaze/uxNQ9g0.5320808770365041381.14726825048245716.3333333333334
BASE/queens12ug/u6Bkmg0.5464039685088039268.9310689310689492.183593880204
DRESDEN/quad_7x7/q-JOXg0.5488449170999513359.1338477913784654.3448551714943
BASE/quad_7x7/q-JOXg0.5583349827459027364.48753831800616652.8115729475684
BASE/tictactoex9/BI26ow0.6184346673279946514.8880895283773832.5666666666667
DRESDEN/small_dominion/yB5GJA0.637270209326426213.7807665551396321.624683459949352
DRESDEN/tictactoex9/rFkD4w0.640236344103793516.5806.7333333333333
DRESDEN/ggp-course2013_michal13/jWKddg0.6609130882447658305.2757554602573461.9
DRESDEN/hallway/0H4l-Q0.7557375980070075205.04313205043132271.31524565028997
BASE/hallway/ckCJOw0.7596208540125711205.0839583195062269.98200119992
STANFORD/multipletictactoe/_bkafQ0.7629837270721933616.0125274871726807.3730875637478
BASE/zhadu/DlA8iQ0.852321439798375733.57027463651050439.386871042985675
DRESDEN/catcha_mouse/cHv4dw0.8676782004300851041.87906046976511200.7666666666667
BASE/catcha_mouse/cHv4dw0.9053643328294521043.4927512081321152.5666666666666
BASE/simultaneousWin2/PfjRjw0.9349392711793739951.8305073453481018.0666666666667
BASE/lightsOnSimul4/9FeASw0.99769844091068871059.0901516413931061.5333333333333
STANFORD/multiplesukoshi/vLSQPg1.0213282307323015388.46626582068234380.3539882003933
DRESDEN/lightsout2/LFtfyQ1.09410386312191183235.00983235009832956.766666666667
BASE/queens08ug/kJ_ZFQ1.0978970268310371009.3333333333334919.3333333333334
DRESDEN/lightsout/XgLpzQ1.16268505198576743233.89220359321372781.4
BASE/lightsOnSimultaneous/_VN6lw1.1727651010082871447.1921346442261234.0
BASE/tron_10x10/7ZTgDg1.22583188771487131554.61268.2
BASE/conn4/va9Y7A1.25194890062762791627.03279125566521299.6
DRESDEN/blocker/S815zQ1.259559655532814860.7666666666663859.1
STANFORD/selectivesukoshi/3xmXYg1.2670704932769121512.0061194625515404.08653044898506
DRESDEN/firefighter/WJmoPw1.34005037783375313706.2666666666672765.766666666667
DRESDEN/sheep_and_wolf/enAIzQ1.360008945147062843.6760934012858620.3459884670511
BASE/firefighter/WJmoPw1.4017653382273183704.3985338220592642.6666666666665
BASE/lightsOut/5P1ZBw1.4240699476307923224.2367684308762264.1
BASE/cubicup_3player/e2yA_g1.4709172232779453594.1817215727949403.953201559948
DRESDEN/cubicup_3player/awDtsQ1.4812349812049712589.6599906846762398.0867304423186
DRESDEN/tictactoe_orthogonal/y69QFQ1.55314750649216877037.4666666666664531.1
DRESDEN/latenttictactoe/kITHKg1.55404544875643612847.16666666666651832.1
BASE/tictactoe_orthogonal/WRzlVw1.56380603084931767049.5333333333344507.933333333333
BASE/withConviction/3Xm54A1.56552146640278662398.01359818690841531.7666666666667
BASE/blocker/dIWtxg1.59732284601744584878.1707276424123053.9666666666667
DRESDEN/sum15/CsgWKg1.62963060149438788280.5333333333335081.233333333334
BASE/sum15/QZ07Kg1.63218720651153088342.05110.933333333333
BASE/onestep/xi53wA1.637502064428008524456.96666666666714935.533333333333
BASE/blocks2player/wnTLOQ1.68255435980966067885.0666666666674686.366666666667
DRESDEN/blocks2player/3ev8nQ1.69870063038723767922.44663.8
BASE/lightsOnParallel/SC6enA1.70863799579807424587.1804273190892684.7
DRESDEN/racetrackcorridor/O0DoTA1.73097600613177631535.5488150394988887.1
STANFORD/triplesukoshi/Iu9mbA1.7611763943237352283.2477834811011296.4333333333334
DRESDEN/lightson2x2/gBHuig1.77093240098851034822.8392386920432723.3333333333335
DRESDEN/slidingpieces/s9_44g1.77266824414222771440.6474820143885812.7
BASE/slidingpieces/uFJWEw1.8226870279411451455.7193729823277798.6666666666666
BASE/factoringEasyTurtleBrain/lUj94Q1.8347121250804524962.3458847050982704.7
BASE/factoringGeorgeForman/HGRorQ1.88303704250571249501.6166127795735045.9
BASE/racetrackcorridor/_RkdUg1.88325359968600961781.1812545830278945.8
BASE/lightsOn/MsXu3A1.90409750150640529983.5005499816675243.166666666667
BASE/chomp/-LcqYQ1.9111265994710133564.6333333333331865.2
BASE/queens06ug/7Lq3tw1.9353438540999662271.4485700953271173.6666666666667
DRESDEN/chomp/-LcqYQ1.94111269717940843580.91844.7666666666667
DRESDEN/mimikry/GJEhwA1.95812591258914261591.642228739003812.8395720142662
BASE/factoringMutuallyAssuredDestruction/NH0LGg1.97170873280068863817.491001199841936.1333333333334
BASE/coloredtrails/EZvr7g1.97377383291195563075.9949336710891558.4333333333334
DRESDEN/blockerparallel/dVQgSg1.97478301331006171349.6983634969836683.4666666666667
DRESDEN/blocks/vg0DRw1.989220882051481213650.16862.033333333334
BASE/toetictac/mTThmg1.99696452561635359166.44590.166666666667
BASE/blocksWorld/SEdXLQ2.00848156380942313884.76913.033333333334
BASE/dotsAndBoxes/EHwA_w2.01017209942622271586.307938199254789.1403619879337
DRESDEN/bunk_t/7-tPfA2.0196563770338463976.43411886270451968.8666666666666
DRESDEN/toetictac/mJtxCA2.0214838281883159145.8666666666674524.333333333333
BASE/doubletictactoe/HH1htg2.02163220236900234027.91992.4
DRESDEN/eotcatcit/mQUxzA2.0246268656716426872.9333333333333394.6666666666665
DRESDEN/tictactoe/BTTzPw2.0278888705975776980.4666666666663442.233333333333
BASE/blocks/xIV5hQ2.03915636236078213951.56841.8
BASE/futoshiki6/JmvXNA2.0458217624369351129.8696970706835552.2815906136462
BASE/dotsAndBoxesSuicide/jzQbLw2.0585415009359781583.1556503198294769.0666666666667
DRESDEN/doubletictactoe/lJzgmQ2.06056629460306564030.39898670044341955.9666666666667
BASE/bunk_t/xbpfIA2.0715342167992853980.8673044231861921.7
BASE/sudokuGrade6H/ieE_9A2.0727190498240833383.509331208076185.0271657611413
BASE/blockerParallel/7-nDJA2.075459677844661353.4313235343132652.111596280124
BASE/doubletoetictac/fu35bg2.0792679729422663965.2333333333331907.0333333333333
BASE/futoshiki5/TJ4BZg2.10194397036173661683.1666666666667800.7666666666667
DRESDEN/troublemaker01/C-lPWw2.104274676487801523730.46666666666711277.266666666666
BASE/eotcatcit/AfZSzA2.10734139960758656873.8666666666673261.866666666667
BASE/troublemaker01/s3tlEQ2.139570876685992723593.33333333333211027.133333333333
DRESDEN/cube_2x2x2/fp-34Q2.1420116773578262641.9572028531431233.4
BASE/sudokuGrade6E/ihYFZA2.154452804069852381.5535916007708177.1
BASE/blockerSerial/3eqDuw2.16991393214403332086.227584827678961.4333333333333
DRESDEN/chickentictactoe/Ipbo-g2.1783511558770026545.83004.9333333333334
BASE/sudokuGrade3/eI8dvg2.1892963199427573413.9091605851578189.06036465451152
STANFORD/sudoku/oJ1qyQ2.196877613952972408.6788428209572186.02713242891903
BASE/chickentoetictac/l57rfQ2.1983238551331948568.73897.8333333333335
BASE/sudokuGrade4/DTy07w2.210150771049279415.9824485589868188.21451188214513
DRESDEN/cubicup/SBn_lw2.2145579606463821007.6976906927922455.03333333333336
DRESDEN/doubletoetictac/V89gKQ2.2167057113679384001.96660111329631805.3666666666666
BASE/cubicup/4wNWJA2.21976634190341013.3635485053487456.5181160627979
DRESDEN/chickentoetictac/cxYaRQ2.22155119243421068644.53891.2
BASE/sudokuGrade2/u80Tfw2.2242957733008617419.22385675297875188.47487001733103
BASE/sudokuGrade1/tDRNRw2.234588451623603430.7999334774655192.78714752349845
BASE/sudokuGrade5/BQfUQA2.250897080428117417.52749083638787185.4938168727709
DRESDEN/buttons/ADUaHw2.27845663926534818459.68101.8
DRESDEN/connect4/T0-rHQ2.3110470132975591307.2052256215425565.6333333333333
DRESDEN/tictactoe-init1/3ltIBQ2.3154525654774416981.1666666666673015.0333333333333
DRESDEN/grid_game/U7_Yeg2.3531534840239251339.919368273748569.4143528549048
BASE/brain_teaser_extended/ZDp94A2.35354829275460287673.7442085263833260.5
STANFORD/breakthrough/d5j0cQ2.35366971634694132119.793402199267900.6333333333333
BASE/tictactoe-init1/7M19vA2.37367132787888446982.2333333333342941.5333333333333
DRESDEN/brain_teaser_extended/ZDp94A2.37845260921386767649.53216.1666666666665
BASE/connect4/50bOyw2.3796069031714921310.2115608862237550.6
BASE/buttons/hTcUjw2.394895354772843518766.47836.0
BASE/futoshiki4/BaCwSw2.395843771622173347.2333333333331397.1
STANFORD/trifecta/ss1kyQ2.40189028148756967014.02920.2
BASE/ticTacToe/JRFsaQ2.4143474005411946989.1333333333332894.8333333333335
BASE/switches/tPUoCg2.417957727444726614909.9333333333326166.333333333333
STANFORD/tictactoe7/-bE9-A2.433475190571956938.02851.0666666666666
STANFORD/tictactoe/ss1kyQ2.4342804342804347025.3333333333332886.0
BASE/chickentictactoe/DSlZCA2.45460267902104966499.1333333333332647.733333333333
STANFORD/duidoku/3SoMaA2.47597370390216400.7241803142544161.84508732169044
BASE/troublemaker02/DI83KA2.486970502840613523098.7333333333349287.9
DRESDEN/troublemaker02/iZLVuA2.501772562236034523358.4666666666679336.766666666666
BASE/haystack/UkweGA2.526681550659563733800.7666666666713377.533333333333
DRESDEN/peg_bugfixed/u_B7MA2.5476607006793011916.77498916775752.3666666666667
DRESDEN/circlesolitaire/ruUilQ2.57265535250169110525.3333333333344091.233333333333
BASE/circlesolitaire/azuQFQ2.576633595620937610544.14092.2
DRESDEN/peg/Vo31eg2.58316870659881871919.0360321322623742.9
DRESDEN/knightmove/97Ipcw2.6153438041143517986.4419201172591377.17485500966603
BASE/knightmove/jBaJEw2.627159089886022984.9766822118588374.9208359721343
BASE/hexPie/48CH6Q2.6386659498571885342.21215955250716129.69135390973935
DRESDEN/tictactoeparallel/yk_DSg2.6396609298741333425.41297.6666666666667
BASE/breakthroughSmallHoles/bxclRw2.6676313684683982936.4396893643971100.7666666666667
STANFORD/tictactoe5/WFRReg2.6706486174376086937.92597.8333333333335
DRESDEN/tpeg/h-Scbg2.67888551366434061980.7679488034132739.4
DRESDEN/tictactoe_3d_small_6player/llDEDQ2.69073506816264941653.0979347101932614.3666666666667
BASE/eotcitcit/V_9_bg2.70352175745443066842.4333333333332530.9333333333334
BASE/tpeg/QNs7Lw2.72612307760068571981.8006066464452726.9666666666667
BASE/hex/T1MK8g2.7295173236352275349.53688278803224128.05812945803612
STANFORD/hex/MTqWcw2.7484750696521063356.29398486256804129.63333333333333
BASE/blocksWorldSerial/Wyg96Q2.7662954946109398264.42987.5333333333333
DRESDEN/tictactoelargesuicide/6J4DeA2.80029490799750575487.5512448755131959.6333333333334
STANFORD/jointbuttonsandlights/qAKuIQ2.804907310654437312079.3333333333344306.5
BASE/tictactoe_3d_small_6player/g_9lww2.81121849637057461665.1784226835039592.3333333333334
DRESDEN/ggp-course2013_jordi/9QI6Kw2.8115485473862796845.9385620043979300.8799413372442
BASE/numbertictactoe/rvJ-iQ2.83725461777541545872.8333333333332069.9
STANFORD/tictactoe3/X7myng2.8545809879023936913.72421.9666666666667
DRESDEN/tictactoelarge/IwXcbg2.8586012695985715448.3034464369041905.9333333333334
DRESDEN/tictictoe/LAUtwg2.87312011650376686839.3666666666672380.4666666666667
DRESDEN/roshambo2/jgSlkQ2.87953652443540615292.0666666666685310.6
BASE/double_tictactoe_dengji/zgaSbA2.9168774702098153818.67875474968331309.1666666666667
BASE/roshambo2/KNPokQ2.918132139823255615343.7333333333345258.066666666667
STANFORD/duikoshi/tpw1sw2.92764920828258254006.01368.3333333333333
DRESDEN/double_tictactoe_dengji/bGaUyQ2.9283206315911153814.9185081491851302.7666666666667
STANFORD/buttonsandlights/eyhJpA2.937034364296095728896.69838.7
DRESDEN/tictactoe_3player/ESLQQQ2.9845441646676112869.937668744375961.6
BASE/ticTacToeSerial/Amrwqw2.99572493804273733340.7325934073261115.1666666666667
STANFORD/tictictoe/rpt_Dw2.9978147311071536676.2333333333342227.0333333333333
BASE/incredible/8Qh-6Q3.0199801486945827374.187527082432441.8
DRESDEN/blocksworldparallel/2JfVaw3.09046711275444258051.82605.366666666667
BASE/tictactoe_3d_small_2player/oOryKA3.12785762532893632494.883503883204797.6333333333333
BASE/ticTicToe/c1OobQ3.15229840820222276825.5666666666672165.266666666667
DRESDEN/tictactoe_3d_small_2player/HYttcg3.1764767981275562514.4990333977735791.6
BASE/snake2p/I3wWPQ3.17937966515002833563.7666666666671120.9
BASE/ticTacToeParallel/ymRGPw3.19442131557035853324.96666666666671040.8666666666666
BASE/ticTacToeLarge/TZC0dg3.24001856789045835432.971135257651676.8333333333333
STANFORD/sukoshi/4LYZZQ3.26396346599284078266.9666666666672532.8
STANFORD/multiplebuttonsandlights_9/SqB9BA3.283710310933962716971.25168.3
BASE/survival/YVIjJA3.30118794637344933865.56666666666610258.6
BASE/ticTacToeLargeSuicide/727_8g3.33144211870073555480.3333333333331645.0333333333333
BASE/untwistycomplex2/EDPPAQ3.341190614981054621398.7666666666666404.533333333334
STANFORD/multiplebuttonsandlights/cK70Yg3.35706020040501817019.45069.733333333334
BASE/tictactoe_3player/GtM71g3.357972808060442866.813318668133853.7333333333333
STANFORD/bestbuttonsandlights/nm0wEA3.371097608833917316607.64926.466666666666
STANFORD/untwistycorridor/EDPPAQ3.41177114900142421803.8333333333326390.766666666666
BASE/hodgepodge/9yjRkw3.427206437012823710904.03181.6
BASE/tictactoe2/bhrDoQ3.528510130303064610443.5666666666682959.766666666667
DRESDEN/8puzzle/8fKC2w3.56373446498039538261.4492367175522318.2
DRESDEN/backgammon/mqCW0Q3.56394872282771941100.3552103044185308.74608359442703
BASE/ticTacHeavenFC/mrletw3.57312800601620362041.9235511713932571.4666666666667
BASE/maze/cCX3qQ3.615810123784261721810.5666666666666032.0
STANFORD/bestbuttonsandlightsbig/g0JC6g3.62468778408338713689.63776.766666666667
DRESDEN/uf20-020.cnf.SAT/hDrW_A3.75593220338983041846.6666666666667491.6666666666667
BASE/pearls/6k_mEQ3.797597711384347533408.18797.166666666666
STANFORD/threepuzzle/41ibjA3.82864929313575213486.83522.6
DRESDEN/stratego/Z2wovg3.8315596315475172587.749116843298675.3774874170861
STANFORD/3puzzle/41ibjA3.92124650854979513430.43425.0333333333333
BASE/blocksWorldParallel/RseaAQ3.99380717004715677029.51760.1
DRESDEN/bidding-tictactoe/yW5vTA4.0285911190897325282.557248091731311.2666666666667
BASE/nim3/1OwUqw4.0422381123064595721.5185654289721415.4333333333334
BASE/nim4/twk16w4.0533487903438625623.3458884703841387.3333333333333
DRESDEN/chinesecheckers1/Y-ftaA4.0552157301210512515.231302493001620.2459918002734
DRESDEN/nim3/sG_axA4.0685104637446375709.4763507883071403.3333333333333
DRESDEN/uf20-010.cnf.SAT/5ICbCg4.1459728881894061986.3356107315446479.1
BASE/nineBoardTicTacToePie/B8LzeQ4.14633539875803253171.808368869936764.9666666666667
DRESDEN/nim4/F5YAYg4.1907966084984725667.6333333333331352.4
BASE/snakeParallel/RCVNtw4.2286248913379799566.72262.366666666667
DRESDEN/pawn_whopping/4ogBkg4.3425598044037544751.0499300046671094.0666666666666
BASE/ticTacHeaven/18n58A4.3552519736103842708.676377454085621.9333333333333
DRESDEN/pawn_whopping_corrected/7Ov0jQ4.3933361280268474675.388307446171064.2
BASE/nim2/eF2Qqw4.4367157855529956352.9333333333331431.9
BASE/tictactoe_3d_6player/d7KSwg4.458946720546169629.6050006649821141.2003865764655
BASE/biddingTicTacToe/8mESVw4.4606862668469665267.6244125195831180.9
BASE/hidato19/rRHSmA4.4725148532642452653.156456236251593.213559548015
DRESDEN/nim2/z5_exA4.509549634520166375.01413.6666666666667
DRESDEN/quad_5x5/JAEP5g4.540817617457294958.1680610646312211.0122321101223
BASE/quad_5x5/JAEP5g4.544110709231011963.1357909472702211.95253649756683
DRESDEN/pawn_whopping_simultaneous/r8dLfw4.5572713902586733511.7162761241293770.5743141895271
BASE/3pConnectFour/PqXOFQ4.57416873962788453476.368242117192760.0
DRESDEN/sat_test_20v_91c/dK7nVw4.5838234420263232182.8967539825367476.2174594180194
STANFORD/8puzzle/jNiGtw4.5914583834322668234.6275620729881793.4666666666667
BASE/eightPuzzle/vLrgFg4.6643369805860378233.1766823317671765.1333333333334
BASE/nim1/hin2Qw4.6676885633380926648.51424.3666666666666
DRESDEN/nim1/M9BALA4.7178250282535186606.2131262291261400.2666666666667
DRESDEN/quad_5x5_8_2/JRTLJg4.8556847157919671092.5290610531927225.0
DRESDEN/tictactoe_3d_6player/ulZPWg4.866481105901984626.1330311916822128.66237792073596
DRESDEN/javastrike/whONTQ4.86914706513040851358.0316182052213278.9054427890544
BASE/crisscross/ICagEg4.9234291950611134200.013332000133853.0666666666667
BASE/ticTacToeNoVars/XT03NA4.99343049398858310438.62090.4666666666667
DRESDEN/Catch-Me-If-You-Can/ghGWrA5.20601509712837813149.72525.866666666667
DRESDEN/crisscross/GsY16g5.20785536012179054223.744292237443811.0333333333333
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA5.2108264396434022162.6666666666665415.03333333333336
DRESDEN/catch_me/ghGWrA5.2129688463027713123.4753049390132517.4666666666667
BASE/pegEuro/5awwhg5.2316184351554121626.9791006966434310.9896336788774
DRESDEN/Thief_Police/CX18rA5.24309257704832312933.8355388153722466.8333333333335
DRESDEN/CatchMeIfYouCanTest/CX18rA5.27520803342554213155.4896340243982493.8333333333335
DRESDEN/sat_test_20v_91c_version2/a1mPBA5.32723386099302052184.5210319312046410.06666666666666
DRESDEN/uf20-01.cnf.SAT/42Rs8A5.3554750955423182037.2654244858504380.40797280181323
BASE/cittaceot/fDxhXg5.3833920408415251556.0554555755516289.04739684021064
STANFORD/nineboardtictactoe/y28P-A5.523730536679333441.1622.9666666666667
DRESDEN/oisters_farm/pTQMLg5.5265060122136915793.2804479701352857.733333333333
BASE/coins_atomic/AA3SSw5.61198944386606257726.41376.7666666666667
BASE/nineBoardTicTacToe/wRmqqA5.6226755098306983444.825862356274612.6666666666666
BASE/coins/QnGtnQ5.6355471808927177676.3666666666671362.1333333333334
DRESDEN/tictactoe_3d_2player/LMuX9w5.705878817194032836.2358895807665146.55689620691953
DRESDEN/coins/QwFP9w5.8784965259082647642.6333333333331300.1
BASE/pawnWhopping/Ypc_6Q5.9554374839317854632.933333333333777.9333333333333
BASE/tictactoe_3d_2player/IUC1rQ6.020259307702811841.8932862896515139.8433594400933
BASE/peg/fJHVWw6.0209315403604441910.5785895213971317.3227559081364
BASE/connectFourSimultaneous/7ITr3g6.0691144956838172898.310168983102477.5507483083897
DRESDEN/hanoi/RQ0jiA6.13100375609366210228.9666666666671668.4
BASE/sheepAndWolf/g4THrg6.303807266814363834.9608398600234132.45342132453422
BASE/hanoi/iGLsJg6.31376708820965210215.8856076261581618.0333333333333
BASE/battlebrushes/arCwyA6.579527777777777849.9333333333333129.17847025495752
STANFORD/untwistycomplex/HTWEwg6.67385764853739919293.92890.9666666666667
DRESDEN/3pttc/uwYBZw6.8572210602171925724.6367151046525834.8333333333334
BASE/aipsrovers01/4C4jsw7.20658480932035158445.6369575361641171.9333333333334
DRESDEN/bidding-tictactoe_10coins/mu5VhQ7.2830310185682084523.582547248425621.1126295790141
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw7.4062444887682244350.674887518747587.4333333333333
DRESDEN/aipsrovers01/qS47Mw7.45217693962866358393.3868871037631126.3
BASE/escortLatch/mX9BjQ7.4583373650240763362.467095398354450.8333333333333
BASE/chinook/XQh0IQ7.518565035257498720.110504593263295.77765188122771
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg7.5982449161515263973.375541486171522.9333333333333
DRESDEN/connectfoursuicide/M9CNQg7.69605410590787555166.361121295957671.3
BASE/biddingTicTacToe_10coins/a-9ccQ7.81277723371161954520.733333333334578.6333333333333
DRESDEN/mummymaze2p/k-8edg8.011993620975218363.9387890884896745.4242484836366
BASE/breakthroughSuicideSmall/XSbJog8.0185287619996812916.338910739284363.7
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg8.0350215388061383984.5671810939634495.9
BASE/mummymaze2p/vpjDdA8.04367568289332363.7210230485249645.21826057980673
DRESDEN/connectfour/5tc-Mg8.2139691918126185190.133333333333631.8666666666667
BASE/breakthroughSmall/HJ0tIA8.3150386283573762910.720831805912350.0549981667278
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ8.3620412268602394160.9517144856545497.6
BASE/connectFour/WAIKTw8.407872741978975197.466666666666618.1666666666666
BASE/connectFourSuicide/c8p9Kw8.5594156916297955223.066666666667610.2129929002367
DRESDEN/bomberman2p/x4h6jQ8.6423206340956341108.3128.24101846297407
BASE/bomberman2p/4CClwA8.7976174599531871110.1483086152307126.18738126187381
BASE/hidato37/pBrqxw8.858618900014761560.010665600106763.21647560650493
DRESDEN/pentago_2008/hLjVpQ8.8679985042106963463.5446157945576390.56666666666666
STANFORD/connectfour/VMpZkQ9.1111451044781955178.733333333334568.3954403039797
DRESDEN/chinesecheckers4/-oVNYg9.347558491826672133.353321340529228.2257258091397
DRESDEN/ggp-course2013_nicolai/uEin8g9.415956093029067722.155688622754576.69488700753283
BASE/2pffa_zerosum/o0_uZA9.7355598120565225426.095650724879557.3480883970534
BASE/connectFour_9x6/B9TtMw9.7666310811201974977.400753308223509.6333333333333
BASE/dualConnect4/WbCQkg9.8516292715484363443.9349.57669488700753
BASE/endgame/jYjfOA10.125297398770988729.574836731973872.05465755707382
BASE/guess/SPpk1A10.1918855078504952444.7888544478888239.8760123987601
DRESDEN/guess/PhxGhg10.3111779526830982437.1375241650558236.35878804039865
DRESDEN/frogs_and_toads/GjchhQ10.64826018199632376.099120703437223.14435223144352
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg10.9115159216755534129.645059156807378.46666666666664
BASE/blokbox_simple/JBx4bg10.95675358309070578.147755858599237.132382349020131
DRESDEN/fizzbuzz/t1xHzQ11.1443224435057489372.375174988334841.0
BASE/reversiSuicide/9OxJlg12.473254449350863456.4906801342326636.597560162655824
BASE/reversi/d8UMeA12.4765671575313458.660631074424236.76176509798694
DRESDEN/Runners/3bOCQw12.58901567270403615077.8640711976261197.7
BASE/asteroids/BKCmPQ13.02516804238162416275.3816412239181249.5333333333333
BASE/asteroidsSerial/id2QkA13.0619003606699849724.149421840115744.4666666666667
BASE/connectFourLarge/aU644A13.544712546033464335.066493350665320.0559981333956
BASE/minichess-evilconjuncts/4OpQzw13.5674150859522292849.871670944302210.05266315578962
BASE/qyshinsu/R08Lzw13.6897567056801092880.4930867899384210.4122921041229
DRESDEN/minichess-evilconjuncts/th24Tw13.772508036725452843.643757082861206.47247033728837
BASE/asteroidsParallel/WauZiA14.19079248979723210409.892344098924733.5666666666667
BASE/chineseCheckers4/avfBcQ14.286561186335194227.446929049888295.9037429590374
BASE/breakthroughHoles/nZk0Sg14.4041600531492421864.7964283334443129.46235125495818
DRESDEN/breakthroughsuicide/Y9QzqQ14.5807397173759152027.208845372498139.03333333333333
DRESDEN/pancakes/hl9aiQ14.82277937054682619531.482283923871317.6666666666667
BASE/pentagoSuicide/SBgNhw15.0407988901117643439.8307061685605228.7
BASE/pentago/86NgKw15.115090023036373432.4081170237578227.08486100926604
STANFORD/pentago/ZxzLmg15.1615548855082653634.2455251491615239.70137315024664
STANFORD/platformjumpers/HEQskA15.227545205218714389.73421926910325.594028060119307
DRESDEN/breakthrough/z4hK7Q15.2362758454010922034.2116659449016133.51108148641893
BASE/othello-comp2007/86ZoMw15.377436910078984308.543046357615920.064660200646603
DRESDEN/pancakes88/aD3E7g15.38052633032336518565.8333333333321207.1
BASE/breakthroughSuicide/wZDpIg15.383157719583432032.115134756971132.1
DRESDEN/breakthroughsuicide_v2/LU1nAw15.6012131215842342034.850403145199130.42898570047666
BASE/englishDraughts/jFkQxg15.6125081629902684007.463681194189256.6828878074795
DRESDEN/pancakes6/SZXMyQ15.67138829509790919695.6666666666681256.791440285324
DRESDEN/knightthrough/J7Fc_Q15.7335520651418771959.4189378290132124.53760789149199
BASE/breakthrough/TGxk-g15.884503653796322042.8128.6033258906255
BASE/breakthroughWalls/vOZaYA16.4080772547964852033.0333333333333123.90442230146299
DRESDEN/ghostmaze2p/HY0UwA18.5741187753760822489.468070923877134.02886570447652
BASE/minichess/8NQEiA19.031821561338294266.3224.16666666666666
BASE/ghostMaze2p/W-NU-w19.1004357019024062488.537918166067130.28697130286972
DRESDEN/endgame/IJhh3Q19.621588022631492740.770358523257437.75282396454633
DRESDEN/mummymaze2p-comp2007/oTQRQg20.2108295307806042056.240421136803101.73953612370035
BASE/choicethroughalt/tt71Lg20.2500269018516871915.269491016966294.58108378324336
DRESDEN/minichess/c7GMFw20.312870879392844103.466666666666202.0131320201313
BASE/checkersSmall/SYmq8w20.6368568407976551849.195509510643289.60645139791396
BASE/mummyMaze2p_2007/YGA3Vw21.224155100975722080.050656535359498.00393215368723
BASE/checkers/rOC3Xg21.329692281444161299.880287310454860.94228975076636
BASE/checkersTiny/Lr48cg21.9025855301153352884.5705143161895131.7
BASE/checkLines/Vop7oQ22.7007247835715737516.966666666666331.1333333333333
BASE/god/qF06gw24.121316011077386930.865596055174338.59099543439864
BASE/racer/QQYQNw24.578420438683608472.378542173087819.21923922456865
BASE/knightazons/apnJBQ24.9594147638533141213.859538015399548.63333333333333
DRESDEN/knightazons/02I8BQ25.1917918803217771217.116427644494748.31400773024124
DRESDEN/god/2EDD5w25.41094962292989933.242234368750836.72598813570619
BASE/pancakes6/QZTdnw25.4513262814604619779.07403086564777.1333333333333
BASE/pancakes/yUgbXw25.77241711136383319640.3762.0666666666667
DRESDEN/racer/vk_ZBA25.82085555828143468.313963168936718.137042830044262
BASE/ttcc4_2player_small/Cv72TA28.0956131639047486109.859342710486217.46666666666667
BASE/connectFourLarger/qKi60A28.2650642722607163349.780117270789118.51309040037306
DRESDEN/kitten_escapes_from_fire/uW-YiA28.3903151742851218135.733333333334638.8
BASE/kitten_escapes_from_fire/uW-YiA28.71601544856312718230.233333333334634.8455051498283
BASE/2pttc/unkkYA29.336257945736446054.6206.38624091727218
DRESDEN/capture_the_king/EQ229Q29.6528439770681941359.442703819745245.845272206303726
BASE/knightThrough/gcwFjA29.8348771192634961948.692320506413465.31591575579846
DRESDEN/hanoi_6_disks/MeubgQ30.704154002026349091.5296.1
BASE/hanoi_6_disks/MeubgQ30.8335667605845429118.933333333332295.7469502033198
DRESDEN/amazons/dNB28A36.17685183057158438.3029578727218312.115563839701771
DRESDEN/connect5/1kYzSg37.40504091623492771.327880843141220.620960756879207
BASE/3pttc/0sol9g39.7224453078888055478.684043865204137.92413839077395
DRESDEN/Zhadu/9zpQ5w39.935400887302221636.206092114910540.971320075946835
BASE/crossers3/O0rORg40.210718213631061909.18180303282847.47942558224769
DRESDEN/crossers3/xiPTxg40.308441161313071911.772548496766847.428590474285905
BASE/ttcc4/Le0qjQ42.4018406071963344001.39995333488994.36854381872709
BASE/chess_200/XsTpYA42.62406075984546522.85514532077112.266666666666667
BASE/connect5/d-BVQg43.34596317304511776.324111987749217.909951819239076
BASE/tttcc4/8Bs2lg43.63991385630924007.4651736319491.83027232425586
BASE/amazons_8x8/7SOsIw43.710495531294322189.82283202344550.09833005566481
DRESDEN/tttcc4/sAvtFg43.87846730278973994.53424429261891.03632122625791
STANFORD/ttcc4/Cx9SGw44.949573778390574176.4784274529492.91475038325669
BASE/ttcc4_2player/_aH_Mw47.590918962966544451.58817451588193.53860508514113
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA47.920857440345211856.604779840671938.74314607479397
DRESDEN/satlike_20v_91c_version2/yd9ioQ49.519964952077882032.32794534244341.040577215860196
DRESDEN/satlike_20v_91c/yeuENQ49.5584267500446242044.530364642357241.254948930365636
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g49.8266372405774052011.199253383107840.36393713813069
BASE/hanoi7_bugfix/3gdnFw51.57290575179168789.996334433003170.43826028995167
BASE/ttcc4_2player_alt/ZEJvYA51.610455449759014686.38757416172290.80306564478506
DRESDEN/hanoi7_bugfix/3gdnFw54.9821514445690068863.122812864523161.2
BASE/racer4/0vs7Ww55.987063183242235893.380882548993415.956916325920016
BASE/twisty-passages/DiZmmg56.35733650930823723.2172581396966.0644645178494
DRESDEN/twisty-passages/j7NPyg57.108963285136353683.958180728507664.50753032120485
DRESDEN/hanoi7/51zz5Q57.1852312185696558796.994735789965153.83333333333334
BASE/amazonsSuicide_10x10/XIbQkg67.995430952523341479.34352009054921.75651362697408
BASE/amazons_10x10/Bun8dA69.57830055113341477.87581155318821.24047008689283
DRESDEN/blobwars/ZaMluQ70.597921255978521302.01565883724818.442691168148073
BASE/blobwars/0XT15Q70.920389019752591288.860751057945418.173345759552657
BASE/speedChess/bPnisA76.38287346321781772.560772560772623.206259364075244
BASE/skirmishZeroSum/zh4hcw77.062602240471521596.70015301709820.71952031978681
DRESDEN/knightfight/4_Ly4w91.438546770025854717.651.59312091721104
BASE/knightfight/SJRkAg91.51444397708284751.85814751858151.92467922012998
BASE/amazonsTorus_10x10/Uxc08g99.512840178472461271.898902560691812.781254160564506
BASE/pawnToQueen/-O1_JA131.02221204314074649.31515979604764.955763985897692
DRESDEN/quartosuicide/WIU1oQ131.899159744570653048.42203485853323.111762355135205
DRESDEN/pawntoqueen/f_x6Aw135.05628851907514650.10662401705994.813597583242041
DRESDEN/quarto/OQzRYQ136.167595076994873046.39690687287522.37240736425076
BASE/quarto/EwBMVQ137.205764861345763068.221963006165422.362194227821103
BASE/quartoSuicide/-23jUg140.15968703140833074.066666666666621.93260224659178
DRESDEN/checkers/jIDMIg292.43326401597074657.82731658625862.249495517549373
BASE/wargame02/BkVqqQ296.485403759465271183.29891412963823.991086573319586
BASE/wargame01/_GZFZg559.0242374238442283.01949675054174.083936516368949
BASE/wargame03/klXI8w592.47730302626311930.34262098386883.258087037468001
BASE/pancakes88/l2Xaig738.882074010554118652.325.24394711426383
BASE/amazonsSuicide/dE1QEQ1317.809045281684117.239320774741320.08896533317517274
BASE/amazons/RKKZjw1392.0587310426151116.643191719348820.0837918610172332
DRESDEN/hitori/S8Gsyg1684.10339696766551870.85916150103321.1108932888976017
BASE/hitori/S8Gsyg1774.7679086258041870.94623870946251.0541920606160435
DRESDEN/battlebrushes/QHXV4A2277.712090409174833.32777870354940.36586177077097054
DRESDEN/farmers/S_ASnw3778.77481319728355082.1639278690711.3449237329834345
DRESDEN/merrills/aYEzwAInfinity1130.93453273363320.0
BASE/merrills/pku8TgInfinity1132.73864998002930.0

Games with errors:

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

index