index

CADIAPLAYER_PROLOG:3.0 vs. SANCHO_DEAD_RECKONING_PROPNET:1.61c

Game-by-game performance:

GamePerf ratioCADIAPLAYER_PROLOG:3.0 states per secondSANCHO_DEAD_RECKONING_PROPNET:1.61c states per second
DRESDEN/golden_rectangle/1uloXw7.641721696793777E-65.535412803409814724367.2333333333
DRESDEN/quad/JPe6fg1.539163371940922E-450.23026315789474326347.8333333333
BASE/quad/tw-Ufg1.622337467966081E-452.32912774085845322553.9
BASE/golden_rectangle/_nYzfw1.68142501478703E-4137.01915070774353814898.9666666667
BASE/queens16ug/gT-ylw1.8027419109796416E-496.8374846197333537167.7666666667
BASE/zhadu/DlA8iQ3.220538878935831E-433.570274636510504104238.06666666667
BASE/mummymaze2p/vpjDdA3.330442810193999E-4363.721023048524961092110.1
STANFORD/multiplesukoshi/vLSQPg3.3753939133134784E-4388.466265820682341150876.8333333333
DRESDEN/mummymaze2p/k-8edg3.474880337600885E-4363.938789088489671047341.9333333333
BASE/majorities/ibJzSQ3.479449373355227E-4165.08714957916362474463.43333333335
BASE/factoringMediumTurtleBrain/8RBqmQ4.412130971002644E-4673.85660075893751527281.5
BASE/queens12ug/u6Bkmg4.562478011889725E-4268.9310689310689589440.8
STANFORD/multipletictactoe/_bkafQ4.978138476608863E-4616.01252748717261237435.5
DRESDEN/ggp-course2013_michal13/jWKddg5.386267745649235E-4305.2757554602573566766.7666666667
BASE/wallmaze/uxNQ9g7.020781802775848E-4381.14726825048245542884.3666666667
BASE/sudokuGrade2/u80Tfw7.043931503562687E-4419.22385675297875595156.0666666667
BASE/sudokuGrade4/DTy07w7.058988457880019E-4415.9824485589868589294.7
BASE/sudokuGrade3/eI8dvg7.094409559623707E-4413.9091605851578583430.0333333333
BASE/sudokuGrade1/tDRNRw7.149324318119516E-4430.7999334774655602574.3333333334
STANFORD/sudoku/oJ1qyQ7.253032596990279E-4408.6788428209572563459.2666666667
BASE/sudokuGrade5/BQfUQA7.286870723479943E-4417.52749083638787572986.0
BASE/sudokuGrade6H/ieE_9A7.441873420494996E-4383.509331208076515339.76666666666
BASE/sudokuGrade6E/ihYFZA7.442398592965339E-4381.5535916007708512675.56666666665
DRESDEN/quad_7x7/q-JOXg7.505136130353002E-4359.1338477913784478517.43333333335
STANFORD/selectivesukoshi/3xmXYg7.526829363415992E-4512.0061194625515680241.4333333333
BASE/quad_7x7/q-JOXg7.738858935092488E-4364.48753831800616470983.56666666665
BASE/firefighter/WJmoPw9.027986339365917E-43704.3985338220594103238.966666667
DRESDEN/firefighter/WJmoPw9.619638084346858E-43706.2666666666673852813.0
DRESDEN/tictactoe_3d_2player/LMuX9w9.759315440761073E-4836.2358895807665856859.1666666666
BASE/tictactoex9/BI26ow9.920349373572842E-4514.8880895283773519022.13333333336
BASE/connect5/d-BVQg9.956486499131426E-4776.3241119877492779716.9333333333
DRESDEN/connect5/1kYzSg9.962823176331607E-4771.3278808431412774206.1333333333
BASE/tictactoe_3d_2player/IUC1rQ0.0010028353975999713841.8932862896515839512.9333333333
DRESDEN/tictactoex9/rFkD4w0.0010032074149944384516.5514848.6666666667
BASE/knightmove/jBaJEw0.001028017728467329984.9766822118588958132.0
STANFORD/platformjumpers/HEQskA0.001032670684882307389.734219269103377404.1666666667
BASE/simultaneousWin2/PfjRjw0.0010365969439688353951.830507345348918226.2333333333
DRESDEN/knightmove/97Ipcw0.001083659943399475986.4419201172591910287.3333333334
BASE/pawnToQueen/-O1_JA0.0011477746274301437649.3151597960476565716.6
STANFORD/duidoku/3SoMaA0.0012852113301981992400.7241803142544311796.3333333333
BASE/twisty-passages/DiZmmg0.001350096181266143723.217258139692757742.2333333334
DRESDEN/twisty-passages/j7NPyg0.00138666496742473753683.95818072850762656703.8666666667
DRESDEN/pawntoqueen/f_x6Aw0.0014001340979619972650.1066240170599464317.4
BASE/queens08ug/kJ_ZFQ0.001403209391975191009.3333333333334719303.4333333333
DRESDEN/quad_5x5/JAEP5g0.001423725771347395958.1680610646312673000.4333333333
DRESDEN/catcha_mouse/cHv4dw0.0015080514405634261041.8790604697651690877.6666666666
DRESDEN/uf20-020.cnf.SAT/hDrW_A0.0015209533423402691846.66666666666671214150.7666666666
DRESDEN/uf20-010.cnf.SAT/5ICbCg0.00159155866248934861986.33561073154461248044.2333333334
BASE/quad_5x5/JAEP5g0.001621378399787556963.1357909472702594022.8333333334
BASE/catcha_mouse/cHv4dw0.00170645036921802481043.492751208132611499.0333333333
DRESDEN/ggp-course2013_jordi/9QI6Kw0.0017291304322439567845.9385620043979489227.73333333334
BASE/lightsOnSimultaneous/_VN6lw0.0017834721008634531447.192134644226811446.4666666667
DRESDEN/quad_5x5_8_2/JRTLJg0.00181019428082166761092.5290610531927603542.4333333333
DRESDEN/chinesecheckers1/Y-ftaA0.00182149619930801142515.2313024930011380860.0333333334
DRESDEN/mimikry/GJEhwA0.0018346002334020051591.642228739003867568.9666666667
BASE/dotsAndBoxesSuicide/jzQbLw0.00189881094346373041583.1556503198294833761.6
BASE/dotsAndBoxes/EHwA_w0.00190654213006661961586.307938199254832034.0333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg0.00192798394428330663984.56718109396342066701.4333333333
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg0.0019286685352426963973.3755414861712060165.0666666667
DRESDEN/sat_test_20v_91c/dK7nVw0.00193487671113063822182.89675398253671128183.9
BASE/lightsOnSimul4/9FeASw0.0019407172376386341059.090151641393545721.0
DRESDEN/sat_test_20v_91c_version2/a1mPBA0.00199968971186364772184.52103193120461092430.0
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA0.0020081497824695272162.66666666666651076944.9
BASE/futoshiki6/JmvXNA0.0020333801291927481129.8696970706835555660.8333333334
BASE/breakthroughHoles/nZk0Sg0.00206844833614831981864.7964283334443901543.6333333333
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw0.00214754506093807864350.6748875187472025882.9333333333
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ0.00216119217048573724160.95171448565451925303.9
DRESDEN/connect4/T0-rHQ0.00218996134181092661307.2052256215425596907.9
DRESDEN/grid_game/U7_Yeg0.00220642314421442631339.919368273748607281.2333333333
BASE/factoringMutuallyAssuredDestruction/NH0LGg0.00224752087777638053817.491001199841698534.1666666667
BASE/connect4/50bOyw0.002289309725367771310.2115608862237572317.3
DRESDEN/breakthroughsuicide/Y9QzqQ0.00231021635548150662027.208845372498877497.4
BASE/bomberman2p/4CClwA0.00237252932894791661110.1483086152307467917.63333333336
DRESDEN/bomberman2p/x4h6jQ0.00238199834250913841108.3465281.6
BASE/breakthrough/TGxk-g0.00243066010960102042042.8840430.1333333333
BASE/breakthroughSuicide/wZDpIg0.0024410011318504022032.115134756971832492.5
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg0.00246610892464794964129.6450591568071674559.0666666667
BASE/conn4/va9Y7A0.00248299158275543241627.0327912556652655271.1666666666
BASE/knightThrough/gcwFjA0.00250178953547619671948.6923205064134778919.3666666667
BASE/breakthroughWalls/vOZaYA0.00250693712261689182033.0333333333333810963.0333333333
BASE/queens06ug/7Lq3tw0.00250812364484311572271.448570095327905636.6
DRESDEN/breakthrough/z4hK7Q0.0025114890097921852034.2116659449016809962.4
DRESDEN/racetrackcorridor/O0DoTA0.002527414259583061535.5488150394988607557.2333333333
DRESDEN/knightthrough/J7Fc_Q0.00254794651049611861959.4189378290132769018.8666666667
BASE/tictactoe_3d_6player/d7KSwg0.0025712565827619993629.6050006649821244862.76666666666
DRESDEN/ghostmaze2p/HY0UwA0.0025889105411249932489.468070923877961589.0666666667
BASE/mummyMaze2p_2007/YGA3Vw0.0025930353305782222080.0506565353594802168.2666666667
DRESDEN/mummymaze2p-comp2007/oTQRQg0.0025963313444807682056.240421136803791979.2
DRESDEN/tictactoe_3d_6player/ulZPWg0.0026108686265357266626.1330311916822239817.9
DRESDEN/breakthroughsuicide_v2/LU1nAw0.00261428138503615662034.850403145199778359.3666666667
BASE/racetrackcorridor/_RkdUg0.00262792004291049821781.1812545830278677791.2666666667
STANFORD/breakthrough/d5j0cQ0.0026398913282441572119.793402199267802985.1
BASE/hidato37/pBrqxw0.0026450744484539444560.0106656001067211718.3
BASE/cubicup/4wNWJA0.00269414683523492131013.3635485053487376135.23333333334
BASE/lightsOnParallel/SC6enA0.00272010638574803074587.1804273190891686397.4333333333
BASE/futoshiki5/TJ4BZg0.0027419909509682931683.1666666666667613848.3666666667
DRESDEN/cubicup/SBn_lw0.00281406882376603571007.6976906927922358092.76666666666
BASE/chinook/XQh0IQ0.0028180746447941836720.1105045932632255532.8
BASE/ghostMaze2p/W-NU-w0.00285796899310648752488.537918166067870736.5
DRESDEN/tictactoe_3d_small_2player/HYttcg0.00289052004098241342514.4990333977735869912.3333333334
BASE/tictactoe_3d_small_2player/oOryKA0.0029157387010140282494.883503883204855660.8666666667
BASE/factoringEasyTurtleBrain/lUj94Q0.00301461224728847954962.3458847050981646097.5666666667
DRESDEN/lightson2x2/gBHuig0.0033097019695947754822.8392386920431457182.3333333333
DRESDEN/slidingpieces/s9_44g0.00331438117489488151440.6474820143885434665.6
BASE/slidingpieces/uFJWEw0.00338321342271886381455.7193729823277430277.13333333336
BASE/pegEuro/5awwhg0.0035231964081918581626.9791006966434461790.63333333336
BASE/breakthroughSuicideSmall/XSbJog0.0035235846866799982916.338910739284827662.5
BASE/breakthroughSmall/HJ0tIA0.00355829768021716452910.720831805912818009.3666666667
BASE/blockerSerial/3eqDuw0.00360822583120409042086.227584827678578186.5333333333
BASE/breakthroughSmallHoles/bxclRw0.00375482957769913672936.439689364397782043.4
BASE/withConviction/3Xm54A0.00375889200706020072398.0135981869084637957.5666666667
BASE/dualConnect4/WbCQkg0.0038833866174355823443.9886829.0333333333
BASE/choicethroughalt/tt71Lg0.0038934828426264921915.2694910169662491916.76666666666
BASE/incredible/8Qh-6Q0.00390131737645058657374.187527082431890178.8333333333
BASE/ticTacToeLarge/TZC0dg0.0041056173743206765432.971135257651323301.8666666667
BASE/tron_10x10/7ZTgDg0.0041194901223392641554.6377376.8
BASE/hex/T1MK8g0.004172656320276957349.5368827880322483768.43333333333
BASE/ticTacToeLargeSuicide/727_8g0.0041770728269763755480.3333333333331312003.3
DRESDEN/peg_bugfixed/u_B7MA0.0041950484938462111916.77498916775456913.6666666667
DRESDEN/tictactoelargesuicide/6J4DeA0.00419752107610827955487.5512448755131307331.4333333333
BASE/peg/fJHVWw0.0042029725805462851910.5785895213971454577.93333333335
DRESDEN/oisters_farm/pTQMLg0.004217562144594128615793.2804479701353744646.7666666666
DRESDEN/peg/Vo31eg0.004219633553582871919.0360321322623454787.36666666664
STANFORD/hex/MTqWcw0.004233764274045918356.2939848625680484155.36666666667
BASE/connectFourLarger/qKi60A0.0042853582433519033349.780117270789781680.3
DRESDEN/tictactoelarge/IwXcbg0.0042968328735545465448.3034464369041267981.2333333334
DRESDEN/endgame/IJhh3Q0.004321171467712753740.7703585232574171428.13333333333
BASE/blokbox_simple/JBx4bg0.00448526139571869978.1477558585992317423.233333333334
DRESDEN/latenttictactoe/kITHKg0.00448717709621670752847.1666666666665634511.7666666667
BASE/futoshiki4/BaCwSw0.0045226557276561093347.233333333333740103.5
BASE/factoringGeorgeForman/HGRorQ0.0046147010820877369501.6166127795732058988.5333333334
STANFORD/multiplebuttonsandlights_9/SqB9BA0.00471406059105214216971.23600123.433333333
STANFORD/multiplebuttonsandlights/cK70Yg0.0047249478155257617019.43602029.2
BASE/lightsOn/MsXu3A0.004820134061204579983.5005499816672071208.0666666667
DRESDEN/blocker/S815zQ0.004870407638587254860.766666666666998020.5
BASE/blocker/dIWtxg0.0049156467995678514878.170727642412992376.1666666666
BASE/connectFourLarge/aU644A0.0049468857844362424335.066493350665876322.3333333334
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.0049601782039043351653.0979347101932333273.9
DRESDEN/double_tictactoe_dengji/bGaUyQ0.0049619538664342493814.918508149185768833.9333333333
BASE/tictactoe_3d_small_6player/g_9lww0.0050398755894993681665.1784226835039330400.7
BASE/lightsOut/5P1ZBw0.0050602875516402983224.236768430876637164.7333333333
BASE/3pConnectFour/PqXOFQ0.00508346405879873353476.368242117192683858.1333333333
BASE/connectFour_9x6/B9TtMw0.0051865620054691824977.400753308223959672.4666666667
DRESDEN/aipsrovers01/qS47Mw0.0051989674605374548393.3868871037631614433.4333333333
DRESDEN/lightsout/XgLpzQ0.0052058667012124313233.8922035932137621201.5
DRESDEN/connectfoursuicide/M9CNQg0.0052092612981486885166.361121295957991764.6333333333
BASE/connectFourSuicide/c8p9Kw0.0052150608529159945223.0666666666671001535.1333333333
BASE/hexPie/48CH6Q0.0052321778136100155342.2121595525071665405.3
STANFORD/connectfour/VMpZkQ0.0052964062389471425178.733333333334977782.5
BASE/connectFour/WAIKTw0.0053264647658543835197.466666666666975781.6666666666
DRESDEN/connectfour/5tc-Mg0.0053348206033633315190.133333333333972878.7
DRESDEN/lightsout2/LFtfyQ0.0053423338386747213235.0098323500983605542.4333333333
BASE/hitori/S8Gsyg0.005387508335019531870.9462387094625347274.86666666664
BASE/sheepAndWolf/g4THrg0.005419665154094625834.9608398600234154061.33333333334
BASE/checkers/rOC3Xg0.0054199588238820441299.8802873104548239832.13333333333
DRESDEN/hitori/S8Gsyg0.0054434954396049011870.8591615010332343687.1
DRESDEN/tpeg/h-Scbg0.0054504668032089881980.7679488034132363412.5333333333
STANFORD/untwistycomplex/HTWEwg0.00546350251064070419293.93531415.966666667
BASE/aipsrovers01/4C4jsw0.0054689433899466398445.6369575361641544290.4333333333
BASE/tpeg/QNs7Lw0.0054773491863294371981.8006066464452361817.4666666667
DRESDEN/sheep_and_wolf/enAIzQ0.005522610221763505843.6760934012858152767.63333333333
BASE/double_tictactoe_dengji/zgaSbA0.0055348162388603113818.6787547496833689937.7666666667
BASE/connectFourSimultaneous/7ITr3g0.0055632985633134072898.310168983102520969.73333333334
BASE/ticTacHeavenFC/mrletw0.00565842074779686952041.9235511713932360864.56666666665
DRESDEN/fizzbuzz/t1xHzQ0.0057380653385860789372.3751749883341633368.5
DRESDEN/pawn_whopping/4ogBkg0.0057765592138571774751.049930004667822470.5666666667
BASE/hidato19/rRHSmA0.00582806968544832652653.156456236251455237.6
BASE/tictactoe_3player/GtM71g0.0058624169017678232866.813318668133489015.6
STANFORD/untwistycorridor/EDPPAQ0.00595692998871724421803.8333333333323660246.7
BASE/reversi/d8UMeA0.0059734555124661606458.660631074424276783.13333333333
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.0060109475107823844675.38830744617777812.2
BASE/checkersSmall/SYmq8w0.0060538176579625421849.1955095106432305459.4
STANFORD/bestbuttonsandlightsbig/g0JC6g0.006080323644342462513689.62251459.1
BASE/reversiSuicide/9OxJlg0.006157698023393427456.4906801342326674133.33333333333
STANFORD/tictactoe3/X7myng0.0061610464407169756913.71122163.2666666666
DRESDEN/tictactoe_3player/ESLQQQ0.0061992210889216042869.937668744375462951.3333333333
BASE/snake2p/I3wWPQ0.0062156223840077123563.766666666667573356.3666666667
BASE/pawnWhopping/Ypc_6Q0.0063385212148099614632.933333333333730917.0666666667
STANFORD/nineboardtictactoe/y28P-A0.0063810734566122793441.1539266.6333333333
BASE/ticTacToeSerial/Amrwqw0.006394840750565413340.732593407326522410.6
BASE/nineBoardTicTacToe/wRmqqA0.00645749021880958653444.825862356274533462.0333333333
BASE/untwistycomplex2/EDPPAQ0.00678134719500870821398.7666666666663155533.2666666666
DRESDEN/hanoi_6_disks/MeubgQ0.0068057368060669319091.51335858.3
BASE/escortLatch/mX9BjQ0.0068225526384582973362.467095398354492845.9
DRESDEN/blockerparallel/dVQgSg0.0068427217989242711349.6983634969836197245.83333333334
BASE/blockerParallel/7-nDJA0.0070331077253838521353.4313235343132192437.16666666666
BASE/checkersTiny/Lr48cg0.00704327169569168252884.5705143161895409549.8
BASE/hanoi_6_disks/MeubgQ0.0070467970557325429118.9333333333321294053.6333333333
BASE/nineBoardTicTacToePie/B8LzeQ0.0070772617305186963171.808368869936448168.86666666664
DRESDEN/hanoi7/51zz5Q0.0071390639711668038796.9947357899651232233.6333333333
BASE/hanoi7_bugfix/3gdnFw0.0072199848726055478789.9963344330031217453.5666666667
DRESDEN/backgammon/mqCW0Q0.0073367937691017451100.3552103044185149977.66666666666
DRESDEN/hanoi7_bugfix/3gdnFw0.007374043393738398863.1228128645231201935.2666666666
DRESDEN/buttons/ADUaHw0.007427658132172285418459.62485251.7
BASE/cubicup_3player/e2yA_g0.0075054533251300405594.181721572794979166.66666666667
BASE/ticTacHeaven/18n58A0.0075714774655359752708.676377454085357747.4
DRESDEN/cubicup_3player/awDtsQ0.0076661489626921216589.659990684676276917.36666666667
BASE/buttons/hTcUjw0.00776068657936427318766.42418136.566666667
STANFORD/bestbuttonsandlights/nm0wEA0.00779854549491199216607.62129576.6
BASE/cittaceot/fDxhXg0.007846148308308781556.0554555755516198320.93333333332
STANFORD/tictactoe5/WFRReg0.0078845954966923536937.9879931.0
DRESDEN/tictactoe-init1/3ltIBQ0.0079010214985046416981.166666666667883577.7333333333
BASE/doubletoetictac/fu35bg0.0080438734851258283965.233333333333492950.73333333334
BASE/hodgepodge/9yjRkw0.00814203642157499410904.01339222.7
BASE/skirmishZeroSum/zh4hcw0.0081445552733381141596.700153017098196045.1
BASE/coloredtrails/EZvr7g0.0081508744547863913075.994933671089377382.2
BASE/toetictac/mTThmg0.0082289197669559166.41113925.0666666667
BASE/tictactoe-init1/7M19vA0.0082451147477642486982.233333333334846832.7666666667
DRESDEN/capture_the_king/EQ229Q0.008270972644223341359.4427038197452164363.1
STANFORD/duikoshi/tpw1sw0.0082852845886334006.0483507.8333333333
BASE/tictactoe2/bhrDoQ0.00832866268749971410443.5666666666681253930.8
STANFORD/sukoshi/4LYZZQ0.008393152397296848266.966666666667984965.6333333333
BASE/ticTacToeNoVars/XT03NA0.00841176186492820410438.61240952.8666666667
STANFORD/jointbuttonsandlights/qAKuIQ0.00845179048608920412079.3333333333341429204.0666666667
DRESDEN/eotcatcit/mQUxzA0.0084783777476919046872.933333333333810642.5
BASE/speedChess/bPnisA0.0086788753504600141772.5607725607726204238.53333333333
DRESDEN/tictactoe/BTTzPw0.0086862609917512176980.466666666666803621.5666666667
DRESDEN/toetictac/mJtxCA0.0087209569353961839145.8666666666671048722.8333333333
BASE/2pttc/unkkYA0.0087438580748955036054.6692440.3333333334
BASE/hanoi/iGLsJg0.00887293187640478810215.8856076261581151354.0
DRESDEN/hanoi/RQ0jiA0.0089629960565843310228.9666666666671141244.1333333333
BASE/blocksWorld/SEdXLQ0.00897244743217998213884.71547481.9
BASE/ticTacToe/JRFsaQ0.0090331355993102096989.133333333333773721.7333333333
DRESDEN/nim1/M9BALA0.009114012292936826606.213126229126724841.3666666667
BASE/chomp/-LcqYQ0.0091309708881194573564.633333333333390389.3
DRESDEN/tictactoe_orthogonal/y69QFQ0.009226727722509417037.466666666666762726.1666666666
BASE/tictactoe_orthogonal/WRzlVw0.0092477876319028437049.533333333334762294.0333333333
BASE/nim1/hin2Qw0.0092678162621680326648.5717375.0333333333
STANFORD/tictactoe7/-bE9-A0.0092765081322984986938.0747910.7333333333
STANFORD/tictactoe/ss1kyQ0.009287176997835877025.333333333333756455.2
DRESDEN/bunk_t/7-tPfA0.009376975809436853976.4341188627045424063.6
BASE/bunk_t/xbpfIA0.0093818104750384763980.867304423186424317.6
DRESDEN/doubletictactoe/lJzgmQ0.0093856566123565974030.3989867004434429421.1
DRESDEN/blocks/vg0DRw0.00939312162455084813650.11453201.6666666667
BASE/doubletictactoe/HH1htg0.009433935012751824027.9426958.63333333336
DRESDEN/cube_2x2x2/fp-34Q0.0094440577178295152641.957202853143279748.1
BASE/pentago/86NgKw0.009448420748884833432.4081170237578363278.5
BASE/othello-comp2007/86ZoMw0.009464491269678873308.543046357615932600.066666666666
DRESDEN/nim2/z5_exA0.0094743379691785066375.0672870.2333333333
BASE/wargame01/_GZFZg0.009543859911785372283.0194967505417239213.43333333332
DRESDEN/brain_teaser_extended/ZDp94A0.0095530074208615867649.5800742.6
BASE/maze/cCX3qQ0.00959409597342309421810.5666666666662273332.1333333333
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.0096610321636503363511.7162761241293363492.86666666664
DRESDEN/doubletoetictac/V89gKQ0.0096705507631147094001.9666011132963413830.26666666666
BASE/nim2/eF2Qqw0.009705704609517116352.933333333333654556.6333333333
DRESDEN/chomp/-LcqYQ0.0097200461667584143580.9368403.6
DRESDEN/pentago_2008/hLjVpQ0.0097267919677360483463.5446157945576356082.93333333335
BASE/brain_teaser_extended/ZDp94A0.0097399466140643857673.744208526383787863.0666666667
BASE/pentagoSuicide/SBgNhw0.0097471916113596673439.8307061685605352904.8
DRESDEN/nim4/F5YAYg0.0097708848216632085667.633333333333580053.2333333333
STANFORD/buttonsandlights/eyhJpA0.00977966076761522928896.62954765.066666667
BASE/blocks/xIV5hQ0.00987039594355957513951.51413469.1333333333
DRESDEN/nim3/sG_axA0.0098894845751259375709.476350788307577328.0
STANFORD/pentago/ZxzLmg0.009904465497912853634.2455251491615366930.0
BASE/eotcatcit/AfZSzA0.0099362357096986336873.866666666667691797.8666666667
STANFORD/trifecta/ss1kyQ0.0099420411413965957014.0705488.9333333333
BASE/nim3/1OwUqw0.0099458879258528725721.518565428972575264.7333333333
BASE/nim4/twk16w0.010023314799299855623.345888470384561026.5666666667
BASE/wargame02/BkVqqQ0.0100418140354384921183.2989141296382117837.16666666667
BASE/minichess-evilconjuncts/4OpQzw0.0101794243173143322849.871670944302279963.93333333335
BASE/blocksWorldSerial/Wyg96Q0.0101997057729712658264.4810258.6666666666
DRESDEN/minichess-evilconjuncts/th24Tw0.010215968427659362843.643757082861278352.8333333333
BASE/chickentictactoe/DSlZCA0.0103605566603271076499.133333333333627295.7666666667
BASE/chickentoetictac/l57rfQ0.0106272171041553788568.7806297.6333333333
BASE/troublemaker01/s3tlEQ0.0107423814235661823593.3333333333322196285.2
BASE/ticTacToeParallel/ymRGPw0.0107945682702956693324.9666666666667308022.2
BASE/pearls/6k_mEQ0.01083290084293689733408.13083947.7333333334
DRESDEN/troublemaker01/C-lPWw0.01088748525997454823730.4666666666672179609.533333333
DRESDEN/chickentictactoe/Ipbo-g0.0109092296914106946545.8600024.0333333333
BASE/2pffa_zerosum/o0_uZA0.0109305685790938655426.095650724879496414.76666666666
DRESDEN/tictactoeparallel/yk_DSg0.0109896879036434013425.4311692.2
BASE/troublemaker02/DI83KA0.01100493754943064123098.7333333333342098942.7
BASE/ttcc4_2player_small/Cv72TA0.011062532770041386109.859342710486552302.0333333333
BASE/onestep/xi53wA0.01107270698135949424456.9666666666672208761.3
BASE/qyshinsu/R08Lzw0.0111682269485960682880.4930867899384257918.56666666668
BASE/wargame03/klXI8w0.0114758876984497731930.3426209838688168208.56666666668
DRESDEN/kitten_escapes_from_fire/uW-YiA0.01150611820312090818135.7333333333341576181.7333333334
DRESDEN/chickentoetictac/cxYaRQ0.0115100991816505228644.5751036.1
BASE/chineseCheckers4/avfBcQ0.0115970749191414864227.446929049888364527.0
BASE/haystack/UkweGA0.01171185237062150233800.766666666672886030.8
BASE/switches/tPUoCg0.0118166789272193414909.9333333333321261770.2
DRESDEN/troublemaker02/iZLVuA0.01182895198430022223358.4666666666671974686.0666666667
BASE/asteroidsSerial/id2QkA0.0119898556601385789724.149421840115811031.4
BASE/ttcc4_2player_alt/ZEJvYA0.0119979149372996224686.387574161722390600.1666666667
BASE/circlesolitaire/azuQFQ0.01200865881689789710544.1878041.4333333333
DRESDEN/circlesolitaire/ruUilQ0.01214349911681195510525.333333333334866746.3333333334
STANFORD/3puzzle/41ibjA0.01222110866874838813430.41098951.0333333334
STANFORD/ttcc4/Cx9SGw0.0122395333668906594176.47842745294341228.56666666665
BASE/ttcc4_2player/_aH_Mw0.0122436833201857514451.588174515881363582.43333333335
BASE/sum15/QZ07Kg0.0122798058724911018342.0679326.7
BASE/snakeParallel/RCVNtw0.0123377643378293379566.7775399.8
DRESDEN/sum15/CsgWKg0.0123502399913693098280.533333333333670475.5
STANFORD/threepuzzle/41ibjA0.01241370474181651713486.81086444.4
BASE/kitten_escapes_from_fire/uW-YiA0.01248954736007027418230.2333333333341459639.2333333334
BASE/englishDraughts/jFkQxg0.0132579658446810334007.463681194189302268.36666666664
BASE/numbertictactoe/rvJ-iQ0.0133666937361466175872.833333333333439363.2
DRESDEN/blocks2player/3ev8nQ0.0135728605835041717922.4583694.2
BASE/biddingTicTacToe/8mESVw0.0135885333953236835267.624412519583387652.1666666667
BASE/blocks2player/wnTLOQ0.0136238273917418827885.066666666667578770.3
DRESDEN/bidding-tictactoe/yW5vTA0.0136744348386698985282.55724809173386309.0
DRESDEN/Thief_Police/CX18rA0.01457399814844021812933.835538815372887459.6666666666
BASE/survival/YVIjJA0.01467952748707267333865.5666666666662306992.966666667
DRESDEN/minichess/c7GMFw0.014919167040643654103.466666666666275046.63333333336
DRESDEN/CatchMeIfYouCanTest/CX18rA0.01504193477477201613155.489634024398874587.6
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.01563176475594989613149.7841216.6
DRESDEN/stratego/Z2wovg0.015724035762342092587.749116843298164572.83333333334
DRESDEN/bidding-tictactoe_10coins/mu5VhQ0.015974499231447944523.582547248425283175.23333333334
BASE/blocksWorldParallel/RseaAQ0.0161585603897700557029.5435032.56666666665
DRESDEN/Zhadu/9zpQ5w0.0161746826146196081636.2060921149105101158.46666666666
BASE/biddingTicTacToe_10coins/a-9ccQ0.0165088537495616324520.733333333334273836.9
DRESDEN/catch_me/ghGWrA0.0165171895703181813123.475304939013794534.4
DRESDEN/frogs_and_toads/GjchhQ0.0166399283310981442376.099120703437142795.03333333333
DRESDEN/racer/vk_ZBA0.016705452142034442468.313963168936728033.6
BASE/coins_atomic/AA3SSw0.0168952499894492157726.4457311.9666666667
BASE/racer/QQYQNw0.01724905305455831472.378542173087827385.766666666666
BASE/asteroids/BKCmPQ0.0174054371933588616275.381641223918935074.5666666667
DRESDEN/Runners/3bOCQw0.01768911881927914815077.864071197626852380.7333333333
BASE/minichess/8NQEiA0.0179730978580264454266.3237371.43333333332
BASE/checkLines/Vop7oQ0.0179857297105537647516.966666666666417940.6
BASE/coins/QnGtnQ0.017994408466375797676.366666666667426597.3333333333
BASE/amazons_8x8/7SOsIw0.0181205172462814352189.822832023445120847.7
DRESDEN/coins/QwFP9w0.0181581110476922547642.633333333333420893.63333333336
DRESDEN/blocksworldparallel/2JfVaw0.0187217405605779948051.8430077.5333333333
BASE/knightfight/SJRkAg0.0200490164178102134751.858147518581237012.03333333333
DRESDEN/tictictoe/LAUtwg0.0200818518904576436839.366666666667340574.5
STANFORD/tictictoe/rpt_Dw0.0201378937010150146676.233333333334331525.9
DRESDEN/knightfight/4_Ly4w0.020146592625385954717.6234163.66666666666
DRESDEN/roshambo2/jgSlkQ0.02018708926948410415292.066666666668757517.1666666666
BASE/ticTicToe/c1OobQ0.020382088383930636825.566666666667334880.63333333336
BASE/eotcitcit/V_9_bg0.0205684203860357636842.433333333333332666.93333333335
DRESDEN/javastrike/whONTQ0.020601812020253751358.031618205221365918.06666666667
BASE/roshambo2/KNPokQ0.02070185975028802215343.733333333334741176.5666666667
BASE/asteroidsParallel/WauZiA0.021074371525980310409.892344098924493959.8
DRESDEN/3pttc/uwYBZw0.0211193461371389335724.6367151046525271061.26666666666
BASE/3pttc/0sol9g0.0212660562441096585478.684043865204257625.76666666666
BASE/amazonsSuicide_10x10/XIbQkg0.0251114990424631881479.34352009054958911.0
BASE/amazons_10x10/Bun8dA0.0269522571503925181477.87581155318854833.1
BASE/quarto/EwBMVQ0.0272767048456165343068.2219630061654112485.06666666667
BASE/quartoSuicide/-23jUg0.0278877245567831883074.0666666666666110230.1
DRESDEN/quartosuicide/WIU1oQ0.0291837161343937243048.422034858533104456.26666666666
DRESDEN/quarto/OQzRYQ0.029470080771354563046.396906872875103372.53333333334
BASE/tttcc4/8Bs2lg0.0297418258953074184007.46517363194134741.73333333334
BASE/ttcc4/Le0qjQ0.030180726492611624001.399953334889132581.3
DRESDEN/tttcc4/sAvtFg0.030774160488761063994.534244292618129801.56666666667
DRESDEN/crisscross/GsY16g0.036740692422795014223.744292237443114960.93333333333
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.0373506717277643161856.604779840671949707.4
DRESDEN/satlike_20v_91c/yeuENQ0.037977951592078662044.530364642357253834.666666666664
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.039002225096769072032.32794534244352108.0
STANFORD/8puzzle/jNiGtw0.03914489095459228234.627562072988210362.76666666666
BASE/eightPuzzle/vLrgFg0.039898694233035268233.176682331767206352.03333333333
DRESDEN/chinesecheckers4/-oVNYg0.0402737073929977652133.35332134052952971.36666666667
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g0.040912959302313112011.199253383107849158.0
DRESDEN/8puzzle/8fKC2w0.04104553302410398261.449236717552201275.23333333334
BASE/crisscross/ICagEg0.041809926029849544200.013332000133100454.93333333333
DRESDEN/guess/PhxGhg0.044478696463228622437.137524165055854793.36666666667
BASE/guess/SPpk1A0.044878768296293162444.788854447888854475.4
BASE/amazonsTorus_10x10/Uxc08g0.064459889410778211271.898902560691819731.633333333335
DRESDEN/blobwars/ZaMluQ0.065986319347505941302.01565883724819731.6
BASE/blobwars/0XT15Q0.066703047990564241288.860751057945419322.366666666665
DRESDEN/pancakes/hl9aiQ0.0748727098909343819531.48228392387260862.5
BASE/pancakes/yUgbXw0.0761156547564452419640.3258032.33333333334
DRESDEN/pancakes6/SZXMyQ0.0767246755786423819695.666666666668256705.76666666666
BASE/pancakes6/QZTdnw0.0801877433669332819779.07403086564246659.56666666668

