Game-by-game performance:
Game | Perf ratio | ALLOY_DIFF_PROP_NET:1 states per second | REKKURA_GENERIC_FORWARD_PROVER:1.0.0 states per second |
BASE/snakeAssemblit/UO4sdg | 10.276398399048082 | 2110.8333333333335 | 205.4059458738835 |
BASE/coins_atomic/AA3SSw | 26.19465804735178 | 74828.53333333334 | 2856.633333333333 |
DRESDEN/coins/QwFP9w | 26.551775805960716 | 75607.06666666667 | 2847.5333333333333 |
BASE/coins/QnGtnQ | 26.601037729204332 | 75534.53333333334 | 2839.5333333333333 |
DRESDEN/amazons/dNB28A | 38.059899393939396 | 209.26666666666668 | 5.498350494851545 |
DRESDEN/8puzzle/8fKC2w | 41.48696895424837 | 33853.36666666667 | 816.0 |
DRESDEN/tictactoeparallel/yk_DSg | 49.68877444081804 | 55315.2 | 1113.2333333333333 |
BASE/coloredtrails/EZvr7g | 51.583873056994825 | 26548.5 | 514.6666666666666 |
BASE/pearls/6k_mEQ | 54.43678429120149 | 808770.9333333333 | 14857.066666666668 |
BASE/haystack/UkweGA | 59.71001065087372 | 850260.6 | 14239.833333333334 |
BASE/eightPuzzle/vLrgFg | 62.17401928925113 | 31529.466666666667 | 507.1164294523516 |
DRESDEN/latenttictactoe/kITHKg | 68.2106824925816 | 83519.43333333333 | 1224.4333333333334 |
DRESDEN/sum15/CsgWKg | 68.65155733045721 | 157008.4 | 2287.0333333333333 |
DRESDEN/javastrike/whONTQ | 70.4119804400978 | 7679.6 | 109.06666666666666 |
BASE/sum15/QZ07Kg | 73.50405579794753 | 159484.2 | 2169.733333333333 |
DRESDEN/sheep_and_wolf/enAIzQ | 74.1814101924803 | 24793.9 | 334.23333333333335 |
STANFORD/8puzzle/jNiGtw | 74.55929369272958 | 37157.86666666667 | 498.3666666666667 |
BASE/sudokuGrade6H/ieE_9A | 75.1665165278151 | 9321.6 | 124.01266455590735 |
BASE/doubletictactoe/HH1htg | 75.56829666485268 | 97203.5 | 1286.3 |
STANFORD/eightpuzzle/W_aWbA | 77.55473149292679 | 37645.066666666666 | 485.4 |
BASE/sudokuGrade6E/ihYFZA | 77.64491917695473 | 9432.6 | 121.48380215971204 |
BASE/blockerParallel/7-nDJA | 78.60100101665755 | 33502.36666666667 | 426.23333333333335 |
BASE/blocks2player/wnTLOQ | 79.46142243436755 | 138726.4 | 1745.8333333333333 |
DRESDEN/blockerparallel/dVQgSg | 79.66401937312963 | 33718.0 | 423.2525582480584 |
DRESDEN/blocks2player/3ev8nQ | 79.88296078013222 | 137348.1 | 1719.3666666666666 |
DRESDEN/blocksworldparallel/2JfVaw | 82.02314198308441 | 75967.1 | 926.1666666666666 |
DRESDEN/doubletictactoe/lJzgmQ | 82.66255936336799 | 107337.33333333333 | 1298.5 |
STANFORD/sudoku/oJ1qyQ | 83.2125146799117 | 10051.066666666668 | 120.78792120787921 |
STANFORD/breakthrough/d5j0cQ | 83.37793274165202 | 15812.433333333332 | 189.64770189647703 |
BASE/sudokuGrade4/DTy07w | 85.38823651315789 | 10381.133333333333 | 121.57568486302739 |
DRESDEN/bunk_t/7-tPfA | 85.66413839679984 | 109929.93333333333 | 1283.2666666666667 |
BASE/sudokuGrade3/eI8dvg | 85.68647386012715 | 10479.866666666667 | 122.30479554770554 |
BASE/sudokuGrade5/BQfUQA | 86.03587527807679 | 10656.266666666666 | 123.8584094393707 |
BASE/doubletoetictac/fu35bg | 86.77586480902686 | 109204.53333333334 | 1258.4666666666667 |
BASE/sudokuGrade1/tDRNRw | 87.18242835575076 | 10586.5 | 121.42928569047699 |
BASE/sudokuGrade2/u80Tfw | 87.28663799400381 | 10674.8 | 122.2959234692177 |
DRESDEN/doubletoetictac/V89gKQ | 90.2921196387041 | 111294.06666666667 | 1232.6 |
DRESDEN/tictictoe/LAUtwg | 93.88255242577341 | 90433.93333333333 | 963.2666666666667 |
BASE/bunk_t/xbpfIA | 94.91546868972611 | 123026.26666666666 | 1296.1666666666667 |
DRESDEN/chickentictactoe/Ipbo-g | 95.7330445499692 | 176065.83333333334 | 1839.1333333333334 |
BASE/blocks/xIV5hQ | 96.86258663366337 | 260883.23333333334 | 2693.3333333333335 |
BASE/survival/YVIjJA | 97.70129260775565 | 707976.1333333333 | 7246.333333333333 |
DRESDEN/smallest/9kaGFw | 99.0754592328581 | 3241.233333333333 | 32.7147949495286 |
DRESDEN/tictactoex9/rFkD4w | 101.2887102582061 | 24102.533333333333 | 237.95873470884302 |
STANFORD/duidoku/3SoMaA | 102.52239919086837 | 7882.133333333333 | 76.88206085246776 |
BASE/double_tictactoe_dengji/zgaSbA | 104.07076265246039 | 98978.23333333334 | 951.0666666666667 |
DRESDEN/tictactoe/BTTzPw | 104.62913907284768 | 207493.53333333333 | 1983.1333333333334 |
BASE/tictactoex9/BI26ow | 105.17284646834906 | 24866.366666666665 | 236.43333333333334 |
BASE/eotcitcit/V_9_bg | 107.10504099920423 | 103188.56666666667 | 963.4333333333333 |
BASE/blocksWorld/SEdXLQ | 107.4583843029799 | 292816.93333333335 | 2724.9333333333334 |
DRESDEN/blocks/vg0DRw | 107.81201083310557 | 289274.0 | 2683.133333333333 |
BASE/tpeg/QNs7Lw | 108.06239110816611 | 38049.833333333336 | 352.1098593427105 |
BASE/ticTacToeParallel/ymRGPw | 109.35294905268796 | 54446.833333333336 | 497.9 |
BASE/onestep/xi53wA | 111.6701193414907 | 838404.3666666667 | 7507.866666666667 |
DRESDEN/peg/Vo31eg | 112.35246700654582 | 39665.26666666667 | 353.0431304579695 |
BASE/shmup/ssTNlg | 112.9304535637149 | 17428.933333333334 | 154.33333333333334 |
DRESDEN/tpeg/h-Scbg | 114.37450436161778 | 38460.333333333336 | 336.26666666666665 |
DRESDEN/peg_bugfixed/u_B7MA | 115.78154317442083 | 40315.13333333333 | 348.2 |
BASE/eotcatcit/AfZSzA | 119.75874936788324 | 228926.83333333334 | 1911.5666666666666 |
DRESDEN/eotcatcit/mQUxzA | 120.09425615151183 | 218979.86666666667 | 1823.4 |
DRESDEN/double_tictactoe_dengji/bGaUyQ | 122.85960619384439 | 107113.1 | 871.8333333333334 |
DRESDEN/chickentoetictac/cxYaRQ | 123.83518680775538 | 183734.26666666666 | 1483.7 |
BASE/numbertictactoe/rvJ-iQ | 126.51789867109635 | 101551.7 | 802.6666666666666 |
DRESDEN/circlesolitaire/ruUilQ | 130.9568070091976 | 220216.96666666667 | 1681.6 |
DRESDEN/ticblock/Z2yNWQ | 131.28547845705168 | 159056.73333333334 | 1211.5333333333333 |
BASE/hodgepodge/9yjRkw | 133.11437175840723 | 132604.1 | 996.1666666666666 |
BASE/circlesolitaire/azuQFQ | 133.33823648266386 | 219972.53333333333 | 1649.7333333333333 |
BASE/chickentoetictac/l57rfQ | 134.17637832143276 | 191044.8 | 1423.8333333333333 |
BASE/incredible/8Qh-6Q | 137.73426879198632 | 115499.36666666667 | 838.5666666666667 |
BASE/ticTacHeaven/18n58A | 137.96304621470958 | 51147.5 | 370.73333333333335 |
DRESDEN/brain_teaser_extended/ZDp94A | 138.66837432435366 | 212934.53333333333 | 1535.5666666666666 |
BASE/brain_teaser_extended/ZDp94A | 139.38692839127097 | 211844.9 | 1519.8333333333333 |
BASE/tron_10x10/7ZTgDg | 142.5632988026369 | 35322.433333333334 | 247.76666666666668 |
STANFORD/duikoshi/tpw1sw | 143.03136605153404 | 83449.26666666666 | 583.4333333333333 |
DRESDEN/buttons/ADUaHw | 143.776865919929 | 561788.9333333333 | 3907.366666666667 |
DRESDEN/toetictac/mJtxCA | 144.79724353197196 | 219575.36666666667 | 1516.4333333333334 |
BASE/buttons/hTcUjw | 144.81730050299075 | 568147.2333333333 | 3923.2 |
DRESDEN/logistics/fPru1Q | 146.19906690655833 | 41980.7 | 287.14752349843343 |
BASE/blocksWorldParallel/RseaAQ | 146.53876796951678 | 84606.6 | 577.3666666666667 |
DRESDEN/troublemaker01/C-lPWw | 147.36743367803265 | 664563.2666666667 | 4509.566666666667 |
BASE/toetictac/mTThmg | 147.38268299756822 | 220204.46666666667 | 1494.1 |
DRESDEN/cube_2x2x2/fp-34Q | 150.6719895192807 | 61256.166666666664 | 406.55311489617014 |
DRESDEN/troublemaker02/iZLVuA | 150.6844395214887 | 566824.6333333333 | 3761.6666666666665 |
STANFORD/tictictoe/rpt_Dw | 152.4757364858423 | 106621.2 | 699.2666666666667 |
BASE/tictactoe_orthogonal/WRzlVw | 154.34957534703514 | 200515.53333333333 | 1299.1 |
BASE/ticTicToe/c1OobQ | 154.54897131266299 | 106669.7 | 690.2 |
BASE/troublemaker01/s3tlEQ | 156.09949830877846 | 687633.9 | 4405.1 |
DRESDEN/pawn_whopping_corrected/7Ov0jQ | 156.9960326405482 | 116077.63333333333 | 739.3666666666667 |
BASE/chickentictactoe/DSlZCA | 157.63565643027798 | 180345.7 | 1144.0666666666666 |
BASE/ticblock/T21C1g | 157.7607260178518 | 158481.16666666666 | 1004.5666666666667 |
BASE/pancakes88/l2Xaig | 158.501531372549 | 179.53333333333333 | 1.1326914748309291 |
BASE/gt_dollar/TGjqRw | 158.62584036799274 | 104603.16666666667 | 659.4333333333333 |
BASE/troublemaker02/DI83KA | 159.06683746034062 | 581569.5666666667 | 3656.133333333333 |
BASE/catcha_mouse/cHv4dw | 162.31952843163418 | 60819.1 | 374.68751041631947 |
STANFORD/dualhunter/1rPZjQ | 163.43769574315982 | 55882.933333333334 | 341.9219359354688 |
STANFORD/trifecta/ss1kyQ | 163.64946373286156 | 197339.43333333332 | 1205.8666666666666 |
BASE/tictactoe2/bhrDoQ | 171.12039569721793 | 402469.4666666667 | 2351.9666666666667 |
DRESDEN/lightsout/XgLpzQ | 171.24722938360063 | 170488.03333333333 | 995.5666666666667 |
BASE/blocksWorldSerial/Wyg96Q | 174.70948710628986 | 183602.2 | 1050.9 |
BASE/ticTacHeavenFC/mrletw | 175.67332501040366 | 56285.73333333333 | 320.4 |
DRESDEN/tictactoe_orthogonal/y69QFQ | 176.0079651102058 | 224656.56666666668 | 1276.4 |
STANFORD/tictactoe/ss1kyQ | 176.2275272376224 | 212970.96666666667 | 1208.5 |
DRESDEN/pawn_whopping_simultaneous/r8dLfw | 176.52966472303206 | 80732.9 | 457.3333333333333 |
DRESDEN/lightsout2/LFtfyQ | 177.61213467783284 | 173201.43333333332 | 975.1666666666666 |
DRESDEN/stratego/Z2wovg | 178.07953516450348 | 39331.833333333336 | 220.86666666666667 |
DRESDEN/pawn_whopping/4ogBkg | 178.60911384416616 | 119807.0 | 670.7776407453085 |
DRESDEN/catcha_mouse/cHv4dw | 183.34043659043658 | 70549.4 | 384.8 |
BASE/switches/tPUoCg | 185.21257537151632 | 390100.9 | 2106.233333333333 |
DRESDEN/tictactoe-init1/3ltIBQ | 185.95007321335788 | 262449.93333333335 | 1411.4 |
DRESDEN/mimikry/GJEhwA | 186.23202322465386 | 27798.233333333334 | 149.26666666666668 |
BASE/cittaceot/fDxhXg | 187.26036321159248 | 42209.1 | 225.40327956272498 |
DRESDEN/towerworld/HCX34w | 188.43188601941748 | 3232.7 | 17.155801325826975 |
BASE/withConviction/3Xm54A | 190.57487038090903 | 111622.33333333333 | 585.713809539682 |
DRESDEN/Catch-Me-If-You-Can/ghGWrA | 190.72395779633638 | 184983.16666666666 | 969.9 |
DRESDEN/gt_prisoner/huCp4w | 193.79071446479182 | 39504.833333333336 | 203.85307646156923 |
BASE/ticTacToe/JRFsaQ | 195.93375902276512 | 235251.13333333333 | 1200.6666666666667 |
BASE/nineBoardTicTacToePie/B8LzeQ | 198.60496489361702 | 45423.03333333333 | 228.71046228710463 |
BASE/tictactoe-init1/7M19vA | 200.37172413793104 | 271169.73333333334 | 1353.3333333333333 |
DRESDEN/CatchMeIfYouCanTest/CX18rA | 201.0656977762213 | 191381.03333333333 | 951.8333333333334 |
DRESDEN/catch_me/ghGWrA | 206.63437954687174 | 198823.6 | 962.2 |
DRESDEN/Thief_Police/CX18rA | 207.69302726958924 | 200562.23333333334 | 965.6666666666666 |
BASE/stateSpaceLarge/0Ge_CQ | 209.35696660233077 | 285639.6666666667 | 1364.3666666666666 |
DRESDEN/snake_2009/zIYLVw | 214.15409970619658 | 35632.86666666667 | 166.38890740617293 |
BASE/snake_2009_big/-oRfVw | 214.91745708674043 | 29786.566666666666 | 138.59538015399485 |
DRESDEN/3pffa/0YrmQw | 217.71551320106232 | 46453.23333333333 | 213.36666666666667 |
DRESDEN/3pttc/uwYBZw | 217.7160556193932 | 47995.933333333334 | 220.45196986867543 |
BASE/aipsrovers01/4C4jsw | 219.2360914550618 | 87486.9 | 399.05336488783706 |
BASE/lightsOnSimultaneous/_VN6lw | 219.29525295351735 | 111493.3 | 508.4163861204627 |
DRESDEN/snake_2009_big/DgC1NQ | 221.26220004856728 | 30369.9 | 137.25751616558895 |
STANFORD/hunter/14dD-g | 222.48061705505387 | 101833.4 | 457.7180760641312 |
DRESDEN/aipsrovers01/qS47Mw | 222.95770469571113 | 87681.83333333333 | 393.26666666666665 |
STANFORD/tictactoe7/-bE9-A | 226.19763389850363 | 257480.76666666666 | 1138.3 |
STANFORD/3puzzle/41ibjA | 227.74696084357578 | 226061.63333333333 | 992.6 |
STANFORD/threepuzzle/41ibjA | 228.0159708506436 | 223197.23333333334 | 978.8666666666667 |
BASE/simultaneousWin2/PfjRjw | 228.858679271133 | 111362.63333333333 | 486.6 |
BASE/blockerSerial/3eqDuw | 228.98575064699065 | 81200.56666666667 | 354.60969268715417 |
STANFORD/jointbuttonsandlights/qAKuIQ | 232.06322638440324 | 328129.6666666667 | 1413.9666666666667 |
BASE/stateSpaceSmall/Q7osKA | 232.65067434459766 | 767630.9 | 3299.5 |
BASE/snake_2009/7l-qAQ | 232.88391539413948 | 37613.5 | 161.51179842687642 |
STANFORD/sukoshi/4LYZZQ | 232.91472211596263 | 284140.43333333335 | 1219.9333333333334 |
DRESDEN/tictactoelargesuicide/6J4DeA | 234.8488865932048 | 272800.4666666667 | 1161.6 |
DRESDEN/tictactoelarge/IwXcbg | 241.07006220612718 | 275149.3333333333 | 1141.3666666666666 |
DRESDEN/statespacesmall/h-NqjA | 243.6710938465977 | 788292.2333333333 | 3235.0666666666666 |
DRESDEN/knightstour/cGISAA | 244.20618170465187 | 130365.4 | 533.8333333333334 |
STANFORD/tictactoe5/WFRReg | 245.81629062883948 | 293439.1 | 1193.7333333333333 |
BASE/ticTacToeSerial/Amrwqw | 249.45409858764884 | 120103.83333333333 | 481.46666666666664 |
BASE/lightsOnSimul4/9FeASw | 253.2786320695384 | 94854.96666666666 | 374.50836610892605 |
DRESDEN/chinesecheckers1/Y-ftaA | 256.21568182625685 | 48073.0 | 187.62707909736343 |
BASE/skirmishHoles/AUCxCA | 261.3152652329749 | 4045.6666666666665 | 15.481937739304145 |
DRESDEN/frogs_and_toads/GjchhQ | 264.42185559665705 | 21437.466666666667 | 81.07297567477508 |
BASE/stateSpaceMedium/3bUoIw | 265.1489728319058 | 528318.1666666666 | 1992.5333333333333 |
BASE/factoringGeorgeForman/HGRorQ | 266.0239541694701 | 896216.9666666667 | 3368.9333333333334 |
STANFORD/buttonsandlights/eyhJpA | 269.65005454049634 | 922886.3 | 3422.5333333333333 |
BASE/maze/cCX3qQ | 270.3545536386853 | 490504.26666666666 | 1814.3 |
BASE/lightsOut/5P1ZBw | 270.6350324560962 | 179277.66666666666 | 662.4333333333333 |
BASE/snake2p/I3wWPQ | 272.6416359369762 | 81329.0 | 298.3 |
DRESDEN/gt_chicken/CeuKtw | 274.61166208014345 | 44232.566666666666 | 161.0731544742543 |
BASE/strangeSkirmish/gc1zKA | 278.7796736145575 | 3744.0666666666666 | 13.430199620088645 |
BASE/gt_prisoner/klthDw | 279.9811242894057 | 43335.3 | 154.7793627516331 |
DRESDEN/statespacemedium/dVJZ_w | 282.30752043873457 | 555948.2 | 1969.3 |
DRESDEN/2player_normal_form_2010/NG_Kdg | 283.1188866484798 | 477395.06666666665 | 1686.2 |
BASE/cubicup_3player/e2yA_g | 285.6570236398838 | 49175.7 | 172.14945172149453 |
DRESDEN/cubicup_3player/awDtsQ | 287.274065578381 | 52205.53333333333 | 181.72727575747476 |
DRESDEN/blocker/S815zQ | 287.61883081896553 | 355880.36666666664 | 1237.3333333333333 |
BASE/ticTacToeNoVars/XT03NA | 288.2870042369938 | 415046.8 | 1439.7 |
DRESDEN/statespacelarge/8-y5HQ | 289.61967086902126 | 401258.4 | 1385.4666666666667 |
BASE/gt_staghunt/xPjLRA | 290.725094045756 | 43345.666666666664 | 149.09503016566114 |
BASE/slidingpieces/uFJWEw | 290.92860412840025 | 73910.33333333333 | 254.0497300179988 |
DRESDEN/endgame/IJhh3Q | 296.25645957727875 | 7472.3 | 25.22240362509579 |
DRESDEN/slidingpieces/s9_44g | 296.34744450180693 | 76536.66666666667 | 258.26666666666665 |
BASE/untwistycomplex2/EDPPAQ | 302.6403070332024 | 847695.5 | 2801.0 |
BASE/duplicateStateSmall/bCPAXw | 303.15804261631064 | 708520.7666666667 | 2337.133333333333 |
BASE/endgame/jYjfOA | 304.6951619220308 | 11197.4 | 36.749516892117015 |
STANFORD/triplesukoshi/Iu9mbA | 306.7190000214501 | 95318.73333333334 | 310.7689231076892 |
STANFORD/untwistycorridor/EDPPAQ | 306.7484253653764 | 836042.8333333334 | 2725.5 |
DRESDEN/point_grab/r5DPmQ | 307.07766845926994 | 413029.7 | 1345.0333333333333 |
BASE/rubiksCube/9tNO9Q | 308.3148664806696 | 25785.4 | 83.63333333333334 |
DRESDEN/grid_game/U7_Yeg | 309.64083557226684 | 60382.23333333333 | 195.00733235568592 |
BASE/knightazons/apnJBQ | 310.44717754385965 | 3928.5333333333333 | 12.654434047087815 |
BASE/hex/T1MK8g | 317.55041095890414 | 7725.0 | 24.326846174353506 |
STANFORD/tictactoe3/X7myng | 318.44186720788633 | 402712.2 | 1264.6333333333334 |
DRESDEN/chomp/-LcqYQ | 318.49538657877457 | 70056.03333333334 | 219.9593346888437 |
BASE/snakeParallel/RCVNtw | 318.76876151744295 | 167215.46666666667 | 524.5666666666667 |
STANFORD/nineboardtictactoe/y28P-A | 318.84912660380274 | 68754.5 | 215.63333333333333 |
STANFORD/dualrainbow/G3OnRQ | 319.2683209563485 | 293780.06666666665 | 920.1666666666666 |
DRESDEN/knightazons/02I8BQ | 320.2535904255319 | 4005.8333333333335 | 12.508316699933467 |
DRESDEN/lightson2x2/gBHuig | 322.04209417004694 | 539871.3666666667 | 1676.4 |
BASE/nineBoardTicTacToe/wRmqqA | 325.89807206068264 | 68742.76666666666 | 210.93333333333334 |
BASE/gt_chicken/gmepTQ | 325.917344808459 | 41777.03333333333 | 128.18290894547394 |
BASE/gt_centipede/9fRMpw | 328.3503882418192 | 157870.86666666667 | 480.8 |
STANFORD/hex/MTqWcw | 331.69499931506846 | 8069.9 | 24.32927845359107 |
STANFORD/rainbow/_4qNSQ | 334.3917772120238 | 499113.1666666667 | 1492.6 |
DRESDEN/tictactoe_3player/ESLQQQ | 336.2053263762855 | 86443.83333333333 | 257.11619225384976 |
BASE/hexPie/48CH6Q | 341.93493862068965 | 8261.5 | 24.161029093211585 |
BASE/skirmishFinal2/gdB62Q | 344.0691033482143 | 5136.9 | 14.929849701736261 |
STANFORD/untwistycomplex/HTWEwg | 344.17332973774694 | 850853.8333333334 | 2472.1666666666665 |
BASE/minichess/8NQEiA | 346.33609425087104 | 39751.433333333334 | 114.77704459108179 |
BASE/skirmishFinal1/ecWTnQ | 349.237271070615 | 5105.4 | 14.618714618714618 |
BASE/blocker/dIWtxg | 353.19247416020676 | 364494.63333333336 | 1032.0 |
DRESDEN/skirmishfinal/hzq8ww | 354.4316263636364 | 5192.1 | 14.649087761353043 |
STANFORD/bestbuttonsandlights/nm0wEA | 354.4807153923514 | 434723.3333333333 | 1226.3666666666666 |
BASE/ticTacToeLargeSuicide/727_8g | 356.5456422569028 | 247502.1 | 694.1666666666666 |
STANFORD/bestbuttonsandlightsbig/g0JC6g | 357.6352024807117 | 322932.6666666667 | 902.9666666666667 |
BASE/lightsOnParallel/SC6enA | 358.0995642903495 | 515042.6666666667 | 1438.2666666666667 |
BASE/chomp/-LcqYQ | 359.2082265536724 | 80531.8 | 224.19252691576946 |
BASE/tictactoe_3player/GtM71g | 365.7386875475442 | 73710.9 | 201.5397946940408 |
BASE/skirmishFinal3/-Olhfw | 369.51627489711933 | 5976.8 | 16.17465969980364 |
BASE/lightsOn/MsXu3A | 370.3158531078384 | 847393.7666666667 | 2288.3 |
BASE/ticTacToeLarge/TZC0dg | 370.5716496161965 | 257464.6 | 694.7768407719743 |
DRESDEN/cubicup/SBn_lw | 376.68692284778075 | 84302.53333333334 | 223.8 |
BASE/cubicup/4wNWJA | 387.0158714257416 | 86830.56666666667 | 224.35918802706576 |
DRESDEN/brawl/2kXtfQ | 388.31300957746475 | 4593.2 | 11.828601892576303 |
DRESDEN/skirmish3/3LU8Nw | 390.9445502982107 | 6554.4 | 16.76554896340244 |
DRESDEN/skirmish/RjGQYQ | 391.43817235772366 | 6413.6 | 16.38470760623418 |
DRESDEN/capture_the_king/EQ229Q | 391.4656128440367 | 5678.7 | 14.506254990684056 |
DRESDEN/minichess/c7GMFw | 395.36843776790124 | 44477.46666666667 | 112.49625012499584 |
BASE/brawl/6Ymo_Q | 396.0755023809524 | 4617.033333333334 | 11.656952539550375 |
BASE/minichess-evilconjuncts/4OpQzw | 399.5014753597301 | 44727.86666666667 | 111.95920271981868 |
DRESDEN/connect4/T0-rHQ | 402.8476219284899 | 70598.7 | 175.24914175249143 |
BASE/futoshiki4/BaCwSw | 403.7768108856088 | 138598.5 | 343.25522482583915 |
BASE/escortLatch/mX9BjQ | 405.46308856917614 | 34285.23333333333 | 84.55821084558211 |
BASE/pawnWhopping/Ypc_6Q | 406.10502793296087 | 109039.2 | 268.5 |
BASE/asteroidsParallel/WauZiA | 406.1445195195195 | 108196.9 | 266.4 |
DRESDEN/minichess-evilconjuncts/th24Tw | 408.651873107178 | 46169.96666666667 | 112.9811698050325 |
DRESDEN/skirmish2/iPpWhQ | 417.9943495530012 | 7261.966666666666 | 17.373360846701726 |
BASE/checkLines/Vop7oQ | 423.65964398377645 | 125346.76666666666 | 295.8666666666667 |
BASE/breakthroughSmallHoles/bxclRw | 423.97846714078474 | 133138.93333333332 | 314.0228659044698 |
BASE/ruleDepthLinear/OUBJpQ | 428.74005165872956 | 354110.7 | 825.9333333333333 |
BASE/skirmish/Y_psYQ | 431.1755479338843 | 3471.9 | 8.052172755706396 |
BASE/connect4/50bOyw | 433.7432095393057 | 75526.63333333333 | 174.12752908236394 |
BASE/asteroidsSerial/id2QkA | 443.0088476967799 | 132066.9 | 298.1134591027265 |
DRESDEN/grid_game2/kypTYQ | 448.71659795362956 | 190512.36666666667 | 424.57169522031865 |
BASE/futoshiki5/TJ4BZg | 450.2538455851216 | 87412.63333333333 | 194.14078122916945 |
BASE/factoringMutuallyAssuredDestruction/NH0LGg | 451.9239212957105 | 476207.3 | 1053.7333333333333 |
BASE/roshambo2/KNPokQ | 452.32298983536907 | 141949.3 | 313.8228725709143 |
DRESDEN/roshambo2/jgSlkQ | 455.0766585317035 | 141458.73333333334 | 310.84594360375974 |
BASE/beatMania/qUHwvQ | 455.4569561365187 | 222407.4 | 488.3170560981301 |
BASE/asteroids/BKCmPQ | 457.20885516428467 | 206871.76666666666 | 452.46666666666664 |
BASE/futoshiki6/JmvXNA | 460.65039809762203 | 61335.1 | 133.1489134782029 |
BASE/conn4/va9Y7A | 460.8300476124806 | 178212.4 | 386.7204426519116 |
STANFORD/alquerquezero/uVgA_A | 473.9844065485232 | 31202.933333333334 | 65.8311389620346 |
DRESDEN/bidding-tictactoe/yW5vTA | 492.2979836403297 | 67696.1 | 137.51041493084486 |
DRESDEN/ggp-course2013_jordi/9QI6Kw | 494.7812317909169 | 44899.166666666664 | 90.74549271836571 |
BASE/breakthroughSuicideSmall/XSbJog | 501.6212070795386 | 45887.63333333333 | 91.47865498050454 |
BASE/breakthroughSmall/HJ0tIA | 504.22756443468717 | 45933.6 | 91.09696343455218 |
BASE/englishDraughts/jFkQxg | 536.5576132231405 | 47596.26666666667 | 88.70672131693826 |
DRESDEN/backgammon/mqCW0Q | 537.2360752811516 | 26527.966666666667 | 49.3786026055376 |
DRESDEN/tictactoe_3d_small_2player/HYttcg | 539.8476130653268 | 143239.56666666668 | 265.3333333333333 |
STANFORD/multipletictactoe/_bkafQ | 541.3921042416453 | 84223.76666666666 | 155.56888622275545 |
BASE/qyshinsu/R08Lzw | 543.5414852036116 | 32773.36666666667 | 60.29598026798214 |
BASE/tictactoe_3d_small_2player/oOryKA | 546.5368651376145 | 144945.3 | 265.20681265206815 |
BASE/point_grab/V_osUg | 549.3463076512929 | 412119.6 | 750.2 |
BASE/pegEuro/5awwhg | 555.2968349553128 | 37275.2 | 67.12662067126621 |
DRESDEN/connectfour/5tc-Mg | 556.9599911745238 | 252432.83333333334 | 453.23333333333335 |
BASE/mineClearingSmall/frsbvw | 565.3888301363194 | 38696.1 | 68.44157142381127 |
BASE/biddingTicTacToe/8mESVw | 565.589654940225 | 71485.76666666666 | 126.39157389507366 |
BASE/factoringEasyTurtleBrain/lUj94Q | 569.6080228124699 | 592601.2 | 1040.3666666666666 |
BASE/duplicateStateMedium/U163eQ | 573.034478398314 | 453174.76666666666 | 790.8333333333334 |
BASE/tictactoe_3d_small_6player/g_9lww | 588.3629373915944 | 117586.3 | 199.8533431104593 |
BASE/connectFourSimultaneous/7ITr3g | 588.6255800464037 | 135305.4 | 229.86666666666667 |
DRESDEN/Runners/3bOCQw | 593.6464488800868 | 139873.56666666668 | 235.6176254916339 |
DRESDEN/4pttc/9pB9AQ | 602.5703928015042 | 49839.36666666667 | 82.71127699280191 |
BASE/4pffa/Q3ADlg | 602.8835225912259 | 32662.133333333335 | 54.17652350648053 |
BASE/peg/fJHVWw | 606.0863057494184 | 40516.166666666664 | 66.84884030925086 |
DRESDEN/tictactoe_3d_small_6player/llDEDQ | 610.0885085574572 | 124763.1 | 204.5 |
DRESDEN/hallway/0H4l-Q | 614.0556732447818 | 10774.7 | 17.546780315642273 |
BASE/hallway/ckCJOw | 621.8130170226538 | 10671.966666666667 | 17.162662045522712 |
DRESDEN/tttcc4/sAvtFg | 625.7272051679587 | 18833.133333333335 | 30.097993467102192 |
BASE/ttcc4/Le0qjQ | 626.761059751973 | 18530.0 | 29.564695686954202 |
STANFORD/multiplebuttonsandlights_9/SqB9BA | 634.3633181659084 | 785362.9333333333 | 1238.0333333333333 |
STANFORD/multiplebuttonsandlights/cK70Yg | 636.8600064749367 | 786861.7666666667 | 1235.5333333333333 |
DRESDEN/pentago_2008/hLjVpQ | 647.896412093745 | 88154.16666666667 | 136.06213126229125 |
BASE/tttcc4/8Bs2lg | 649.8411149032992 | 19034.0 | 29.290236587804067 |
DRESDEN/Travelers-Dilemma/PvZwYw | 652.7736186571559 | 177.12742908569714 | 0.27134587554269174 |
BASE/choicethroughalt/tt71Lg | 668.6566134057971 | 16388.533333333333 | 24.509640680675346 |
BASE/3pffa/pR0dzA | 671.6003225910064 | 41800.2 | 62.239696131676276 |
STANFORD/connectfour/VMpZkQ | 678.5276595744681 | 244496.13333333333 | 360.3333333333333 |
DRESDEN/breakthroughsuicide/Y9QzqQ | 679.9573632447295 | 24720.366666666665 | 36.35575993868506 |
BASE/connectFourLarge/aU644A | 682.1768144539411 | 159618.73333333334 | 233.98440103993067 |
BASE/golden_rectangle/_nYzfw | 688.0644841139241 | 72461.63333333333 | 105.3122708791575 |
DRESDEN/knightthrough/J7Fc_Q | 692.3316794871795 | 23377.433333333334 | 33.76623376623377 |
BASE/connectFour_9x6/B9TtMw | 699.0358480994446 | 232118.76666666666 | 332.0555981467284 |
STANFORD/pentago/ZxzLmg | 706.6366206956826 | 89807.13333333333 | 127.0909696767744 |
BASE/duplicateStateLarge/dcjyuw | 714.5638272200772 | 197410.16666666666 | 276.26666666666665 |
DRESDEN/breakthroughsuicide_v2/LU1nAw | 717.7067252830188 | 25338.7 | 35.3050892619238 |
BASE/pentagoSuicide/SBgNhw | 721.1997239313913 | 88293.0 | 122.42517165522298 |
DRESDEN/breakthrough/z4hK7Q | 725.8798122065728 | 25768.733333333334 | 35.5 |
STANFORD/freeforall/Lfp40Q | 732.4275288978494 | 60527.166666666664 | 82.63912029323559 |
BASE/connectFourLarger/qKi60A | 735.4583100507614 | 72435.4 | 98.4901509849015 |
BASE/factoringMediumTurtleBrain/8RBqmQ | 745.1999712598333 | 352592.0333333333 | 473.15089497016766 |
DRESDEN/babel/WdSW4A | 752.3672996181748 | 65661.96666666666 | 87.27381785464361 |
BASE/connectFour/WAIKTw | 759.439642280833 | 270655.26666666666 | 356.3881203959868 |
STANFORD/chinook/osFbPA | 792.7658577060932 | 17174.966666666667 | 21.664614463043694 |
BASE/hidato19/rRHSmA | 795.6431548900744 | 109370.76666666666 | 137.46208459718008 |
BASE/breakthroughWalls/vOZaYA | 804.0479723585912 | 25105.566666666666 | 31.223966143490287 |
BASE/2pffa_zerosum/o0_uZA | 815.8280224561404 | 51655.333333333336 | 63.31644894694748 |
DRESDEN/oisters_farm/pTQMLg | 817.3776514798597 | 877291.4333333333 | 1073.3 |
BASE/breakthroughSuicide/wZDpIg | 817.8292214060862 | 25962.4 | 31.74550299800133 |
BASE/chinook/XQh0IQ | 819.1700767647058 | 18554.866666666665 | 22.65081109889744 |
BASE/breakthrough/TGxk-g | 820.3019343870742 | 25941.966666666667 | 31.624900026659557 |
DRESDEN/ggp-course2013_michal13/jWKddg | 827.3117111042503 | 89316.13333333333 | 107.95946936870875 |
BASE/2pffa/6oHijA | 829.1026853038154 | 58666.96666666667 | 70.7595907075959 |
BASE/pentago/86NgKw | 840.6479423766198 | 101617.4 | 120.8798533577737 |
BASE/blokbox_simple/JBx4bg | 863.6610959677419 | 3549.5666666666666 | 4.1099068642073515 |
STANFORD/selectivesukoshi/3xmXYg | 879.0555975481611 | 117111.7 | 133.22445170321978 |
BASE/breakthroughHoles/nZk0Sg | 904.3315483638978 | 27934.533333333333 | 30.889703432189272 |
BASE/dualConnect4/WbCQkg | 923.8496178208679 | 177848.13333333333 | 192.50766564458073 |
BASE/pacman2p/4LEdQg | 931.4614016435543 | 20127.133333333335 | 21.608123855501916 |
BASE/kalaha5x2x3/WviNsw | 940.429411764706 | 15446.666666666666 | 16.42512077294686 |
BASE/gt_coordination/IVMOzA | 942.8975282370274 | 192005.36666666667 | 203.63333333333333 |
BASE/ttcc4_2player_small/Cv72TA | 944.1877932561652 | 62524.2 | 66.22008931547023 |
DRESDEN/pacman3p/rBnk8Q | 968.3318269040554 | 21727.666666666668 | 22.438244889806246 |
DRESDEN/firefighter/WJmoPw | 968.750498537623 | 971592.1666666666 | 1002.9333333333333 |
STANFORD/knightstourmedium/x1wu8Q | 978.8752786166103 | 318091.23333333334 | 324.95583480550647 |
DRESDEN/racetrackcorridor/O0DoTA | 994.8997410755148 | 57957.9 | 58.25501566353396 |
BASE/racetrackcorridor/_RkdUg | 997.9412885416667 | 58508.833333333336 | 58.62953462806889 |
BASE/firefighter/WJmoPw | 1008.437945555224 | 1013782.6666666666 | 1005.3 |
DRESDEN/Zhadu/9zpQ5w | 1024.0610465539662 | 26243.1 | 25.626499600106637 |
DRESDEN/connectfoursuicide/M9CNQg | 1035.767892564571 | 264664.4 | 255.524815839472 |
BASE/chess_200/XsTpYA | 1040.8739774410774 | 3405.0333333333333 | 3.2713214155899943 |
DRESDEN/crossers3/xiPTxg | 1057.420419591075 | 3436.370908606093 | 3.2497678737233056 |
DRESDEN/SC_TestOnly_enabled/09o7gQ | 1067.7447448796227 | 238980.93333333332 | 223.8184121058596 |
BASE/skirmishNew/sibw2g | 1070.6499166666667 | 5895.766666666666 | 5.506717531929009 |
STANFORD/multiplesukoshi/vLSQPg | 1072.0723442333785 | 131655.5 | 122.80467890825474 |
BASE/majorities/ibJzSQ | 1077.644356515913 | 107200.6 | 99.47678874929183 |
BASE/crossers3/O0rORg | 1078.6110642857143 | 3502.1 | 3.246860815690952 |
BASE/zhadu/DlA8iQ | 1091.1491228070176 | 24878.2 | 22.8 |
BASE/knightsTour/mvtVIg | 1108.7830987869327 | 307693.5 | 277.5055827750558 |
DRESDEN/golden_rectangle/1uloXw | 1145.1475069090907 | 73475.4 | 64.16238917405506 |
STANFORD/knightstour/cEwgNA | 1160.1335114704357 | 322843.63333333336 | 278.2814479034731 |
STANFORD/pilgrimage/ObRZnQ | 1185.0723580010226 | 51488.833333333336 | 43.44783926964982 |
BASE/3pConnectFour/PqXOFQ | 1222.4991594493117 | 227899.4 | 186.4209052729818 |
STANFORD/ttcc4/Cx9SGw | 1242.2028185074626 | 27722.2 | 22.316967557124777 |
DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 1263.9987110616187 | 37814.26666666667 | 29.916380717593363 |
BASE/sheepAndWolf/g4THrg | 1271.5457897349127 | 25012.766666666666 | 19.671148981493808 |
DRESDEN/Goldrush/VeWczQ | 1278.1652071921444 | 53500.03333333333 | 41.856900056653444 |
BASE/knightfight/SJRkAg | 1295.546130601093 | 15770.966666666667 | 12.173218918379565 |
BASE/speedChess/bPnisA | 1305.5164234649121 | 6601.633333333333 | 5.0567217804983535 |
BASE/checkersTorusNoKings/pwb6oQ | 1344.8699411849711 | 30999.966666666667 | 23.050531294760333 |
BASE/checkersTorus/2vm1EQ | 1359.0585902873563 | 26242.766666666666 | 19.309518260811664 |
STANFORD/checkersonabarrelnokings/Zrevdw | 1413.9391851851851 | 33488.03333333333 | 23.68421052631579 |
BASE/checkersBarrelNoKings/rnKNeg | 1414.3630886426595 | 34005.0 | 24.04262404262404 |
BASE/biddingTicTacToe_10coins/a-9ccQ | 1423.904248309179 | 39272.26666666667 | 27.58069351453982 |
BASE/chineseCheckers2/eCMR3Q | 1427.349500416934 | 148304.7 | 103.90216268452798 |
BASE/othello-comp2007/86ZoMw | 1446.9995030634323 | 3175.9882674488367 | 2.1948786165613567 |
BASE/connectFourSuicide/c8p9Kw | 1463.9573617669753 | 252963.4 | 172.7942401919936 |
BASE/ttcc4_2player/_aH_Mw | 1478.1993754807695 | 30718.9 | 20.781296832850433 |
DRESDEN/knightfight/4_Ly4w | 1493.9229663911844 | 18053.6 | 12.084692722551434 |
DRESDEN/sat_test_20v_91c/dK7nVw | 1506.1383173543757 | 305384.4666666667 | 202.75990800306656 |
BASE/chineseCheckers3/-1rZdQ | 1539.1789445196212 | 113715.0 | 73.88029858704346 |
DRESDEN/tictactoe_3d_2player/LMuX9w | 1541.6137764791818 | 70290.4 | 45.59533721898418 |
DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 1557.0034976239795 | 425901.6666666667 | 273.53931273539314 |
BASE/kalaha6x2x4/XS81Mg | 1583.075443478261 | 7234.4 | 4.569839062189549 |
BASE/pacman3p/wW7UVQ | 1587.6300343527012 | 34590.73333333333 | 21.787653662924342 |
BASE/othelloSuicide/B442jg | 1665.7150680644656 | 3094.8919645524247 | 1.8579960185799602 |
BASE/knightsTourLarge/M8jgLA | 1688.7321285313376 | 180489.36666666667 | 106.87862427514497 |
BASE/tictactoe_3d_2player/IUC1rQ | 1726.0553854238851 | 82992.83333333333 | 48.08236979774083 |
BASE/chineseCheckers4/avfBcQ | 1751.709802325138 | 102111.06666666667 | 58.29222770297294 |
DRESDEN/quad_7x7/q-JOXg | 1846.7746768060836 | 32337.0 | 17.509986684420774 |
BASE/tictactoe_3d_6player/d7KSwg | 1849.580595289855 | 79403.36666666667 | 42.93047130191321 |
DRESDEN/CephalopodMicro/H3XQfg | 1888.4840996108949 | 48490.4 | 25.676890798281548 |
BASE/3pttc/0sol9g | 1900.5804313147 | 40797.76666666667 | 21.465951134962168 |
STANFORD/knightstourbig/TQUI2g | 1906.3726206936583 | 145954.86666666667 | 76.56156256249584 |
DRESDEN/uf20-020.cnf.SAT/hDrW_A | 1929.2697187058184 | 315350.26666666666 | 163.45576961535897 |
BASE/smallest_4player/ADDROA | 1948.2891693858846 | 70831.53333333334 | 36.35575993868506 |
BASE/ttcc4_2player_alt/ZEJvYA | 1948.5446255707761 | 37887.46666666667 | 19.44398202097553 |
BASE/2pttc/unkkYA | 1965.6678536620223 | 61075.26666666667 | 31.071000399627014 |
BASE/quad_7x7/q-JOXg | 2000.3940088062618 | 34067.7 | 17.03049491751375 |
BASE/copolymer_4_pie/IN5_jA | 2032.6799986394556 | 99598.0 | 48.9983667211093 |
BASE/knightThrough/gcwFjA | 2063.2739758188827 | 23795.633333333335 | 11.532948901703277 |
DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 2087.8960486575706 | 316215.0333333333 | 151.4515215145152 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 2088.6924564796905 | 431941.6 | 206.8 |
BASE/othelloHoles/c0qAzw | 2112.5446818439386 | 4020.0659978000735 | 1.9029495718363463 |
BASE/chineseCheckers6/rREH3A | 2128.3523555555557 | 94476.8 | 44.38964241676942 |
DRESDEN/smallest_4player/ADDROA | 2153.27053121555 | 82440.03333333334 | 38.28596181400153 |
DRESDEN/uf20-010.cnf.SAT/5ICbCg | 2176.0424245954696 | 366058.4666666667 | 168.22211852543163 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 2212.6632040253203 | 454407.26666666666 | 205.36666666666667 |
STANFORD/skirmish/w4V6Vw | 2250.498363425926 | 5373.433333333333 | 2.3876637373569887 |
DRESDEN/quad/JPe6fg | 2279.149468930041 | 12257.966666666667 | 5.3783074931111186 |
DRESDEN/sat_test_20v_91c_version2/a1mPBA | 2285.6526715195632 | 334857.3333333333 | 146.50403252682796 |
BASE/quad/tw-Ufg | 2292.2564463768117 | 12269.466666666667 | 5.352571561554573 |
BASE/hidato37/pBrqxw | 2292.98575015753 | 40345.566666666666 | 17.595210377515382 |
BASE/amazons_8x8/7SOsIw | 2313.9817957746477 | 21851.066666666666 | 9.44305901911887 |
DRESDEN/gt_ultimatum/pAiiQw | 2370.800023988439 | 54639.1 | 23.046692866182642 |
DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 2386.523576439876 | 487566.76666666666 | 204.3 |
DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 2410.9910916666668 | 944.9 | 0.3919135177504164 |
BASE/cephalopodMicro/9l2D3g | 2431.800016877637 | 51175.333333333336 | 21.044219499200853 |
BASE/copolymer_4/2LDVhQ | 2574.3349879795965 | 128905.43333333333 | 50.073294243070364 |
DRESDEN/tictactoe_3d_6player/ulZPWg | 2588.8820047120416 | 98888.7 | 38.197453503099794 |
BASE/bomberman2p/4CClwA | 2589.833046728972 | 73808.0 | 28.49913437208683 |
DRESDEN/satlike_20v_91c_version2/yd9ioQ | 2608.9562666666666 | 1000.3666666666667 | 0.3834355828220859 |
DRESDEN/satlike_20v_91c/yeuENQ | 2693.6435454545453 | 945.5 | 0.3510115514710575 |
BASE/wargame02/BkVqqQ | 2708.318464646465 | 5936.533333333334 | 2.191962803055463 |
BASE/ruleDepthExponential/UamhHQ | 2723.8877787407087 | 305.22315922802574 | 0.1120542342493767 |
BASE/queens06ug/7Lq3tw | 2731.0296202354343 | 203569.13333333333 | 74.53933557695511 |
DRESDEN/bomberman2p/x4h6jQ | 2773.011587485516 | 79770.3 | 28.766666666666666 |
STANFORD/madness/UO_B3A | 2819.3395 | 6503.666666666667 | 2.306805074971165 |
BASE/nim3/1OwUqw | 2853.610779957356 | 89139.7 | 31.23751165578793 |
BASE/dotsAndBoxes/EHwA_w | 2891.6427222222223 | 84929.36666666667 | 29.37062937062937 |
BASE/chineseCheckers1/gqtwHw | 2929.782863262733 | 387278.56666666665 | 132.1867813218678 |
BASE/gt_ultimatum/GE-uOA | 2969.34646507177 | 62009.73333333333 | 20.883293365307754 |
DRESDEN/mummymaze2p-comp2007/oTQRQg | 2978.019402797203 | 85137.3 | 28.58856457417033 |
DRESDEN/pancakes/hl9aiQ | 2979.3344392282957 | 30802.6 | 10.33875203616901 |
BASE/dotsAndBoxesSuicide/jzQbLw | 3014.918033105543 | 88189.56666666667 | 29.251066098081022 |
DRESDEN/nim3/sG_axA | 3030.6074190064796 | 93498.0 | 30.851241046143596 |
BASE/4pttc/AL1k2Q | 3047.7023546511628 | 43612.5 | 14.309960398016573 |
DRESDEN/pancakes6/SZXMyQ | 3137.803639215686 | 31992.8 | 10.195921631347462 |
DRESDEN/ghostmaze2p/HY0UwA | 3213.2542614379086 | 103718.96666666666 | 32.278481012658226 |
DRESDEN/nim4/F5YAYg | 3239.4349765079364 | 102004.8 | 31.488454233447737 |
BASE/nonogram_5x5_1/qLKEZw | 3254.456710164835 | 157897.0 | 48.51716094635122 |
BASE/mummyMaze2p_2007/YGA3Vw | 3255.7364739380023 | 94496.53333333334 | 29.02462594554967 |
BASE/nim4/twk16w | 3317.407450106383 | 103851.96666666666 | 31.305158690511874 |
BASE/ghostMaze2p/W-NU-w | 3411.281982717391 | 104497.7 | 30.632970399227517 |
BASE/connect5/d-BVQg | 3450.662684991274 | 21961.166666666668 | 6.364333077871447 |
BASE/pancakes6/QZTdnw | 3468.5060421818184 | 31790.4 | 9.165444607385682 |
BASE/pancakes/yUgbXw | 3507.7616066905616 | 32528.933333333334 | 9.273416206873629 |
BASE/amazonsSuicide_10x10/XIbQkg | 3547.4786944444445 | 14136.666666666666 | 3.9849898714840766 |
DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 3620.03924 | 1143.7 | 0.3159358018450651 |
DRESDEN/connect5/1kYzSg | 3680.6316740331495 | 21949.666666666668 | 5.963559685018615 |
BASE/checkers-mustjump-torus/uSApKQ | 3712.2021704545455 | 5415.5 | 1.458837571698551 |
BASE/queens08lg/Ru7eqQ | 3717.0823228028503 | 156379.7 | 42.070550614569804 |
BASE/queens08ug/kJ_ZFQ | 3846.3592081081088 | 142286.83333333334 | 36.99260147970406 |
BASE/amazons_10x10/Bun8dA | 4086.865659292035 | 15298.5 | 3.7433332229105245 |
BASE/battlebrushes/arCwyA | 4896.604051648352 | 14837.7 | 3.0302021244713795 |
BASE/wallmaze/uxNQ9g | 5584.825093032015 | 131661.43333333332 | 23.57485348961108 |
BASE/kitten_escapes_from_fire/uW-YiA | 5595.5624554517135 | 418981.93333333335 | 74.8775367389783 |
DRESDEN/kitten_escapes_from_fire/uW-YiA | 5613.160092613803 | 424630.0333333333 | 75.64901522977972 |
BASE/queens12ug/u6Bkmg | 5644.576675021759 | 71995.23333333334 | 12.754762221926201 |
DRESDEN/chinesecheckers2/06E6-Q | 5728.686928181819 | 20984.9 | 3.6631256452096306 |
STANFORD/platformjumpers/HEQskA | 5773.309528778467 | 30840.533333333333 | 5.3419157901722025 |
BASE/nim2/eF2Qqw | 5823.985967444444 | 174643.9 | 29.98700563089328 |
DRESDEN/chinesecheckers4/-oVNYg | 5856.936686956521 | 4364.9 | 0.7452530620180157 |
DRESDEN/nim2/z5_exA | 5875.26990901099 | 178062.2 | 30.30706720841937 |
BASE/mummymaze2p/vpjDdA | 5945.101729809104 | 89909.26666666666 | 15.123251165889407 |
DRESDEN/mummymaze2p/k-8edg | 5981.516526754385 | 90849.4 | 15.188355594044566 |
BASE/amazonsTorus_10x10/Uxc08g | 6086.505908695652 | 9328.6 | 1.532669176690101 |
BASE/nonogram_10x10_1/0Xc62g | 6134.364633056325 | 73770.13333333333 | 12.025717045870948 |
DRESDEN/quartosuicide/WIU1oQ | 6138.325257377049 | 24901.1 | 4.056660238079404 |
DRESDEN/battlebrushes/QHXV4A | 6352.975003332888 | 1125.3166244500733 | 0.1771322292091046 |
DRESDEN/quarto/OQzRYQ | 6543.743756198347 | 26210.5 | 4.0054288457082325 |
BASE/queens16ug/gT-ylw | 6574.40866751269 | 43147.5 | 6.562947662990972 |
BASE/wargame03/klXI8w | 7180.801077595629 | 14524.466666666667 | 2.022680549108031 |
BASE/quartoSuicide/-23jUg | 7378.167132777778 | 29373.633333333335 | 3.9811558622520073 |
BASE/nim1/hin2Qw | 7431.050182576596 | 223547.93333333332 | 30.082952993303795 |
BASE/checkers-cylinder-mustjump/rjr6qQ | 7491.885363247863 | 9595.833333333334 | 1.2808302407304017 |
BASE/snake_2008/i6K26g | 7535.264532026144 | 38377.4 | 5.0930395126660235 |
BASE/quarto/EwBMVQ | 7628.839967816092 | 29262.133333333335 | 3.8357251504530123 |
BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 7630.696216216216 | 9336.5 | 1.2235449735449735 |
DRESDEN/snake_2008/E56l3A | 7869.387737472766 | 40060.433333333334 | 5.090667110297788 |
DRESDEN/nim1/M9BALA | 7891.301968248588 | 232630.56666666668 | 29.479364444888578 |
BASE/snake_2008_tweaked/bX0NJQ | 7994.421458333333 | 40276.833333333336 | 5.038117335101094 |
BASE/reversiSuicide/9OxJlg | 8848.48256091954 | 17047.966666666667 | 1.9266542652139251 |
DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 8864.298831481483 | 52870.333333333336 | 5.964412339706418 |
BASE/reversi/d8UMeA | 8899.170488484848 | 16013.033333333333 | 1.7993849375122686 |
BASE/wargame01/_GZFZg | 9174.919773134328 | 20305.2 | 2.213120169122019 |
DRESDEN/hanoi/RQ0jiA | 10847.49306578538 | 232335.3 | 21.418340494986843 |
BASE/checkers-mustjump/T-8UuQ | 11160.038301754385 | 13852.533333333333 | 1.2412621676357223 |
BASE/guess/SPpk1A | 11940.492963157894 | 30125.733333333334 | 2.5229890781130697 |
DRESDEN/quad_5x5_8_2/JRTLJg | 12391.54559400749 | 73308.13333333333 | 5.915979792608349 |
BASE/hanoi/iGLsJg | 12879.367397295891 | 274978.3333333333 | 21.35029810478633 |
DRESDEN/guess/PhxGhg | 13380.559956709958 | 34200.933333333334 | 2.5560165975103732 |
BASE/skirmishZeroSum/zh4hcw | 13828.256404761903 | 6374.566666666667 | 0.4609812314784327 |
DRESDEN/othello-cornercontrol/r5Gdlg | 16026.589364705884 | 8652.566666666668 | 0.5398882113821138 |
BASE/four_way_battle/xSOQXA | 16352.436082666667 | 27132.866666666665 | 1.659255326209597 |
BASE/colonelBlotto/jip21A | 17878.25047272727 | 6431.866666666667 | 0.3597592883307169 |
DRESDEN/four_way_battle/xSOQXA | 18561.139392 | 30624.9 | 1.649947201689546 |
DRESDEN/pawntoqueen/f_x6Aw | 19512.661166666665 | 24523.933333333334 | 1.2568215644121052 |
BASE/checkers/rOC3Xg | 19975.15704637681 | 15115.766666666666 | 0.7567283016384813 |
BASE/queens31lg/0gID-A | 20401.109575 | 21558.533333333333 | 1.0567333729608348 |
BASE/max_knights/2fq3Ag | 28708.044376470585 | 31818.8 | 1.1083583257269527 |
DRESDEN/max_knights/hCipiA | 30103.55945625 | 31404.9 | 1.04322879311469 |
BASE/pawnToQueen/-O1_JA | 30760.51916068376 | 39435.26666666667 | 1.282009138424115 |
BASE/checkersSmall/SYmq8w | 32270.080926388888 | 24871.766666666666 | 0.77073766016892 |
BASE/racer4/0vs7Ww | 32963.95573333333 | 9144.8 | 0.27741816164231553 |
BASE/racer/QQYQNw | 33754.90213333333 | 2682.366666666667 | 0.07946598855689765 |
DRESDEN/racer/vk_ZBA | 34090.174999999996 | 2738.1666666666665 | 0.08032128514056225 |
DRESDEN/chinesecheckers3/QsCb2A | 34869.880888888896 | 13343.066666666668 | 0.3826530612244898 |
BASE/quad_5x5/JAEP5g | 36354.58720055555 | 72450.76666666666 | 1.992892018467466 |
DRESDEN/quad_5x5/JAEP5g | 37220.11982786885 | 74751.5 | 2.008362690547526 |
BASE/kalaha_2009/dRiN3g | 38601.893383333336 | 1708.7666666666667 | 0.04426639516610965 |
BASE/gt_attrition/kD_SCA | 39078.685124999996 | 9665.166666666666 | 0.24732578989674148 |
DRESDEN/kalaha_2009/gcC8uA | 39633.02525 | 1738.1 | 0.04385484047801776 |
BASE/checkers-newgoals/0XkFiA | 40796.19695238096 | 18022.933333333334 | 0.4417797412432944 |
DRESDEN/blobwars/ZaMluQ | 42544.0385 | 5927.5 | 0.13932621840777998 |
BASE/blobwars/0XT15Q | 43609.39383333333 | 6089.166666666667 | 0.13962970203021588 |
DRESDEN/battle/8oAvhQ | 47361.127 | 44840.76666666667 | 0.9467841984982044 |
BASE/battle/8oAvhQ | 51009.42754285714 | 47414.4 | 0.9295222919363941 |
BASE/checkersTiny/Lr48cg | 55236.39453611111 | 43477.53333333333 | 0.7871175100849431 |
DRESDEN/fizzbuzz/t1xHzQ | 81352.42151794871 | 526509.2 | 6.471954862263525 |
BASE/knightmove/jBaJEw | 83827.27050666667 | 208318.26666666666 | 2.485089463220676 |
DRESDEN/knightmove/97Ipcw | 84146.41553508773 | 212349.83333333334 | 2.5235755080355955 |
DRESDEN/hanoi_6_disks/MeubgQ | 96890.66395555554 | 193729.66666666666 | 1.999466808850973 |
DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 97900.86319999999 | 7375.2 | 0.07533335007407779 |
BASE/hanoi_6_disks/MeubgQ | 98958.05783157895 | 186318.6 | 1.8828037259694788 |
DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 102883.39133333333 | 7387.333333333333 | 0.07180297264306743 |
BASE/colonelBlottoVariant2/jruwGw | 109032.69559285714 | 47682.433333333334 | 0.43732233780026863 |
BASE/colonelBlottoVariant/X-n-KQ | 135857.92234761905 | 61765.63333333333 | 0.45463401961421057 |
DRESDEN/vacuumcleaner_random/_6AGDA | 148234.2965 | 7358.366666666667 | 0.04964010920824026 |
DRESDEN/vacuum_cleaner_1/eUNjpw | 150324.60375 | 8576.5 | 0.057053202110968475 |
BASE/gt_tinfoil/Q8DyKg | 180687.2975 | 88737.5 | 0.4911108928396032 |
DRESDEN/hitori/S8Gsyg | 204929.4488074074 | 60484.86666666667 | 0.2951497064900141 |
BASE/hitori/S8Gsyg | 209441.58311111113 | 60633.5 | 0.28950077200205865 |
DRESDEN/crisscross/GsY16g | 389365.1202 | 21597.2 | 0.05546773164711429 |
BASE/crisscross/ICagEg | 390072.94626666664 | 21702.066666666666 | 0.05563591854901524 |
BASE/ad_game_2x2/D0aWqg | 505700.6736 | 13479.6 | 0.02665529374133703 |
DRESDEN/hanoi7_bugfix/3gdnFw | 649207.4300555557 | 183098.83333333334 | 0.2820344081978001 |
BASE/hanoi7_bugfix/3gdnFw | 709259.779911111 | 194946.8 | 0.2748595162472514 |
DRESDEN/hanoi7/51zz5Q | 780052.8800555556 | 219891.5 | 0.28189306856265856 |
BASE/solitaireChineseCheckers/-ET6gw | 805953.2565 | 51619.0 | 0.06404713869407884 |
BASE/crissrace/ERWGDA | 975908.0871333333 | 27786.233333333334 | 0.02847218267752406 |
DRESDEN/crissrace/KWb9bw | 1023936.816 | 28648.0 | 0.027978288847854065 |
BASE/twisty-passages/DiZmmg | 2885821.722 | 151929.33333333334 | 0.052646818815973044 |
DRESDEN/twisty-passages/j7NPyg | 2983163.9398166668 | 153902.23333333334 | 0.051590270075063845 |
BASE/amazons/RKKZjw | Infinity | 204.73333333333332 | 0.0 |
DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Infinity | 37458.13333333333 | 0.0 |
DRESDEN/chinesecheckers6/yTbPDA | Infinity | 7420.966666666666 | 0.0 |
BASE/gt_two_thirds_2p/1APDGg | Infinity | 2698.3333333333335 | 0.0 |
Games with errors:
Game | ALLOY_DIFF_PROP_NET:1 error message | REKKURA_GENERIC_FORWARD_PROVER: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 | |
DRESDEN/queens/mW2wHQ | IllegalArgumentException: too many occurrences: 2147483765 | |
BASE/gt_two_thirds_4p/DStnxQ | Test process timed out after 240 seconds | |
BASE/queens/HyJJnQ | IllegalArgumentException: too many occurrences: 2147483765 | |
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 |