index

ALLOY_DIFF_PROP_NET:1 vs. SANCHO_DEAD_RECKONING_PROPNET:1.61c

Game-by-game performance:

GamePerf ratioALLOY_DIFF_PROP_NET:1 states per secondSANCHO_DEAD_RECKONING_PROPNET:1.61c states per second
BASE/ruleDepthExponential/UamhHQ1.3788132680741722E-4305.223159228025742213665.6666666665
BASE/gt_two_thirds_4p/DStnxQ0.013068849044854591720.875970800973355159.86666666667
DRESDEN/satlike_20v_91c/yeuENQ0.01756303249455122945.553834.666666666664
BASE/sudokuGrade1/tDRNRw0.01756878681081116810586.5602574.3333333334
BASE/sudokuGrade4/DTy07w0.01761620006650888710381.133333333333589294.7
BASE/gt_two_thirds_2p/1APDGg0.017798484655265672698.3333333333335151604.66666666666
STANFORD/sudoku/oJ1qyQ0.0178381424554913110051.066666666668563459.2666666667
BASE/sudokuGrade2/u80Tfw0.0179361357429944710674.8595156.0666666667
BASE/sudokuGrade3/eI8dvg0.0179625080436665910479.866666666667583430.0333333333
BASE/sudokuGrade6H/ieE_9A0.018088260605802279321.6515339.76666666666
BASE/sudokuGrade6E/ihYFZA0.018398770320437229432.6512675.56666666665
BASE/sudokuGrade5/BQfUQA0.01859777842157865310656.266666666666572986.0
DRESDEN/satlike_20v_91c_version2/yd9ioQ0.019197947851897341000.366666666666752108.0
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g0.019221693315431873944.949158.0
STANFORD/breakthrough/d5j0cQ0.01969206319436479415812.433333333332802985.1
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA0.023008646599902631143.749707.4
DRESDEN/chinesecheckers6/yTbPDA0.0234618497943772447420.966666666666316299.3
STANFORD/duidoku/3SoMaA0.0252797499222248747882.133333333333311796.3333333333
BASE/connect5/d-BVQg0.02816556333178690521961.166666666668779716.9333333333
DRESDEN/breakthroughsuicide/Y9QzqQ0.0281714414956291224720.366666666665877497.4
DRESDEN/skirmish2/iPpWhQ0.0282136419399668037261.966666666666257392.03333333333
DRESDEN/connect5/1kYzSg0.02835119191340256721949.666666666668774206.1333333333
DRESDEN/skirmish/RjGQYQ0.0288693050573948656413.6222159.83333333334
BASE/skirmishNew/sibw2g0.0295033063259306925895.766666666666199834.1
DRESDEN/skirmish3/3LU8Nw0.0298005883067033256554.4219941.96666666667
DRESDEN/brawl/2kXtfQ0.029968538645530624593.2153267.4
DRESDEN/knightthrough/J7Fc_Q0.0303990374575118823377.433333333334769018.8666666667
BASE/knightThrough/gcwFjA0.03054954639934702823795.633333333335778919.3666666667
BASE/breakthrough/TGxk-g0.03086748753733405825941.966666666667840430.1333333333
BASE/breakthroughWalls/vOZaYA0.0309577201854371425105.566666666666810963.0333333333
BASE/breakthroughHoles/nZk0Sg0.03098522611717554527934.533333333333901543.6333333333
BASE/skirmish/Y_psYQ0.0310524785904344533471.9111807.5
BASE/brawl/6Ymo_Q0.0311679234855617374617.033333333334148134.13333333333
BASE/breakthroughSuicide/wZDpIg0.03118634702414736825962.4832492.5
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg0.0315726894235959352870.3333333333361674559.0666666667
DRESDEN/chinesecheckers3/QsCb2A0.03168487178214620513343.066666666668421117.9
BASE/skirmishHoles/AUCxCA0.031738020773406694045.6666666666665127470.66666666667
DRESDEN/breakthrough/z4hK7Q0.0318147278606183825768.733333333334809962.4
DRESDEN/chinesecheckers2/06E6-Q0.03193499929768537520984.9657112.9
DRESDEN/mimikry/GJEhwA0.03204152569004216427798.233333333334867568.9666666667
BASE/speedChess/bPnisA0.0323231528624373246601.633333333333204238.53333333333
BASE/skirmishZeroSum/zh4hcw0.032515817363793676374.566666666667196045.1
DRESDEN/breakthroughsuicide_v2/LU1nAw0.0325539860957969725338.7778359.3666666667
BASE/choicethroughalt/tt71Lg0.0333156632256825616388.533333333333491916.76666666666
DRESDEN/capture_the_king/EQ229Q0.0345497255770912055678.7164363.1
DRESDEN/chinesecheckers1/Y-ftaA0.0348138108421850448073.01380860.0333333334
BASE/strangeSkirmish/gc1zKA0.0353109902242610343744.0666666666666106031.2
BASE/skirmishFinal2/gdB62Q0.0373655410798611555136.9137476.93333333332
DRESDEN/quad/JPe6fg0.0375610481046041412257.966666666667326347.8333333333
BASE/quad/tw-Ufg0.0380385004387380412269.466666666667322553.9
DRESDEN/skirmishfinal/hzq8ww0.0391140742414825765192.1132742.5
BASE/max_knights/2fq3Ag0.03912040280534931431818.8813355.6333333333
BASE/skirmishFinal1/ecWTnQ0.0399149694035270955105.4127906.9
BASE/skirmishFinal3/-Olhfw0.0401508545693698575976.8148858.6
STANFORD/skirmish/w4V6Vw0.04037260314043925373.433333333333133096.03333333333
DRESDEN/Travelers-Dilemma/PvZwYw0.04094264350490353177.127429085697144326.233333333334
DRESDEN/max_knights/hCipiA0.04108176974801487631404.9764448.5666666667
DRESDEN/endgame/IJhh3Q0.043588528059571717472.3171428.13333333333
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA0.043835124391709037387.333333333333168525.43333333332
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A0.0438803931259286467375.2168075.06666666668
DRESDEN/tictactoex9/rFkD4w0.0468147921784135924102.533333333333514848.6666666667
BASE/tictactoex9/BI26ow0.0479100313255748124866.366666666665519022.13333333336
BASE/wargame02/BkVqqQ0.050379124865810595936.533333333334117837.16666666667
BASE/pacman2p/4LEdQg0.05071253320531473520127.133333333335396886.76666666666
STANFORD/madness/UO_B3A0.051407210130627176503.666666666667126512.73333333334
BASE/snakeAssemblit/UO4sdg0.051777863358770522110.833333333333540767.1
BASE/checkers-mustjump-torus/uSApKQ0.052395675474154025415.5103357.76666666666
DRESDEN/pawntoqueen/f_x6Aw0.05281717491813430624523.933333333334464317.4
DRESDEN/pacman3p/rBnk8Q0.0533124368232124721727.666666666668407553.43333333335
DRESDEN/aipsrovers01/qS47Mw0.0543112100647568787681.833333333331614433.4333333333
DRESDEN/vacuumcleaner_random/_6AGDA0.054892101143242497358.366666666667134051.46666666667
BASE/twisty-passages/DiZmmg0.05509192682946788151929.333333333342757742.2333333334
BASE/breakthroughSuicideSmall/XSbJog0.055442445843968245887.63333333333827662.5
BASE/breakthroughSmall/HJ0tIA0.0561529022426434345933.6818009.3666666667
BASE/aipsrovers01/4C4jsw0.0566518435338361387486.91544290.4333333333
DRESDEN/twisty-passages/j7NPyg0.057929766002272794153902.233333333342656703.8666666667
DRESDEN/vacuum_cleaner_1/eUNjpw0.0591763812422175668576.5144931.13333333333
BASE/incredible/8Qh-6Q0.061104994209983485115499.366666666671890178.8333333333
DRESDEN/queens/mW2wHQ0.06274444021364420323.133333333335323903.3333333333
BASE/checkers/rOC3Xg0.0630264446076450215115.766666666666239832.13333333333
STANFORD/chinook/osFbPA0.0658482258389578717174.966666666667260826.56666666668
BASE/queens/HyJJnQ0.066265312243274621173.7319529.1666666667
BASE/knightfight/SJRkAg0.0665407846380795715770.966666666667237012.03333333333
BASE/kalaha_2009/dRiN3g0.066592967487490191708.766666666666725659.866666666665
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw0.06718741641901719336.5138962.03333333333
DRESDEN/quad_7x7/q-JOXg0.0675774752337480232337.0478517.43333333335
DRESDEN/kalaha_2009/gcC8uA0.067921239862550111738.125589.933333333334
STANFORD/multipletictactoe/_bkafQ0.0680631569618510784223.766666666661237435.5
BASE/checkers-cylinder-mustjump/rjr6qQ0.069124667403196059595.833333333334138819.23333333334
BASE/escortLatch/mX9BjQ0.0695658284533427834285.23333333333492845.9
BASE/pawnToQueen/-O1_JA0.0697085195425884239435.26666666667565716.6
BASE/coloredtrails/EZvr7g0.07034910496573526548.5377382.2
BASE/quad_7x7/q-JOXg0.0723330969721731934067.7470983.56666666665
BASE/chinook/XQh0IQ0.0726124656665080418554.866666666665255532.8
BASE/checkers-newgoals/0XkFiA0.0729616896073097818022.933333333334247019.13333333333
BASE/pacman3p/wW7UVQ0.073814382068571334590.73333333333468617.8
BASE/gt_attrition/kD_SCA0.076901655366115329665.166666666666125682.16666666667
DRESDEN/knightfight/4_Ly4w0.0770982119343877818053.6234163.66666666666
BASE/queens16ug/gT-ylw0.08032406759576643147.5537167.7666666667
BASE/pegEuro/5awwhg0.0807188308063704637275.2461790.63333333336
STANFORD/ttcc4/Cx9SGw0.0812423188093767527722.2341228.56666666665
BASE/checkersSmall/SYmq8w0.0814241325251953724871.766666666666305459.4
BASE/checkers-mustjump/T-8UuQ0.0815156349975696813852.533333333333169937.13333333333
STANFORD/platformjumpers/HEQskA0.0817175221082614730840.533333333333377404.1666666667
DRESDEN/tictactoe_3d_2player/LMuX9w0.0820326171842708570290.4856859.1666666666
BASE/mummymaze2p/vpjDdA0.0823261928139540689909.266666666661092110.1
DRESDEN/chinesecheckers4/-oVNYg0.082401121108825464364.952971.36666666667
BASE/ttcc4_2player/_aH_Mw0.0844895054977445330718.9363582.43333333335
DRESDEN/logistics/fPru1Q0.0845122054821564341980.7496741.26666666666
BASE/wargame01/_GZFZg0.0848831928753165120305.2239213.43333333332
BASE/snake_2009_big/-oRfVw0.0852604296964523829786.566666666666349359.8
BASE/racetrackcorridor/_RkdUg0.0863227902316829358508.833333333336677791.2666666667
BASE/wargame03/klXI8w0.0863479604784298514524.466666666667168208.56666666668
DRESDEN/mummymaze2p/k-8edg0.0867428268730320390849.41047341.9333333333
BASE/shmup/ssTNlg0.0870154487253095917428.933333333334200297.0
DRESDEN/towerworld/HCX34w0.087133440010350243232.737100.566666666666
DRESDEN/peg/Vo31eg0.0872171691078197139665.26666666667454787.36666666664
BASE/2pttc/unkkYA0.0882029306014814361075.26666666667692440.3333333334
DRESDEN/peg_bugfixed/u_B7MA0.0882335904448761640315.13333333333456913.6666666667
DRESDEN/gt_ultimatum/pAiiQw0.0884976053099437954639.1617407.6666666666
BASE/golden_rectangle/_nYzfw0.0889210028449743572461.63333333333814898.9666666667
BASE/peg/fJHVWw0.0891291980883659240516.166666666664454577.93333333335
DRESDEN/ggp-course2013_jordi/9QI6Kw0.091775595714388544899.166666666664489227.73333333334
BASE/othelloHoles/c0qAzw0.09207382576039994020.065997800073543661.333333333336
BASE/hex/T1MK8g0.092218508722259347725.083768.43333333333
BASE/connectFourLarger/qKi60A0.0926662728995472872435.4781680.3
STANFORD/alquerquezero/uVgA_A0.0930005207936967531202.933333333334335513.5333333333
BASE/othelloSuicide/B442jg0.09311969275604073094.891964552424733235.63333333333
BASE/tron_10x10/7ZTgDg0.093599906865852235322.433333333334377376.8
BASE/gt_ultimatum/GE-uOA0.0952976701071751262009.73333333333650695.1666666666
DRESDEN/racetrackcorridor/O0DoTA0.0953949633387076957957.9607557.2333333333
DRESDEN/gt_prisoner/huCp4w0.0954828520888125239504.833333333336413737.4666666667
STANFORD/hex/MTqWcw0.095892874330454658069.984155.36666666667
BASE/ttcc4_2player_alt/ZEJvYA0.0969980811580128137887.46666666667390600.1666666667
BASE/othello-comp2007/86ZoMw0.097422753760692833175.988267448836732600.066666666666
DRESDEN/racer/vk_ZBA0.097674457317885212738.166666666666528033.6
BASE/racer/QQYQNw0.097947473931105342682.36666666666727385.766666666666
BASE/gt_chicken/gmepTQ0.0984827750949910841777.03333333333424206.5
DRESDEN/snake_2009_big/DgC1NQ0.0987030115080225330369.9307689.7
BASE/tictactoe_3d_2player/IUC1rQ0.0988583141939286382992.83333333333839512.9333333333
BASE/hodgepodge/9yjRkw0.09901572008897401132604.11339222.7
DRESDEN/grid_game/U7_Yeg0.0994304286366607760382.23333333333607281.2333333333
BASE/catcha_mouse/cHv4dw0.099459028853193660819.1611499.0333333333
BASE/nineBoardTicTacToePie/B8LzeQ0.1013524961498887445423.03333333333448168.86666666664
DRESDEN/golden_rectangle/1uloXw0.1014339089606344673475.4724367.2333333333
BASE/snake_2008/i6K26g0.1014770610520095838377.4378187.93333333335
BASE/dotsAndBoxes/EHwA_w0.1020743903063901184929.36666666667832034.0333333333
DRESDEN/catcha_mouse/cHv4dw0.1021156181533344370549.4690877.6666666666
DRESDEN/knightstour/cGISAA0.10241424752881656130365.41272922.5
BASE/2pffa_zerosum/o0_uZA0.1040568025004359651655.333333333336496414.76666666666
BASE/gt_staghunt/xPjLRA0.1047203690648699843345.666666666664413918.2
DRESDEN/gt_chicken/CeuKtw0.105101994263723644232.566666666666420853.73333333334
BASE/tpeg/QNs7Lw0.1051630638063907738049.833333333336361817.4666666667
BASE/dotsAndBoxesSuicide/jzQbLw0.105773121077615888189.56666666667833761.6
DRESDEN/tpeg/h-Scbg0.1058310592113132138460.333333333336363412.5333333333
BASE/checkersTiny/Lr48cg0.1061593323530699743477.53333333333409549.8
BASE/checkersBarrelNoKings/rnKNeg0.106197348954401434005.0320205.73333333334
BASE/gt_dollar/TGjqRw0.10648032608188523104603.16666666667982370.8333333334
DRESDEN/snake_2009/zIYLVw0.1068745318554261635632.86666666667333408.4
BASE/gt_prisoner/klthDw0.1073739336497196943335.3403592.36666666664
DRESDEN/mummymaze2p-comp2007/oTQRQg0.1074994141260275685137.3791979.2
BASE/snake_2008_tweaked/bX0NJQ0.1077799054773337740276.833333333336373695.2
DRESDEN/ghostmaze2p/HY0UwA0.1078620486256222103718.96666666666961589.0666666667
BASE/checkersTorusNoKings/pwb6oQ0.1082033088840131430999.966666666667286497.4
DRESDEN/snake_2008/E56l3A0.1083165831093210640060.433333333334369845.8
BASE/futoshiki6/JmvXNA0.1103822625612446361335.1555660.8333333334
BASE/kalaha6x2x4/XS81Mg0.110933858922137457234.465213.63333333333
DRESDEN/quad_5x5/JAEP5g0.1110719938615195674751.5673000.4333333333
BASE/ttcc4_2player_small/Cv72TA0.1132065359648322862524.2552302.0333333333
STANFORD/multiplesukoshi/vLSQPg0.11439582080966962131655.51150876.8333333333
STANFORD/checkersonabarrelnokings/Zrevdw0.1145341247258321633488.03333333333292384.76666666666
BASE/snake_2009/7l-qAQ0.1156488946273516937613.5325238.73333333334
BASE/checkersTorus/2vm1EQ0.1163574326854834926242.766666666666225535.8
STANFORD/freeforall/Lfp40Q0.1164953798396139260527.166666666664519567.1
DRESDEN/javastrike/whONTQ0.116502203240184047679.665918.06666666667
BASE/mummyMaze2p_2007/YGA3Vw0.1178013856444416894496.53333333334802168.2666666667
STANFORD/hunter/14dD-g0.11807496576601229101833.4862447.0
DRESDEN/pancakes/hl9aiQ0.1180798313287651530802.6260862.5
DRESDEN/connect4/T0-rHQ0.1182740251888105370598.7596907.9
BASE/2pffa/6oHijA0.1184619597034858658666.96666666667495238.86666666664
BASE/ghostMaze2p/W-NU-w0.1200107035825419104497.7870736.5
BASE/simultaneousWin2/PfjRjw0.1212801696255901111362.63333333333918226.2333333333
DRESDEN/quad_5x5_8_2/JRTLJg0.1214630973475325473308.13333333333603542.4333333333
BASE/quad_5x5/JAEP5g0.1219662992752523172450.76666666666594022.8333333334
BASE/queens12ug/u6Bkmg0.1221415845888736171995.23333333334589440.8
DRESDEN/pancakes6/SZXMyQ0.1246282871453478631992.8256705.76666666666
STANFORD/dualhunter/1rPZjQ0.1257026068725364855882.933333333334444564.63333333336
BASE/pancakes/yUgbXw0.1260653380648678332528.933333333334258032.33333333334
BASE/hexPie/48CH6Q0.126312393643940178261.565405.3
BASE/qyshinsu/R08Lzw0.1270686600434736732773.36666666667257918.56666666668
STANFORD/nineboardtictactoe/y28P-A0.1274962991405797568754.5539266.6333333333
BASE/nineBoardTicTacToe/wRmqqA0.128861591587180168742.76666666666533462.0333333333
BASE/pancakes6/QZTdnw0.1288837097608350231790.4246659.56666666668
DRESDEN/latenttictactoe/kITHKg0.1316278715713861483519.43333333333634511.7666666667
BASE/connect4/50bOyw0.1319663643460250475526.63333333333572317.3
DRESDEN/bidding-tictactoe_10coins/mu5VhQ0.1335366310872054837814.26666666667283175.23333333334
DRESDEN/grid_game2/kypTYQ0.13446701945165626190512.366666666671416796.2333333334
BASE/mineClearingSmall/frsbvw0.1354782285784240638696.1285625.9666666667
BASE/lightsOnSimultaneous/_VN6lw0.13740068455532536111493.3811446.4666666667
DRESDEN/double_tictactoe_dengji/bGaUyQ0.13931890276435077107113.1768833.9333333333
BASE/ttcc4/Le0qjQ0.1397632999525574318530.0132581.3
BASE/blockerSerial/3eqDuw0.1404400863481427881200.56666666667578186.5333333333
BASE/tttcc4/8Bs2lg0.141262840614588119034.0134741.73333333334
BASE/snake2p/I3wWPQ0.1418472083476181381329.0573356.3666666667
BASE/queens31lg/0gID-A0.1418783488080025721558.533333333333151950.83333333334
BASE/futoshiki5/TJ4BZg0.1424010196654971787412.63333333333613848.3666666667
BASE/ticTacHeaven/18n58A0.142970990145560851147.5357747.4
BASE/biddingTicTacToe_10coins/a-9ccQ0.143414808839373639272.26666666667273836.9
STANFORD/bestbuttonsandlightsbig/g0JC6g0.14343261517238606322932.66666666672251459.1
BASE/double_tictactoe_dengji/zgaSbA0.1434596540663836798978.23333333334689937.7666666667
BASE/hanoi_6_disks/MeubgQ0.14398058565784844186318.61294053.6333333333
DRESDEN/hanoi_6_disks/MeubgQ0.1450226170445373193729.666666666661335858.3
DRESDEN/tttcc4/sAvtFg0.145091725908803918833.133333333335129801.56666666667
DRESDEN/pawn_whopping/4ogBkg0.1456672188107076119807.0822470.5666666667
BASE/gt_centipede/9fRMpw0.1468202542576431157870.866666666671075266.2666666666
BASE/pawnWhopping/Ypc_6Q0.14918135719182368109039.2730917.0666666667
DRESDEN/pawn_whopping_corrected/7Ov0jQ0.14923606666664954116077.63333333333777812.2
DRESDEN/frogs_and_toads/GjchhQ0.150127537115553321437.466666666667142795.03333333333
BASE/kalaha5x2x3/WviNsw0.150306825078080715446.666666666666102767.56666666667
BASE/tictactoe_3player/GtM71g0.1507332281424150873710.9489015.6
STANFORD/knightstourbig/TQUI2g0.15111094331152497145954.86666666667965878.8666666667
DRESDEN/hanoi7_bugfix/3gdnFw0.15233668435499217183098.833333333341201935.2666666666
BASE/eightPuzzle/vLrgFg0.1527945528684718531529.466666666667206352.03333333333
BASE/duplicateStateLarge/dcjyuw0.1541747791694099197410.166666666661280431.0
BASE/nim3/1OwUqw0.1549542233946550689139.7575264.7333333333
DRESDEN/Goldrush/VeWczQ0.1556159985169465253500.03333333333343795.2
BASE/ticTacHeavenFC/mrletw0.1559746745247085656285.73333333333360864.56666666665
BASE/englishDraughts/jFkQxg0.1574636049135586247596.26666666667302268.36666666664
DRESDEN/ggp-course2013_michal13/jWKddg0.157588868272269389316.13333333333566766.7666666667
BASE/bomberman2p/4CClwA0.157737163000696273808.0467917.63333333336
BASE/3pttc/0sol9g0.1583605832387624840797.76666666667257625.76666666666
BASE/minichess-evilconjuncts/4OpQzw0.1597629599431736344727.86666666667279963.93333333335
BASE/hanoi7_bugfix/3gdnFw0.16012668190192714194946.81217453.5666666667
DRESDEN/minichess/c7GMFw0.161708820528494644477.46666666667275046.63333333336
DRESDEN/nim3/sG_axA0.1619495330210902893498.0577328.0
DRESDEN/sheep_and_wolf/enAIzQ0.1622981220498495924793.9152767.63333333333
BASE/sheepAndWolf/g4THrg0.1623559015457047325012.766666666666154061.33333333334
BASE/asteroidsSerial/id2QkA0.16283820823706702132066.9811031.4
BASE/coins_atomic/AA3SSw0.1636268866497334374828.53333333334457311.9666666667
DRESDEN/Runners/3bOCQw0.16409752261724048139873.56666666668852380.7333333333
DRESDEN/tictactoe_3d_small_2player/HYttcg0.16465977222992204143239.56666666668869912.3333333334
DRESDEN/minichess-evilconjuncts/th24Tw0.1658684990333012846169.96666666667278352.8333333333
BASE/minichess/8NQEiA0.1674651105868819339751.433333333334237371.43333333332
DRESDEN/8puzzle/8fKC2w0.1681943978204306433853.36666666667201275.23333333334
BASE/colonelBlottoVariant/X-n-KQ0.1684630142946850261765.63333333333366642.1
BASE/tictactoe_3d_small_2player/oOryKA0.16939573334077135144945.3855660.8666666667
DRESDEN/battle/8oAvhQ0.1701499031444687644840.76666666667263536.8333333333
BASE/breakthroughSmallHoles/bxclRw0.17024494207525223133138.93333333332782043.4
DRESDEN/blockerparallel/dVQgSg0.170944041910475533718.0197245.83333333334
DRESDEN/bomberman2p/x4h6jQ0.1714452065157960379770.3465281.6
BASE/slidingpieces/uFJWEw0.1717737885830790773910.33333333333430277.13333333336
STANFORD/selectivesukoshi/3xmXYg0.17216196229936595117111.7680241.4333333333
STANFORD/duikoshi/tpw1sw0.1725913437458958883449.26666666666483507.8333333333
DRESDEN/CephalopodMicro/H3XQfg0.1737985365774981448490.4279003.5
BASE/lightsOnSimul4/9FeASw0.1738158631730621694854.96666666666545721.0
BASE/blockerParallel/7-nDJA0.1740950942428827533502.36666666667192437.16666666666
BASE/chineseCheckers2/eCMR3Q0.17417514981857038148304.7851468.7666666667
BASE/hitori/S8Gsyg0.174598008148396660633.5347274.86666666664
BASE/withConviction/3Xm54A0.17496827244570654111622.33333333333637957.5666666667
BASE/copolymer_4/2LDVhQ0.1752055656389023128905.43333333333735738.2333333333
DRESDEN/bidding-tictactoe/yW5vTA0.1752382160394917267696.1386309.0
STANFORD/pilgrimage/ObRZnQ0.1754336052178568651488.833333333336293494.7
BASE/copolymer_4_pie/IN5_jA0.1754483520588672799598.0567677.0333333333
BASE/cephalopodMicro/9l2D3g0.1758228921575083551175.333333333336291061.8333333333
DRESDEN/nim4/F5YAYg0.17585420464570006102004.8580053.2333333333
DRESDEN/hitori/S8Gsyg0.175988178394436960484.86666666667343687.1
DRESDEN/slidingpieces/s9_44g0.1760817204459397576536.66666666667434665.6
DRESDEN/blocksworldparallel/2JfVaw0.176635825199270375967.1430077.5333333333
STANFORD/8puzzle/jNiGtw0.176637088660968737157.86666666667210362.76666666666
BASE/ticTacToeParallel/ymRGPw0.176762692212877354446.833333333336308022.2
DRESDEN/backgammon/mqCW0Q0.176879446495367126527.966666666667149977.66666666666
BASE/coins/QnGtnQ0.1770628352107217875534.53333333334426597.3333333333
DRESDEN/3pttc/uwYBZw0.1770667344824134547995.933333333334271061.26666666666
DRESDEN/tictactoeparallel/yk_DSg0.1774673860943584755315.2311692.2
BASE/gt_coordination/IVMOzA0.1778255018722094192005.366666666671079740.3333333333
DRESDEN/hanoi7/51zz5Q0.17844951967847872219891.51232233.6333333333
BASE/gt_tinfoil/Q8DyKg0.179007374730644288737.5495719.8
BASE/battle/8oAvhQ0.179250935961447847414.4264514.1
DRESDEN/coins/QwFP9w0.1796346171071408275607.06666666667420893.63333333336
DRESDEN/othello-cornercontrol/r5Gdlg0.18057618367532928652.56666666666847916.433333333334
BASE/amazons_8x8/7SOsIw0.1808149155231474621851.066666666666120847.7
BASE/connectFourLarge/aU644A0.18214614333310383159618.73333333334876322.3333333334
BASE/biddingTicTacToe/8mESVw0.184406983408235871485.76666666666387652.1666666667
BASE/blocks/xIV5hQ0.18456945905716513260883.233333333341413469.1333333333
BASE/nim4/twk16w0.1851106040908223103851.96666666666561026.5666666667
DRESDEN/3pffa/0YrmQw0.1863595881251671546453.23333333333249266.66666666666
BASE/4pffa/Q3ADlg0.186584146943603632662.133333333335175053.1
DRESDEN/tictactoe_3player/ESLQQQ0.1867233704910667486443.83333333333462951.3333333333
DRESDEN/roshambo2/jgSlkQ0.18673997046931612141458.73333333334757517.1666666666
BASE/futoshiki4/BaCwSw0.1872690779059956138598.5740103.5
BASE/colonelBlotto/jip21A0.187306280656556276431.86666666666734338.76666666667
DRESDEN/crisscross/GsY16g0.1878655589666982721597.2114960.93333333333
BASE/ticTacToeLargeSuicide/727_8g0.18864441880595878247502.11312003.3
BASE/blocksWorld/SEdXLQ0.18922155621550946292816.933333333351547481.9
STANFORD/eightpuzzle/W_aWbA0.189368868809115337645.066666666666198792.26666666666
DRESDEN/chomp/-LcqYQ0.1901610986790936470056.03333333334368403.6
BASE/hidato37/pBrqxw0.190562491134052540345.566666666666211718.3
BASE/roshambo2/KNPokQ0.19151887199887638141949.3741176.5666666667
BASE/colonelBlottoVariant2/jruwGw0.1940216074027184847682.433333333334245758.36666666667
BASE/blocksWorldParallel/RseaAQ0.1944833708618136684606.6435032.56666666665
BASE/ticTacToeLarge/TZC0dg0.1945622586088697257464.61323301.8666666667
BASE/knightsTourLarge/M8jgLA0.19649965413660497180489.36666666667918522.5666666667
BASE/toetictac/mTThmg0.1976833749918307220204.466666666671113925.0666666667
BASE/queens08ug/kJ_ZFQ0.19781197578045762142286.83333333334719303.4333333333
DRESDEN/blocks/vg0DRw0.19905977720458617289274.01453201.6666666667
BASE/dualConnect4/WbCQkg0.20054387784853384177848.13333333333886829.0333333333
DRESDEN/4pttc/9pB9AQ0.2018261775604288449839.36666666667246942.03333333333
DRESDEN/hanoi/RQ0jiA0.20358071793227764232335.31141244.1333333333
BASE/blokbox_simple/JBx4bg0.203726059265693123549.566666666666617423.233333333334
STANFORD/bestbuttonsandlights/nm0wEA0.2041360396866369434723.33333333332129576.6
BASE/rubiksCube/9tNO9Q0.2047076606660947225785.4125962.06666666667
STANFORD/threepuzzle/41ibjA0.20543824730776222223197.233333333341086444.4
STANFORD/3puzzle/41ibjA0.20570673895054647226061.633333333331098951.0333333334
BASE/3pffa/pR0dzA0.2057967446852506441800.2203114.0
BASE/chomp/-LcqYQ0.2062858792492519980531.8390389.3
BASE/reversi/d8UMeA0.2085488392850165816013.03333333333376783.13333333333
DRESDEN/tictactoelargesuicide/6J4DeA0.2086697066336889272800.46666666671307331.4333333333
DRESDEN/toetictac/mJtxCA0.20937406880782133219575.366666666671048722.8333333333
BASE/ruleDepthLinear/OUBJpQ0.2100991114537658354110.71685445.9666666666
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw0.21023014689496372425901.66666666672025882.9333333333
BASE/cittaceot/fDxhXg0.2128322980865358442209.1198320.93333333332
BASE/4pttc/AL1k2Q0.2131863941986904543612.5204574.5
DRESDEN/SC_TestOnly_enabled/09o7gQ0.21445274994181346238980.933333333321114375.7
BASE/snakeParallel/RCVNtw0.21565064456641164167215.46666666667775399.8
BASE/maze/cCX3qQ0.2157644540692133490504.266666666662273332.1333333333
BASE/crisscross/ICagEg0.2160378385265963321702.066666666666100454.93333333333
DRESDEN/tictactoelarge/IwXcbg0.21699795399180064275149.33333333331267981.2333333334
BASE/knightmove/jBaJEw0.21742125997948786208318.26666666666958132.0
STANFORD/multiplebuttonsandlights_9/SqB9BA0.21814889069127566785362.93333333333600123.433333333
STANFORD/multiplebuttonsandlights/cK70Yg0.21844958021624775786861.76666666673602029.2
DRESDEN/CatchMeIfYouCanTest/CX18rA0.2188243159785633191381.03333333333874587.6
DRESDEN/cube_2x2x2/fp-34Q0.2189690177222532561256.166666666664279748.1
BASE/asteroidsParallel/WauZiA0.21903988948088488108196.9493959.8
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg0.21987078507695426454407.266666666662066701.4333333333
DRESDEN/Catch-Me-If-You-Can/ghGWrA0.21989956768169655184983.16666666666841216.6
BASE/ticblock/T21C1g0.22106366343928058158481.16666666666716902.8333333334
BASE/asteroids/BKCmPQ0.22123558274514793206871.76666666666935074.5666666667
BASE/doubletoetictac/fu35bg0.22153234785734505109204.53333333334492950.73333333334
BASE/solitaireChineseCheckers/-ET6gw0.2216623855863696451619.0232872.16666666666
DRESDEN/pawn_whopping_simultaneous/r8dLfw0.2221031205931047280732.9363492.86666666664
DRESDEN/ticblock/Z2yNWQ0.22275038751511608159056.73333333334714058.1666666666
BASE/point_grab/V_osUg0.223308857223996412119.61845513.9
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ0.2243498286166667431941.61925303.9
BASE/queens06ug/7Lq3tw0.224780152804484203569.13333333333905636.6
BASE/chineseCheckers3/-1rZdQ0.22579093841982284113715.0503629.6
BASE/majorities/ibJzSQ0.22594069946942874107200.6474463.43333333335
DRESDEN/Thief_Police/CX18rA0.22599588563461476200562.23333333334887459.6666666666
DRESDEN/buttons/ADUaHw0.2260491093651936561788.93333333332485251.7
BASE/blocksWorldSerial/Wyg96Q0.22659702086905584183602.2810258.6666666666
BASE/beatMania/qUHwvQ0.2269602683756696222407.4979939.8
BASE/doubletictactoe/HH1htg0.2276649127366671497203.5426958.63333333336
DRESDEN/point_grab/r5DPmQ0.2278830945578975413029.71812463.1
STANFORD/untwistycorridor/EDPPAQ0.22841160770210744836042.83333333343660246.7
STANFORD/jointbuttonsandlights/qAKuIQ0.22958909390172927328129.66666666671429204.0666666667
BASE/ticTacToeSerial/Amrwqw0.22990313238922283120103.83333333333522410.6
BASE/reversiSuicide/9OxJlg0.2299635791366906617047.96666666666774133.33333333333
BASE/cubicup/4wNWJA0.2308493301655601486830.56666666667376135.23333333334
BASE/factoringMediumTurtleBrain/8RBqmQ0.23086250526398266352592.03333333331527281.5
BASE/numbertictactoe/rvJ-iQ0.23113383187303807101551.7439363.2
BASE/smallest_4player/ADDROA0.2312234195124010870831.53333333334306333.73333333334
DRESDEN/knightmove/97Ipcw0.23327780752011637212349.83333333334910287.3333333334
BASE/knightsTour/mvtVIg0.23394822982022737307693.51315220.4666666666
BASE/chineseCheckers1/gqtwHw0.23399953950756794387278.566666666651655039.8666666667
DRESDEN/sum15/CsgWKg0.234174701387299157008.4670475.5
DRESDEN/oisters_farm/pTQMLg0.2342788220086945877291.43333333333744646.7666666666
BASE/sum15/QZ07Kg0.23476804312269783159484.2679326.7
BASE/buttons/hTcUjw0.23495250068382542568147.23333333332418136.566666667
DRESDEN/blocks2player/3ev8nQ0.23530831726613013137348.1583694.2
DRESDEN/cubicup/SBn_lw0.2354209332907497384302.53333333334358092.76666666666
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg0.2366639326894065487566.766666666662060165.0666666667
BASE/chickentoetictac/l57rfQ0.23694079221118058191044.8806297.6333333333
DRESDEN/quartosuicide/WIU1oQ0.238387803763488924901.1104456.26666666666
BASE/zhadu/DlA8iQ0.238667128003781124878.2104238.06666666667
BASE/hanoi/iGLsJg0.23883039736982137274978.33333333331151354.0
DRESDEN/stratego/Z2wovg0.2389934750267612239331.833333333336164572.83333333334
BASE/blocks2player/wnTLOQ0.23969163587005066138726.4578770.3
BASE/amazonsSuicide_10x10/XIbQkg0.2399665031431594514136.66666666666658911.0
BASE/hidato19/rRHSmA0.24024985340988236109370.76666666666455237.6
STANFORD/untwistycomplex/HTWEwg0.24093843414783603850853.83333333343531415.966666667
BASE/connectFour_9x6/B9TtMw0.24187290427629926232118.76666666666959672.4666666667
BASE/wallmaze/uxNQ9g0.24252205702982418131661.43333333332542884.3666666667
DRESDEN/chickentoetictac/cxYaRQ0.24464105875425518183734.26666666666751036.1
STANFORD/pentago/ZxzLmg0.244752768466283389807.13333333333366930.0
BASE/chineseCheckers6/rREH3A0.2460267768905811494476.8384010.23333333334
BASE/firefighter/WJmoPw0.247068882632061171013782.66666666664103238.966666667
DRESDEN/pentago_2008/hLjVpQ0.2475663909006965488154.16666666667356082.93333333335
STANFORD/knightstourmedium/x1wu8Q0.24919417683774087318091.233333333341276479.4
DRESDEN/doubletictactoe/lJzgmQ0.24995821894483838107337.33333333333429421.1
STANFORD/connectfour/VMpZkQ0.250051656000525244496.13333333333977782.5
BASE/pentagoSuicide/SBgNhw0.2501892861757618688293.0352904.8
DRESDEN/catch_me/ghGWrA0.250239133761861198823.6794534.4
BASE/circlesolitaire/azuQFQ0.2505263703766751219972.53333333333878041.4333333333
STANFORD/knightstour/cEwgNA0.2515420712183395322843.633333333361283457.8
DRESDEN/firefighter/WJmoPw0.25217734851566026971592.16666666663852813.0
BASE/connectFourSuicide/c8p9Kw0.2525756626810296252963.41001535.1333333333
DRESDEN/quarto/OQzRYQ0.253553813134114326210.5103372.53333333334
DRESDEN/circlesolitaire/ruUilQ0.2540731448147651220216.96666666667866746.3333333334
DRESDEN/tictactoe/BTTzPw0.2581980647856348207493.53333333333803621.5666666667
DRESDEN/bunk_t/7-tPfA0.25922982621789126109929.93333333333424063.6
DRESDEN/Zhadu/9zpQ5w0.259425640430822426243.1101158.46666666666
DRESDEN/connectfour/5tc-Mg0.2594699969619371252432.83333333334972878.7
BASE/connectFourSimultaneous/7ITr3g0.2597183508805246135305.4520969.73333333334
DRESDEN/uf20-020.cnf.SAT/hDrW_A0.2597290841667302315350.266666666661214150.7666666666
BASE/quarto/EwBMVQ0.2601423833445150629262.133333333335112485.06666666667
DRESDEN/smallest_4player/ADDROA0.260996719602236682440.03333333334315866.1666666667
BASE/pearls/6k_mEQ0.26225182891123794808770.93333333333083947.7333333334
BASE/tictactoe_orthogonal/WRzlVw0.2630422442853525200515.53333333333762294.0333333333
DRESDEN/nim2/z5_exA0.2646308176212482178062.2672870.2333333333
DRESDEN/tictictoe/LAUtwg0.265533483373926590433.93333333333340574.5
DRESDEN/brain_teaser_extended/ZDp94A0.265921325196553212934.53333333333800742.6
BASE/quartoSuicide/-23jUg0.2664756117733117529373.633333333335110230.1
BASE/nim2/eF2Qqw0.26681251263259675174643.9654556.6333333333
DRESDEN/connectfoursuicide/M9CNQg0.26686210730308024264664.4991764.6333333333
BASE/untwistycomplex2/EDPPAQ0.26863779537823074847695.53155533.2666666666
BASE/brain_teaser_extended/ZDp94A0.26888543068313225211844.9787863.0666666667
DRESDEN/doubletoetictac/V89gKQ0.268936507624543111294.06666666667413830.26666666666
DRESDEN/kitten_escapes_from_fire/uW-YiA0.2694042345201649424630.03333333331576181.7333333334
DRESDEN/eotcatcit/mQUxzA0.27013124363287966218979.86666666667810642.5
DRESDEN/sat_test_20v_91c/dK7nVw0.27068677958147314305384.46666666671128183.9
BASE/conn4/va9Y7A0.27196740687761073178212.4655271.1666666666
BASE/duplicateStateMedium/U163eQ0.2722015978498801453174.766666666661664849.7666666666
DRESDEN/lightsout/XgLpzQ0.27444884362535077170488.03333333333621201.5
BASE/troublemaker02/DI83KA0.2770773907580548581569.56666666672098942.7
BASE/connectFour/WAIKTw0.2773727729393017270655.26666666666975781.6666666666
DRESDEN/smallest/9kaGFw0.278753425757106653241.23333333333311627.6
BASE/stateSpaceLarge/0Ge_CQ0.2787633370936868285639.66666666671024667.2666666667
BASE/amazons_10x10/Bun8dA0.279001187239094615298.554833.1
DRESDEN/babel/WdSW4A0.2790912139622468465661.96666666666235270.63333333333
STANFORD/trifecta/ss1kyQ0.27972009766465505197339.43333333332705488.9333333333
BASE/pentago/86NgKw0.2797231325277989101617.4363278.5
BASE/chineseCheckers4/avfBcQ0.28011935101286506102111.06666666667364527.0
BASE/factoringMutuallyAssuredDestruction/NH0LGg0.2803636861391759476207.31698534.1666666667
BASE/lightsOut/5P1ZBw0.28136784302039736179277.66666666666637164.7333333333
STANFORD/tictactoe/ss1kyQ0.2815381091526196212970.96666666667756455.2
DRESDEN/lightsout2/LFtfyQ0.28602691372082756173201.43333333332605542.4333333333
BASE/kitten_escapes_from_fire/uW-YiA0.2870448558555919418981.933333333351459639.2333333334
DRESDEN/troublemaker02/iZLVuA0.28704544124836584566824.63333333331974686.0666666667
BASE/chickentictactoe/DSlZCA0.28749707806625824180345.7627295.7666666667
STANFORD/sukoshi/4LYZZQ0.2884775099936651284140.43333333335984965.6333333333
BASE/bunk_t/xbpfIA0.28993910850425875123026.26666666666424317.6
DRESDEN/uf20-010.cnf.SAT/5ICbCg0.2933056833161923366058.46666666671248044.2333333334
DRESDEN/chickentictactoe/Ipbo-g0.2934313020017365176065.83333333334600024.0333333333
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA0.2936222951920134316215.03333333331076944.9
DRESDEN/tictactoe_orthogonal/y69QFQ0.2945441974915856224656.56666666668762726.1666666666
BASE/haystack/UkweGA0.2946124483494771850260.62886030.8
DRESDEN/tictactoe-init1/3ltIBQ0.2970309497764619262449.93333333335883577.7333333333
BASE/checkLines/Vop7oQ0.29991526706586213125346.76666666666417940.6
DRESDEN/blobwars/ZaMluQ0.3004064546210145927.519731.6
BASE/ticTacToe/JRFsaQ0.30405134455746624235251.13333333333773721.7333333333
DRESDEN/troublemaker01/C-lPWw0.30490014679387684664563.26666666672179609.533333333
BASE/lightsOnParallel/SC6enA0.3054100157450034515042.66666666671686397.4333333333
DRESDEN/sat_test_20v_91c_version2/a1mPBA0.3065252083276121334857.33333333331092430.0
BASE/survival/YVIjJA0.3068826578852884707976.13333333332306992.966666667
BASE/switches/tPUoCg0.3091695302361714390100.91261770.2
BASE/eotcitcit/V_9_bg0.31018582349833784103188.56666666667332666.93333333335
BASE/nim1/hin2Qw0.3116193384854811223547.93333333332717375.0333333333
STANFORD/buttonsandlights/eyhJpA0.3123383007370964922886.32954765.066666667
BASE/troublemaker01/s3tlEQ0.31308952953833136687633.92196285.2
BASE/blobwars/0XT15Q0.315135654535072536089.16666666666719322.366666666665
BASE/ticTicToe/c1OobQ0.3185305132107271106669.7334880.63333333336
STANFORD/rainbow/_4qNSQ0.3198429309955104499113.16666666671560494.6
BASE/tictactoe-init1/7M19vA0.3202163921936102271169.73333333334846832.7666666667
DRESDEN/nim1/M9BALA0.3209399702675174232630.56666666668724841.3666666667
BASE/tictactoe2/bhrDoQ0.3209662500248552402469.46666666671253930.8
STANFORD/tictictoe/rpt_Dw0.3216074520874538106621.2331525.9
DRESDEN/fizzbuzz/t1xHzQ0.3223456311297787526509.21633368.5
BASE/crissrace/ERWGDA0.3238759259223284427786.23333333333485792.83333333333
BASE/tictactoe_3d_6player/d7KSwg0.3242770133964834679403.36666666667244862.76666666666
DRESDEN/2player_normal_form_2010/NG_Kdg0.3245867900831433477395.066666666651470777.8666666667
BASE/queens08lg/Ru7eqQ0.3254760080139099156379.7480464.6
DRESDEN/crissrace/KWb9bw0.327390997280884128648.087503.93333333333
STANFORD/dualrainbow/G3OnRQ0.33080412777277446293780.06666666665888078.6
BASE/eotcatcit/AfZSzA0.3309157838782966228926.83333333334691797.8666666667
BASE/3pConnectFour/PqXOFQ0.333255376943678227899.4683858.1333333333
STANFORD/tictactoe5/WFRReg0.3334796705650784293439.1879931.0
BASE/ticTacToeNoVars/XT03NA0.3344581499818446415046.81240952.8666666667
BASE/duplicateStateSmall/bCPAXw0.3437693950892085708520.76666666672061035.0333333334
STANFORD/tictactoe7/-bE9-A0.34426670883450355257480.76666666666747910.7333333333
BASE/tictactoe_3d_small_6player/g_9lww0.3558899844945849117586.3330400.7
DRESDEN/blocker/S815zQ0.3565862291071843355880.36666666664998020.5
STANFORD/tictactoe3/X7myng0.35887130862538186402712.21122163.2666666666
BASE/factoringEasyTurtleBrain/lUj94Q0.3600036911542323592601.21646097.5666666667
BASE/stateSpaceMedium/3bUoIw0.36370189026691113528318.16666666661452613.2
BASE/blocker/dIWtxg0.36729482788532647364494.63333333336992376.1666666666
DRESDEN/lightson2x2/gBHuig0.370489920387451539871.36666666671457182.3333333333
DRESDEN/tictactoe_3d_small_6player/llDEDQ0.37435604768330194124763.1333273.9
BASE/ad_game_2x2/D0aWqg0.3778942145145961513479.635670.3
BASE/onestep/xi53wA0.37958124613405114838404.36666666672208761.3
DRESDEN/statespacemedium/dVJZ_w0.38184666438910997555948.21455946.2
BASE/nonogram_10x10_1/0Xc62g0.396204634642376373770.13333333333186192.0
DRESDEN/statespacelarge/8-y5HQ0.4018481925922677401258.4998532.3
BASE/lightsOn/MsXu3A0.4091301981217339847393.76666666672071208.0666666667
BASE/stateSpaceSmall/Q7osKA0.4101887620604989767630.91871408.9
DRESDEN/tictactoe_3d_6player/ulZPWg0.412349119894720198888.7239817.9
BASE/factoringGeorgeForman/HGRorQ0.4352704991590045896216.96666666672058988.5333333334
DRESDEN/statespacesmall/h-NqjA0.43562581103847514788292.23333333331809562.7333333334
BASE/nonogram_5x5_1/qLKEZw0.445484146641835157897.0354439.1
BASE/amazonsTorus_10x10/Uxc08g0.472773836935276479328.619731.633333333335
BASE/guess/SPpk1A0.553015367181027330125.73333333333454475.4
BASE/cubicup_3player/e2yA_g0.621166736842105249175.779166.66666666667
DRESDEN/guess/PhxGhg0.624180177527571734200.93333333333454793.36666666667
DRESDEN/cubicup_3player/awDtsQ0.678722317153343352205.5333333333376917.36666666667

