index

CADIAPLAYER_PROLOG:3.0 vs. REKKURA_BACKWARD_PROVER:1.0.0

Game-by-game performance:

GamePerf ratioCADIAPLAYER_PROLOG:3.0 states per secondREKKURA_BACKWARD_PROVER:1.0.0 states per second
DRESDEN/golden_rectangle/1uloXw0.0116866938434270125.535412803409814473.6508783040565
DRESDEN/quad/JPe6fg0.2796639108906056650.23026315789474179.60938541527796
BASE/quad/tw-Ufg0.2800872931390945352.32912774085845186.83149511845656
BASE/golden_rectangle/_nYzfw0.29935271922393053137.01915070774353457.7180760641312
BASE/queens16ug/gT-ylw0.3575657078248146796.8374846197333270.8243058564714
BASE/majorities/ibJzSQ0.4255472688095255165.08714957916362387.94080394640355
BASE/factoringMediumTurtleBrain/8RBqmQ0.4780707095201278673.85660075893751409.5333333333333
BASE/wallmaze/uxNQ9g0.5357383430838982381.14726825048245711.4429519016032
BASE/queens12ug/u6Bkmg0.5593796067345259268.9310689310689480.76666666666665
DRESDEN/quad_7x7/q-JOXg0.5606794043370812359.1338477913784640.5333333333333
BASE/quad_7x7/q-JOXg0.5665902974009113364.48753831800616643.3
DRESDEN/ggp-course2013_michal13/jWKddg0.6464270143678134305.2757554602573472.25092496916767
DRESDEN/small_dominion/yB5GJA0.687229888292104413.7807665551396320.052629825788614
BASE/simultaneousWin2/PfjRjw0.7279774434763656951.8305073453481307.5
DRESDEN/hallway/0H4l-Q0.7406735655042673205.04313205043132276.8333333333333
BASE/hallway/ckCJOw0.7530203056543661205.0839583195062272.3485100993267
BASE/tictactoex9/BI26ow0.8031740165272109514.8880895283773641.0666666666667
DRESDEN/tictactoex9/rFkD4w0.8068631535096855516.5640.1333333333333
BASE/lightsOnSimul4/9FeASw0.83048524620319391059.0901516413931275.2666666666667
BASE/catcha_mouse/cHv4dw0.85546216691927521043.4927512081321219.8
DRESDEN/catcha_mouse/cHv4dw0.85770187734188441041.87906046976511214.7333333333333
BASE/zhadu/DlA8iQ0.89081439645530833.57027463651050437.68492602958816
BASE/lightsOnSimultaneous/_VN6lw0.97776645810703731447.1921346442261480.1
STANFORD/multipletictactoe/_bkafQ0.9957099043434903616.0125274871726618.6666666666666
STANFORD/multiplesukoshi/vLSQPg1.0433640502136339388.46626582068234372.32092263591215
BASE/queens08ug/kJ_ZFQ1.07823238258020871009.3333333333334936.1
DRESDEN/lightson2x2/gBHuig1.09863834739937974822.8392386920434389.833333333333
DRESDEN/lightsout2/LFtfyQ1.11017174709942973235.00983235009832913.9724018398774
DRESDEN/lightsout/XgLpzQ1.16685228167752823233.89220359321372771.4666666666667
BASE/lightsOnParallel/SC6enA1.1874658108514344587.1804273190893863.0
BASE/tron_10x10/7ZTgDg1.22216981132075461554.61272.0
DRESDEN/blocker/S815zQ1.24592447026657554860.7666666666663901.3333333333335
STANFORD/selectivesukoshi/3xmXYg1.2602710521723455512.0061194625515406.26666666666665
DRESDEN/firefighter/WJmoPw1.32766546861380123706.2666666666672791.5666666666666
BASE/firefighter/WJmoPw1.34184926363996353704.3985338220592760.6666666666665
BASE/factoringMutuallyAssuredDestruction/NH0LGg1.3477303007436833817.491001199842832.5333333333333
DRESDEN/sheep_and_wolf/enAIzQ1.3844077272948627843.6760934012858609.4130195660144
BASE/conn4/va9Y7A1.40722434808481681627.03279125566521156.2
DRESDEN/cubicup_3player/awDtsQ1.423066980414442589.6599906846762414.3585641435856
BASE/lightsOut/5P1ZBw1.4353118821938583224.2367684308762246.366666666667
BASE/factoringGeorgeForman/HGRorQ1.48388565292034819501.6166127795736403.2
BASE/cubicup_3player/e2yA_g1.4977852470699877594.1817215727949396.70688620758614
BASE/blocker/dIWtxg1.53639946488548664878.1707276424123175.0666666666666
DRESDEN/latenttictactoe/kITHKg1.54880414876063032847.16666666666651838.3
BASE/withConviction/3Xm54A1.56797820329999922398.01359818690841529.3666666666666
BASE/onestep/xi53wA1.58982842977928624456.96666666666715383.4
DRESDEN/sum15/CsgWKg1.64113947465778748280.5333333333335045.6
BASE/sum15/QZ07Kg1.65668173784100468342.05035.366666666667
BASE/factoringEasyTurtleBrain/lUj94Q1.69042179864367964962.3458847050982935.5666666666666
DRESDEN/blocks2player/3ev8nQ1.69097778062367927922.44685.1
BASE/lightsOn/MsXu3A1.69245340321221729983.5005499816675898.833333333333
BASE/blocks2player/wnTLOQ1.69519072973922017885.0666666666674651.433333333333
BASE/tictactoe_orthogonal/WRzlVw1.70941980956691847049.5333333333344123.933333333333
DRESDEN/tictactoe_orthogonal/y69QFQ1.72070809154332647037.4666666666664089.866666666667
STANFORD/triplesukoshi/Iu9mbA1.73891075383800952283.2477834811011313.0333333333333
DRESDEN/racetrackcorridor/O0DoTA1.76628443890897451535.5488150394988869.3666666666667
DRESDEN/slidingpieces/s9_44g1.79339689244455071440.6474820143885803.3065564481184
BASE/slidingpieces/uFJWEw1.80632755054265771455.7193729823277805.9
DRESDEN/chomp/-LcqYQ1.85679964048672573580.91928.5333333333333
BASE/racetrackcorridor/_RkdUg1.88020540596378721781.1812545830278947.3333333333334
DRESDEN/tictactoe/BTTzPw1.8931619295581116980.4666666666663687.2
BASE/coloredtrails/EZvr7g1.92153606551167473075.9949336710891600.8
BASE/chomp/-LcqYQ1.9461854844580333564.6333333333331831.6
DRESDEN/connect4/T0-rHQ1.94833847221016891307.2052256215425670.9333333333333
BASE/queens06ug/7Lq3tw1.94890482204661252271.4485700953271165.5
BASE/eotcatcit/AfZSzA1.9546540284360196873.8666666666673516.6666666666665
DRESDEN/mimikry/GJEhwA1.9595874281680181591.642228739003812.2333333333333
BASE/blocksWorld/SEdXLQ1.96340831102228613884.77071.733333333334
DRESDEN/blocks/vg0DRw1.964957318272769813650.16946.766666666666
DRESDEN/eotcatcit/mQUxzA1.98398860727825586872.9333333333333464.2
DRESDEN/doubletictactoe/lJzgmQ1.98633147590046824030.39898670044342029.0666666666666
BASE/dotsAndBoxes/EHwA_w1.9876885032987061586.307938199254798.0666666666667
BASE/dotsAndBoxesSuicide/jzQbLw1.98795633120899051583.1556503198294796.3734542181927
BASE/connect4/50bOyw1.99241417409705531310.2115608862237657.6
BASE/blocks/xIV5hQ1.99331822035109113951.56999.133333333333
DRESDEN/bunk_t/7-tPfA1.99520026034255123976.43411886270451993.0
DRESDEN/blockerparallel/dVQgSg2.00001484753892141349.6983634969836674.844171860938
BASE/toetictac/mTThmg2.01173423851815039166.44556.466666666666
BASE/blockerParallel/7-nDJA2.02195805517799881353.4313235343132669.3666666666667
BASE/doubletoetictac/fu35bg2.03383542204517063965.2333333333331949.6333333333334
DRESDEN/tictactoe-init1/3ltIBQ2.0397146643683096981.1666666666673422.6192460251323
DRESDEN/toetictac/mJtxCA2.0479030295792639145.8666666666674465.966666666666
DRESDEN/doubletoetictac/V89gKQ2.0497677735675564001.96660111329631952.4
BASE/doubletictactoe/HH1htg2.06167784204330264027.91953.7
BASE/sudokuGrade6H/ieE_9A2.089969107400959383.509331208076183.5
BASE/bunk_t/xbpfIA2.09071844705534773980.8673044231861904.0666666666666
DRESDEN/troublemaker01/C-lPWw2.098110293770924623730.46666666666711310.4
DRESDEN/chickentictactoe/Ipbo-g2.09962791891198376545.83117.6
BASE/futoshiki6/JmvXNA2.1008503738343711129.8696970706835537.8154061531283
BASE/tictactoe-init1/7M19vA2.1114347922504696982.2333333333343306.866666666667
BASE/troublemaker01/s3tlEQ2.118007552770645723593.33333333333211139.4
BASE/sudokuGrade2/u80Tfw2.124010908141907419.22385675297875197.3736835088655
BASE/futoshiki5/TJ4BZg2.14735275356155641683.1666666666667783.8333333333334
BASE/sudokuGrade4/DTy07w2.150891667833437415.9824485589868193.4
DRESDEN/cube_2x2x2/fp-34Q2.1619354650880852641.9572028531431222.0333333333333
BASE/sudokuGrade6E/ihYFZA2.1626656530539816381.5535916007708176.42745241825273
BASE/blockerSerial/3eqDuw2.1645107226294432086.227584827678963.8333333333334
DRESDEN/cubicup/SBn_lw2.17551314916405941007.6976906927922463.2
BASE/cubicup/4wNWJA2.1932573353237251013.3635485053487462.03586427571497
STANFORD/sudoku/oJ1qyQ2.1952310267911757408.6788428209572186.16666666666666
DRESDEN/tictactoelarge/IwXcbg2.20266967715257875448.3034464369042473.5
BASE/sudokuGrade5/BQfUQA2.2050831381031766417.52749083638787189.34773189347732
STANFORD/tictactoe7/-bE9-A2.21129124790174866938.03137.5333333333333
BASE/ticTacToe/JRFsaQ2.22782523694164656989.1333333333333137.2
DRESDEN/chickentoetictac/cxYaRQ2.2417146413567768644.53856.2
BASE/sudokuGrade3/eI8dvg2.2438154711880616413.9091605851578184.46666666666667
DRESDEN/tictactoelargesuicide/6J4DeA2.249334426570465487.5512448755132439.633333333333
BASE/chickentoetictac/l57rfQ2.25797129455580378568.73794.866666666667
BASE/sudokuGrade1/tDRNRw2.273426350792866430.7999334774655189.49368354388187
STANFORD/tictactoe/ss1kyQ2.28164378816091467025.3333333333333079.0666666666666
BASE/cittaceot/fDxhXg2.30823099620582231556.0554555755516674.1333333333333
STANFORD/trifecta/ss1kyQ2.3174008810572697014.03026.6666666666665
BASE/brain_teaser_extended/ZDp94A2.33594778650652927673.7442085263833285.0666666666666
BASE/buttons/hTcUjw2.338259114356201318766.48025.8
STANFORD/breakthrough/d5j0cQ2.33989999506873232119.793402199267905.9333333333333
DRESDEN/buttons/ADUaHw2.343957132336135518459.67875.4
DRESDEN/grid_game/U7_Yeg2.34470258097366061339.919368273748571.4666666666667
STANFORD/tictactoe5/WFRReg2.3507149149556146937.92951.4
BASE/switches/tPUoCg2.357537777168728314909.9333333333326324.366666666667
DRESDEN/brain_teaser_extended/ZDp94A2.36168570546464947649.53239.0
BASE/chickentictactoe/DSlZCA2.3635217533608916499.1333333333332749.766666666667
BASE/futoshiki4/BaCwSw2.39333126772648173347.2333333333331398.5666666666666
DRESDEN/knightmove/97Ipcw2.4076020212689464986.4419201172591409.7196760107996
BASE/haystack/UkweGA2.4590185004207433800.7666666666713745.633333333333
STANFORD/tictactoe3/X7myng2.4629625231558456913.72807.0666666666666
DRESDEN/troublemaker02/iZLVuA2.471202674490774723358.4666666666679452.266666666666
BASE/troublemaker02/DI83KA2.48682770327252923098.7333333333349288.433333333332
STANFORD/duidoku/3SoMaA2.4924811422738813400.7241803142544160.77320446592233
BASE/tictactoe_3d_small_6player/g_9lww2.54394014770612161665.1784226835039654.5666666666667
BASE/knightmove/jBaJEw2.5560319559759517984.9766822118588385.353821539282
DRESDEN/circlesolitaire/ruUilQ2.56479819352952210525.3333333333344103.766666666666
DRESDEN/tictactoeparallel/yk_DSg2.58273851412486183425.41326.2666666666667
DRESDEN/peg/Vo31eg2.58746431298732031919.0360321322623741.6666666666666
BASE/circlesolitaire/azuQFQ2.588800955896193710544.14072.9666666666667
DRESDEN/tictactoe_3d_small_6player/llDEDQ2.61221691026103731653.0979347101932632.8333333333334
DRESDEN/peg_bugfixed/u_B7MA2.6412773724235221916.77498916775725.7
BASE/eotcitcit/V_9_bg2.6510099183799986842.4333333333332581.0666666666666
STANFORD/jointbuttonsandlights/qAKuIQ2.653379511323614712079.3333333333344552.433333333333
BASE/hex/T1MK8g2.6664518419245695349.53688278803224131.0868913108689
BASE/ticTacToeLarge/TZC0dg2.6761646863544185432.971135257652030.1333333333334
BASE/breakthroughSmallHoles/bxclRw2.68241498982771282936.4396893643971094.7
BASE/tictactoe2/bhrDoQ2.682560747983629810443.5666666666683893.133333333333
STANFORD/hex/MTqWcw2.7074913474827516356.29398486256804131.59561347955068
DRESDEN/tictictoe/LAUtwg2.70794509700409156839.3666666666672525.6666666666665
BASE/hexPie/48CH6Q2.710414258419831342.21215955250716126.25824945003666
DRESDEN/tpeg/h-Scbg2.74091505830730631980.7679488034132722.6666666666666
BASE/ticTacToeLargeSuicide/727_8g2.77195171297545165480.3333333333331977.0666666666666
BASE/double_tictactoe_dengji/zgaSbA2.7966107470581613818.67875474968331365.4666666666667
BASE/blocksWorldSerial/Wyg96Q2.80218811455955138264.42949.266666666667
BASE/tpeg/QNs7Lw2.8155909357545631981.8006066464452703.8666666666667
BASE/roshambo2/KNPokQ2.841800480309175615343.7333333333345399.3
BASE/ticTacToeSerial/Amrwqw2.8899904207797163340.7325934073261155.9666666666667
BASE/numbertictactoe/rvJ-iQ2.90303180095567645872.8333333333332023.0
DRESDEN/double_tictactoe_dengji/bGaUyQ2.909116576713243814.9185081491851311.3666666666666
DRESDEN/ggp-course2013_jordi/9QI6Kw2.9262080939345028845.9385620043979289.09036365454483
STANFORD/buttonsandlights/eyhJpA2.93388340248681828896.69849.266666666666
DRESDEN/roshambo2/jgSlkQ2.946050950096647615292.0666666666685190.7
DRESDEN/tictactoe_3player/ESLQQQ2.9501826364559782869.937668744375972.8
STANFORD/tictictoe/rpt_Dw2.95657115864369766676.2333333333342258.1
STANFORD/duikoshi/tpw1sw2.99349889157346734006.01338.2333333333333
BASE/tictactoe_3d_small_2player/oOryKA3.06043259598478962494.883503883204815.2061597946736
BASE/ticTicToe/c1OobQ3.08881782390297586825.5666666666672209.766666666667
BASE/incredible/8Qh-6Q3.1169514027822887374.187527082432365.8333333333335
DRESDEN/tictactoe_3d_small_2player/HYttcg3.1363284135179282514.4990333977735801.7333333333333
DRESDEN/blocksworldparallel/2JfVaw3.16041920163284568051.82547.7
STANFORD/sukoshi/4LYZZQ3.1710245361905628266.9666666666672607.0333333333333
BASE/ticTacToeParallel/ymRGPw3.1900284626946823324.96666666666671042.3
BASE/ticTacHeavenFC/mrletw3.19894247826072942041.9235511713932638.3120562647912
BASE/survival/YVIjJA3.201529599354631633865.56666666666610577.933333333332
BASE/tictactoe_3player/GtM71g3.277232007013072866.813318668133874.7666666666667
STANFORD/multiplebuttonsandlights/cK70Yg3.278425581096717019.45191.333333333333
BASE/hodgepodge/9yjRkw3.296317942723553610904.03307.9333333333334
STANFORD/bestbuttonsandlights/nm0wEA3.29740497825899916607.65036.566666666667
BASE/snake2p/I3wWPQ3.29805349045254073563.7666666666671080.5666666666666
BASE/untwistycomplex2/EDPPAQ3.322256780744290421398.7666666666666441.033333333334
STANFORD/untwistycorridor/EDPPAQ3.345908121352245721803.8333333333326516.566666666667
STANFORD/multiplebuttonsandlights_9/SqB9BA3.41294292724128216971.24972.6
DRESDEN/backgammon/mqCW0Q3.52350909001418031100.3552103044185312.28959034698846
BASE/pearls/6k_mEQ3.53127521413295133408.19460.633333333333
BASE/maze/cCX3qQ3.606184862463693621810.5666666666666048.1
DRESDEN/8puzzle/8fKC2w3.66529343973626588261.4492367175522253.9666666666667
STANFORD/bestbuttonsandlightsbig/g0JC6g3.721989106497131813689.63678.0333333333333
STANFORD/3puzzle/41ibjA3.849391892537427313430.43488.9666666666667
DRESDEN/stratego/Z2wovg3.85349317508681332587.749116843298671.5333333333333
BASE/ticTacHeaven/18n58A3.8541211972881122708.676377454085702.8
DRESDEN/uf20-020.cnf.SAT/hDrW_A3.8598202466383341846.6666666666667478.43333333333334
DRESDEN/chinesecheckers1/Y-ftaA3.90637543645972542515.231302493001643.8785373820873
STANFORD/threepuzzle/41ibjA3.99159464898780613486.83378.8
DRESDEN/bidding-tictactoe/yW5vTA4.0412270162629575282.557248091731307.1666666666667
BASE/nim4/twk16w4.0921862135624385623.3458884703841374.1666666666667
DRESDEN/nim4/F5YAYg4.1047002872800135667.6333333333331380.7666666666667
DRESDEN/uf20-010.cnf.SAT/5ICbCg4.1521777214016911986.3356107315446478.3840538648712
DRESDEN/nim3/sG_axA4.1590008382781965709.4763507883071372.8
BASE/blocksWorldParallel/RseaAQ4.159221347849247029.51690.1
BASE/snakeParallel/RCVNtw4.1979463776383359566.72278.9
BASE/nineBoardTicTacToePie/B8LzeQ4.2200285101098483171.808368869936751.6082797240092
BASE/nim3/1OwUqw4.2225229265158465721.5185654289721355.0
DRESDEN/pawn_whopping/4ogBkg4.2508648344807644751.0499300046671117.6666666666667
BASE/hidato19/rRHSmA4.3544337046385212653.156456236251609.3
DRESDEN/pawn_whopping_corrected/7Ov0jQ4.3857805954593384675.388307446171066.0333333333333
BASE/3pConnectFour/PqXOFQ4.4462417830625753476.368242117192781.8666666666667
BASE/nim2/eF2Qqw4.4963786066482656352.9333333333331412.9
BASE/eightPuzzle/vLrgFg4.5305275408113478233.1766823317671817.2666666666667
STANFORD/8puzzle/jNiGtw4.5334047834068538234.6275620729881816.4333333333334
DRESDEN/sat_test_20v_91c/dK7nVw4.5461230558470042182.8967539825367480.1666666666667
DRESDEN/nim2/z5_exA4.5616085483947916375.01397.5333333333333
DRESDEN/quad_5x5/JAEP5g4.5641539904634705958.1680610646312209.93333333333334
BASE/biddingTicTacToe/8mESVw4.6127654740531685267.6244125195831141.9666666666667
DRESDEN/nim1/M9BALA4.6216686205604636606.2131262291261429.4
BASE/ticTacToeNoVars/XT03NA4.63176110396237410438.62253.7
BASE/nim1/hin2Qw4.6745804818599426648.51422.2666666666667
DRESDEN/pawn_whopping_simultaneous/r8dLfw4.6868710865612553511.7162761241293749.2666666666667
BASE/quad_5x5/JAEP5g4.727132853883682963.1357909472702203.74629203746292
STANFORD/nineboardtictactoe/y28P-A4.7890610502876233441.1718.5333333333333
DRESDEN/tictactoe_3d_6player/ulZPWg4.835371144123104626.1330311916822129.4901699433522
BASE/nineBoardTicTacToe/wRmqqA4.8566556638323333444.825862356274709.3
DRESDEN/javastrike/whONTQ4.9663169928562961358.0316182052213273.4484367708819
BASE/tictactoe_3d_6player/d7KSwg5.028630679872123629.6050006649821125.20406463434949
DRESDEN/Thief_Police/CX18rA5.092930108344746512933.8355388153722539.5666666666666
DRESDEN/quad_5x5_8_2/JRTLJg5.1321668105180741092.5290610531927212.87871212878713
BASE/pegEuro/5awwhg5.15662655600049651626.9791006966434315.51229918005464
DRESDEN/CatchMeIfYouCanTest/CX18rA5.16448381974027313155.4896340243982547.3
DRESDEN/catch_me/ghGWrA5.23049061588354613123.4753049390132509.0333333333333
DRESDEN/Catch-Me-If-You-Can/ghGWrA5.27754217447725113149.72491.633333333333
DRESDEN/sat_test_20v_91c_version2/a1mPBA5.3034471597345852184.5210319312046411.90587294180386
BASE/connectFourSimultaneous/7ITr3g5.3056690913774142898.310168983102546.2666666666667
DRESDEN/uf20-01.cnf.SAT/42Rs8A5.3296128357167772037.2654244858504382.25392486917104
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA5.3643788893482152162.6666666666665403.1532282257258
DRESDEN/connectfoursuicide/M9CNQg5.4298918735593715166.361121295957951.4666666666667
DRESDEN/connectfour/5tc-Mg5.4652158652158655190.133333333333949.6666666666666
DRESDEN/oisters_farm/pTQMLg5.577182835675067515793.2804479701352831.766666666667
BASE/coins/QnGtnQ5.58389505843557557676.3666666666671374.7333333333333
DRESDEN/coins/QwFP9w5.64004231034143467642.6333333333331355.0666666666666
BASE/coins_atomic/AA3SSw5.68507799470224657726.41359.0666666666666
BASE/pawnWhopping/Ypc_6Q5.73548466966533254632.933333333333807.7666666666667
STANFORD/connectfour/VMpZkQ5.8194553695171755178.733333333334889.9
BASE/connectFourSuicide/c8p9Kw5.94228070840759955223.066666666667878.9666666666667
BASE/peg/fJHVWw5.9472160473367341910.5785895213971321.2559581347288
BASE/connectFour/WAIKTw6.0346776066258995197.466666666666861.2666666666667
DRESDEN/hanoi/RQ0jiA6.09326476311504710228.9666666666671678.7333333333333
BASE/connectFour_9x6/B9TtMw6.1910536340331984977.400753308223803.9666666666667
DRESDEN/tictactoe_3d_2player/LMuX9w6.22199322604737836.2358895807665134.4
BASE/hanoi/iGLsJg6.28811769278780310215.8856076261581624.6333333333334
BASE/tictactoe_3d_2player/IUC1rQ6.303066826769854841.8932862896515133.56883393874762
BASE/sheepAndWolf/g4THrg6.484293346052472834.9608398600234128.76666666666668
STANFORD/untwistycomplex/HTWEwg6.54548230238606919293.92947.6666666666665
DRESDEN/3pttc/uwYBZw6.8506562468841825724.6367151046525835.6333333333333
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw7.240666072648534350.674887518747600.8666666666667
BASE/dualConnect4/WbCQkg7.2827549094241213443.9472.8842371920936
DRESDEN/bidding-tictactoe_10coins/mu5VhQ7.3157669227737324523.582547248425618.3333333333334
DRESDEN/aipsrovers01/qS47Mw7.4074546704648888393.3868871037631133.1
BASE/aipsrovers01/4C4jsw7.4652065034202998445.6369575361641131.3333333333333
BASE/chinook/XQh0IQ7.617530020380076720.110504593263294.53333333333333
BASE/escortLatch/mX9BjQ7.6732895562593313362.467095398354438.20411972535163
BASE/connectFourLarge/aU644A7.79174374216763254335.066493350665556.3666666666667
BASE/biddingTicTacToe_10coins/a-9ccQ7.87767193308550254520.733333333334573.8666666666667
DRESDEN/mummymaze2p/k-8edg8.001854167123627363.9387890884896745.48180727708917
BASE/mummymaze2p/vpjDdA8.022173159346526363.7210230485249645.33946298887334
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg8.0283701252779243973.375541486171494.9168361054632
BASE/breakthroughSuicideSmall/XSbJog8.0648907733431662916.338910739284361.6092260515966
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg8.085836038961043984.5671810939634492.7835738808706
BASE/breakthroughSmall/HJ0tIA8.0991036611954342910.720831805912359.38802039932
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ8.281050247749084160.9517144856545502.46666666666664
DRESDEN/bomberman2p/x4h6jQ8.4061025025278071108.3131.84469255124145
BASE/battlebrushes/arCwyA8.507827004219408849.933333333333399.90016638935109
DRESDEN/pentago_2008/hLjVpQ8.6519402180226913463.5446157945576400.31998933368885
BASE/bomberman2p/4CClwA8.8176990358636281110.1483086152307125.9
STANFORD/pentago/ZxzLmg8.9450324062679473634.2455251491615406.28645711809605
BASE/pentago/86NgKw9.1072500149314383432.4081170237578376.88743708543046
BASE/hidato37/pBrqxw9.187053046107819560.010665600106760.956507248791866
BASE/pentagoSuicide/SBgNhw9.2438517570550863439.8307061685605372.1209293023566
DRESDEN/ggp-course2013_nicolai/uEin8g9.466265372269877722.155688622754576.2872854524246
BASE/2pffa_zerosum/o0_uZA9.7770748118556825426.095650724879554.9815006166461
DRESDEN/frogs_and_toads/GjchhQ9.8726079377461892376.099120703437240.67593240675933
BASE/endgame/jYjfOA10.07538484836162729.574836731973872.41160985037823
DRESDEN/guess/PhxGhg10.5267780017276142437.1375241650558231.51789880674622
BASE/guess/SPpk1A10.5367203594729382444.7888544478888232.0255991466951
BASE/checkLines/Vop7oQ10.7593758094783717516.966666666666698.6433785540482
BASE/blokbox_simple/JBx4bg10.77650383771197378.147755858599237.25167986161932
DRESDEN/fizzbuzz/t1xHzQ10.960560373042149372.375174988334855.1
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg10.9698496033082514129.645059156807376.4541181960601
DRESDEN/minichess-evilconjuncts/th24Tw12.1756814613957472843.643757082861233.55109659356043
BASE/minichess-evilconjuncts/4OpQzw12.3997317082420672849.871670944302229.83333333333334
BASE/asteroids/BKCmPQ12.78773896696656816275.3816412239181272.7333333333333
BASE/reversiSuicide/9OxJlg12.802198009814951456.4906801342326635.65721134638434
BASE/reversi/d8UMeA12.806691449814126458.660631074424235.814139262415125
DRESDEN/Runners/3bOCQw12.83477349079047715077.8640711976261174.7666666666667
BASE/qyshinsu/R08Lzw13.6164225749107482880.4930867899384211.54551211545513
BASE/chineseCheckers4/avfBcQ14.005752011073744227.446929049888301.83648301836485
BASE/asteroidsSerial/id2QkA14.2394924906137289724.149421840115682.9
BASE/asteroidsParallel/WauZiA14.29275836718387710409.892344098924728.3333333333334
DRESDEN/breakthroughsuicide/Y9QzqQ14.3468425008669342027.208845372498141.3
DRESDEN/knightthrough/J7Fc_Q14.5831127645269711959.4189378290132134.3621879270691
BASE/breakthroughHoles/nZk0Sg14.638310424610151864.7964283334443127.39150723285114
DRESDEN/pancakes88/aD3E7g14.85623216238563818565.8333333333321249.7
DRESDEN/breakthroughsuicide_v2/LU1nAw14.9270456346125672034.850403145199136.31970136319703
DRESDEN/pancakes6/SZXMyQ15.04481336252991919695.6666666666681309.1333333333334
DRESDEN/breakthrough/z4hK7Q15.1445291844528252034.2116659449016134.319901343199
STANFORD/platformjumpers/HEQskA15.29388400321369389.73421926910325.48301132578281
BASE/othello-comp2007/86ZoMw15.460577814569536308.543046357615919.956760352569432
BASE/englishDraughts/jFkQxg15.4843442146644254007.463681194189258.8074525880745
DRESDEN/pancakes/hl9aiQ15.5052783412997119531.482283923871259.6666666666667
BASE/breakthroughWalls/vOZaYA15.7396129032258082033.0333333333333129.16666666666666
BASE/breakthrough/TGxk-g15.8116725490196062042.8129.19569347688412
BASE/connectFourLarger/qKi60A15.8812821267763823349.780117270789210.92630245658478
BASE/breakthroughSuicide/wZDpIg15.9820661869588872032.115134756971127.14971337155046
BASE/minichess/8NQEiA16.3590575536809844266.3260.79130695643477
DRESDEN/ghostmaze2p/HY0UwA18.4196080226705522489.468070923877135.1531513515315
DRESDEN/minichess/c7GMFw18.6810475670207374103.466666666666219.65934468851037
BASE/ghostMaze2p/W-NU-w19.1703671975796762488.537918166067129.81169805032494
BASE/choicethroughalt/tt71Lg19.666579674357651915.269491016966297.38701506465804
DRESDEN/mummymaze2p-comp2007/oTQRQg20.484578378695522056.240421136803100.37992401519696
DRESDEN/endgame/IJhh3Q20.525426517604718740.770358523257436.09037589976006
BASE/mummyMaze2p_2007/YGA3Vw20.907819061536662080.050656535359499.4867351019864
BASE/checkers/rOC3Xg20.9911776859326621299.880287310454861.92507665644581
BASE/checkersSmall/SYmq8w21.3233136308060481849.195509510643286.72177043060925
BASE/checkersTiny/Lr48cg21.6783567134268542884.5705143161895133.06223125895804
BASE/knightazons/apnJBQ24.2909478350721631213.859538015399549.971682713129226
DRESDEN/knightazons/02I8BQ24.7414371917651861217.116427644494749.19344087455006
BASE/pancakes/yUgbXw24.762923426073819640.3793.1333333333333
BASE/ttcc4_2player_small/Cv72TA24.8216655382532176109.859342710486246.1502566495567
BASE/pancakes6/QZTdnw24.88351173890669819779.07403086564794.8666666666667
DRESDEN/racer/vk_ZBA25.7238781304824468.313963168936718.20541835851694
BASE/racer/QQYQNw26.07633753944453472.378542173087818.115218115218116
BASE/2pttc/unkkYA28.2065386956521746054.6214.65235650956603
BASE/kitten_escapes_from_fire/uW-YiA28.4166580068585718230.233333333334641.5333333333333
DRESDEN/kitten_escapes_from_fire/uW-YiA28.77622044745332318135.733333333334630.2333333333333
BASE/knightThrough/gcwFjA28.8999836875103361948.692320506413467.4288380774615
DRESDEN/capture_the_king/EQ229Q30.3208242283600061359.442703819745244.83528196928817
DRESDEN/hanoi_6_disks/MeubgQ31.3654659038638469091.5289.85700476650777
BASE/hanoi_6_disks/MeubgQ31.729065182092329118.933333333332287.4
DRESDEN/tttcc4/sAvtFg36.82211981566823994.534244292618108.48191968005332
BASE/3pttc/0sol9g37.673957983966055478.684043865204145.42363842410506
DRESDEN/amazons/dNB28A38.118382458009116438.3029578727218311.498466871083856
BASE/ttcc4/Le0qjQ38.6784807344909754001.399953334889103.4528729502733
BASE/tttcc4/8Bs2lg38.7310861177200964007.46517363194103.46895931220634
BASE/crossers3/O0rORg38.7808208900412341909.18180303282849.23005132991134
DRESDEN/connect5/1kYzSg38.791203173257074771.327880843141219.884092725819343
DRESDEN/crossers3/xiPTxg38.9531768486311911.772548496766849.07873254922867
DRESDEN/Zhadu/9zpQ5w39.7657699229384961636.206092114910541.146093619856735
BASE/connect5/d-BVQg42.66938937866732776.324111987749218.193935354881706
BASE/chess_200/XsTpYA43.25870132071272522.85514532077112.086704624912596
STANFORD/ttcc4/Cx9SGw43.259781902858264176.4784274529496.5441397007365
BASE/amazons_8x8/7SOsIw43.758550253230142189.82283202344550.04331312054374
DRESDEN/god/2EDD5w44.63661941677415933.242234368750820.90754735825815
BASE/god/qF06gw44.80984098446366930.865596055174320.77368666355949
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA46.500213881759491856.604779840671939.926800865080686
BASE/ttcc4_2player/_aH_Mw47.893278868599334451.58817451588192.94807705125642
BASE/ttcc4_2player_alt/ZEJvYA49.374910656705284686.38757416172294.91435046324068
DRESDEN/hanoi7/51zz5Q50.313577974197898796.994735789965174.8433542194374
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g50.958761082594492011.199253383107839.46719289590528
DRESDEN/hanoi7_bugfix/3gdnFw52.134483434620678863.122812864523170.00499916680553
DRESDEN/satlike_20v_91c/yeuENQ52.1476528683398542044.530364642357239.20656543841579
DRESDEN/satlike_20v_91c_version2/yd9ioQ52.875566715892182032.32794534244338.43605036447979
BASE/hanoi7_bugfix/3gdnFw55.750505292386918789.996334433003157.66666666666666
DRESDEN/twisty-passages/j7NPyg55.871814470129073683.958180728507665.93589658159526
BASE/twisty-passages/DiZmmg59.161291178067113723.2172581396962.93333333333333
BASE/racer4/0vs7Ww59.490054688938734893.380882548993415.017314864144913
BASE/amazonsSuicide_10x10/XIbQkg64.012515718039171479.34352009054923.11022311022311
BASE/amazons_10x10/Bun8dA64.100997321306961477.87581155318823.05542617605962
DRESDEN/blobwars/ZaMluQ73.039427949576621302.01565883724817.826202852192456
BASE/blobwars/0XT15Q73.639034508639611288.860751057945417.502412404751606
BASE/skirmishZeroSum/zh4hcw73.90581293780221596.70015301709821.604527296937416
BASE/speedChess/bPnisA76.15164520743921772.560772560772623.276723276723278
BASE/knightfight/SJRkAg87.121269750442994751.85814751858154.54303135308033
DRESDEN/knightfight/4_Ly4w89.348484848484864717.652.8
BASE/amazonsTorus_10x10/Uxc08g95.057041364511011271.898902560691813.380375449340967
DRESDEN/quarto/OQzRYQ117.421198364268243046.39690687287525.944181709185372
DRESDEN/quartosuicide/WIU1oQ127.064157900193663048.42203485853323.99120322548399
DRESDEN/pawntoqueen/f_x6Aw128.76388172801055650.10662401705995.048827476250581
BASE/pawnToQueen/-O1_JA130.07514157807623649.31515979604764.991846650470897
BASE/quarto/EwBMVQ136.249933590949843068.221963006165422.519071254871914
BASE/quartoSuicide/-23jUg142.623389799072643074.066666666666621.55373442601106
BASE/wargame02/BkVqqQ263.814301610917371183.29891412963824.485347863645425
DRESDEN/checkers/jIDMIg277.9552041913769657.82731658625862.3666666666666667
BASE/wargame01/_GZFZg505.89026142701712283.01949675054174.512874966817096
BASE/wargame03/klXI8w597.59029448994431930.34262098386883.2302107962303106
BASE/pancakes88/l2Xaig780.821177824267718652.323.888055972013994
BASE/amazonsSuicide/dE1QEQ1367.6748363845406117.239320774741320.08572163328285282
BASE/amazons/RKKZjw1595.6399816567853116.643191719348820.0731011964229148
BASE/hitori/S8Gsyg1663.6564010265641870.94623870946251.1245989481692191
DRESDEN/hitori/S8Gsyg1668.5312457116421870.85916150103321.121261088942387
DRESDEN/battlebrushes/QHXV4A1901.356373937677833.32777870354940.43828068747456406
DRESDEN/chinesecheckers4/-oVNYg2323.9074876502672133.3533213405290.9180026884364447
DRESDEN/farmers/S_ASnw3858.3788540381995082.1639278690711.3171759747102212
DRESDEN/crisscross/GsY16g70825.856164383574223.7442922374430.05963562632316546
BASE/crisscross/ICagEg70906.725077492244200.0133320001330.059232933511032135
DRESDEN/merrills/aYEzwAInfinity1130.93453273363320.0
BASE/merrills/pku8TgInfinity1132.73864998002930.0

Games with errors:

GameCADIAPLAYER_PROLOG:3.0 error messageREKKURA_BACKWARD_PROVER: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/ruleDepthExponential/UamhHQTest 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/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