Game-by-game performance:
Game | Perf ratio | ALLOY_DIFF_PROP_NET:1 states per second | REKKURA_BACKWARD_PROVER:1.0.0 states per second |
BASE/snakeAssemblit/UO4sdg | 4.14593426738248 | 2110.8333333333335 | 509.1333333333333 |
DRESDEN/smallest/9kaGFw | 5.564349070100143 | 3241.233333333333 | 582.5 |
DRESDEN/Travelers-Dilemma/PvZwYw | 6.959206857153627 | 177.12742908569714 | 25.45224372855382 |
BASE/pancakes88/l2Xaig | 7.515610878661088 | 179.53333333333333 | 23.888055972013994 |
DRESDEN/8puzzle/8fKC2w | 15.01946198553661 | 33853.36666666667 | 2253.9666666666667 |
BASE/coloredtrails/EZvr7g | 16.58452023988006 | 26548.5 | 1600.8 |
BASE/eightPuzzle/vLrgFg | 17.349939469533 | 31529.466666666667 | 1817.2666666666667 |
STANFORD/breakthrough/d5j0cQ | 17.45430127308853 | 15812.433333333332 | 905.9333333333333 |
DRESDEN/amazons/dNB28A | 18.1995277294686 | 209.26666666666668 | 11.498466871083856 |
STANFORD/eightpuzzle/W_aWbA | 20.389407034837188 | 37645.066666666666 | 1846.3051231625614 |
STANFORD/8puzzle/jNiGtw | 20.456498999871542 | 37157.86666666667 | 1816.4333333333334 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 23.94140375 | 944.9 | 39.46719289590528 |
DRESDEN/satlike_20v_91c/yeuENQ | 24.115858898305085 | 945.5 | 39.20656543841579 |
DRESDEN/pancakes6/SZXMyQ | 24.43815246728115 | 31992.8 | 1309.1333333333334 |
DRESDEN/pancakes/hl9aiQ | 24.452976978036514 | 30802.6 | 1259.6666666666667 |
BASE/shmup/ssTNlg | 25.78498865765855 | 17428.933333333334 | 675.9333333333333 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 26.026781034482756 | 1000.3666666666667 | 38.43605036447979 |
BASE/roshambo2/KNPokQ | 26.290315411257012 | 141949.3 | 5399.3 |
DRESDEN/roshambo2/jgSlkQ | 27.252342330193102 | 141458.73333333334 | 5190.7 |
BASE/tron_10x10/7ZTgDg | 27.76920859538784 | 35322.433333333334 | 1272.0 |
DRESDEN/javastrike/whONTQ | 28.084270989761094 | 7679.6 | 273.4484367708819 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 28.644919583333333 | 1143.7 | 39.926800865080686 |
BASE/kalaha6x2x4/XS81Mg | 29.25451333063755 | 7234.4 | 247.2917569414353 |
DRESDEN/blocks2player/3ev8nQ | 29.31593776013319 | 137348.1 | 4685.1 |
DRESDEN/blocksworldparallel/2JfVaw | 29.817914197118974 | 75967.1 | 2547.7 |
BASE/blocks2player/wnTLOQ | 29.82444121166952 | 138726.4 | 4651.433333333333 |
DRESDEN/sum15/CsgWKg | 31.117884889804976 | 157008.4 | 5045.6 |
BASE/sum15/QZ07Kg | 31.672807673721213 | 159484.2 | 5035.366666666667 |
DRESDEN/mimikry/GJEhwA | 34.22444289407806 | 27798.233333333334 | 812.2333333333333 |
BASE/kalaha5x2x3/WviNsw | 35.36020855587771 | 15446.666666666666 | 436.83754416372244 |
DRESDEN/tictictoe/LAUtwg | 35.80596542167085 | 90433.93333333333 | 2525.6666666666665 |
STANFORD/dualhunter/1rPZjQ | 36.08532254245679 | 55882.933333333334 | 1548.6333333333334 |
DRESDEN/chomp/-LcqYQ | 36.32606816924779 | 70056.03333333334 | 1928.5333333333333 |
BASE/blocks/xIV5hQ | 37.27364816596341 | 260883.23333333334 | 6999.133333333333 |
DRESDEN/tictactoex9/rFkD4w | 37.652364090814416 | 24102.533333333333 | 640.1333333333333 |
BASE/gt_dollar/TGjqRw | 38.32647353379418 | 104603.16666666667 | 2729.266666666667 |
BASE/tictactoex9/BI26ow | 38.78904950083194 | 24866.366666666665 | 641.0666666666667 |
DRESDEN/hallway/0H4l-Q | 38.9212522576761 | 10774.7 | 276.8333333333333 |
BASE/hallway/ckCJOw | 39.184964378085105 | 10671.966666666667 | 272.3485100993267 |
BASE/eotcitcit/V_9_bg | 39.97903967351999 | 103188.56666666667 | 2581.0666666666666 |
BASE/pancakes6/QZTdnw | 39.9946322234337 | 31790.4 | 794.8666666666667 |
BASE/hodgepodge/9yjRkw | 40.08669058223664 | 132604.1 | 3307.9333333333334 |
DRESDEN/sheep_and_wolf/enAIzQ | 40.68488726685993 | 24793.9 | 609.4130195660144 |
BASE/pancakes/yUgbXw | 41.01319660418593 | 32528.933333333334 | 793.1333333333333 |
BASE/blocksWorld/SEdXLQ | 41.406670688940004 | 292816.93333333335 | 7071.733333333334 |
DRESDEN/blocks/vg0DRw | 41.64153107200952 | 289274.0 | 6946.766666666666 |
DRESDEN/tictactoeparallel/yk_DSg | 41.70744948225595 | 55315.2 | 1326.2666666666667 |
BASE/chomp/-LcqYQ | 43.968006114872246 | 80531.8 | 1831.6 |
DRESDEN/latenttictactoe/kITHKg | 45.432972492701595 | 83519.43333333333 | 1838.3 |
STANFORD/tictictoe/rpt_Dw | 47.21721801514548 | 106621.2 | 2258.1 |
STANFORD/hunter/14dD-g | 47.28373316824021 | 101833.4 | 2153.6666666666665 |
DRESDEN/logistics/fPru1Q | 47.43403261647396 | 41980.7 | 885.0333333333333 |
DRESDEN/chickentoetictac/cxYaRQ | 47.64645678820255 | 183734.26666666666 | 3856.2 |
BASE/ticTicToe/c1OobQ | 48.27192916295838 | 106669.7 | 2209.766666666667 |
BASE/toetictac/mTThmg | 48.327900273603824 | 220204.46666666667 | 4556.466666666666 |
BASE/tictactoe_orthogonal/WRzlVw | 48.62239932750287 | 200515.53333333333 | 4123.933333333333 |
BASE/incredible/8Qh-6Q | 48.81973934483973 | 115499.36666666667 | 2365.8333333333335 |
STANFORD/duidoku/3SoMaA | 49.02641182974019 | 7882.133333333333 | 160.77320446592233 |
DRESDEN/toetictac/mJtxCA | 49.16636935639168 | 219575.36666666667 | 4465.966666666666 |
BASE/doubletictactoe/HH1htg | 49.753544556482574 | 97203.5 | 1953.7 |
BASE/catcha_mouse/cHv4dw | 49.859895064764714 | 60819.1 | 1219.8 |
DRESDEN/blockerparallel/dVQgSg | 49.96412713622444 | 33718.0 | 674.844171860938 |
BASE/blockerParallel/7-nDJA | 50.050844081470046 | 33502.36666666667 | 669.3666666666667 |
BASE/blocksWorldParallel/RseaAQ | 50.060114786107334 | 84606.6 | 1690.1 |
DRESDEN/cube_2x2x2/fp-34Q | 50.126428629879165 | 61256.166666666664 | 1222.0333333333333 |
BASE/numbertictactoe/rvJ-iQ | 50.19856648541769 | 101551.7 | 2023.0 |
BASE/chickentoetictac/l57rfQ | 50.3429545175061 | 191044.8 | 3794.866666666667 |
DRESDEN/quad_7x7/q-JOXg | 50.48449208992506 | 32337.0 | 640.5333333333333 |
BASE/sudokuGrade6H/ieE_9A | 50.79891008174387 | 9321.6 | 183.5 |
DRESDEN/bidding-tictactoe/yW5vTA | 51.78842279739896 | 67696.1 | 1307.1666666666667 |
BASE/ticTacToeParallel/ymRGPw | 52.23719978253222 | 54446.833333333336 | 1042.3 |
DRESDEN/doubletictactoe/lJzgmQ | 52.89985543435405 | 107337.33333333333 | 2029.0666666666666 |
BASE/quad_7x7/q-JOXg | 52.957718016477536 | 34067.7 | 643.3 |
DRESDEN/tpeg/h-Scbg | 53.22001845018451 | 38460.333333333336 | 722.6666666666666 |
BASE/sudokuGrade6E/ihYFZA | 53.46446865671642 | 9432.6 | 176.42745241825273 |
DRESDEN/peg/Vo31eg | 53.4812584269663 | 39665.26666666667 | 741.6666666666666 |
DRESDEN/circlesolitaire/ruUilQ | 53.66215590555019 | 220216.96666666667 | 4103.766666666666 |
BASE/sudokuGrade4/DTy07w | 53.67700792830058 | 10381.133333333333 | 193.4 |
STANFORD/sudoku/oJ1qyQ | 53.98961504028649 | 10051.066666666668 | 186.16666666666666 |
BASE/circlesolitaire/azuQFQ | 54.007938521470834 | 219972.53333333333 | 4072.9666666666667 |
BASE/tpeg/QNs7Lw | 54.05829702595189 | 38049.833333333336 | 703.8666666666667 |
BASE/sudokuGrade2/u80Tfw | 54.084211279972976 | 10674.8 | 197.3736835088655 |
BASE/onestep/xi53wA | 54.50058937989435 | 838404.3666666667 | 15383.4 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 54.93004661928669 | 224656.56666666668 | 4089.866666666667 |
BASE/coins/QnGtnQ | 54.94486203384899 | 75534.53333333334 | 1374.7333333333333 |
BASE/coins_atomic/AA3SSw | 55.05876581968018 | 74828.53333333334 | 1359.0666666666666 |
DRESDEN/bunk_t/7-tPfA | 55.15801973574176 | 109929.93333333333 | 1993.0 |
DRESDEN/peg_bugfixed/u_B7MA | 55.55344265307059 | 40315.13333333333 | 725.7 |
DRESDEN/coins/QwFP9w | 55.79582800354226 | 75607.06666666667 | 1355.0666666666666 |
BASE/sudokuGrade1/tDRNRw | 55.867297537379066 | 10586.5 | 189.49368354388187 |
DRESDEN/3pffa/0YrmQw | 55.87126648759171 | 46453.23333333333 | 831.4333333333333 |
BASE/doubletoetictac/fu35bg | 56.01285711843253 | 109204.53333333334 | 1949.6333333333334 |
DRESDEN/tictactoe/BTTzPw | 56.27401099298474 | 207493.53333333333 | 3687.2 |
BASE/sudokuGrade5/BQfUQA | 56.27881865868685 | 10656.266666666666 | 189.34773189347732 |
DRESDEN/chickentictactoe/Ipbo-g | 56.4747989906766 | 176065.83333333334 | 3117.6 |
BASE/sudokuGrade3/eI8dvg | 56.811709432598484 | 10479.866666666667 | 184.46666666666667 |
DRESDEN/doubletoetictac/V89gKQ | 57.00372191490814 | 111294.06666666667 | 1952.4 |
DRESDEN/3pttc/uwYBZw | 57.436594997806054 | 47995.933333333334 | 835.6333333333333 |
DRESDEN/catcha_mouse/cHv4dw | 58.07809670160803 | 70549.4 | 1214.7333333333333 |
DRESDEN/stratego/Z2wovg | 58.570187630298825 | 39331.833333333336 | 671.5333333333333 |
DRESDEN/troublemaker01/C-lPWw | 58.7568314707408 | 664563.2666666667 | 11310.4 |
BASE/hex/T1MK8g | 58.93037757437071 | 7725.0 | 131.0868913108689 |
DRESDEN/lightsout2/LFtfyQ | 59.438254536650454 | 173201.43333333332 | 2913.9724018398774 |
DRESDEN/troublemaker02/iZLVuA | 59.96705904756531 | 566824.6333333333 | 9452.266666666666 |
DRESDEN/knightstour/cGISAA | 60.171423296459835 | 130365.4 | 2166.5666666666666 |
BASE/nineBoardTicTacToePie/B8LzeQ | 60.43445044273951 | 45423.03333333333 | 751.6082797240092 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 61.15514824797844 | 37814.26666666667 | 618.3333333333334 |
STANFORD/hex/MTqWcw | 61.32347261904762 | 8069.9 | 131.59561347955068 |
DRESDEN/lightsout/XgLpzQ | 61.51545511401905 | 170488.03333333333 | 2771.4666666666667 |
BASE/switches/tPUoCg | 61.68220796812329 | 390100.9 | 6324.366666666667 |
BASE/troublemaker01/s3tlEQ | 61.72988670844032 | 687633.9 | 11139.4 |
BASE/racetrackcorridor/_RkdUg | 61.76161154116819 | 58508.833333333336 | 947.3333333333334 |
BASE/haystack/UkweGA | 61.856778758830075 | 850260.6 | 13745.633333333333 |
BASE/blocksWorldSerial/Wyg96Q | 62.25350934695631 | 183602.2 | 2949.266666666667 |
STANFORD/duikoshi/tpw1sw | 62.35778513961192 | 83449.26666666666 | 1338.2333333333333 |
BASE/biddingTicTacToe/8mESVw | 62.59882074783268 | 71485.76666666666 | 1141.9666666666667 |
BASE/troublemaker02/DI83KA | 62.61223457131271 | 581569.5666666667 | 9288.433333333332 |
BASE/cittaceot/fDxhXg | 62.61239121835443 | 42209.1 | 674.1333333333333 |
DRESDEN/gt_prisoner/huCp4w | 62.96804297276237 | 39504.833333333336 | 627.3790873637546 |
DRESDEN/eotcatcit/mQUxzA | 63.21224717587515 | 218979.86666666667 | 3464.2 |
BASE/brain_teaser_extended/ZDp94A | 64.48724531211948 | 211844.9 | 3285.0666666666666 |
BASE/bunk_t/xbpfIA | 64.61237351633346 | 123026.26666666666 | 1904.0666666666666 |
STANFORD/3puzzle/41ibjA | 64.79329123236106 | 226061.63333333333 | 3488.9666666666667 |
BASE/eotcatcit/AfZSzA | 65.09767772511849 | 228926.83333333334 | 3516.6666666666665 |
STANFORD/trifecta/ss1kyQ | 65.20025330396476 | 197339.43333333332 | 3026.6666666666665 |
BASE/hexPie/48CH6Q | 65.43334820485745 | 8261.5 | 126.25824945003666 |
BASE/chickentictactoe/DSlZCA | 65.58581940285842 | 180345.7 | 2749.766666666667 |
BASE/quad/tw-Ufg | 65.67129733071756 | 12269.466666666667 | 186.83149511845656 |
DRESDEN/brain_teaser_extended/ZDp94A | 65.74082535762066 | 212934.53333333333 | 3239.0 |
BASE/nim3/1OwUqw | 65.78575645756457 | 89139.7 | 1355.0 |
STANFORD/threepuzzle/41ibjA | 66.05813701116767 | 223197.23333333334 | 3378.8 |
DRESDEN/racetrackcorridor/O0DoTA | 66.66680725432307 | 57957.9 | 869.3666666666667 |
BASE/survival/YVIjJA | 66.92953254889109 | 707976.1333333333 | 10577.933333333332 |
DRESDEN/nim3/sG_axA | 68.10751748251748 | 93498.0 | 1372.8 |
DRESDEN/quad/JPe6fg | 68.24791832745717 | 12257.966666666667 | 179.60938541527796 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 68.43447955390334 | 39272.26666666667 | 573.8666666666667 |
STANFORD/tictactoe/ss1kyQ | 69.16737756029966 | 212970.96666666667 | 3079.0666666666666 |
DRESDEN/crossers3/xiPTxg | 70.0175153292564 | 3436.370908606093 | 49.07873254922867 |
BASE/buttons/hTcUjw | 70.79010607457614 | 568147.2333333333 | 8025.8 |
BASE/crossers3/O0rORg | 71.13744360189573 | 3502.1 | 49.23005132991134 |
DRESDEN/buttons/ADUaHw | 71.33465390117752 | 561788.9333333333 | 7875.4 |
STANFORD/jointbuttonsandlights/qAKuIQ | 72.07786312082183 | 328129.6666666667 | 4552.433333333333 |
BASE/double_tictactoe_dengji/zgaSbA | 72.48674445854897 | 98978.23333333334 | 1365.4666666666667 |
STANFORD/triplesukoshi/Iu9mbA | 72.59429818994187 | 95318.73333333334 | 1313.0333333333333 |
BASE/4pffa/Q3ADlg | 72.60887109266943 | 32662.133333333335 | 449.8366775548297 |
BASE/ticTacHeaven/18n58A | 72.776750142288 | 51147.5 | 702.8 |
BASE/withConviction/3Xm54A | 72.98598548418735 | 111622.33333333333 | 1529.3666666666666 |
BASE/snakeParallel/RCVNtw | 73.37551742799889 | 167215.46666666667 | 2278.9 |
DRESDEN/nim4/F5YAYg | 73.87547980590493 | 102004.8 | 1380.7666666666667 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 74.24172898634096 | 184983.16666666666 | 2491.633333333333 |
BASE/lightsOnSimul4/9FeASw | 74.38049558262324 | 94854.96666666666 | 1275.2666666666667 |
DRESDEN/chinesecheckers1/Y-ftaA | 74.66159719418128 | 48073.0 | 643.8785373820873 |
BASE/ticTacToe/JRFsaQ | 74.98761103319309 | 235251.13333333333 | 3137.2 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 75.13093602376371 | 191381.03333333333 | 2547.3 |
BASE/snake2p/I3wWPQ | 75.26513866181325 | 81329.0 | 1080.5666666666666 |
BASE/lightsOnSimultaneous/_VN6lw | 75.32822106614418 | 111493.3 | 1480.1 |
BASE/nim4/twk16w | 75.5745057610673 | 103851.96666666666 | 1374.1666666666667 |
DRESDEN/tictactoe-init1/3ltIBQ | 76.68101955487168 | 262449.93333333335 | 3422.6192460251323 |
BASE/stateSpaceLarge/0Ge_CQ | 76.81996252767843 | 285639.6666666667 | 3718.3 |
BASE/aipsrovers01/4C4jsw | 77.33078962875663 | 87486.9 | 1131.3333333333333 |
DRESDEN/snake_2009/zIYLVw | 77.3532295851423 | 35632.86666666667 | 460.6513116229459 |
DRESDEN/aipsrovers01/qS47Mw | 77.38225517018209 | 87681.83333333333 | 1133.1 |
BASE/kalaha_2009/dRiN3g | 77.41769703368527 | 1708.7666666666667 | 22.07204208003196 |
STANFORD/dualrainbow/G3OnRQ | 77.71548242597393 | 293780.06666666665 | 3780.2 |
DRESDEN/snake_2009_big/DgC1NQ | 78.02084003253982 | 30369.9 | 389.2536915436152 |
BASE/snake_2009_big/-oRfVw | 78.13894718433019 | 29786.566666666666 | 381.2 |
BASE/3pffa/pR0dzA | 78.19455010288706 | 41800.2 | 534.5666666666667 |
BASE/escortLatch/mX9BjQ | 78.24032634568088 | 34285.23333333333 | 438.20411972535163 |
BASE/knightazons/apnJBQ | 78.61519004444445 | 3928.5333333333333 | 49.971682713129226 |
DRESDEN/kalaha_2009/gcC8uA | 78.96390771558245 | 1738.1 | 22.01132201132201 |
DRESDEN/Thief_Police/CX18rA | 78.97498260858151 | 200562.23333333334 | 2539.5666666666666 |
BASE/snake_2009/7l-qAQ | 79.19743121841663 | 37613.5 | 474.93333333333334 |
BASE/gt_prisoner/klthDw | 79.23323988298392 | 43335.3 | 546.9333333333333 |
DRESDEN/catch_me/ghGWrA | 79.24310823557546 | 198823.6 | 2509.0333333333333 |
BASE/gt_centipede/9fRMpw | 79.75558661569809 | 157870.86666666667 | 1979.4333333333334 |
BASE/lightsOut/5P1ZBw | 79.80783784184831 | 179277.66666666666 | 2246.366666666667 |
BASE/gt_staghunt/xPjLRA | 80.94932768924302 | 43345.666666666664 | 535.4666666666667 |
BASE/maze/cCX3qQ | 81.10055499523266 | 490504.26666666666 | 6048.1 |
DRESDEN/knightazons/02I8BQ | 81.43023261065943 | 4005.8333333333335 | 49.19344087455006 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 81.68051142573906 | 107113.1 | 1311.3666666666666 |
BASE/tictactoe-init1/7M19vA | 82.00201600709634 | 271169.73333333334 | 3306.866666666667 |
STANFORD/tictactoe7/-bE9-A | 82.06471113188705 | 257480.76666666666 | 3137.5333333333333 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 82.63910078127704 | 477395.06666666665 | 5776.866666666667 |
BASE/blockerSerial/3eqDuw | 84.24751858896767 | 81200.56666666667 | 963.8333333333334 |
BASE/tictactoe_3player/GtM71g | 84.2634988377853 | 73710.9 | 874.7666666666667 |
STANFORD/rainbow/_4qNSQ | 84.55007199525679 | 499113.1666666667 | 5903.166666666667 |
BASE/stateSpaceSmall/Q7osKA | 84.90928699422605 | 767630.9 | 9040.6 |
DRESDEN/backgammon/mqCW0Q | 84.94668886398405 | 26527.966666666667 | 312.28959034698846 |
BASE/simultaneousWin2/PfjRjw | 85.17218610579987 | 111362.63333333333 | 1307.5 |
BASE/pearls/6k_mEQ | 85.48803286601672 | 808770.9333333333 | 9460.633333333333 |
STANFORD/bestbuttonsandlights/nm0wEA | 86.31342779803703 | 434723.3333333333 | 5036.566666666667 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 87.80036432513754 | 322932.6666666667 | 3678.0333333333333 |
BASE/ticTacHeavenFC/mrletw | 88.17902275369886 | 56285.73333333333 | 638.3120562647912 |
BASE/rubiksCube/9tNO9Q | 88.22559306569345 | 25785.4 | 292.26666666666665 |
DRESDEN/tictactoe_3player/ESLQQQ | 88.86084841008771 | 86443.83333333333 | 972.8 |
DRESDEN/frogs_and_toads/GjchhQ | 89.07191696440937 | 21437.466666666667 | 240.67593240675933 |
DRESDEN/gt_chicken/CeuKtw | 89.90968222779321 | 44232.566666666666 | 491.96666666666664 |
DRESDEN/blocker/S815zQ | 91.2201896787423 | 355880.36666666664 | 3901.3333333333335 |
DRESDEN/statespacesmall/h-NqjA | 91.46088634667224 | 788292.2333333333 | 8618.9 |
BASE/slidingpieces/uFJWEw | 91.71154402944947 | 73910.33333333333 | 805.9 |
BASE/2pffa_zerosum/o0_uZA | 93.0757750950951 | 51655.333333333336 | 554.9815006166461 |
STANFORD/buttonsandlights/eyhJpA | 93.70101665775456 | 922886.3 | 9849.266666666666 |
DRESDEN/slidingpieces/s9_44g | 95.2770347164592 | 76536.66666666667 | 803.3065564481184 |
STANFORD/nineboardtictactoe/y28P-A | 95.6872796437187 | 68754.5 | 718.5333333333333 |
DRESDEN/point_grab/r5DPmQ | 95.94557280576097 | 413029.7 | 4304.833333333333 |
BASE/gt_chicken/gmepTQ | 96.31222623530316 | 41777.03333333333 | 433.76666666666665 |
BASE/nineBoardTicTacToe/wRmqqA | 96.91634945251187 | 68742.76666666666 | 709.3 |
DRESDEN/towerworld/HCX34w | 97.71999587109767 | 3232.7 | 33.08125395609155 |
BASE/stateSpaceMedium/3bUoIw | 97.95036832867771 | 528318.1666666666 | 5393.733333333334 |
BASE/smallest_4player/ADDROA | 98.98993019673608 | 70831.53333333334 | 715.542815239492 |
BASE/futoshiki4/BaCwSw | 99.10038849298091 | 138598.5 | 1398.5666666666666 |
STANFORD/tictactoe5/WFRReg | 99.42369722843395 | 293439.1 | 2951.4 |
BASE/2pffa/6oHijA | 101.0686229470541 | 58666.96666666667 | 580.4666666666667 |
BASE/ticblock/T21C1g | 101.24220097527736 | 158481.16666666666 | 1565.3666666666666 |
DRESDEN/statespacemedium/dVJZ_w | 102.77193350011706 | 555948.2 | 5409.533333333334 |
DRESDEN/ticblock/Z2yNWQ | 102.98266968814072 | 159056.73333333334 | 1544.5 |
BASE/tictactoe2/bhrDoQ | 103.37931743068994 | 402469.4666666667 | 3893.133333333333 |
BASE/ticTacToeSerial/Amrwqw | 103.89904553187807 | 120103.83333333333 | 1155.9666666666667 |
DRESDEN/Goldrush/VeWczQ | 104.21078431588971 | 53500.03333333333 | 513.3828872370921 |
DRESDEN/connect4/T0-rHQ | 105.22461248012719 | 70598.7 | 670.9333333333333 |
DRESDEN/skirmish3/3LU8Nw | 105.38674340836013 | 6554.4 | 62.193780621937805 |
DRESDEN/grid_game/U7_Yeg | 105.66186420905272 | 60382.23333333333 | 571.4666666666667 |
DRESDEN/statespacelarge/8-y5HQ | 105.68795160624765 | 401258.4 | 3796.633333333333 |
BASE/dotsAndBoxes/EHwA_w | 106.41888731100158 | 84929.36666666667 | 798.0666666666667 |
DRESDEN/pawn_whopping/4ogBkg | 107.19385624813599 | 119807.0 | 1117.6666666666667 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 107.74922146098407 | 80732.9 | 749.2666666666667 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 108.88743316344079 | 116077.63333333333 | 1066.0333333333333 |
STANFORD/sukoshi/4LYZZQ | 108.98995026275077 | 284140.43333333335 | 2607.0333333333333 |
STANFORD/alquerquezero/uVgA_A | 109.18115266308996 | 31202.933333333334 | 285.7904736508783 |
BASE/dotsAndBoxesSuicide/jzQbLw | 110.73895821055862 | 88189.56666666667 | 796.3734542181927 |
DRESDEN/tictactoelarge/IwXcbg | 111.23886530557239 | 275149.3333333333 | 2473.5 |
BASE/futoshiki5/TJ4BZg | 111.51941314054858 | 87412.63333333333 | 783.8333333333334 |
DRESDEN/tictactoelargesuicide/6J4DeA | 111.82027353837326 | 272800.4666666667 | 2439.633333333333 |
BASE/futoshiki6/JmvXNA | 114.04489216609853 | 61335.1 | 537.8154061531283 |
DRESDEN/smallest_4player/ADDROA | 114.43117568130293 | 82440.03333333334 | 720.4333333333333 |
BASE/blocker/dIWtxg | 114.79904883886954 | 364494.63333333336 | 3175.0666666666666 |
BASE/connect4/50bOyw | 114.85193633414436 | 75526.63333333333 | 657.6 |
BASE/beatMania/qUHwvQ | 115.36650816979338 | 222407.4 | 1927.8333333333333 |
BASE/snake_2008/i6K26g | 115.72624157201729 | 38377.4 | 331.6222792573581 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 115.9538735241792 | 238980.93333333332 | 2061.0 |
DRESDEN/brawl/2kXtfQ | 116.4050331081081 | 4593.2 | 39.45877491168433 |
BASE/duplicateStateSmall/bCPAXw | 116.97681444955644 | 708520.7666666667 | 6056.933333333333 |
BASE/pegEuro/5awwhg | 118.14182869216143 | 37275.2 | 315.51229918005464 |
BASE/brawl/6Ymo_Q | 118.3514001423285 | 4617.033333333334 | 39.01122697138288 |
DRESDEN/Runners/3bOCQw | 119.06497744232898 | 139873.56666666668 | 1174.7666666666667 |
DRESDEN/grid_game2/kypTYQ | 121.50023384353742 | 190512.36666666667 | 1568.0 |
BASE/breakthroughSmallHoles/bxclRw | 121.62138789927224 | 133138.93333333332 | 1094.7 |
DRESDEN/snake_2008/E56l3A | 121.73535104493737 | 40060.433333333334 | 329.07806146256917 |
BASE/point_grab/V_osUg | 122.1420823330666 | 412119.6 | 3374.1 |
BASE/snake_2008_tweaked/bX0NJQ | 122.65810577606335 | 40276.833333333336 | 328.3666666666667 |
DRESDEN/lightson2x2/gBHuig | 122.98220129845478 | 539871.3666666667 | 4389.833333333333 |
BASE/nim2/eF2Qqw | 123.60669544907635 | 174643.9 | 1412.9 |
BASE/cubicup_3player/e2yA_g | 123.95978418753151 | 49175.7 | 396.70688620758614 |
STANFORD/freeforall/Lfp40Q | 125.14231564438317 | 60527.166666666664 | 483.6666666666667 |
BASE/ticTacToeLargeSuicide/727_8g | 125.18652212031293 | 247502.1 | 1977.0666666666666 |
DRESDEN/cubicup_3player/awDtsQ | 125.99120146396398 | 52205.53333333333 | 414.3585641435856 |
BASE/peg/fJHVWw | 126.11802408867676 | 40516.166666666664 | 321.2559581347288 |
DRESDEN/capture_the_king/EQ229Q | 126.65694851411588 | 5678.7 | 44.83528196928817 |
BASE/ticTacToeLarge/TZC0dg | 126.82152239590174 | 257464.6 | 2030.1333333333334 |
BASE/breakthroughSuicideSmall/XSbJog | 126.89840310320459 | 45887.63333333333 | 361.6092260515966 |
DRESDEN/nim2/z5_exA | 127.41177312407576 | 178062.2 | 1397.5333333333333 |
BASE/skirmishHoles/AUCxCA | 127.55749019607843 | 4045.6666666666665 | 31.71641791044776 |
BASE/breakthroughSmall/HJ0tIA | 127.8106041179744 | 45933.6 | 359.38802039932 |
STANFORD/untwistycorridor/EDPPAQ | 128.29498662383565 | 836042.8333333334 | 6516.566666666667 |
BASE/guess/SPpk1A | 129.8379723794474 | 30125.733333333334 | 232.0255991466951 |
BASE/untwistycomplex2/EDPPAQ | 131.60861869989805 | 847695.5 | 6441.033333333334 |
BASE/lightsOnParallel/SC6enA | 133.32712054534474 | 515042.6666666667 | 3863.0 |
BASE/pawnWhopping/Ypc_6Q | 134.98848677423348 | 109039.2 | 807.7666666666667 |
STANFORD/multipletictactoe/_bkafQ | 136.13755387931036 | 84223.76666666666 | 618.6666666666666 |
DRESDEN/hanoi/RQ0jiA | 138.39917000913385 | 232335.3 | 1678.7333333333333 |
BASE/skirmish/Y_psYQ | 138.84826178428762 | 3471.9 | 25.004994339748286 |
BASE/factoringGeorgeForman/HGRorQ | 139.9639190821256 | 896216.9666666667 | 6403.2 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 140.4429670916711 | 52870.333333333336 | 376.4541181960601 |
BASE/copolymer_4_pie/IN5_jA | 141.54144954997633 | 99598.0 | 703.6666666666666 |
STANFORD/tictactoe3/X7myng | 143.4637106350639 | 402712.2 | 2807.0666666666666 |
BASE/lightsOn/MsXu3A | 143.65446839770578 | 847393.7666666667 | 5898.833333333333 |
BASE/mineClearingSmall/frsbvw | 144.1243570577281 | 38696.1 | 268.4910502983234 |
BASE/strangeSkirmish/gc1zKA | 146.97786413943354 | 3744.0666666666666 | 25.473677200226433 |
DRESDEN/guess/PhxGhg | 147.72479151550053 | 34200.933333333334 | 231.51789880674622 |
BASE/racer/QQYQNw | 148.0725569852941 | 2682.366666666667 | 18.115218115218116 |
BASE/battlebrushes/arCwyA | 148.5252781479014 | 14837.7 | 99.90016638935109 |
BASE/asteroidsParallel/WauZiA | 148.5540961098398 | 108196.9 | 728.3333333333334 |
BASE/queens12ug/u6Bkmg | 149.7508840047147 | 71995.23333333334 | 480.76666666666665 |
DRESDEN/racer/vk_ZBA | 150.4039408897014 | 2738.1666666666665 | 18.20541835851694 |
DRESDEN/skirmish/RjGQYQ | 151.37003584905662 | 6413.6 | 42.37034076146697 |
STANFORD/multiplebuttonsandlights/cK70Yg | 151.572190830872 | 786861.7666666667 | 5191.333333333333 |
BASE/queens08ug/kJ_ZFQ | 151.99960830395614 | 142286.83333333334 | 936.1 |
BASE/minichess/8NQEiA | 152.426220786469 | 39751.433333333334 | 260.79130695643477 |
BASE/othelloSuicide/B442jg | 154.08250691182147 | 3094.8919645524247 | 20.085939842110523 |
BASE/conn4/va9Y7A | 154.1363085971285 | 178212.4 | 1156.2 |
BASE/endgame/jYjfOA | 154.63542411412791 | 11197.4 | 72.41160985037823 |
BASE/qyshinsu/R08Lzw | 154.92347882464156 | 32773.36666666667 | 211.54551211545513 |
DRESDEN/golden_rectangle/1uloXw | 155.12564921885996 | 73475.4 | 473.6508783040565 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 155.31187584073177 | 44899.166666666664 | 289.09036365454483 |
DRESDEN/gt_ultimatum/pAiiQw | 156.47457417907597 | 54639.1 | 349.1883603879871 |
BASE/nim1/hin2Qw | 157.17722883659886 | 223547.93333333332 | 1422.2666666666667 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 157.9380873855394 | 785362.9333333333 | 4972.6 |
BASE/golden_rectangle/_nYzfw | 158.31062202398292 | 72461.63333333333 | 457.7180760641312 |
BASE/othello-comp2007/86ZoMw | 159.14347876808213 | 3175.9882674488367 | 19.956760352569432 |
BASE/queens16ug/gT-ylw | 159.31915661538463 | 43147.5 | 270.8243058564714 |
DRESDEN/skirmish2/iPpWhQ | 160.97538222550466 | 7261.966666666666 | 45.112280935563405 |
BASE/asteroids/BKCmPQ | 162.54132837462677 | 206871.76666666666 | 1272.7333333333333 |
DRESDEN/nim1/M9BALA | 162.74700340469195 | 232630.56666666668 | 1429.4 |
DRESDEN/4pttc/9pB9AQ | 166.21063132132798 | 49839.36666666667 | 299.8566714442852 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 168.12063406138205 | 476207.3 | 2832.5333333333333 |
BASE/choicethroughalt/tt71Lg | 168.28253050422086 | 16388.533333333333 | 97.38701506465804 |
BASE/hanoi/iGLsJg | 169.2556269106875 | 274978.3333333333 | 1624.6333333333334 |
BASE/copolymer_4/2LDVhQ | 171.13612426428287 | 128905.43333333333 | 753.2333333333333 |
DRESDEN/tttcc4/sAvtFg | 173.60619528929854 | 18833.133333333335 | 108.48191968005332 |
DRESDEN/knightthrough/J7Fc_Q | 173.98818591747292 | 23377.433333333334 | 134.3621879270691 |
BASE/queens06ug/7Lq3tw | 174.66249106249106 | 203569.13333333333 | 1165.5 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 174.94951639537624 | 24720.366666666665 | 141.3 |
BASE/tictactoe_3d_small_2player/oOryKA | 177.80201763503288 | 144945.3 | 815.2061597946736 |
STANFORD/knightstourmedium/x1wu8Q | 178.04942533024854 | 318091.23333333334 | 1786.5333333333333 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 178.66235656078499 | 143239.56666666668 | 801.7333333333333 |
BASE/ttcc4/Le0qjQ | 179.1153737113402 | 18530.0 | 103.4528729502733 |
BASE/checkLines/Vop7oQ | 179.41452036100506 | 125346.76666666666 | 698.6433785540482 |
BASE/hidato19/rRHSmA | 179.50232507248757 | 109370.76666666666 | 609.3 |
BASE/tictactoe_3d_small_6player/g_9lww | 179.63991444721697 | 117586.3 | 654.5666666666667 |
DRESDEN/cubicup/SBn_lw | 182.00028785261946 | 84302.53333333334 | 463.2 |
BASE/englishDraughts/jFkQxg | 183.90608999356087 | 47596.26666666667 | 258.8074525880745 |
BASE/tttcc4/8Bs2lg | 183.95855265700484 | 19034.0 | 103.46895931220634 |
BASE/skirmishFinal3/-Olhfw | 184.09034907597535 | 5976.8 | 32.46666666666667 |
BASE/ticTacToeNoVars/XT03NA | 184.162399609531 | 415046.8 | 2253.7 |
BASE/wallmaze/uxNQ9g | 185.0625309891929 | 131661.43333333332 | 711.4429519016032 |
BASE/skirmishFinal2/gdB62Q | 185.58364837545125 | 5136.9 | 27.679701552195056 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 185.87702105134474 | 25338.7 | 136.31970136319703 |
BASE/othelloHoles/c0qAzw | 186.03180602762652 | 4020.0659978000735 | 21.609562814237673 |
DRESDEN/skirmishfinal/hzq8ww | 186.480854784689 | 5192.1 | 27.84253646839406 |
BASE/cubicup/4wNWJA | 187.9303607800702 | 86830.56666666667 | 462.03586427571497 |
DRESDEN/ggp-course2013_michal13/jWKddg | 189.1285513928101 | 89316.13333333333 | 472.25092496916767 |
STANFORD/chinook/osFbPA | 190.57607243589743 | 17174.966666666667 | 90.12131715771231 |
DRESDEN/breakthrough/z4hK7Q | 191.84598168734493 | 25768.733333333334 | 134.319901343199 |
BASE/asteroidsSerial/id2QkA | 193.39127251427735 | 132066.9 | 682.9 |
BASE/skirmishFinal1/ecWTnQ | 193.56041136363635 | 5105.4 | 26.376261364771704 |
BASE/sheepAndWolf/g4THrg | 194.24877038571057 | 25012.766666666666 | 128.76666666666668 |
BASE/breakthroughWalls/vOZaYA | 194.36567741935485 | 25105.566666666666 | 129.16666666666666 |
BASE/minichess-evilconjuncts/4OpQzw | 194.61000725163163 | 44727.86666666667 | 229.83333333333334 |
BASE/chinook/XQh0IQ | 196.27856135401973 | 18554.866666666665 | 94.53333333333333 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 197.15001316829074 | 124763.1 | 632.8333333333334 |
BASE/knightsTour/mvtVIg | 197.39548360883606 | 307693.5 | 1558.7666666666667 |
DRESDEN/minichess-evilconjuncts/th24Tw | 197.68679034299035 | 46169.96666666667 | 233.55109659356043 |
BASE/breakthrough/TGxk-g | 200.7959086601307 | 25941.966666666667 | 129.19569347688412 |
BASE/factoringEasyTurtleBrain/lUj94Q | 201.86944031248933 | 592601.2 | 2935.5666666666666 |
DRESDEN/minichess/c7GMFw | 202.4838357309054 | 44477.46666666667 | 219.65934468851037 |
BASE/breakthroughSuicide/wZDpIg | 204.1876407863696 | 25962.4 | 127.14971337155046 |
BASE/gt_ultimatum/GE-uOA | 205.34393150846208 | 62009.73333333333 | 301.97986800879943 |
DRESDEN/endgame/IJhh3Q | 207.04411671283472 | 7472.3 | 36.09037589976006 |
STANFORD/knightstour/cEwgNA | 209.7385984668024 | 322843.63333333336 | 1539.2666666666667 |
BASE/ruleDepthLinear/OUBJpQ | 214.17554081570938 | 354110.7 | 1653.3666666666666 |
STANFORD/pilgrimage/ObRZnQ | 215.3959099972114 | 51488.833333333336 | 239.0427623904276 |
BASE/duplicateStateMedium/U163eQ | 218.66795876023355 | 453174.76666666666 | 2072.4333333333334 |
BASE/breakthroughHoles/nZk0Sg | 219.28097045177046 | 27934.533333333333 | 127.39150723285114 |
DRESDEN/pentago_2008/hLjVpQ | 220.20925513461006 | 88154.16666666667 | 400.31998933368885 |
STANFORD/pentago/ZxzLmg | 221.04387621079115 | 89807.13333333333 | 406.28645711809605 |
BASE/pentagoSuicide/SBgNhw | 237.26964286993908 | 88293.0 | 372.1209293023566 |
BASE/checkers/rOC3Xg | 244.09766580552565 | 15115.766666666666 | 61.92507665644581 |
BASE/connectFourSimultaneous/7ITr3g | 247.6911154503295 | 135305.4 | 546.2666666666667 |
BASE/skirmishNew/sibw2g | 248.59102682584268 | 5895.766666666666 | 23.716731621198495 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 250.14806318876225 | 352592.0333333333 | 1409.5333333333333 |
BASE/duplicateStateLarge/dcjyuw | 251.34984296749002 | 197410.16666666666 | 785.4 |
BASE/ttcc4_2player_small/Cv72TA | 254.00826654028435 | 62524.2 | 246.1502566495567 |
BASE/gt_coordination/IVMOzA | 254.51400671615414 | 192005.36666666667 | 754.4 |
DRESDEN/connectfour/5tc-Mg | 265.81203931203936 | 252432.83333333334 | 949.6666666666666 |
BASE/pentago/86NgKw | 269.6226777571416 | 101617.4 | 376.88743708543046 |
STANFORD/connectfour/VMpZkQ | 274.74562684945874 | 244496.13333333333 | 889.9 |
BASE/majorities/ibJzSQ | 276.33236542658307 | 107200.6 | 387.94080394640355 |
DRESDEN/connectfoursuicide/M9CNQg | 278.1646580717489 | 264664.4 | 951.4666666666667 |
BASE/3pttc/0sol9g | 280.544257513943 | 40797.76666666667 | 145.42363842410506 |
BASE/chess_200/XsTpYA | 281.7172619834711 | 3405.0333333333333 | 12.086704624912596 |
BASE/speedChess/bPnisA | 283.61523462088695 | 6601.633333333333 | 23.276723276723278 |
BASE/2pttc/unkkYA | 284.53107927536234 | 61075.26666666667 | 214.65235650956603 |
BASE/queens08lg/Ru7eqQ | 286.0255456651628 | 156379.7 | 546.7333333333333 |
BASE/checkersSmall/SYmq8w | 286.7995722777351 | 24871.766666666666 | 86.72177043060925 |
BASE/connectFourLarge/aU644A | 286.89485351386975 | 159618.73333333334 | 556.3666666666667 |
STANFORD/ttcc4/Cx9SGw | 287.14534187090095 | 27722.2 | 96.5441397007365 |
BASE/connectFourSuicide/c8p9Kw | 287.79635177670747 | 252963.4 | 878.9666666666667 |
STANFORD/selectivesukoshi/3xmXYg | 288.2631276665573 | 117111.7 | 406.26666666666665 |
STANFORD/untwistycomplex/HTWEwg | 288.653341626145 | 850853.8333333334 | 2947.6666666666665 |
BASE/connectFour_9x6/B9TtMw | 288.71690368589077 | 232118.76666666666 | 803.9666666666667 |
BASE/knightfight/SJRkAg | 289.14723431073105 | 15770.966666666667 | 54.54303135308033 |
BASE/3pConnectFour/PqXOFQ | 291.48115620736695 | 227899.4 | 781.8666666666667 |
BASE/skirmishZeroSum/zh4hcw | 295.0569840780688 | 6374.566666666667 | 21.604527296937416 |
BASE/chineseCheckers2/eCMR3Q | 298.8206729800524 | 148304.7 | 496.3 |
BASE/knightsTourLarge/M8jgLA | 300.9426715593101 | 180489.36666666667 | 599.7466751108296 |
DRESDEN/oisters_farm/pTQMLg | 309.8035737407743 | 877291.4333333333 | 2831.766666666667 |
BASE/chineseCheckers3/-1rZdQ | 310.2549759003274 | 113715.0 | 366.5211159628012 |
STANFORD/knightstourbig/TQUI2g | 311.425746799431 | 145954.86666666667 | 468.6666666666667 |
BASE/connectFour/WAIKTw | 314.25257372861677 | 270655.26666666666 | 861.2666666666667 |
DRESDEN/pacman3p/rBnk8Q | 317.5964680954701 | 21727.666666666668 | 68.41280949048618 |
BASE/checkersTiny/Lr48cg | 326.7458611055444 | 43477.53333333333 | 133.06223125895804 |
BASE/pacman2p/4LEdQg | 327.0250521566505 | 20127.133333333335 | 61.5461512829057 |
BASE/ttcc4_2player/_aH_Mw | 330.4952719254213 | 30718.9 | 92.94807705125642 |
DRESDEN/blobwars/ZaMluQ | 332.51613084112154 | 5927.5 | 17.826202852192456 |
BASE/chineseCheckers4/avfBcQ | 338.29928590989397 | 102111.06666666667 | 301.83648301836485 |
DRESDEN/knightfight/4_Ly4w | 341.92424242424244 | 18053.6 | 52.8 |
BASE/connectFourLarger/qKi60A | 343.4156819532237 | 72435.4 | 210.92630245658478 |
DRESDEN/quad_5x5_8_2/JRTLJg | 344.3657310787537 | 73308.13333333333 | 212.87871212878713 |
BASE/blobwars/0XT15Q | 347.9044217363752 | 6089.166666666667 | 17.502412404751606 |
DRESDEN/firefighter/WJmoPw | 348.045482226229 | 971592.1666666666 | 2791.5666666666666 |
BASE/knightThrough/gcwFjA | 352.89994625144175 | 23795.633333333335 | 67.4288380774615 |
STANFORD/multiplesukoshi/vLSQPg | 353.6075788272157 | 131655.5 | 372.32092263591215 |
BASE/quad_5x5/JAEP5g | 355.59305615900536 | 72450.76666666666 | 203.74629203746292 |
DRESDEN/quad_5x5/JAEP5g | 356.0725627183233 | 74751.5 | 209.93333333333334 |
BASE/checkersTorusNoKings/pwb6oQ | 360.0267026573788 | 30999.966666666667 | 86.10463178940353 |
BASE/firefighter/WJmoPw | 367.223858971263 | 1013782.6666666666 | 2760.6666666666665 |
BASE/dualConnect4/WbCQkg | 376.092327351331 | 177848.13333333333 | 472.8842371920936 |
BASE/checkersBarrelNoKings/rnKNeg | 393.25242774566476 | 34005.0 | 86.47117627457514 |
BASE/chineseCheckers6/rREH3A | 394.8598495402619 | 94476.8 | 239.26666666666668 |
BASE/ttcc4_2player_alt/ZEJvYA | 399.1753247191011 | 37887.46666666667 | 94.91435046324068 |
STANFORD/checkersonabarrelnokings/Zrevdw | 399.8441862979175 | 33488.03333333333 | 83.75270788201966 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 411.39359107806695 | 7375.2 | 17.92735754748417 |
BASE/checkersTorus/2vm1EQ | 418.07346004953996 | 26242.766666666666 | 62.770707003398414 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 433.11127343749996 | 7387.333333333333 | 17.056432806982478 |
BASE/amazons_8x8/7SOsIw | 436.64308584110074 | 21851.066666666666 | 50.04331312054374 |
BASE/reversi/d8UMeA | 447.1148452292441 | 16013.033333333333 | 35.814139262415125 |
BASE/4pttc/AL1k2Q | 476.9560905612245 | 43612.5 | 91.4392348961978 |
BASE/reversiSuicide/9OxJlg | 478.10712119514477 | 17047.966666666667 | 35.65721134638434 |
BASE/chineseCheckers1/gqtwHw | 480.11723624943176 | 387278.56666666665 | 806.6333333333333 |
BASE/blokbox_simple/JBx4bg | 489.4819868501529 | 3549.5666666666666 | 7.25167986161932 |
DRESDEN/vacuumcleaner_random/_6AGDA | 509.5414595238096 | 7358.366666666667 | 14.441153961334974 |
DRESDEN/knightmove/97Ipcw | 518.2807801686735 | 212349.83333333334 | 409.7196760107996 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 522.9940476190476 | 70290.4 | 134.4 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 534.447622406639 | 8576.5 | 16.047409774936742 |
DRESDEN/CephalopodMicro/H3XQfg | 539.1995887323944 | 48490.4 | 89.93033565547815 |
BASE/knightmove/jBaJEw | 540.5895959057751 | 208318.26666666666 | 385.353821539282 |
BASE/pacman3p/wW7UVQ | 554.5788886396011 | 34590.73333333333 | 62.37297171225802 |
BASE/queens31lg/0gID-A | 576.0524574651232 | 21558.533333333333 | 37.424600926450495 |
BASE/bomberman2p/4CClwA | 586.243050039714 | 73808.0 | 125.9 |
DRESDEN/bomberman2p/x4h6jQ | 605.0323183771487 | 79770.3 | 131.84469255124145 |
BASE/racer4/0vs7Ww | 608.9504070953436 | 9144.8 | 15.017314864144913 |
BASE/amazonsSuicide_10x10/XIbQkg | 611.7061959654178 | 14136.666666666666 | 23.11022311022311 |
DRESDEN/fizzbuzz/t1xHzQ | 615.7282189217634 | 526509.2 | 855.1 |
BASE/tictactoe_3d_2player/IUC1rQ | 621.3487898785762 | 82992.83333333333 | 133.56883393874762 |
BASE/checkers-mustjump-torus/uSApKQ | 634.140299610895 | 5415.5 | 8.539908287366252 |
BASE/tictactoe_3d_6player/d7KSwg | 634.1916047099521 | 79403.36666666667 | 125.20406463434949 |
DRESDEN/sat_test_20v_91c/dK7nVw | 635.9968066643527 | 305384.4666666667 | 480.1666666666667 |
DRESDEN/Zhadu/9zpQ5w | 637.8029526315789 | 26243.1 | 41.146093619856735 |
BASE/checkers-newgoals/0XkFiA | 639.3028444444445 | 18022.933333333334 | 28.191542537238828 |
BASE/hanoi_6_disks/MeubgQ | 648.2901878914406 | 186318.6 | 287.4 |
BASE/kitten_escapes_from_fire/uW-YiA | 653.0945651044374 | 418981.93333333335 | 641.5333333333333 |
BASE/cephalopodMicro/9l2D3g | 655.297631526533 | 51175.333333333336 | 78.0947936804213 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 659.1310527415872 | 315350.26666666666 | 478.43333333333334 |
STANFORD/skirmish/w4V6Vw | 659.7479514285714 | 5373.433333333333 | 8.144676041355009 |
BASE/zhadu/DlA8iQ | 660.1631639257295 | 24878.2 | 37.68492602958816 |
BASE/hidato37/pBrqxw | 661.8746461636596 | 40345.566666666666 | 60.956507248791866 |
BASE/amazons_10x10/Bun8dA | 663.5531212121211 | 15298.5 | 23.05542617605962 |
DRESDEN/hanoi_6_disks/MeubgQ | 668.3628943958909 | 193729.66666666666 | 289.85700476650777 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 673.7663828211773 | 424630.0333333333 | 630.2333333333333 |
BASE/ruleDepthExponential/UamhHQ | 695.3419600299038 | 305.22315922802574 | 0.43895403524173826 |
BASE/amazonsTorus_10x10/Uxc08g | 697.1852199004975 | 9328.6 | 13.380375449340967 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 708.8122711638745 | 425901.6666666667 | 600.8666666666667 |
BASE/gt_tinfoil/Q8DyKg | 746.8138043478261 | 88737.5 | 118.82145118821451 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 763.6772740607308 | 98888.7 | 129.4901699433522 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 765.197885902081 | 366058.4666666667 | 478.3840538648712 |
DRESDEN/ghostmaze2p/HY0UwA | 767.4180411590629 | 103718.96666666666 | 135.1531513515315 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 784.3544617638142 | 316215.0333333333 | 403.1532282257258 |
DRESDEN/babel/WdSW4A | 799.0470225871857 | 65661.96666666666 | 82.17534739578126 |
BASE/ghostMaze2p/W-NU-w | 804.9944771501926 | 104497.7 | 129.81169805032494 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 812.9462465339591 | 334857.3333333333 | 411.90587294180386 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 848.1506719123506 | 85137.3 | 100.37992401519696 |
STANFORD/madness/UO_B3A | 854.4511586608444 | 6503.666666666667 | 7.611513660838928 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 859.6422979965504 | 431941.6 | 502.46666666666664 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 922.123404171176 | 454407.26666666666 | 492.7835738808706 |
BASE/mummyMaze2p_2007/YGA3Vw | 949.840531367951 | 94496.53333333334 | 99.4867351019864 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 954.895301020408 | 9336.5 | 9.777511723037016 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 979.4277777777778 | 9595.833333333334 | 9.797387363369769 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 985.148879766074 | 487566.76666666666 | 494.9168361054632 |
BASE/gt_two_thirds_2p/1APDGg | 1002.2476131687243 | 2698.3333333333335 | 2.6922821245762147 |
DRESDEN/quarto/OQzRYQ | 1010.2650487804879 | 26210.5 | 25.944181709185372 |
DRESDEN/quartosuicide/WIU1oQ | 1037.9262668055555 | 24901.1 | 23.99120322548399 |
DRESDEN/hanoi7_bugfix/3gdnFw | 1077.0202889956217 | 183098.83333333334 | 170.00499916680553 |
DRESDEN/connect5/1kYzSg | 1103.8807236180905 | 21949.666666666668 | 19.884092725819343 |
BASE/colonelBlottoVariant2/jruwGw | 1139.2153339702759 | 47682.433333333334 | 41.855505198613706 |
BASE/checkers-mustjump/T-8UuQ | 1194.8208061302682 | 13852.533333333333 | 11.593816631130064 |
BASE/connect5/d-BVQg | 1207.0597283272284 | 21961.166666666668 | 18.193935354881706 |
STANFORD/platformjumpers/HEQskA | 1210.2389681917211 | 30840.533333333333 | 25.48301132578281 |
BASE/hanoi7_bugfix/3gdnFw | 1236.4490486257928 | 194946.8 | 157.66666666666666 |
BASE/colonelBlotto/jip21A | 1246.4127681720431 | 6431.866666666667 | 5.1603022938376 |
DRESDEN/hanoi7/51zz5Q | 1257.6486019824629 | 219891.5 | 174.8433542194374 |
BASE/quarto/EwBMVQ | 1299.437841025641 | 29262.133333333335 | 22.519071254871914 |
BASE/wargame02/BkVqqQ | 1323.5391130864198 | 5936.533333333334 | 4.485347863645425 |
BASE/quartoSuicide/-23jUg | 1362.8094673879443 | 29373.633333333335 | 21.55373442601106 |
BASE/colonelBlottoVariant/X-n-KQ | 1457.319329874214 | 61765.63333333333 | 42.38304678128748 |
BASE/nonogram_5x5_1/qLKEZw | 1766.5977923191647 | 157897.0 | 89.37914486619789 |
DRESDEN/chinesecheckers2/06E6-Q | 1922.2936140243905 | 20984.9 | 10.916594555015642 |
BASE/mummymaze2p/vpjDdA | 1983.0245163850109 | 89909.26666666666 | 45.33946298887334 |
DRESDEN/mummymaze2p/k-8edg | 1997.4887859340656 | 90849.4 | 45.48180727708917 |
DRESDEN/twisty-passages/j7NPyg | 2334.1190658244905 | 153902.23333333334 | 65.93589658159526 |
BASE/twisty-passages/DiZmmg | 2414.131355932204 | 151929.33333333334 | 62.93333333333333 |
DRESDEN/battlebrushes/QHXV4A | 2567.570638200621 | 1125.3166244500733 | 0.43828068747456406 |
BASE/nonogram_10x10_1/0Xc62g | 2606.6893584313725 | 73770.13333333333 | 28.30031629765274 |
BASE/amazons/RKKZjw | 2800.6837555555553 | 204.73333333333332 | 0.0731011964229148 |
BASE/solitaireChineseCheckers/-ET6gw | 3732.9379143518518 | 51619.0 | 13.827982458948178 |
BASE/four_way_battle/xSOQXA | 4434.601626449275 | 27132.866666666665 | 6.118445116882254 |
BASE/wargame03/klXI8w | 4496.44545910653 | 14524.466666666667 | 3.2302107962303106 |
BASE/wargame01/_GZFZg | 4499.393435294118 | 20305.2 | 4.512874966817096 |
DRESDEN/four_way_battle/xSOQXA | 4637.748675376884 | 30624.9 | 6.60339792938678 |
BASE/max_knights/2fq3Ag | 4692.181178431372 | 31818.8 | 6.78123857328059 |
DRESDEN/max_knights/hCipiA | 4741.193018592965 | 31404.9 | 6.623839163865127 |
DRESDEN/chinesecheckers4/-oVNYg | 4754.779103571428 | 4364.9 | 0.9180026884364447 |
DRESDEN/pawntoqueen/f_x6Aw | 4857.352216666667 | 24523.933333333334 | 5.048827476250581 |
BASE/pawnToQueen/-O1_JA | 7899.9355204444455 | 39435.26666666667 | 4.991846650470897 |
BASE/gt_attrition/kD_SCA | 8317.842433333333 | 9665.166666666666 | 1.1619800139437602 |
DRESDEN/battle/8oAvhQ | 11779.084523768117 | 44840.76666666667 | 3.8068125393094774 |
BASE/battle/8oAvhQ | 12724.8396 | 47414.4 | 3.7261294829995344 |
DRESDEN/chinesecheckers3/QsCb2A | 17706.8296 | 13343.066666666668 | 0.7535548129218269 |
BASE/ad_game_2x2/D0aWqg | 29965.1508 | 13479.6 | 0.449842555105713 |
BASE/hitori/S8Gsyg | 53915.66486764706 | 60633.5 | 1.1245989481692191 |
DRESDEN/hitori/S8Gsyg | 53943.60623333333 | 60484.86666666667 | 1.121261088942387 |
DRESDEN/othello-cornercontrol/r5Gdlg | 57392.474700000006 | 8652.566666666668 | 0.15076134479119555 |
DRESDEN/crisscross/GsY16g | 362152.64820000005 | 21597.2 | 0.05963562632316546 |
BASE/crisscross/ICagEg | 366385.1405 | 21702.066666666666 | 0.059232933511032135 |
BASE/crissrace/ERWGDA | 861817.8130666666 | 27786.233333333334 | 0.03224142378127418 |
DRESDEN/crissrace/KWb9bw | 875826.6560000001 | 28648.0 | 0.03270966897814994 |
DRESDEN/chinesecheckers6/yTbPDA | Infinity | 7420.966666666666 | 0.0 |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Infinity | 37458.13333333333 | 0.0 |
Games with errors:
Game | ALLOY_DIFF_PROP_NET:1 error message | REKKURA_BACKWARD_PROVER: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/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 |