index

ALLOY_DIFF_PROP_NET:1 vs. CADIAPLAYER_PROLOG:3.0

Game-by-game performance:

GamePerf ratioALLOY_DIFF_PROP_NET:1 states per secondCADIAPLAYER_PROLOG:3.0 states per second
BASE/pancakes88/l2Xaig0.009625265159435209179.5333333333333318652.3
DRESDEN/satlike_20v_91c/yeuENQ0.46245339093576787945.52044.5303646423572
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g0.4698191879350348944.92011.1992533831078
DRESDEN/amazons/dNB28A0.47744753465121564209.26666666666668438.30295787272183
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.492226989723406561000.36666666666672032.327945342443
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.61601694254937171143.71856.6047798406719
DRESDEN/battlebrushes/QHXV4A1.35038895043290871125.3166244500733833.3277787035494
DRESDEN/pancakes/hl9aiQ1.577074363954099430802.619531.48228392387
BASE/pancakes6/QZTdnw1.60727443308976231790.419779.07403086564
DRESDEN/pancakes6/SZXMyQ1.624357303637009631992.819695.666666666668
BASE/pancakes/yUgbXw1.656234035800539432528.93333333333419640.3
BASE/amazons/RKKZjw1.7552103154544603204.73333333333332116.64319171934882
DRESDEN/crossers3/xiPTxg1.79747894764370543436.3709086060931911.7725484967668
BASE/crossers3/O0rORg1.83434599807977653502.11909.181803032828
DRESDEN/chinesecheckers4/-oVNYg2.04602770499227044364.92133.353321340529
BASE/knightazons/apnJBQ3.2363986196922683928.53333333333331213.8595380153995
DRESDEN/knightazons/02I8BQ3.2912490887054154005.83333333333351217.1164276444947
BASE/knightfight/SJRkAg3.318905189731360415770.9666666666674751.858147518581
BASE/speedChess/bPnisA3.7243480931805376601.6333333333331772.5607725607726
DRESDEN/knightfight/4_Ly4w3.826861115821603518053.64717.6
BASE/eightPuzzle/vLrgFg3.82956274147842331529.4666666666678233.176682331767
BASE/skirmishZeroSum/zh4hcw3.99233798194444446374.5666666666671596.700153017098
DRESDEN/8puzzle/8fKC2w4.0977515804620933853.366666666678261.449236717552
DRESDEN/capture_the_king/EQ229Q4.1772264355416075678.71359.4427038197452
STANFORD/8puzzle/jNiGtw4.51239189466299737157.866666666678234.627562072988
DRESDEN/blobwars/ZaMluQ4.5525566146366435927.51302.015658837248
BASE/ttcc4/Le0qjQ4.63087924628892318530.04001.399953334889
DRESDEN/tttcc4/sAvtFg4.714725718083923518833.1333333333353994.534244292618
BASE/blobwars/0XT15Q4.7244565882454336089.1666666666671288.8607510579454
BASE/tttcc4/8Bs2lg4.74963578604217919034.04007.46517363194
BASE/wargame02/BkVqqQ5.016934658221915936.5333333333341183.2989141296382
DRESDEN/crisscross/GsY16g5.11328302702702721597.24223.744292237443
BASE/crisscross/ICagEg5.1671423281724921702.0666666666664200.013332000133
DRESDEN/javastrike/whONTQ5.6549493377402977679.61358.0316182052213
BASE/racer/QQYQNw5.6784261501950292682.366666666667472.3785421730878
DRESDEN/racer/vk_ZBA5.8468610419777662738.1666666666665468.3139631689367
BASE/chess_200/XsTpYA6.51238371431603553405.0333333333333522.855145320771
STANFORD/ttcc4/Cx9SGw6.63769740022495727722.24176.47842745294
BASE/ttcc4_2player/_aH_Mw6.90066079693922830718.94451.588174515881
BASE/amazonsTorus_10x10/Uxc08g7.3343879621398319328.61271.8989025606918
BASE/3pttc/0sol9g7.446636152042799540797.766666666675478.684043865204
STANFORD/breakthrough/d5j0cQ7.459421902591107515812.4333333333322119.793402199267
BASE/wargame03/klXI8w7.52429465566260414524.4666666666671930.3426209838688
BASE/ttcc4_2player_alt/ZEJvYA8.08457816753318637887.466666666674686.387574161722
DRESDEN/quartosuicide/WIU1oQ8.1685211940004824901.13048.422034858533
DRESDEN/bidding-tictactoe_10coins/mu5VhQ8.35936257859781637814.266666666674523.582547248425
DRESDEN/3pttc/uwYBZw8.38410116168496747995.9333333333345724.6367151046525
BASE/choicethroughalt/tt71Lg8.55677668871098616388.5333333333331915.2694910169662
DRESDEN/quarto/OQzRYQ8.60377055296614826210.53046.396906872875
BASE/coloredtrails/EZvr7g8.63086597100318526548.53075.994933671089
BASE/biddingTicTacToe_10coins/a-9ccQ8.68714515344118339272.266666666674520.733333333334
BASE/wargame01/_GZFZg8.89401077340807520305.22283.0194967505417
DRESDEN/frogs_and_toads/GjchhQ9.02212642556770421437.4666666666672376.099120703437
DRESDEN/roshambo2/jgSlkQ9.250465382921863141458.7333333333415292.066666666668
BASE/roshambo2/KNPokQ9.251288256660699141949.315343.733333333334
DRESDEN/Runners/3bOCQw9.276749412661113139873.5666666666815077.864071197626
BASE/minichess/8NQEiA9.31754291384415939751.4333333333344266.3
DRESDEN/blocksworldparallel/2JfVaw9.43479718820636475967.18051.8
BASE/2pffa_zerosum/o0_uZA9.51979778064410551655.3333333333365426.095650724879
BASE/quarto/EwBMVQ9.5371631147125529262.1333333333353068.2219630061654
BASE/quartoSuicide/-23jUg9.55530133807551429373.6333333333353074.0666666666666
BASE/amazonsSuicide_10x10/XIbQkg9.55604055087987614136.6666666666661479.343520090549
BASE/coins_atomic/AA3SSw9.68478636018499674828.533333333347726.4
BASE/coins/QnGtnQ9.83988084640737275534.533333333347676.366666666667
DRESDEN/coins/QwFP9w9.89280309143009375607.066666666677642.633333333333
BASE/amazons_8x8/7SOsIw9.97846325607802621851.0666666666662189.822832023445
DRESDEN/endgame/IJhh3Q10.0872016732637637472.3740.7703585232574
BASE/2pttc/unkkYA10.08741562888822961075.266666666676054.6
BASE/escortLatch/mX9BjQ10.1964517006735334285.233333333333362.467095398354
BASE/ttcc4_2player_small/Cv72TA10.23332886944377862524.26109.859342710486
BASE/racer4/0vs7Ww10.2361715799291179144.8893.3808825489934
BASE/othello-comp2007/86ZoMw10.293501360480243175.9882674488367308.5430463576159
BASE/amazons_10x10/Bun8dA10.35168170451473415298.51477.875811553188
BASE/aipsrovers01/4C4jsw10.35882792971987487486.98445.636957536164
BASE/asteroidsParallel/WauZiA10.393661761673624108196.910409.892344098924
DRESDEN/aipsrovers01/qS47Mw10.44653779370689587681.833333333338393.386887103763
DRESDEN/minichess/c7GMFw10.83899792045750144477.466666666674103.466666666666
BASE/qyshinsu/R08Lzw11.37769322098591332773.366666666672880.4930867899384
BASE/checkers/rOC3Xg11.6285836582246115115.7666666666661299.8802873104548
BASE/englishDraughts/jFkQxg11.87690530796860447596.266666666674007.463681194189
DRESDEN/knightthrough/J7Fc_Q11.93079891288329723377.4333333333341959.4189378290132
BASE/blocksWorldParallel/RseaAQ12.03593427697560484606.67029.5
BASE/hodgepodge/9yjRkw12.161050990462217132604.110904.0
DRESDEN/breakthroughsuicide/Y9QzqQ12.19428709730413624720.3666666666652027.208845372498
BASE/knightThrough/gcwFjA12.21107769704223123795.6333333333351948.6923205064134
BASE/guess/SPpk1A12.3224274679281830125.7333333333342444.7888544478888
BASE/breakthroughWalls/vOZaYA12.34882195733796825105.5666666666662033.0333333333333
DRESDEN/breakthroughsuicide_v2/LU1nAw12.45236502930870725338.72034.850403145199
DRESDEN/breakthrough/z4hK7Q12.66767552498703625768.7333333333342034.2116659449016
BASE/breakthrough/TGxk-g12.69922002480255925941.9666666666672042.8
BASE/asteroids/BKCmPQ12.710716788519486206871.7666666666616275.381641223918
BASE/breakthroughSuicide/wZDpIg12.77604775238532625962.42032.115134756971
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg12.80263377989400952870.3333333333364129.645059156807
DRESDEN/bidding-tictactoe/yW5vTA12.8150243945684767696.15282.55724809173
DRESDEN/tictictoe/LAUtwg13.22255959372456590433.933333333336839.366666666667
BASE/checkersSmall/SYmq8w13.45004708195973124871.7666666666661849.1955095106432
BASE/biddingTicTacToe/8mESVw13.57077898279273171485.766666666665267.624412519583
BASE/asteroidsSerial/id2QkA13.58133182357134132066.99724.149421840115
DRESDEN/guess/PhxGhg14.03323899214522434200.9333333333342437.1375241650558
DRESDEN/Catch-Me-If-You-Can/ghGWrA14.067481894390491184983.1666666666613149.7
BASE/nineBoardTicTacToePie/B8LzeQ14.32086306951665745423.033333333333171.808368869936
DRESDEN/CatchMeIfYouCanTest/CX18rA14.547617660566535191381.0333333333313155.489634024398
BASE/breakthroughHoles/nZk0Sg14.97993717110356827934.5333333333331864.7964283334443
BASE/checkersTiny/Lr48cg15.0724460080117143477.533333333332884.5705143161895
BASE/eotcitcit/V_9_bg15.08068279802994103188.566666666676842.433333333333
DRESDEN/catch_me/ghGWrA15.150224721737606198823.613123.475304939013
DRESDEN/stratego/Z2wovg15.19924519627034939331.8333333333362587.749116843298
BASE/endgame/jYjfOA15.34784293021556511197.4729.5748367319738
DRESDEN/Thief_Police/CX18rA15.506787041742694200562.2333333333412933.835538815372
BASE/nim3/1OwUqw15.5797274763044989139.75721.518565428972
BASE/ticTicToe/c1OobQ15.627962513490942106669.76825.566666666667
BASE/incredible/8Qh-6Q15.66265656283948115499.366666666677374.18752708243
BASE/minichess-evilconjuncts/4OpQzw15.69469500072125544727.866666666672849.871670944302
BASE/breakthroughSuicideSmall/XSbJog15.73467101657980545887.633333333332916.338910739284
BASE/breakthroughSmall/HJ0tIA15.78083322113072745933.62910.720831805912
STANFORD/tictictoe/rpt_Dw15.970262673064152106621.26676.233333333334
DRESDEN/Zhadu/9zpQ5w16.03899418689913526243.11636.2060921149105
DRESDEN/tictactoeparallel/yk_DSg16.1485373970923155315.23425.4
DRESDEN/minichess-evilconjuncts/th24Tw16.23619926077868346169.966666666672843.643757082861
BASE/ticTacToeParallel/ymRGPw16.3751516305927954446.8333333333363324.9666666666667
DRESDEN/nim3/sG_axA16.37593261719890293498.05709.476350788307
STANFORD/threepuzzle/41ibjA16.549309942561123223197.2333333333413486.8
BASE/checkLines/Vop7oQ16.675179261138137125346.766666666667516.966666666666
STANFORD/3puzzle/41ibjA16.832084921769518226061.6333333333313430.4
BASE/numbertictactoe/rvJ-iQ17.29177285239947101551.75872.833333333333
DRESDEN/blocks2player/3ev8nQ17.3366782793093137348.17922.4
BASE/battlebrushes/arCwyA17.45748686171464614837.7849.9333333333333
DRESDEN/mimikry/GJEhwA17.46512679256870727798.2333333333341591.642228739003
BASE/snakeParallel/RCVNtw17.478907738997425167215.466666666679566.7
BASE/blocks2player/wnTLOQ17.593560823835773138726.47885.066666666667
DRESDEN/nim4/F5YAYg17.9977768498315102004.85667.633333333333
BASE/nim4/twk16w18.468002631599745103851.966666666665623.345888470384
BASE/blocks/xIV5hQ18.699296371955228260883.2333333333413951.5
BASE/ticTacHeaven/18n58A18.8828390226794551147.52708.676377454085
DRESDEN/sum15/CsgWKg18.961145819914982157008.48280.533333333333
DRESDEN/chinesecheckers1/Y-ftaA19.1127551380073448073.02515.231302493001
BASE/sum15/QZ07Kg19.118221050107888159484.28342.0
BASE/tpeg/QNs7Lw19.19962745279422538049.8333333333361981.8006066464452
DRESDEN/tpeg/h-Scbg19.41687988063786838460.3333333333361980.7679488034132
DRESDEN/chomp/-LcqYQ19.5638061195044170056.033333333343580.9
STANFORD/duidoku/3SoMaA19.6697222691978237882.133333333333400.7241803142544
BASE/nineBoardTicTacToe/wRmqqA19.95536767703153268742.766666666663444.825862356274
STANFORD/nineboardtictactoe/y28P-A19.98038417947749368754.53441.1
BASE/hanoi_6_disks/MeubgQ20.432060767341213186318.69118.933333333332
DRESDEN/hanoi7_bugfix/3gdnFw20.65850120767497183098.833333333348863.122812864523
DRESDEN/peg/Vo31eg20.66937045605868739665.266666666671919.0360321322623
STANFORD/duikoshi/tpw1sw20.83107006157430583449.266666666664006.0
BASE/circlesolitaire/azuQFQ20.862144074253216219972.5333333333310544.1
BASE/survival/YVIjJA20.905486103387215707976.133333333333865.566666666666
DRESDEN/circlesolitaire/ruUilQ20.922564606029894220216.9666666666710525.333333333334
DRESDEN/peg_bugfixed/u_B7MA21.03279391747378640315.133333333331916.77498916775
BASE/blocksWorld/SEdXLQ21.089179696596492292816.9333333333513884.7
DRESDEN/blocks/vg0DRw21.192079178907115289274.013650.1
BASE/peg/fJHVWw21.2062287774385840516.1666666666641910.5785895213971
DRESDEN/chickentoetictac/cxYaRQ21.25447008695317183734.266666666668644.5
DRESDEN/hanoi_6_disks/MeubgQ21.308878256246675193729.666666666669091.5
BASE/connectFourLarger/qKi60A21.62392678448884572435.43349.780117270789
BASE/hex/T1MK8g22.100672004575357725.0349.53688278803224
BASE/hanoi7_bugfix/3gdnFw22.17825725778019194946.88789.996334433003
BASE/blocksWorldSerial/Wyg96Q22.21603504186632183602.28264.4
BASE/chickentoetictac/l57rfQ22.29565745095522191044.88568.7
BASE/maze/cCX3qQ22.489294944193716490504.2666666666621810.566666666666
BASE/chomp/-LcqYQ22.5918888338211580531.83564.633333333333
STANFORD/hex/MTqWcw22.649554420944758069.9356.29398486256804
DRESDEN/hanoi/RQ0jiA22.713467310155146232335.310228.966666666667
BASE/tron_10x10/7ZTgDg22.72123590205412235322.4333333333341554.6
BASE/snake2p/I3wWPQ22.82107882109752681329.03563.766666666667
BASE/pegEuro/5awwhg22.91068151031529637275.21626.9791006966434
BASE/kitten_escapes_from_fire/uW-YiA22.982806948896247418981.9333333333518230.233333333334
DRESDEN/pawn_whopping_simultaneous/r8dLfw22.98958504959422680732.93511.7162761241293
DRESDEN/cube_2x2x2/fp-34Q23.18590422301843661256.1666666666642641.957202853143
DRESDEN/kitten_escapes_from_fire/uW-YiA23.41399851490244424630.033333333318135.733333333334
BASE/pawnWhopping/Ypc_6Q23.535672144357786109039.24632.933333333333
STANFORD/bestbuttonsandlightsbig/g0JC6g23.589634954028362322932.666666666713689.6
DRESDEN/toetictac/mJtxCA24.00815304545587219575.366666666679145.866666666667
BASE/toetictac/mTThmg24.0230043055798220204.466666666679166.4
DRESDEN/backgammon/mqCW0Q24.10854823809811326527.9666666666671100.3552103044185
BASE/doubletictactoe/HH1htg24.1325504605377597203.54027.9
BASE/hexPie/48CH6Q24.1414566063436458261.5342.21215955250716
BASE/chineseCheckers4/avfBcQ24.15431071765482102111.066666666674227.446929049888
BASE/pearls/6k_mEQ24.208827599693887808770.933333333333408.1
DRESDEN/troublemaker02/iZLVuA24.266345964489677566824.633333333323358.466666666667
BASE/sudokuGrade6H/ieE_9A24.3060578751407069321.6383.509331208076
BASE/sudokuGrade1/tDRNRw24.5740520768993210586.5430.7999334774655
STANFORD/sudoku/oJ1qyQ24.59404699613983810051.066666666668408.6788428209572
STANFORD/pentago/ZxzLmg24.71135555147924489807.133333333333634.2455251491615
BASE/sudokuGrade6E/ihYFZA24.721559979101369432.6381.5535916007708
BASE/blockerParallel/7-nDJA24.753651023222633502.366666666671353.4313235343132
DRESDEN/pawn_whopping_corrected/7Ov0jQ24.827378112843473116077.633333333334675.38830744617
BASE/sudokuGrade4/DTy07w24.9557003409514710381.133333333333415.9824485589868
DRESDEN/blockerparallel/dVQgSg24.98187810840844533718.01349.6983634969836
DRESDEN/hanoi7/51zz5Q24.996206841569045219891.58796.994735789965
BASE/haystack/UkweGA25.155068474778183850260.633800.76666666667
BASE/troublemaker02/DI83KA25.177552304455364581569.566666666723098.733333333334
DRESDEN/pawn_whopping/4ogBkg25.216952413691498119807.04751.049930004667
BASE/sudokuGrade3/eI8dvg25.31924312052169810479.866666666667413.9091605851578
DRESDEN/pentago_2008/hLjVpQ25.45200840337481688154.166666666673463.5446157945576
BASE/sudokuGrade2/u80Tfw25.46324553826611510674.8419.22385675297875
BASE/sudokuGrade5/BQfUQA25.52231146581537810656.266666666666417.52749083638787
BASE/pentagoSuicide/SBgNhw25.6678329667987588293.03439.8307061685605
BASE/tictactoe_3player/GtM71g25.71178929580412473710.92866.813318668133
BASE/chinook/XQh0IQ25.76669351205608318554.866666666665720.1105045932632
BASE/double_tictactoe_dengji/zgaSbA25.9194972109722398978.233333333343818.6787547496833
BASE/switches/tPUoCg26.163825905771994390100.914909.933333333332
STANFORD/bestbuttonsandlights/nm0wEA26.176168340599084434723.333333333316607.6
DRESDEN/doubletictactoe/lJzgmQ26.63193735596061107337.333333333334030.3989867004434
DRESDEN/chickentictactoe/Ipbo-g26.89752716754764176065.833333333346545.8
BASE/hanoi/iGLsJg26.916739663574738274978.333333333310215.885607626158
BASE/cittaceot/fDxhXg27.125704195669442209.11556.0554555755516
STANFORD/jointbuttonsandlights/qAKuIQ27.164551023787183328129.666666666712079.333333333334
BASE/nim2/eF2Qqw27.490277457132663174643.96352.933333333333
BASE/doubletoetictac/fu35bg27.540506233344825109204.533333333343965.233333333333
BASE/ticTacHeavenFC/mrletw27.5650541867954956285.733333333332041.9235511713932
BASE/brain_teaser_extended/ZDp94A27.6064583654765211844.97673.744208526383
DRESDEN/bunk_t/7-tPfA27.645355121531416109929.933333333333976.4341188627045
BASE/chickentictactoe/DSlZCA27.749192199985643180345.76499.133333333333
DRESDEN/doubletoetictac/V89gKQ27.809843949148917111294.066666666674001.9666011132963
DRESDEN/brain_teaser_extended/ZDp94A27.836398893173843212934.533333333337649.5
DRESDEN/nim2/z5_exA27.93132549019608178062.26375.0
DRESDEN/troublemaker01/C-lPWw28.00464381933773664563.266666666723730.466666666667
DRESDEN/double_tictactoe_dengji/bGaUyQ28.07742806856604107113.13814.918508149185
STANFORD/trifecta/ss1kyQ28.135077464119377197339.433333333327014.0
BASE/connect5/d-BVQg28.28865718267581621961.166666666668776.3241119877492
BASE/tictactoe_orthogonal/WRzlVw28.443802426638168200515.533333333337049.533333333334
DRESDEN/connect5/1kYzSg28.4569859482758621949.666666666668771.3278808431412
BASE/troublemaker01/s3tlEQ29.14526278609777687633.923593.333333333332
DRESDEN/latenttictactoe/kITHKg29.334227009307583519.433333333332847.1666666666665
DRESDEN/sheep_and_wolf/enAIzQ29.38793714071383424793.9843.6760934012858
BASE/pentago/86NgKw29.605279015629552101617.43432.4081170237578
DRESDEN/tictactoe/BTTzPw29.724879902967327207493.533333333336980.466666666666
BASE/sheepAndWolf/g4THrg29.9568141074255925012.766666666666834.9608398600234
DRESDEN/tictactoe_3player/ESLQQQ30.12045671749844286443.833333333332869.937668744375
BASE/buttons/hTcUjw30.274705502031996568147.233333333318766.4
STANFORD/tictactoe/ss1kyQ30.314713418105907212970.966666666677025.333333333333
DRESDEN/buttons/ADUaHw30.433429398975786561788.933333333318459.6
BASE/bunk_t/xbpfIA30.90438772726004123026.266666666663980.867304423186
DRESDEN/eotcatcit/mQUxzA31.861194637903274218979.866666666676872.933333333333
DRESDEN/tictactoe_orthogonal/y69QFQ31.922931547337114224656.566666666687037.466666666666
STANFORD/buttonsandlights/eyhJpA31.93753936449271922886.328896.6
DRESDEN/hitori/S8Gsyg32.3299946416801760484.866666666671870.8591615010332
BASE/hitori/S8Gsyg32.4079328125556760633.51870.9462387094625
BASE/racetrackcorridor/_RkdUg32.84833207332971558508.8333333333361781.1812545830278
BASE/eotcatcit/AfZSzA33.303938588664316228926.833333333346873.866666666667
BASE/nim1/hin2Qw33.623814895590485223547.933333333326648.5
BASE/ticTacToe/JRFsaQ33.65955721739462235251.133333333336989.133333333333
BASE/onestep/xi53wA34.280799335976525838404.366666666724456.966666666667
STANFORD/sukoshi/4LYZZQ34.37057929349338284140.433333333358266.966666666667
BASE/reversi/d8UMeA34.91259604257377416013.033333333333458.6606310744242
DRESDEN/nim1/M9BALA35.21390579166099232630.566666666686606.213126229126
BASE/ticTacToeSerial/Amrwqw35.95134599229787120103.833333333333340.732593407326
BASE/connectFourLarge/aU644A36.820365634106025159618.733333333344335.066493350665
STANFORD/tictactoe7/-bE9-A37.11167002978764257480.766666666666938.0
BASE/reversiSuicide/9OxJlg37.3457058568066617047.966666666667456.49068013423266
DRESDEN/tictactoe-init1/3ltIBQ37.59399336309595262449.933333333356981.166666666667
DRESDEN/pawntoqueen/f_x6Aw37.7229402490902624523.933333333334650.1066240170599
DRESDEN/racetrackcorridor/O0DoTA37.74409477077363657957.91535.5488150394988
STANFORD/untwistycorridor/EDPPAQ38.34384626556493836042.833333333421803.833333333332
BASE/tictactoe2/bhrDoQ38.537549432345905402469.466666666710443.566666666668
BASE/tictactoe-init1/7M19vA38.83710560613366271169.733333333346982.233333333334
BASE/blockerSerial/3eqDuw38.9221996953768781200.566666666672086.227584827678
BASE/untwistycomplex2/EDPPAQ39.614222314993235847695.521398.766666666666
BASE/ticTacToeNoVars/XT03NA39.76077251738739415046.810438.6
BASE/twisty-passages/DiZmmg40.80592745459206151929.333333333343723.21725813969
BASE/hidato19/rRHSmA41.2228862001675109370.766666666662653.156456236251
DRESDEN/mummymaze2p-comp2007/oTQRQg41.40435093330740685137.32056.240421136803
BASE/futoshiki4/BaCwSw41.40688329665296138598.53347.233333333333
DRESDEN/ghostmaze2p/HY0UwA41.663103808427266103718.966666666662489.468070923877
STANFORD/triplesukoshi/Iu9mbA41.7469947952857995318.733333333342283.247783481101
DRESDEN/twisty-passages/j7NPyg41.77632475266019153902.233333333343683.9581807285076
BASE/ghostMaze2p/W-NU-w41.991604482767855104497.72488.537918166067
STANFORD/tictactoe5/WFRReg42.29508929214892293439.16937.9
STANFORD/untwistycomplex/HTWEwg44.09962907101899850853.833333333419293.9
DRESDEN/grid_game/U7_Yeg45.06407979692486560382.233333333331339.919368273748
BASE/ticTacToeLargeSuicide/727_8g45.16186971595402247502.15480.333333333333
BASE/breakthroughSmallHoles/bxclRw45.34025807359651133138.933333333322936.439689364397
BASE/blokbox_simple/JBx4bg45.421223266977273549.566666666666678.14775585859923
BASE/mummyMaze2p_2007/YGA3Vw45.4299192360688494496.533333333342080.0506565353594
STANFORD/multiplebuttonsandlights/cK70Yg46.233226004833696786861.766666666717019.4
STANFORD/multiplebuttonsandlights_9/SqB9BA46.276216963640366785362.933333333316971.2
BASE/withConviction/3Xm54A46.54783167940699111622.333333333332398.0135981869084
BASE/connectFour_9x6/B9TtMw46.63453440279833232118.766666666664977.400753308223
DRESDEN/tictactoex9/rFkD4w46.66511777992900524102.533333333333516.5
BASE/connectFourSimultaneous/7ITr3g46.684237404264124135305.42898.310168983102
STANFORD/connectfour/VMpZkQ47.211570396879544244496.133333333335178.733333333334
BASE/ticTacToeLarge/TZC0dg47.389281774233126257464.65432.97113525765
BASE/tictactoex9/BI26ow48.2947016495245424866.366666666665514.8880895283773
BASE/connectFourSuicide/c8p9Kw48.43196844765527252963.45223.066666666667
DRESDEN/connectfour/5tc-Mg48.63706134717156252432.833333333345190.133333333333
DRESDEN/tictactoelargesuicide/6J4DeA49.712604856568454272800.46666666675487.551244875513
DRESDEN/tictactoelarge/IwXcbg50.50183713854562275149.33333333335448.303446436904
BASE/slidingpieces/uFJWEw50.7723773586343573910.333333333331455.7193729823277
DRESDEN/connectfoursuicide/M9CNQg51.228397277349096264664.45166.361121295957
BASE/dualConnect4/WbCQkg51.64149171965891177848.133333333333443.9
BASE/futoshiki5/TJ4BZg51.93343895435191487412.633333333331683.1666666666667
BASE/hallway/ckCJOw52.0370620604099310671.966666666667205.0839583195062
BASE/connectFour/WAIKTw52.074459351992270655.266666666665197.466666666666
DRESDEN/hallway/0H4l-Q52.5484559870550210774.7205.04313205043132
DRESDEN/lightsout/XgLpzQ52.71914541366041170488.033333333333233.8922035932137
DRESDEN/ggp-course2013_jordi/9QI6Kw53.0761555074176244899.166666666664845.9385620043979
DRESDEN/slidingpieces/s9_44g53.12657511444028676536.666666666671440.6474820143885
BASE/dotsAndBoxes/EHwA_w53.53901636719843584929.366666666671586.307938199254
DRESDEN/lightsout2/LFtfyQ53.53969301772099173201.433333333323235.0098323500983
DRESDEN/connect4/T0-rHQ54.0073575413012470598.71307.2052256215425
BASE/futoshiki6/JmvXNA54.28510929978763561335.11129.8696970706835
DRESDEN/oisters_farm/pTQMLg55.54839833456444877291.433333333315793.280447970135
BASE/lightsOut/5P1ZBw55.60313325063744179277.666666666663224.236768430876
BASE/dotsAndBoxesSuicide/jzQbLw55.704924938271688189.566666666671583.1556503198294
DRESDEN/fizzbuzz/t1xHzQ56.1767097635051526509.29372.375174988334
DRESDEN/tictactoe_3d_small_2player/HYttcg56.965449087133265143239.566666666682514.4990333977735
BASE/connect4/50bOyw57.6446091517062475526.633333333331310.2115608862237
BASE/tictactoe_3d_small_2player/oOryKA58.097021273497305144945.32494.883503883204
STANFORD/tictactoe3/X7myng58.24843426819214402712.26913.7
BASE/catcha_mouse/cHv4dw58.2841614659853160819.11043.492751208132
BASE/pawnToQueen/-O1_JA60.7336299972627139435.26666666667649.3151597960476
BASE/3pConnectFour/PqXOFQ65.55674891944237227899.43476.368242117192
BASE/bomberman2p/4CClwA66.4848105673971973808.01110.1483086152307
DRESDEN/quad_5x5_8_2/JRTLJg67.0994813288212773308.133333333331092.5290610531927
DRESDEN/catcha_mouse/cHv4dw67.7136173254029170549.41041.8790604697651
BASE/tictactoe_3d_small_6player/g_9lww70.61483526222062117586.31665.1784226835039
DRESDEN/bomberman2p/x4h6jQ71.9753676802309979770.31108.3
BASE/hidato37/pBrqxw72.044282627068240345.566666666666560.0106656001067
DRESDEN/blocker/S815zQ73.2148632245942355880.366666666644860.766666666666
BASE/blocker/dIWtxg74.71953190729985364494.633333333364878.170727642412
BASE/quad_5x5/JAEP5g75.2238338016795972450.76666666666963.1357909472702
DRESDEN/tictactoe_3d_small_6player/llDEDQ75.47229802925887124763.11653.0979347101932
BASE/lightsOnSimultaneous/_VN6lw77.04111799046589111493.31447.192134644226
DRESDEN/quad_5x5/JAEP5g78.0150195331524474751.5958.1680610646312
STANFORD/platformjumpers/HEQskA79.1322183388742130840.533333333333389.734219269103
BASE/cubicup_3player/e2yA_g82.7620544600938949175.7594.1817215727949
DRESDEN/cubicup/SBn_lw83.6585556481481584302.533333333341007.6976906927922
DRESDEN/tictactoe_3d_2player/LMuX9w84.0557082945088270290.4836.2358895807665
BASE/lightsOn/MsXu3A84.87942304648071847393.76666666679983.500549981667
BASE/cubicup/4wNWJA85.6855042740945486830.566666666671013.3635485053487
DRESDEN/cubicup_3player/awDtsQ88.5349763559768452205.53333333333589.6599906846762
BASE/lightsOnSimul4/9FeASw89.5626935248704594854.966666666661059.090151641393
BASE/queens06ug/7Lq3tw89.62084196552601203569.133333333332271.448570095327
DRESDEN/quad_7x7/q-JOXg90.0416382328424632337.0359.1338477913784
BASE/quad_7x7/q-JOXg93.4673930340981734067.7364.48753831800616
BASE/factoringGeorgeForman/HGRorQ94.32257721925598896216.96666666679501.616612779573
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw97.89324131952425425901.66666666674350.674887518747
BASE/tictactoe_3d_2player/IUC1rQ98.578804089405582992.83333333333841.8932862896515
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ103.80836636394214431941.64160.9517144856545
BASE/conn4/va9Y7A109.53215015566114178212.41627.0327912556652
DRESDEN/lightson2x2/gBHuig111.94056860437259539871.36666666674822.839238692043
BASE/lightsOnParallel/SC6enA112.2787025335465515042.66666666674587.180427319089
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg114.04181332987567454407.266666666663984.5671810939634
BASE/simultaneousWin2/PfjRjw116.99838623992346111362.63333333333951.830507345348
BASE/factoringEasyTurtleBrain/lUj94Q119.41956763362879592601.24962.345884705098
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg122.70845319702676487566.766666666663973.375541486171
BASE/factoringMutuallyAssuredDestruction/NH0LGg124.74352915313428476207.33817.49100119984
BASE/tictactoe_3d_6player/d7KSwg126.1161626461061879403.36666666667629.6050006649821
STANFORD/multipletictactoe/_bkafQ136.7241134043665684223.76666666666616.0125274871726
DRESDEN/sat_test_20v_91c/dK7nVw139.89872224122138305384.46666666672182.8967539825367
BASE/queens08ug/kJ_ZFQ140.9711030383091142286.833333333341009.3333333333334
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA146.2153360049322316215.03333333332162.6666666666665
DRESDEN/sat_test_20v_91c_version2/a1mPBA153.28638563726986334857.33333333332184.5210319312046
DRESDEN/tictactoe_3d_6player/ulZPWg157.9356064505827898888.7626.1330311916822
DRESDEN/uf20-020.cnf.SAT/hDrW_A170.76729241877254315350.266666666661846.6666666666667
DRESDEN/uf20-010.cnf.SAT/5ICbCg184.28832705257273366058.46666666671986.3356107315446
BASE/knightmove/jBaJEw211.49563276855264208318.26666666666984.9766822118588
DRESDEN/knightmove/97Ipcw215.26846031451214212349.83333333334986.4419201172591
STANFORD/selectivesukoshi/3xmXYg228.7310552517051117111.7512.0061194625515
BASE/quad/tw-Ufg234.4672498159509412269.46666666666752.32912774085845
DRESDEN/quad/JPe6fg244.0354857018118412257.96666666666750.23026315789474
BASE/mummymaze2p/vpjDdA247.1929335101194789909.26666666666363.72102304852496
DRESDEN/mummymaze2p/k-8edg249.6282416819012790849.4363.93878908848967
DRESDEN/firefighter/WJmoPw262.1484782530489971592.16666666663706.266666666667
BASE/queens12ug/u6Bkmg267.708872833085771995.23333333334268.9310689310689
BASE/firefighter/WJmoPw273.66997838126341013782.66666666663704.398533822059
DRESDEN/ggp-course2013_michal13/jWKddg292.575259370576189316.13333333333305.2757554602573
STANFORD/multiplesukoshi/vLSQPg338.9110241576877131655.5388.46626582068234
BASE/wallmaze/uxNQ9g345.4345453862942131661.43333333332381.14726825048245
BASE/queens16ug/gT-ylw445.5660963255494443147.596.8374846197333
BASE/factoringMediumTurtleBrain/8RBqmQ523.2449054238293352592.0333333333673.8566007589375
BASE/golden_rectangle/_nYzfw528.843106668287272461.63333333333137.01915070774353
BASE/majorities/ibJzSQ649.3576288237656107200.6165.08714957916362
BASE/zhadu/DlA8iQ741.07823869104924878.233.570274636510504
DRESDEN/golden_rectangle/1uloXw13273.69838699999973475.45.535412803409814

