Game-by-game performance:
Game | Perf ratio | PALAMEDES_JAVA_ECLIPSE:0.6.1 states per second | SANCHO_DEAD_RECKONING_PROPNET:1.61c states per second |
BASE/queens08lg/Ru7eqQ | 5.019580335200811E-8 | 0.024117306579201234 | 480464.6 |
DRESDEN/golden_rectangle/1uloXw | 5.820317850415083E-6 | 4.216047538425787 | 724367.2333333333 |
BASE/queens08ug/kJ_ZFQ | 1.1953492560242382E-5 | 8.598188238906802 | 719303.4333333333 |
BASE/queens06ug/7Lq3tw | 2.7790529204375047E-5 | 25.168120380850922 | 905636.6 |
BASE/quad/tw-Ufg | 3.1274024830054515E-5 | 10.087558677630922 | 322553.9 |
DRESDEN/quad/JPe6fg | 4.002573704583864E-5 | 13.062312562479173 | 326347.8333333333 |
BASE/golden_rectangle/_nYzfw | 7.736879652561147E-5 | 63.04775234096438 | 814898.9666666667 |
BASE/sudokuGrade6E/ihYFZA | 8.616554092020554E-5 | 44.174967518406234 | 512675.56666666665 |
BASE/sudokuGrade6H/ieE_9A | 8.667132000371359E-5 | 44.665177827405756 | 515339.76666666666 |
STANFORD/sudoku/oJ1qyQ | 9.558718542437035E-5 | 53.85948540194641 | 563459.2666666667 |
BASE/sudokuGrade3/eI8dvg | 9.661255582717402E-5 | 56.36666666666667 | 583430.0333333333 |
BASE/sudokuGrade4/DTy07w | 9.772767615207363E-5 | 57.590401599733376 | 589294.7 |
BASE/sudokuGrade2/u80Tfw | 1.0129968370935742E-4 | 60.28912131103857 | 595156.0666666667 |
BASE/sudokuGrade5/BQfUQA | 1.026100473448587E-4 | 58.79412058794121 | 572986.0 |
BASE/sudokuGrade1/tDRNRw | 1.0681946293762925E-4 | 64.36666666666666 | 602574.3333333334 |
BASE/zhadu/DlA8iQ | 1.101481422299139E-4 | 11.481629392971247 | 104238.06666666667 |
STANFORD/duidoku/3SoMaA | 1.616862120447436E-4 | 50.41316806610689 | 311796.3333333333 |
BASE/quad_7x7/q-JOXg | 1.6594913021984747E-4 | 78.15931323617488 | 470983.56666666665 |
DRESDEN/quad_7x7/q-JOXg | 1.8085841518671327E-4 | 86.5439046318804 | 478517.43333333335 |
BASE/pawnToQueen/-O1_JA | 1.826348341065963E-4 | 103.31955739234769 | 565716.6 |
BASE/colonelBlotto/jip21A | 1.9540805924680725E-4 | 6.710071751262291 | 34338.76666666667 |
STANFORD/multiplesukoshi/vLSQPg | 2.0994186216998788E-4 | 241.61722551829877 | 1150876.8333333333 |
DRESDEN/pawntoqueen/f_x6Aw | 2.1549908749832796E-4 | 100.05997600959616 | 464317.4 |
BASE/simultaneousWin2/PfjRjw | 2.2818424709312613E-4 | 209.5247617143238 | 918226.2333333333 |
DRESDEN/quad_5x5/JAEP5g | 2.899441040342238E-4 | 195.1325076574777 | 673000.4333333333 |
DRESDEN/ggp-course2013_michal13/jWKddg | 3.137092900589384E-4 | 177.8 | 566766.7666666667 |
BASE/quad_5x5/JAEP5g | 3.1765606714586486E-4 | 188.69495703151023 | 594022.8333333334 |
DRESDEN/quad_5x5_8_2/JRTLJg | 3.328111589841994E-4 | 200.86565673381057 | 603542.4333333333 |
STANFORD/selectivesukoshi/3xmXYg | 3.8599040546535363E-4 | 262.56666666666666 | 680241.4333333333 |
BASE/hidato37/pBrqxw | 4.143732921829012E-4 | 87.73040898636712 | 211718.3 |
DRESDEN/othello-cornercontrol/r5Gdlg | 4.162832482100079E-4 | 19.9468085106383 | 47916.433333333334 |
BASE/blokbox_simple/JBx4bg | 4.1792205033077973E-4 | 7.281553398058253 | 17423.233333333334 |
STANFORD/multipletictactoe/_bkafQ | 4.965376646567302E-4 | 614.4333333333333 | 1237435.5 |
BASE/twisty-passages/DiZmmg | 5.697414286979468E-4 | 1571.2 | 2757742.2333333334 |
DRESDEN/twisty-passages/j7NPyg | 5.83392081987911E-4 | 1549.9 | 2656703.8666666667 |
BASE/majorities/ibJzSQ | 6.088874162444342E-4 | 288.8948140247967 | 474463.43333333335 |
BASE/mummymaze2p/vpjDdA | 7.100932405990933E-4 | 775.5 | 1092110.1 |
DRESDEN/mummymaze2p/k-8edg | 7.179126282158472E-4 | 751.9 | 1047341.9333333333 |
BASE/cephalopodMicro/9l2D3g | 7.622664370858197E-4 | 221.86666666666667 | 291061.8333333333 |
DRESDEN/CephalopodMicro/H3XQfg | 7.877774779798368E-4 | 219.79267357754742 | 279003.5 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 7.926359280215923E-4 | 679.1773607546415 | 856859.1666666666 |
BASE/tictactoe_3d_2player/IUC1rQ | 8.201978067600151E-4 | 688.5666666666667 | 839512.9333333333 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 8.401918068934307E-4 | 201.49303472638806 | 239817.9 |
BASE/tictactoe_3d_6player/d7KSwg | 8.466199063107461E-4 | 207.30569257432342 | 244862.76666666666 |
DRESDEN/connect5/1kYzSg | 8.548111045706001E-4 | 661.8 | 774206.1333333333 |
BASE/connect5/d-BVQg | 8.650147737375461E-4 | 674.4666666666667 | 779716.9333333333 |
BASE/othelloHoles/c0qAzw | 8.731048424416808E-4 | 38.12092156079371 | 43661.333333333336 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 8.806933539538497E-4 | 1345.0666666666666 | 1527281.5 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 8.898862957750571E-4 | 123.53333333333333 | 138819.23333333334 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 9.033923034443306E-4 | 125.53723138430784 | 138962.03333333333 |
BASE/futoshiki6/JmvXNA | 9.086775106215702E-4 | 504.91650278324056 | 555660.8333333334 |
DRESDEN/battle/8oAvhQ | 9.789576546984531E-4 | 257.9914002866571 | 263536.8333333333 |
BASE/firefighter/WJmoPw | 9.831826432986448E-4 | 4034.233333333333 | 4103238.966666667 |
BASE/battle/8oAvhQ | 9.959405666253832E-4 | 263.44032263440323 | 264514.1 |
DRESDEN/firefighter/WJmoPw | 0.0010547358514415312 | 4063.7 | 3852813.0 |
BASE/checkers-mustjump/T-8UuQ | 0.0010595368975024795 | 180.05466302246518 | 169937.13333333333 |
BASE/checkers-mustjump-torus/uSApKQ | 0.0010661995083098095 | 110.2 | 103357.76666666666 |
BASE/othelloSuicide/B442jg | 0.0011272665528485799 | 37.46541781940602 | 33235.63333333333 |
BASE/othello-comp2007/86ZoMw | 0.001143216758694055 | 37.26894254787677 | 32600.066666666666 |
DRESDEN/grid_game2/kypTYQ | 0.0011692577669425855 | 1656.6 | 1416796.2333333334 |
BASE/cittaceot/fDxhXg | 0.001201715750062163 | 238.32538915369489 | 198320.93333333332 |
BASE/wallmaze/uxNQ9g | 0.0013775800383764964 | 747.8666666666667 | 542884.3666666667 |
DRESDEN/connect4/T0-rHQ | 0.0013982799642002792 | 834.6443570428638 | 596907.9 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 0.001469120446893127 | 3036.233333333333 | 2066701.4333333333 |
BASE/connect4/50bOyw | 0.0014702892100849805 | 841.4719509349688 | 572317.3 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 0.0014837646019043912 | 3056.8 | 2060165.0666666667 |
STANFORD/platformjumpers/HEQskA | 0.0015071375735562006 | 568.8 | 377404.1666666667 |
BASE/futoshiki5/TJ4BZg | 0.0015699316839973129 | 963.7 | 613848.3666666667 |
BASE/lightsOnSimultaneous/_VN6lw | 0.0015771424477622142 | 1279.7666666666667 | 811446.4666666667 |
BASE/breakthroughHoles/nZk0Sg | 0.0015861683751376204 | 1430.0 | 901543.6333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 0.0015872585464299944 | 3215.6 | 2025882.9333333333 |
BASE/tictactoex9/BI26ow | 0.0016026291492771277 | 831.8 | 519022.13333333336 |
DRESDEN/tictactoex9/rFkD4w | 0.0016027363380566198 | 825.1666666666666 | 514848.6666666667 |
BASE/knightmove/jBaJEw | 0.0016112254539736347 | 1543.7666666666667 | 958132.0 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 0.0016158261873554795 | 790.5069831005633 | 489227.73333333334 |
DRESDEN/towerworld/HCX34w | 0.0016207998134295928 | 60.1325915314655 | 37100.566666666666 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 0.001654440112025951 | 3185.3 | 1925303.9 |
DRESDEN/knightmove/97Ipcw | 0.0016640167097421985 | 1514.7333333333333 | 910287.3333333334 |
DRESDEN/chinesecheckers1/Y-ftaA | 0.0016855437508619326 | 2327.5 | 1380860.0333333334 |
BASE/max_knights/2fq3Ag | 0.0017059778156082524 | 1387.5666666666666 | 813355.6333333333 |
DRESDEN/max_knights/hCipiA | 0.0017362406374233069 | 1327.2666666666667 | 764448.5666666667 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 0.001775085981261407 | 1557.6333333333334 | 877497.4 |
DRESDEN/catcha_mouse/cHv4dw | 0.0017967966350048465 | 1241.3666666666666 | 690877.6666666666 |
BASE/blockerSerial/3eqDuw | 0.0018108919405248455 | 1047.0333333333333 | 578186.5333333333 |
BASE/breakthrough/TGxk-g | 0.0018220431886783054 | 1531.3 | 840430.1333333333 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 0.001855573045178938 | 3107.266666666667 | 1674559.0666666667 |
BASE/dotsAndBoxes/EHwA_w | 0.0018810127999171187 | 1565.0666666666666 | 832034.0333333333 |
BASE/conn4/va9Y7A | 0.0018836985298961474 | 1234.3333333333333 | 655271.1666666666 |
BASE/pacman3p/wW7UVQ | 0.0018932984050826353 | 887.2333333333333 | 468617.8 |
BASE/breakthroughSuicide/wZDpIg | 0.0019068039652008878 | 1587.4 | 832492.5 |
BASE/breakthroughWalls/vOZaYA | 0.0019189119635580594 | 1556.1666666666667 | 810963.0333333333 |
DRESDEN/slidingpieces/s9_44g | 0.0019204034856527257 | 834.7333333333333 | 434665.6 |
BASE/dotsAndBoxesSuicide/jzQbLw | 0.0019248907601405487 | 1604.9 | 833761.6 |
DRESDEN/breakthrough/z4hK7Q | 0.001937703116424499 | 1569.4666666666667 | 809962.4 |
BASE/slidingpieces/uFJWEw | 0.0019612940930937997 | 843.9 | 430277.13333333336 |
BASE/catcha_mouse/cHv4dw | 0.001975146213095676 | 1207.8 | 611499.0333333333 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 0.0019814754804132672 | 1542.3 | 778359.3666666667 |
BASE/cubicup/4wNWJA | 0.0019890232616045266 | 748.1417286090464 | 376135.23333333334 |
BASE/copolymer_4/2LDVhQ | 0.002008957261837736 | 1478.0666666666666 | 735738.2333333333 |
BASE/knightThrough/gcwFjA | 0.002043728873776023 | 1591.9 | 778919.3666666667 |
BASE/gt_two_thirds_4p/DStnxQ | 0.0020982585299787883 | 115.73966074582597 | 55159.86666666667 |
DRESDEN/knightthrough/J7Fc_Q | 0.0021031560300687896 | 1617.3666666666666 | 769018.8666666667 |
DRESDEN/pacman3p/rBnk8Q | 0.0021059815224228674 | 858.3 | 407553.43333333335 |
DRESDEN/racetrackcorridor/O0DoTA | 0.002125615929626822 | 1291.4333333333334 | 607557.2333333333 |
BASE/lightsOnSimul4/9FeASw | 0.002136989414004592 | 1166.2 | 545721.0 |
DRESDEN/queens/mW2wHQ | 0.00213705735250229 | 692.2 | 323903.3333333333 |
DRESDEN/cubicup/SBn_lw | 0.0021406929656868244 | 766.5666666666667 | 358092.76666666666 |
BASE/checkers-newgoals/0XkFiA | 0.002144773130934257 | 529.8 | 247019.13333333333 |
BASE/hidato19/rRHSmA | 0.0021453283125037565 | 976.6341121962602 | 455237.6 |
BASE/hitori/S8Gsyg | 0.002152881815063181 | 747.6417452751575 | 347274.86666666664 |
BASE/queens/HyJJnQ | 0.0021534810332911707 | 688.1 | 319529.1666666667 |
DRESDEN/hitori/S8Gsyg | 0.0021600073632867416 | 742.3666666666667 | 343687.1 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 0.002175087818157977 | 724.9 | 333273.9 |
BASE/racetrackcorridor/_RkdUg | 0.0021760386604764946 | 1474.9 | 677791.2666666667 |
BASE/gt_two_thirds_2p/1APDGg | 0.0021793524385792873 | 330.4 | 151604.66666666666 |
BASE/dualConnect4/WbCQkg | 0.002202153132033604 | 1952.9333333333334 | 886829.0333333333 |
BASE/snake_2009_big/-oRfVw | 0.00220374525059838 | 769.9 | 349359.8 |
STANFORD/breakthrough/d5j0cQ | 0.0022222496199908732 | 1784.4333333333334 | 802985.1 |
BASE/tictactoe_3d_small_6player/g_9lww | 0.002251736151971346 | 743.9752008266391 | 330400.7 |
DRESDEN/aipsrovers01/qS47Mw | 0.0023056385745893145 | 3722.3 | 1614433.4333333333 |
BASE/ticTacHeavenFC/mrletw | 0.002334500705242846 | 842.4385853804873 | 360864.56666666665 |
BASE/connectFourLarger/qKi60A | 0.002341835487816012 | 1830.5666666666666 | 781680.3 |
BASE/aipsrovers01/4C4jsw | 0.0023955554301713497 | 3699.4333333333334 | 1544290.4333333333 |
BASE/ticTacHeaven/18n58A | 0.0024008560229927594 | 858.9 | 357747.4 |
STANFORD/chinook/osFbPA | 0.002401771388345903 | 626.4457851404953 | 260826.56666666668 |
BASE/copolymer_4_pie/IN5_jA | 0.0024249116765982723 | 1376.5666666666666 | 567677.0333333333 |
DRESDEN/grid_game/U7_Yeg | 0.0024517470955384376 | 1488.9 | 607281.2333333333 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 0.002464999346677462 | 2144.3333333333335 | 869912.3333333334 |
DRESDEN/snake_2009_big/DgC1NQ | 0.002469912599175945 | 759.9666666666667 | 307689.7 |
DRESDEN/chinesecheckers2/06E6-Q | 0.0024768955228241596 | 1627.6 | 657112.9 |
DRESDEN/capture_the_king/EQ229Q | 0.0024809267721627114 | 407.772815145657 | 164363.1 |
DRESDEN/mimikry/GJEhwA | 0.002489523503395638 | 2159.8333333333335 | 867568.9666666667 |
BASE/tictactoe_3d_small_2player/oOryKA | 0.0024983807837263877 | 2137.766666666667 | 855660.8666666667 |
BASE/pacman2p/4LEdQg | 0.0025226338696267944 | 1001.2 | 396886.76666666666 |
DRESDEN/oisters_farm/pTQMLg | 0.002525543063461001 | 9457.266666666666 | 3744646.7666666666 |
BASE/skirmishHoles/AUCxCA | 0.002572618014079056 | 327.93333333333334 | 127470.66666666667 |
DRESDEN/sat_test_20v_91c/dK7nVw | 0.00258923508244829 | 2921.133333333333 | 1128183.9 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 0.0026012345566001176 | 2841.6666666666665 | 1092430.0 |
DRESDEN/chinesecheckers6/yTbPDA | 0.002606919037337948 | 824.5666666666667 | 316299.3 |
BASE/incredible/8Qh-6Q | 0.0026082717217321503 | 4930.1 | 1890178.8333333333 |
BASE/withConviction/3Xm54A | 0.0026326724865243126 | 1679.5333333333333 | 637957.5666666667 |
DRESDEN/brawl/2kXtfQ | 0.0026530495334706537 | 406.62600406626007 | 153267.4 |
BASE/ticTacToeSerial/Amrwqw | 0.002657296770011941 | 1388.2 | 522410.6 |
BASE/chinook/XQh0IQ | 0.002671453182799251 | 682.6439118696044 | 255532.8 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 0.002677736265837739 | 2883.774415038997 | 1076944.9 |
BASE/brawl/6Ymo_Q | 0.0026836499802143335 | 397.5401639890674 | 148134.13333333333 |
DRESDEN/ghostmaze2p/HY0UwA | 0.002700807191651375 | 2597.0666666666666 | 961589.0666666667 |
DRESDEN/tictactoelargesuicide/6J4DeA | 0.0027022476804721514 | 3532.733333333333 | 1307331.4333333333 |
BASE/ticTacToeLarge/TZC0dg | 0.00270376706186666 | 3577.9 | 1323301.8666666667 |
BASE/ticTacToeLargeSuicide/727_8g | 0.0027337329613932116 | 3586.6666666666665 | 1312003.3 |
BASE/breakthroughSmall/HJ0tIA | 0.00274723830586944 | 2247.266666666667 | 818009.3666666667 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 0.002753020864559196 | 4676.1 | 1698534.1666666667 |
BASE/mummyMaze2p_2007/YGA3Vw | 0.002769659964941686 | 2221.733333333333 | 802168.2666666667 |
BASE/breakthroughSuicideSmall/XSbJog | 0.002784589129023001 | 2304.7 | 827662.5 |
DRESDEN/tictactoelarge/IwXcbg | 0.0028263036595415434 | 3583.7 | 1267981.2333333334 |
BASE/3pConnectFour/PqXOFQ | 0.002846204358954762 | 1946.4 | 683858.1333333333 |
BASE/breakthroughSmallHoles/bxclRw | 0.0028646321504237062 | 2240.266666666667 | 782043.4 |
BASE/lightsOnParallel/SC6enA | 0.0028843339281647783 | 4864.133333333333 | 1686397.4333333333 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 0.0028903115974089556 | 2289.0666666666666 | 791979.2 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 0.0028990633590452236 | 3519.9 | 1214150.7666666666 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 0.0029270597166601493 | 3653.1 | 1248044.2333333334 |
BASE/gt_attrition/kD_SCA | 0.002936940371803133 | 369.12102929902335 | 125682.16666666667 |
BASE/ghostMaze2p/W-NU-w | 0.0029393507679992743 | 2559.4 | 870736.5 |
DRESDEN/skirmish2/iPpWhQ | 0.002939775437911442 | 756.6747775074164 | 257392.03333333333 |
BASE/choicethroughalt/tt71Lg | 0.003003556902546454 | 1477.5 | 491916.76666666666 |
BASE/connectFourLarge/aU644A | 0.0030480032651608027 | 2671.0333333333333 | 876322.3333333334 |
DRESDEN/fizzbuzz/t1xHzQ | 0.003074382786248174 | 5021.6 | 1633368.5 |
BASE/pegEuro/5awwhg | 0.0031500566743125078 | 1454.6666666666667 | 461790.63333333336 |
BASE/qyshinsu/R08Lzw | 0.003151277234803237 | 812.7729075697476 | 257918.56666666668 |
DRESDEN/chinesecheckers3/QsCb2A | 0.0032117688023551912 | 1352.5333333333333 | 421117.9 |
BASE/factoringEasyTurtleBrain/lUj94Q | 0.003303550638057562 | 5437.966666666666 | 1646097.5666666667 |
DRESDEN/skirmish3/3LU8Nw | 0.003323149333786382 | 730.9 | 219941.96666666667 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 0.0033347036624900967 | 2563.8333333333335 | 768833.9333333333 |
DRESDEN/skirmish/RjGQYQ | 0.0033489402149653514 | 744.0 | 222159.83333333334 |
DRESDEN/connectfoursuicide/M9CNQg | 0.003376842872564623 | 3349.0333333333333 | 991764.6333333333 |
BASE/connectFourSimultaneous/7ITr3g | 0.0034088992501931656 | 1775.9333333333334 | 520969.73333333334 |
BASE/connectFourSuicide/c8p9Kw | 0.0034226790646119457 | 3427.9333333333334 | 1001535.1333333333 |
BASE/connectFour_9x6/B9TtMw | 0.0034276625073540717 | 3289.4333333333334 | 959672.4666666667 |
BASE/connectFour/WAIKTw | 0.003496615533871136 | 3411.9333333333334 | 975781.6666666666 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 0.0035307956061469484 | 12711.3 | 3600123.433333333 |
STANFORD/connectfour/VMpZkQ | 0.003538107912547013 | 3459.5 | 977782.5 |
DRESDEN/connectfour/5tc-Mg | 0.0035509051642306486 | 3454.6 | 972878.7 |
STANFORD/multiplebuttonsandlights/cK70Yg | 0.0035668135801527278 | 12847.766666666666 | 3602029.2 |
BASE/doubletoetictac/fu35bg | 0.003569930788215347 | 1759.8 | 492950.73333333334 |
DRESDEN/bomberman2p/x4h6jQ | 0.0035875764984760485 | 1669.2333333333333 | 465281.6 |
BASE/bomberman2p/4CClwA | 0.0036779977444748287 | 1721.0 | 467917.63333333336 |
BASE/skirmish/Y_psYQ | 0.0036819235441868095 | 411.6666666666667 | 111807.5 |
STANFORD/nineboardtictactoe/y28P-A | 0.0036874152359633603 | 1988.5 | 539266.6333333333 |
BASE/peg/fJHVWw | 0.0036905296326893125 | 1677.6333333333334 | 454577.93333333335 |
BASE/tictactoe_3player/GtM71g | 0.0036908161348363257 | 1804.8666666666666 | 489015.6 |
DRESDEN/peg/Vo31eg | 0.003701143560056381 | 1683.2333333333333 | 454787.36666666664 |
DRESDEN/peg_bugfixed/u_B7MA | 0.0037166758709340423 | 1698.2 | 456913.6666666667 |
BASE/double_tictactoe_dengji/zgaSbA | 0.0037321723654978925 | 2574.9666666666667 | 689937.7666666667 |
BASE/futoshiki4/BaCwSw | 0.003751412246170074 | 2776.4333333333334 | 740103.5 |
BASE/nineBoardTicTacToe/wRmqqA | 0.0037552188187587984 | 2003.2666666666667 | 533462.0333333333 |
DRESDEN/tictactoe_3player/ESLQQQ | 0.0037753428366120558 | 1747.8 | 462951.3333333333 |
BASE/checkers/rOC3Xg | 0.003850054009999216 | 923.3666666666667 | 239832.13333333333 |
BASE/skirmishFinal3/-Olhfw | 0.0038657322122056135 | 575.4474850838305 | 148858.6 |
BASE/strangeSkirmish/gc1zKA | 0.003902050378200592 | 413.7390840610626 | 106031.2 |
DRESDEN/blocker/S815zQ | 0.003913580265468829 | 3905.8333333333335 | 998020.5 |
BASE/chineseCheckers6/rREH3A | 0.003985136854425841 | 1530.3333333333333 | 384010.23333333334 |
BASE/skirmishFinal2/gdB62Q | 0.004007569039872453 | 550.9483017232759 | 137476.93333333332 |
BASE/blocker/dIWtxg | 0.004011348519219107 | 3980.766666666667 | 992376.1666666666 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 0.004037189334981332 | 9089.566666666668 | 2251459.1 |
BASE/duplicateStateLarge/dcjyuw | 0.00406178336304989 | 5200.833333333333 | 1280431.0 |
BASE/nineBoardTicTacToePie/B8LzeQ | 0.004063200582280518 | 1821.0 | 448168.86666666664 |
DRESDEN/lightson2x2/gBHuig | 0.004077046409428973 | 5941.0 | 1457182.3333333333 |
DRESDEN/ticblock/Z2yNWQ | 0.004112550121383669 | 2936.6 | 714058.1666666666 |
BASE/ticblock/T21C1g | 0.004113435177291576 | 2948.9333333333334 | 716902.8333333334 |
DRESDEN/doubletictactoe/lJzgmQ | 0.0041307549473776056 | 1773.8333333333333 | 429421.1 |
BASE/nonogram_10x10_1/0Xc62g | 0.004145265168853542 | 771.8152123191787 | 186192.0 |
BASE/skirmishFinal1/ecWTnQ | 0.004151457036328767 | 531.0 | 127906.9 |
DRESDEN/bunk_t/7-tPfA | 0.0041624259505728236 | 1765.1333333333334 | 424063.6 |
BASE/factoringGeorgeForman/HGRorQ | 0.004163014927588394 | 8571.6 | 2058988.5333333334 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 0.004166518227799356 | 4643.066666666667 | 1114375.7 |
BASE/doubletictactoe/HH1htg | 0.004179015312880818 | 1784.2666666666667 | 426958.63333333336 |
DRESDEN/snake_2009/zIYLVw | 0.004201953720022251 | 1400.9666666666667 | 333408.4 |
STANFORD/skirmish/w4V6Vw | 0.00420197847118409 | 559.2666666666667 | 133096.03333333333 |
BASE/checkersSmall/SYmq8w | 0.0042088517601138915 | 1285.6333333333334 | 305459.4 |
DRESDEN/skirmishfinal/hzq8ww | 0.0042145357997580785 | 559.4480183993867 | 132742.5 |
BASE/snake_2009/7l-qAQ | 0.004240474842992255 | 1379.1666666666667 | 325238.73333333334 |
DRESDEN/point_grab/r5DPmQ | 0.004271149023668399 | 7741.3 | 1812463.1 |
BASE/bunk_t/xbpfIA | 0.004287276008976924 | 1819.1666666666667 | 424317.6 |
BASE/cubicup_3player/e2yA_g | 0.004318736842105262 | 341.9 | 79166.66666666667 |
BASE/snake_2008/i6K26g | 0.004320371061353894 | 1633.912202926569 | 378187.93333333335 |
BASE/point_grab/V_osUg | 0.004333065892017034 | 7996.733333333334 | 1845513.9 |
DRESDEN/doubletoetictac/V89gKQ | 0.004336077238751991 | 1794.4 | 413830.26666666666 |
DRESDEN/snake_2008/E56l3A | 0.00436938853976441 | 1616.0 | 369845.8 |
DRESDEN/cubicup_3player/awDtsQ | 0.0043912926469574926 | 337.76666666666665 | 76917.36666666667 |
BASE/escortLatch/mX9BjQ | 0.0044344489829376684 | 2185.5 | 492845.9 |
DRESDEN/latenttictactoe/kITHKg | 0.004464114744811929 | 2832.5333333333333 | 634511.7666666667 |
BASE/snake_2008_tweaked/bX0NJQ | 0.004480656963214941 | 1674.4 | 373695.2 |
STANFORD/dualhunter/1rPZjQ | 0.004575637633193044 | 2034.1666666666667 | 444564.63333333336 |
DRESDEN/pawn_whopping/4ogBkg | 0.004656093670950818 | 3829.5 | 822470.5666666667 |
BASE/hex/T1MK8g | 0.004689998281923689 | 392.87380841277246 | 83768.43333333333 |
STANFORD/duikoshi/tpw1sw | 0.004695270362734557 | 2270.2 | 483507.8333333333 |
STANFORD/alquerquezero/uVgA_A | 0.004762351364664277 | 1597.8333333333333 | 335513.5333333333 |
STANFORD/hex/MTqWcw | 0.004770937563498624 | 401.5 | 84155.36666666667 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.004796016313449442 | 3730.4 | 777812.2 |
STANFORD/dualrainbow/G3OnRQ | 0.004809409137134183 | 4271.133333333333 | 888078.6 |
BASE/lightsOut/5P1ZBw | 0.00482402719296768 | 3073.7 | 637164.7333333333 |
DRESDEN/endgame/IJhh3Q | 0.004883290257297324 | 837.1333333333333 | 171428.13333333333 |
DRESDEN/lightsout/XgLpzQ | 0.004939567381383765 | 3068.4666666666667 | 621201.5 |
BASE/pawnWhopping/Ypc_6Q | 0.005001844258482221 | 3655.9333333333334 | 730917.0666666667 |
DRESDEN/hanoi7/51zz5Q | 0.00503108055076893 | 6199.466666666666 | 1232233.6333333333 |
BASE/chineseCheckers4/avfBcQ | 0.005095461607324926 | 1857.4333333333334 | 364527.0 |
BASE/checkersTiny/Lr48cg | 0.005101943646413696 | 2089.5 | 409549.8 |
BASE/skirmishNew/sibw2g | 0.005124750980938688 | 1024.1 | 199834.1 |
DRESDEN/hanoi7_bugfix/3gdnFw | 0.005135356984560844 | 6172.366666666667 | 1201935.2666666666 |
BASE/hanoi7_bugfix/3gdnFw | 0.005182374238119472 | 6309.3 | 1217453.5666666667 |
DRESDEN/minichess-evilconjuncts/th24Tw | 0.005196043151467831 | 1446.3333333333333 | 278352.8333333333 |
BASE/skirmishZeroSum/zh4hcw | 0.0052107057678734804 | 1021.5333333333333 | 196045.1 |
BASE/minichess-evilconjuncts/4OpQzw | 0.005213290569094733 | 1459.5333333333333 | 279963.93333333335 |
DRESDEN/lightsout2/LFtfyQ | 0.005319032693167167 | 3220.9 | 605542.4333333333 |
BASE/speedChess/bPnisA | 0.005417848019537939 | 1106.5333333333333 | 204238.53333333333 |
BASE/hexPie/48CH6Q | 0.005447207615439677 | 356.2762482501167 | 65405.3 |
DRESDEN/blockerparallel/dVQgSg | 0.00545020806847085 | 1075.03083230559 | 197245.83333333334 |
DRESDEN/Zhadu/9zpQ5w | 0.005473260765122972 | 553.6666666666666 | 101158.46666666666 |
BASE/pentago/86NgKw | 0.005553957455047115 | 2017.6333333333334 | 363278.5 |
BASE/blockerParallel/7-nDJA | 0.005612207621477587 | 1079.9973334222193 | 192437.16666666666 |
BASE/tpeg/QNs7Lw | 0.005628620840490104 | 2036.5333333333333 | 361817.4666666667 |
BASE/beatMania/qUHwvQ | 0.005661538256397654 | 5547.966666666666 | 979939.8 |
DRESDEN/nim3/sG_axA | 0.005665929939306599 | 3271.1 | 577328.0 |
DRESDEN/tpeg/h-Scbg | 0.005671882899654167 | 2061.233333333333 | 363412.5333333333 |
BASE/pentagoSuicide/SBgNhw | 0.005674145926417928 | 2002.4333333333334 | 352904.8 |
BASE/nim3/1OwUqw | 0.005680167426683901 | 3267.6 | 575264.7333333333 |
DRESDEN/backgammon/mqCW0Q | 0.005713961856543086 | 856.9666666666667 | 149977.66666666666 |
DRESDEN/pentago_2008/hLjVpQ | 0.00573583607114747 | 2042.4333333333334 | 356082.93333333335 |
DRESDEN/nim4/F5YAYg | 0.005747748324478495 | 3334.0 | 580053.2333333333 |
DRESDEN/Goldrush/VeWczQ | 0.005753813122851434 | 1978.1333333333334 | 343795.2 |
BASE/nim4/twk16w | 0.00578409923190209 | 3245.0333333333333 | 561026.5666666667 |
STANFORD/madness/UO_B3A | 0.0058626509795324955 | 741.7 | 126512.73333333334 |
DRESDEN/logistics/fPru1Q | 0.005899516569256242 | 2930.5333333333333 | 496741.26666666666 |
BASE/lightsOn/MsXu3A | 0.0059534981211126345 | 12330.933333333332 | 2071208.0666666667 |
BASE/duplicateStateMedium/U163eQ | 0.006024307338401886 | 10029.566666666668 | 1664849.7666666666 |
BASE/sheepAndWolf/g4THrg | 0.006032893947932971 | 929.4356854771507 | 154061.33333333334 |
STANFORD/bestbuttonsandlights/nm0wEA | 0.006044018327398977 | 12871.2 | 2129576.6 |
BASE/2pttc/unkkYA | 0.00613650947542532 | 4249.166666666667 | 692440.3333333334 |
DRESDEN/nim2/z5_exA | 0.006138578379674694 | 4130.466666666666 | 672870.2333333333 |
STANFORD/jointbuttonsandlights/qAKuIQ | 0.006236921333510527 | 8913.833333333334 | 1429204.0666666667 |
STANFORD/untwistycorridor/EDPPAQ | 0.006248121654386483 | 22869.666666666668 | 3660246.7 |
DRESDEN/sheep_and_wolf/enAIzQ | 0.006287108373086882 | 960.4666666666667 | 152767.63333333333 |
STANFORD/pentago/ZxzLmg | 0.006385504955531936 | 2343.0333333333333 | 366930.0 |
BASE/nim2/eF2Qqw | 0.006390585301531587 | 4183.0 | 654556.6333333333 |
BASE/chineseCheckers1/gqtwHw | 0.006485483249990594 | 10733.733333333334 | 1655039.8666666667 |
BASE/asteroidsSerial/id2QkA | 0.006505913334551535 | 5276.5 | 811031.4 |
BASE/coloredtrails/EZvr7g | 0.006557542989573964 | 2474.7 | 377382.2 |
BASE/chineseCheckers2/eCMR3Q | 0.006640525432465461 | 5654.2 | 851468.7666666667 |
DRESDEN/hanoi/RQ0jiA | 0.006810403757022599 | 7772.333333333333 | 1141244.1333333333 |
STANFORD/ttcc4/Cx9SGw | 0.006815177744497164 | 2325.5333333333333 | 341228.56666666665 |
BASE/ttcc4_2player/_aH_Mw | 0.006864284697289646 | 2495.733333333333 | 363582.43333333335 |
BASE/ttcc4_2player_alt/ZEJvYA | 0.006869855406274362 | 2683.366666666667 | 390600.1666666667 |
BASE/hanoi/iGLsJg | 0.006874514701820639 | 7915.0 | 1151354.0 |
BASE/ticTacToeNoVars/XT03NA | 0.006961505333562762 | 8638.9 | 1240952.8666666667 |
BASE/stateSpaceLarge/0Ge_CQ | 0.006990399289941859 | 7162.833333333333 | 1024667.2666666667 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 0.007071207082835006 | 2570.3333333333335 | 363492.86666666664 |
DRESDEN/statespacelarge/8-y5HQ | 0.007130765825001354 | 7120.3 | 998532.3 |
BASE/chineseCheckers3/-1rZdQ | 0.007149235602249484 | 3600.5666666666666 | 503629.6 |
BASE/untwistycomplex2/EDPPAQ | 0.0072602097323264895 | 22909.833333333332 | 3155533.2666666666 |
BASE/mineClearingSmall/frsbvw | 0.007268363438945035 | 2076.0333333333333 | 285625.9666666667 |
BASE/chickentoetictac/l57rfQ | 0.007315454107124793 | 5898.433333333333 | 806297.6333333333 |
BASE/tictactoe2/bhrDoQ | 0.007417288630813332 | 9300.766666666666 | 1253930.8 |
DRESDEN/brain_teaser_extended/ZDp94A | 0.007419612744469946 | 5941.2 | 800742.6 |
BASE/toetictac/mTThmg | 0.007438351927442636 | 8285.766666666666 | 1113925.0666666667 |
STANFORD/freeforall/Lfp40Q | 0.007442221290249774 | 3866.733333333333 | 519567.1 |
STANFORD/rainbow/_4qNSQ | 0.007474425095735672 | 11663.8 | 1560494.6 |
STANFORD/pilgrimage/ObRZnQ | 0.007561862843406258 | 2219.366666666667 | 293494.7 |
BASE/brain_teaser_extended/ZDp94A | 0.0075704779832299115 | 5964.5 | 787863.0666666667 |
BASE/checkLines/Vop7oQ | 0.007606503571719682 | 3179.0666666666666 | 417940.6 |
BASE/ttcc4_2player_small/Cv72TA | 0.007642557414689945 | 4221.0 | 552302.0333333333 |
DRESDEN/chickentoetictac/cxYaRQ | 0.007660306430898152 | 5753.166666666667 | 751036.1 |
BASE/2pffa/6oHijA | 0.007731891802245462 | 3829.133333333333 | 495238.86666666664 |
DRESDEN/racer/vk_ZBA | 0.007781701192271886 | 218.14909854367315 | 28033.6 |
STANFORD/checkersonabarrelnokings/Zrevdw | 0.00784559797517951 | 2293.9333333333334 | 292384.76666666666 |
BASE/racer/QQYQNw | 0.00790530300681306 | 216.49278357388087 | 27385.766666666666 |
DRESDEN/toetictac/mJtxCA | 0.007921381197478776 | 8307.333333333334 | 1048722.8333333333 |
BASE/2pffa_zerosum/o0_uZA | 0.007932412432265144 | 3937.766666666667 | 496414.76666666666 |
DRESDEN/nim1/M9BALA | 0.007999267517890466 | 5798.2 | 724841.3666666667 |
BASE/nim1/hin2Qw | 0.008013660544175615 | 5748.8 | 717375.0333333333 |
DRESDEN/javastrike/whONTQ | 0.008045072966512901 | 530.3156561447952 | 65918.06666666667 |
BASE/checkersBarrelNoKings/rnKNeg | 0.008183488698724112 | 2620.4 | 320205.73333333334 |
BASE/stateSpaceMedium/3bUoIw | 0.008207782590254125 | 11922.733333333334 | 1452613.2 |
BASE/englishDraughts/jFkQxg | 0.008208048234400094 | 2481.0333333333333 | 302268.36666666664 |
DRESDEN/statespacemedium/dVJZ_w | 0.008404797741381744 | 12236.933333333332 | 1455946.2 |
DRESDEN/stratego/Z2wovg | 0.009015258694985097 | 1483.6666666666667 | 164572.83333333334 |
DRESDEN/chickentictactoe/Ipbo-g | 0.009034971432533175 | 5421.2 | 600024.0333333333 |
BASE/chickentictactoe/DSlZCA | 0.009045865817788344 | 5674.433333333333 | 627295.7666666667 |
BASE/wargame01/_GZFZg | 0.009091880709597832 | 2174.9 | 239213.43333333332 |
DRESDEN/tictactoeparallel/yk_DSg | 0.00910171423389271 | 2836.9333333333334 | 311692.2 |
BASE/ticTacToeParallel/ymRGPw | 0.009148258361464422 | 2817.866666666667 | 308022.2 |
STANFORD/hunter/14dD-g | 0.009184023288774074 | 7920.733333333334 | 862447.0 |
BASE/checkersTorusNoKings/pwb6oQ | 0.009225447304815563 | 2643.0666666666666 | 286497.4 |
DRESDEN/eotcatcit/mQUxzA | 0.00929986605275034 | 7538.866666666667 | 810642.5 |
DRESDEN/babel/WdSW4A | 0.009366659870710595 | 2203.7 | 235270.63333333333 |
BASE/gt_ultimatum/GE-uOA | 0.00958380152918507 | 6236.133333333333 | 650695.1666666666 |
DRESDEN/tictactoe/BTTzPw | 0.009651433363307364 | 7756.1 | 803621.5666666667 |
BASE/tictactoe_orthogonal/WRzlVw | 0.009811830701722665 | 7479.5 | 762294.0333333333 |
STANFORD/tictactoe/ss1kyQ | 0.009878135105247035 | 7472.366666666667 | 756455.2 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 0.009945377950190513 | 7585.6 | 762726.1666666666 |
BASE/ticTacToe/JRFsaQ | 0.00998446814556758 | 7725.2 | 773721.7333333333 |
DRESDEN/4pttc/9pB9AQ | 0.010115734313356401 | 2498.0 | 246942.03333333333 |
DRESDEN/Runners/3bOCQw | 0.010146991434422381 | 8649.1 | 852380.7333333333 |
DRESDEN/gt_ultimatum/pAiiQw | 0.010231381426534495 | 6316.933333333333 | 617407.6666666666 |
DRESDEN/Thief_Police/CX18rA | 0.010287866603515128 | 9130.066666666668 | 887459.6666666666 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 0.010432308953512989 | 518.5629540758515 | 49707.4 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 0.01044286472847317 | 9133.2 | 874587.6 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 0.010465804644702141 | 514.4780247242678 | 49158.0 |
BASE/eotcatcit/AfZSzA | 0.010733048420309284 | 7425.1 | 691797.8666666667 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 0.010743051591389583 | 9037.233333333334 | 841216.6 |
STANFORD/trifecta/ss1kyQ | 0.010791664674352558 | 7613.4 | 705488.9333333333 |
BASE/biddingTicTacToe/8mESVw | 0.010858273718750443 | 4209.233333333334 | 387652.1666666667 |
BASE/blocks2player/wnTLOQ | 0.010886702375709326 | 6300.9 | 578770.3 |
BASE/sum15/QZ07Kg | 0.01089269713673848 | 7399.7 | 679326.7 |
DRESDEN/bidding-tictactoe/yW5vTA | 0.010909746688100286 | 4214.533333333334 | 386309.0 |
BASE/checkersTorus/2vm1EQ | 0.010919626359392464 | 2462.766666666667 | 225535.8 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 0.011000726640759661 | 3115.133333333333 | 283175.23333333334 |
BASE/chomp/-LcqYQ | 0.011078684789772671 | 4325.0 | 390389.3 |
DRESDEN/sum15/CsgWKg | 0.011110025645978116 | 7449.0 | 670475.5 |
BASE/circlesolitaire/azuQFQ | 0.011181856528182819 | 9818.133333333333 | 878041.4333333333 |
DRESDEN/blocks2player/3ev8nQ | 0.0111837671164113 | 6527.9 | 583694.2 |
DRESDEN/circlesolitaire/ruUilQ | 0.011383338223909417 | 9866.466666666667 | 866746.3333333334 |
DRESDEN/catch_me/ghGWrA | 0.011502837385014418 | 9139.4 | 794534.4 |
DRESDEN/chomp/-LcqYQ | 0.011570009992663844 | 4262.433333333333 | 368403.6 |
BASE/asteroids/BKCmPQ | 0.01159383474480128 | 10841.1 | 935074.5666666667 |
BASE/rubiksCube/9tNO9Q | 0.01162386983171124 | 1464.1666666666667 | 125962.06666666667 |
BASE/numbertictactoe/rvJ-iQ | 0.011709295028198386 | 5144.633333333333 | 439363.2 |
DRESDEN/smallest_4player/ADDROA | 0.011740520906269902 | 3708.4333333333334 | 315866.1666666667 |
DRESDEN/cube_2x2x2/fp-34Q | 0.011751882020527278 | 3287.5666666666666 | 279748.1 |
BASE/4pttc/AL1k2Q | 0.011792443991471729 | 2412.4333333333334 | 204574.5 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 0.011794125140427263 | 3229.6666666666665 | 273836.9 |
BASE/smallest_4player/ADDROA | 0.011825773459272958 | 3622.633333333333 | 306333.73333333334 |
BASE/gt_coordination/IVMOzA | 0.012001998188788287 | 12959.041525028328 | 1079740.3333333333 |
BASE/4pffa/Q3ADlg | 0.012588751641644734 | 2203.7 | 175053.1 |
DRESDEN/3pffa/0YrmQw | 0.012868280288847286 | 3207.633333333333 | 249266.66666666666 |
BASE/asteroidsParallel/WauZiA | 0.013121040754058663 | 6481.266666666666 | 493959.8 |
BASE/3pttc/0sol9g | 0.013517410849044216 | 3482.4333333333334 | 257625.76666666666 |
DRESDEN/3pttc/uwYBZw | 0.013601599048087285 | 3686.866666666667 | 271061.26666666666 |
BASE/solitaireChineseCheckers/-ET6gw | 0.013881578806111794 | 3232.633333333333 | 232872.16666666666 |
BASE/colonelBlottoVariant/X-n-KQ | 0.0140734883782668 | 5159.933333333333 | 366642.1 |
BASE/tron_10x10/7ZTgDg | 0.014251980160589275 | 5378.366666666667 | 377376.8 |
DRESDEN/roshambo2/jgSlkQ | 0.014404734062132368 | 10911.833333333334 | 757517.1666666666 |
BASE/roshambo2/KNPokQ | 0.014833172680355923 | 10994.0 | 741176.5666666667 |
BASE/3pffa/pR0dzA | 0.015194258724985312 | 3086.1666666666665 | 203114.0 |
BASE/ttcc4/Le0qjQ | 0.015294766305655474 | 2027.8 | 132581.3 |
BASE/tttcc4/8Bs2lg | 0.015392162586597768 | 2073.9666666666667 | 134741.73333333334 |
BASE/amazons_8x8/7SOsIw | 0.015409202381730614 | 1862.1666666666667 | 120847.7 |
DRESDEN/tttcc4/sAvtFg | 0.015862160883009374 | 2058.9333333333334 | 129801.56666666667 |
STANFORD/knightstourbig/TQUI2g | 0.01588729242307334 | 15345.2 | 965878.8666666667 |
DRESDEN/minichess/c7GMFw | 0.015942023891948504 | 4384.8 | 275046.63333333336 |
BASE/nonogram_5x5_1/qLKEZw | 0.016437802714203937 | 5826.2 | 354439.1 |
DRESDEN/crissrace/KWb9bw | 0.016600015694532587 | 1452.5666666666666 | 87503.93333333333 |
BASE/colonelBlottoVariant2/jruwGw | 0.01660357171970137 | 4080.4666666666667 | 245758.36666666667 |
BASE/crissrace/ERWGDA | 0.017272227478208165 | 1481.8333333333333 | 85792.83333333333 |
DRESDEN/frogs_and_toads/GjchhQ | 0.01739042744483877 | 2483.266666666667 | 142795.03333333333 |
DRESDEN/chinesecheckers4/-oVNYg | 0.017717118871138558 | 938.5 | 52971.36666666667 |
DRESDEN/tictictoe/LAUtwg | 0.017908073955429236 | 6099.033333333334 | 340574.5 |
BASE/ticTicToe/c1OobQ | 0.0180500136416767 | 6044.6 | 334880.63333333336 |
BASE/eotcitcit/V_9_bg | 0.018222129681659573 | 6061.9 | 332666.93333333335 |
BASE/knightsTourLarge/M8jgLA | 0.01835262476040781 | 16857.3 | 918522.5666666667 |
STANFORD/tictictoe/rpt_Dw | 0.01845838691134941 | 6119.433333333333 | 331525.9 |
DRESDEN/crisscross/GsY16g | 0.019973161897317 | 2296.133333333333 | 114960.93333333333 |
BASE/wargame03/klXI8w | 0.02015097526741107 | 3389.5666666666666 | 168208.56666666668 |
BASE/quarto/EwBMVQ | 0.020278543640755868 | 2281.0333333333333 | 112485.06666666667 |
BASE/quartoSuicide/-23jUg | 0.020944067606458366 | 2308.6666666666665 | 110230.1 |
BASE/knightfight/SJRkAg | 0.022460462977899432 | 5323.4 | 237012.03333333333 |
DRESDEN/quartosuicide/WIU1oQ | 0.022482136064598646 | 2348.4 | 104456.26666666666 |
DRESDEN/quarto/OQzRYQ | 0.02258111116557074 | 2334.266666666667 | 103372.53333333334 |
BASE/crisscross/ICagEg | 0.0226715263361879 | 2277.4666666666667 | 100454.93333333333 |
DRESDEN/knightfight/4_Ly4w | 0.023428200503636348 | 5486.033333333334 | 234163.66666666666 |
BASE/shmup/ssTNlg | 0.024012840931217142 | 4809.7 | 200297.0 |
BASE/gt_tinfoil/Q8DyKg | 0.024290267741306007 | 12041.166666666666 | 495719.8 |
DRESDEN/hanoi_6_disks/MeubgQ | 0.02456141243922852 | 32810.566666666666 | 1335858.3 |
BASE/amazonsSuicide_10x10/XIbQkg | 0.024791634838994416 | 1460.5 | 58911.0 |
BASE/hanoi_6_disks/MeubgQ | 0.02571503411927105 | 33276.63333333333 | 1294053.6333333333 |
BASE/amazons_10x10/Bun8dA | 0.027045707793285443 | 1483.0 | 54833.1 |
DRESDEN/satlike_20v_91c/yeuENQ | 0.02769840713662721 | 1491.1345153979469 | 53834.666666666664 |
DRESDEN/gt_prisoner/huCp4w | 0.027875519174634735 | 11533.146685331467 | 413737.4666666667 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 0.028807476778997466 | 1501.1 | 52108.0 |
DRESDEN/gt_chicken/CeuKtw | 0.02932538237672312 | 12341.696654671465 | 420853.73333333334 |
BASE/gt_chicken/gmepTQ | 0.029681770552785026 | 12591.2 | 424206.5 |
BASE/knightsTour/mvtVIg | 0.03009356048646242 | 39579.666666666664 | 1315220.4666666666 |
BASE/snakeParallel/RCVNtw | 0.030521373189245943 | 23666.266666666666 | 775399.8 |
BASE/gt_staghunt/xPjLRA | 0.030958285075958755 | 12814.197633727712 | 413918.2 |
DRESDEN/knightstour/cGISAA | 0.03127218402272461 | 39807.066666666666 | 1272922.5 |
BASE/gt_prisoner/klthDw | 0.03158095738678903 | 12745.833333333334 | 403592.36666666664 |
STANFORD/knightstour/cEwgNA | 0.03235218693335041 | 41522.666666666664 | 1283457.8 |
BASE/kalaha5x2x3/WviNsw | 0.03479340271752404 | 3575.633333333333 | 102767.56666666667 |
BASE/blobwars/0XT15Q | 0.03565470758412962 | 688.9333333333333 | 19322.366666666665 |
DRESDEN/blobwars/ZaMluQ | 0.035691134621298 | 704.2431918936036 | 19731.6 |
STANFORD/8puzzle/jNiGtw | 0.03969888207402989 | 8351.166666666666 | 210362.76666666666 |
BASE/eightPuzzle/vLrgFg | 0.040187795581046695 | 8292.833333333334 | 206352.03333333333 |
DRESDEN/8puzzle/8fKC2w | 0.041369719771781825 | 8326.7 | 201275.23333333334 |
STANFORD/eightpuzzle/W_aWbA | 0.04239081734903169 | 8426.966666666667 | 198792.26666666666 |
DRESDEN/pancakes6/SZXMyQ | 0.04393265805092289 | 11277.766666666666 | 256705.76666666666 |
BASE/pancakes/yUgbXw | 0.043958186118793895 | 11342.633333333333 | 258032.33333333334 |
DRESDEN/pancakes/hl9aiQ | 0.044456626255849986 | 11597.066666666668 | 260862.5 |
BASE/pancakes6/QZTdnw | 0.045134542386152464 | 11132.866666666667 | 246659.56666666668 |
BASE/wargame02/BkVqqQ | 0.047219114512540614 | 5564.166666666667 | 117837.16666666667 |
BASE/kalaha6x2x4/XS81Mg | 0.04800938862988261 | 3130.866666666667 | 65213.63333333333 |
DRESDEN/vacuumcleaner_random/_6AGDA | 0.05400438239641292 | 7239.366666666667 | 134051.46666666667 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 0.056236746980868446 | 88639.33333333333 | 1576181.7333333334 |
BASE/snakeAssemblit/UO4sdg | 0.056528426108307925 | 2304.5 | 40767.1 |
DRESDEN/guess/PhxGhg | 0.05734088250341739 | 3141.9 | 54793.36666666667 |
BASE/guess/SPpk1A | 0.05823913179159767 | 3172.6 | 54475.4 |
BASE/kitten_escapes_from_fire/uW-YiA | 0.0609733313782079 | 88999.06666666667 | 1459639.2333333334 |
STANFORD/knightstourmedium/x1wu8Q | 0.06270220002505851 | 80038.06666666667 | 1276479.4 |
BASE/amazonsTorus_10x10/Uxc08g | 0.06289224240601808 | 1240.9666666666667 | 19731.633333333335 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 0.08136279331131623 | 13711.7 | 168525.43333333332 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 0.08342800002855866 | 14022.166666666666 | 168075.06666666668 |
BASE/kalaha_2009/dRiN3g | 0.12594895270954903 | 3231.8333333333335 | 25659.866666666665 |
DRESDEN/kalaha_2009/gcC8uA | 0.12721017900268075 | 3255.3 | 25589.933333333334 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 0.12749779550471557 | 18478.4 | 144931.13333333333 |
DRESDEN/smallest/9kaGFw | 0.17352391436467257 | 2017.6666666666667 | 11627.6 |
BASE/survival/YVIjJA | 1.1879113372242762 | 2740503.1 | 2306992.966666667 |
BASE/snake2p/I3wWPQ | 1.1947763610194497 | 685032.6333333333 | 573356.3666666667 |
BASE/onestep/xi53wA | 1.295784745956931 | 2862079.2 | 2208761.3 |
STANFORD/buttonsandlights/eyhJpA | 1.3916095664323092 | 4111879.3333333335 | 2954765.066666667 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 1.453970910087125 | 2138468.2333333334 | 1470777.8666666667 |
STANFORD/sukoshi/4LYZZQ | 1.6039822573843439 | 1579867.4 | 984965.6333333333 |
DRESDEN/buttons/ADUaHw | 1.6708063010277792 | 4152374.2 | 2485251.7 |
BASE/haystack/UkweGA | 1.677886909592233 | 4842433.3 | 2886030.8 |
BASE/buttons/hTcUjw | 1.722178125671617 | 4164461.9 | 2418136.566666667 |
BASE/switches/tPUoCg | 1.761186809874994 | 2222213.033333333 | 1261770.2 |
BASE/troublemaker02/DI83KA | 1.9696662514893808 | 4134216.6 | 2098942.7 |
BASE/duplicateStateSmall/bCPAXw | 2.0201039603871522 | 4163505.033333333 | 2061035.0333333334 |
BASE/troublemaker01/s3tlEQ | 2.082052579813708 | 4572781.266666667 | 2196285.2 |
DRESDEN/troublemaker02/iZLVuA | 2.1127159081590388 | 4171950.6666666665 | 1974686.0666666667 |
DRESDEN/troublemaker01/C-lPWw | 2.1519047157773796 | 4690312.033333333 | 2179609.533333333 |
BASE/hodgepodge/9yjRkw | 2.1645752420415216 | 2898848.3 | 1339222.7 |
DRESDEN/statespacesmall/h-NqjA | 2.172283315147847 | 3930882.933333333 | 1809562.7333333334 |
DRESDEN/Travelers-Dilemma/PvZwYw | 2.181874918135098 | 9439.3 | 4326.233333333334 |
BASE/pearls/6k_mEQ | 2.188752636879968 | 6749998.733333333 | 3083947.7333333334 |
BASE/stateSpaceSmall/Q7osKA | 2.2057233812806314 | 4127810.3666666667 | 1871408.9 |
BASE/maze/cCX3qQ | 2.5031892978711836 | 5690580.666666667 | 2273332.1333333333 |
BASE/ruleDepthLinear/OUBJpQ | 2.6913970286677245 | 4536204.266666667 | 1685445.9666666666 |
STANFORD/tictactoe7/-bE9-A | 2.81024165896447 | 2101809.9 | 747910.7333333333 |
BASE/blocksWorld/SEdXLQ | 2.8701206995269755 | 4441459.833333333 | 1547481.9 |
DRESDEN/blocks/vg0DRw | 3.1069306967030266 | 4514996.866666666 | 1453201.6666666667 |
BASE/blocks/xIV5hQ | 3.1864954532434786 | 4504012.966666667 | 1413469.1333333333 |
STANFORD/tictactoe3/X7myng | 3.591704807779308 | 4030479.2 | 1122163.2666666666 |
BASE/gt_centipede/9fRMpw | 3.6567600558348525 | 3931990.7333333334 | 1075266.2666666666 |
BASE/gt_dollar/TGjqRw | 3.835554801521828 | 3767937.1666666665 | 982370.8333333334 |
DRESDEN/tictactoe-init1/3ltIBQ | 4.193139505703554 | 3704964.7 | 883577.7333333333 |
STANFORD/tictactoe5/WFRReg | 4.378329664485056 | 3852628.0 | 879931.0 |
STANFORD/threepuzzle/41ibjA | 4.413404619079755 | 4794918.733333333 | 1086444.4 |
BASE/tictactoe-init1/7M19vA | 4.465197241029447 | 3781275.3333333335 | 846832.7666666667 |
STANFORD/3puzzle/41ibjA | 4.822215584916416 | 5299378.8 | 1098951.0333333334 |
BASE/blocksWorldSerial/Wyg96Q | 6.14626168762568 | 4980061.8 | 810258.6666666666 |
BASE/coins_atomic/AA3SSw | 7.01812431615792 | 3209472.2333333334 | 457311.9666666667 |
DRESDEN/blocksworldparallel/2JfVaw | 7.321736096266673 | 3148914.2 | 430077.5333333333 |
BASE/blocksWorldParallel/RseaAQ | 7.453417318871989 | 3242479.2666666666 | 435032.56666666665 |
DRESDEN/coins/QwFP9w | 7.867896552486064 | 3311547.566666667 | 420893.63333333336 |
BASE/coins/QnGtnQ | 8.04011761286209 | 3429892.7333333334 | 426597.3333333333 |
BASE/minichess/8NQEiA | 12.886678725592226 | 3058929.4 | 237371.43333333332 |
BASE/ad_game_2x2/D0aWqg | 49.499887394648574 | 1765675.8333333333 | 35670.3 |
Games with errors:
Game | PALAMEDES_JAVA_ECLIPSE:0.6.1 error message | SANCHO_DEAD_RECKONING_PROPNET:1.61c error message |
BASE/reversiSuicide/9OxJlg | Test process timed out after 240 seconds | |
BASE/queens12ug/u6Bkmg | Test process timed out after 240 seconds | |
STANFORD/untwistycomplex/HTWEwg | Exception of type NullPointerException | |
BASE/queens16ug/gT-ylw | Test process timed out after 240 seconds | |
BASE/reversi/d8UMeA | Test process timed out after 240 seconds | |
BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | |
BASE/ruleDepthExponential/UamhHQ | Exception of type NullPointerException | |
DRESDEN/knightwar/7hhAqg | Test process timed out after 240 seconds | |
BASE/endgame/jYjfOA | Exception of type NullPointerException | |
STANFORD/triplesukoshi/Iu9mbA | Exception of type NullPointerException | |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | Exception of type NullPointerException | |
DRESDEN/hallway/0H4l-Q | Test process timed out after 240 seconds | |
DRESDEN/battlesnakes1509/-qZrLw | Test process timed out after 240 seconds | |
BASE/amazons/RKKZjw | Test process timed out after 240 seconds | |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Exception of type NullPointerException | |
BASE/sudoku/NTaNkw | Test process timed out after 240 seconds | |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | Test process timed out after 240 seconds | |
DRESDEN/laikLee_hex/ZeP3QQ | Exception of type StackOverflowError | |
BASE/knightazons/apnJBQ | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | |
DRESDEN/checkers-mustjump-torus/cVc3gA | Test process timed out after 240 seconds | |
BASE/slaughter/cOch8A | Test process timed out after 240 seconds | |
DRESDEN/small_dominion/yB5GJA | OutOfMemoryError: GC overhead limit exceeded | |
BASE/racer4/0vs7Ww | Exception of type NullPointerException | |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | Test process timed out after 240 seconds | |
DRESDEN/checkers-mustjump/HUr33w | Test process timed out after 240 seconds | |
DRESDEN/checkers/jIDMIg | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | |
DRESDEN/four_way_battle/xSOQXA | Exception of type NullPointerException | |
DRESDEN/knightazons/02I8BQ | Test process timed out after 240 seconds | |
DRESDEN/crossers3/xiPTxg | ArrayIndexOutOfBoundsException: 65536 | |
BASE/hallway/ckCJOw | Test process timed out after 240 seconds | |
BASE/crossers3/O0rORg | ArrayIndexOutOfBoundsException: 65536 | |
DRESDEN/amazons/dNB28A | Test process timed out after 240 seconds | |
BASE/battlebrushes/arCwyA | Exception of type NullPointerException | |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | |
DRESDEN/checkers-newgoals/IJOqXQ | Test process timed out after 240 seconds | |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | Test process timed out after 240 seconds | |
BASE/amazonsSuicide/dE1QEQ | Test process timed out after 240 seconds | |
DRESDEN/battlebrushes/QHXV4A | Exception of type NullPointerException | |
BASE/laikLee_hex/zbyscQ | Exception of type StackOverflowError | |
DRESDEN/cylinder-checkers/clOO3Q | Test process timed out after 240 seconds | |
DRESDEN/mummymaze1p/AekgaQ | OutOfMemoryError: Java heap space | |
BASE/gt_two_thirds_6p/867v3Q | Test process timed out after 240 seconds | |
BASE/mummymaze1p/PT_EXA | Exception of type NullPointerException | |
BASE/pancakes88/l2Xaig | Exception of type StackOverflowError | |
BASE/cylinder-checkers/hlldmw | Test process timed out after 240 seconds | |
DRESDEN/merrills/aYEzwA | OutOfMemoryError: GC overhead limit exceeded | |
BASE/merrills/pku8Tg | OutOfMemoryError: GC overhead limit exceeded | |
DRESDEN/pancakes88/aD3E7g | Test process timed out after 240 seconds | |
DRESDEN/god/2EDD5w | Test process timed out after 240 seconds | |
BASE/factoringImpossibleTurtleBrain/kcBhdw | Test process timed out after 240 seconds | |
DRESDEN/ggp-course2013_nicolai/uEin8g | OutOfMemoryError: GC overhead limit exceeded | |
BASE/god/qF06gw | Test process timed out after 240 seconds | |
DRESDEN/battlesnakes2011/93VtTw | Test process timed out after 240 seconds | |
DRESDEN/farmers/S_ASnw | Test process timed out after 240 seconds | |
BASE/chess_200/XsTpYA | Exception of type StackOverflowError | |
BASE/knightwar/DVGY4Q | Exception of type NullPointerException | |
BASE/four_way_battle/xSOQXA | Exception of type NullPointerException | |
BASE/amazonsTorus/soxT8g | Exception of type NullPointerException | OutOfMemoryError: GC overhead limit exceeded |
BASE/alexChess/LNo83g | Exception of type NullPointerException | Test process timed out after 240 seconds |