Game-by-game performance:
Game | Perf ratio | ALLOY_DIFF_PROP_NET:1 states per second | PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per second |
DRESDEN/Travelers-Dilemma/PvZwYw | 0.019657382205558238 | 177.12742908569714 | 9010.733333333334 |
BASE/pancakes88/l2Xaig | 0.021155749681838892 | 179.53333333333333 | 8486.266666666666 |
BASE/kalaha_2009/dRiN3g | 1.044776423592712 | 1708.7666666666667 | 1635.5333333333333 |
DRESDEN/kalaha_2009/gcC8uA | 1.1004811953906546 | 1738.1 | 1579.4 |
BASE/racer/QQYQNw | 1.7559735527091018 | 2682.366666666667 | 1527.5666666666666 |
DRESDEN/racer/vk_ZBA | 1.8261749144102084 | 2738.1666666666665 | 1499.4 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 2.4272227454931765 | 7387.333333333333 | 3043.5333333333333 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 2.4357475478054096 | 7375.2 | 3027.9 |
DRESDEN/smallest/9kaGFw | 2.447322057787174 | 3241.233333333333 | 1324.4 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 2.5151026392961877 | 8576.5 | 3410.0 |
DRESDEN/pancakes/hl9aiQ | 2.739193843855416 | 30802.6 | 11245.133333333333 |
DRESDEN/pancakes6/SZXMyQ | 2.7972499176665684 | 31992.8 | 11437.233333333334 |
BASE/pancakes6/QZTdnw | 2.849206372916598 | 31790.4 | 11157.633333333333 |
BASE/pancakes/yUgbXw | 3.029131397034402 | 32528.933333333334 | 10738.7 |
DRESDEN/vacuumcleaner_random/_6AGDA | 3.244525118316235 | 7358.366666666667 | 2267.9333333333334 |
BASE/kalaha6x2x4/XS81Mg | 4.584150050692801 | 7234.4 | 1578.1333333333334 |
DRESDEN/crossers3/xiPTxg | 4.782923228086795 | 3436.370908606093 | 718.4666666666667 |
BASE/crossers3/O0rORg | 5.052320269295504 | 3502.1 | 693.1666666666666 |
BASE/colonelBlotto/jip21A | 5.6873876263742735 | 6431.866666666667 | 1130.9 |
BASE/snakeAssemblit/UO4sdg | 6.245893168294047 | 2110.8333333333335 | 337.9554014866171 |
BASE/gt_staghunt/xPjLRA | 7.970151083325671 | 43345.666666666664 | 5438.5 |
BASE/knightfight/SJRkAg | 8.079250695855604 | 15770.966666666667 | 1952.0333333333333 |
DRESDEN/gt_prisoner/huCp4w | 8.197270677419802 | 39504.833333333336 | 4819.266666666666 |
BASE/gt_prisoner/klthDw | 8.51163749926345 | 43335.3 | 5091.3 |
BASE/gt_chicken/gmepTQ | 9.03547689423978 | 41777.03333333333 | 4623.666666666667 |
BASE/kalaha5x2x3/WviNsw | 9.315509096391596 | 15446.666666666666 | 1658.1666666666667 |
BASE/eightPuzzle/vLrgFg | 9.330360929993983 | 31529.466666666667 | 3379.233333333333 |
DRESDEN/knightfight/4_Ly4w | 9.341934593624948 | 18053.6 | 1932.5333333333333 |
BASE/shmup/ssTNlg | 9.433453010265756 | 17428.933333333334 | 1847.5666666666666 |
DRESDEN/gt_chicken/CeuKtw | 9.700833394253966 | 44232.566666666666 | 4559.666666666667 |
DRESDEN/8puzzle/8fKC2w | 10.322092467807016 | 33853.36666666667 | 3279.7 |
DRESDEN/chinesecheckers4/-oVNYg | 10.632266969795387 | 4364.9 | 410.53333333333336 |
BASE/colonelBlottoVariant2/jruwGw | 10.925562709560143 | 47682.433333333334 | 4364.3 |
STANFORD/8puzzle/jNiGtw | 11.16019422335686 | 37157.86666666667 | 3329.5 |
STANFORD/eightpuzzle/W_aWbA | 11.528470223147751 | 37645.066666666666 | 3265.4 |
DRESDEN/gt_ultimatum/pAiiQw | 11.72429010800372 | 54639.1 | 4660.333333333333 |
DRESDEN/Runners/3bOCQw | 12.41933307091042 | 139873.56666666668 | 11262.566666666668 |
BASE/colonelBlottoVariant/X-n-KQ | 12.57981493173656 | 61765.63333333333 | 4909.9 |
BASE/coloredtrails/EZvr7g | 13.262313917474273 | 26548.5 | 2001.8 |
BASE/gt_tinfoil/Q8DyKg | 13.38127814862474 | 88737.5 | 6631.466666666666 |
BASE/racer4/0vs7Ww | 13.749969668721493 | 9144.8 | 665.0778307389754 |
DRESDEN/chinesecheckers6/yTbPDA | 13.8064496124031 | 7420.966666666666 | 537.5 |
BASE/gt_ultimatum/GE-uOA | 14.32558640977067 | 62009.73333333333 | 4328.6 |
DRESDEN/knightstour/cGISAA | 15.29458094943862 | 130365.4 | 8523.633333333333 |
DRESDEN/roshambo2/jgSlkQ | 16.803916910186658 | 141458.73333333334 | 8418.2 |
BASE/roshambo2/KNPokQ | 17.222606880988106 | 141949.3 | 8242.033333333333 |
STANFORD/knightstourbig/TQUI2g | 17.76766664367247 | 145954.86666666667 | 8214.633333333333 |
DRESDEN/chinesecheckers3/QsCb2A | 18.55867216838982 | 13343.066666666668 | 718.9666666666667 |
BASE/nim3/1OwUqw | 20.751718839724983 | 89139.7 | 4295.533333333334 |
BASE/gt_centipede/9fRMpw | 21.182285353930652 | 157870.86666666667 | 7452.966666666666 |
DRESDEN/amazons/dNB28A | 21.58732081911263 | 209.26666666666668 | 9.693961952026468 |
BASE/knightsTourLarge/M8jgLA | 21.604108812920938 | 180489.36666666667 | 8354.4 |
BASE/wargame02/BkVqqQ | 21.684174531288047 | 5936.533333333334 | 273.77262273772624 |
DRESDEN/nim3/sG_axA | 21.785264923808192 | 93498.0 | 4291.8 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 21.810470459308252 | 37814.26666666667 | 1733.7666666666667 |
BASE/gt_dollar/TGjqRw | 21.83584644395427 | 104603.16666666667 | 4790.433333333333 |
BASE/tron_10x10/7ZTgDg | 22.022840160442254 | 35322.433333333334 | 1603.9 |
BASE/ruleDepthLinear/OUBJpQ | 22.127447161719402 | 354110.7 | 16003.233333333334 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 22.715613311225084 | 39272.26666666667 | 1728.8666666666666 |
BASE/knightazons/apnJBQ | 23.993485342019547 | 3928.5333333333333 | 163.73333333333332 |
DRESDEN/nim4/F5YAYg | 24.125066025464147 | 102004.8 | 4228.166666666667 |
BASE/nim4/twk16w | 24.311434858605402 | 103851.96666666666 | 4271.733333333334 |
DRESDEN/knightazons/02I8BQ | 24.651282051282053 | 4005.8333333333335 | 162.5 |
DRESDEN/blocks2player/3ev8nQ | 25.291514749751407 | 137348.1 | 5430.6 |
BASE/blocks2player/wnTLOQ | 25.828784211506235 | 138726.4 | 5371.0 |
DRESDEN/crisscross/GsY16g | 26.313446777403243 | 21597.2 | 820.7666666666667 |
DRESDEN/chinesecheckers2/06E6-Q | 26.377299199731848 | 20984.9 | 795.5666666666667 |
DRESDEN/quartosuicide/WIU1oQ | 26.551732717256083 | 24901.1 | 937.8333333333334 |
BASE/crisscross/ICagEg | 26.710235897435897 | 21702.066666666666 | 812.5 |
BASE/guess/SPpk1A | 27.9762265903111 | 30125.733333333334 | 1076.8333333333333 |
DRESDEN/blobwars/ZaMluQ | 28.054402113898092 | 5927.5 | 211.28591427238183 |
DRESDEN/quarto/OQzRYQ | 28.174244867247126 | 26210.5 | 930.3 |
BASE/blobwars/0XT15Q | 29.338889914886785 | 6089.166666666667 | 207.5459120754591 |
BASE/nim2/eF2Qqw | 30.407754988334435 | 174643.9 | 5743.4 |
DRESDEN/guess/PhxGhg | 31.07311494962954 | 34200.933333333334 | 1100.659956002933 |
BASE/quartoSuicide/-23jUg | 31.405573969136466 | 29373.633333333335 | 935.3 |
BASE/quarto/EwBMVQ | 31.647283607916656 | 29262.133333333335 | 924.6333333333333 |
DRESDEN/nim2/z5_exA | 31.68366548042705 | 178062.2 | 5620.0 |
BASE/pacman2p/4LEdQg | 31.78804948670703 | 20127.133333333335 | 633.1666666666666 |
DRESDEN/endgame/IJhh3Q | 32.39400219621442 | 7472.3 | 230.66924410078656 |
DRESDEN/skirmish/RjGQYQ | 32.614786576271186 | 6413.6 | 196.64700196647001 |
BASE/ruleDepthExponential/UamhHQ | 32.98335817828154 | 305.22315922802574 | 9.253853339560953 |
DRESDEN/skirmish3/3LU8Nw | 32.99414577181208 | 6554.4 | 198.65342310512634 |
STANFORD/breakthrough/d5j0cQ | 33.43591855323748 | 15812.433333333332 | 472.91756941435284 |
BASE/gt_coordination/IVMOzA | 33.58302821828359 | 192005.36666666667 | 5717.333333333333 |
DRESDEN/skirmish2/iPpWhQ | 34.398608446479315 | 7261.966666666666 | 211.1122221111222 |
DRESDEN/bidding-tictactoe/yW5vTA | 34.43808926270095 | 67696.1 | 1965.7333333333333 |
DRESDEN/pacman3p/rBnk8Q | 35.04956057999068 | 21727.666666666668 | 619.9126695776807 |
BASE/smallest_4player/ADDROA | 35.11262764797251 | 70831.53333333334 | 2017.2666666666667 |
BASE/hodgepodge/9yjRkw | 35.91465792752289 | 132604.1 | 3692.2 |
BASE/asteroids/BKCmPQ | 36.12912671661515 | 206871.76666666666 | 5725.9 |
STANFORD/knightstourmedium/x1wu8Q | 36.15275652002607 | 318091.23333333334 | 8798.533333333333 |
BASE/biddingTicTacToe/8mESVw | 36.65623450987095 | 71485.76666666666 | 1950.1666666666667 |
BASE/wargame03/klXI8w | 36.80619346791678 | 14524.466666666667 | 394.62017932735574 |
STANFORD/3puzzle/41ibjA | 36.95045194754248 | 226061.63333333333 | 6117.966666666666 |
STANFORD/knightstour/cEwgNA | 37.365296328017095 | 322843.63333333336 | 8640.2 |
BASE/knightsTour/mvtVIg | 37.42471112913035 | 307693.5 | 8221.666666666666 |
DRESDEN/nim1/M9BALA | 37.74039985074547 | 232630.56666666668 | 6163.966666666666 |
DRESDEN/logistics/fPru1Q | 37.741114773748876 | 41980.7 | 1112.3333333333333 |
STANFORD/threepuzzle/41ibjA | 38.45576039512979 | 223197.23333333334 | 5804.0 |
BASE/speedChess/bPnisA | 38.54850199818347 | 6601.633333333333 | 171.25524965002333 |
BASE/skirmishNew/sibw2g | 38.799033018936896 | 5895.766666666666 | 151.95653623091795 |
DRESDEN/javastrike/whONTQ | 38.80545730166751 | 7679.6 | 197.9 |
DRESDEN/smallest_4player/ADDROA | 39.25902820769243 | 82440.03333333334 | 2099.9 |
BASE/nim1/hin2Qw | 39.39402020676691 | 223547.93333333332 | 5674.666666666667 |
BASE/onestep/xi53wA | 39.588894327856416 | 838404.3666666667 | 21177.766666666666 |
BASE/asteroidsParallel/WauZiA | 39.97570107269973 | 108196.9 | 2706.5666666666666 |
DRESDEN/hanoi7_bugfix/3gdnFw | 40.614320465518645 | 183098.83333333334 | 4508.233333333334 |
BASE/blocks/xIV5hQ | 40.95798226976335 | 260883.23333333334 | 6369.533333333334 |
BASE/wargame01/_GZFZg | 40.98472717486376 | 20305.2 | 495.43333333333334 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 41.41136043101583 | 184983.16666666666 | 4466.966666666666 |
BASE/endgame/jYjfOA | 41.70871616588031 | 11197.4 | 268.46666666666664 |
BASE/skirmishZeroSum/zh4hcw | 41.74492522915757 | 6374.566666666667 | 152.70279277477837 |
DRESDEN/knightthrough/J7Fc_Q | 42.095094978292614 | 23377.433333333334 | 555.348155061498 |
STANFORD/buttonsandlights/eyhJpA | 42.27508760678867 | 922886.3 | 21830.5 |
BASE/point_grab/V_osUg | 42.70359663029624 | 412119.6 | 9650.7 |
DRESDEN/point_grab/r5DPmQ | 42.76437110868755 | 413029.7 | 9658.266666666666 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 43.06310097055338 | 191381.03333333333 | 4444.2 |
BASE/hanoi7_bugfix/3gdnFw | 43.08629187325489 | 194946.8 | 4524.566666666667 |
BASE/maze/cCX3qQ | 43.579977373555494 | 490504.26666666666 | 11255.266666666666 |
BASE/ttcc4/Le0qjQ | 43.71459699614689 | 18530.0 | 423.8858704709843 |
DRESDEN/tttcc4/sAvtFg | 43.87621340374311 | 18833.133333333335 | 429.23333333333335 |
DRESDEN/catch_me/ghGWrA | 43.920151979264844 | 198823.6 | 4526.933333333333 |
BASE/minichess/8NQEiA | 44.36378854953313 | 39751.433333333334 | 896.0333333333333 |
DRESDEN/fizzbuzz/t1xHzQ | 44.37673064820642 | 526509.2 | 11864.533333333333 |
BASE/knightThrough/gcwFjA | 44.545912619077335 | 23795.633333333335 | 534.1821939268691 |
BASE/tttcc4/8Bs2lg | 44.64381471347041 | 19034.0 | 426.35245491816937 |
DRESDEN/frogs_and_toads/GjchhQ | 44.9720605179125 | 21437.466666666667 | 476.684110529649 |
BASE/hex/T1MK8g | 45.05399008553655 | 7725.0 | 171.46095130162328 |
BASE/4pffa/Q3ADlg | 45.16901733812729 | 32662.133333333335 | 723.1092296923435 |
BASE/survival/YVIjJA | 45.32352570873745 | 707976.1333333333 | 15620.5 |
BASE/haystack/UkweGA | 45.33385347612971 | 850260.6 | 18755.533333333333 |
BASE/blocksWorld/SEdXLQ | 45.34337464448494 | 292816.93333333335 | 6457.766666666666 |
DRESDEN/aipsrovers01/qS47Mw | 45.590845277917396 | 87681.83333333333 | 1923.2333333333333 |
DRESDEN/Thief_Police/CX18rA | 45.755294636542686 | 200562.23333333334 | 4383.366666666667 |
BASE/aipsrovers01/4C4jsw | 46.01748049443324 | 87486.9 | 1901.1666666666667 |
DRESDEN/blocksworldparallel/2JfVaw | 46.09094770052178 | 75967.1 | 1648.2 |
DRESDEN/blocks/vg0DRw | 46.109239679081874 | 289274.0 | 6273.666666666667 |
BASE/crissrace/ERWGDA | 46.27439769068502 | 27786.233333333334 | 600.4666666666667 |
STANFORD/hunter/14dD-g | 46.353224998862025 | 101833.4 | 2196.9 |
BASE/switches/tPUoCg | 46.91156050827755 | 390100.9 | 8315.666666666666 |
STANFORD/hex/MTqWcw | 47.148017507302825 | 8069.9 | 171.16096130128994 |
DRESDEN/hanoi/RQ0jiA | 47.16797612522078 | 232335.3 | 4925.7 |
DRESDEN/crissrace/KWb9bw | 47.17689362169283 | 28648.0 | 607.2464251191627 |
DRESDEN/cube_2x2x2/fp-34Q | 47.38133298955782 | 61256.166666666664 | 1292.8333333333333 |
DRESDEN/troublemaker02/iZLVuA | 47.43805201109183 | 566824.6333333333 | 11948.733333333334 |
BASE/sheepAndWolf/g4THrg | 47.49259493670886 | 25012.766666666666 | 526.6666666666666 |
DRESDEN/chinesecheckers1/Y-ftaA | 47.9260268509903 | 48073.0 | 1003.0666666666667 |
DRESDEN/sheep_and_wolf/enAIzQ | 48.17779648940994 | 24793.9 | 514.6333333333333 |
DRESDEN/3pffa/0YrmQw | 48.57431160683164 | 46453.23333333333 | 956.3333333333334 |
BASE/hexPie/48CH6Q | 48.89751884000789 | 8261.5 | 168.95540297313514 |
BASE/chinook/XQh0IQ | 49.07829307000529 | 18554.866666666665 | 378.06666666666666 |
DRESDEN/ghostmaze2p/HY0UwA | 49.12021279954535 | 103718.96666666666 | 2111.5333333333333 |
BASE/3pffa/pR0dzA | 49.39754195225714 | 41800.2 | 846.2 |
BASE/ghostMaze2p/W-NU-w | 49.64182673275166 | 104497.7 | 2105.0333333333333 |
STANFORD/chinook/osFbPA | 49.88538822409398 | 17174.966666666667 | 344.2885237158761 |
DRESDEN/tictictoe/LAUtwg | 50.057529798147534 | 90433.93333333333 | 1806.6 |
BASE/asteroidsSerial/id2QkA | 50.29459480044683 | 132066.9 | 2625.866666666667 |
BASE/incredible/8Qh-6Q | 50.42979813416 | 115499.36666666667 | 2290.3 |
DRESDEN/circlesolitaire/ruUilQ | 50.527407056160186 | 220216.96666666667 | 4358.366666666667 |
BASE/circlesolitaire/azuQFQ | 50.735183092311125 | 219972.53333333333 | 4335.7 |
BASE/solitaireChineseCheckers/-ET6gw | 50.79943576958404 | 51619.0 | 1016.1333333333333 |
DRESDEN/hanoi7/51zz5Q | 50.85921237259648 | 219891.5 | 4323.533333333334 |
DRESDEN/hanoi_6_disks/MeubgQ | 51.30099744019772 | 193729.66666666666 | 3776.3333333333335 |
BASE/hanoi_6_disks/MeubgQ | 51.68338418862691 | 186318.6 | 3605.0 |
DRESDEN/chomp/-LcqYQ | 52.00507262514538 | 70056.03333333334 | 1347.1 |
BASE/beatMania/qUHwvQ | 52.221794360046026 | 222407.4 | 4258.9 |
BASE/troublemaker01/s3tlEQ | 52.586944662540404 | 687633.9 | 13076.133333333333 |
DRESDEN/buttons/ADUaHw | 52.79938095625967 | 561788.9333333333 | 10640.066666666668 |
BASE/buttons/hTcUjw | 52.86172363956655 | 568147.2333333333 | 10747.8 |
DRESDEN/minichess/c7GMFw | 52.96617973959987 | 44477.46666666667 | 839.7333333333333 |
BASE/choicethroughalt/tt71Lg | 53.469461244019136 | 16388.533333333333 | 306.5026830650268 |
DRESDEN/toetictac/mJtxCA | 53.9152793465272 | 219575.36666666667 | 4072.6 |
BASE/pacman3p/wW7UVQ | 53.960896469242364 | 34590.73333333333 | 641.0333333333333 |
DRESDEN/troublemaker01/C-lPWw | 54.15972269384673 | 664563.2666666667 | 12270.433333333332 |
BASE/toetictac/mTThmg | 54.27944390580579 | 220204.46666666667 | 4056.866666666667 |
BASE/3pttc/0sol9g | 54.49329049315109 | 40797.76666666667 | 748.6750441651945 |
BASE/troublemaker02/DI83KA | 55.33821257862034 | 581569.5666666667 | 10509.366666666667 |
DRESDEN/3pttc/uwYBZw | 55.3860295381696 | 47995.933333333334 | 866.5711142961901 |
BASE/hanoi/iGLsJg | 55.817674959909596 | 274978.3333333333 | 4926.366666666667 |
DRESDEN/battlebrushes/QHXV4A | 55.97339696812355 | 1125.3166244500733 | 20.10449044375372 |
DRESDEN/sum15/CsgWKg | 55.99110846953938 | 157008.4 | 2804.1666666666665 |
BASE/sum15/QZ07Kg | 56.12939782499032 | 159484.2 | 2841.366666666667 |
DRESDEN/chickentoetictac/cxYaRQ | 56.84261111684025 | 183734.26666666666 | 3232.3333333333335 |
BASE/eotcitcit/V_9_bg | 57.42481635378793 | 103188.56666666667 | 1796.9333333333334 |
DRESDEN/latenttictactoe/kITHKg | 57.86699461881337 | 83519.43333333333 | 1443.3 |
BASE/checkers-mustjump-torus/uSApKQ | 58.17639169351951 | 5415.5 | 93.08758832155712 |
STANFORD/tictictoe/rpt_Dw | 58.27675041448795 | 106621.2 | 1829.5666666666666 |
BASE/ticTacToeParallel/ymRGPw | 58.39219962106318 | 54446.833333333336 | 932.4333333333333 |
BASE/ticTicToe/c1OobQ | 58.86199095022624 | 106669.7 | 1812.2 |
BASE/hallway/ckCJOw | 58.940370292656 | 10671.966666666667 | 181.06378724255148 |
DRESDEN/hallway/0H4l-Q | 59.13372943113225 | 10774.7 | 182.20903879482736 |
STANFORD/dualhunter/1rPZjQ | 59.20847607275296 | 55882.933333333334 | 943.8333333333334 |
STANFORD/ttcc4/Cx9SGw | 59.22057264312162 | 27722.2 | 468.1177294090197 |
BASE/chomp/-LcqYQ | 59.9685754709956 | 80531.8 | 1342.9 |
BASE/chickentoetictac/l57rfQ | 60.10470237845547 | 191044.8 | 3178.5333333333333 |
STANFORD/alquerquezero/uVgA_A | 60.10782091520055 | 31202.933333333334 | 519.1160294656845 |
DRESDEN/tictactoeparallel/yk_DSg | 60.52653463179779 | 55315.2 | 913.9 |
BASE/2pffa_zerosum/o0_uZA | 61.05109719103337 | 51655.333333333336 | 846.1 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 61.47858588807169 | 322932.6666666667 | 5252.766666666666 |
DRESDEN/max_knights/hCipiA | 62.626096782770546 | 31404.9 | 501.46666666666664 |
BASE/2pffa/6oHijA | 63.03982950678749 | 58666.96666666667 | 930.6333333333333 |
BASE/untwistycomplex2/EDPPAQ | 63.08181256681905 | 847695.5 | 13438.033333333333 |
BASE/chess_200/XsTpYA | 63.334042198801406 | 3405.0333333333333 | 53.763082461169255 |
BASE/max_knights/2fq3Ag | 63.34200398142004 | 31818.8 | 502.3333333333333 |
STANFORD/bestbuttonsandlights/nm0wEA | 63.36766920946504 | 434723.3333333333 | 6860.333333333333 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 63.954035874439455 | 24720.366666666665 | 386.53333333333336 |
BASE/amazonsSuicide_10x10/XIbQkg | 64.18949598910247 | 14136.666666666666 | 220.23333333333332 |
BASE/blocksWorldSerial/Wyg96Q | 64.21902763203917 | 183602.2 | 2859.0 |
STANFORD/untwistycorridor/EDPPAQ | 64.24015828701688 | 836042.8333333334 | 13014.333333333334 |
BASE/breakthroughWalls/vOZaYA | 65.30756139483799 | 25105.566666666666 | 384.4205193160228 |
BASE/pearls/6k_mEQ | 65.78154450119834 | 808770.9333333333 | 12294.8 |
BASE/rubiksCube/9tNO9Q | 66.01141611058965 | 25785.4 | 390.6203126562448 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 67.28503617454417 | 25338.7 | 376.58744708509715 |
BASE/checkers/rOC3Xg | 68.42005367632267 | 15115.766666666666 | 220.9259691343622 |
BASE/tictactoe_orthogonal/WRzlVw | 68.61878742941882 | 200515.53333333333 | 2922.1666666666665 |
DRESDEN/Goldrush/VeWczQ | 68.96637734857273 | 53500.03333333333 | 775.740808639712 |
DRESDEN/breakthrough/z4hK7Q | 69.25448076084685 | 25768.733333333334 | 372.08759708009734 |
BASE/4pttc/AL1k2Q | 69.64489341033693 | 43612.5 | 626.2124595846805 |
BASE/checkersTorus/2vm1EQ | 69.7497772442712 | 26242.766666666666 | 376.24158389440703 |
BASE/breakthroughSuicide/wZDpIg | 69.81481803352156 | 25962.4 | 371.8752083194454 |
BASE/breakthrough/TGxk-g | 69.83265517870495 | 25941.966666666667 | 371.48761707943066 |
BASE/amazons_10x10/Bun8dA | 70.10157323965176 | 15298.5 | 218.23333333333332 |
DRESDEN/4pttc/9pB9AQ | 70.91879713513258 | 49839.36666666667 | 702.7666666666667 |
BASE/checkersTorusNoKings/pwb6oQ | 71.1025150905894 | 30999.966666666667 | 435.98973435989734 |
BASE/ttcc4_2player/_aH_Mw | 71.6161658093092 | 30718.9 | 428.93807079528034 |
BASE/escortLatch/mX9BjQ | 71.63889714677066 | 34285.23333333333 | 478.58404719842673 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 72.30958043145914 | 85137.3 | 1177.4 |
BASE/amazonsTorus_10x10/Uxc08g | 72.67151389249545 | 9328.6 | 128.36666666666667 |
BASE/2pttc/unkkYA | 72.89377784850414 | 61075.26666666667 | 837.8666666666667 |
STANFORD/freeforall/Lfp40Q | 73.39888435264157 | 60527.166666666664 | 824.6333333333333 |
BASE/breakthroughHoles/nZk0Sg | 73.51837880515835 | 27934.533333333333 | 379.96666666666664 |
BASE/checkersBarrelNoKings/rnKNeg | 73.78489801822653 | 34005.0 | 460.8666666666667 |
BASE/amazons_8x8/7SOsIw | 73.96181782490974 | 21851.066666666666 | 295.4371229543712 |
BASE/ttcc4_2player_alt/ZEJvYA | 74.10026729252233 | 37887.46666666667 | 511.3 |
DRESDEN/mimikry/GJEhwA | 74.6595344673232 | 27798.233333333334 | 372.3333333333333 |
BASE/numbertictactoe/rvJ-iQ | 75.52558381674848 | 101551.7 | 1344.6 |
BASE/double_tictactoe_dengji/zgaSbA | 75.55974858771438 | 98978.23333333334 | 1309.9333333333334 |
BASE/snake_2008/i6K26g | 76.40589139292588 | 38377.4 | 502.28325722475915 |
BASE/chineseCheckers3/-1rZdQ | 76.74112565798353 | 113715.0 | 1481.8 |
BASE/racetrackcorridor/_RkdUg | 77.16128890451908 | 58508.833333333336 | 758.2666666666667 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 77.23695851478341 | 224656.56666666668 | 2908.6666666666665 |
BASE/mummyMaze2p_2007/YGA3Vw | 79.58049574712966 | 94496.53333333334 | 1187.4333333333334 |
DRESDEN/snake_2009/zIYLVw | 79.7982582468712 | 35632.86666666667 | 446.536897540164 |
BASE/brawl/6Ymo_Q | 79.81669779185869 | 4617.033333333334 | 57.845456665889174 |
STANFORD/jointbuttonsandlights/qAKuIQ | 80.31239291833239 | 328129.6666666667 | 4085.6666666666665 |
DRESDEN/racetrackcorridor/O0DoTA | 80.40402312138728 | 57957.9 | 720.8333333333334 |
DRESDEN/brawl/2kXtfQ | 80.58245614035087 | 4593.2 | 57.0 |
BASE/blockerSerial/3eqDuw | 80.80194374419531 | 81200.56666666667 | 1004.9333333333333 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 81.08281395876966 | 107113.1 | 1321.0333333333333 |
BASE/snakeParallel/RCVNtw | 81.08866284334961 | 167215.46666666667 | 2062.131262291257 |
BASE/breakthroughSuicideSmall/XSbJog | 81.1069934602015 | 45887.63333333333 | 565.7666666666667 |
DRESDEN/snake_2008/E56l3A | 81.15145580238578 | 40060.433333333334 | 493.65021165961133 |
BASE/cittaceot/fDxhXg | 81.6029906624565 | 42209.1 | 517.249425019166 |
BASE/breakthroughSmall/HJ0tIA | 81.69634417832582 | 45933.6 | 562.2479250691644 |
STANFORD/trifecta/ss1kyQ | 82.10730482781575 | 197339.43333333332 | 2403.4333333333334 |
BASE/bomberman2p/4CClwA | 82.13056379821958 | 73808.0 | 898.6666666666666 |
BASE/snake_2008_tweaked/bX0NJQ | 82.16123457083928 | 40276.833333333336 | 490.21699276690777 |
DRESDEN/tpeg/h-Scbg | 83.00150486740517 | 38460.333333333336 | 463.3691087260849 |
DRESDEN/grid_game/U7_Yeg | 83.30498965279374 | 60382.23333333333 | 724.8333333333334 |
STANFORD/checkersonabarrelnokings/Zrevdw | 83.53492043180621 | 33488.03333333333 | 400.88663711209625 |
BASE/snake_2009/7l-qAQ | 83.74342215213359 | 37613.5 | 449.15169494350187 |
DRESDEN/tictactoe/BTTzPw | 83.86061863447755 | 207493.53333333333 | 2474.266666666667 |
DRESDEN/stratego/Z2wovg | 84.14987261403884 | 39331.833333333336 | 467.4021731884541 |
BASE/doubletictactoe/HH1htg | 84.84448647075938 | 97203.5 | 1145.6666666666667 |
BASE/checkersSmall/SYmq8w | 84.97357931898418 | 24871.766666666666 | 292.7 |
BASE/tpeg/QNs7Lw | 85.0782589252441 | 38049.833333333336 | 447.23333333333335 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 85.2747311827957 | 52870.333333333336 | 620.0 |
BASE/chineseCheckers2/eCMR3Q | 85.72526011560694 | 148304.7 | 1730.0 |
DRESDEN/chickentictactoe/Ipbo-g | 85.97244376444546 | 176065.83333333334 | 2047.9333333333334 |
DRESDEN/bomberman2p/x4h6jQ | 86.18846791039401 | 79770.3 | 925.5333333333333 |
BASE/stateSpaceSmall/Q7osKA | 86.44070296869899 | 767630.9 | 8880.433333333332 |
BASE/chickentictactoe/DSlZCA | 86.59087417176148 | 180345.7 | 2082.733333333333 |
BASE/snake_2009_big/-oRfVw | 86.78515942183807 | 29786.566666666666 | 343.2218926035799 |
DRESDEN/snake_2009_big/DgC1NQ | 86.80421112804878 | 30369.9 | 349.8666666666667 |
DRESDEN/connect5/1kYzSg | 87.11337478502448 | 21949.666666666668 | 251.96666666666667 |
BASE/ttcc4_2player_small/Cv72TA | 87.31617167861464 | 62524.2 | 716.0666666666667 |
DRESDEN/statespacesmall/h-NqjA | 88.43007676803937 | 788292.2333333333 | 8914.3 |
BASE/connect5/d-BVQg | 90.02937961191583 | 21961.166666666668 | 243.93333333333334 |
STANFORD/tictactoe/ss1kyQ | 90.47322958410626 | 212970.96666666667 | 2353.9666666666667 |
DRESDEN/eotcatcit/mQUxzA | 92.37318259793582 | 218979.86666666667 | 2370.6 |
DRESDEN/doubletictactoe/lJzgmQ | 92.91934785745201 | 107337.33333333333 | 1155.1666666666667 |
DRESDEN/peg_bugfixed/u_B7MA | 93.68662394526206 | 40315.13333333333 | 430.3189893670211 |
DRESDEN/peg/Vo31eg | 93.69010314148493 | 39665.26666666667 | 423.3666666666667 |
DRESDEN/bunk_t/7-tPfA | 94.87896659857877 | 109929.93333333333 | 1158.6333333333334 |
DRESDEN/tictactoex9/rFkD4w | 95.05103937960043 | 24102.533333333333 | 253.57464253574642 |
BASE/ticTacToe/JRFsaQ | 95.21125126475548 | 235251.13333333333 | 2470.8333333333335 |
BASE/peg/fJHVWw | 95.80119137505254 | 40516.166666666664 | 422.9192360254658 |
STANFORD/multiplebuttonsandlights/cK70Yg | 96.23297689758215 | 786861.7666666667 | 8176.633333333333 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 96.38128898979362 | 785362.9333333333 | 8148.5 |
BASE/tictactoex9/BI26ow | 96.64347713434381 | 24866.366666666665 | 257.3 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 96.73400638812154 | 9336.5 | 96.51724712547909 |
BASE/doubletoetictac/fu35bg | 97.27533477834852 | 109204.53333333334 | 1122.6333333333334 |
BASE/eotcatcit/AfZSzA | 97.4474651304681 | 228926.83333333334 | 2349.233333333333 |
BASE/catcha_mouse/cHv4dw | 98.19361850715745 | 60819.1 | 619.3793540215327 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 98.28767355183795 | 9595.833333333334 | 97.63007899736675 |
DRESDEN/doubletoetictac/V89gKQ | 100.08759255373361 | 111294.06666666667 | 1111.9666666666667 |
BASE/chineseCheckers6/rREH3A | 103.70635823058066 | 94476.8 | 911.0029665677811 |
BASE/englishDraughts/jFkQxg | 104.53408464616888 | 47596.26666666667 | 455.3181560614646 |
DRESDEN/ticblock/Z2yNWQ | 105.21944873208379 | 159056.73333333334 | 1511.6666666666667 |
BASE/ticblock/T21C1g | 106.07605809776666 | 158481.16666666666 | 1494.0333333333333 |
BASE/pegEuro/5awwhg | 106.60565063870351 | 37275.2 | 349.6550114996167 |
BASE/checkersTiny/Lr48cg | 106.7318122521343 | 43477.53333333333 | 407.3530882303923 |
STANFORD/tictactoe7/-bE9-A | 107.26428561509726 | 257480.76666666666 | 2400.4333333333334 |
BASE/bunk_t/xbpfIA | 107.48407012639059 | 123026.26666666666 | 1144.6 |
DRESDEN/tictactoe-init1/3ltIBQ | 108.27440248631702 | 262449.93333333335 | 2423.9333333333334 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 108.29133751227248 | 238980.93333333332 | 2206.8333333333335 |
BASE/duplicateStateSmall/bCPAXw | 112.67644704547745 | 708520.7666666667 | 6288.1 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 114.40823760604559 | 477395.06666666665 | 4172.733333333334 |
BASE/tictactoe-init1/7M19vA | 115.96379290683088 | 271169.73333333334 | 2338.4 |
DRESDEN/catcha_mouse/cHv4dw | 116.46940347787805 | 70549.4 | 605.7333333333333 |
DRESDEN/brain_teaser_extended/ZDp94A | 116.52534612648438 | 212934.53333333333 | 1827.3666666666666 |
BASE/checkers-mustjump/T-8UuQ | 117.00164767267268 | 13852.533333333333 | 118.3960534648845 |
BASE/brain_teaser_extended/ZDp94A | 118.11375843291765 | 211844.9 | 1793.5666666666666 |
DRESDEN/skirmishfinal/hzq8ww | 119.4103427586207 | 5192.1 | 43.481158164795254 |
BASE/checkLines/Vop7oQ | 119.88022825809743 | 125346.76666666666 | 1045.6 |
BASE/skirmish/Y_psYQ | 119.95034948216342 | 3471.9 | 28.944475901808612 |
DRESDEN/capture_the_king/EQ229Q | 120.61108683651804 | 5678.7 | 47.08273633001233 |
BASE/skirmishFinal2/gdB62Q | 121.40072173228346 | 5136.9 | 42.313586992736724 |
BASE/ticTacToeSerial/Amrwqw | 121.58719713842208 | 120103.83333333333 | 987.8 |
BASE/chineseCheckers4/avfBcQ | 121.72018913656773 | 102111.06666666667 | 838.9 |
BASE/skirmishHoles/AUCxCA | 122.23372742531049 | 4045.6666666666665 | 33.09779348043464 |
BASE/skirmishFinal1/ecWTnQ | 123.66275980629538 | 5105.4 | 41.28486221718703 |
STANFORD/tictactoe5/WFRReg | 124.24910022441462 | 293439.1 | 2361.7 |
BASE/skirmishFinal3/-Olhfw | 125.50025248425473 | 5976.8 | 47.62380857161901 |
BASE/checkers-newgoals/0XkFiA | 125.92129085545723 | 18022.933333333334 | 143.12856238125397 |
BASE/tictactoe_3player/GtM71g | 126.34710318820706 | 73710.9 | 583.4 |
DRESDEN/blockerparallel/dVQgSg | 127.33054172435494 | 33718.0 | 264.8068526480685 |
BASE/copolymer_4_pie/IN5_jA | 128.16503379943381 | 99598.0 | 777.1074297523415 |
STANFORD/platformjumpers/HEQskA | 129.11622111824354 | 30840.533333333333 | 238.858704709843 |
STANFORD/pilgrimage/ObRZnQ | 129.59462899888143 | 51488.833333333336 | 397.3068462102527 |
DRESDEN/backgammon/mqCW0Q | 130.69706270388616 | 26527.966666666667 | 202.9729369417411 |
BASE/blockerParallel/7-nDJA | 130.73244016649326 | 33502.36666666667 | 256.26666666666665 |
BASE/twisty-passages/DiZmmg | 131.7192150969569 | 151929.33333333334 | 1153.4333333333334 |
BASE/queens06ug/7Lq3tw | 131.79123416560563 | 203569.13333333333 | 1544.6333333333334 |
DRESDEN/twisty-passages/j7NPyg | 144.49104963384863 | 153902.23333333334 | 1065.1333333333334 |
DRESDEN/towerworld/HCX34w | 145.26824640718561 | 3232.7 | 22.25331467785995 |
BASE/strangeSkirmish/gc1zKA | 145.3065976714101 | 3744.0666666666666 | 25.766666666666666 |
DRESDEN/tictactoe_3player/ESLQQQ | 147.0383285139196 | 86443.83333333333 | 587.9 |
DRESDEN/oisters_farm/pTQMLg | 148.66742547915337 | 877291.4333333333 | 5901.033333333334 |
BASE/copolymer_4/2LDVhQ | 152.6712593762337 | 128905.43333333333 | 844.3333333333334 |
STANFORD/untwistycomplex/HTWEwg | 156.87797308094156 | 850853.8333333334 | 5423.666666666667 |
DRESDEN/blocker/S815zQ | 159.50416075296928 | 355880.36666666664 | 2231.1666666666665 |
BASE/dotsAndBoxes/EHwA_w | 160.11317790485768 | 84929.36666666667 | 530.4333333333333 |
BASE/blocker/dIWtxg | 161.3069819587249 | 364494.63333333336 | 2259.633333333333 |
DRESDEN/mummymaze2p/k-8edg | 161.62497776196403 | 90849.4 | 562.1 |
BASE/mummymaze2p/vpjDdA | 162.64881266682747 | 89909.26666666666 | 552.7815739475351 |
BASE/lightsOn/MsXu3A | 163.8478489252683 | 847393.7666666667 | 5171.833333333333 |
DRESDEN/lightson2x2/gBHuig | 165.31903969623045 | 539871.3666666667 | 3265.633333333333 |
BASE/tictactoe2/bhrDoQ | 165.65483556738513 | 402469.4666666667 | 2429.5666666666666 |
BASE/chineseCheckers1/gqtwHw | 170.03054250632948 | 387278.56666666665 | 2277.7 |
BASE/dotsAndBoxesSuicide/jzQbLw | 170.78865147505002 | 88189.56666666667 | 516.3666666666667 |
STANFORD/duikoshi/tpw1sw | 172.522775825236 | 83449.26666666666 | 483.7 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 176.34971603320224 | 80732.9 | 457.8 |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 178.55995780108037 | 37458.13333333333 | 209.77902209779023 |
BASE/queens08ug/kJ_ZFQ | 181.38034333305006 | 142286.83333333334 | 784.4666666666667 |
BASE/kitten_escapes_from_fire/uW-YiA | 182.41721210362093 | 418981.93333333335 | 2296.8333333333335 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 182.51620436701245 | 424630.0333333333 | 2326.5333333333333 |
STANFORD/tictactoe3/X7myng | 183.98486255996343 | 402712.2 | 2188.8333333333335 |
STANFORD/skirmish/w4V6Vw | 184.73408319969454 | 5373.433333333333 | 29.08739546196648 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 184.75788888314105 | 476207.3 | 2577.4666666666667 |
BASE/pawnWhopping/Ypc_6Q | 188.44893364825163 | 109039.2 | 578.6140461984601 |
DRESDEN/lightsout2/LFtfyQ | 192.50307498518077 | 173201.43333333332 | 899.7333333333333 |
DRESDEN/lightsout/XgLpzQ | 192.85976621417797 | 170488.03333333333 | 884.0 |
BASE/stateSpaceMedium/3bUoIw | 193.5065989475869 | 528318.1666666666 | 2730.233333333333 |
BASE/ticTacHeaven/18n58A | 198.1949108757427 | 51147.5 | 258.06666666666666 |
BASE/four_way_battle/xSOQXA | 199.5396236111111 | 27132.866666666665 | 135.97733711048159 |
BASE/lightsOut/5P1ZBw | 199.65587645704952 | 179277.66666666666 | 897.9333333333333 |
DRESDEN/pawn_whopping/4ogBkg | 200.29700791306772 | 119807.0 | 598.1467284423852 |
BASE/blocksWorldParallel/RseaAQ | 200.51209468362433 | 84606.6 | 421.9526015799473 |
BASE/mineClearingSmall/frsbvw | 201.30426497312294 | 38696.1 | 192.22692576914102 |
DRESDEN/statespacemedium/dVJZ_w | 203.75349394057855 | 555948.2 | 2728.5333333333333 |
BASE/coins/QnGtnQ | 204.60338290598293 | 75534.53333333334 | 369.17538830744616 |
DRESDEN/coins/QwFP9w | 206.09554852504695 | 75607.06666666667 | 366.8544381853938 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 206.8259784997327 | 116077.63333333333 | 561.2333333333333 |
STANFORD/sukoshi/4LYZZQ | 212.28801613786922 | 284140.43333333335 | 1338.4666666666667 |
BASE/nineBoardTicTacToePie/B8LzeQ | 214.9106808893094 | 45423.03333333333 | 211.35772845430913 |
BASE/coins_atomic/AA3SSw | 218.03185703185707 | 74828.53333333334 | 343.2 |
BASE/ticTacHeavenFC/mrletw | 223.8225125513585 | 56285.73333333333 | 251.47485251474853 |
STANFORD/madness/UO_B3A | 225.50300115473442 | 6503.666666666667 | 28.84071002764179 |
DRESDEN/four_way_battle/xSOQXA | 230.8563441708543 | 30624.9 | 132.65782281181254 |
BASE/ticTacToeLargeSuicide/727_8g | 232.54918725923145 | 247502.1 | 1064.3 |
BASE/duplicateStateMedium/U163eQ | 239.59752916710724 | 453174.76666666666 | 1891.4 |
BASE/amazons/RKKZjw | 239.77423076923077 | 204.73333333333332 | 0.8538587848932676 |
STANFORD/pentago/ZxzLmg | 244.3672786383699 | 89807.13333333333 | 367.5088327444837 |
BASE/ticTacToeLarge/TZC0dg | 245.18881340867247 | 257464.6 | 1050.0666666666666 |
DRESDEN/firefighter/WJmoPw | 249.39904339790542 | 971592.1666666666 | 3895.733333333333 |
BASE/withConviction/3Xm54A | 251.42890775083214 | 111622.33333333333 | 443.9518682710576 |
BASE/knightmove/jBaJEw | 252.08938727764107 | 208318.26666666666 | 826.3666666666667 |
DRESDEN/knightmove/97Ipcw | 255.64809984349293 | 212349.83333333334 | 830.6333333333333 |
DRESDEN/tictactoelarge/IwXcbg | 256.6691542288557 | 275149.3333333333 | 1072.0 |
BASE/firefighter/WJmoPw | 257.26171544577903 | 1013782.6666666666 | 3940.6666666666665 |
DRESDEN/tictactoelargesuicide/6J4DeA | 260.99480179864145 | 272800.4666666667 | 1045.2333333333333 |
BASE/connectFourLarger/qKi60A | 263.913286373573 | 72435.4 | 274.46666666666664 |
DRESDEN/connect4/T0-rHQ | 264.41460674157304 | 70598.7 | 267.0 |
BASE/factoringEasyTurtleBrain/lUj94Q | 265.1617695313665 | 592601.2 | 2234.866666666667 |
STANFORD/triplesukoshi/Iu9mbA | 267.68298406190524 | 95318.73333333334 | 356.0881303956535 |
BASE/factoringGeorgeForman/HGRorQ | 267.7619109269808 | 896216.9666666667 | 3347.0666666666666 |
DRESDEN/babel/WdSW4A | 276.51024705221784 | 65661.96666666666 | 237.46666666666667 |
BASE/lightsOnSimultaneous/_VN6lw | 277.3465174129353 | 111493.3 | 402.0 |
BASE/breakthroughSmallHoles/bxclRw | 278.75644768883615 | 133138.93333333332 | 477.61741275290825 |
BASE/lightsOnParallel/SC6enA | 280.15302884702555 | 515042.6666666667 | 1838.4333333333334 |
BASE/connect4/50bOyw | 280.8310298550006 | 75526.63333333333 | 268.9397726893977 |
STANFORD/multipletictactoe/_bkafQ | 293.50647273396055 | 84223.76666666666 | 286.95710142995233 |
BASE/lightsOnSimul4/9FeASw | 294.8040873269104 | 94854.96666666666 | 321.7559414686177 |
BASE/stateSpaceLarge/0Ge_CQ | 298.45325996099194 | 285639.6666666667 | 957.0666666666667 |
BASE/futoshiki4/BaCwSw | 306.74695684249355 | 138598.5 | 451.8333333333333 |
BASE/duplicateStateLarge/dcjyuw | 316.7177389165196 | 197410.16666666666 | 623.3 |
STANFORD/nineboardtictactoe/y28P-A | 321.5652787996882 | 68754.5 | 213.81195213811952 |
BASE/queens12ug/u6Bkmg | 331.50291370472684 | 71995.23333333334 | 217.17828217178283 |
BASE/connectFourLarge/aU644A | 334.4079342690875 | 159618.73333333334 | 477.31742275257494 |
BASE/nineBoardTicTacToe/wRmqqA | 334.6343895451349 | 68742.76666666666 | 205.4264857838072 |
BASE/snake2p/I3wWPQ | 340.58505429927413 | 81329.0 | 238.7920402653245 |
BASE/hidato19/rRHSmA | 343.76452286712066 | 109370.76666666666 | 318.15606146461784 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 345.95664781301997 | 143239.56666666668 | 414.0390640623958 |
BASE/qyshinsu/R08Lzw | 355.1809174070062 | 32773.36666666667 | 92.27231830450864 |
BASE/pentagoSuicide/SBgNhw | 357.9929720232464 | 88293.0 | 246.63333333333333 |
BASE/tictactoe_3d_small_2player/oOryKA | 362.1640664029316 | 144945.3 | 400.2199926669111 |
STANFORD/connectfour/VMpZkQ | 367.5528161956304 | 244496.13333333333 | 665.2 |
DRESDEN/pentago_2008/hLjVpQ | 368.1393588762064 | 88154.16666666667 | 239.45868471050966 |
BASE/ticTacToeNoVars/XT03NA | 370.5554431283852 | 415046.8 | 1120.0666666666666 |
BASE/dualConnect4/WbCQkg | 371.3028425980051 | 177848.13333333333 | 478.9840338655378 |
DRESDEN/connectfour/5tc-Mg | 382.95092196770497 | 252432.83333333334 | 659.1780273990867 |
BASE/connectFour_9x6/B9TtMw | 383.8788864388093 | 232118.76666666666 | 604.6666666666666 |
BASE/simultaneousWin2/PfjRjw | 384.4067426072949 | 111362.63333333333 | 289.7 |
BASE/tictactoe_3d_small_6player/g_9lww | 385.0659316668486 | 117586.3 | 305.3666666666667 |
DRESDEN/connectfoursuicide/M9CNQg | 393.30632169993567 | 264664.4 | 672.9218052129858 |
BASE/connectFourSuicide/c8p9Kw | 397.5120213713268 | 252963.4 | 636.3666666666667 |
BASE/pentago/86NgKw | 398.08331156960037 | 101617.4 | 255.26666666666668 |
BASE/futoshiki5/TJ4BZg | 398.18066846313445 | 87412.63333333333 | 219.53007832027996 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 400.36557525938605 | 124763.1 | 311.6229459018033 |
BASE/connectFour/WAIKTw | 403.88291882025266 | 270655.26666666666 | 670.1329867013299 |
BASE/wallmaze/uxNQ9g | 412.0428750260796 | 131661.43333333332 | 319.53333333333336 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 424.110516372796 | 44899.166666666664 | 105.86666666666666 |
DRESDEN/statespacelarge/8-y5HQ | 426.0397097858786 | 401258.4 | 941.8333333333334 |
DRESDEN/sat_test_20v_91c/dK7nVw | 454.1859698823452 | 305384.4666666667 | 672.3775874137528 |
BASE/connectFourSimultaneous/7ITr3g | 476.8911308035714 | 135305.4 | 283.7238758708043 |
DRESDEN/Zhadu/9zpQ5w | 479.1281304744525 | 26243.1 | 54.772613693153424 |
BASE/gt_attrition/kD_SCA | 483.290074438971 | 9665.166666666666 | 19.99868645737554 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 486.5507854668855 | 316215.0333333333 | 649.9116696110129 |
BASE/futoshiki6/JmvXNA | 486.8838652380952 | 61335.1 | 125.9748050389922 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 490.5793803612479 | 315350.26666666666 | 642.811906269791 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 503.2925851703406 | 334857.3333333333 | 665.3333333333334 |
DRESDEN/slidingpieces/s9_44g | 505.98865946819456 | 76536.66666666667 | 151.26162461251292 |
BASE/slidingpieces/uFJWEw | 506.4351568090127 | 73910.33333333333 | 145.94234294284286 |
BASE/queens16ug/gT-ylw | 512.8637668383518 | 43147.5 | 84.13052898236725 |
STANFORD/duidoku/3SoMaA | 515.2751477124183 | 7882.133333333333 | 15.296940611877625 |
BASE/hidato37/pBrqxw | 526.2991463913044 | 40345.566666666666 | 76.65900076659001 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 537.5044784885713 | 366058.4666666667 | 681.0333333333333 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 552.4368865374541 | 70290.4 | 127.23697803845769 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 562.1555680881523 | 431941.6 | 768.3666666666667 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 563.0888898682297 | 425901.6666666667 | 756.3666666666667 |
DRESDEN/cubicup/SBn_lw | 598.1313579254355 | 84302.53333333334 | 140.94317613731045 |
BASE/3pConnectFour/PqXOFQ | 603.2276336686077 | 227899.4 | 377.8 |
BASE/conn4/va9Y7A | 604.2665249095841 | 178212.4 | 294.923502549915 |
BASE/cubicup/4wNWJA | 623.78280651341 | 86830.56666666667 | 139.2 |
BASE/sudokuGrade6H/ieE_9A | 637.8182706150342 | 9321.6 | 14.614821226446502 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 639.2212879104735 | 454407.26666666666 | 710.8763041231958 |
BASE/golden_rectangle/_nYzfw | 642.9603667553978 | 72461.63333333333 | 112.7 |
BASE/sudokuGrade6E/ihYFZA | 644.7042437357632 | 9432.6 | 14.63089485085819 |
BASE/sudokuGrade1/tDRNRw | 651.7639467213114 | 10586.5 | 16.242843829050727 |
DRESDEN/golden_rectangle/1uloXw | 653.3517933609958 | 73475.4 | 112.45916938870742 |
BASE/sudokuGrade4/DTy07w | 654.2290338225017 | 10381.133333333333 | 15.867735604271315 |
STANFORD/sudoku/oJ1qyQ | 656.9901576811595 | 10051.066666666668 | 15.29865637887455 |
BASE/sudokuGrade5/BQfUQA | 659.0440477366255 | 10656.266666666666 | 16.16927837109492 |
DRESDEN/quad_5x5_8_2/JRTLJg | 662.4891338554218 | 73308.13333333333 | 110.655601106556 |
BASE/queens08lg/Ru7eqQ | 668.3115925498576 | 156379.7 | 233.99220025999134 |
BASE/tictactoe_3d_6player/d7KSwg | 668.512182996633 | 79403.36666666667 | 118.77624475104979 |
BASE/sudokuGrade3/eI8dvg | 670.7785020611229 | 10479.866666666667 | 15.623438488956994 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 671.1397369473121 | 487566.76666666666 | 726.4757841405286 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 676.0041917199217 | 352592.0333333333 | 521.5826139128695 |
BASE/tictactoe_3d_2player/IUC1rQ | 676.2495887198985 | 82992.83333333333 | 122.72515165655624 |
BASE/sudokuGrade2/u80Tfw | 682.1878570212765 | 10674.8 | 15.647889199627114 |
BASE/othelloSuicide/B442jg | 694.3644180768963 | 3094.8919645524247 | 4.457158062799361 |
BASE/othello-comp2007/86ZoMw | 736.6826939742479 | 3175.9882674488367 | 4.311202493864827 |
BASE/ad_game_2x2/D0aWqg | 751.0134177777778 | 13479.6 | 17.948547497174765 |
BASE/cubicup_3player/e2yA_g | 777.5097899367755 | 49175.7 | 63.24769235895898 |
BASE/majorities/ibJzSQ | 804.1385007500002 | 107200.6 | 133.31111481419762 |
BASE/othelloHoles/c0qAzw | 846.0284726620224 | 4020.0659978000735 | 4.751691140075895 |
DRESDEN/cubicup_3player/awDtsQ | 848.4954586132178 | 52205.53333333333 | 61.5271806152718 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 879.3036702222222 | 98888.7 | 112.46251249583472 |
DRESDEN/battle/8oAvhQ | 926.7400598484849 | 44840.76666666667 | 48.385484354693595 |
DRESDEN/grid_game2/kypTYQ | 934.0679052731928 | 190512.36666666667 | 203.95986800439985 |
BASE/battle/8oAvhQ | 987.1803114503816 | 47414.4 | 48.03013132457836 |
BASE/quad_5x5/JAEP5g | 1010.0013940520446 | 72450.76666666666 | 71.73333333333333 |
BASE/reversi/d8UMeA | 1031.2804936473947 | 16013.033333333333 | 15.527330762069424 |
DRESDEN/quad_5x5/JAEP5g | 1064.8810175438596 | 74751.5 | 70.19704433497537 |
BASE/reversiSuicide/9OxJlg | 1067.935882672234 | 17047.966666666667 | 15.963473971872292 |
DRESDEN/othello-cornercontrol/r5Gdlg | 1224.2366273865416 | 8652.566666666668 | 7.067724060125427 |
DRESDEN/pawntoqueen/f_x6Aw | 1258.308346894587 | 24523.933333333334 | 19.48960554371002 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 1517.9063616666667 | 1000.3666666666667 | 0.659043727551323 |
BASE/hitori/S8Gsyg | 1521.2305045719036 | 60633.5 | 39.85819362533961 |
DRESDEN/hitori/S8Gsyg | 1591.849308618171 | 60484.86666666667 | 37.996603283492625 |
BASE/battlebrushes/arCwyA | 1734.170132706767 | 14837.7 | 8.55608092894593 |
DRESDEN/satlike_20v_91c/yeuENQ | 1756.597175 | 945.5 | 0.5382565869149823 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 1838.49193 | 944.9 | 0.5139538469445444 |
BASE/pawnToQueen/-O1_JA | 2087.634857613169 | 39435.26666666667 | 18.88992537313433 |
BASE/zhadu/DlA8iQ | 2190.667775366569 | 24878.2 | 11.356445865387817 |
STANFORD/selectivesukoshi/3xmXYg | 2313.4764857801183 | 117111.7 | 50.62152164494951 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 2588.822135 | 1143.7 | 0.4417839234830245 |
STANFORD/multiplesukoshi/vLSQPg | 2695.1659007503413 | 131655.5 | 48.848755456332675 |
DRESDEN/CephalopodMicro/H3XQfg | 2770.9723626666664 | 48490.4 | 17.499416686110465 |
BASE/cephalopodMicro/9l2D3g | 2892.1291487758945 | 51175.333333333336 | 17.694691592522243 |
DRESDEN/quad_7x7/q-JOXg | 3604.56867032967 | 32337.0 | 8.971114981433407 |
BASE/quad_7x7/q-JOXg | 4092.0444892857145 | 34067.7 | 8.325349367339522 |
BASE/blokbox_simple/JBx4bg | 4704.359022222223 | 3549.5666666666666 | 0.7545271629778671 |
BASE/queens/HyJJnQ | 4726.726043571428 | 21173.7 | 4.479569961283717 |
DRESDEN/queens/mW2wHQ | 4985.2646066666675 | 20323.133333333335 | 4.076640847941296 |
DRESDEN/quad/JPe6fg | 8151.547833333334 | 12257.966666666667 | 1.5037593984962405 |
BASE/quad/tw-Ufg | 8198.457626666666 | 12269.466666666667 | 1.4965579167913798 |
DRESDEN/ggp-course2013_michal13/jWKddg | 22533.93505098039 | 89316.13333333333 | 3.963627885287946 |
BASE/queens31lg/0gID-A | 29418.5786 | 21558.533333333333 | 0.732820359081976 |
Games with errors:
Game | ALLOY_DIFF_PROP_NET:1 error message | PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 error message |
DRESDEN/cylinder-checkers/clOO3Q | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
DRESDEN/checkers-newgoals/IJOqXQ | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
DRESDEN/ggp-course2013_nicolai/uEin8g | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | |
DRESDEN/god/2EDD5w | Test process timed out after 240 seconds | |
BASE/slaughter/cOch8A | Test process timed out after 240 seconds | |
DRESDEN/uf20-01.cnf.SAT/42Rs8A | Exception of type NullPointerException | |
DRESDEN/pancakes88/aD3E7g | Test process timed out after 240 seconds | |
DRESDEN/checkers-cylinder-mustjump/vW_-pA | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | |
BASE/cylinder-checkers/hlldmw | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
DRESDEN/checkers-mustjump-torus/cVc3gA | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | 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/factoringImpossibleTurtleBrain/kcBhdw | OutOfMemoryError: Java heap space | |
DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | |
DRESDEN/battlesnakes1509/-qZrLw | Test process timed out after 240 seconds | |
DRESDEN/checkers/jIDMIg | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
BASE/mummymaze1p/PT_EXA | Exception of type NullPointerException | |
DRESDEN/small_dominion/yB5GJA | Test process timed out after 240 seconds | |
BASE/knightwar/DVGY4Q | Exception of type NullPointerException | |
BASE/amazonsSuicide/dE1QEQ | Test process timed out after 240 seconds | |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | |
BASE/god/qF06gw | Test process timed out after 240 seconds | |
DRESDEN/merrills/aYEzwA | OutOfMemoryError: GC overhead limit exceeded | |
DRESDEN/checkers-mustjump/HUr33w | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
DRESDEN/vacuumcleaner_random_big/DwzFaQ | Test process timed out after 240 seconds | |
DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | |
DRESDEN/knightwar/7hhAqg | Test process timed out after 240 seconds | |
BASE/merrills/pku8Tg | OutOfMemoryError: GC overhead limit exceeded | |
BASE/gt_two_thirds_4p/DStnxQ | Exception of type NullPointerException | |
BASE/nonogram_10x10_1/0Xc62g | Exception of type NullPointerException | |
DRESDEN/minichess-evilconjuncts/th24Tw | Exception of type NullPointerException | |
BASE/gt_two_thirds_2p/1APDGg | Exception of type NullPointerException | |
BASE/minichess-evilconjuncts/4OpQzw | Exception of type NullPointerException | |
STANFORD/rainbow/_4qNSQ | Exception of type NullPointerException | |
BASE/nonogram_5x5_1/qLKEZw | Exception of type NullPointerException | |
STANFORD/dualrainbow/G3OnRQ | Exception of type NullPointerException | |
BASE/amazonsTorus/soxT8g | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/sudoku/NTaNkw | Test process timed out after 240 seconds | Exception of type NullPointerException |
BASE/gt_two_thirds_6p/867v3Q | Test process timed out after 240 seconds | Exception of type NullPointerException |
BASE/alexChess/LNo83g | Test process timed out after 240 seconds | Exception of type StackOverflowError |