Games with errors:

GameALLOY_DIFF_PROP_NET:1 error messageCADIAPLAYER_PROLOG:3.0 error message
DRESDEN/farmers/S_ASnwTest process timed out after 240 seconds
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 seconds
DRESDEN/ggp-course2013_nicolai/uEin8gTest process timed out after 240 seconds
DRESDEN/checkers/jIDMIgIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
BASE/mummymaze1p/PT_EXAException of type NullPointerException
DRESDEN/god/2EDD5wTest process timed out after 240 seconds
DRESDEN/small_dominion/yB5GJATest process timed out after 240 seconds
DRESDEN/uf20-01.cnf.SAT/42Rs8AException of type NullPointerException
BASE/amazonsSuicide/dE1QEQTest process timed out after 240 seconds
DRESDEN/pancakes88/aD3E7gTest process timed out after 240 seconds
BASE/god/qF06gwTest process timed out after 240 seconds
DRESDEN/merrills/aYEzwAOutOfMemoryError: GC overhead limit exceeded
BASE/laikLee_hex/zbyscQTest process timed out after 240 seconds
BASE/merrills/pku8TgOutOfMemoryError: GC overhead limit exceeded
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 seconds
DRESDEN/skirmish/RjGQYQTest process failed to output results for unknown reason
DRESDEN/Travelers-Dilemma/PvZwYwTest process failed to output results for unknown reason
BASE/knightsTourLarge/M8jgLATest process failed to output results for unknown reason
BASE/queens/HyJJnQTest process failed to output results for unknown reason
BASE/duplicateStateSmall/bCPAXwTest process failed to output results for unknown reason
DRESDEN/gt_ultimatum/pAiiQwTest process failed to output results for unknown reason
BASE/shmup/ssTNlgTest process failed to output results for unknown reason
STANFORD/dualrainbow/G3OnRQTest process failed to output results for unknown reason
BASE/stateSpaceSmall/Q7osKATest process failed to output results for unknown reason
BASE/gt_ultimatum/GE-uOATest process failed to output results for unknown reason
DRESDEN/skirmish3/3LU8NwTest process failed to output results for unknown reason
DRESDEN/CephalopodMicro/H3XQfgTest process timed out after 240 seconds
BASE/checkers-mustjump/T-8UuQTest process failed to output results for unknown reason
BASE/pacman3p/wW7UVQTest process failed to output results for unknown reason
BASE/stateSpaceMedium/3bUoIwTest process failed to output results for unknown reason
STANFORD/dualhunter/1rPZjQTest process failed to output results for unknown reason
STANFORD/madness/UO_B3ATest process failed to output results for unknown reason
DRESDEN/SC_TestOnly_enabled/09o7gQTest process failed to output results for unknown reason
BASE/gt_attrition/kD_SCATest process failed to output results for unknown reason
BASE/skirmish/Y_psYQTest process failed to output results for unknown reason
BASE/kalaha6x2x4/XS81MgTest process failed to output results for unknown reason
BASE/queens31lg/0gID-ATest process timed out after 240 seconds
BASE/3pffa/pR0dzATest process failed to output results for unknown reason
BASE/checkers-mustjump-torus/uSApKQTest process failed to output results for unknown reason
BASE/colonelBlotto/jip21ATest process failed to output results for unknown reason
DRESDEN/vacuum_cleaner_1/eUNjpwTest process failed to output results for unknown reason
BASE/checkers-cylinder-mustjump/rjr6qQTest process failed to output results for unknown reason
BASE/checkersBarrelNoKings/rnKNegTest process failed to output results for unknown reason
BASE/skirmishFinal1/ecWTnQTest process failed to output results for unknown reason
BASE/four_way_battle/xSOQXATest process failed to output results for unknown reason
STANFORD/hunter/14dD-gTest process failed to output results for unknown reason
BASE/queens08lg/Ru7eqQTest process timed out after 240 seconds
BASE/checkersTorusNoKings/pwb6oQTest process failed to output results for unknown reason
DRESDEN/statespacemedium/dVJZ_wTest process failed to output results for unknown reason
BASE/2pffa/6oHijATest process failed to output results for unknown reason
DRESDEN/othello-cornercontrol/r5GdlgTest process failed to output results for unknown reason
BASE/chineseCheckers3/-1rZdQTest process failed to output results for unknown reason
BASE/battle/8oAvhQTest process failed to output results for unknown reason
DRESDEN/2player_normal_form_2010/NG_KdgTest 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/smallest_4player/ADDROATest process failed to output results for unknown reason
STANFORD/skirmish/w4V6VwTest process failed to output results for unknown reason
DRESDEN/snake_2009/zIYLVwTest process failed to output results for unknown reason
BASE/4pttc/AL1k2QTest process failed to output results for unknown reason
BASE/kalaha5x2x3/WviNswTest process failed to output results for unknown reason
BASE/checkersTorus/2vm1EQTest process failed to output results for unknown reason
BASE/smallest_4player/ADDROATest process failed to output results for unknown reason
BASE/gt_staghunt/xPjLRATest process failed to output results for unknown reason
STANFORD/alquerquezero/uVgA_ATest process failed to output results for unknown reason
BASE/max_knights/2fq3AgTest process failed to output results for unknown reason
BASE/nonogram_5x5_1/qLKEZwTest process failed to output results for unknown reason
BASE/gt_dollar/TGjqRwTest process failed to output results for unknown reason
BASE/nonogram_10x10_1/0Xc62gTest process failed to output results for unknown reason
BASE/strangeSkirmish/gc1zKATest process failed to output results for unknown reason
DRESDEN/kalaha_2009/gcC8uATest process failed to output results for unknown reason
BASE/gt_coordination/IVMOzATest process failed to output results for unknown reason
BASE/ad_game_2x2/D0aWqgTest process failed to output results for unknown reason
BASE/beatMania/qUHwvQTest process failed to output results for unknown reason
DRESDEN/chinesecheckers2/06E6-QTest process failed to output results for unknown reason
DRESDEN/knightstour/cGISAATest process failed to output results for unknown reason
BASE/chineseCheckers2/eCMR3QTest process failed to output results for unknown reason
STANFORD/knightstour/cEwgNATest process failed to output results for unknown reason
DRESDEN/battle/8oAvhQTest process failed to output results for unknown reason
STANFORD/rainbow/_4qNSQTest process failed to output results for unknown reason
BASE/brawl/6Ymo_QTest process failed to output results for unknown reason
DRESDEN/snake_2009_big/DgC1NQTest process failed to output results for unknown reason
DRESDEN/smallest/9kaGFwTest process failed to output results for unknown reason
BASE/othelloSuicide/B442jgTest process timed out after 240 seconds
BASE/ruleDepthLinear/OUBJpQTest process failed to output results for unknown reason
BASE/checkers-suicide-cylinder-mustjump/YeW5TwTest process failed to output results for unknown reason
BASE/copolymer_4/2LDVhQTest process failed to output results for unknown reason
BASE/kalaha_2009/dRiN3gTest process failed to output results for unknown reason
BASE/point_grab/V_osUgTest process failed to output results for unknown reason
BASE/snake_2008/i6K26gTest process failed to output results for unknown reason
DRESDEN/queens/mW2wHQTest process failed to output results for unknown reason
BASE/stateSpaceLarge/0Ge_CQTest process failed to output results for unknown reason
DRESDEN/statespacesmall/h-NqjATest process failed to output results for unknown reason
DRESDEN/gt_chicken/CeuKtwTest process failed to output results for unknown reason
DRESDEN/babel/WdSW4ATest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tATest process failed to output results for unknown reason
BASE/gt_two_thirds_4p/DStnxQTest process failed to output results for unknown reason
BASE/gt_chicken/gmepTQTest process failed to output results for unknown reason
DRESDEN/chinesecheckers6/yTbPDATest 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
BASE/gt_centipede/9fRMpwTest process failed to output results for unknown reason
STANFORD/knightstourmedium/x1wu8QTest process failed to output results for unknown reason
BASE/snake_2009/7l-qAQTest process failed to output results for unknown reason
DRESDEN/towerworld/HCX34wTest process failed to output results for unknown reason
DRESDEN/chinesecheckers3/QsCb2ATest process failed to output results for unknown reason
BASE/rubiksCube/9tNO9QTest process failed to output results for unknown reason
BASE/crissrace/ERWGDATest process failed to output results for unknown reason
BASE/chineseCheckers6/rREH3ATest process failed to output results for unknown reason
DRESDEN/grid_game2/kypTYQTest process failed to output results for unknown reason
BASE/ruleDepthExponential/UamhHQTest process failed to output results for unknown reason
DRESDEN/crissrace/KWb9bwTest process failed to output results for unknown reason
BASE/skirmishNew/sibw2gTest process failed to output results for unknown reason
DRESDEN/skirmish2/iPpWhQTest process failed to output results for unknown reason
BASE/snakeAssemblit/UO4sdgTest process failed to output results for unknown reason
DRESDEN/point_grab/r5DPmQTest process failed to output results for unknown reason
BASE/colonelBlottoVariant2/jruwGwTest process failed to output results for unknown reason
STANFORD/eightpuzzle/W_aWbATest process failed to output results for unknown reason
BASE/mineClearingSmall/frsbvwTest process failed to output results for unknown reason
STANFORD/checkersonabarrelnokings/ZrevdwTest process failed to output results for unknown reason
BASE/gt_prisoner/klthDwTest process failed to output results for unknown reason
STANFORD/pilgrimage/ObRZnQTest process failed to output results for unknown reason
DRESDEN/logistics/fPru1QTest process failed to output results for unknown reason
DRESDEN/pacman3p/rBnk8QTest process failed to output results for unknown reason
DRESDEN/snake_2008/E56l3ATest process failed to output results for unknown reason
BASE/chineseCheckers1/gqtwHwTest process failed to output results for unknown reason
DRESDEN/3pffa/0YrmQwTest process failed to output results for unknown reason
BASE/copolymer_4_pie/IN5_jATest process failed to output results for unknown reason
BASE/cephalopodMicro/9l2D3gTest process timed out after 240 seconds
BASE/skirmishFinal3/-OlhfwTest process failed to output results for unknown reason
BASE/checkers-newgoals/0XkFiATest process failed to output results for unknown reason
DRESDEN/4pttc/9pB9AQTest process failed to output results for unknown reason
BASE/colonelBlottoVariant/X-n-KQTest process failed to output results for unknown reason
BASE/4pffa/Q3ADlgTest process failed to output results for unknown reason
BASE/snake_2008_tweaked/bX0NJQTest process failed to output results for unknown reason
DRESDEN/gt_prisoner/huCp4wTest process failed to output results for unknown reason
BASE/skirmishFinal2/gdB62QTest process failed to output results for unknown reason
STANFORD/chinook/osFbPATest process failed to output results for unknown reason
BASE/knightsTour/mvtVIgTest process failed to output results for unknown reason
BASE/duplicateStateLarge/dcjyuwTest process failed to output results for unknown reason
BASE/pacman2p/4LEdQgTest process failed to output results for unknown reason
BASE/skirmishHoles/AUCxCATest process failed to output results for unknown reason
DRESDEN/ticblock/Z2yNWQTest process failed to output results for unknown reason
DRESDEN/brawl/2kXtfQTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_1/CqS-7ATest process failed to output results for unknown reason
BASE/gt_tinfoil/Q8DyKgTest process failed to output results for unknown reason
BASE/duplicateStateMedium/U163eQTest process failed to output results for unknown reason
BASE/solitaireChineseCheckers/-ET6gwTest process failed to output results for unknown reason
BASE/snake_2009_big/-oRfVwTest process failed to output results for unknown reason
DRESDEN/statespacelarge/8-y5HQTest process failed to output results for unknown reason
DRESDEN/Goldrush/VeWczQTest process failed to output results for unknown reason
BASE/ticblock/T21C1gTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_random/_6AGDATest process failed to output results for unknown reason
DRESDEN/four_way_battle/xSOQXATest process failed to output results for unknown reason
BASE/gt_two_thirds_2p/1APDGgTest process failed to output results for unknown reason
BASE/othelloHoles/c0qAzwTest process timed out after 240 seconds
DRESDEN/checkers-cylinder-mustjump/vW_-pAIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUETest process failed to output results for unknown reason
BASE/knightwar/DVGY4QException of type NullPointerExceptionTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 secondsTest process failed to output results for unknown reason
DRESDEN/cylinder-checkers/clOO3QIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUETest process failed to output results for unknown reason
BASE/alexChess/LNo83gTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/sudoku/NTaNkwTest process timed out after 240 secondsTest process failed to output results for unknown reason
BASE/slaughter/cOch8ATest process timed out after 240 secondsTest process failed to output results for unknown reason
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 secondsTest process failed to output results for unknown reason
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWgIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUETest process failed to output results for unknown reason
DRESDEN/battlesnakes2011/93VtTwTest process timed out after 240 secondsTest process failed to output results for unknown reason
DRESDEN/battlesnakes1509/-qZrLwTest process timed out after 240 secondsTest process failed to output results for unknown reason
DRESDEN/checkers-mustjump/HUr33wIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUETest process failed to output results for unknown reason
DRESDEN/checkers-newgoals/IJOqXQIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUETest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 secondsTest process failed to output results for unknown reason
BASE/amazonsTorus/soxT8gTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_random_big/DwzFaQTest process timed out after 240 secondsTest process failed to output results for unknown reason
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 secondsTest process failed to output results for unknown reason
DRESDEN/knightwar/7hhAqgTest process timed out after 240 secondsTest process failed to output results for unknown reason
BASE/factoringImpossibleTurtleBrain/kcBhdwOutOfMemoryError: Java heap spaceTest process timed out after 240 seconds
BASE/cylinder-checkers/hlldmwIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUETest process failed to output results for unknown reason
DRESDEN/checkers-mustjump-torus/cVc3gAIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUETest process failed to output results for unknown reason

index