Games with errors:

GameCADIAPLAYER_PROLOG:3.0 error messageSANCHO_DEAD_RECKONING_PROPNET:1.61c 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
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
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/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
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/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/rubiksCube/9tNO9QTest 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
BASE/queens/HyJJnQTest 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
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
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
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
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
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/queens/mW2wHQTest 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
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/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
BASE/gt_two_thirds_4p/DStnxQTest 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
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
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/checkers-mustjump-torus/uSApKQTest process failed to output results for unknown reason
BASE/duplicateStateSmall/bCPAXwTest process failed to output results for unknown reason
DRESDEN/amazons/dNB28ATest process timed out after 240 seconds
BASE/battlebrushes/arCwyAException of type NullPointerException
BASE/endgame/jYjfOAException of type NullPointerException
BASE/amazonsSuicide/dE1QEQTest process timed out after 240 seconds
STANFORD/triplesukoshi/Iu9mbAException of type NullPointerException
DRESDEN/uf20-01.cnf.SAT/42Rs8AException of type NullPointerException
DRESDEN/hallway/0H4l-QTest process timed out after 240 seconds
DRESDEN/battlebrushes/QHXV4AException of type NullPointerException
BASE/laikLee_hex/zbyscQException of type StackOverflowError
DRESDEN/mummymaze1p/AekgaQOutOfMemoryError: Java heap space
BASE/amazons/RKKZjwTest process timed out after 240 seconds
DRESDEN/laikLee_hex/ZeP3QQException of type StackOverflowError
BASE/mummymaze1p/PT_EXAException of type NullPointerException
BASE/pancakes88/l2XaigException of type StackOverflowError
BASE/knightazons/apnJBQTest process timed out after 240 seconds
DRESDEN/merrills/aYEzwAOutOfMemoryError: GC overhead limit exceeded
BASE/merrills/pku8TgOutOfMemoryError: GC overhead limit exceeded
DRESDEN/pancakes88/aD3E7gTest process timed out after 240 seconds
DRESDEN/god/2EDD5wTest process timed out after 240 seconds
DRESDEN/small_dominion/yB5GJAOutOfMemoryError: GC overhead limit exceeded
BASE/racer4/0vs7WwException of type NullPointerException
DRESDEN/ggp-course2013_nicolai/uEin8gOutOfMemoryError: GC overhead limit exceeded
BASE/god/qF06gwTest process timed out after 240 seconds
DRESDEN/checkers/jIDMIgTest process timed out after 240 seconds
DRESDEN/farmers/S_ASnwTest process timed out after 240 seconds
BASE/chess_200/XsTpYAException of type StackOverflowError
DRESDEN/knightazons/02I8BQTest process timed out after 240 seconds
DRESDEN/crossers3/xiPTxgArrayIndexOutOfBoundsException: 65536
BASE/hallway/ckCJOwTest process timed out after 240 seconds
BASE/crossers3/O0rORgArrayIndexOutOfBoundsException: 65536
DRESDEN/battlesnakes1509/-qZrLwTest process failed to output results for unknown reasonTest process timed out after 240 seconds
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/four_way_battle/xSOQXATest process failed to output results for unknown reasonException of type NullPointerException
BASE/sudoku/NTaNkwTest process failed to output results for unknown reasonTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_random_big/DwzFaQTest process failed to output results for unknown reasonTest process timed out after 240 seconds
DRESDEN/checkers-mustjump-torus/cVc3gATest process failed to output results for unknown reasonTest process timed out after 240 seconds
DRESDEN/checkers-cylinder-mustjump/vW_-pATest process failed to output results for unknown reasonTest process timed out after 240 seconds
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWgTest process failed to output results for unknown reasonTest process timed out after 240 seconds
DRESDEN/battlesnakes2011/93VtTwTest process failed to output results for unknown reasonTest process timed out after 240 seconds
BASE/alexChess/LNo83gTest process timed out after 240 secondsTest 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
DRESDEN/checkers-mustjump/HUr33wTest process failed to output results for unknown reasonTest process timed out after 240 seconds
BASE/knightwar/DVGY4QTest process failed to output results for unknown reasonException of type NullPointerException
BASE/four_way_battle/xSOQXATest process failed to output results for unknown reasonException of type NullPointerException
BASE/cylinder-checkers/hlldmwTest process failed to output results for unknown reasonTest process timed out after 240 seconds
DRESDEN/checkers-newgoals/IJOqXQTest process failed to output results for unknown reasonTest process timed out after 240 seconds
BASE/amazonsTorus/soxT8gTest process timed out after 240 secondsOutOfMemoryError: GC overhead limit exceeded
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process failed to output results for unknown reasonTest process timed out after 240 seconds
DRESDEN/knightwar/7hhAqgTest process failed to output results for unknown reasonTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process failed to output results for unknown reasonTest process timed out after 240 seconds
DRESDEN/chinesecheckers6-simultaneous/gPPGUwTest process failed to output results for unknown reasonException of type NullPointerException
DRESDEN/cylinder-checkers/clOO3QTest process failed to output results for unknown reasonTest process timed out after 240 seconds
BASE/factoringImpossibleTurtleBrain/kcBhdwTest process timed out after 240 secondsTest process timed out after 240 seconds

index