Game-by-game performance:
Game | Perf ratio | ALLOY_DIFF_PROP_NET:1 states per second | REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per second |
BASE/snakeAssemblit/UO4sdg | 10.062175484588497 | 2110.8333333333335 | 209.77902209779023 |
BASE/coins_atomic/AA3SSw | 26.782185423352704 | 74828.53333333334 | 2793.9666666666667 |
DRESDEN/coins/QwFP9w | 27.487148414304585 | 75607.06666666667 | 2750.633333333333 |
BASE/coins/QnGtnQ | 27.488093938401448 | 75534.53333333334 | 2747.9 |
DRESDEN/amazons/dNB28A | 36.88477972709551 | 209.26666666666668 | 5.673523556735236 |
DRESDEN/8puzzle/8fKC2w | 40.86103399718367 | 33853.36666666667 | 828.5 |
DRESDEN/tictactoeparallel/yk_DSg | 50.86922935442339 | 55315.2 | 1087.4 |
BASE/coloredtrails/EZvr7g | 53.61167205169629 | 26548.5 | 495.2 |
BASE/pearls/6k_mEQ | 56.419843458606756 | 808770.9333333333 | 14334.866666666667 |
BASE/haystack/UkweGA | 62.52774400407899 | 850260.6 | 13598.133333333333 |
BASE/eightPuzzle/vLrgFg | 63.47574348856977 | 31529.466666666667 | 496.7167761074631 |
DRESDEN/latenttictactoe/kITHKg | 65.81688512963304 | 83519.43333333333 | 1268.9666666666667 |
BASE/sum15/QZ07Kg | 69.63564650404611 | 159484.2 | 2290.266666666667 |
DRESDEN/sum15/CsgWKg | 69.76084123222749 | 157008.4 | 2250.6666666666665 |
DRESDEN/chinesecheckers4/-oVNYg | 69.98770710849813 | 4364.9 | 62.36666666666667 |
DRESDEN/javastrike/whONTQ | 70.62266539993871 | 7679.6 | 108.7412936981371 |
DRESDEN/sheep_and_wolf/enAIzQ | 72.797200420826 | 24793.9 | 340.58864704509847 |
STANFORD/8puzzle/jNiGtw | 73.39583882012116 | 37157.86666666667 | 506.26666666666665 |
BASE/doubletictactoe/HH1htg | 74.51970254523152 | 97203.5 | 1304.4 |
BASE/sudokuGrade6H/ieE_9A | 74.75718877305533 | 9321.6 | 124.69168722085195 |
DRESDEN/tictactoex9/rFkD4w | 75.59602718243596 | 24102.533333333333 | 318.8333333333333 |
BASE/sudokuGrade6E/ihYFZA | 77.43248437756499 | 9432.6 | 121.81709105452606 |
STANFORD/eightpuzzle/W_aWbA | 78.6511595515008 | 37645.066666666666 | 478.6333333333333 |
BASE/tictactoex9/BI26ow | 78.74349444444444 | 24866.366666666665 | 315.7894736842105 |
DRESDEN/blocks2player/3ev8nQ | 78.76066595305453 | 137348.1 | 1743.8666666666666 |
DRESDEN/blockerparallel/dVQgSg | 79.6300086593718 | 33718.0 | 423.43333333333334 |
BASE/blockerParallel/7-nDJA | 79.90972351460222 | 33502.36666666667 | 419.2526915769474 |
STANFORD/sudoku/oJ1qyQ | 81.48126268576061 | 10051.066666666668 | 123.3543312335433 |
BASE/blocks2player/wnTLOQ | 81.9718343148648 | 138726.4 | 1692.3666666666666 |
DRESDEN/tictictoe/LAUtwg | 82.42246931583425 | 90433.93333333333 | 1097.2 |
STANFORD/breakthrough/d5j0cQ | 83.48341540266291 | 15812.433333333332 | 189.4080789228103 |
DRESDEN/doubletictactoe/lJzgmQ | 84.53311632058383 | 107337.33333333333 | 1269.7666666666667 |
BASE/sudokuGrade1/tDRNRw | 85.23453327072713 | 10586.5 | 124.20435231779251 |
BASE/sudokuGrade3/eI8dvg | 85.42187434573938 | 10479.866666666667 | 122.68364218104253 |
BASE/sudokuGrade5/BQfUQA | 86.03874294940796 | 10656.266666666666 | 123.85428123854281 |
BASE/sudokuGrade4/DTy07w | 86.36838079127381 | 10381.133333333333 | 120.19599346688443 |
BASE/sudokuGrade2/u80Tfw | 86.83366722689075 | 10674.8 | 122.93388429752066 |
DRESDEN/bunk_t/7-tPfA | 87.28985468886478 | 109929.93333333333 | 1259.3666666666666 |
DRESDEN/doubletoetictac/V89gKQ | 87.33741400507468 | 111294.06666666667 | 1274.3 |
BASE/doubletoetictac/fu35bg | 88.2984125272889 | 109204.53333333334 | 1236.7666666666667 |
DRESDEN/blocksworldparallel/2JfVaw | 90.02263390741034 | 75967.1 | 843.8666666666667 |
DRESDEN/smallest/9kaGFw | 92.9339299586119 | 3241.233333333333 | 34.87674883411059 |
DRESDEN/chickentictactoe/Ipbo-g | 95.58232750040716 | 176065.83333333334 | 1842.0333333333333 |
BASE/eotcitcit/V_9_bg | 95.93879195462857 | 103188.56666666667 | 1075.5666666666666 |
BASE/blocks/xIV5hQ | 97.03191212387955 | 260883.23333333334 | 2688.633333333333 |
BASE/bunk_t/xbpfIA | 99.10816326530613 | 123026.26666666666 | 1241.3333333333333 |
DRESDEN/eotcatcit/mQUxzA | 101.52684449664636 | 218979.86666666667 | 2156.866666666667 |
STANFORD/duidoku/3SoMaA | 101.87368797014068 | 7882.133333333333 | 77.37163040218587 |
BASE/survival/YVIjJA | 103.15139093946694 | 707976.1333333333 | 6863.466666666666 |
BASE/crisscross/ICagEg | 103.47802003602457 | 21702.066666666666 | 209.72634245525148 |
DRESDEN/crisscross/GsY16g | 103.95276707845339 | 21597.2 | 207.75974134195528 |
DRESDEN/tictactoe/BTTzPw | 106.82327704557935 | 207493.53333333333 | 1942.4 |
BASE/blocksWorld/SEdXLQ | 108.0824351592106 | 292816.93333333335 | 2709.2 |
BASE/ticTacToeParallel/ymRGPw | 108.62934407350758 | 54446.833333333336 | 501.2166261124629 |
BASE/tictactoe_orthogonal/WRzlVw | 109.37012054326286 | 200515.53333333333 | 1833.3666666666666 |
DRESDEN/blocks/vg0DRw | 109.5167905503464 | 289274.0 | 2641.366666666667 |
BASE/double_tictactoe_dengji/zgaSbA | 109.77213331238525 | 98978.23333333334 | 901.6699443351888 |
BASE/eotcatcit/AfZSzA | 109.99927925042044 | 228926.83333333334 | 2081.1666666666665 |
DRESDEN/tpeg/h-Scbg | 111.17845442281751 | 38460.333333333336 | 345.93333333333334 |
BASE/tpeg/QNs7Lw | 113.16873697167972 | 38049.833333333336 | 336.2221259291357 |
BASE/onestep/xi53wA | 115.70209350145133 | 838404.3666666667 | 7246.233333333334 |
DRESDEN/peg/Vo31eg | 115.81871830008112 | 39665.26666666667 | 342.4771681887874 |
DRESDEN/peg_bugfixed/u_B7MA | 117.33940922261027 | 40315.13333333333 | 343.57709486034264 |
BASE/shmup/ssTNlg | 118.74944904632153 | 17428.933333333334 | 146.77064587082583 |
DRESDEN/chinesecheckers3/QsCb2A | 119.97963991609231 | 13343.066666666668 | 111.2110911151103 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 120.56855020261145 | 107113.1 | 888.4 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 122.44199186105662 | 224656.56666666668 | 1834.8 |
DRESDEN/chickentoetictac/cxYaRQ | 123.6379704813602 | 183734.26666666666 | 1486.0666666666666 |
BASE/numbertictactoe/rvJ-iQ | 124.65429623567921 | 101551.7 | 814.6666666666666 |
BASE/chickentoetictac/l57rfQ | 125.0675162571466 | 191044.8 | 1527.5333333333333 |
BASE/ticblock/T21C1g | 131.16406422423304 | 158481.16666666666 | 1208.2666666666667 |
DRESDEN/circlesolitaire/ruUilQ | 132.10375924815037 | 220216.96666666667 | 1667.0 |
BASE/circlesolitaire/azuQFQ | 132.13944454456256 | 219972.53333333333 | 1664.7 |
BASE/hodgepodge/9yjRkw | 134.77396076837078 | 132604.1 | 983.9 |
DRESDEN/chinesecheckers6/yTbPDA | 135.28160741190766 | 7420.966666666666 | 54.85569552756115 |
BASE/brain_teaser_extended/ZDp94A | 137.4039954165135 | 211844.9 | 1541.7666666666667 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 138.99848321558295 | 116077.63333333333 | 835.1 |
BASE/incredible/8Qh-6Q | 139.0218664740812 | 115499.36666666667 | 830.8 |
DRESDEN/logistics/fPru1Q | 142.30745762711862 | 41980.7 | 295.0 |
DRESDEN/buttons/ADUaHw | 143.05075711278604 | 561788.9333333333 | 3927.2 |
DRESDEN/toetictac/mJtxCA | 143.10177702467848 | 219575.36666666667 | 1534.4 |
DRESDEN/cube_2x2x2/fp-34Q | 143.47304677700575 | 61256.166666666664 | 426.95243491883605 |
BASE/toetictac/mTThmg | 143.4993048918238 | 220204.46666666667 | 1534.5333333333333 |
STANFORD/tictictoe/rpt_Dw | 144.18012170385396 | 106621.2 | 739.5 |
DRESDEN/brain_teaser_extended/ZDp94A | 144.7352727931847 | 212934.53333333333 | 1471.2 |
BASE/tron_10x10/7ZTgDg | 145.3296276558786 | 35322.433333333334 | 243.0504633024465 |
BASE/buttons/hTcUjw | 145.48479804704837 | 568147.2333333333 | 3905.2 |
BASE/blocksWorldParallel/RseaAQ | 147.58315056689344 | 84606.6 | 573.2808906369787 |
STANFORD/duikoshi/tpw1sw | 148.59199905033236 | 83449.26666666666 | 561.6 |
BASE/ticTacHeaven/18n58A | 149.3116811812786 | 51147.5 | 342.5552481583947 |
DRESDEN/ticblock/Z2yNWQ | 151.2713035759574 | 159056.73333333334 | 1051.4666666666667 |
BASE/pancakes88/l2Xaig | 151.40644444444445 | 179.53333333333333 | 1.1857707509881423 |
DRESDEN/troublemaker02/iZLVuA | 151.89448062098597 | 566824.6333333333 | 3731.7 |
DRESDEN/troublemaker01/C-lPWw | 152.08093429142448 | 664563.2666666667 | 4369.8 |
BASE/ticTicToe/c1OobQ | 152.81971585406617 | 106669.7 | 698.0100663311223 |
BASE/troublemaker01/s3tlEQ | 156.63166646419245 | 687633.9 | 4390.133333333333 |
BASE/blocksWorldSerial/Wyg96Q | 157.08607118412047 | 183602.2 | 1168.8 |
BASE/gt_dollar/TGjqRw | 157.13259225877522 | 104603.16666666667 | 665.7 |
BASE/troublemaker02/DI83KA | 159.2890323287471 | 581569.5666666667 | 3651.0333333333333 |
BASE/catcha_mouse/cHv4dw | 160.43557716521585 | 60819.1 | 379.0873637545415 |
STANFORD/trifecta/ss1kyQ | 161.0822385761574 | 197339.43333333332 | 1225.0849943337112 |
DRESDEN/pawn_whopping/4ogBkg | 161.5302683025482 | 119807.0 | 741.7 |
STANFORD/dualhunter/1rPZjQ | 162.39285964096604 | 55882.933333333334 | 344.12186260457986 |
BASE/chickentictactoe/DSlZCA | 164.29914971150927 | 180345.7 | 1097.6666666666667 |
DRESDEN/blocker/S815zQ | 171.6244052211934 | 355880.36666666664 | 2073.6 |
DRESDEN/lightsout/XgLpzQ | 172.85616276318902 | 170488.03333333333 | 986.3 |
STANFORD/tictactoe/ss1kyQ | 175.03503917593557 | 212970.96666666667 | 1216.7333333333333 |
DRESDEN/mimikry/GJEhwA | 175.89723356525406 | 27798.233333333334 | 158.03678528588566 |
DRESDEN/stratego/Z2wovg | 176.41406244082324 | 39331.833333333336 | 222.95180321311912 |
DRESDEN/lightsout2/LFtfyQ | 178.32531402292537 | 173201.43333333332 | 971.2666666666667 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 178.55993807136537 | 80732.9 | 452.1333333333333 |
DRESDEN/towerworld/HCX34w | 180.02360519480519 | 3232.7 | 17.957089552238806 |
DRESDEN/tictactoe-init1/3ltIBQ | 186.2932519401855 | 262449.93333333335 | 1408.8 |
DRESDEN/catcha_mouse/cHv4dw | 186.3880854878478 | 70549.4 | 378.508099460036 |
BASE/ticTacHeavenFC/mrletw | 187.74007496665183 | 56285.73333333333 | 299.80670532560157 |
BASE/withConviction/3Xm54A | 190.55767370397768 | 111622.33333333333 | 585.7666666666667 |
BASE/switches/tPUoCg | 194.64817710065864 | 390100.9 | 2004.1333333333334 |
BASE/ticTacToe/JRFsaQ | 195.10502308351533 | 235251.13333333333 | 1205.7666666666667 |
BASE/tictactoe-init1/7M19vA | 195.75273112276818 | 271169.73333333334 | 1385.2666666666667 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 196.8604114934374 | 184983.16666666666 | 939.6666666666666 |
DRESDEN/gt_prisoner/huCp4w | 196.86148801417264 | 39504.833333333336 | 200.67324356752434 |
BASE/nineBoardTicTacToePie/B8LzeQ | 197.778084179971 | 45423.03333333333 | 229.66666666666666 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 202.4196516711324 | 191381.03333333333 | 945.4666666666667 |
BASE/stateSpaceLarge/0Ge_CQ | 204.1984987489575 | 285639.6666666667 | 1398.8333333333333 |
DRESDEN/chinesecheckers2/06E6-Q | 210.36783815569663 | 20984.9 | 99.75336621783762 |
DRESDEN/Thief_Police/CX18rA | 212.8282338792402 | 200562.23333333334 | 942.3666666666667 |
DRESDEN/catch_me/ghGWrA | 213.39873349790705 | 198823.6 | 931.7 |
DRESDEN/snake_2009/zIYLVw | 215.65180552753685 | 35632.86666666667 | 165.23333333333332 |
DRESDEN/3pffa/0YrmQw | 216.3179201769362 | 46453.23333333333 | 214.74519214745192 |
DRESDEN/3pttc/uwYBZw | 217.55159266757315 | 47995.933333333334 | 220.61862542497167 |
BASE/blockerSerial/3eqDuw | 219.09328182090718 | 81200.56666666667 | 370.62097930068995 |
BASE/aipsrovers01/4C4jsw | 219.74629223105902 | 87486.9 | 398.12685398126854 |
DRESDEN/aipsrovers01/qS47Mw | 219.75396825396825 | 87681.83333333333 | 399.0 |
STANFORD/sukoshi/4LYZZQ | 220.2695935295486 | 284140.43333333335 | 1289.9666666666667 |
BASE/ticTacToeSerial/Amrwqw | 220.4683962552775 | 120103.83333333333 | 544.7666666666667 |
BASE/snake_2009_big/-oRfVw | 220.663298691358 | 29786.566666666666 | 134.98650134986502 |
BASE/lightsOnSimultaneous/_VN6lw | 221.63467355552612 | 111493.3 | 503.0498983367221 |
STANFORD/hunter/14dD-g | 225.1954887218045 | 101833.4 | 452.2 |
STANFORD/tictactoe7/-bE9-A | 226.79535511905812 | 257480.76666666666 | 1135.3 |
DRESDEN/snake_2009_big/DgC1NQ | 227.89579037018513 | 30369.9 | 133.26222459251358 |
BASE/snake_2009/7l-qAQ | 229.50584238356723 | 37613.5 | 163.88907406172922 |
STANFORD/threepuzzle/41ibjA | 229.57167346658895 | 223197.23333333334 | 972.2333333333333 |
STANFORD/3puzzle/41ibjA | 230.98940735694825 | 226061.63333333333 | 978.6666666666666 |
BASE/simultaneousWin2/PfjRjw | 237.1515021744274 | 111362.63333333333 | 469.58434718842705 |
BASE/stateSpaceSmall/Q7osKA | 242.04032792054232 | 767630.9 | 3171.5 |
DRESDEN/knightstour/cGISAA | 244.8411396894954 | 130365.4 | 532.4489183693877 |
BASE/tictactoe2/bhrDoQ | 245.20387481976402 | 402469.4666666667 | 1641.3666666666666 |
STANFORD/jointbuttonsandlights/qAKuIQ | 247.43339030766137 | 328129.6666666667 | 1326.1333333333334 |
DRESDEN/statespacesmall/h-NqjA | 247.4911254369257 | 788292.2333333333 | 3185.133333333333 |
STANFORD/tictactoe5/WFRReg | 251.83582217645036 | 293439.1 | 1165.2 |
DRESDEN/frogs_and_toads/GjchhQ | 253.9743139360442 | 21437.466666666667 | 84.40801093005432 |
DRESDEN/chinesecheckers1/Y-ftaA | 257.35868540328335 | 48073.0 | 186.79377354088197 |
BASE/lightsOnSimul4/9FeASw | 260.5753919024509 | 94854.96666666666 | 364.0211992933569 |
BASE/skirmishHoles/AUCxCA | 261.2456623655914 | 4045.6666666666665 | 15.486062543710661 |
BASE/strangeSkirmish/gc1zKA | 261.41421751937986 | 3744.0666666666666 | 14.322352862805182 |
BASE/maze/cCX3qQ | 262.99556762939665 | 490504.26666666666 | 1865.0666666666666 |
BASE/stateSpaceMedium/3bUoIw | 269.06960359901535 | 528318.1666666666 | 1963.5 |
BASE/snake2p/I3wWPQ | 269.51853849552634 | 81329.0 | 301.7566081130629 |
BASE/factoringGeorgeForman/HGRorQ | 270.5478979250941 | 896216.9666666667 | 3312.6 |
DRESDEN/gt_chicken/CeuKtw | 271.67941254179465 | 44232.566666666666 | 162.8116251166511 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 276.0998611967921 | 477395.06666666665 | 1729.0666666666666 |
STANFORD/buttonsandlights/eyhJpA | 276.10659685863874 | 922886.3 | 3342.5 |
BASE/lightsOut/5P1ZBw | 276.1467000907053 | 179277.66666666666 | 649.2116929435686 |
DRESDEN/statespacemedium/dVJZ_w | 276.9217971707511 | 555948.2 | 2007.6 |
BASE/cubicup_3player/e2yA_g | 277.37720462492945 | 49175.7 | 177.28818078794748 |
BASE/gt_staghunt/xPjLRA | 278.23206917700753 | 43345.666666666664 | 155.78961402573162 |
BASE/gt_prisoner/klthDw | 285.2732945370777 | 43335.3 | 151.9080153307782 |
BASE/slidingpieces/uFJWEw | 286.594792598337 | 73910.33333333333 | 257.8914036198793 |
STANFORD/triplesukoshi/Iu9mbA | 292.29909025861184 | 95318.73333333334 | 326.1 |
BASE/duplicateStateSmall/bCPAXw | 293.37929083104444 | 708520.7666666667 | 2415.0333333333333 |
DRESDEN/statespacelarge/8-y5HQ | 293.5679063528838 | 401258.4 | 1366.8333333333333 |
DRESDEN/cubicup_3player/awDtsQ | 293.878953495935 | 52205.53333333333 | 177.64298093587522 |
DRESDEN/slidingpieces/s9_44g | 295.10044167416356 | 76536.66666666667 | 259.3580213992867 |
BASE/knightazons/apnJBQ | 298.82712033755274 | 3928.5333333333333 | 13.146508686680423 |
STANFORD/untwistycorridor/EDPPAQ | 299.3815128257159 | 836042.8333333334 | 2792.5666666666666 |
DRESDEN/point_grab/r5DPmQ | 299.4922050612719 | 413029.7 | 1379.1 |
DRESDEN/knightazons/02I8BQ | 299.7182481296758 | 4005.8333333333335 | 13.365330133653302 |
BASE/untwistycomplex2/EDPPAQ | 300.6687672172237 | 847695.5 | 2819.366666666667 |
BASE/endgame/jYjfOA | 305.59740490909087 | 11197.4 | 36.6410179540988 |
DRESDEN/tictactoelarge/IwXcbg | 306.4478764478764 | 275149.3333333333 | 897.8666666666667 |
DRESDEN/endgame/IJhh3Q | 306.51742090163935 | 7472.3 | 24.378059746228395 |
BASE/rubiksCube/9tNO9Q | 307.7426975338107 | 25785.4 | 83.78882815624583 |
DRESDEN/grid_game/U7_Yeg | 309.4189832109308 | 60382.23333333333 | 195.14715195147153 |
BASE/hex/T1MK8g | 310.78109919571045 | 7725.0 | 24.856723977075838 |
BASE/ticTacToeNoVars/XT03NA | 311.3473694738948 | 415046.8 | 1333.0666666666666 |
DRESDEN/chomp/-LcqYQ | 311.8428949653809 | 70056.03333333334 | 224.65168988734084 |
STANFORD/tictactoe3/X7myng | 318.04785973779815 | 402712.2 | 1266.2 |
BASE/gt_centipede/9fRMpw | 323.9484268125855 | 157870.86666666667 | 487.3333333333333 |
BASE/snakeParallel/RCVNtw | 325.18514393379576 | 167215.46666666667 | 514.2161927935736 |
BASE/gt_chicken/gmepTQ | 329.6891394353849 | 41777.03333333333 | 126.71643780829223 |
DRESDEN/lightson2x2/gBHuig | 331.1078605744659 | 539871.3666666667 | 1630.5 |
STANFORD/dualrainbow/G3OnRQ | 333.7398515601333 | 293780.06666666665 | 880.2666666666667 |
BASE/blocker/dIWtxg | 335.59951508455333 | 364494.63333333336 | 1086.1 |
DRESDEN/tictactoelargesuicide/6J4DeA | 337.1514377523276 | 272800.4666666667 | 809.1333333333333 |
STANFORD/hex/MTqWcw | 338.5300508379888 | 8069.9 | 23.838060993474496 |
DRESDEN/tictactoe_3player/ESLQQQ | 340.47544227823727 | 86443.83333333333 | 253.89153694876836 |
BASE/hexPie/48CH6Q | 342.6012099447514 | 8261.5 | 24.11404209965361 |
STANFORD/rainbow/_4qNSQ | 343.6945094798696 | 499113.1666666667 | 1452.2 |
STANFORD/untwistycomplex/HTWEwg | 344.1408482985493 | 850853.8333333334 | 2472.4 |
BASE/nineBoardTicTacToe/wRmqqA | 346.54394219458914 | 68742.76666666666 | 198.36666666666667 |
DRESDEN/skirmishfinal/hzq8ww | 347.3618973273942 | 5192.1 | 14.947235260827592 |
STANFORD/bestbuttonsandlights/nm0wEA | 349.99060730483325 | 434723.3333333333 | 1242.1 |
STANFORD/nineboardtictactoe/y28P-A | 350.97902918155523 | 68754.5 | 195.8934702176594 |
BASE/skirmishFinal2/gdB62Q | 351.0527036446469 | 5136.9 | 14.632845571814272 |
BASE/lightsOnParallel/SC6enA | 353.26093417773615 | 515042.6666666667 | 1457.9666666666667 |
BASE/tictactoe_3player/GtM71g | 354.32254446402817 | 73710.9 | 208.03333333333333 |
BASE/skirmishFinal1/ecWTnQ | 354.56530277777773 | 5105.4 | 14.399040063995734 |
BASE/chomp/-LcqYQ | 360.3572849217002 | 80531.8 | 223.4776522347765 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 368.63056961302846 | 322932.6666666667 | 876.0333333333333 |
BASE/lightsOn/MsXu3A | 368.918617306883 | 847393.7666666667 | 2296.9666666666667 |
BASE/skirmishFinal3/-Olhfw | 373.20829106029106 | 5976.8 | 16.014649575495255 |
DRESDEN/cubicup/SBn_lw | 379.7537991791792 | 84302.53333333334 | 221.99260024665844 |
DRESDEN/skirmish/RjGQYQ | 380.8740442687747 | 6413.6 | 16.83916270092183 |
BASE/brawl/6Ymo_Q | 381.80194655647387 | 4617.033333333334 | 12.092744353387967 |
DRESDEN/skirmish3/3LU8Nw | 382.9223299610894 | 6554.4 | 17.11678710579773 |
BASE/conn4/va9Y7A | 383.0053728777133 | 178212.4 | 465.3 |
BASE/minichess/8NQEiA | 386.6999842520536 | 39751.433333333334 | 102.79657344755175 |
BASE/cubicup/4wNWJA | 391.44842064493514 | 86830.56666666667 | 221.81866648895405 |
DRESDEN/brawl/2kXtfQ | 392.1705477272727 | 4593.2 | 11.712251281027484 |
DRESDEN/capture_the_king/EQ229Q | 398.3826461538461 | 5678.7 | 14.25438596491228 |
BASE/asteroidsParallel/WauZiA | 405.0430742325929 | 108196.9 | 267.1244291856938 |
BASE/futoshiki4/BaCwSw | 406.38131337959345 | 138598.5 | 341.0552981567281 |
BASE/escortLatch/mX9BjQ | 409.86562207171306 | 34285.23333333333 | 83.6499366793308 |
BASE/pawnWhopping/Ypc_6Q | 411.2511775738529 | 109039.2 | 265.14015265140154 |
BASE/breakthroughSmallHoles/bxclRw | 416.00023722835516 | 133138.93333333332 | 320.04533031131257 |
STANFORD/multipletictactoe/_bkafQ | 416.8256720169361 | 84223.76666666666 | 202.05993133562214 |
DRESDEN/skirmish2/iPpWhQ | 421.51713288201165 | 7261.966666666666 | 17.22816488386817 |
BASE/ticTacToeLargeSuicide/727_8g | 421.9025512813228 | 247502.1 | 586.6333333333333 |
BASE/cittaceot/fDxhXg | 425.68054699159666 | 42209.1 | 99.1567509915675 |
BASE/ruleDepthLinear/OUBJpQ | 431.193773592564 | 354110.7 | 821.2333333333333 |
BASE/ticTacToeLarge/TZC0dg | 436.8249066847642 | 257464.6 | 589.4 |
DRESDEN/grid_game2/kypTYQ | 438.41079330878785 | 190512.36666666667 | 434.55218159394684 |
BASE/asteroidsSerial/id2QkA | 439.3102413682226 | 132066.9 | 300.62331255624815 |
BASE/beatMania/qUHwvQ | 440.86187032705647 | 222407.4 | 504.4831838938702 |
BASE/futoshiki5/TJ4BZg | 442.6241796208798 | 87412.63333333333 | 197.487252974306 |
DRESDEN/roshambo2/jgSlkQ | 444.0475044470022 | 141458.73333333334 | 318.56666666666666 |
BASE/skirmish/Y_psYQ | 444.4032 | 3471.9 | 7.8125 |
BASE/asteroids/BKCmPQ | 449.86661871315357 | 206871.76666666666 | 459.8513382887237 |
BASE/roshambo2/KNPokQ | 453.9139788211469 | 141949.3 | 312.72290923635876 |
BASE/minichess-evilconjuncts/4OpQzw | 460.0668191520969 | 44727.86666666667 | 97.22037061725104 |
BASE/futoshiki6/JmvXNA | 461.76018446675033 | 61335.1 | 132.82890570314322 |
DRESDEN/minichess/c7GMFw | 469.56435955899605 | 44477.46666666667 | 94.72070390614584 |
STANFORD/alquerquezero/uVgA_A | 469.8757828399398 | 31202.933333333334 | 66.4067706250833 |
DRESDEN/minichess-evilconjuncts/th24Tw | 472.10128492388094 | 46169.96666666667 | 97.79674010866304 |
BASE/connect5/d-BVQg | 473.64126527677934 | 21961.166666666668 | 46.36666666666667 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 480.176761226136 | 476207.3 | 991.7333333333333 |
DRESDEN/bidding-tictactoe/yW5vTA | 497.8649942647059 | 67696.1 | 135.97280543891222 |
BASE/breakthroughSmall/HJ0tIA | 507.46818910162 | 45933.6 | 90.51523028727588 |
BASE/breakthroughSuicideSmall/XSbJog | 513.1786948068083 | 45887.63333333333 | 89.41843026162306 |
BASE/mineClearingSmall/frsbvw | 516.7746189586114 | 38696.1 | 74.88003199146894 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 524.8847263342423 | 44899.166666666664 | 85.54100436535705 |
BASE/englishDraughts/jFkQxg | 528.7044756756757 | 47596.26666666667 | 90.02433090024331 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 530.8445954292774 | 143239.56666666668 | 269.8333333333333 |
DRESDEN/backgammon/mqCW0Q | 531.5510330218069 | 26527.966666666667 | 49.906716417910445 |
BASE/tictactoe_3d_small_2player/oOryKA | 541.1098805375808 | 144945.3 | 267.8666666666667 |
BASE/factoringEasyTurtleBrain/lUj94Q | 548.8233877689624 | 592601.2 | 1079.7666666666667 |
BASE/qyshinsu/R08Lzw | 552.928514408844 | 32773.36666666667 | 59.272339574865065 |
BASE/pegEuro/5awwhg | 556.8643990044799 | 37275.2 | 66.93766034718288 |
BASE/biddingTicTacToe/8mESVw | 564.9560063224446 | 71485.76666666666 | 126.53333333333333 |
BASE/crissrace/ERWGDA | 581.2647654587689 | 27786.233333333334 | 47.80305806322662 |
DRESDEN/Runners/3bOCQw | 584.2671957671959 | 139873.56666666668 | 239.4 |
BASE/point_grab/V_osUg | 588.9021252488687 | 412119.6 | 699.8100063331223 |
BASE/tictactoe_3d_small_6player/g_9lww | 589.9764791304348 | 117586.3 | 199.30675909878684 |
DRESDEN/4pttc/9pB9AQ | 594.3681227477477 | 49839.36666666667 | 83.85269121813032 |
BASE/4pffa/Q3ADlg | 596.6852903225807 | 32662.133333333335 | 54.739297018157586 |
DRESDEN/crissrace/KWb9bw | 600.4676815642458 | 28648.0 | 47.70947859403631 |
BASE/peg/fJHVWw | 600.7962994894598 | 40516.166666666664 | 67.43744377436444 |
BASE/duplicateStateMedium/U163eQ | 601.8457802021544 | 453174.76666666666 | 752.9749008366388 |
BASE/hallway/ckCJOw | 605.8812379962194 | 10671.966666666667 | 17.61395797955582 |
DRESDEN/hallway/0H4l-Q | 619.5039676245211 | 10774.7 | 17.392463265918103 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 627.1179911710504 | 124763.1 | 198.94677198946772 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 642.0210365687503 | 785362.9333333333 | 1223.2666666666667 |
DRESDEN/pentago_2008/hLjVpQ | 649.147029945999 | 88154.16666666667 | 135.8 |
STANFORD/multiplebuttonsandlights/cK70Yg | 649.4402167932212 | 786861.7666666667 | 1211.6 |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 656.0093403385872 | 37458.13333333333 | 57.1 |
BASE/3pffa/pR0dzA | 672.7724249999999 | 41800.2 | 62.13126229125696 |
DRESDEN/tttcc4/sAvtFg | 673.5033760826382 | 18833.133333333335 | 27.96293827489668 |
BASE/choicethroughalt/tt71Lg | 673.9503707762557 | 16388.533333333333 | 24.317121918720854 |
DRESDEN/connect4/T0-rHQ | 680.1045873515249 | 70598.7 | 103.80565182617968 |
BASE/tttcc4/8Bs2lg | 681.1857973778308 | 19034.0 | 27.942449876773463 |
BASE/ttcc4/Le0qjQ | 682.1995705521473 | 18530.0 | 27.162139643392766 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 683.2700241559238 | 24720.366666666665 | 36.17949828430556 |
DRESDEN/Travelers-Dilemma/PvZwYw | 685.3945868471052 | 177.12742908569714 | 0.2584313218762114 |
DRESDEN/knightthrough/J7Fc_Q | 698.206008888889 | 23377.433333333334 | 33.482142857142854 |
BASE/connectFourSimultaneous/7ITr3g | 698.8643865725599 | 135305.4 | 193.607518997467 |
BASE/connect4/50bOyw | 714.7044107326816 | 75526.63333333333 | 105.67534242010197 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 716.1642365348399 | 25338.7 | 35.381130063965884 |
BASE/duplicateStateLarge/dcjyuw | 717.3812766876615 | 197410.16666666666 | 275.1816545563629 |
BASE/blokbox_simple/JBx4bg | 718.0844834451902 | 3549.5666666666666 | 4.943104535049597 |
BASE/golden_rectangle/_nYzfw | 721.2985810440168 | 72461.63333333333 | 100.45996933537764 |
DRESDEN/breakthrough/z4hK7Q | 725.050526835364 | 25768.733333333334 | 35.54060355739124 |
STANFORD/freeforall/Lfp40Q | 725.4074567358891 | 60527.166666666664 | 83.4388537154282 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 738.6435019924121 | 352592.0333333333 | 477.35075497483416 |
DRESDEN/babel/WdSW4A | 742.9309848416289 | 65661.96666666666 | 88.38232353529294 |
DRESDEN/oisters_farm/pTQMLg | 785.8687070767394 | 877291.4333333333 | 1116.3333333333333 |
BASE/chinook/XQh0IQ | 790.1741304018913 | 18554.866666666665 | 23.481997135529426 |
BASE/breakthroughWalls/vOZaYA | 792.4488961093585 | 25105.566666666666 | 31.680991405156906 |
BASE/hidato19/rRHSmA | 794.8721828407622 | 109370.76666666666 | 137.59541348621713 |
STANFORD/chinook/osFbPA | 799.554611007752 | 17174.966666666667 | 21.480667399340593 |
BASE/2pffa/6oHijA | 810.5603143186004 | 58666.96666666667 | 72.37828651404578 |
DRESDEN/ggp-course2013_michal13/jWKddg | 812.1272414545454 | 89316.13333333333 | 109.97800439912018 |
BASE/breakthroughSuicide/wZDpIg | 818.2246714285715 | 25962.4 | 31.730160317301603 |
BASE/breakthrough/TGxk-g | 819.2860429723099 | 25941.966666666667 | 31.664114004128653 |
BASE/2pffa_zerosum/o0_uZA | 828.7504335115865 | 51655.333333333336 | 62.329178054796344 |
BASE/checkLines/Vop7oQ | 848.9626155906695 | 125346.76666666666 | 147.646980402613 |
BASE/breakthroughHoles/nZk0Sg | 888.1346916666666 | 27934.533333333333 | 31.453037017292505 |
STANFORD/selectivesukoshi/3xmXYg | 890.8090770791075 | 117111.7 | 131.46666666666667 |
DRESDEN/connectfoursuicide/M9CNQg | 892.7587884416462 | 264664.4 | 296.45678477384087 |
DRESDEN/connectfour/5tc-Mg | 905.0059423268411 | 252432.83333333334 | 278.92947606985734 |
DRESDEN/pacman3p/rBnk8Q | 915.5831221910113 | 21727.666666666668 | 23.730960237309603 |
BASE/kalaha5x2x3/WviNsw | 937.5658585858585 | 15446.666666666666 | 16.475287069395907 |
BASE/gt_coordination/IVMOzA | 940.68207317113 | 192005.36666666667 | 204.11292204112922 |
BASE/pacman2p/4LEdQg | 942.3385883696782 | 20127.133333333335 | 21.358706500765187 |
DRESDEN/firefighter/WJmoPw | 958.1776791584483 | 971592.1666666666 | 1014.0 |
BASE/ttcc4_2player_small/Cv72TA | 966.3709428129829 | 62524.2 | 64.7 |
BASE/firefighter/WJmoPw | 967.1037903841261 | 1013782.6666666666 | 1048.2666666666667 |
BASE/connectFourSuicide/c8p9Kw | 972.8762885271119 | 252963.4 | 260.01599893340443 |
BASE/racetrackcorridor/_RkdUg | 988.0979675483024 | 58508.833333333336 | 59.213595468177274 |
STANFORD/knightstourmedium/x1wu8Q | 992.1747764608026 | 318091.23333333334 | 320.6 |
DRESDEN/racetrackcorridor/O0DoTA | 998.5926582089553 | 57957.9 | 58.039581528619976 |
DRESDEN/Zhadu/9zpQ5w | 1024.1975516254874 | 26243.1 | 25.623084099693457 |
STANFORD/connectfour/VMpZkQ | 1048.6944229306648 | 244496.13333333333 | 233.14335233143353 |
BASE/majorities/ibJzSQ | 1052.2631351651946 | 107200.6 | 101.87622887992802 |
DRESDEN/crossers3/xiPTxg | 1055.2463890162426 | 3436.370908606093 | 3.256463082341995 |
STANFORD/multiplesukoshi/vLSQPg | 1055.8834446672013 | 131655.5 | 124.68753124687531 |
BASE/crossers3/O0rORg | 1058.159515 | 3502.1 | 3.3096144299189145 |
BASE/chess_200/XsTpYA | 1071.6633034722222 | 3405.0333333333333 | 3.177335010260144 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 1082.9398795952272 | 238980.93333333332 | 220.67793220677933 |
BASE/connectFour/WAIKTw | 1089.0462252235336 | 270655.26666666666 | 248.52504916502784 |
BASE/skirmishNew/sibw2g | 1101.519635610766 | 5895.766666666666 | 5.352393617021277 |
BASE/zhadu/DlA8iQ | 1128.1624833836859 | 24878.2 | 22.051965356429047 |
BASE/knightsTour/mvtVIg | 1138.799986861584 | 307693.5 | 270.19099363354553 |
DRESDEN/golden_rectangle/1uloXw | 1146.5295516380654 | 73475.4 | 64.0850468224081 |
STANFORD/knightstour/cEwgNA | 1149.0460315577177 | 322843.63333333336 | 280.96666666666664 |
BASE/3pConnectFour/PqXOFQ | 1151.3159956558343 | 227899.4 | 197.9468719794687 |
STANFORD/pentago/ZxzLmg | 1167.0260007218133 | 89807.13333333333 | 76.95384102649558 |
BASE/connectFour_9x6/B9TtMw | 1170.304447059812 | 232118.76666666666 | 198.3404978506448 |
STANFORD/pilgrimage/ObRZnQ | 1171.829634445287 | 51488.833333333336 | 43.938838735467534 |
BASE/pentagoSuicide/SBgNhw | 1195.6210938628158 | 88293.0 | 73.84697414022928 |
DRESDEN/Goldrush/VeWczQ | 1234.6984615897436 | 53500.03333333333 | 43.3304446370242 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 1250.8725940463066 | 37814.26666666667 | 30.230310302303103 |
BASE/connectFourLarge/aU644A | 1255.1931847968544 | 159618.73333333334 | 127.16666666666667 |
BASE/sheepAndWolf/g4THrg | 1256.7869565774804 | 25012.766666666666 | 19.902153293174027 |
STANFORD/ttcc4/Cx9SGw | 1297.5806031201248 | 27722.2 | 21.364530213645303 |
BASE/knightfight/SJRkAg | 1310.9561433056326 | 15770.966666666667 | 12.030125299920021 |
BASE/checkersTorusNoKings/pwb6oQ | 1317.322946128423 | 30999.966666666667 | 23.532548915036166 |
BASE/speedChess/bPnisA | 1329.8082071588367 | 6601.633333333333 | 4.964349970013993 |
BASE/checkersTorus/2vm1EQ | 1332.430963395375 | 26242.766666666666 | 19.695404405638683 |
BASE/pentago/86NgKw | 1367.8002925975773 | 101617.4 | 74.2925707429257 |
STANFORD/checkersonabarrelnokings/Zrevdw | 1372.8721206284154 | 33488.03333333333 | 24.392682195341397 |
DRESDEN/quad_7x7/q-JOXg | 1378.4564914772727 | 32337.0 | 23.458847050983007 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 1383.7942694835683 | 39272.26666666667 | 28.380133906265613 |
BASE/checkersBarrelNoKings/rnKNeg | 1413.7979085872578 | 34005.0 | 24.052235325471383 |
DRESDEN/knightfight/4_Ly4w | 1445.2990015999999 | 18053.6 | 12.4912561207155 |
BASE/chineseCheckers2/eCMR3Q | 1445.8021874269007 | 148304.7 | 102.5760655846969 |
BASE/othello-comp2007/86ZoMw | 1445.8445982389053 | 3175.9882674488367 | 2.196631831192172 |
BASE/quad_7x7/q-JOXg | 1448.9388497167138 | 34067.7 | 23.51217237819296 |
BASE/ttcc4_2player/_aH_Mw | 1492.8490674757281 | 30718.9 | 20.577364898611528 |
BASE/chineseCheckers3/-1rZdQ | 1518.004197064057 | 113715.0 | 74.91086007531074 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 1525.4357688634195 | 425901.6666666667 | 279.2 |
DRESDEN/sat_test_20v_91c/dK7nVw | 1526.5152897256469 | 305384.4666666667 | 200.0533297780148 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 1533.9665693090908 | 70290.4 | 45.822641383677144 |
BASE/kalaha6x2x4/XS81Mg | 1555.240977142857 | 7234.4 | 4.651626407947636 |
BASE/dualConnect4/WbCQkg | 1563.1256850615114 | 177848.13333333333 | 113.77724455108978 |
BASE/connectFourLarger/qKi60A | 1615.2663677563148 | 72435.4 | 44.84424454439447 |
BASE/othelloSuicide/B442jg | 1616.7075300346442 | 3094.8919645524247 | 1.9143177767509407 |
BASE/pacman3p/wW7UVQ | 1627.824729780564 | 34590.73333333333 | 21.24966693312017 |
BASE/knightsTourLarge/M8jgLA | 1712.0542704791994 | 180489.36666666667 | 105.42269002731331 |
BASE/chineseCheckers4/avfBcQ | 1712.714800149059 | 102111.06666666667 | 59.619422134835204 |
BASE/copolymer_4_pie/IN5_jA | 1740.441695981363 | 99598.0 | 57.225703239568055 |
BASE/tictactoe_3d_2player/IUC1rQ | 1851.1224683011392 | 82992.83333333333 | 44.83378855505962 |
DRESDEN/CephalopodMicro/H3XQfg | 1870.1214035989717 | 48490.4 | 25.92901183136144 |
BASE/3pttc/0sol9g | 1880.2067519713264 | 40797.76666666667 | 21.698553429771348 |
STANFORD/knightstourbig/TQUI2g | 1910.5950543630017 | 145954.86666666667 | 76.3923607639236 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 1940.9404618119659 | 315350.26666666666 | 162.47292117980336 |
BASE/smallest_4player/ADDROA | 1960.8050297662978 | 70831.53333333334 | 36.123700346574246 |
BASE/ttcc4_2player_alt/ZEJvYA | 1977.330412521739 | 37887.46666666667 | 19.160918391149323 |
BASE/tictactoe_3d_6player/d7KSwg | 1986.1419966971969 | 79403.36666666667 | 39.97869578243068 |
BASE/2pttc/unkkYA | 1987.6620950108463 | 61075.26666666667 | 30.72718789575418 |
BASE/knightThrough/gcwFjA | 2060.345255043228 | 23795.633333333335 | 11.549342652687635 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 2072.463119014873 | 431941.6 | 208.4194387040864 |
BASE/othelloHoles/c0qAzw | 2079.5524160688897 | 4020.0659978000735 | 1.9331400193314001 |
BASE/chineseCheckers6/rREH3A | 2103.019926409496 | 94476.8 | 44.924348463640605 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 2148.414774705616 | 316215.0333333333 | 147.18528147185282 |
STANFORD/skirmish/w4V6Vw | 2249.6027912037034 | 5373.433333333333 | 2.388614271970275 |
BASE/hidato37/pBrqxw | 2254.693585971446 | 40345.566666666666 | 17.894035321559482 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 2262.7758045045043 | 334857.3333333333 | 147.985201479852 |
DRESDEN/smallest_4player/ADDROA | 2263.8953344007323 | 82440.03333333334 | 36.41512577044811 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 2275.2214309968845 | 454407.26666666666 | 199.72001866542232 |
BASE/copolymer_4/2LDVhQ | 2305.3177287842673 | 128905.43333333333 | 55.91655836582358 |
BASE/amazons_8x8/7SOsIw | 2311.0580615023478 | 21851.066666666666 | 9.455005493225022 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 2332.3886672046438 | 366058.4666666667 | 156.94574056792428 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 2353.409902458366 | 98888.7 | 42.01932689103632 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 2377.452576027954 | 487566.76666666666 | 205.07949205079493 |
BASE/cephalopodMicro/9l2D3g | 2419.8276514435697 | 51175.333333333336 | 21.148338106973956 |
DRESDEN/gt_ultimatum/pAiiQw | 2460.23401844078 | 54639.1 | 22.208903539439948 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 2579.3192999999997 | 944.9 | 0.36633696339960703 |
DRESDEN/satlike_20v_91c/yeuENQ | 2585.598681818182 | 945.5 | 0.36567933246900036 |
BASE/bomberman2p/4CClwA | 2629.7387173396673 | 73808.0 | 28.066666666666666 |
BASE/queens06ug/7Lq3tw | 2685.0544984322346 | 203569.13333333333 | 75.81564301662945 |
BASE/wargame02/BkVqqQ | 2717.04336969697 | 5936.533333333334 | 2.1849240242327936 |
DRESDEN/bomberman2p/x4h6jQ | 2816.642369294118 | 79770.3 | 28.32106087362143 |
STANFORD/madness/UO_B3A | 2816.7380333333335 | 6503.666666666667 | 2.3089355806972987 |
BASE/chineseCheckers1/gqtwHw | 2887.361898252154 | 387278.56666666665 | 134.1288623712543 |
BASE/nim3/1OwUqw | 2892.4628059459455 | 89139.7 | 30.81792437114776 |
BASE/dotsAndBoxes/EHwA_w | 2896.5739565530303 | 84929.36666666667 | 29.32062772798454 |
BASE/gt_ultimatum/GE-uOA | 2939.7315759873613 | 62009.73333333333 | 21.093671898430472 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 2949.4274102771365 | 85137.3 | 28.86570447651745 |
DRESDEN/pancakes/hl9aiQ | 2976.6602585209002 | 30802.6 | 10.348040194316896 |
DRESDEN/nim3/sG_axA | 2989.8449904153354 | 93498.0 | 31.27185533020282 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 2998.9720166666666 | 1143.7 | 0.3813640119494057 |
BASE/dotsAndBoxesSuicide/jzQbLw | 3043.756457816092 | 88189.56666666667 | 28.97392346887801 |
BASE/4pttc/AL1k2Q | 3062.453446261682 | 43612.5 | 14.241032807612964 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 3067.1242 | 1000.3666666666667 | 0.32615786040443573 |
DRESDEN/pancakes6/SZXMyQ | 3090.54562829582 | 31992.8 | 10.35182904503545 |
BASE/battlebrushes/arCwyA | 3113.634276923077 | 14837.7 | 4.765395894428153 |
DRESDEN/ghostmaze2p/HY0UwA | 3129.7067891457286 | 103718.96666666666 | 33.14015454303224 |
BASE/mummyMaze2p_2007/YGA3Vw | 3155.805806748239 | 94496.53333333334 | 29.94370982246944 |
BASE/nonogram_5x5_1/qLKEZw | 3158.887382 | 157897.0 | 49.985004498650405 |
DRESDEN/connect5/1kYzSg | 3285.205528735632 | 21949.666666666668 | 6.681367870190567 |
DRESDEN/nim4/F5YAYg | 3293.2194838709675 | 102004.8 | 30.97418817651957 |
BASE/nim4/twk16w | 3343.765896709585 | 103851.96666666666 | 31.05838443081845 |
BASE/pancakes6/QZTdnw | 3483.7173372262773 | 31790.4 | 9.125424631985613 |
BASE/ghostMaze2p/W-NU-w | 3492.5272495545655 | 104497.7 | 29.920367840602406 |
BASE/pancakes/yUgbXw | 3520.8474964028783 | 32528.933333333334 | 9.23894981721502 |
BASE/amazonsSuicide_10x10/XIbQkg | 3660.6654597701145 | 14136.666666666666 | 3.8617750848924697 |
BASE/checkers-mustjump-torus/uSApKQ | 3707.278988636364 | 5415.5 | 1.4607748746721556 |
BASE/queens08ug/kJ_ZFQ | 3832.931401705566 | 142286.83333333334 | 37.122196674331036 |
BASE/queens08lg/Ru7eqQ | 3899.7431421446386 | 156379.7 | 40.1 |
BASE/amazons_10x10/Bun8dA | 4125.13125 | 15298.5 | 3.7086092715231787 |
DRESDEN/battlebrushes/QHXV4A | 4170.92355093395 | 1125.3166244500733 | 0.2698003477426704 |
BASE/queens12ug/u6Bkmg | 5432.203158291458 | 71995.23333333334 | 13.253413253413253 |
BASE/wallmaze/uxNQ9g | 5443.0940221303945 | 131661.43333333332 | 24.1887119344306 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 5494.738266609171 | 424630.0333333333 | 77.2793921620901 |
BASE/kitten_escapes_from_fire/uW-YiA | 5512.340122460909 | 418981.93333333335 | 76.00799733422193 |
STANFORD/platformjumpers/HEQskA | 5641.013915151515 | 30840.533333333333 | 5.467196819085487 |
BASE/nim2/eF2Qqw | 5736.306916739606 | 174643.9 | 30.44535491822391 |
DRESDEN/nim2/z5_exA | 5903.598133701658 | 178062.2 | 30.161639726712213 |
BASE/quad/tw-Ufg | 5915.635714285715 | 12269.466666666667 | 2.074074074074074 |
BASE/mummymaze2p/vpjDdA | 5937.370847326007 | 89909.26666666666 | 15.142942723067195 |
BASE/amazonsTorus_10x10/Uxc08g | 5956.0133787234045 | 9328.6 | 1.5662490002665956 |
DRESDEN/quad/JPe6fg | 6007.589921505377 | 12257.966666666667 | 2.0404133482524847 |
DRESDEN/quartosuicide/WIU1oQ | 6014.9105072 | 24901.1 | 4.139895343445717 |
DRESDEN/mummymaze2p/k-8edg | 6040.480128761062 | 90849.4 | 15.040095830699098 |
DRESDEN/quarto/OQzRYQ | 6464.970213114754 | 26210.5 | 4.054233683370995 |
BASE/queens16ug/gT-ylw | 6533.919158291457 | 43147.5 | 6.603617056578729 |
BASE/nonogram_10x10_1/0Xc62g | 6556.811673372781 | 73770.13333333333 | 11.250915385127488 |
BASE/wargame03/klXI8w | 7011.859193650794 | 14524.466666666667 | 2.0714144801736043 |
BASE/quarto/EwBMVQ | 7066.922248533333 | 29262.133333333335 | 4.140718166158739 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 7279.597230769231 | 9336.5 | 1.282557221783741 |
BASE/quartoSuicide/-23jUg | 7397.015214166668 | 29373.633333333335 | 3.9710116152089743 |
BASE/snake_2008/i6K26g | 7597.21030263158 | 38377.4 | 5.051512130275839 |
BASE/nim1/hin2Qw | 7726.5686036098305 | 223547.93333333332 | 28.932368921035966 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 7780.405405405406 | 9595.833333333334 | 1.2333333333333334 |
DRESDEN/snake_2008/E56l3A | 7867.031241394336 | 40060.433333333334 | 5.092191972309126 |
BASE/snake_2008_tweaked/bX0NJQ | 7980.907520833334 | 40276.833333333336 | 5.0466482950961185 |
DRESDEN/nim1/M9BALA | 8115.321370963996 | 232630.56666666668 | 28.66560127846584 |
BASE/reversi/d8UMeA | 8661.621298214286 | 16013.033333333333 | 1.8487339473771087 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 8771.801712707183 | 52870.333333333336 | 6.027306027306027 |
BASE/wargame01/_GZFZg | 9341.622618181818 | 20305.2 | 2.1736266631537347 |
BASE/reversiSuicide/9OxJlg | 9394.669485454546 | 17047.966666666667 | 1.8146425154244614 |
DRESDEN/hanoi/RQ0jiA | 10976.470866141732 | 232335.3 | 21.166666666666668 |
BASE/checkers-mustjump/T-8UuQ | 10995.630603508771 | 13852.533333333333 | 1.2598216357789345 |
BASE/guess/SPpk1A | 11756.469622510824 | 30125.733333333334 | 2.5624812805750605 |
DRESDEN/quad_5x5/JAEP5g | 12876.052662857144 | 74751.5 | 5.8054670912951165 |
BASE/quad_5x5/JAEP5g | 13050.682412375249 | 72450.76666666666 | 5.551492586929061 |
BASE/hanoi/iGLsJg | 13096.825190476191 | 274978.3333333333 | 20.995800839832032 |
DRESDEN/guess/PhxGhg | 13634.922092982457 | 34200.933333333334 | 2.508333608369913 |
BASE/skirmishZeroSum/zh4hcw | 14081.873092857142 | 6374.566666666667 | 0.4526788889966696 |
DRESDEN/othello-cornercontrol/r5Gdlg | 15871.352139215687 | 8652.566666666668 | 0.5451688419972421 |
BASE/four_way_battle/xSOQXA | 16057.336896732024 | 27132.866666666665 | 1.6897488569345969 |
BASE/colonelBlotto/jip21A | 17620.975806060607 | 6431.866666666667 | 0.3650119458455004 |
DRESDEN/four_way_battle/xSOQXA | 17832.52590576923 | 30624.9 | 1.7173618679612932 |
DRESDEN/pawntoqueen/f_x6Aw | 18927.44598290598 | 24523.933333333334 | 1.2956810631229236 |
BASE/checkers/rOC3Xg | 20040.220563768115 | 15115.766666666666 | 0.7542714721411472 |
BASE/queens31lg/0gID-A | 20425.362924999998 | 21558.533333333333 | 1.0554785935747741 |
DRESDEN/max_knights/hCipiA | 27071.921082857145 | 31404.9 | 1.1600543568327202 |
BASE/max_knights/2fq3Ag | 29109.38096969697 | 31818.8 | 1.093077177873468 |
BASE/pawnToQueen/-O1_JA | 31452.738477192986 | 39435.26666666667 | 1.2537943777220535 |
BASE/checkersSmall/SYmq8w | 31516.673661111112 | 24871.766666666666 | 0.7891621728265158 |
BASE/racer4/0vs7Ww | 31683.68373333333 | 9144.8 | 0.28862805464691166 |
DRESDEN/quad_5x5_8_2/JRTLJg | 32986.47169751244 | 73308.13333333333 | 2.222369643094069 |
DRESDEN/racer/vk_ZBA | 33122.68944444444 | 2738.1666666666665 | 0.08266740148801323 |
BASE/racer/QQYQNw | 33739.70205555556 | 2682.366666666667 | 0.07950178879024777 |
DRESDEN/kalaha_2009/gcC8uA | 36549.63585 | 1738.1 | 0.047554509356349715 |
BASE/kalaha_2009/dRiN3g | 37091.34365 | 1708.7666666666667 | 0.04606914979384055 |
BASE/checkers-newgoals/0XkFiA | 40752.42697142858 | 18022.933333333334 | 0.4422542330048016 |
BASE/blobwars/0XT15Q | 41845.97116666667 | 6089.166666666667 | 0.1455138092604988 |
DRESDEN/blobwars/ZaMluQ | 41876.602000000006 | 5927.5 | 0.1415468236892764 |
BASE/gt_attrition/kD_SCA | 42105.60821428571 | 9665.166666666666 | 0.2295458271847844 |
DRESDEN/battle/8oAvhQ | 46471.47588111112 | 44840.76666666667 | 0.9649094593290662 |
BASE/battle/8oAvhQ | 49219.30816 | 47414.4 | 0.9633292659430993 |
BASE/checkersTiny/Lr48cg | 56885.62654782608 | 43477.53333333333 | 0.7642973448974845 |
BASE/knightmove/jBaJEw | 79429.90922194094 | 208318.26666666666 | 2.6226678175419957 |
DRESDEN/fizzbuzz/t1xHzQ | 80821.84847142856 | 526509.2 | 6.514441453119288 |
DRESDEN/knightmove/97Ipcw | 81577.27964345991 | 212349.83333333334 | 2.603051171373027 |
BASE/hanoi_6_disks/MeubgQ | 87418.35813749999 | 186318.6 | 2.131344078859731 |
DRESDEN/hanoi_6_disks/MeubgQ | 93227.0207037037 | 193729.66666666666 | 2.0780420226275687 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 95560.46639999999 | 7375.2 | 0.07717835918808366 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 96087.04466666665 | 7387.333333333333 | 0.07688167909587146 |
BASE/colonelBlottoVariant2/jruwGw | 99128.60007111111 | 47682.433333333334 | 0.4810159055926116 |
DRESDEN/vacuumcleaner_random/_6AGDA | 129481.49905 | 7358.366666666667 | 0.05682948313585088 |
BASE/colonelBlottoVariant/X-n-KQ | 132893.17194761906 | 61765.63333333333 | 0.46477657526060684 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 166538.477 | 8576.5 | 0.051498609537542483 |
BASE/gt_tinfoil/Q8DyKg | 177528.2425 | 88737.5 | 0.49985004498650404 |
DRESDEN/hitori/S8Gsyg | 219808.72600740741 | 60484.86666666667 | 0.27517045280826735 |
BASE/hitori/S8Gsyg | 227830.37625 | 60633.5 | 0.2661343978709248 |
BASE/ad_game_2x2/D0aWqg | 458427.7164 | 13479.6 | 0.029403981299067895 |
DRESDEN/hanoi7_bugfix/3gdnFw | 651689.436462963 | 183098.83333333334 | 0.2809602597321512 |
BASE/hanoi7_bugfix/3gdnFw | 687728.9888888889 | 194946.8 | 0.28346456692913385 |
DRESDEN/hanoi7/51zz5Q | 788921.8372222222 | 219891.5 | 0.2787240631774543 |
BASE/solitaireChineseCheckers/-ET6gw | 800688.1185 | 51619.0 | 0.06446829771459885 |
BASE/twisty-passages/DiZmmg | 2873287.552 | 151929.33333333334 | 0.05287648054145516 |
DRESDEN/twisty-passages/j7NPyg | 2919833.1708000004 | 153902.23333333334 | 0.052709255745308874 |
BASE/amazons/RKKZjw | Infinity | 204.73333333333332 | 0.0 |
BASE/gt_two_thirds_2p/1APDGg | Infinity | 2698.3333333333335 | 0.0 |
Games with errors:
Game | ALLOY_DIFF_PROP_NET:1 error message | REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 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/god/2EDD5w | 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 | |
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/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/battlesnakes1509/-qZrLw | Test process timed out after 240 seconds | |
BASE/alexChess/LNo83g | Test process timed out after 240 seconds | |
DRESDEN/checkers/jIDMIg | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
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 | |
BASE/god/qF06gw | Test process timed out after 240 seconds | |
BASE/amazonsTorus/soxT8g | 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 | |
DRESDEN/knightwar/7hhAqg | Test process timed out after 240 seconds | |
BASE/merrills/pku8Tg | OutOfMemoryError: GC overhead limit exceeded | |
BASE/queens/HyJJnQ | IllegalArgumentException: too many occurrences: 2147484126 | |
BASE/ruleDepthExponential/UamhHQ | Test process timed out after 240 seconds | |
BASE/gt_two_thirds_4p/DStnxQ | Test process timed out after 240 seconds | |
DRESDEN/queens/mW2wHQ | IllegalArgumentException: too many occurrences: 2147484126 | |
DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/gt_two_thirds_6p/867v3Q | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/slaughter/cOch8A | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/sudoku/NTaNkw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
BASE/mummymaze1p/PT_EXA | Exception of type NullPointerException | Test process timed out after 240 seconds |