Games with errors:

GameALLOY_DIFF_PROP_NET:1 error messageSANCHO_DEAD_RECKONING_PROPNET:1.61c error message
DRESDEN/amazons/dNB28ATest process timed out after 240 seconds
BASE/battlebrushes/arCwyAException of type NullPointerException
BASE/endgame/jYjfOAException of type NullPointerException
STANFORD/triplesukoshi/Iu9mbAException of type NullPointerException
DRESDEN/hallway/0H4l-QTest process timed out after 240 seconds
DRESDEN/battlebrushes/QHXV4AException of type NullPointerException
BASE/amazons/RKKZjwTest process timed out after 240 seconds
DRESDEN/chinesecheckers6-simultaneous/gPPGUwException of type NullPointerException
DRESDEN/four_way_battle/xSOQXAException of type NullPointerException
BASE/pancakes88/l2XaigException of type StackOverflowError
BASE/chess_200/XsTpYAException of type StackOverflowError
DRESDEN/knightazons/02I8BQTest process timed out after 240 seconds
BASE/knightazons/apnJBQTest process timed out after 240 seconds
BASE/four_way_battle/xSOQXAException of type NullPointerException
DRESDEN/crossers3/xiPTxgArrayIndexOutOfBoundsException: 65536
BASE/hallway/ckCJOwTest process timed out after 240 seconds
BASE/crossers3/O0rORgArrayIndexOutOfBoundsException: 65536
BASE/racer4/0vs7WwException of type NullPointerException
BASE/gt_two_thirds_6p/867v3QTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/slaughter/cOch8ATest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/checkers-newgoals/IJOqXQIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUETest process timed out after 240 seconds
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWgIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUETest process timed out after 240 seconds
DRESDEN/uf20-01.cnf.SAT/42Rs8AException of type NullPointerExceptionException of type NullPointerException
DRESDEN/god/2EDD5wTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/ggp-course2013_nicolai/uEin8gTest process timed out after 240 secondsOutOfMemoryError: GC overhead limit exceeded
BASE/sudoku/NTaNkwTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/small_dominion/yB5GJATest process timed out after 240 secondsOutOfMemoryError: GC overhead limit exceeded
DRESDEN/cylinder-checkers/clOO3QIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUETest process timed out after 240 seconds
DRESDEN/pancakes88/aD3E7gTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/amazonsSuicide/dE1QEQTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/amazonsTorus/soxT8gTest process timed out after 240 secondsOutOfMemoryError: GC overhead limit exceeded
DRESDEN/vacuumcleaner_obstacles_6/NVwsZwTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/laikLee_hex/ZeP3QQTest process timed out after 240 secondsException of type StackOverflowError
DRESDEN/mummymaze1p/AekgaQTest process timed out after 240 secondsOutOfMemoryError: Java heap space
BASE/knightwar/DVGY4QException of type NullPointerExceptionException of type NullPointerException
BASE/merrills/pku8TgOutOfMemoryError: GC overhead limit exceededOutOfMemoryError: GC overhead limit exceeded
BASE/god/qF06gwTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/knightwar/7hhAqgTest process timed out after 240 secondsTest process timed out after 240 seconds
BASE/factoringImpossibleTurtleBrain/kcBhdwOutOfMemoryError: Java heap spaceTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_random_big/DwzFaQTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_3/4NjSmwTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/farmers/S_ASnwTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/battlesnakes2011/93VtTwTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/merrills/aYEzwAOutOfMemoryError: GC overhead limit exceededOutOfMemoryError: GC overhead limit exceeded
DRESDEN/checkers-mustjump/HUr33wIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUETest process timed out after 240 seconds
BASE/mummymaze1p/PT_EXAException of type NullPointerExceptionException of type NullPointerException
DRESDEN/checkers/jIDMIgIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUETest process timed out after 240 seconds
BASE/alexChess/LNo83gTest process timed out after 240 secondsTest 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 timed out after 240 seconds
BASE/cylinder-checkers/hlldmwIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUETest process timed out after 240 seconds
DRESDEN/vacuumcleaner_obstacles_5/fXBV4gTest process timed out after 240 secondsTest process timed out after 240 seconds
DRESDEN/checkers-mustjump-torus/cVc3gAIllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUETest process timed out after 240 seconds
BASE/laikLee_hex/zbyscQTest process timed out after 240 secondsException of type StackOverflowError
DRESDEN/battlesnakes1509/-qZrLwTest process timed out after 240 secondsTest process timed out after 240 seconds

index