Game-by-game performance:
Game | Perf ratio | ALLOY_DIFF_PROP_NET:1 states per second | REKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per second |
BASE/snakeAssemblit/UO4sdg | 4.093278445694095 | 2110.8333333333335 | 515.6828105729809 |
DRESDEN/smallest/9kaGFw | 5.497526076059097 | 3241.233333333333 | 589.580347321756 |
DRESDEN/Travelers-Dilemma/PvZwYw | 6.837164296751376 | 177.12742908569714 | 25.90656321800806 |
BASE/pancakes88/l2Xaig | 7.111935883905013 | 179.53333333333333 | 25.24394711426383 |
DRESDEN/8puzzle/8fKC2w | 14.603298536220633 | 33853.36666666667 | 2318.2 |
BASE/coloredtrails/EZvr7g | 17.035377408936323 | 26548.5 | 1558.4333333333334 |
DRESDEN/amazons/dNB28A | 17.27254871794872 | 209.26666666666668 | 12.115563839701771 |
STANFORD/breakthrough/d5j0cQ | 17.557015433583775 | 15812.433333333332 | 900.6333333333333 |
BASE/eightPuzzle/vLrgFg | 17.862371114552253 | 31529.466666666667 | 1765.1333333333334 |
DRESDEN/chinesecheckers4/-oVNYg | 19.125363648313126 | 4364.9 | 228.2257258091397 |
STANFORD/8puzzle/jNiGtw | 20.718459594082226 | 37157.86666666667 | 1793.4666666666667 |
STANFORD/eightpuzzle/W_aWbA | 21.079438554576676 | 37645.066666666666 | 1785.8666666666666 |
DRESDEN/satlike_20v_91c/yeuENQ | 22.9184625 | 945.5 | 41.254948930365636 |
DRESDEN/pancakes/hl9aiQ | 23.376625347837084 | 30802.6 | 1317.6666666666667 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 23.40951024590164 | 944.9 | 40.36393713813069 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 24.375063279569893 | 1000.3666666666667 | 41.040577215860196 |
BASE/crisscross/ICagEg | 25.440059393560485 | 21702.066666666666 | 853.0666666666667 |
DRESDEN/pancakes6/SZXMyQ | 25.455934035273835 | 31992.8 | 1256.791440285324 |
DRESDEN/crisscross/GsY16g | 26.62923842012248 | 21597.2 | 811.0333333333333 |
DRESDEN/roshambo2/jgSlkQ | 26.63705293814886 | 141458.73333333334 | 5310.6 |
BASE/roshambo2/KNPokQ | 26.99648159653104 | 141949.3 | 5258.066666666667 |
BASE/shmup/ssTNlg | 27.208617370036947 | 17428.933333333334 | 640.5666666666667 |
DRESDEN/javastrike/whONTQ | 27.534779971319317 | 7679.6 | 278.9054427890544 |
BASE/tron_10x10/7ZTgDg | 27.85241549702991 | 35322.433333333334 | 1268.2 |
DRESDEN/blocksworldparallel/2JfVaw | 29.157930425659856 | 75967.1 | 2605.366666666667 |
DRESDEN/blocks2player/3ev8nQ | 29.449826321883442 | 137348.1 | 4663.8 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 29.520060084745765 | 1143.7 | 38.74314607479397 |
BASE/kalaha6x2x4/XS81Mg | 29.52308258977149 | 7234.4 | 245.0421624504216 |
BASE/blocks2player/wnTLOQ | 29.602122468721323 | 138726.4 | 4686.366666666667 |
BASE/tictactoex9/BI26ow | 29.867117748328457 | 24866.366666666665 | 832.5666666666667 |
DRESDEN/tictactoex9/rFkD4w | 29.876704404594662 | 24102.533333333333 | 806.7333333333333 |
DRESDEN/sum15/CsgWKg | 30.899663467530846 | 157008.4 | 5081.233333333334 |
BASE/sum15/QZ07Kg | 31.204515809245542 | 159484.2 | 5110.933333333333 |
DRESDEN/mimikry/GJEhwA | 34.19891733918369 | 27798.233333333334 | 812.8395720142662 |
DRESDEN/chinesecheckers3/QsCb2A | 35.23504472024177 | 13343.066666666668 | 378.68737708743043 |
BASE/kalaha5x2x3/WviNsw | 35.46574526160047 | 15446.666666666666 | 435.5376308246117 |
STANFORD/dualhunter/1rPZjQ | 36.048078783838996 | 55882.933333333334 | 1550.2333333333333 |
DRESDEN/chomp/-LcqYQ | 37.97555246372622 | 70056.03333333334 | 1844.7666666666667 |
DRESDEN/tictictoe/LAUtwg | 37.99000196039992 | 90433.93333333333 | 2380.4666666666667 |
BASE/blocks/xIV5hQ | 38.13078916854239 | 260883.23333333334 | 6841.8 |
BASE/gt_dollar/TGjqRw | 38.31804972159812 | 104603.16666666667 | 2729.866666666667 |
BASE/hallway/ckCJOw | 39.52843752263375 | 10671.966666666667 | 269.98200119992 |
DRESDEN/hallway/0H4l-Q | 39.712843906633914 | 10774.7 | 271.31524565028997 |
DRESDEN/sheep_and_wolf/enAIzQ | 39.96785739079039 | 24793.9 | 620.3459884670511 |
BASE/eotcitcit/V_9_bg | 40.7709540617427 | 103188.56666666667 | 2530.9333333333334 |
BASE/pancakes6/QZTdnw | 40.90726602041692 | 31790.4 | 777.1333333333333 |
BASE/hodgepodge/9yjRkw | 41.678432235353284 | 132604.1 | 3181.6 |
DRESDEN/blocks/vg0DRw | 42.155726436770436 | 289274.0 | 6862.033333333334 |
BASE/blocksWorld/SEdXLQ | 42.357228616478054 | 292816.93333333335 | 6913.033333333334 |
DRESDEN/tictactoeparallel/yk_DSg | 42.626663241715896 | 55315.2 | 1297.6666666666667 |
BASE/pancakes/yUgbXw | 42.685154404689 | 32528.933333333334 | 762.0666666666667 |
BASE/chomp/-LcqYQ | 43.17595968260776 | 80531.8 | 1865.2 |
DRESDEN/chinesecheckers6/yTbPDA | 43.20952529917847 | 7420.966666666666 | 171.74376749766697 |
BASE/tictactoe_orthogonal/WRzlVw | 44.48058977506322 | 200515.53333333333 | 4507.933333333333 |
DRESDEN/latenttictactoe/kITHKg | 45.58672197660245 | 83519.43333333333 | 1832.1 |
STANFORD/hunter/14dD-g | 45.646097298589524 | 101833.4 | 2230.9333333333334 |
DRESDEN/chickentoetictac/cxYaRQ | 47.21789336622807 | 183734.26666666666 | 3891.2 |
BASE/incredible/8Qh-6Q | 47.300911895596144 | 115499.36666666667 | 2441.8 |
DRESDEN/logistics/fPru1Q | 47.51456274051158 | 41980.7 | 883.5333333333333 |
STANFORD/tictictoe/rpt_Dw | 47.87588870096241 | 106621.2 | 2227.0333333333333 |
BASE/toetictac/mTThmg | 47.973087396971785 | 220204.46666666667 | 4590.166666666667 |
BASE/blocksWorldParallel/RseaAQ | 48.0692006136015 | 84606.6 | 1760.1 |
DRESDEN/toetictac/mJtxCA | 48.53209312605909 | 219575.36666666667 | 4524.333333333333 |
STANFORD/duidoku/3SoMaA | 48.701715101592534 | 7882.133333333333 | 161.84508732169044 |
BASE/doubletictactoe/HH1htg | 48.787141136318006 | 97203.5 | 1992.4 |
BASE/chickentoetictac/l57rfQ | 49.01307564031299 | 191044.8 | 3897.8333333333335 |
BASE/numbertictactoe/rvJ-iQ | 49.061162374993955 | 101551.7 | 2069.9 |
BASE/ticTicToe/c1OobQ | 49.26400135472151 | 106669.7 | 2165.266666666667 |
DRESDEN/blockerparallel/dVQgSg | 49.3337885290675 | 33718.0 | 683.4666666666667 |
DRESDEN/quad_7x7/q-JOXg | 49.418895471448224 | 32337.0 | 654.3448551714943 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 49.581021532666824 | 224656.56666666668 | 4531.1 |
DRESDEN/cube_2x2x2/fp-34Q | 49.66447759580563 | 61256.166666666664 | 1233.4 |
BASE/sudokuGrade6H/ieE_9A | 50.379629183930824 | 9321.6 | 185.0271657611413 |
BASE/blockerParallel/7-nDJA | 51.37520457813672 | 33502.36666666667 | 652.111596280124 |
DRESDEN/bidding-tictactoe/yW5vTA | 51.626493466876816 | 67696.1 | 1311.2666666666667 |
DRESDEN/tpeg/h-Scbg | 52.01559823280137 | 38460.333333333336 | 739.4 |
BASE/quad_7x7/q-JOXg | 52.186115276997704 | 34067.7 | 652.8115729475684 |
BASE/ticTacToeParallel/ymRGPw | 52.309133414462316 | 54446.833333333336 | 1040.8666666666666 |
BASE/tpeg/QNs7Lw | 52.340547480398 | 38049.833333333336 | 726.9666666666667 |
BASE/catcha_mouse/cHv4dw | 52.76840096017584 | 60819.1 | 1152.5666666666666 |
BASE/sudokuGrade6E/ihYFZA | 53.26143421795596 | 9432.6 | 177.1 |
DRESDEN/peg/Vo31eg | 53.39247094718895 | 39665.26666666667 | 742.9 |
DRESDEN/peg_bugfixed/u_B7MA | 53.5844224890346 | 40315.13333333333 | 752.3666666666667 |
BASE/circlesolitaire/azuQFQ | 53.7541012984051 | 219972.53333333333 | 4092.2 |
DRESDEN/circlesolitaire/ruUilQ | 53.826547821765246 | 220216.96666666667 | 4091.233333333333 |
STANFORD/sudoku/oJ1qyQ | 54.03011128232695 | 10051.066666666668 | 186.02713242891903 |
BASE/coins_atomic/AA3SSw | 54.35091881945622 | 74828.53333333334 | 1376.7666666666667 |
DRESDEN/doubletictactoe/lJzgmQ | 54.87687247567273 | 107337.33333333333 | 1955.9666666666667 |
BASE/sudokuGrade1/tDRNRw | 54.91289298063624 | 10586.5 | 192.78714752349845 |
BASE/sudokuGrade4/DTy07w | 55.15586035062865 | 10381.133333333333 | 188.21451188214513 |
BASE/sudokuGrade3/eI8dvg | 55.431325787494124 | 10479.866666666667 | 189.06036465451152 |
BASE/coins/QnGtnQ | 55.453112764291305 | 75534.53333333334 | 1362.1333333333334 |
DRESDEN/3pffa/0YrmQw | 55.499681401831936 | 46453.23333333333 | 837.0 |
DRESDEN/bunk_t/7-tPfA | 55.834117766566216 | 109929.93333333333 | 1968.8666666666666 |
BASE/onestep/xi53wA | 56.134879682903865 | 838404.3666666667 | 14935.533333333333 |
BASE/sudokuGrade2/u80Tfw | 56.63778942528735 | 10674.8 | 188.47487001733103 |
BASE/doubletoetictac/fu35bg | 57.264092569610746 | 109204.53333333334 | 1907.0333333333333 |
BASE/sudokuGrade5/BQfUQA | 57.44809636418089 | 10656.266666666666 | 185.4938168727709 |
DRESDEN/3pttc/uwYBZw | 57.491635056897586 | 47995.933333333334 | 834.8333333333334 |
DRESDEN/coins/QwFP9w | 58.154808604466325 | 75607.06666666667 | 1300.1 |
DRESDEN/stratego/Z2wovg | 58.236814324021985 | 39331.833333333336 | 675.3774874170861 |
DRESDEN/lightsout2/LFtfyQ | 58.577984961049786 | 173201.43333333332 | 2956.766666666667 |
DRESDEN/chickentictactoe/Ipbo-g | 58.59225939566047 | 176065.83333333334 | 3004.9333333333334 |
DRESDEN/catcha_mouse/cHv4dw | 58.75362962551703 | 70549.4 | 1200.7666666666667 |
DRESDEN/troublemaker01/C-lPWw | 58.92946281309301 | 664563.2666666667 | 11277.266666666666 |
BASE/nineBoardTicTacToePie/B8LzeQ | 59.379101485903526 | 45423.03333333333 | 764.9666666666667 |
DRESDEN/knightstour/cGISAA | 59.704785894206545 | 130365.4 | 2183.5 |
DRESDEN/tictactoe/BTTzPw | 60.27875313507703 | 207493.53333333333 | 3442.233333333333 |
BASE/hex/T1MK8g | 60.324167100468514 | 7725.0 | 128.05812945803612 |
BASE/biddingTicTacToe/8mESVw | 60.53498743895898 | 71485.76666666666 | 1180.9 |
DRESDEN/troublemaker02/iZLVuA | 60.708878519687396 | 566824.6333333333 | 9336.766666666666 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 60.88149695538621 | 37814.26666666667 | 621.1126295790141 |
STANFORD/duikoshi/tpw1sw | 60.98606577344702 | 83449.26666666666 | 1368.3333333333333 |
DRESDEN/gt_prisoner/huCp4w | 61.278346767661105 | 39504.833333333336 | 644.6785107163095 |
DRESDEN/lightsout/XgLpzQ | 61.29576232592699 | 170488.03333333333 | 2781.4 |
BASE/blocksWorldSerial/Wyg96Q | 61.45611764443354 | 183602.2 | 2987.5333333333333 |
DRESDEN/doubletoetictac/V89gKQ | 61.6462399143295 | 111294.06666666667 | 1805.3666666666666 |
BASE/racetrackcorridor/_RkdUg | 61.861739620779595 | 58508.833333333336 | 945.8 |
STANFORD/hex/MTqWcw | 62.251735664695296 | 8069.9 | 129.63333333333333 |
BASE/troublemaker01/s3tlEQ | 62.35835545049484 | 687633.9 | 11027.133333333333 |
BASE/troublemaker02/DI83KA | 62.61582991490721 | 581569.5666666667 | 9287.9 |
BASE/nim3/1OwUqw | 62.97696818406612 | 89139.7 | 1415.4333333333334 |
BASE/switches/tPUoCg | 63.26302502837992 | 390100.9 | 6166.333333333333 |
STANFORD/threepuzzle/41ibjA | 63.36150381347111 | 223197.23333333334 | 3522.6 |
BASE/haystack/UkweGA | 63.55884742080005 | 850260.6 | 13377.533333333333 |
BASE/hexPie/48CH6Q | 63.701239527113856 | 8261.5 | 129.69135390973935 |
BASE/bunk_t/xbpfIA | 64.01949662625105 | 123026.26666666666 | 1921.7 |
DRESDEN/eotcatcit/mQUxzA | 64.50703063629223 | 218979.86666666667 | 3394.6666666666665 |
BASE/brain_teaser_extended/ZDp94A | 64.97313295506824 | 211844.9 | 3260.5 |
DRESDEN/racetrackcorridor/O0DoTA | 65.33412242137301 | 57957.9 | 887.1 |
DRESDEN/chinesecheckers2/06E6-Q | 65.40286566590484 | 20984.9 | 320.85597146761774 |
STANFORD/3puzzle/41ibjA | 66.00275423110237 | 226061.63333333333 | 3425.0333333333333 |
DRESDEN/brain_teaser_extended/ZDp94A | 66.20755557858735 | 212934.53333333333 | 3216.1666666666665 |
BASE/quad/tw-Ufg | 66.29355873244509 | 12269.466666666667 | 185.07780999033622 |
DRESDEN/nim3/sG_axA | 66.62565320665084 | 93498.0 | 1403.3333333333333 |
DRESDEN/quad/JPe6fg | 67.57648988729633 | 12257.966666666667 | 181.39395353488217 |
STANFORD/trifecta/ss1kyQ | 67.57736912996826 | 197339.43333333332 | 2920.2 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 67.8707298807535 | 39272.26666666667 | 578.6333333333333 |
BASE/chickentictactoe/DSlZCA | 68.11324151475476 | 180345.7 | 2647.733333333333 |
BASE/survival/YVIjJA | 69.01293873757952 | 707976.1333333333 | 10258.6 |
DRESDEN/buttons/ADUaHw | 69.3412492697096 | 561788.9333333333 | 8101.8 |
BASE/4pffa/Q3ADlg | 70.03497171717173 | 32662.133333333335 | 466.36890873941735 |
BASE/eotcatcit/AfZSzA | 70.18276855788096 | 228926.83333333334 | 3261.866666666667 |
BASE/kalaha_2009/dRiN3g | 71.08895341643583 | 1708.7666666666667 | 24.037021007424176 |
DRESDEN/crossers3/xiPTxg | 72.45357439979523 | 3436.370908606093 | 47.428590474285905 |
BASE/buttons/hTcUjw | 72.50475157393227 | 568147.2333333333 | 7836.0 |
BASE/snake2p/I3wWPQ | 72.55687394058346 | 81329.0 | 1120.9 |
BASE/withConviction/3Xm54A | 72.87162970861532 | 111622.33333333333 | 1531.7666666666667 |
DRESDEN/kalaha_2009/gcC8uA | 73.19278050490882 | 1738.1 | 23.746877601998335 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 73.23552312077702 | 184983.16666666666 | 2525.866666666667 |
STANFORD/triplesukoshi/Iu9mbA | 73.52382176741315 | 95318.73333333334 | 1296.4333333333334 |
BASE/crossers3/O0rORg | 73.76037003508772 | 3502.1 | 47.47942558224769 |
STANFORD/tictactoe/ss1kyQ | 73.79451374451375 | 212970.96666666667 | 2886.0 |
BASE/snakeParallel/RCVNtw | 73.91174433852456 | 167215.46666666667 | 2262.366666666667 |
BASE/aipsrovers01/4C4jsw | 74.65177200068263 | 87486.9 | 1171.9333333333334 |
BASE/nim4/twk16w | 74.85725612686208 | 103851.96666666666 | 1387.3333333333333 |
DRESDEN/nim4/F5YAYg | 75.42502218278615 | 102004.8 | 1352.4 |
BASE/double_tictactoe_dengji/zgaSbA | 75.60399745385105 | 98978.23333333334 | 1309.1666666666667 |
BASE/escortLatch/mX9BjQ | 76.04857670979666 | 34285.23333333333 | 450.8333333333333 |
STANFORD/jointbuttonsandlights/qAKuIQ | 76.19404775726615 | 328129.6666666667 | 4306.5 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 76.74170955022387 | 191381.03333333333 | 2493.8333333333335 |
DRESDEN/snake_2009/zIYLVw | 77.02183154405938 | 35632.86666666667 | 462.6333333333333 |
BASE/snake_2009_big/-oRfVw | 77.0873878536922 | 29786.566666666666 | 386.4 |
BASE/stateSpaceLarge/0Ge_CQ | 77.32181367020077 | 285639.6666666667 | 3694.1666666666665 |
DRESDEN/chinesecheckers1/Y-ftaA | 77.50634528159931 | 48073.0 | 620.2459918002734 |
DRESDEN/aipsrovers01/qS47Mw | 77.84944804522182 | 87681.83333333333 | 1126.3 |
DRESDEN/catch_me/ghGWrA | 78.97764948890419 | 198823.6 | 2517.4666666666667 |
BASE/lightsOut/5P1ZBw | 79.1827510563432 | 179277.66666666666 | 2264.1 |
DRESDEN/snake_2009_big/DgC1NQ | 79.21205007824727 | 30369.9 | 383.4 |
BASE/snake_2009/7l-qAQ | 79.63603482709951 | 37613.5 | 472.3175894136862 |
BASE/gt_centipede/9fRMpw | 79.69385316932811 | 157870.86666666667 | 1980.9666666666667 |
STANFORD/dualrainbow/G3OnRQ | 80.37904932146505 | 293780.06666666665 | 3654.9333333333334 |
BASE/knightazons/apnJBQ | 80.77861549006168 | 3928.5333333333333 | 48.63333333333333 |
BASE/gt_staghunt/xPjLRA | 81.19970937662607 | 43345.666666666664 | 533.8155394820172 |
BASE/ticTacToe/JRFsaQ | 81.26586447118429 | 235251.13333333333 | 2894.8333333333335 |
DRESDEN/Thief_Police/CX18rA | 81.30352003243024 | 200562.23333333334 | 2466.8333333333335 |
BASE/maze/cCX3qQ | 81.31702033598586 | 490504.26666666666 | 6032.0 |
BASE/3pffa/pR0dzA | 81.52696659732155 | 41800.2 | 512.7162427919069 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 82.2197118951974 | 107113.1 | 1302.7666666666667 |
BASE/ticTacHeaven/18n58A | 82.23952192089185 | 51147.5 | 621.9333333333333 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 82.76804826741255 | 477395.06666666665 | 5767.866666666667 |
DRESDEN/knightazons/02I8BQ | 82.91246206896552 | 4005.8333333333335 | 48.31400773024124 |
BASE/crissrace/ERWGDA | 83.4699896098261 | 27786.233333333334 | 332.8889037032099 |
BASE/blockerSerial/3eqDuw | 84.4578233886905 | 81200.56666666667 | 961.4333333333333 |
BASE/gt_prisoner/klthDw | 84.67784797759397 | 43335.3 | 511.76666666666665 |
DRESDEN/crissrace/KWb9bw | 84.85781990521326 | 28648.0 | 337.6 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 85.50506164885307 | 322932.6666666667 | 3776.766666666667 |
DRESDEN/backgammon/mqCW0Q | 85.92162970240024 | 26527.966666666667 | 308.74608359442703 |
BASE/tictactoe_3player/GtM71g | 86.33948930188973 | 73710.9 | 853.7333333333333 |
DRESDEN/tictactoe-init1/3ltIBQ | 87.0471083791224 | 262449.93333333335 | 3015.0333333333333 |
STANFORD/rainbow/_4qNSQ | 87.79166373507822 | 499113.1666666667 | 5685.2 |
BASE/stateSpaceSmall/Q7osKA | 87.86715530661458 | 767630.9 | 8736.266666666666 |
STANFORD/bestbuttonsandlights/nm0wEA | 88.24241850142766 | 434723.3333333333 | 4926.466666666666 |
BASE/lightsOnSimul4/9FeASw | 89.35655969352509 | 94854.96666666666 | 1061.5333333333333 |
DRESDEN/tictactoe_3player/ESLQQQ | 89.89583333333333 | 86443.83333333333 | 961.6 |
DRESDEN/point_grab/r5DPmQ | 89.98991226796038 | 413029.7 | 4589.733333333334 |
STANFORD/tictactoe7/-bE9-A | 90.31032829818079 | 257480.76666666666 | 2851.0666666666666 |
BASE/lightsOnSimultaneous/_VN6lw | 90.35113452188007 | 111493.3 | 1234.0 |
BASE/pearls/6k_mEQ | 91.93538828789573 | 808770.9333333333 | 8797.166666666666 |
BASE/tictactoe-init1/7M19vA | 92.18652403508375 | 271169.73333333334 | 2941.5333333333333 |
DRESDEN/blocker/S815zQ | 92.21848790305165 | 355880.36666666664 | 3859.1 |
DRESDEN/statespacesmall/h-NqjA | 92.21913422580633 | 788292.2333333333 | 8548.033333333333 |
BASE/slidingpieces/uFJWEw | 92.54215358931552 | 73910.33333333333 | 798.6666666666666 |
BASE/2pffa_zerosum/o0_uZA | 92.68056069214362 | 51655.333333333336 | 557.3480883970534 |
DRESDEN/gt_chicken/CeuKtw | 92.91564434719695 | 44232.566666666666 | 476.0507983067231 |
STANFORD/buttonsandlights/eyhJpA | 93.80165062457438 | 922886.3 | 9838.7 |
DRESDEN/slidingpieces/s9_44g | 94.17579262540502 | 76536.66666666667 | 812.7 |
BASE/stateSpaceMedium/3bUoIw | 95.59609039970566 | 528318.1666666666 | 5526.566666666667 |
DRESDEN/frogs_and_toads/GjchhQ | 96.06994957430919 | 21437.466666666667 | 223.14435223144352 |
BASE/gt_chicken/gmepTQ | 97.72405458089669 | 41777.03333333333 | 427.5 |
BASE/smallest_4player/ADDROA | 98.38168433723784 | 70831.53333333334 | 719.9666666666667 |
BASE/ticTacHeavenFC/mrletw | 98.49346710219318 | 56285.73333333333 | 571.4666666666667 |
DRESDEN/Goldrush/VeWczQ | 98.69362971366496 | 53500.03333333333 | 542.0819306023133 |
BASE/copolymer_4_pie/IN5_jA | 98.7879389010117 | 99598.0 | 1008.2 |
DRESDEN/towerworld/HCX34w | 99.11742175689479 | 3232.7 | 32.61485158410234 |
BASE/futoshiki4/BaCwSw | 99.20442344857204 | 138598.5 | 1397.1 |
BASE/2pffa/6oHijA | 101.02558070064669 | 58666.96666666667 | 580.7139762007934 |
STANFORD/multipletictactoe/_bkafQ | 104.31827362590482 | 84223.76666666666 | 807.3730875637478 |
DRESDEN/statespacemedium/dVJZ_w | 104.32635674431405 | 555948.2 | 5328.933333333333 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 104.76977822043428 | 80732.9 | 770.5743141895271 |
DRESDEN/grid_game/U7_Yeg | 106.04269637846592 | 60382.23333333333 | 569.4143528549048 |
BASE/ticblock/T21C1g | 107.52018363147063 | 158481.16666666666 | 1473.9666666666667 |
BASE/dotsAndBoxes/EHwA_w | 107.62263693206619 | 84929.36666666667 | 789.1403619879337 |
BASE/ticTacToeSerial/Amrwqw | 107.70034374532953 | 120103.83333333333 | 1115.1666666666667 |
STANFORD/alquerquezero/uVgA_A | 107.70774364284892 | 31202.933333333334 | 289.7 |
DRESDEN/ticblock/Z2yNWQ | 108.24358596284281 | 159056.73333333334 | 1469.4333333333334 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 109.07501722733821 | 116077.63333333333 | 1064.2 |
BASE/futoshiki5/TJ4BZg | 109.16117887024934 | 87412.63333333333 | 800.7666666666667 |
DRESDEN/skirmish3/3LU8Nw | 109.25456533333332 | 6554.4 | 59.992001066524466 |
BASE/simultaneousWin2/PfjRjw | 109.38638596031693 | 111362.63333333333 | 1018.0666666666667 |
DRESDEN/pawn_whopping/4ogBkg | 109.50612394125892 | 119807.0 | 1094.0666666666666 |
STANFORD/nineboardtictactoe/y28P-A | 110.3662582267644 | 68754.5 | 622.9666666666667 |
BASE/futoshiki6/JmvXNA | 111.05765798177318 | 61335.1 | 552.2815906136462 |
DRESDEN/statespacelarge/8-y5HQ | 111.5536280233528 | 401258.4 | 3597.0 |
STANFORD/sukoshi/4LYZZQ | 112.1843151189724 | 284140.43333333335 | 2532.8 |
BASE/nineBoardTicTacToe/wRmqqA | 112.2025571273123 | 68742.76666666666 | 612.6666666666666 |
STANFORD/tictactoe5/WFRReg | 112.9553217424777 | 293439.1 | 2597.8333333333335 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 113.09851556214605 | 238980.93333333332 | 2113.0333333333333 |
DRESDEN/grid_game2/kypTYQ | 113.66408129984289 | 190512.36666666667 | 1676.1 |
DRESDEN/smallest_4player/ADDROA | 114.46676725289645 | 82440.03333333334 | 720.2093263557881 |
BASE/dotsAndBoxesSuicide/jzQbLw | 114.6708997919556 | 88189.56666666667 | 769.0666666666667 |
BASE/battlebrushes/arCwyA | 114.8620197368421 | 14837.7 | 129.17847025495752 |
BASE/snake_2008/i6K26g | 115.56362314563887 | 38377.4 | 332.0889303689877 |
DRESDEN/brawl/2kXtfQ | 116.29517265822784 | 4593.2 | 39.496050394960506 |
DRESDEN/Runners/3bOCQw | 116.78514374773873 | 139873.56666666668 | 1197.7 |
BASE/brawl/6Ymo_Q | 117.45263271186442 | 4617.033333333334 | 39.309747484842426 |
BASE/beatMania/qUHwvQ | 117.46662910864245 | 222407.4 | 1893.3666666666666 |
BASE/duplicateStateSmall/bCPAXw | 117.6612529130755 | 708520.7666666667 | 6021.7 |
BASE/copolymer_4/2LDVhQ | 118.37770907309906 | 128905.43333333333 | 1088.9333333333334 |
BASE/blocker/dIWtxg | 119.35121535925956 | 364494.63333333336 | 3053.9666666666667 |
BASE/pegEuro/5awwhg | 119.85994375133974 | 37275.2 | 310.9896336788774 |
BASE/rubiksCube/9tNO9Q | 120.28642512828488 | 25785.4 | 214.36666666666667 |
BASE/snake_2008_tweaked/bX0NJQ | 120.57728769583873 | 40276.833333333336 | 334.03333333333336 |
BASE/breakthroughSmallHoles/bxclRw | 120.95109469157859 | 133138.93333333332 | 1100.7666666666667 |
DRESDEN/snake_2008/E56l3A | 121.3665677942711 | 40060.433333333334 | 330.07799480034663 |
BASE/cubicup_3player/e2yA_g | 121.7361313392194 | 49175.7 | 403.953201559948 |
BASE/nim2/eF2Qqw | 121.96654794329211 | 174643.9 | 1431.9 |
BASE/point_grab/V_osUg | 122.83743666169894 | 412119.6 | 3355.0 |
DRESDEN/capture_the_king/EQ229Q | 123.86664375 | 5678.7 | 45.845272206303726 |
DRESDEN/connect4/T0-rHQ | 124.81354234191761 | 70598.7 | 565.6333333333333 |
BASE/guess/SPpk1A | 125.58876993191609 | 30125.733333333334 | 239.8760123987601 |
DRESDEN/nim2/z5_exA | 125.95769865597737 | 178062.2 | 1413.6666666666667 |
BASE/breakthroughSuicideSmall/XSbJog | 126.16891210704793 | 45887.63333333333 | 363.7 |
BASE/peg/fJHVWw | 127.68125169817927 | 40516.166666666664 | 317.3227559081364 |
STANFORD/freeforall/Lfp40Q | 127.8018195744481 | 60527.166666666664 | 473.6017598826745 |
BASE/skirmishHoles/AUCxCA | 129.83777504456327 | 4045.6666666666665 | 31.159396140900455 |
STANFORD/untwistycorridor/EDPPAQ | 130.8204284306004 | 836042.8333333334 | 6390.766666666666 |
DRESDEN/cubicup_3player/awDtsQ | 131.14110403862793 | 52205.53333333333 | 398.0867304423186 |
BASE/breakthroughSmall/HJ0tIA | 131.21823782136735 | 45933.6 | 350.0549981667278 |
BASE/untwistycomplex2/EDPPAQ | 132.35866781862848 | 847695.5 | 6404.533333333334 |
BASE/tictactoe2/bhrDoQ | 135.98013356908766 | 402469.4666666667 | 2959.766666666667 |
BASE/conn4/va9Y7A | 137.12865497076024 | 178212.4 | 1299.6 |
BASE/connect4/50bOyw | 137.17150986802275 | 75526.63333333333 | 550.6 |
DRESDEN/tictactoelargesuicide/6J4DeA | 139.20995424314071 | 272800.4666666667 | 1959.6333333333334 |
DRESDEN/hanoi/RQ0jiA | 139.25635339247182 | 232335.3 | 1668.4 |
BASE/racer/QQYQNw | 139.56674534950895 | 2682.366666666667 | 19.21923922456865 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 139.69614232869475 | 52870.333333333336 | 378.46666666666664 |
BASE/pawnWhopping/Ypc_6Q | 140.16522409803756 | 109039.2 | 777.9333333333333 |
BASE/strangeSkirmish/gc1zKA | 144.07456538461537 | 3744.0666666666666 | 25.987006496751626 |
DRESDEN/tictactoelarge/IwXcbg | 144.3646157613068 | 275149.3333333333 | 1905.9333333333334 |
DRESDEN/guess/PhxGhg | 144.6992245005406 | 34200.933333333334 | 236.35878804039865 |
BASE/cittaceot/fDxhXg | 146.0283000691882 | 42209.1 | 289.04739684021064 |
BASE/queens12ug/u6Bkmg | 146.27719052101676 | 71995.23333333334 | 492.183593880204 |
DRESDEN/skirmish/RjGQYQ | 146.48779543378996 | 6413.6 | 43.78248700519792 |
BASE/skirmish/Y_psYQ | 146.92649873060648 | 3471.9 | 23.63018264231436 |
BASE/asteroidsParallel/WauZiA | 147.49429726905075 | 108196.9 | 733.5666666666667 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 149.22618791772828 | 44899.166666666664 | 300.8799413372442 |
BASE/ticTacToeLargeSuicide/727_8g | 150.45415493100444 | 247502.1 | 1645.0333333333333 |
DRESDEN/racer/vk_ZBA | 150.97095443425076 | 2738.1666666666665 | 18.137042830044262 |
BASE/mineClearingSmall/frsbvw | 151.66040394513388 | 38696.1 | 255.14965668955404 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 151.95769079452302 | 785362.9333333333 | 5168.3 |
BASE/ticTacToeLarge/TZC0dg | 153.5421528675082 | 257464.6 | 1676.8333333333333 |
BASE/queens08ug/kJ_ZFQ | 154.77175489485134 | 142286.83333333334 | 919.3333333333334 |
STANFORD/multiplebuttonsandlights/cK70Yg | 155.2077229571575 | 786861.7666666667 | 5069.733333333334 |
BASE/endgame/jYjfOA | 155.40147409805735 | 11197.4 | 72.05465755707382 |
BASE/queens16ug/gT-ylw | 155.41181414335455 | 43147.5 | 277.6333333333333 |
BASE/qyshinsu/R08Lzw | 155.75785206716301 | 32773.36666666667 | 210.4122921041229 |
BASE/nim1/hin2Qw | 156.9454962439447 | 223547.93333333332 | 1424.3666666666666 |
BASE/othelloSuicide/B442jg | 157.7869453370879 | 3094.8919645524247 | 19.614372772986112 |
BASE/othello-comp2007/86ZoMw | 158.28766775459707 | 3175.9882674488367 | 20.064660200646603 |
DRESDEN/skirmish2/iPpWhQ | 159.41796466715434 | 7261.966666666666 | 45.55300076643674 |
BASE/lightsOn/MsXu3A | 161.6186973521091 | 847393.7666666667 | 5243.166666666667 |
DRESDEN/gt_ultimatum/pAiiQw | 163.21010336519316 | 54639.1 | 334.7776814879008 |
BASE/asteroids/BKCmPQ | 165.55922210958758 | 206871.76666666666 | 1249.5333333333333 |
BASE/golden_rectangle/_nYzfw | 165.56351865955824 | 72461.63333333333 | 437.6666666666667 |
DRESDEN/nim1/M9BALA | 166.13304608645973 | 232630.56666666668 | 1400.2666666666667 |
STANFORD/tictactoe3/X7myng | 166.27487303706354 | 402712.2 | 2421.9666666666667 |
DRESDEN/4pttc/9pB9AQ | 166.46415052326878 | 49839.36666666667 | 299.4 |
DRESDEN/golden_rectangle/1uloXw | 167.27390160874182 | 73475.4 | 439.25202493250225 |
BASE/hanoi/iGLsJg | 169.94602500978553 | 274978.3333333333 | 1618.0333333333333 |
BASE/skirmishFinal2/gdB62Q | 173.2001069662921 | 5136.9 | 29.65875766462277 |
BASE/choicethroughalt/tt71Lg | 173.27495813953487 | 16388.533333333333 | 94.58108378324336 |
BASE/queens06ug/7Lq3tw | 173.44714569724508 | 203569.13333333333 | 1173.6666666666667 |
STANFORD/knightstourmedium/x1wu8Q | 174.77860400373632 | 318091.23333333334 | 1819.9666666666667 |
BASE/minichess/8NQEiA | 177.32981412639407 | 39751.433333333334 | 224.16666666666666 |
BASE/asteroidsSerial/id2QkA | 177.39800304468523 | 132066.9 | 744.4666666666667 |
BASE/factoringGeorgeForman/HGRorQ | 177.61290684846443 | 896216.9666666667 | 5045.9 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 177.80172620474704 | 24720.366666666665 | 139.03333333333333 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 180.94942732019538 | 143239.56666666668 | 791.6 |
BASE/tictactoe_3d_small_2player/oOryKA | 181.71921099920598 | 144945.3 | 797.6333333333333 |
DRESDEN/skirmishfinal/hzq8ww | 182.46522857142858 | 5192.1 | 28.45528455284553 |
BASE/wallmaze/uxNQ9g | 183.79911586784547 | 131661.43333333332 | 716.3333333333334 |
BASE/hidato19/rRHSmA | 184.36997082467082 | 109370.76666666666 | 593.213559548015 |
DRESDEN/cubicup/SBn_lw | 185.26672038678487 | 84302.53333333334 | 455.03333333333336 |
BASE/englishDraughts/jFkQxg | 185.4282810717223 | 47596.26666666667 | 256.6828878074795 |
DRESDEN/knightthrough/J7Fc_Q | 187.71384587458746 | 23377.433333333334 | 124.53760789149199 |
BASE/skirmishFinal3/-Olhfw | 188.11257526205452 | 5976.8 | 31.772463864650636 |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 188.59186378027633 | 37458.13333333333 | 198.62009199386708 |
BASE/sheepAndWolf/g4THrg | 188.84198246099646 | 25012.766666666666 | 132.45342132453422 |
BASE/cubicup/4wNWJA | 190.20179837665498 | 86830.56666666667 | 456.5181160627979 |
BASE/lightsOnParallel/SC6enA | 191.84365726772702 | 515042.6666666667 | 2684.7 |
DRESDEN/breakthrough/z4hK7Q | 193.00819861873856 | 25768.733333333334 | 133.51108148641893 |
STANFORD/chinook/osFbPA | 193.25862379702536 | 17174.966666666667 | 88.87037654115295 |
DRESDEN/ggp-course2013_michal13/jWKddg | 193.36681821462076 | 89316.13333333333 | 461.9 |
BASE/chinook/XQh0IQ | 193.72856091394107 | 18554.866666666665 | 95.77765188122771 |
BASE/skirmishFinal1/ecWTnQ | 193.99227493670884 | 5105.4 | 26.317542807648746 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 194.27200069000767 | 25338.7 | 130.42898570047666 |
BASE/othelloHoles/c0qAzw | 194.8111014579084 | 4020.0659978000735 | 20.635713097021135 |
BASE/ttcc4/Le0qjQ | 196.35780367231638 | 18530.0 | 94.36854381872709 |
BASE/breakthroughSuicide/wZDpIg | 196.53595760787283 | 25962.4 | 132.1 |
DRESDEN/endgame/IJhh3Q | 197.9269155339806 | 7472.3 | 37.75282396454633 |
DRESDEN/lightson2x2/gBHuig | 198.23917992656058 | 539871.3666666667 | 2723.3333333333335 |
BASE/tictactoe_3d_small_6player/g_9lww | 198.5137310073157 | 117586.3 | 592.3333333333334 |
BASE/ticTacToeNoVars/XT03NA | 198.54265395286538 | 415046.8 | 2090.4666666666667 |
BASE/knightsTour/mvtVIg | 200.01744312026003 | 307693.5 | 1538.3333333333333 |
BASE/gt_ultimatum/GE-uOA | 200.8737717309146 | 62009.73333333333 | 308.7 |
BASE/breakthrough/TGxk-g | 201.72080688433965 | 25941.966666666667 | 128.6033258906255 |
BASE/breakthroughWalls/vOZaYA | 202.62042468172854 | 25105.566666666666 | 123.90442230146299 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 203.07595898214964 | 124763.1 | 614.3666666666667 |
DRESDEN/tttcc4/sAvtFg | 206.87493826256713 | 18833.133333333335 | 91.03632122625791 |
BASE/tttcc4/8Bs2lg | 207.27369655172413 | 19034.0 | 91.83027232425586 |
STANFORD/pilgrimage/ObRZnQ | 212.55882757671668 | 51488.833333333336 | 242.23333333333332 |
BASE/minichess-evilconjuncts/4OpQzw | 212.9364417222046 | 44727.86666666667 | 210.05266315578962 |
BASE/ruleDepthLinear/OUBJpQ | 212.94768176077935 | 354110.7 | 1662.9 |
STANFORD/knightstour/cEwgNA | 213.30460732061843 | 322843.63333333336 | 1513.5333333333333 |
BASE/breakthroughHoles/nZk0Sg | 215.77341259869547 | 27934.533333333333 | 129.46235125495818 |
BASE/duplicateStateMedium/U163eQ | 216.9926898951367 | 453174.76666666666 | 2088.4333333333334 |
BASE/factoringEasyTurtleBrain/lUj94Q | 219.10052870928385 | 592601.2 | 2704.7 |
DRESDEN/minichess/c7GMFw | 220.1711652202607 | 44477.46666666667 | 202.0131320201313 |
DRESDEN/minichess-evilconjuncts/th24Tw | 223.6131848049502 | 46169.96666666667 | 206.47247033728837 |
DRESDEN/pentago_2008/hLjVpQ | 225.70837245028594 | 88154.16666666667 | 390.56666666666666 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 245.95790579161212 | 476207.3 | 1936.1333333333334 |
BASE/skirmishNew/sibw2g | 247.9937819327731 | 5895.766666666666 | 23.77384876635701 |
BASE/checkers/rOC3Xg | 248.03411109896118 | 15115.766666666666 | 60.94228975076636 |
BASE/gt_coordination/IVMOzA | 255.30365215849656 | 192005.36666666667 | 752.0666666666667 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 256.300089651329 | 352592.0333333333 | 1375.7 |
BASE/duplicateStateLarge/dcjyuw | 265.01263693246227 | 197410.16666666666 | 744.9085030498983 |
BASE/majorities/ibJzSQ | 265.3000413429019 | 107200.6 | 404.0730617958803 |
BASE/queens08lg/Ru7eqQ | 274.6072933739171 | 156379.7 | 569.4666666666667 |
BASE/checkersSmall/SYmq8w | 277.5666961323912 | 24871.766666666666 | 89.60645139791396 |
BASE/chess_200/XsTpYA | 277.58423913043475 | 3405.0333333333333 | 12.266666666666667 |
BASE/connectFourSimultaneous/7ITr3g | 283.33198195016405 | 135305.4 | 477.5507483083897 |
BASE/speedChess/bPnisA | 284.47640913438545 | 6601.633333333333 | 23.206259364075244 |
BASE/ttcc4_2player_small/Cv72TA | 287.5116492949111 | 62524.2 | 217.46666666666667 |
STANFORD/selectivesukoshi/3xmXYg | 289.81837100552667 | 117111.7 | 404.08653044898506 |
STANFORD/untwistycomplex/HTWEwg | 294.3146467732823 | 850853.8333333334 | 2890.9666666666667 |
BASE/3pttc/0sol9g | 295.7985972772676 | 40797.76666666667 | 137.92413839077395 |
BASE/2pttc/unkkYA | 295.9270268949182 | 61075.26666666667 | 206.38624091727218 |
BASE/chineseCheckers2/eCMR3Q | 297.1839556475853 | 148304.7 | 499.03333333333336 |
STANFORD/ttcc4/Cx9SGw | 298.36166901004304 | 27722.2 | 92.91475038325669 |
BASE/3pConnectFour/PqXOFQ | 299.86763157894734 | 227899.4 | 760.0 |
BASE/knightfight/SJRkAg | 303.72776305092 | 15770.966666666667 | 51.92467922012998 |
DRESDEN/oisters_farm/pTQMLg | 306.9885573648113 | 877291.4333333333 | 2857.733333333333 |
BASE/skirmishZeroSum/zh4hcw | 307.65995391211146 | 6374.566666666667 | 20.71952031978681 |
BASE/knightsTourLarge/M8jgLA | 312.3554081338333 | 180489.36666666667 | 577.8333333333334 |
BASE/chineseCheckers3/-1rZdQ | 313.9379511364682 | 113715.0 | 362.22125929135694 |
DRESDEN/blobwars/ZaMluQ | 321.40103339350185 | 5927.5 | 18.442691168148073 |
DRESDEN/quad_5x5_8_2/JRTLJg | 325.8139259259259 | 73308.13333333333 | 225.0 |
STANFORD/knightstourbig/TQUI2g | 327.95026624226085 | 145954.86666666667 | 445.05183160561313 |
BASE/ttcc4_2player/_aH_Mw | 328.4087887780549 | 30718.9 | 93.53860508514113 |
BASE/checkersTiny/Lr48cg | 330.1255378385219 | 43477.53333333333 | 131.7 |
BASE/blobwars/0XT15Q | 335.06029914529915 | 6089.166666666667 | 18.173345759552657 |
DRESDEN/pacman3p/rBnk8Q | 335.1646185089975 | 21727.666666666668 | 64.8268506482685 |
BASE/pacman2p/4LEdQg | 336.8292040156163 | 20127.133333333335 | 59.75471572352196 |
BASE/quad_5x5/JAEP5g | 341.8254287676259 | 72450.76666666666 | 211.95253649756683 |
BASE/chineseCheckers4/avfBcQ | 345.0820379815274 | 102111.06666666667 | 295.9037429590374 |
STANFORD/multiplesukoshi/vLSQPg | 346.13939667864344 | 131655.5 | 380.3539882003933 |
DRESDEN/knightfight/4_Ly4w | 349.922619121447 | 18053.6 | 51.59312091721104 |
DRESDEN/firefighter/WJmoPw | 351.2921673315415 | 971592.1666666666 | 2765.766666666667 |
DRESDEN/quad_5x5/JAEP5g | 354.2519751224135 | 74751.5 | 211.0122321101223 |
BASE/knightThrough/gcwFjA | 364.316002585034 | 23795.633333333335 | 65.31591575579846 |
BASE/checkersTorusNoKings/pwb6oQ | 371.4177316160809 | 30999.966666666667 | 83.4638845371821 |
STANFORD/pentago/ZxzLmg | 374.6625734890619 | 89807.13333333333 | 239.70137315024664 |
BASE/checkLines/Vop7oQ | 378.5386551238172 | 125346.76666666666 | 331.1333333333333 |
BASE/checkersBarrelNoKings/rnKNeg | 383.0957585429966 | 34005.0 | 88.76370787640413 |
BASE/firefighter/WJmoPw | 383.62108980827446 | 1013782.6666666666 | 2642.6666666666665 |
BASE/pentagoSuicide/SBgNhw | 386.0647135986008 | 88293.0 | 228.7 |
STANFORD/checkersonabarrelnokings/Zrevdw | 388.74619120567377 | 33488.03333333333 | 86.14369501466275 |
BASE/chineseCheckers6/rREH3A | 390.6282355016538 | 94476.8 | 241.85860471317622 |
DRESDEN/connectfoursuicide/M9CNQg | 394.25651720542237 | 264664.4 | 671.3 |
DRESDEN/connectfour/5tc-Mg | 399.50332348596754 | 252432.83333333334 | 631.8666666666667 |
BASE/checkersTorus/2vm1EQ | 411.45202972831765 | 26242.766666666666 | 63.78086574027792 |
BASE/connectFourSuicide/c8p9Kw | 414.54935070737963 | 252963.4 | 610.2129929002367 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 414.90577943925234 | 7387.333333333333 | 17.804845580404685 |
BASE/ttcc4_2player_alt/ZEJvYA | 417.2487613455658 | 37887.46666666667 | 90.80306564478506 |
STANFORD/connectfour/VMpZkQ | 430.15146849625677 | 244496.13333333333 | 568.3954403039797 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 435.36863339882126 | 7375.2 | 16.940127134156487 |
BASE/reversi/d8UMeA | 435.58934916893315 | 16013.033333333333 | 36.76176509798694 |
BASE/amazons_8x8/7SOsIw | 436.1635735639831 | 21851.066666666666 | 50.09833005566481 |
BASE/connectFour/WAIKTw | 437.8354273389054 | 270655.26666666666 | 618.1666666666666 |
BASE/pentago/86NgKw | 447.4864574783502 | 101617.4 | 227.08486100926604 |
BASE/connectFour_9x6/B9TtMw | 455.4622931519393 | 232118.76666666666 | 509.6333333333333 |
BASE/4pttc/AL1k2Q | 460.2706472036581 | 43612.5 | 94.75403279562725 |
BASE/reversiSuicide/9OxJlg | 465.82249174256225 | 17047.966666666667 | 36.597560162655824 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 479.6116854218785 | 70290.4 | 146.55689620691953 |
BASE/chineseCheckers1/gqtwHw | 482.38579583852305 | 387278.56666666665 | 802.8399053364888 |
DRESDEN/vacuumcleaner_random/_6AGDA | 487.3902689477557 | 7358.366666666667 | 15.097483752707882 |
BASE/blokbox_simple/JBx4bg | 497.6691507788162 | 3549.5666666666666 | 7.132382349020131 |
BASE/connectFourLarge/aU644A | 498.72126835381516 | 159618.73333333334 | 320.0559981333956 |
BASE/dualConnect4/WbCQkg | 508.75283145181794 | 177848.13333333333 | 349.57669488700753 |
BASE/pacman3p/wW7UVQ | 549.2056750617284 | 34590.73333333333 | 62.98320447880565 |
BASE/knightmove/jBaJEw | 555.6326740990991 | 208318.26666666666 | 374.9208359721343 |
BASE/tictactoe_3d_6player/d7KSwg | 562.3452498387223 | 79403.36666666667 | 141.2003865764655 |
DRESDEN/knightmove/97Ipcw | 563.0010339047956 | 212349.83333333334 | 377.17485500966603 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 563.459159737418 | 8576.5 | 15.221156408206769 |
BASE/racer4/0vs7Ww | 573.093185 | 9144.8 | 15.956916325920016 |
BASE/queens31lg/0gID-A | 576.6427307189542 | 21558.533333333333 | 37.386291693045884 |
DRESDEN/CephalopodMicro/H3XQfg | 577.6305807066296 | 48490.4 | 83.94707901489653 |
BASE/bomberman2p/4CClwA | 584.9079302694137 | 73808.0 | 126.18738126187381 |
BASE/tictactoe_3d_2player/IUC1rQ | 593.4699628614553 | 82992.83333333333 | 139.8433594400933 |
BASE/connectFourLarger/qKi60A | 611.2016803822372 | 72435.4 | 118.51309040037306 |
BASE/checkers-mustjump-torus/uSApKQ | 617.2644337121212 | 5415.5 | 8.773387391578877 |
DRESDEN/bomberman2p/x4h6jQ | 622.0342052494802 | 79770.3 | 128.24101846297407 |
DRESDEN/fizzbuzz/t1xHzQ | 626.0513674197383 | 526509.2 | 841.0 |
BASE/hanoi_6_disks/MeubgQ | 629.9933097261355 | 186318.6 | 295.7469502033198 |
BASE/zhadu/DlA8iQ | 631.6368714043992 | 24878.2 | 39.386871042985675 |
BASE/hidato37/pBrqxw | 638.2128437181515 | 40345.566666666666 | 63.21647560650493 |
DRESDEN/Zhadu/9zpQ5w | 640.5236626829268 | 26243.1 | 40.971320075946835 |
DRESDEN/sat_test_20v_91c/dK7nVw | 641.27104251884 | 305384.4666666667 | 476.2174594180194 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 641.3903728813559 | 315350.26666666666 | 491.6666666666667 |
BASE/amazonsSuicide_10x10/XIbQkg | 649.7670954568657 | 14136.666666666666 | 21.75651362697408 |
DRESDEN/hanoi_6_disks/MeubgQ | 654.2710795902284 | 193729.66666666666 | 296.1 |
STANFORD/skirmish/w4V6Vw | 658.1468876190476 | 5373.433333333333 | 8.164489469474807 |
BASE/kitten_escapes_from_fire/uW-YiA | 659.9746393958487 | 418981.93333333335 | 634.8455051498283 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 664.730797328324 | 424630.0333333333 | 638.8 |
BASE/cephalopodMicro/9l2D3g | 665.2793333333334 | 51175.333333333336 | 76.92307692307692 |
BASE/checkers-newgoals/0XkFiA | 691.5782104006821 | 18022.933333333334 | 26.060585863298563 |
BASE/amazons_10x10/Bun8dA | 720.252420846395 | 15298.5 | 21.24047008689283 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 725.0212790103842 | 425901.6666666667 | 587.4333333333333 |
BASE/amazonsTorus_10x10/Uxc08g | 729.8657770833333 | 9328.6 | 12.781254160564506 |
BASE/gt_tinfoil/Q8DyKg | 759.3307865088419 | 88737.5 | 116.86277124095864 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 761.9027387358444 | 316215.0333333333 | 415.03333333333336 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 764.0544075697488 | 366058.4666666667 | 479.1 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 768.5906447409327 | 98888.7 | 128.66237792073596 |
DRESDEN/ghostmaze2p/HY0UwA | 773.8554386885518 | 103718.96666666666 | 134.02886570447652 |
DRESDEN/babel/WdSW4A | 799.3445418796483 | 65661.96666666666 | 82.14476139696082 |
BASE/ghostMaze2p/W-NU-w | 802.0579414428242 | 104497.7 | 130.28697130286972 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 816.5924239960982 | 334857.3333333333 | 410.06666666666666 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 836.8162785456927 | 85137.3 | 101.73953612370035 |
STANFORD/madness/UO_B3A | 853.5139490538573 | 6503.666666666667 | 7.61987156024357 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 868.0498392282957 | 431941.6 | 497.6 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 900.3438317307692 | 9336.5 | 10.369927211087845 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 916.3284264300598 | 454407.26666666666 | 495.9 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 932.368880673126 | 487566.76666666666 | 522.9333333333333 |
BASE/mummyMaze2p_2007/YGA3Vw | 964.2116520911255 | 94496.53333333334 | 98.00393215368723 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 970.1807519640853 | 9595.833333333334 | 9.89076861595844 |
BASE/gt_two_thirds_2p/1APDGg | 1019.6664375000001 | 2698.3333333333335 | 2.6462902318811814 |
DRESDEN/connect5/1kYzSg | 1064.4347237479806 | 21949.666666666668 | 20.620960756879207 |
DRESDEN/quartosuicide/WIU1oQ | 1077.4210818443805 | 24901.1 | 23.111762355135205 |
BASE/colonelBlottoVariant2/jruwGw | 1117.2429637002342 | 47682.433333333334 | 42.67866066966517 |
DRESDEN/hanoi7_bugfix/3gdnFw | 1135.848842018197 | 183098.83333333334 | 161.2 |
BASE/hanoi7_bugfix/3gdnFw | 1143.7971712944857 | 194946.8 | 170.43826028995167 |
DRESDEN/quarto/OQzRYQ | 1171.5547447916665 | 26210.5 | 22.37240736425076 |
BASE/checkers-mustjump/T-8UuQ | 1185.0822533713201 | 13852.533333333333 | 11.689090182496336 |
STANFORD/platformjumpers/HEQskA | 1204.9894319444443 | 30840.533333333333 | 25.594028060119307 |
BASE/connect5/d-BVQg | 1226.199092455164 | 21961.166666666668 | 17.909951819239076 |
BASE/colonelBlotto/jip21A | 1261.486633551198 | 6431.866666666667 | 5.098640362569982 |
BASE/quarto/EwBMVQ | 1308.55375976155 | 29262.133333333335 | 22.362194227821103 |
BASE/quartoSuicide/-23jUg | 1339.268045035461 | 29373.633333333335 | 21.93260224659178 |
BASE/colonelBlottoVariant/X-n-KQ | 1422.6952826042464 | 61765.63333333333 | 43.414520374504384 |
DRESDEN/hanoi7/51zz5Q | 1429.4138678223185 | 219891.5 | 153.83333333333334 |
BASE/wargame02/BkVqqQ | 1487.4478977777778 | 5936.533333333334 | 3.991086573319586 |
BASE/nonogram_5x5_1/qLKEZw | 1853.1439069221747 | 157897.0 | 85.20493168943685 |
BASE/mummymaze2p/vpjDdA | 1988.3397882584131 | 89909.26666666666 | 45.21826057980673 |
DRESDEN/mummymaze2p/k-8edg | 2000.019879970653 | 90849.4 | 45.4242484836366 |
BASE/twisty-passages/DiZmmg | 2299.7133851328626 | 151929.33333333334 | 66.0644645178494 |
DRESDEN/twisty-passages/j7NPyg | 2385.8025964876033 | 153902.23333333334 | 64.50753032120485 |
BASE/amazons/RKKZjw | 2443.3558444444443 | 204.73333333333332 | 0.0837918610172332 |
BASE/nonogram_10x10_1/0Xc62g | 2933.9994221633556 | 73770.13333333333 | 25.143199680298387 |
DRESDEN/battlebrushes/QHXV4A | 3075.797239155991 | 1125.3166244500733 | 0.36586177077097054 |
BASE/solitaireChineseCheckers/-ET6gw | 3617.2731180555556 | 51619.0 | 14.270141710435041 |
BASE/four_way_battle/xSOQXA | 4271.224618150087 | 27132.866666666665 | 6.352479462533675 |
BASE/wargame03/klXI8w | 4457.973804761905 | 14524.466666666667 | 3.258087037468001 |
DRESDEN/max_knights/hCipiA | 4581.91392961165 | 31404.9 | 6.854100815172185 |
BASE/max_knights/2fq3Ag | 4620.181988405798 | 31818.8 | 6.8869148617626506 |
DRESDEN/four_way_battle/xSOQXA | 4689.672186734694 | 30624.9 | 6.530285866595588 |
BASE/wargame01/_GZFZg | 4971.967590243902 | 20305.2 | 4.083936516368949 |
DRESDEN/pawntoqueen/f_x6Aw | 5094.720302068966 | 24523.933333333334 | 4.813597583242041 |
BASE/pawnToQueen/-O1_JA | 7957.4545476510075 | 39435.26666666667 | 4.955763985897692 |
BASE/gt_attrition/kD_SCA | 8194.987425925925 | 9665.166666666666 | 1.1793998165378063 |
DRESDEN/battle/8oAvhQ | 12328.764973333335 | 44840.76666666667 | 3.6370850416611558 |
BASE/battle/8oAvhQ | 12962.23488 | 47414.4 | 3.657887736100027 |
BASE/ad_game_2x2/D0aWqg | 21582.25850526316 | 13479.6 | 0.6245685546168765 |
DRESDEN/othello-cornercontrol/r5Gdlg | 53152.717033333334 | 8652.566666666668 | 0.16278691193228065 |
DRESDEN/hitori/S8Gsyg | 54447.0538 | 60484.86666666667 | 1.1108932888976017 |
BASE/hitori/S8Gsyg | 57516.559140624995 | 60633.5 | 1.0541920606160435 |
Games with errors:
Game | ALLOY_DIFF_PROP_NET:1 error message | REKKURA_BACKWARD_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 |