Game-by-game performance:
| Game | Perf ratio | ALLOY_COMPILED_PROVER_CACHING:2 states per second | PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 states per second |
| BASE/onestep/xi53wA | 9.196195323477369 | 368475.3 | 40068.23333333333 |
| BASE/survival/YVIjJA | 16.998747504125603 | 497183.9 | 29248.266666666666 |
| BASE/switches/tPUoCg | 17.527485805639504 | 220003.83333333334 | 12551.933333333332 |
| BASE/haystack/UkweGA | 18.94637753017342 | 666166.6333333333 | 35160.63333333333 |
| STANFORD/buttonsandlights/eyhJpA | 22.165222520648182 | 717704.7333333333 | 32379.766666666666 |
| BASE/ruleDepthLinear/OUBJpQ | 23.468342284138238 | 467139.7 | 19905.1 |
| BASE/troublemaker01/s3tlEQ | 23.56041658196012 | 540830.9333333333 | 22955.066666666666 |
| DRESDEN/troublemaker01/C-lPWw | 23.690538738911048 | 561519.4666666667 | 23702.266666666666 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 23.728046520170984 | 189470.03333333333 | 7985.066666666667 |
| BASE/troublemaker02/DI83KA | 24.47557416671528 | 517468.3 | 21142.233333333334 |
| DRESDEN/8puzzle/8fKC2w | 25.10926146329241 | 106891.8 | 4257.066666666667 |
| DRESDEN/troublemaker02/iZLVuA | 25.615396735669826 | 525648.4333333333 | 20520.8 |
| BASE/eightPuzzle/vLrgFg | 25.62467541636921 | 108880.1 | 4249.033333333334 |
| STANFORD/8puzzle/jNiGtw | 25.822833406759393 | 109413.06666666667 | 4237.066666666667 |
| STANFORD/eightpuzzle/W_aWbA | 27.71462049639056 | 112744.0 | 4068.0333333333333 |
| DRESDEN/quad/JPe6fg | 27.81652406778135 | 33.23896752706078 | 1.194936054773285 |
| BASE/quad/tw-Ufg | 28.200653167864143 | 25.255824080121926 | 0.8955758552749418 |
| DRESDEN/blocks/vg0DRw | 28.21049452145822 | 326892.86666666664 | 11587.633333333333 |
| BASE/blocksWorld/SEdXLQ | 28.82976343179116 | 328146.13333333336 | 11382.2 |
| BASE/blocks/xIV5hQ | 29.66247720760615 | 334031.13333333336 | 11261.066666666668 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 31.651308468988255 | 25600.633333333335 | 808.8333333333334 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 31.653603117112493 | 353657.26666666666 | 11172.733333333334 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 32.51569316510565 | 350058.5333333333 | 10765.833333333334 |
| DRESDEN/blocks2player/3ev8nQ | 32.59346550048591 | 279488.9666666667 | 8575.0 |
| BASE/roshambo2/KNPokQ | 33.20552423946807 | 271170.7 | 8166.433333333333 |
| BASE/hodgepodge/9yjRkw | 33.91686104728224 | 195328.33333333334 | 5759.033333333334 |
| STANFORD/bestbuttonsandlights/nm0wEA | 34.02689145585269 | 318824.0333333333 | 9369.766666666666 |
| BASE/untwistycomplex2/EDPPAQ | 34.08263396585364 | 606732.2333333333 | 17801.8 |
| BASE/blocks2player/wnTLOQ | 34.26518154090056 | 265125.7 | 7737.466666666666 |
| BASE/pearls/6k_mEQ | 34.33042919635602 | 719649.3333333334 | 20962.433333333334 |
| DRESDEN/roshambo2/jgSlkQ | 34.51586236691355 | 276963.3333333333 | 8024.233333333334 |
| STANFORD/untwistycorridor/EDPPAQ | 35.05817881894639 | 619164.8333333334 | 17661.066666666666 |
| STANFORD/threepuzzle/41ibjA | 35.11119456179697 | 336593.4666666667 | 9586.5 |
| STANFORD/3puzzle/41ibjA | 35.247490235433574 | 336006.1 | 9532.766666666666 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 35.365686704695044 | 26866.133333333335 | 759.6666666666666 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 35.55393690522748 | 109093.7 | 3068.4 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 35.90038588568347 | 142031.5 | 3956.266666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 36.464929442617496 | 29199.9 | 800.7666666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 36.54018241266564 | 28311.333333333332 | 774.8 |
| BASE/tictactoe_orthogonal/WRzlVw | 36.54167091273481 | 143433.36666666667 | 3925.2 |
| BASE/ticTicToe/c1OobQ | 37.19922017403433 | 78231.2 | 2103.0333333333333 |
| BASE/gt_centipede/9fRMpw | 37.39822111951668 | 378842.73333333334 | 10129.966666666667 |
| BASE/eotcitcit/V_9_bg | 38.19165261513234 | 82294.1 | 2154.766666666667 |
| STANFORD/tictictoe/rpt_Dw | 39.246685621186465 | 81902.6 | 2086.866666666667 |
| DRESDEN/buttons/ADUaHw | 39.247848691478744 | 612228.5 | 15599.033333333333 |
| DRESDEN/sheep_and_wolf/enAIzQ | 39.335028327992525 | 26185.766666666666 | 665.7111429619013 |
| DRESDEN/firefighter/WJmoPw | 39.74354483994461 | 227701.36666666667 | 5729.266666666666 |
| BASE/sheepAndWolf/g4THrg | 39.77551120242638 | 27103.033333333333 | 681.4 |
| BASE/maze/cCX3qQ | 39.79103084850039 | 656680.6666666666 | 16503.233333333334 |
| DRESDEN/latenttictactoe/kITHKg | 40.183005050094984 | 82486.33333333333 | 2052.766666666667 |
| BASE/buttons/hTcUjw | 40.58830490536104 | 627658.9 | 15464.033333333333 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 40.90362967437263 | 24829.866666666665 | 607.0333333333333 |
| DRESDEN/tictictoe/LAUtwg | 40.95715377511703 | 85745.16666666667 | 2093.5333333333333 |
| BASE/firefighter/WJmoPw | 41.27258978748631 | 227421.6 | 5510.233333333334 |
| DRESDEN/toetictac/mJtxCA | 41.519243485570186 | 246970.3 | 5948.333333333333 |
| BASE/gt_dollar/TGjqRw | 41.875265196160974 | 248697.2 | 5939.0 |
| BASE/coloredtrails/EZvr7g | 42.737172025971475 | 101584.83333333333 | 2376.9666666666667 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 42.9377085418752 | 274526.5333333333 | 6393.6 |
| BASE/ticTacToe/JRFsaQ | 43.37737111085564 | 138349.23333333334 | 3189.4333333333334 |
| BASE/toetictac/mTThmg | 44.14995740983176 | 257428.1 | 5830.766666666666 |
| BASE/chickentictactoe/DSlZCA | 44.59450443332455 | 118527.73333333334 | 2657.9 |
| DRESDEN/tictactoe/BTTzPw | 45.44669151718599 | 147117.0 | 3237.133333333333 |
| BASE/incredible/8Qh-6Q | 45.51013232514178 | 160499.06666666668 | 3526.6666666666665 |
| BASE/eotcatcit/AfZSzA | 45.538217990748635 | 135199.93333333332 | 2968.9333333333334 |
| DRESDEN/eotcatcit/mQUxzA | 45.55962987588653 | 137043.36666666667 | 3008.0 |
| DRESDEN/chickentictactoe/Ipbo-g | 45.81283696086262 | 122363.03333333334 | 2670.9333333333334 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 45.8675611720874 | 242939.06666666668 | 5296.533333333334 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 46.4976542764345 | 21474.166666666668 | 461.8333333333333 |
| STANFORD/tictactoe/ss1kyQ | 46.957885001466245 | 138779.33333333334 | 2955.4 |
| BASE/tron_10x10/7ZTgDg | 47.076909821941406 | 109281.2 | 2321.3333333333335 |
| STANFORD/trifecta/ss1kyQ | 47.284456167016856 | 141027.46666666667 | 2982.5333333333333 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 47.467510234462225 | 21257.533333333333 | 447.8333333333333 |
| DRESDEN/oisters_farm/pTQMLg | 47.747399594250744 | 370290.63333333336 | 7755.2 |
| BASE/blocker/dIWtxg | 47.81641656324044 | 141265.63333333333 | 2954.3333333333335 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 47.82465519913219 | 20574.166666666668 | 430.2 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 48.62429574747241 | 21000.833333333332 | 431.9 |
| BASE/pancakes/yUgbXw | 48.80193139164726 | 684756.1666666666 | 14031.333333333334 |
| DRESDEN/lightson2x2/gBHuig | 48.87331951200064 | 204306.76666666666 | 4180.333333333333 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 49.706456107756615 | 21403.6 | 430.6 |
| DRESDEN/pancakes/hl9aiQ | 49.71654285072777 | 679041.8 | 13658.266666666666 |
| STANFORD/hunter/14dD-g | 49.885811916450095 | 172754.56666666668 | 3463.0 |
| BASE/pancakes6/QZTdnw | 50.011162008003716 | 683100.8333333334 | 13658.967436589674 |
| DRESDEN/pancakes6/SZXMyQ | 50.083042860132636 | 693985.7 | 13856.7 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 50.151412672003346 | 21300.266666666666 | 424.7191760274658 |
| BASE/blocksWorldSerial/Wyg96Q | 50.5091187209207 | 184912.2 | 3660.9666666666667 |
| DRESDEN/blocker/S815zQ | 51.125463018281756 | 142623.0 | 2789.6666666666665 |
| BASE/chickentoetictac/l57rfQ | 51.31965504644983 | 238829.7 | 4653.766666666666 |
| DRESDEN/tictactoe-init1/3ltIBQ | 51.68617513181125 | 143451.53333333333 | 2775.4333333333334 |
| DRESDEN/sum15/CsgWKg | 51.72948161402153 | 169608.9 | 3278.766666666667 |
| BASE/sum15/QZ07Kg | 51.752586268522585 | 168922.16666666666 | 3264.0333333333333 |
| DRESDEN/chickentoetictac/cxYaRQ | 52.24826294180137 | 242633.96666666667 | 4643.866666666667 |
| BASE/point_grab/V_osUg | 52.57303991891877 | 403040.695930407 | 7666.3 |
| BASE/circlesolitaire/azuQFQ | 53.0702277389016 | 268218.7 | 5054.033333333334 |
| DRESDEN/circlesolitaire/ruUilQ | 53.16495211067754 | 269769.6 | 5074.2 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 54.26247086247086 | 182349.03333333333 | 3360.5 |
| BASE/stateSpaceSmall/Q7osKA | 54.30062699202609 | 467378.1666666667 | 8607.233333333334 |
| DRESDEN/point_grab/r5DPmQ | 54.37530758868433 | 403646.0333333333 | 7423.333333333333 |
| DRESDEN/statespacesmall/h-NqjA | 54.97338803147686 | 480628.6666666667 | 8742.933333333332 |
| BASE/tictactoe-init1/7M19vA | 56.42029205002966 | 149011.63333333333 | 2641.1 |
| DRESDEN/pancakes88/aD3E7g | 57.31228123573277 | 640218.3 | 11170.7 |
| STANFORD/tictactoe7/-bE9-A | 57.50606705831046 | 149442.93333333332 | 2598.733333333333 |
| STANFORD/dualhunter/1rPZjQ | 57.78250206461623 | 76964.36666666667 | 1331.9666666666667 |
| DRESDEN/blocksworldparallel/2JfVaw | 58.687345276277114 | 160414.03333333333 | 2733.366666666667 |
| DRESDEN/racetrackcorridor/O0DoTA | 58.85239219745738 | 60643.46666666667 | 1030.4333333333334 |
| DRESDEN/tictactoex9/rFkD4w | 59.03244552126397 | 20465.866666666665 | 346.6884437185427 |
| BASE/tictactoex9/BI26ow | 59.077422626888804 | 20327.8 | 344.0874550059992 |
| DRESDEN/Runners/3bOCQw | 59.821129461843235 | 331662.3 | 5544.233333333334 |
| DRESDEN/Thief_Police/CX18rA | 59.894717676068794 | 191888.7 | 3203.766666666667 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 59.897266464480104 | 198815.0 | 3319.266666666667 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 60.14443719339304 | 178179.9 | 2962.5333333333333 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 60.39115952098745 | 197012.06666666668 | 3262.266666666667 |
| DRESDEN/catch_me/ghGWrA | 60.95976414898476 | 195745.86666666667 | 3211.0666666666666 |
| BASE/pancakes88/l2Xaig | 61.765526244567205 | 646613.0 | 10468.833333333334 |
| BASE/lightsOn/MsXu3A | 61.914828934827625 | 376776.5 | 6085.4 |
| DRESDEN/ghostmaze2p/HY0UwA | 62.56657388624177 | 132622.36666666667 | 2119.7 |
| BASE/ghostMaze2p/W-NU-w | 63.006853692047166 | 131461.7 | 2086.4666666666667 |
| BASE/snakeParallel/RCVNtw | 63.07346239133689 | 154544.7 | 2450.233333333333 |
| DRESDEN/cube_2x2x2/fp-34Q | 63.084764645808185 | 90598.13333333333 | 1436.1333333333334 |
| DRESDEN/logistics/fPru1Q | 63.20333071994377 | 77927.6 | 1232.9666666666667 |
| BASE/numbertictactoe/rvJ-iQ | 63.79669118893447 | 62727.03333333333 | 983.2333333333333 |
| STANFORD/multipletictactoe/_bkafQ | 65.36223911543924 | 28635.466666666667 | 438.1041263915739 |
| DRESDEN/mummymaze2p/k-8edg | 66.89134174311927 | 62217.86666666667 | 930.1333333333333 |
| BASE/mummymaze2p/vpjDdA | 69.01098265895953 | 63674.13333333333 | 922.6666666666666 |
| BASE/kalaha5x2x3/WviNsw | 69.9455567499776 | 104106.96666666666 | 1488.4 |
| STANFORD/tictactoe5/WFRReg | 71.73971945252988 | 154450.83333333334 | 2152.9333333333334 |
| DRESDEN/chinesecheckers1/Y-ftaA | 73.73841702667355 | 62016.46666666667 | 841.0333333333333 |
| DRESDEN/chinesecheckers2/06E6-Q | 74.3652768849053 | 48120.166666666664 | 647.078430718976 |
| BASE/beatMania/qUHwvQ | 74.77825015965696 | 273214.8 | 3653.6666666666665 |
| BASE/duplicateStateSmall/bCPAXw | 75.20134202453988 | 457625.23333333334 | 6085.333333333333 |
| BASE/kalaha6x2x4/XS81Mg | 76.36521898960194 | 96943.1 | 1269.4666666666667 |
| BASE/ticTacToeParallel/ymRGPw | 79.34758673665344 | 61978.4 | 781.1 |
| BASE/bomberman2p/4CClwA | 81.54143335314544 | 86887.83333333333 | 1065.5666666666666 |
| BASE/withConviction/3Xm54A | 81.73029854760624 | 40516.433333333334 | 495.73333333333335 |
| DRESDEN/tictactoeparallel/yk_DSg | 81.94198169281978 | 61266.666666666664 | 747.6834877674821 |
| STANFORD/breakthrough/d5j0cQ | 82.65840855531421 | 48199.26666666667 | 583.1138962034598 |
| BASE/lightsOnParallel/SC6enA | 82.72799497902827 | 180142.96666666667 | 2177.5333333333333 |
| DRESDEN/bomberman2p/x4h6jQ | 83.35969323610763 | 88405.73333333334 | 1060.5333333333333 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 84.4845375045322 | 59545.53333333333 | 704.809839672011 |
| BASE/hallway/ckCJOw | 85.71483620960855 | 21188.033333333333 | 247.19213464422597 |
| DRESDEN/kalaha_2009/gcC8uA | 85.75151409777159 | 98639.96666666666 | 1150.3 |
| DRESDEN/hallway/0H4l-Q | 86.60878781173164 | 21917.066666666666 | 253.05823139228693 |
| BASE/kalaha_2009/dRiN3g | 86.82316282217585 | 102630.76666666666 | 1182.0666666666666 |
| BASE/tictactoe2/bhrDoQ | 86.8926646612772 | 184872.83333333334 | 2127.6 |
| BASE/knightfight/SJRkAg | 86.92196600342602 | 109941.8 | 1264.8333333333333 |
| DRESDEN/stratego/Z2wovg | 87.79433512161572 | 31201.066666666666 | 355.38815372820903 |
| STANFORD/tictactoe3/X7myng | 88.41581422128395 | 153563.53333333333 | 1736.8333333333333 |
| DRESDEN/knightfight/4_Ly4w | 88.75117275276845 | 109349.63333333333 | 1232.0922635912136 |
| DRESDEN/chinesecheckers3/QsCb2A | 88.81216184651682 | 47678.7 | 536.8487717076098 |
| DRESDEN/twisty-passages/j7NPyg | 90.0975558554506 | 100143.43333333333 | 1111.5 |
| BASE/max_knights/2fq3Ag | 92.44174468658251 | 33934.23333333333 | 367.0877637412086 |
| DRESDEN/max_knights/hCipiA | 93.08052573121067 | 33521.4 | 360.1333333333333 |
| BASE/twisty-passages/DiZmmg | 93.78555450004598 | 102016.8 | 1087.7666666666667 |
| BASE/chineseCheckers1/gqtwHw | 93.9010979547901 | 145390.2 | 1548.3333333333333 |
| DRESDEN/4pttc/9pB9AQ | 94.85342640902569 | 63894.3 | 673.6108796373454 |
| BASE/blockerParallel/7-nDJA | 96.30906297243536 | 18827.166666666668 | 195.48696753549763 |
| DRESDEN/connect5/1kYzSg | 96.4387069987355 | 19485.066666666666 | 202.04612103439084 |
| BASE/tictactoe_3player/GtM71g | 96.59295869731801 | 51810.03333333333 | 536.3748458692971 |
| DRESDEN/blockerparallel/dVQgSg | 97.611814543379 | 18999.233333333334 | 194.64071457139048 |
| BASE/catcha_mouse/cHv4dw | 97.66368968345755 | 50666.23333333333 | 518.7827072430919 |
| BASE/chineseCheckers2/eCMR3Q | 100.0181129027247 | 107309.43333333333 | 1072.9 |
| DRESDEN/minichess/c7GMFw | 100.74039646096988 | 59967.4 | 595.2666666666667 |
| DRESDEN/tictactoe_3player/ESLQQQ | 100.825342457823 | 51859.46666666667 | 514.3495216826105 |
| BASE/connect5/d-BVQg | 101.31620342919749 | 20548.933333333334 | 202.8198120125325 |
| BASE/blobwars/0XT15Q | 102.64446000000001 | 12773.7 | 124.44607336820711 |
| BASE/racetrackcorridor/_RkdUg | 103.98579224962077 | 65501.933333333334 | 629.9123362554582 |
| DRESDEN/chinesecheckers6/yTbPDA | 104.29696861307342 | 38878.433333333334 | 372.76666666666665 |
| BASE/snakeAssemblit/UO4sdg | 105.00870844701667 | 25399.066666666666 | 241.87581241875813 |
| BASE/chineseCheckers3/-1rZdQ | 105.82816890711628 | 92895.96666666666 | 877.8 |
| BASE/wallmaze/uxNQ9g | 105.90778546099291 | 26878.5 | 253.7915402819906 |
| DRESDEN/blobwars/ZaMluQ | 106.07031305994273 | 12759.833333333334 | 120.29599013366222 |
| DRESDEN/catcha_mouse/cHv4dw | 106.87046429964884 | 54781.8 | 512.6 |
| STANFORD/untwistycomplex/HTWEwg | 107.23425986129172 | 659705.1666666666 | 6152.0 |
| BASE/factoringGeorgeForman/HGRorQ | 110.14642196434578 | 349296.3333333333 | 3171.2 |
| DRESDEN/frogs_and_toads/GjchhQ | 110.27879116265161 | 57372.46666666667 | 520.2493250224993 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 110.66956609349813 | 109843.23333333334 | 992.5333333333333 |
| BASE/lightsOnSimultaneous/_VN6lw | 112.57886481281821 | 41765.36666666667 | 370.9876337455418 |
| BASE/shmup/ssTNlg | 112.99886550777676 | 102923.13333333333 | 910.8333333333334 |
| BASE/chineseCheckers6/rREH3A | 113.32136199826022 | 60793.13333333333 | 536.4666666666667 |
| DRESDEN/bunk_t/7-tPfA | 113.39900970683401 | 77103.76666666666 | 679.9333333333333 |
| BASE/kitten_escapes_from_fire/uW-YiA | 113.63497182429221 | 111581.96666666666 | 981.9333333333333 |
| BASE/dualConnect4/WbCQkg | 117.34125542763157 | 45182.7 | 385.0538315389487 |
| DRESDEN/doubletoetictac/V89gKQ | 117.82684563758389 | 79002.9 | 670.5 |
| STANFORD/knightstourmedium/x1wu8Q | 117.9696616502691 | 344129.3 | 2917.1 |
| BASE/doubletoetictac/fu35bg | 119.47214318969532 | 76983.86666666667 | 644.3666666666667 |
| DRESDEN/3pffa/0YrmQw | 120.84830255793273 | 77008.56666666667 | 637.2333333333333 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 121.2872885212694 | 11974.3 | 98.72675154989668 |
| BASE/lightsOnSimul4/9FeASw | 122.54085825154074 | 35790.1 | 292.06666666666666 |
| BASE/bunk_t/xbpfIA | 122.64363081617086 | 80392.9 | 655.5 |
| STANFORD/knightstour/cEwgNA | 122.91410346571912 | 332077.0333333333 | 2701.7 |
| DRESDEN/knightstour/cGISAA | 123.93846645670035 | 348919.8333333333 | 2815.266666666667 |
| DRESDEN/doubletictactoe/lJzgmQ | 124.12196738022425 | 81175.76666666666 | 654.0 |
| DRESDEN/connectfoursuicide/M9CNQg | 124.22127338213085 | 71278.16666666667 | 573.8 |
| BASE/minichess/8NQEiA | 124.23833046492113 | 82243.03333333334 | 661.9779340688643 |
| BASE/connectFour/WAIKTw | 124.34073971564537 | 70525.63333333333 | 567.1965077143524 |
| BASE/doubletictactoe/HH1htg | 124.44821965259028 | 81434.76666666666 | 654.3666666666667 |
| BASE/asteroids/BKCmPQ | 124.65934175813189 | 540244.5 | 4333.766666666666 |
| BASE/ticTacToeNoVars/XT03NA | 124.80886831890116 | 139328.3 | 1116.3333333333333 |
| BASE/connectFourSuicide/c8p9Kw | 124.95603233081238 | 71043.46666666666 | 568.5477150761641 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 125.21964540766457 | 123829.8 | 988.90073995067 |
| BASE/knightsTour/mvtVIg | 125.61300042014282 | 348806.36666666664 | 2776.8333333333335 |
| DRESDEN/connectfour/5tc-Mg | 125.76674047034888 | 70056.26666666666 | 557.0333333333333 |
| STANFORD/connectfour/VMpZkQ | 126.23631592101974 | 67342.86666666667 | 533.4666666666667 |
| DRESDEN/grid_game/U7_Yeg | 127.79510022271714 | 80332.0 | 628.6 |
| DRESDEN/pawn_whopping/4ogBkg | 129.0350495682056 | 47977.933333333334 | 371.82093930202325 |
| DRESDEN/3pttc/uwYBZw | 130.148568857898 | 77147.73333333334 | 592.7666666666667 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 131.57947019867552 | 185439.33333333334 | 1409.3333333333333 |
| BASE/knightwar/DVGY4Q | 131.75960531249999 | 68845.7 | 522.5099136925589 |
| DRESDEN/knightwar/7hhAqg | 134.41729660474056 | 69941.8 | 520.3333333333334 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 134.8798149546828 | 47621.566666666666 | 353.06666666666666 |
| BASE/4pttc/AL1k2Q | 135.1976356712155 | 56801.03333333333 | 420.1333333333333 |
| BASE/pawnWhopping/Ypc_6Q | 136.55587849240575 | 48550.166666666664 | 355.53333333333336 |
| BASE/lightsOut/5P1ZBw | 136.9749249053154 | 104881.7 | 765.7 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 138.36288073954853 | 37246.933333333334 | 269.1974403412878 |
| DRESDEN/lightsout/XgLpzQ | 139.62828442338906 | 106103.53333333334 | 759.9 |
| DRESDEN/lightsout2/LFtfyQ | 139.76414139190913 | 105834.06666666667 | 757.2333333333333 |
| BASE/tictactoe_3d_small_2player/oOryKA | 140.07323575165822 | 37775.23333333333 | 269.68202119858677 |
| BASE/breakthroughSmallHoles/bxclRw | 140.8668874806617 | 52607.333333333336 | 373.4542181927269 |
| DRESDEN/chinesecheckers4/-oVNYg | 142.3176012461059 | 30455.966666666667 | 214.0 |
| BASE/double_tictactoe_dengji/zgaSbA | 142.3660832137733 | 82690.96666666666 | 580.8333333333334 |
| BASE/connectFour_9x6/B9TtMw | 142.9382956521739 | 68491.26666666666 | 479.1666666666667 |
| BASE/asteroidsParallel/WauZiA | 143.09912793741492 | 318886.86666666664 | 2228.4333333333334 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 145.13934175978508 | 79231.56666666667 | 545.9 |
| BASE/asteroidsSerial/id2QkA | 150.43960692317637 | 271478.3 | 1804.5666666666666 |
| BASE/ticTacToeLargeSuicide/727_8g | 150.4648427056412 | 112557.73333333334 | 748.0666666666667 |
| BASE/snake_2009/7l-qAQ | 151.19779437922446 | 85003.4 | 562.2 |
| STANFORD/sukoshi/4LYZZQ | 151.30219572998627 | 134604.03333333333 | 889.6370120995966 |
| DRESDEN/snake_2009/zIYLVw | 152.38761316625695 | 84722.43333333333 | 555.9666666666667 |
| DRESDEN/tictactoelarge/IwXcbg | 153.43785451740254 | 112710.33333333333 | 734.5666666666667 |
| STANFORD/pilgrimage/ObRZnQ | 153.4446496889963 | 38097.76666666667 | 248.28344777014865 |
| BASE/ticTacToeLarge/TZC0dg | 154.47872871736664 | 113413.13333333333 | 734.1666666666666 |
| BASE/crisscross/ICagEg | 154.92592228234136 | 52494.066666666666 | 338.8333333333333 |
| DRESDEN/crisscross/GsY16g | 154.97154438536126 | 49541.1 | 319.67868808746084 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 157.30172643450018 | 116223.86666666667 | 738.8594473885945 |
| DRESDEN/snake_2009_big/DgC1NQ | 157.44734848484848 | 69276.83333333333 | 440.0 |
| BASE/3pConnectFour/PqXOFQ | 157.8399102681758 | 51597.86666666667 | 326.9 |
| BASE/minichess-evilconjuncts/4OpQzw | 158.53678402930404 | 12018.366666666667 | 75.80806397867377 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 161.54333828628035 | 108718.66666666667 | 673.0 |
| BASE/mummyMaze2p_2007/YGA3Vw | 163.1332470857859 | 109928.16666666667 | 673.8550763282448 |
| DRESDEN/pentago_2008/hLjVpQ | 164.6029713794585 | 12764.3 | 77.54598773660358 |
| BASE/snake_2008/i6K26g | 164.79390490891123 | 85228.56666666667 | 517.1827605746475 |
| BASE/gt_coordination/IVMOzA | 164.83591931225533 | 422468.9666666667 | 2562.9666666666667 |
| BASE/snake_2009_big/-oRfVw | 165.01972641562065 | 72303.73333333334 | 438.1520615979467 |
| BASE/connectFourLarge/aU644A | 166.47762315126994 | 57602.96666666667 | 346.01026598226787 |
| BASE/pentago/86NgKw | 167.02606999185667 | 13669.766666666666 | 81.84211403245693 |
| BASE/snake_2008_tweaked/bX0NJQ | 167.74387793545145 | 89049.63333333333 | 530.8666666666667 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 169.7256981580511 | 190432.23333333334 | 1122.0 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 170.876814479638 | 12586.666666666666 | 73.65930073659301 |
| DRESDEN/towerworld/HCX34w | 173.61636980056983 | 1348.6333333333334 | 7.7678927101314565 |
| DRESDEN/snake_2008/E56l3A | 173.7628884683517 | 89369.06666666667 | 514.3161894603513 |
| STANFORD/pentago/ZxzLmg | 174.62658309878032 | 28946.333333333332 | 165.76132235811644 |
| DRESDEN/endgame/IJhh3Q | 176.8903345782589 | 21786.266666666666 | 123.16256124795841 |
| STANFORD/nineboardtictactoe/y28P-A | 177.24740494668433 | 31208.066666666666 | 176.07065489085153 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 179.38984158506335 | 30531.133333333335 | 170.19432685577146 |
| BASE/pentagoSuicide/SBgNhw | 179.5137368328959 | 13675.3 | 76.17968541722207 |
| BASE/blocksWorldParallel/RseaAQ | 180.75834479309913 | 48196.2 | 266.6333333333333 |
| BASE/tictactoe_3d_2player/IUC1rQ | 182.4285211242067 | 13406.533333333333 | 73.48923978945966 |
| BASE/crissrace/ERWGDA | 182.7681605722536 | 46358.3 | 253.64538251548038 |
| BASE/futoshiki4/BaCwSw | 182.97839915910967 | 36990.9 | 202.1599280023999 |
| BASE/endgame/jYjfOA | 185.49538675213674 | 27489.5 | 148.1950601646612 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 186.04442470444354 | 60824.6 | 326.93589230974277 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 186.72218674361875 | 209195.06666666668 | 1120.3546312035462 |
| BASE/hexPie/48CH6Q | 186.7407205040693 | 23700.366666666665 | 126.91590030654405 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 188.34126718252162 | 13781.833333333334 | 73.17479349853451 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 189.15080706075534 | 5111.333333333333 | 27.022529867882458 |
| DRESDEN/crissrace/KWb9bw | 190.93610083647013 | 45651.3 | 239.0920302656578 |
| BASE/dotsAndBoxes/EHwA_w | 191.1484222828204 | 65423.73333333333 | 342.26666666666665 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 193.24371411891678 | 65644.76666666666 | 339.69936339699365 |
| BASE/hex/T1MK8g | 193.8834096053998 | 24893.8 | 128.3957201426619 |
| BASE/chineseCheckers4/avfBcQ | 195.2593166198819 | 67240.8 | 344.3666666666667 |
| BASE/escortLatch/mX9BjQ | 195.8875845074718 | 49954.53333333333 | 255.01633224451703 |
| BASE/4pffa/Q3ADlg | 199.24707297231242 | 63402.833333333336 | 318.2121191920539 |
| STANFORD/hex/MTqWcw | 200.51491890196078 | 25564.8 | 127.49575014166194 |
| BASE/nineBoardTicTacToe/wRmqqA | 201.0131229466718 | 34425.7 | 171.26095796806774 |
| BASE/hanoi_6_disks/MeubgQ | 202.3780973099167 | 254281.33333333334 | 1256.4666666666667 |
| DRESDEN/ticblock/Z2yNWQ | 202.46109111049572 | 97478.26666666666 | 481.46666666666664 |
| DRESDEN/pacman3p/rBnk8Q | 202.76850264296013 | 42190.5 | 208.07225703239567 |
| BASE/rubiksCube/9tNO9Q | 203.7919863597613 | 39841.333333333336 | 195.5 |
| DRESDEN/hanoi_6_disks/MeubgQ | 203.94531229138295 | 254584.93333333332 | 1248.3 |
| BASE/pacman3p/wW7UVQ | 204.5004011193833 | 43032.26666666667 | 210.4263191226959 |
| BASE/connectFourSimultaneous/7ITr3g | 204.866806146789 | 44652.03333333333 | 217.95640871825634 |
| BASE/ticblock/T21C1g | 207.76493389434975 | 97930.2 | 471.35095496816774 |
| BASE/3pttc/0sol9g | 208.59175182160803 | 66413.4 | 318.38938702043265 |
| BASE/3pffa/pR0dzA | 210.3013136526622 | 69072.36666666667 | 328.44477034864343 |
| BASE/ttcc4_2player_small/Cv72TA | 210.55131379115286 | 62031.3 | 294.6136924205053 |
| BASE/pacman2p/4LEdQg | 212.3845644253064 | 42745.933333333334 | 201.26666666666668 |
| BASE/cubicup/4wNWJA | 218.018665984 | 22703.466666666667 | 104.13542603885502 |
| DRESDEN/mimikry/GJEhwA | 223.14475447515858 | 53543.73333333333 | 239.9506699553363 |
| BASE/futoshiki5/TJ4BZg | 223.44553636363636 | 16789.5 | 75.13911565759221 |
| BASE/peg/fJHVWw | 223.93150945539594 | 22334.2 | 99.73674564297377 |
| DRESDEN/cubicup/SBn_lw | 224.31924033355278 | 22713.033333333333 | 101.25316624450073 |
| DRESDEN/connect4/T0-rHQ | 225.48245614035088 | 25705.0 | 114.0 |
| DRESDEN/tpeg/h-Scbg | 225.50043973668463 | 25117.4 | 111.38514864684709 |
| BASE/tpeg/QNs7Lw | 228.30690214566337 | 25179.733333333334 | 110.2889711028897 |
| DRESDEN/chomp/-LcqYQ | 228.539067361931 | 77416.13333333333 | 338.7435427428762 |
| BASE/ticTacHeavenFC/mrletw | 229.57648542303772 | 32506.066666666666 | 141.59144655763913 |
| BASE/aipsrovers01/4C4jsw | 230.159185689266 | 197117.1 | 856.4381187293757 |
| BASE/quartoSuicide/-23jUg | 230.22420997649516 | 58768.566666666666 | 255.26666666666668 |
| BASE/solitaireChineseCheckers/-ET6gw | 231.23661098674012 | 89519.4 | 387.1333333333333 |
| DRESDEN/crossers3/xiPTxg | 231.46593738524194 | 74511.63333333333 | 321.9118725418305 |
| DRESDEN/aipsrovers01/qS47Mw | 232.08437808677155 | 203630.83333333334 | 877.4 |
| DRESDEN/quarto/OQzRYQ | 232.63017525626054 | 59760.7 | 256.89143695210157 |
| BASE/conn4/va9Y7A | 233.09524879227055 | 40742.333333333336 | 174.78834744350377 |
| DRESDEN/quartosuicide/WIU1oQ | 233.88353663433037 | 57845.433333333334 | 247.32580225932222 |
| BASE/chomp/-LcqYQ | 233.9588394739484 | 77682.13333333333 | 332.03333333333336 |
| BASE/pegEuro/5awwhg | 235.83895080508472 | 18547.1 | 78.6430737445433 |
| BASE/crossers3/O0rORg | 235.89256548944746 | 74141.03333333334 | 314.3 |
| DRESDEN/peg_bugfixed/u_B7MA | 235.99383988054217 | 22824.666666666668 | 96.71721379770038 |
| BASE/gt_staghunt/xPjLRA | 237.23383624945694 | 400434.9 | 1687.9333333333334 |
| DRESDEN/peg/Vo31eg | 237.3055458667597 | 22678.5 | 95.56666666666666 |
| BASE/quarto/EwBMVQ | 239.1363851338497 | 58658.2 | 245.2918236058798 |
| BASE/majorities/ibJzSQ | 239.61786764705883 | 29317.5 | 122.35105957616953 |
| DRESDEN/brain_teaser_extended/ZDp94A | 240.13156941300798 | 199446.63333333333 | 830.5723142561915 |
| BASE/breakthroughSuicideSmall/XSbJog | 240.91435817805387 | 65931.66666666667 | 273.6726327367263 |
| BASE/connect4/50bOyw | 241.91458630738524 | 26929.566666666666 | 111.31849086788428 |
| BASE/knightsTourLarge/M8jgLA | 241.9716600193227 | 325589.0 | 1345.5666666666666 |
| BASE/checkersBarrelNoKings/rnKNeg | 244.70197294991135 | 49069.26666666667 | 200.5266491116963 |
| DRESDEN/gt_prisoner/huCp4w | 245.2553578767153 | 401254.115843498 | 1636.0666666666666 |
| BASE/connectFourLarger/qKi60A | 245.49879244921428 | 42699.0 | 173.92753574880837 |
| DRESDEN/hanoi/RQ0jiA | 245.93406011599646 | 340643.26666666666 | 1385.1 |
| DRESDEN/battlebrushes/QHXV4A | 246.6027320121951 | 10784.4 | 43.73187560414653 |
| BASE/gt_prisoner/klthDw | 246.71389463318562 | 417563.26666666666 | 1692.5 |
| BASE/breakthroughHoles/nZk0Sg | 248.22766058353469 | 44520.8 | 179.35470968602093 |
| BASE/2pffa/6oHijA | 248.3295436050975 | 71878.33333333333 | 289.4473701753216 |
| BASE/breakthroughSmall/HJ0tIA | 249.8960393632774 | 67503.0 | 270.12432918902704 |
| BASE/futoshiki6/JmvXNA | 249.96942841143527 | 9423.533333333333 | 37.69874337522083 |
| BASE/2pffa_zerosum/o0_uZA | 252.72765601568807 | 73025.0 | 288.9474035064329 |
| BASE/brain_teaser_extended/ZDp94A | 256.13064436387606 | 207226.76666666666 | 809.0666666666667 |
| BASE/hanoi/iGLsJg | 256.68442037903026 | 347636.26666666666 | 1354.3333333333333 |
| STANFORD/freeforall/Lfp40Q | 261.01096987342794 | 71712.33333333333 | 274.74835010999266 |
| BASE/choicethroughalt/tt71Lg | 261.16738919485186 | 29082.433333333334 | 111.35553111355532 |
| STANFORD/knightstourbig/TQUI2g | 261.2190717202507 | 302787.73333333334 | 1159.1333333333334 |
| DRESDEN/statespacemedium/dVJZ_w | 261.80133072087517 | 427573.93333333335 | 1633.2 |
| BASE/2pttc/unkkYA | 262.0548695246971 | 74982.63333333333 | 286.1333333333333 |
| BASE/tttcc4/8Bs2lg | 264.28585040707145 | 37870.9 | 143.29522349255024 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 264.981128142514 | 44119.36666666667 | 166.500033326668 |
| BASE/ttcc4/Le0qjQ | 266.88410912698413 | 38104.7 | 142.77620396600565 |
| DRESDEN/tttcc4/sAvtFg | 267.650465601807 | 36861.933333333334 | 137.72415172321845 |
| BASE/knightThrough/gcwFjA | 269.55847948865824 | 46736.76666666667 | 173.3826617338266 |
| BASE/mineClearingSmall/frsbvw | 269.5909398242055 | 39872.5 | 147.9 |
| BASE/stateSpaceMedium/3bUoIw | 271.5775942370987 | 437321.4 | 1610.3 |
| BASE/biddingTicTacToe/8mESVw | 276.74134977807535 | 123991.26666666666 | 448.04026129849353 |
| BASE/slidingpieces/uFJWEw | 277.2296776452773 | 16266.333333333334 | 58.674574351114515 |
| BASE/checkLines/Vop7oQ | 278.51864795305846 | 103104.16666666667 | 370.1876604113196 |
| BASE/checkersTorus/2vm1EQ | 278.8348252216952 | 45067.5 | 161.62794573514216 |
| DRESDEN/slidingpieces/s9_44g | 280.5333525269733 | 16457.433333333334 | 58.6648011193284 |
| BASE/ttcc4_2player_alt/ZEJvYA | 284.0997229916897 | 44442.666666666664 | 156.43333333333334 |
| DRESDEN/bidding-tictactoe/yW5vTA | 284.6683781501632 | 130796.4 | 459.46936870875277 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 285.0267233525661 | 31286.433333333334 | 109.76666666666667 |
| BASE/breakthroughSuicide/wZDpIg | 285.3759644228904 | 49032.2 | 171.8161517181615 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 287.48437196353785 | 51855.26666666667 | 180.3759498733502 |
| BASE/checkersTorusNoKings/pwb6oQ | 287.8037821369479 | 50242.166666666664 | 174.5709048491918 |
| DRESDEN/knightthrough/J7Fc_Q | 289.911709132597 | 49866.166666666664 | 172.0046658890185 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 291.5399528368794 | 52067.3 | 178.5940468651045 |
| BASE/speedChess/bPnisA | 294.84360457142856 | 17192.333333333332 | 58.31000932960149 |
| BASE/skirmishZeroSum/zh4hcw | 295.3100201819685 | 15859.533333333333 | 53.704690831556505 |
| DRESDEN/breakthrough/z4hK7Q | 296.5146036495876 | 50730.26666666667 | 171.0885940937271 |
| BASE/cubicup_3player/e2yA_g | 298.4198048465267 | 12309.866666666667 | 41.25016660002665 |
| BASE/skirmishNew/sibw2g | 300.57894255713404 | 16218.0 | 53.95587549156836 |
| BASE/duplicateStateLarge/dcjyuw | 300.8724371028757 | 99856.23333333334 | 331.88893703543215 |
| BASE/qyshinsu/R08Lzw | 301.17676442364825 | 22522.766666666666 | 74.78255073816109 |
| BASE/breakthrough/TGxk-g | 301.39888057794377 | 51105.5 | 169.56101463284557 |
| DRESDEN/gt_chicken/CeuKtw | 302.4155137726336 | 405851.7 | 1342.0333333333333 |
| BASE/breakthroughWalls/vOZaYA | 302.56561309098134 | 50765.433333333334 | 167.78322167783222 |
| STANFORD/ttcc4/Cx9SGw | 305.24929459232277 | 36303.6 | 118.93098737045553 |
| BASE/englishDraughts/jFkQxg | 306.18271467865463 | 51069.566666666666 | 166.7944146365848 |
| BASE/gt_chicken/gmepTQ | 310.85588787894176 | 408112.3333333333 | 1312.8666666666666 |
| BASE/duplicateStateMedium/U163eQ | 314.3709551539893 | 349098.4666666667 | 1110.4666666666667 |
| BASE/ticTacHeaven/18n58A | 317.89158722964896 | 32498.033333333333 | 102.22992566914436 |
| DRESDEN/cubicup_3player/awDtsQ | 319.2454304746045 | 12776.2 | 40.019993335554815 |
| BASE/ttcc4_2player/_aH_Mw | 322.3941286695815 | 34410.2 | 106.73333333333333 |
| STANFORD/duikoshi/tpw1sw | 337.4224305639578 | 55766.63333333333 | 165.2724545909015 |
| DRESDEN/hanoi7/51zz5Q | 338.90654006187987 | 317657.1 | 937.3 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 343.75543105006324 | 316999.8 | 922.1666666666666 |
| BASE/tictactoe_3d_small_6player/g_9lww | 346.1781247659356 | 29986.566666666666 | 86.62178376216505 |
| BASE/four_way_battle/xSOQXA | 358.52234226375907 | 7671.866666666667 | 21.398573428438105 |
| BASE/hanoi7_bugfix/3gdnFw | 364.4625468846728 | 333616.86666666664 | 915.3666666666667 |
| BASE/amazons_8x8/7SOsIw | 366.02670890109886 | 33305.1 | 90.99090090990902 |
| DRESDEN/battlesnakes1509/-qZrLw | 367.6765782643958 | 60442.0 | 164.38904073061795 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 368.72120673064103 | 30738.033333333333 | 83.36388787040433 |
| DRESDEN/four_way_battle/xSOQXA | 372.803739629005 | 7353.4 | 19.724587546567324 |
| STANFORD/platformjumpers/HEQskA | 373.7632552404439 | 30312.2 | 81.1 |
| BASE/amazons_10x10/Bun8dA | 375.01295802469133 | 27334.8 | 72.89028129582722 |
| BASE/amazonsSuicide_10x10/XIbQkg | 382.1021960820895 | 27301.2 | 71.4499950011664 |
| DRESDEN/knightmove/97Ipcw | 383.08777572480443 | 55491.1 | 144.8521814485218 |
| BASE/knightmove/jBaJEw | 392.33426298995795 | 53826.46666666667 | 137.19542681910602 |
| DRESDEN/battlesnakes2011/93VtTw | 393.75294884084576 | 64341.63333333333 | 163.40609898350274 |
| DRESDEN/capture_the_king/EQ229Q | 411.82053044002413 | 7577.333333333333 | 18.39960073199135 |
| BASE/knightazons/apnJBQ | 433.2708768267223 | 27671.566666666666 | 63.86666666666667 |
| BASE/checkersTiny/Lr48cg | 439.86715719263856 | 44873.63333333333 | 102.01633061156474 |
| BASE/amazonsTorus_10x10/Uxc08g | 446.1921650988905 | 20530.633333333335 | 46.01298485100716 |
| DRESDEN/knightazons/02I8BQ | 453.3269252396166 | 28370.7 | 62.58331111703546 |
| BASE/stateSpaceLarge/0Ge_CQ | 455.23096368971045 | 224102.73333333334 | 492.28359054698177 |
| DRESDEN/statespacelarge/8-y5HQ | 457.728323699422 | 221723.6 | 484.4 |
| DRESDEN/skirmish3/3LU8Nw | 470.67106357569367 | 29767.866666666665 | 63.24558480506498 |
| DRESDEN/skirmish/RjGQYQ | 471.48236694789085 | 31661.566666666666 | 67.15323601946277 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 473.0909951854775 | 19966.233333333334 | 42.203790679857434 |
| DRESDEN/brawl/2kXtfQ | 484.7222024470899 | 16282.866666666667 | 33.59216182890659 |
| BASE/blockerSerial/3eqDuw | 484.7410582868143 | 83932.6 | 173.1493517314935 |
| BASE/gt_tinfoil/Q8DyKg | 487.94500038421705 | 324537.6666666667 | 665.1111629612346 |
| BASE/brawl/6Ymo_Q | 500.86033845371304 | 16396.766666666666 | 32.73720318380125 |
| BASE/ticTacToeSerial/Amrwqw | 510.48461196596145 | 97299.16666666667 | 190.60156640559907 |
| DRESDEN/backgammon/mqCW0Q | 512.6646466536712 | 26297.066666666666 | 51.294870512948705 |
| DRESDEN/skirmish2/iPpWhQ | 517.4813510885342 | 35650.9 | 68.8931106889311 |
| BASE/coins/QnGtnQ | 522.9035713022508 | 43361.8 | 82.9250408292504 |
| BASE/tictactoe_3d_6player/d7KSwg | 533.4021916336416 | 13459.066666666668 | 25.232492250258325 |
| BASE/coins_atomic/AA3SSw | 557.1305214257736 | 47407.066666666666 | 85.09149085091491 |
| DRESDEN/smallest_4player/ADDROA | 557.3592813403998 | 112170.36666666667 | 201.25324978334777 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 558.6826610249177 | 13201.333333333334 | 23.62939510081653 |
| BASE/smallest_4player/ADDROA | 563.5247477468522 | 113377.4 | 201.19329355688143 |
| DRESDEN/coins/QwFP9w | 563.6452422623723 | 47815.566666666666 | 84.83273357323738 |
| STANFORD/alquerquezero/uVgA_A | 572.2862529996572 | 55645.3 | 97.23333333333333 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 578.4103632674489 | 608.5927604826345 | 1.0521816328543714 |
| DRESDEN/checkers/jIDMIg | 579.4901466101694 | 18232.8 | 31.463520314635204 |
| BASE/snake2p/I3wWPQ | 601.8839737277355 | 94606.7 | 157.1842815718428 |
| DRESDEN/checkers-newgoals/IJOqXQ | 618.283278896346 | 18412.566666666666 | 29.78014656895403 |
| STANFORD/chinook/osFbPA | 628.1918512938471 | 36403.26666666667 | 57.949281882102035 |
| BASE/battle/8oAvhQ | 632.1390275590551 | 2662.3 | 4.211573536726911 |
| DRESDEN/pawntoqueen/f_x6Aw | 634.1853619937694 | 2249.0333333333333 | 3.546334349728225 |
| DRESDEN/battle/8oAvhQ | 639.9450645669292 | 2688.133333333333 | 4.200568895944962 |
| DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | 643.4534282086796 | 15482.166666666666 | 24.061052421101742 |
| BASE/checkersSmall/SYmq8w | 659.2178209457901 | 31751.266666666666 | 48.16506116462784 |
| BASE/pawnToQueen/-O1_JA | 661.7918934579438 | 2342.2 | 3.5391790427678367 |
| BASE/chinook/XQh0IQ | 668.0582421081986 | 39918.3 | 59.75272436431499 |
| DRESDEN/CephalopodMicro/H3XQfg | 684.384317266187 | 3155.1 | 4.610129017279692 |
| BASE/checkers-newgoals/0XkFiA | 690.0054203473945 | 18530.733333333334 | 26.855924296947887 |
| DRESDEN/cylinder-checkers/clOO3Q | 713.963393472845 | 15912.366666666667 | 22.287370490055636 |
| BASE/cephalopodMicro/9l2D3g | 774.9243870967742 | 3177.6 | 4.1005291005291005 |
| BASE/checkers/rOC3Xg | 781.1981533987641 | 23870.666666666668 | 30.55648117294235 |
| BASE/cylinder-checkers/hlldmw | 783.4002255520505 | 16537.666666666668 | 21.11011220990244 |
| BASE/skirmishFinal3/-Olhfw | 792.5596992211838 | 11285.366666666667 | 14.239137667176792 |
| BASE/quad_7x7/q-JOXg | 866.5609973494711 | 626.3457884737176 | 0.7227948065854638 |
| BASE/ruleDepthExponential/UamhHQ | 869.5030967368422 | 265285.9 | 305.10058100493416 |
| BASE/skirmishFinal2/gdB62Q | 870.9448397790056 | 10508.0 | 12.065057992267697 |
| BASE/mummymaze1p/PT_EXA | 894.2706580219591 | 89948.6367575495 | 100.58323612731212 |
| STANFORD/triplesukoshi/Iu9mbA | 914.1376130952381 | 46924.166666666664 | 51.33162227925736 |
| DRESDEN/mummymaze1p/AekgaQ | 927.9906293351302 | 91796.96666666666 | 98.92014398080256 |
| DRESDEN/skirmishfinal/hzq8ww | 932.8256319526627 | 10503.533333333333 | 11.259910720234526 |
| BASE/strangeSkirmish/gc1zKA | 949.1012293577982 | 6892.666666666667 | 7.262309281098008 |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | 966.0801481981983 | 18416.933333333334 | 19.063566690281444 |
| BASE/skirmishHoles/AUCxCA | 985.6452344632769 | 7724.133333333333 | 7.836626265980408 |
| BASE/skirmishFinal1/ecWTnQ | 1018.7174322717622 | 10652.633333333333 | 10.456906886905555 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 1021.6454616855752 | 105027.7 | 102.80249258555767 |
| BASE/othelloSuicide/B442jg | 1022.8450370370371 | 898.4 | 0.878334417696812 |
| BASE/othello-comp2007/86ZoMw | 1057.79344 | 877.4 | 0.8294625082946251 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 1067.5951152725186 | 103351.23333333334 | 96.80751799520128 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 1102.2938823529412 | 2472.0 | 2.242596134819603 |
| BASE/othelloHoles/c0qAzw | 1145.0297471264366 | 1059.3333333333333 | 0.9251579148854718 |
| STANFORD/madness/UO_B3A | 1162.9110774193548 | 8387.4 | 7.2124173230963535 |
| BASE/wargame02/BkVqqQ | 1183.114326176585 | 33768.36666666667 | 28.54193032704989 |
| DRESDEN/babel/WdSW4A | 1218.9341728695651 | 70074.7 | 57.488502299540094 |
| BASE/skirmish/Y_psYQ | 1247.732120111732 | 7408.5 | 5.937572561117192 |
| STANFORD/skirmish/w4V6Vw | 1262.2717931159418 | 7725.966666666666 | 6.120683919898876 |
| BASE/wargame03/klXI8w | 1266.054530612245 | 43411.2 | 34.28857047650783 |
| BASE/hidato19/rRHSmA | 1278.058641068917 | 30255.7 | 23.673170406872213 |
| DRESDEN/grid_game2/kypTYQ | 1301.4214599593497 | 14215.133333333333 | 10.922774651170535 |
| DRESDEN/quad_7x7/q-JOXg | 1368.2725774632452 | 629.1589033803567 | 0.4598198588082551 |
| DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | 1382.2350209631727 | 16190.9 | 11.713565171223786 |
| DRESDEN/smallest/9kaGFw | 1493.59521218716 | 91507.6 | 61.266666666666666 |
| BASE/wargame01/_GZFZg | 1537.0816430684554 | 49591.53333333333 | 32.26343477392289 |
| DRESDEN/amazons/dNB28A | 1686.8322058823528 | 3819.6666666666665 | 2.2644022644022646 |
| BASE/quad_5x5/JAEP5g | 1731.3772727575747 | 4059.564681177294 | 2.344702535405008 |
| BASE/slaughter/cOch8A | 1784.2246547619047 | 4992.833333333333 | 2.7983210073955624 |
| STANFORD/selectivesukoshi/3xmXYg | 1877.0751655855856 | 11547.966666666667 | 6.152106680855309 |
| BASE/cittaceot/fDxhXg | 1880.7604166932485 | 39290.86666666667 | 20.890947256188984 |
| DRESDEN/Goldrush/VeWczQ | 1912.2111896007427 | 68620.93333333333 | 35.88564574170332 |
| BASE/god/qF06gw | 1985.645521875 | 6320.566666666667 | 3.183129414105242 |
| DRESDEN/hitori/S8Gsyg | 2028.108792805755 | 9346.433333333332 | 4.6084477156687225 |
| BASE/hitori/S8Gsyg | 2211.619013333333 | 9171.666666666666 | 4.147037356512508 |
| BASE/simultaneousWin2/PfjRjw | 2248.430768858801 | 38741.5 | 17.230461589735043 |
| BASE/sudokuGrade1/tDRNRw | 2347.731452136752 | 6016.066666666667 | 2.562502053286902 |
| BASE/hidato37/pBrqxw | 2410.538970037453 | 7139.366666666667 | 2.961730449251248 |
| DRESDEN/quad_5x5/JAEP5g | 2432.7446538461536 | 4109.9 | 1.6894087069525665 |
| BASE/blokbox_simple/JBx4bg | 2469.064182884564 | 129.16555585177287 | 0.05231356752373728 |
| BASE/sudokuGrade2/u80Tfw | 2487.077166197183 | 5855.633333333333 | 2.354423663615864 |
| STANFORD/duidoku/3SoMaA | 2594.7284363636363 | 4718.0 | 1.818302036498281 |
| DRESDEN/god/2EDD5w | 2659.816475675675 | 6550.4 | 2.46272630457934 |
| BASE/sudokuGrade3/eI8dvg | 2805.8401912496925 | 5787.354597873546 | 2.0626101999401176 |
| BASE/sudokuGrade4/DTy07w | 2815.5490758064516 | 5807.766666666666 | 2.062747446518282 |
| BASE/sudokuGrade5/BQfUQA | 2896.0278047619054 | 6014.1 | 2.076672050631242 |
| DRESDEN/Zhadu/9zpQ5w | 2908.4652837606836 | 15055.766666666666 | 5.1765330501725515 |
| STANFORD/sudoku/oJ1qyQ | 3093.8565632183904 | 5967.333333333333 | 1.9287685810249078 |
| BASE/sudokuGrade6E/ihYFZA | 3158.9978153846155 | 5311.3 | 1.6813243662700466 |
| DRESDEN/checkers-mustjump/HUr33w | 3222.213572643678 | 15546.566666666668 | 4.824809503210994 |
| BASE/sudokuGrade6H/ieE_9A | 3222.8210869281047 | 5359.633333333333 | 1.6630254018978055 |
| BASE/checkers-mustjump/T-8UuQ | 3434.278215085158 | 15656.066666666668 | 4.558764807666711 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 3900.5483990476187 | 13558.366666666667 | 3.4760154930976266 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 4052.2481128205127 | 5205.8 | 1.2846696093286778 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 4102.463902721088 | 13352.866666666667 | 3.2548407452921055 |
| BASE/amazons/RKKZjw | 4138.622755555555 | 766.0333333333333 | 0.18509378084896347 |
| BASE/amazonsSuicide/dE1QEQ | 4363.330400000001 | 768.7333333333333 | 0.17618040873854826 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 4475.296035164835 | 13560.6 | 3.0301012253596165 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 4546.4968733333335 | 13635.4 | 2.9991002699190243 |
| DRESDEN/farmers/S_ASnw | 5068.923891358025 | 45162.666666666664 | 8.909714889123547 |
| BASE/merrills/pku8Tg | 5108.037732087228 | 18040.666666666668 | 3.5318193820966464 |
| DRESDEN/merrills/aYEzwA | 5169.352194339624 | 18195.9 | 3.519957494852892 |
| BASE/zhadu/DlA8iQ | 5173.170842105263 | 3172.7 | 0.6132989025177534 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 5288.882328767123 | 12848.2 | 2.4292845257903495 |
| DRESDEN/small_dominion/yB5GJA | 5400.548921052632 | 2826.5 | 0.5233727240172988 |
| BASE/checkers-mustjump-torus/uSApKQ | 5860.173821212121 | 12867.933333333332 | 2.1958279269388163 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 6145.13586623212 | 377018.5333333333 | 61.35235111807245 |
| BASE/nim4/twk16w | 6990.977237340155 | 182122.2 | 26.05103604503964 |
| DRESDEN/nim4/F5YAYg | 7018.881157740405 | 180660.46666666667 | 25.739211507725095 |
| DRESDEN/nim3/sG_axA | 7037.7997399999995 | 182781.73333333334 | 25.971431425432026 |
| BASE/nim3/1OwUqw | 7556.393027642276 | 185689.2 | 24.573787959509858 |
| BASE/chess_200/XsTpYA | 8144.552833333332 | 7429.466666666666 | 0.9122006841505131 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 8583.813415384615 | 3518.4 | 0.4098877538151091 |
| BASE/copolymer_4_pie/IN5_jA | 8887.494288199514 | 80991.56666666667 | 9.112981009079721 |
| BASE/nim2/eF2Qqw | 9290.943914753401 | 242601.16666666666 | 26.111573688592838 |
| DRESDEN/nim2/z5_exA | 9890.47532135135 | 243818.76666666666 | 24.651875541341862 |
| DRESDEN/nim1/M9BALA | 10455.331742851047 | 271906.1666666667 | 26.00645999134228 |
| BASE/nim1/hin2Qw | 10928.517333776594 | 273667.8333333333 | 25.041625041625043 |
| BASE/copolymer_4/2LDVhQ | 11159.526398496242 | 98540.5 | 8.830168636303279 |
| BASE/battlebrushes/arCwyA | 12258.434013157896 | 11150.7 | 0.9096349491322562 |
| BASE/golden_rectangle/_nYzfw | 16758.975327586206 | 15983.5 | 0.9537277600552504 |
| DRESDEN/gt_ultimatum/pAiiQw | 21427.070068376066 | 334039.6 | 15.58960692871419 |
| BASE/gt_ultimatum/GE-uOA | 22582.07240815296 | 346228.9666666667 | 15.332028009159393 |
| BASE/colonelBlottoVariant/X-n-KQ | 25464.918782679735 | 259525.9 | 10.191507077435471 |
| DRESDEN/guess/PhxGhg | 26930.66311111111 | 174120.66666666666 | 6.4655172413793105 |
| BASE/guess/SPpk1A | 30333.810251769086 | 179335.86666666667 | 5.912078475410378 |
| BASE/racer4/0vs7Ww | 31402.386775362316 | 23583.833333333332 | 0.7510204081632653 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 43837.645485 | 21952.3 | 0.5007636645884974 |
| DRESDEN/fizzbuzz/t1xHzQ | 56130.82299082568 | 610422.0 | 10.874987528684027 |
| BASE/colonelBlottoVariant2/jruwGw | 59630.15535111111 | 236752.86666666667 | 3.9703546850185285 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 90550.63105083333 | 21020.766666666666 | 0.23214378986344142 |
| BASE/queens08ug/kJ_ZFQ | 135993.11775 | 57583.166666666664 | 0.4234270646881075 |
| DRESDEN/satlike_20v_91c/yeuENQ | 143281.24883 | 22257.8 | 0.15534342547787522 |
| DRESDEN/queens/mW2wHQ | 202529.1928 | 32838.666666666664 | 0.16214288030612575 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 208236.45552 | 20704.8 | 0.09942927595601249 |
| BASE/ad_game_2x2/D0aWqg | 254523.82413333334 | 60572.066666666666 | 0.23798191337458352 |
| BASE/queens06ug/7Lq3tw | 336774.1109861111 | 98459.96666666666 | 0.2923620416615909 |
| DRESDEN/racer/vk_ZBA | 578440.0622 | 65772.93333333333 | 0.11370743078060151 |
| BASE/racer/QQYQNw | 615888.4008666666 | 65698.26666666666 | 0.10667235585897915 |
| BASE/gt_attrition/kD_SCA | 1198940.5929666667 | 118750.1 | 0.09904585823236159 |
| BASE/colonelBlotto/jip21A | 1.7395616933333334E7 | 80164.13333333333 | 0.004608294930875576 |
| DRESDEN/golden_rectangle/1uloXw | Infinity | 15830.233333333334 | 0.0 |
Games with errors:
| Game | ALLOY_COMPILED_PROVER_CACHING:2 error message | PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 error message |
| STANFORD/multiplesukoshi/vLSQPg | ArrayIndexOutOfBoundsException: 5 | |
| BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | |
| DRESDEN/javastrike/whONTQ | Exception of type StackOverflowError | |
| DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | |
| BASE/queens08lg/Ru7eqQ | Test process timed out after 240 seconds | |
| BASE/nonogram_10x10_1/0Xc62g | Exception of type NullPointerException | |
| BASE/reversiSuicide/9OxJlg | Test process timed out after 240 seconds | |
| BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | |
| STANFORD/rainbow/_4qNSQ | Exception of type NullPointerException | |
| BASE/gt_two_thirds_4p/DStnxQ | Exception of type NullPointerException | |
| BASE/reversi/d8UMeA | Test process timed out after 240 seconds | |
| BASE/queens12ug/u6Bkmg | Test process timed out after 240 seconds | |
| BASE/gt_two_thirds_2p/1APDGg | Exception of type NullPointerException | |
| BASE/queens/HyJJnQ | Test process timed out after 240 seconds | |
| BASE/queens16ug/gT-ylw | Test process timed out after 240 seconds | |
| BASE/nonogram_5x5_1/qLKEZw | Exception of type NullPointerException | |
| BASE/sudoku/NTaNkw | Exception of type NullPointerException | |
| BASE/gt_two_thirds_6p/867v3Q | Exception of type NullPointerException | |
| STANFORD/dualrainbow/G3OnRQ | Exception of type NullPointerException | |
| BASE/amazonsTorus/soxT8g | Exception of type StackOverflowError | Exception of type StackOverflowError |
| BASE/alexChess/LNo83g | Exception of type StackOverflowError | Exception of type StackOverflowError |