Game-by-game performance:
| Game | Perf ratio | ALLOY_COMPILED_PROVER_CACHING:2 states per second | ALLOY_TUPLE_PROVER:2 states per second |
| BASE/queens31lg/0gID-A | 4.872024210953262 | 90.39397373508433 | 18.553679091302755 |
| DRESDEN/mummymaze1p/AekgaQ | 5.707264049472879 | 91796.96666666666 | 16084.233333333334 |
| BASE/mummymaze1p/PT_EXA | 5.769229673182103 | 89948.6367575495 | 15591.1 |
| BASE/mummymaze2p/vpjDdA | 6.088208109434659 | 63674.13333333333 | 10458.6 |
| DRESDEN/mummymaze2p/k-8edg | 6.333402327009668 | 62217.86666666667 | 9823.766666666666 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 6.366137097993537 | 189470.03333333333 | 29762.166666666668 |
| DRESDEN/quad/JPe6fg | 6.700532667221759 | 33.23896752706078 | 4.9606455453403 |
| BASE/bomberman2p/4CClwA | 8.279841939920653 | 86887.83333333333 | 10493.9 |
| DRESDEN/bomberman2p/x4h6jQ | 8.491760132939298 | 88405.73333333334 | 10410.766666666666 |
| BASE/onestep/xi53wA | 9.021417816352262 | 368475.3 | 40844.5 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 9.583887963281294 | 108718.66666666667 | 11343.9 |
| BASE/mummyMaze2p_2007/YGA3Vw | 9.716118673030465 | 109928.16666666667 | 11314.0 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 9.820802463489741 | 21474.166666666668 | 2186.6 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 9.975353535353536 | 20574.166666666668 | 2062.5 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 10.063531639577086 | 21257.533333333333 | 2112.3333333333335 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 10.092680923650377 | 21300.266666666666 | 2110.4666666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 10.387037398555371 | 24829.866666666665 | 2390.4666666666667 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 10.521635297850665 | 21000.833333333332 | 1995.9666666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 10.614741410288305 | 25600.633333333335 | 2411.8 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 10.731131760144395 | 21403.6 | 1994.5333333333333 |
| BASE/ghostMaze2p/W-NU-w | 11.550844379880154 | 131461.7 | 11381.133333333333 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 11.747839141778536 | 26866.133333333335 | 2286.9 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 12.177337043483403 | 109843.23333333334 | 9020.3 |
| BASE/kitten_escapes_from_fire/uW-YiA | 12.208894092245297 | 111581.96666666666 | 9139.4 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 12.211059689425408 | 29199.9 | 2391.266666666667 |
| DRESDEN/towerworld/HCX34w | 12.272276999292286 | 1348.6333333333334 | 109.89267382174522 |
| DRESDEN/roshambo2/jgSlkQ | 12.341367919483822 | 276963.3333333333 | 22441.866666666665 |
| DRESDEN/ghostmaze2p/HY0UwA | 12.381576408641369 | 132622.36666666667 | 10711.266666666666 |
| BASE/ruleDepthLinear/OUBJpQ | 12.382521391234278 | 467139.7 | 37725.73333333333 |
| BASE/roshambo2/KNPokQ | 12.401363748616587 | 271170.7 | 21866.2 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 12.54156699447742 | 28311.333333333332 | 2257.4 |
| DRESDEN/Thief_Police/CX18rA | 12.819386762095851 | 191888.7 | 14968.633333333333 |
| BASE/switches/tPUoCg | 13.253376037912028 | 220003.83333333334 | 16599.833333333332 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 13.261730431863105 | 198815.0 | 14991.633333333333 |
| DRESDEN/catch_me/ghGWrA | 13.442422411148806 | 195745.86666666667 | 14561.8 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 13.50035067404079 | 5205.8 | 385.6047984005331 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 13.503180921402777 | 197012.06666666668 | 14590.04865693528 |
| DRESDEN/Runners/3bOCQw | 13.728577617846558 | 331662.3 | 24158.533333333333 |
| BASE/pacman2p/4LEdQg | 13.974282694214695 | 42745.933333333334 | 3058.9 |
| DRESDEN/quad_5x5/JAEP5g | 14.02583436469116 | 4109.9 | 293.0235658811373 |
| BASE/pacman3p/wW7UVQ | 14.048294248870995 | 43032.26666666667 | 3063.1666666666665 |
| BASE/quad_5x5/JAEP5g | 14.118363177160353 | 4059.564681177294 | 287.5379128753791 |
| DRESDEN/pacman3p/rBnk8Q | 14.23399158813342 | 42190.5 | 2964.0666666666666 |
| STANFORD/rainbow/_4qNSQ | 14.334349756159828 | 235829.2 | 16452.033333333333 |
| BASE/gt_two_thirds_4p/DStnxQ | 14.36374288332407 | 31872.666666666668 | 2218.9666666666667 |
| BASE/gt_two_thirds_2p/1APDGg | 14.396884823784022 | 60757.73333333333 | 4220.2 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 14.475195645333837 | 5111.333333333333 | 353.10979268048794 |
| BASE/blockerParallel/7-nDJA | 14.557462821206734 | 18827.166666666668 | 1293.3 |
| DRESDEN/blockerparallel/dVQgSg | 14.794990266061 | 18999.233333333334 | 1284.1666666666667 |
| BASE/haystack/UkweGA | 14.909927916071686 | 666166.6333333333 | 44679.4 |
| BASE/numbertictactoe/rvJ-iQ | 15.018323876106336 | 62727.03333333333 | 4176.7 |
| BASE/racer4/0vs7Ww | 15.028569607884787 | 23583.833333333332 | 1569.2666666666667 |
| DRESDEN/8puzzle/8fKC2w | 15.058505867491888 | 106891.8 | 7098.433333333333 |
| BASE/gt_two_thirds_6p/867v3Q | 15.15981561564416 | 21267.2 | 1402.8666666666666 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 15.264904602048187 | 11974.3 | 784.4333333333333 |
| STANFORD/knightstour/cEwgNA | 15.343888280512392 | 332077.0333333333 | 21642.3 |
| STANFORD/buttonsandlights/eyhJpA | 15.56914161671862 | 717704.7333333333 | 46097.9 |
| BASE/eightPuzzle/vLrgFg | 15.617364404834762 | 108880.1 | 6971.733333333334 |
| DRESDEN/pentago_2008/hLjVpQ | 15.64699873329792 | 12764.3 | 815.7666666666667 |
| DRESDEN/max_knights/hCipiA | 15.680814569949481 | 33521.4 | 2137.733333333333 |
| STANFORD/8puzzle/jNiGtw | 15.762013378343985 | 109413.06666666667 | 6941.566666666667 |
| STANFORD/knightstourbig/TQUI2g | 15.803585005123672 | 302787.73333333334 | 19159.433333333334 |
| STANFORD/knightstourmedium/x1wu8Q | 15.846249364930015 | 344129.3 | 21716.766666666666 |
| DRESDEN/twisty-passages/j7NPyg | 15.869250353905638 | 100143.43333333333 | 6310.533333333334 |
| DRESDEN/nim3/sG_axA | 15.883244746332208 | 182781.73333333334 | 11507.833333333334 |
| BASE/survival/YVIjJA | 15.887142884532222 | 497183.9 | 31294.733333333334 |
| DRESDEN/nim4/F5YAYg | 15.901763630655664 | 180660.46666666667 | 11361.033333333333 |
| BASE/max_knights/2fq3Ag | 15.949286374531951 | 33934.23333333333 | 2127.633333333333 |
| BASE/knightsTour/mvtVIg | 16.061024332069124 | 348806.36666666664 | 21717.566666666666 |
| BASE/nim4/twk16w | 16.06568396538492 | 182122.2 | 11336.1 |
| STANFORD/eightpuzzle/W_aWbA | 16.078492890860083 | 112744.0 | 7012.1 |
| BASE/peg/fJHVWw | 16.0835833793418 | 22334.2 | 1388.6333333333334 |
| BASE/chomp/-LcqYQ | 16.115956461004384 | 77682.13333333333 | 4820.2 |
| BASE/twisty-passages/DiZmmg | 16.144453236271563 | 102016.8 | 6319.0 |
| BASE/pegEuro/5awwhg | 16.155072295453227 | 18547.1 | 1148.0666666666666 |
| DRESDEN/peg_bugfixed/u_B7MA | 16.24724166567802 | 22824.666666666668 | 1404.8333333333333 |
| BASE/nim3/1OwUqw | 16.284145785344293 | 185689.2 | 11403.066666666668 |
| DRESDEN/chomp/-LcqYQ | 16.347232389211104 | 77416.13333333333 | 4735.733333333334 |
| DRESDEN/peg/Vo31eg | 16.425363945824582 | 22678.5 | 1380.7 |
| DRESDEN/knightstour/cGISAA | 16.443797049176204 | 348919.8333333333 | 21218.933333333334 |
| BASE/wargame03/klXI8w | 16.623090178058586 | 43411.2 | 2611.5 |
| BASE/tpeg/QNs7Lw | 16.623577826192204 | 25179.733333333334 | 1514.7 |
| DRESDEN/sheep_and_wolf/enAIzQ | 16.631515433797688 | 26185.766666666666 | 1574.4666666666667 |
| BASE/knightsTourLarge/M8jgLA | 16.69187849788525 | 325589.0 | 19505.833333333332 |
| BASE/pentagoSuicide/SBgNhw | 16.711160896130345 | 13675.3 | 818.3333333333334 |
| DRESDEN/tpeg/h-Scbg | 16.738609858497902 | 25117.4 | 1500.5666666666666 |
| BASE/wargame01/_GZFZg | 16.750501024567093 | 49591.53333333333 | 2960.6 |
| DRESDEN/nim2/z5_exA | 16.82626618604084 | 243818.76666666666 | 14490.366666666667 |
| BASE/troublemaker01/s3tlEQ | 16.91039068647632 | 540830.9333333333 | 31982.166666666668 |
| BASE/queens08lg/Ru7eqQ | 17.091998525073745 | 12360.933333333332 | 723.2 |
| BASE/nim2/eF2Qqw | 17.09907926670253 | 242601.16666666666 | 14187.966666666667 |
| DRESDEN/troublemaker01/C-lPWw | 17.31054524528845 | 561519.4666666667 | 32438.0 |
| BASE/pentago/86NgKw | 17.384925176989274 | 13669.766666666666 | 786.3 |
| DRESDEN/nim1/M9BALA | 17.42511663476656 | 271906.1666666667 | 15604.266666666666 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 17.46731178777101 | 377018.5333333333 | 21584.233333333334 |
| DRESDEN/smallest_4player/ADDROA | 17.483730016470016 | 112170.36666666667 | 6415.7 |
| BASE/troublemaker02/DI83KA | 17.499398615067424 | 517468.3 | 29570.633333333335 |
| BASE/sheepAndWolf/g4THrg | 17.549231632564965 | 27103.033333333333 | 1544.4 |
| STANFORD/dualrainbow/G3OnRQ | 17.599933800901738 | 131159.4 | 7452.266666666666 |
| DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | 17.632108420013665 | 15482.166666666666 | 878.0666666666667 |
| BASE/wargame02/BkVqqQ | 17.644361229643824 | 33768.36666666667 | 1913.8333333333333 |
| BASE/reversiSuicide/9OxJlg | 17.64803482688391 | 2310.1 | 130.89842708611036 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 17.707478966316994 | 60824.6 | 3434.9666666666667 |
| BASE/colonelBlotto/jip21A | 17.74825463830792 | 80164.13333333333 | 4516.733333333334 |
| BASE/quad_7x7/q-JOXg | 17.786584414847866 | 626.3457884737176 | 35.214506274226395 |
| BASE/nim1/hin2Qw | 17.884059075957914 | 273667.8333333333 | 15302.333333333334 |
| DRESDEN/quad_7x7/q-JOXg | 18.07610608000084 | 629.1589033803567 | 34.80610816266727 |
| BASE/duplicateStateLarge/dcjyuw | 18.110785991088758 | 99856.23333333334 | 5513.633333333333 |
| DRESDEN/troublemaker02/iZLVuA | 18.117061878173757 | 525648.4333333333 | 29014.0 |
| BASE/smallest_4player/ADDROA | 18.134677621441785 | 113377.4 | 6251.966666666666 |
| STANFORD/tictictoe/rpt_Dw | 18.22798726974636 | 81902.6 | 4493.233333333334 |
| DRESDEN/chinesecheckers1/Y-ftaA | 18.26700049091802 | 62016.46666666667 | 3395.0 |
| BASE/ticTicToe/c1OobQ | 18.274190408708314 | 78231.2 | 4280.966666666666 |
| BASE/gt_tinfoil/Q8DyKg | 18.41783873256089 | 324537.6666666667 | 17620.833333333332 |
| BASE/tictactoe_orthogonal/WRzlVw | 18.45086915879836 | 143433.36666666667 | 7773.8 |
| BASE/futoshiki6/JmvXNA | 18.490810386552422 | 9423.533333333333 | 509.6333333333333 |
| BASE/reversi/d8UMeA | 18.513572103896106 | 2375.4333333333334 | 128.30767179897353 |
| BASE/eotcitcit/V_9_bg | 18.62011931608203 | 82294.1 | 4419.633333333333 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 18.705501973300084 | 142031.5 | 7593.033333333334 |
| BASE/knightmove/jBaJEw | 18.70988448213934 | 53826.46666666667 | 2876.9 |
| DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | 18.815688553166762 | 16190.9 | 860.5 |
| DRESDEN/point_grab/r5DPmQ | 18.91411055401965 | 403646.0333333333 | 21341.0 |
| BASE/chineseCheckers1/gqtwHw | 19.02241237194332 | 145390.2 | 7643.1 |
| DRESDEN/chinesecheckers2/06E6-Q | 19.066301261308855 | 48120.166666666664 | 2523.8333333333335 |
| STANFORD/bestbuttonsandlights/nm0wEA | 19.21575919028275 | 318824.0333333333 | 16591.8 |
| BASE/chineseCheckers2/eCMR3Q | 19.243266345475632 | 107309.43333333333 | 5576.466666666666 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 19.265456354682666 | 353657.26666666666 | 18357.066666666666 |
| BASE/stateSpaceLarge/0Ge_CQ | 19.26572216204444 | 224102.73333333334 | 11632.2 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 19.343078518753156 | 350058.5333333333 | 18097.353686175178 |
| DRESDEN/tictictoe/LAUtwg | 19.371455896860482 | 85745.16666666667 | 4426.366666666667 |
| DRESDEN/fizzbuzz/t1xHzQ | 19.523570407376727 | 610422.0 | 31265.9 |
| BASE/racer/QQYQNw | 19.583946900368638 | 65698.26666666666 | 3354.7 |
| BASE/ticTacToe/JRFsaQ | 19.622798598667696 | 138349.23333333334 | 7050.433333333333 |
| DRESDEN/knightmove/97Ipcw | 19.723623567882658 | 55491.1 | 2813.4333333333334 |
| BASE/gt_attrition/kD_SCA | 19.75130289186552 | 118750.1 | 6012.266666666666 |
| BASE/chineseCheckers3/-1rZdQ | 19.76509929078014 | 92895.96666666666 | 4700.0 |
| DRESDEN/smallest/9kaGFw | 19.937744208003487 | 91507.6 | 4589.666666666667 |
| STANFORD/tictactoe/ss1kyQ | 20.152375420508726 | 138779.33333333334 | 6886.5 |
| BASE/shmup/ssTNlg | 20.214830042423927 | 102923.13333333333 | 5091.466666666666 |
| DRESDEN/racer/vk_ZBA | 20.235335138239396 | 65772.93333333333 | 3250.4 |
| BASE/point_grab/V_osUg | 20.242688302300817 | 403040.695930407 | 19910.433333333334 |
| BASE/tictactoex9/BI26ow | 20.31425761300423 | 20327.8 | 1000.6666444451852 |
| STANFORD/threepuzzle/41ibjA | 20.392559338087246 | 336593.4666666667 | 16505.7 |
| BASE/lightsOnSimultaneous/_VN6lw | 20.432154330349135 | 41765.36666666667 | 2044.1 |
| BASE/chickentictactoe/DSlZCA | 20.44392316493322 | 118527.73333333334 | 5797.7 |
| STANFORD/3puzzle/41ibjA | 20.489967619121185 | 336006.1 | 16398.566666666666 |
| BASE/gt_dollar/TGjqRw | 20.51629828025233 | 248697.2 | 12121.933333333332 |
| STANFORD/pentago/ZxzLmg | 20.5429125662377 | 28946.333333333332 | 1409.0666666666666 |
| DRESDEN/statespacelarge/8-y5HQ | 20.636969471332836 | 221723.6 | 10744.0 |
| DRESDEN/tictactoex9/rFkD4w | 20.656595902163307 | 20465.866666666665 | 990.7666666666667 |
| DRESDEN/crisscross/GsY16g | 20.6745725930975 | 49541.1 | 2396.233333333333 |
| BASE/futoshiki5/TJ4BZg | 20.70136862438864 | 16789.5 | 811.0333333333333 |
| BASE/eotcatcit/AfZSzA | 20.754648818478604 | 135199.93333333332 | 6514.2 |
| BASE/cittaceot/fDxhXg | 20.801658872319777 | 39290.86666666667 | 1888.8333333333333 |
| DRESDEN/statespacesmall/h-NqjA | 20.828045259078323 | 480628.6666666667 | 23076.033333333333 |
| BASE/knightfight/SJRkAg | 20.838097043214557 | 109941.8 | 5276.0 |
| DRESDEN/tictactoe-init1/3ltIBQ | 20.850816630086676 | 143451.53333333333 | 6879.9 |
| STANFORD/trifecta/ss1kyQ | 20.851563809129534 | 141027.46666666667 | 6763.4 |
| DRESDEN/chickentictactoe/Ipbo-g | 20.890807999180506 | 122363.03333333334 | 5857.266666666666 |
| DRESDEN/stratego/Z2wovg | 20.903369883204178 | 31201.066666666666 | 1492.6333333333334 |
| DRESDEN/eotcatcit/mQUxzA | 20.913285653244348 | 137043.36666666667 | 6552.933333333333 |
| DRESDEN/cube_2x2x2/fp-34Q | 20.954812844531823 | 90598.13333333333 | 4323.5 |
| BASE/slidingpieces/uFJWEw | 20.97348175527571 | 16266.333333333334 | 775.5666666666667 |
| BASE/stateSpaceSmall/Q7osKA | 20.99016311474919 | 467378.1666666667 | 22266.533333333333 |
| DRESDEN/four_way_battle/xSOQXA | 21.00771355109037 | 7353.4 | 350.03333333333336 |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | 21.031098930379507 | 18416.933333333334 | 875.7 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 21.064505154288437 | 123829.8 | 5878.6 |
| DRESDEN/knightfight/4_Ly4w | 21.139486928336222 | 109349.63333333333 | 5172.766666666666 |
| DRESDEN/tictactoe/BTTzPw | 21.143575740155217 | 147117.0 | 6958.0 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 21.200269772135215 | 274526.5333333333 | 12949.2 |
| DRESDEN/slidingpieces/s9_44g | 21.215118696916313 | 16457.433333333334 | 775.740808639712 |
| BASE/ticTacToeParallel/ymRGPw | 21.24682329280556 | 61978.4 | 2917.0666666666666 |
| BASE/untwistycomplex2/EDPPAQ | 21.40919249018459 | 606732.2333333333 | 28339.8 |
| BASE/sum15/QZ07Kg | 21.468426448409673 | 168922.16666666666 | 7868.4 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 21.48596740225254 | 31286.433333333334 | 1456.1333333333334 |
| DRESDEN/tictactoeparallel/yk_DSg | 21.501351145841863 | 61266.666666666664 | 2849.4333333333334 |
| BASE/colonelBlottoVariant2/jruwGw | 21.60521865037841 | 236752.86666666667 | 10958.133333333333 |
| DRESDEN/chinesecheckers4/-oVNYg | 21.666563907991463 | 30455.966666666667 | 1405.6666666666667 |
| DRESDEN/sum15/CsgWKg | 21.80679626629638 | 169608.9 | 7777.8 |
| BASE/colonelBlottoVariant/X-n-KQ | 21.829811752435106 | 259525.9 | 11888.6 |
| DRESDEN/blocks/vg0DRw | 21.8539030135289 | 326892.86666666664 | 14958.1 |
| STANFORD/tictactoe7/-bE9-A | 21.869484200154144 | 149442.93333333332 | 6833.4 |
| BASE/blocksWorld/SEdXLQ | 21.92522906560831 | 328146.13333333336 | 14966.6 |
| BASE/tictactoe-init1/7M19vA | 21.937456140781343 | 149011.63333333333 | 6792.566666666667 |
| BASE/blobwars/0XT15Q | 22.066204508550697 | 12773.7 | 578.8807039765342 |
| BASE/blocks/xIV5hQ | 22.118337527038364 | 334031.13333333336 | 15102.0 |
| DRESDEN/farmers/S_ASnw | 22.146523259995423 | 45162.666666666664 | 2039.2666666666667 |
| DRESDEN/blocker/S815zQ | 22.207925674097527 | 142623.0 | 6422.166666666667 |
| DRESDEN/quartosuicide/WIU1oQ | 22.24653231802682 | 57845.433333333334 | 2600.2 |
| BASE/four_way_battle/xSOQXA | 22.338801979813667 | 7671.866666666667 | 343.4323234343232 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 22.348228942992154 | 209195.06666666668 | 9360.7 |
| BASE/blocker/dIWtxg | 22.3663130673422 | 141265.63333333333 | 6316.0 |
| BASE/gt_centipede/9fRMpw | 22.40104463344207 | 378842.73333333334 | 16911.833333333332 |
| DRESDEN/latenttictactoe/kITHKg | 22.431222182942193 | 82486.33333333333 | 3677.3 |
| DRESDEN/chinesecheckers3/QsCb2A | 22.433164473581026 | 47678.7 | 2125.366666666667 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 22.447799625468168 | 242939.06666666668 | 10822.4 |
| DRESDEN/blobwars/ZaMluQ | 22.518854098039217 | 12759.833333333334 | 566.6288914072395 |
| BASE/doubletoetictac/fu35bg | 22.536480644815036 | 76983.86666666667 | 3415.9666666666667 |
| BASE/snakeParallel/RCVNtw | 22.550296692607006 | 154544.7 | 6853.333333333333 |
| BASE/simultaneousWin2/PfjRjw | 22.563044786550446 | 38741.5 | 1717.0333333333333 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 22.57287266642806 | 21020.766666666666 | 931.240209312402 |
| DRESDEN/doubletoetictac/V89gKQ | 22.583871705448516 | 79002.9 | 3498.2 |
| DRESDEN/bunk_t/7-tPfA | 22.59605540793998 | 77103.76666666666 | 3412.266666666667 |
| STANFORD/untwistycorridor/EDPPAQ | 22.64513655393033 | 619164.8333333334 | 27342.066666666666 |
| DRESDEN/connect5/1kYzSg | 22.686071331548103 | 19485.066666666666 | 858.9 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 22.7991267266532 | 37246.933333333334 | 1633.7 |
| BASE/wallmaze/uxNQ9g | 22.84162370403943 | 26878.5 | 1176.7333333333333 |
| BASE/quarto/EwBMVQ | 22.873152661337492 | 58658.2 | 2564.5 |
| BASE/crisscross/ICagEg | 22.899507059661776 | 52494.066666666666 | 2292.366666666667 |
| BASE/hodgepodge/9yjRkw | 22.905518182209068 | 195328.33333333334 | 8527.566666666668 |
| BASE/chineseCheckers6/rREH3A | 22.97288037385532 | 60793.13333333333 | 2646.3 |
| BASE/pearls/6k_mEQ | 23.01829460075251 | 719649.3333333334 | 31264.233333333334 |
| BASE/hidato37/pBrqxw | 23.135465474904585 | 7139.366666666667 | 308.5897136762108 |
| DRESDEN/pawntoqueen/f_x6Aw | 23.147683727844484 | 2249.0333333333333 | 97.16018932071195 |
| DRESDEN/circlesolitaire/ruUilQ | 23.18331896267735 | 269769.6 | 11636.366666666667 |
| STANFORD/ttcc4/Cx9SGw | 23.201141834604403 | 36303.6 | 1564.7333333333333 |
| BASE/ttcc4_2player/_aH_Mw | 23.252753688478432 | 34410.2 | 1479.8333333333333 |
| STANFORD/untwistycomplex/HTWEwg | 23.26225575469214 | 659705.1666666666 | 28359.466666666667 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 23.32844107484317 | 185439.33333333334 | 7949.066666666667 |
| DRESDEN/logistics/fPru1Q | 23.334877128540917 | 77927.6 | 3339.5333333333333 |
| BASE/god/qF06gw | 23.356280469680172 | 6320.566666666667 | 270.61529231384577 |
| STANFORD/dualhunter/1rPZjQ | 23.384184567394847 | 76964.36666666667 | 3291.3 |
| STANFORD/tictactoe5/WFRReg | 23.418554814841023 | 154450.83333333334 | 6595.233333333334 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 23.434127633563705 | 79231.56666666667 | 3381.0333333333333 |
| BASE/ticblock/T21C1g | 23.458770171754352 | 97930.2 | 4174.566666666667 |
| DRESDEN/ticblock/Z2yNWQ | 23.484777668023867 | 97478.26666666666 | 4150.7 |
| DRESDEN/god/2EDD5w | 23.494978479196554 | 6550.4 | 278.8 |
| BASE/tictactoe_3d_small_2player/oOryKA | 23.514971053887493 | 37775.23333333333 | 1606.4333333333334 |
| BASE/doubletictactoe/HH1htg | 23.553532003509346 | 81434.76666666666 | 3457.4333333333334 |
| BASE/futoshiki4/BaCwSw | 23.55358166189112 | 36990.9 | 1570.5 |
| BASE/circlesolitaire/azuQFQ | 23.565026269394544 | 268218.7 | 11382.066666666668 |
| BASE/quartoSuicide/-23jUg | 23.589202568905538 | 58768.566666666666 | 2491.3333333333335 |
| BASE/bunk_t/xbpfIA | 23.617879491171887 | 80392.9 | 3403.9 |
| BASE/kalaha5x2x3/WviNsw | 23.653506513177824 | 104106.96666666666 | 4401.333333333333 |
| BASE/double_tictactoe_dengji/zgaSbA | 23.736762032341403 | 82690.96666666666 | 3483.6666666666665 |
| DRESDEN/quarto/OQzRYQ | 23.79040326968245 | 59760.7 | 2511.9666666666667 |
| DRESDEN/minichess/c7GMFw | 23.808554564463623 | 59967.4 | 2518.733333333333 |
| BASE/pancakes/yUgbXw | 23.81652887579576 | 684756.1666666666 | 28751.3 |
| DRESDEN/pancakes/hl9aiQ | 23.822461666557523 | 679041.8 | 28504.266666666666 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 23.840711189562548 | 20704.8 | 868.4640250608192 |
| DRESDEN/pancakes6/SZXMyQ | 23.85193964258014 | 693985.7 | 29095.566666666666 |
| DRESDEN/doubletictactoe/lJzgmQ | 23.873119038516208 | 81175.76666666666 | 3400.3 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 24.169696533809425 | 190432.23333333334 | 7878.966666666666 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 24.175792219749866 | 105027.7 | 4344.333333333333 |
| BASE/pawnToQueen/-O1_JA | 24.192789397590357 | 2342.2 | 96.8139705392255 |
| BASE/lightsOnSimul4/9FeASw | 24.27983808963864 | 35790.1 | 1474.0666666666666 |
| BASE/connect5/d-BVQg | 24.377886744701048 | 20548.933333333334 | 842.9333333333333 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 24.446786198631216 | 103351.23333333334 | 4227.6 |
| BASE/pancakes6/QZTdnw | 24.54069333690991 | 683100.8333333334 | 27835.433333333334 |
| BASE/tictactoe_3d_2player/IUC1rQ | 24.65796088529213 | 13406.533333333333 | 543.7 |
| STANFORD/hunter/14dD-g | 24.70616529453547 | 172754.56666666668 | 6992.366666666667 |
| DRESDEN/satlike_20v_91c/yeuENQ | 24.724939563286455 | 22257.8 | 900.2165583874729 |
| BASE/tron_10x10/7ZTgDg | 24.775261284545106 | 109281.2 | 4410.9 |
| BASE/kalaha6x2x4/XS81Mg | 24.799762942244886 | 96943.1 | 3909.0333333333333 |
| BASE/maze/cCX3qQ | 24.82267912898194 | 656680.6666666666 | 26454.866666666665 |
| STANFORD/tictactoe3/X7myng | 24.872213494004523 | 153563.53333333333 | 6174.1 |
| DRESDEN/buttons/ADUaHw | 24.8940500216183 | 612228.5 | 24593.366666666665 |
| BASE/buttons/hTcUjw | 24.89428984292474 | 627658.9 | 25212.966666666667 |
| BASE/rubiksCube/9tNO9Q | 24.917444963308874 | 39841.333333333336 | 1598.9333333333334 |
| BASE/knightwar/DVGY4Q | 25.074006628546456 | 68845.7 | 2745.7 |
| BASE/speedChess/bPnisA | 25.082429606574916 | 17192.333333333332 | 685.4333333333333 |
| BASE/hidato19/rRHSmA | 25.097356633302 | 30255.7 | 1205.5333333333333 |
| DRESDEN/amazons/dNB28A | 25.146278557847005 | 3819.6666666666665 | 151.8978904922185 |
| DRESDEN/kalaha_2009/gcC8uA | 25.166038762788403 | 98639.96666666666 | 3919.5666666666666 |
| BASE/snakeAssemblit/UO4sdg | 25.199986771174387 | 25399.066666666666 | 1007.9 |
| DRESDEN/connect4/T0-rHQ | 25.204275068636424 | 25705.0 | 1019.8666666666667 |
| STANFORD/freeforall/Lfp40Q | 25.22624673147051 | 71712.33333333333 | 2842.766666666667 |
| BASE/catcha_mouse/cHv4dw | 25.238472395184722 | 50666.23333333333 | 2007.5 |
| BASE/minichess-evilconjuncts/4OpQzw | 25.242440378512086 | 12018.366666666667 | 476.11746275124165 |
| BASE/gt_coordination/IVMOzA | 25.31411582832673 | 422468.9666666667 | 16689.066666666666 |
| BASE/amazons_8x8/7SOsIw | 25.346347031963468 | 33305.1 | 1314.0 |
| BASE/solitaireChineseCheckers/-ET6gw | 25.389572205152444 | 89519.4 | 3525.8333333333335 |
| DRESDEN/chinesecheckers6/yTbPDA | 25.452329514457176 | 38878.433333333334 | 1527.5 |
| DRESDEN/small_dominion/yB5GJA | 25.504805864661652 | 2826.5 | 110.82225110822252 |
| DRESDEN/battle/8oAvhQ | 25.565809445324877 | 2688.133333333333 | 105.14563753915884 |
| BASE/battle/8oAvhQ | 25.57222666453265 | 2662.3 | 104.10904122371447 |
| BASE/2pffa/6oHijA | 25.57280425037357 | 71878.33333333333 | 2810.733333333333 |
| STANFORD/pilgrimage/ObRZnQ | 25.61137005333214 | 38097.76666666667 | 1487.5333333333333 |
| DRESDEN/lightson2x2/gBHuig | 25.61883166280732 | 204306.76666666666 | 7974.866666666667 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 25.623258890358727 | 21952.3 | 856.7333333333333 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 25.6869331966619 | 13781.833333333334 | 536.5308979401374 |
| DRESDEN/knightwar/7hhAqg | 25.70444689452407 | 69941.8 | 2721.0 |
| BASE/coloredtrails/EZvr7g | 25.705965214164006 | 101584.83333333333 | 3951.8 |
| BASE/queens08ug/kJ_ZFQ | 25.81085926877736 | 57583.166666666664 | 2230.9666666666667 |
| BASE/kalaha_2009/dRiN3g | 25.864825813388887 | 102630.76666666666 | 3967.9666666666667 |
| DRESDEN/capture_the_king/EQ229Q | 25.908003646723646 | 7577.333333333333 | 292.47075292470754 |
| BASE/skirmishNew/sibw2g | 25.909591458544117 | 16218.0 | 625.9458018066065 |
| DRESDEN/3pffa/0YrmQw | 25.917175229975317 | 77008.56666666667 | 2971.3333333333335 |
| BASE/endgame/jYjfOA | 25.92126355492692 | 27489.5 | 1060.5 |
| BASE/duplicateStateSmall/bCPAXw | 25.925327164573694 | 457625.23333333334 | 17651.666666666668 |
| BASE/ttcc4_2player_alt/ZEJvYA | 25.9499017108157 | 44442.666666666664 | 1712.6333333333334 |
| DRESDEN/tictactoe_3player/ESLQQQ | 25.95395702655812 | 51859.46666666667 | 1998.1333333333334 |
| DRESDEN/endgame/IJhh3Q | 25.987427389235684 | 21786.266666666666 | 838.3387220425985 |
| BASE/factoringGeorgeForman/HGRorQ | 26.001885832681975 | 349296.3333333333 | 13433.5 |
| BASE/chess_200/XsTpYA | 26.017442449710128 | 7429.466666666666 | 285.5571480950635 |
| BASE/tictactoe_3d_small_6player/g_9lww | 26.02473457343709 | 29986.566666666666 | 1152.2333333333333 |
| BASE/minichess/8NQEiA | 26.03341633781417 | 82243.03333333334 | 3159.133333333333 |
| DRESDEN/statespacemedium/dVJZ_w | 26.043314776238798 | 427573.93333333335 | 16417.8 |
| BASE/tictactoe_3player/GtM71g | 26.06313300690858 | 51810.03333333333 | 1987.8666666666666 |
| BASE/queens16ug/gT-ylw | 26.192013544908846 | 15707.7 | 599.7133428885704 |
| BASE/connect4/50bOyw | 26.202023805662762 | 26929.566666666666 | 1027.7666666666667 |
| DRESDEN/racetrackcorridor/O0DoTA | 26.206825024128147 | 60643.46666666667 | 2314.0333333333333 |
| BASE/gt_staghunt/xPjLRA | 26.247699265862614 | 400434.9 | 15256.0 |
| BASE/knightThrough/gcwFjA | 26.25316906023555 | 46736.76666666667 | 1780.2333333333333 |
| BASE/blocks2player/wnTLOQ | 26.28641917370886 | 265125.7 | 10086.033333333333 |
| DRESDEN/gt_ultimatum/pAiiQw | 26.321398178207836 | 334039.6 | 12690.8 |
| DRESDEN/bidding-tictactoe/yW5vTA | 26.37290049400141 | 130796.4 | 4959.5 |
| DRESDEN/toetictac/mJtxCA | 26.46734230211407 | 246970.3 | 9331.133333333333 |
| BASE/englishDraughts/jFkQxg | 26.487448566785382 | 51069.566666666666 | 1928.0666666666666 |
| BASE/2pffa_zerosum/o0_uZA | 26.499298432359204 | 73025.0 | 2755.733333333333 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 26.515875757788542 | 12586.666666666666 | 474.68417719409354 |
| BASE/2pttc/unkkYA | 26.595244851150362 | 74982.63333333333 | 2819.4 |
| BASE/skirmishZeroSum/zh4hcw | 26.633788625167934 | 15859.533333333333 | 595.4666666666667 |
| BASE/amazonsSuicide_10x10/XIbQkg | 26.68652047831612 | 27301.2 | 1023.0333333333333 |
| BASE/amazons_10x10/Bun8dA | 26.70544175595141 | 27334.8 | 1023.5666666666667 |
| DRESDEN/gt_prisoner/huCp4w | 26.87767456701418 | 401254.115843498 | 14928.9 |
| BASE/queens12ug/u6Bkmg | 26.944490779353167 | 29075.8 | 1079.1 |
| DRESDEN/hanoi_6_disks/MeubgQ | 26.9616026829053 | 254584.93333333332 | 9442.5 |
| DRESDEN/CephalopodMicro/H3XQfg | 26.989236259977197 | 3155.1 | 116.90215942415355 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 27.021109779954806 | 178179.9 | 6594.1 |
| DRESDEN/battlesnakes1509/-qZrLw | 27.02324888226528 | 60442.0 | 2236.6666666666665 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 27.056540109148525 | 30738.033333333333 | 1136.0666666666666 |
| BASE/amazonsTorus_10x10/Uxc08g | 27.059089710921715 | 20530.633333333335 | 758.7333333333333 |
| DRESDEN/grid_game2/kypTYQ | 27.1048821109275 | 14215.133333333333 | 524.4491850271658 |
| BASE/3pffa/pR0dzA | 27.145396667365333 | 69072.36666666667 | 2544.5333333333333 |
| BASE/blokbox_simple/JBx4bg | 27.251222517818093 | 129.16555585177287 | 4.739807756049055 |
| BASE/queens06ug/7Lq3tw | 27.29287786668638 | 98459.96666666666 | 3607.5333333333333 |
| BASE/tictactoe2/bhrDoQ | 27.29421751968504 | 184872.83333333334 | 6773.333333333333 |
| DRESDEN/blocks2player/3ev8nQ | 27.348059793014144 | 279488.9666666667 | 10219.7 |
| BASE/gt_prisoner/klthDw | 27.350469636299326 | 417563.26666666666 | 15267.133333333333 |
| DRESDEN/firefighter/WJmoPw | 27.358088029156153 | 227701.36666666667 | 8323.0 |
| DRESDEN/hanoi/RQ0jiA | 27.37930443216191 | 340643.26666666666 | 12441.633333333333 |
| BASE/stateSpaceMedium/3bUoIw | 27.38570435573999 | 437321.4 | 15968.966666666667 |
| BASE/racetrackcorridor/_RkdUg | 27.415078545718348 | 65501.933333333334 | 2389.266666666667 |
| BASE/chineseCheckers4/avfBcQ | 27.4373852368711 | 67240.8 | 2450.7 |
| BASE/3pttc/0sol9g | 27.450359593287587 | 66413.4 | 2419.4 |
| BASE/cephalopodMicro/9l2D3g | 27.465046845289542 | 3177.6 | 115.6961434618846 |
| BASE/ticTacToeNoVars/XT03NA | 27.476230230203907 | 139328.3 | 5070.866666666667 |
| BASE/incredible/8Qh-6Q | 27.47816856798818 | 160499.06666666668 | 5840.966666666666 |
| BASE/ttcc4/Le0qjQ | 27.51705461810654 | 38104.7 | 1384.7666666666667 |
| BASE/gt_chicken/gmepTQ | 27.586216996904163 | 408112.3333333333 | 14794.066666666668 |
| DRESDEN/catcha_mouse/cHv4dw | 27.612258270468256 | 54781.8 | 1983.9666666666667 |
| DRESDEN/knightthrough/J7Fc_Q | 27.622094204102734 | 49866.166666666664 | 1805.3 |
| DRESDEN/3pttc/uwYBZw | 27.662423655682648 | 77147.73333333334 | 2788.9 |
| BASE/firefighter/WJmoPw | 27.666973507597355 | 227421.6 | 8219.966666666667 |
| BASE/golden_rectangle/_nYzfw | 27.70264024495927 | 15983.5 | 576.9666666666667 |
| DRESDEN/battlesnakes2011/93VtTw | 27.722309990233814 | 64341.63333333333 | 2320.9333333333334 |
| BASE/lightsOn/MsXu3A | 27.754357146014115 | 376776.5 | 13575.4 |
| BASE/hanoi/iGLsJg | 27.75708958898349 | 347636.26666666666 | 12524.233333333334 |
| BASE/biddingTicTacToe/8mESVw | 27.799693583946784 | 123991.26666666666 | 4460.166666666667 |
| BASE/ttcc4_2player_small/Cv72TA | 27.806335450130742 | 62031.3 | 2230.8333333333335 |
| BASE/hanoi_6_disks/MeubgQ | 27.82497683817361 | 254281.33333333334 | 9138.6 |
| DRESDEN/hanoi7/51zz5Q | 27.883654653609035 | 317657.1 | 11392.233333333334 |
| DRESDEN/tttcc4/sAvtFg | 28.06247620981044 | 36861.933333333334 | 1313.5666666666666 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 28.16578280748002 | 182349.03333333333 | 6474.133333333333 |
| BASE/tttcc4/8Bs2lg | 28.191736972704717 | 37870.9 | 1343.3333333333333 |
| DRESDEN/oisters_farm/pTQMLg | 28.197580972687586 | 370290.63333333336 | 13132.0 |
| DRESDEN/gt_chicken/CeuKtw | 28.207782910679786 | 405851.7 | 14387.933333333332 |
| DRESDEN/4pttc/9pB9AQ | 28.23183987274656 | 63894.3 | 2263.2 |
| BASE/4pttc/AL1k2Q | 28.40856576029875 | 56801.03333333333 | 1999.4333333333334 |
| STANFORD/multipletictactoe/_bkafQ | 28.55361297613508 | 28635.466666666667 | 1002.8666666666667 |
| BASE/gt_ultimatum/GE-uOA | 28.623189843558393 | 346228.9666666667 | 12096.1 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 28.624126752890252 | 316999.8 | 11074.566666666668 |
| BASE/choicethroughalt/tt71Lg | 28.65829063198003 | 29082.433333333334 | 1014.8 |
| BASE/toetictac/mTThmg | 28.6649110304434 | 257428.1 | 8980.6 |
| DRESDEN/golden_rectangle/1uloXw | 28.728268102353155 | 15830.233333333334 | 551.0333333333333 |
| DRESDEN/pancakes88/aD3E7g | 28.734596326816394 | 640218.3 | 22280.4 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 28.8532711642139 | 13201.333333333334 | 457.53333333333336 |
| DRESDEN/pawn_whopping/4ogBkg | 28.86411583042554 | 47977.933333333334 | 1662.2 |
| STANFORD/sukoshi/4LYZZQ | 29.009073145500782 | 134604.03333333333 | 4640.066666666667 |
| BASE/chickentoetictac/l57rfQ | 29.011296964396344 | 238829.7 | 8232.3 |
| BASE/blockerSerial/3eqDuw | 29.104188820564982 | 83932.6 | 2883.866666666667 |
| STANFORD/breakthrough/d5j0cQ | 29.19869956786883 | 48199.26666666667 | 1650.7333333333333 |
| BASE/pancakes88/l2Xaig | 29.20278804392825 | 646613.0 | 22142.166666666668 |
| DRESDEN/blocksworldparallel/2JfVaw | 29.429267696070937 | 160414.03333333333 | 5450.833333333333 |
| DRESDEN/crissrace/KWb9bw | 29.54840449632139 | 45651.3 | 1544.9666666666667 |
| BASE/hanoi7_bugfix/3gdnFw | 29.570283485737075 | 333616.86666666664 | 11282.166666666666 |
| BASE/4pffa/Q3ADlg | 29.64319109808933 | 63402.833333333336 | 2138.866666666667 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 29.66938647418798 | 44119.36666666667 | 1487.0333333333333 |
| DRESDEN/chickentoetictac/cxYaRQ | 29.968870169544562 | 242633.96666666667 | 8096.2 |
| BASE/checkersBarrelNoKings/rnKNeg | 29.984886136798796 | 49069.26666666667 | 1636.4666666666667 |
| BASE/tictactoe_3d_6player/d7KSwg | 29.99323465299958 | 13459.066666666668 | 448.73675088327445 |
| DRESDEN/brain_teaser_extended/ZDp94A | 30.080179976371817 | 199446.63333333333 | 6630.5 |
| BASE/withConviction/3Xm54A | 30.22261176587598 | 40516.433333333334 | 1340.6 |
| BASE/crissrace/ERWGDA | 30.276455861543486 | 46358.3 | 1531.1666666666667 |
| BASE/hitori/S8Gsyg | 30.321580532598716 | 9171.666666666666 | 302.47983467768813 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 30.32898843010296 | 47621.566666666666 | 1570.1666666666667 |
| BASE/escortLatch/mX9BjQ | 30.35581032631813 | 49954.53333333333 | 1645.6333333333334 |
| BASE/ticTacToeSerial/Amrwqw | 30.581835135361665 | 97299.16666666667 | 3181.6 |
| DRESDEN/hitori/S8Gsyg | 30.65147947680985 | 9346.433333333332 | 304.92600986535126 |
| BASE/brain_teaser_extended/ZDp94A | 30.659684960151502 | 207226.76666666666 | 6758.933333333333 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 30.676706965242477 | 59545.53333333333 | 1941.0666666666666 |
| DRESDEN/cubicup/SBn_lw | 30.754242643076367 | 22713.033333333333 | 738.5333333333333 |
| BASE/cubicup/4wNWJA | 30.79410434939868 | 22703.466666666667 | 737.2666666666667 |
| DRESDEN/checkers-mustjump/HUr33w | 30.823937611526006 | 15546.566666666668 | 504.3666666666667 |
| BASE/coins/QnGtnQ | 30.941772513201084 | 43361.8 | 1401.4 |
| BASE/pawnWhopping/Ypc_6Q | 31.054881559028594 | 48550.166666666664 | 1563.3666666666666 |
| STANFORD/connectfour/VMpZkQ | 31.18206513350826 | 67342.86666666667 | 2159.6666666666665 |
| BASE/breakthroughSmallHoles/bxclRw | 31.210473233531754 | 52607.333333333336 | 1685.5666666666666 |
| DRESDEN/merrills/aYEzwA | 31.36968141018274 | 18195.9 | 580.0473317556082 |
| BASE/connectFour/WAIKTw | 32.188787463867335 | 70525.63333333333 | 2191.0 |
| BASE/slaughter/cOch8A | 32.212416648749375 | 4992.833333333333 | 154.99716732762354 |
| BASE/blocksWorldSerial/Wyg96Q | 32.24144324264633 | 184912.2 | 5735.233333333334 |
| BASE/merrills/pku8Tg | 32.29922066400111 | 18040.666666666668 | 558.5480483983868 |
| DRESDEN/connectfour/5tc-Mg | 32.361043960274074 | 70056.26666666666 | 2164.8333333333335 |
| STANFORD/alquerquezero/uVgA_A | 32.37638913132019 | 55645.3 | 1718.7 |
| BASE/beatMania/qUHwvQ | 32.39483512965532 | 273214.8 | 8433.9 |
| BASE/cubicup_3player/e2yA_g | 32.3983077345966 | 12309.866666666667 | 379.9540015332822 |
| BASE/checkersTorusNoKings/pwb6oQ | 32.55853890352961 | 50242.166666666664 | 1543.1333333333334 |
| DRESDEN/backgammon/mqCW0Q | 32.5929353439372 | 26297.066666666666 | 806.8333333333334 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 32.61569776909298 | 13352.866666666667 | 409.4 |
| BASE/checkers-mustjump/T-8UuQ | 32.671257651641625 | 15656.066666666668 | 479.2 |
| BASE/aipsrovers01/4C4jsw | 32.88354130521821 | 197117.1 | 5994.4 |
| BASE/ad_game_2x2/D0aWqg | 33.027899452916266 | 60572.066666666666 | 1833.9666666666667 |
| DRESDEN/frogs_and_toads/GjchhQ | 33.03850583538084 | 57372.46666666667 | 1736.5333333333333 |
| BASE/queens/HyJJnQ | 33.050292764533665 | 31609.3 | 956.4 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 33.13764222946368 | 13558.366666666667 | 409.1530282323923 |
| BASE/connectFourSuicide/c8p9Kw | 33.19529631648626 | 71043.46666666666 | 2140.1666666666665 |
| STANFORD/triplesukoshi/Iu9mbA | 33.210460507690854 | 46924.166666666664 | 1412.9333333333334 |
| DRESDEN/connectfoursuicide/M9CNQg | 33.21288228259013 | 71278.16666666667 | 2146.1 |
| BASE/lightsOnParallel/SC6enA | 33.32339974225692 | 180142.96666666667 | 5405.9 |
| BASE/coins_atomic/AA3SSw | 33.49882014901351 | 47407.066666666666 | 1415.186160461318 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 33.50166340809286 | 109093.7 | 3256.366666666667 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 33.69984684385382 | 12848.2 | 381.2539582013933 |
| BASE/breakthroughHoles/nZk0Sg | 33.72617544568457 | 44520.8 | 1320.0666666666666 |
| STANFORD/duikoshi/tpw1sw | 33.731858781781156 | 55766.63333333333 | 1653.2333333333333 |
| BASE/checkersTorus/2vm1EQ | 33.83191952556115 | 45067.5 | 1332.1 |
| DRESDEN/coins/QwFP9w | 33.852527493274174 | 47815.566666666666 | 1412.4666666666667 |
| BASE/copolymer_4_pie/IN5_jA | 33.96347497903271 | 80991.56666666667 | 2384.6666666666665 |
| BASE/blocksWorldParallel/RseaAQ | 34.018445756770106 | 48196.2 | 1416.7666666666667 |
| DRESDEN/cubicup_3player/awDtsQ | 34.05511092750533 | 12776.2 | 375.16248375162485 |
| DRESDEN/grid_game/U7_Yeg | 34.161055750067334 | 80332.0 | 2351.5666666666666 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 34.174899193548384 | 13560.6 | 396.8 |
| BASE/hallway/ckCJOw | 34.37383733506381 | 21188.033333333333 | 616.4 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 34.538638584937516 | 13635.4 | 394.78684043865206 |
| DRESDEN/queens/mW2wHQ | 34.75481549424963 | 32838.666666666664 | 944.8666666666667 |
| BASE/connectFour_9x6/B9TtMw | 34.83256200308532 | 68491.26666666666 | 1966.3 |
| DRESDEN/hallway/0H4l-Q | 35.02994139584443 | 21917.066666666666 | 625.6666666666666 |
| DRESDEN/aipsrovers01/qS47Mw | 35.04974382218449 | 203630.83333333334 | 5809.766666666666 |
| BASE/crossers3/O0rORg | 35.12350377412122 | 74141.03333333334 | 2110.866666666667 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 35.12816224548395 | 116223.86666666667 | 3308.5666666666666 |
| BASE/ticTacToeLargeSuicide/727_8g | 35.1281859226432 | 112557.73333333334 | 3204.2 |
| BASE/checkers-mustjump-torus/uSApKQ | 35.14665585700413 | 12867.933333333332 | 366.12112929569014 |
| DRESDEN/tictactoelarge/IwXcbg | 35.211342406981224 | 112710.33333333333 | 3200.9666666666667 |
| BASE/dualConnect4/WbCQkg | 35.22193638914874 | 45182.7 | 1282.8 |
| DRESDEN/crossers3/xiPTxg | 35.73985130705891 | 74511.63333333333 | 2084.8333333333335 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 35.825668424567624 | 51855.26666666667 | 1447.4333333333334 |
| BASE/ticTacToeLarge/TZC0dg | 35.92244100723222 | 113413.13333333333 | 3157.1666666666665 |
| BASE/checkersTiny/Lr48cg | 36.07495243454726 | 44873.63333333333 | 1243.9 |
| DRESDEN/mimikry/GJEhwA | 36.448276644505455 | 53543.73333333333 | 1469.0333333333333 |
| BASE/copolymer_4/2LDVhQ | 36.77661943445754 | 98540.5 | 2679.4333333333334 |
| BASE/checkLines/Vop7oQ | 37.29352544007717 | 103104.16666666667 | 2764.6666666666665 |
| BASE/othello-comp2007/86ZoMw | 37.35660991501416 | 877.4 | 23.487141954156826 |
| DRESDEN/lightsout2/LFtfyQ | 37.37034639422794 | 105834.06666666667 | 2832.0333333333333 |
| BASE/duplicateStateMedium/U163eQ | 37.4774250573454 | 349098.4666666667 | 9314.9 |
| DRESDEN/skirmish3/3LU8Nw | 37.50203670264141 | 29767.866666666665 | 793.7666666666667 |
| BASE/connectFourLarge/aU644A | 37.53125271479455 | 57602.96666666667 | 1534.8 |
| BASE/battlebrushes/arCwyA | 37.583659218065385 | 11150.7 | 296.6901103296557 |
| BASE/3pConnectFour/PqXOFQ | 37.667258790607136 | 51597.86666666667 | 1369.8333333333333 |
| BASE/conn4/va9Y7A | 37.76401161712909 | 40742.333333333336 | 1078.8666666666666 |
| BASE/checkers/rOC3Xg | 38.43004403899472 | 23870.666666666668 | 621.1459618012733 |
| DRESDEN/battlebrushes/QHXV4A | 38.70903 | 10784.4 | 278.60165961275703 |
| STANFORD/platformjumpers/HEQskA | 38.86142952010598 | 30312.2 | 780.007333088897 |
| BASE/checkersSmall/SYmq8w | 38.87116914915323 | 31751.266666666666 | 816.8333333333334 |
| DRESDEN/skirmishfinal/hzq8ww | 39.033383318881874 | 10503.533333333333 | 269.09103029899 |
| BASE/skirmishHoles/AUCxCA | 39.171644399368944 | 7724.133333333333 | 197.18685420971934 |
| BASE/skirmishFinal3/-Olhfw | 39.22746904955007 | 11285.366666666667 | 287.690410319656 |
| BASE/othelloSuicide/B442jg | 39.49408491947291 | 898.4 | 22.747710241465445 |
| BASE/skirmishFinal2/gdB62Q | 39.52620561685055 | 10508.0 | 265.8489434037731 |
| DRESDEN/skirmish/RjGQYQ | 39.5440049958368 | 31661.566666666666 | 800.6666666666666 |
| DRESDEN/cylinder-checkers/clOO3Q | 39.60270449643272 | 15912.366666666667 | 401.8 |
| DRESDEN/checkers-newgoals/IJOqXQ | 39.64939797349029 | 18412.566666666666 | 464.3845205159828 |
| DRESDEN/checkers/jIDMIg | 39.665264684554025 | 18232.8 | 459.6666666666667 |
| BASE/skirmishFinal1/ecWTnQ | 39.71537872913301 | 10652.633333333333 | 268.22439252024935 |
| DRESDEN/Goldrush/VeWczQ | 39.78025120772947 | 68620.93333333333 | 1725.0 |
| BASE/checkers-newgoals/0XkFiA | 40.28712225523589 | 18530.733333333334 | 459.96666666666664 |
| BASE/skirmish/Y_psYQ | 40.69656426217502 | 7408.5 | 182.04239434742036 |
| BASE/strangeSkirmish/gc1zKA | 40.815958818498785 | 6892.666666666667 | 168.87185469088485 |
| BASE/qyshinsu/R08Lzw | 41.00515839300886 | 22522.766666666666 | 549.2666666666667 |
| BASE/othelloHoles/c0qAzw | 41.03515612903226 | 1059.3333333333333 | 25.815262649478697 |
| BASE/chinook/XQh0IQ | 41.07384414871725 | 39918.3 | 971.8666666666667 |
| BASE/cylinder-checkers/hlldmw | 41.26164337990686 | 16537.666666666668 | 400.8 |
| STANFORD/chinook/osFbPA | 41.52602293789607 | 36403.26666666667 | 876.6374454184861 |
| BASE/hex/T1MK8g | 41.807871018305995 | 24893.8 | 595.4333333333333 |
| BASE/asteroids/BKCmPQ | 41.887319830355594 | 540244.5 | 12897.566666666668 |
| STANFORD/hex/MTqWcw | 41.98521924782394 | 25564.8 | 608.9 |
| BASE/quad/tw-Ufg | 42.52519534557419 | 25.255824080121926 | 0.5939025999736043 |
| BASE/breakthroughSuicideSmall/XSbJog | 42.59701942542103 | 65931.66666666667 | 1547.8 |
| BASE/connectFourSimultaneous/7ITr3g | 42.85498112483204 | 44652.03333333333 | 1041.9333333333334 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 42.979986905281535 | 65644.76666666666 | 1527.3333333333333 |
| BASE/dotsAndBoxes/EHwA_w | 42.98819458133473 | 65423.73333333333 | 1521.9 |
| DRESDEN/skirmish2/iPpWhQ | 43.03931589537223 | 35650.9 | 828.3333333333334 |
| BASE/connectFourLarger/qKi60A | 43.69521775761503 | 42699.0 | 977.2007599746676 |
| STANFORD/nineboardtictactoe/y28P-A | 43.782360643471755 | 31208.066666666666 | 712.8 |
| BASE/breakthroughSmall/HJ0tIA | 44.772169529747295 | 67503.0 | 1507.7 |
| BASE/hexPie/48CH6Q | 45.07772776263234 | 23700.366666666665 | 525.7666666666667 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 45.48549624054914 | 608.5927604826345 | 13.379930104842735 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 45.94525136102194 | 30531.133333333335 | 664.511182960568 |
| STANFORD/skirmish/w4V6Vw | 46.66689187302865 | 7725.966666666666 | 165.55562962469168 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 46.81204800197978 | 19966.233333333334 | 426.5191160294657 |
| DRESDEN/brawl/2kXtfQ | 46.90078396057348 | 16282.866666666667 | 347.17685487634157 |
| BASE/brawl/6Ymo_Q | 47.18946661550269 | 16396.766666666666 | 347.46666666666664 |
| DRESDEN/lightsout/XgLpzQ | 47.556601377496904 | 106103.53333333334 | 2231.1 |
| BASE/sudoku/NTaNkw | 47.96001032006815 | 13134.933333333332 | 273.8726127387261 |
| BASE/lightsOut/5P1ZBw | 48.16758262786461 | 104881.7 | 2177.4333333333334 |
| BASE/nineBoardTicTacToe/wRmqqA | 48.90940519037696 | 34425.7 | 703.8666666666667 |
| BASE/amazonsSuicide/dE1QEQ | 49.086554943502826 | 768.7333333333333 | 15.660771757523474 |
| BASE/knightazons/apnJBQ | 49.601163384517335 | 27671.566666666666 | 557.8814039532016 |
| STANFORD/madness/UO_B3A | 50.15223933838182 | 8387.4 | 167.23879353441095 |
| DRESDEN/knightazons/02I8BQ | 50.81926200143301 | 28370.7 | 558.2666666666667 |
| BASE/breakthroughSuicide/wZDpIg | 51.02560011100319 | 49032.2 | 960.9333333333333 |
| STANFORD/selectivesukoshi/3xmXYg | 52.06042012521913 | 11547.966666666667 | 221.81854543030465 |
| BASE/amazons/RKKZjw | 52.90736888888889 | 766.0333333333333 | 14.478764478764479 |
| BASE/breakthrough/TGxk-g | 53.526690639946935 | 51105.5 | 954.7666666666667 |
| BASE/breakthroughWalls/vOZaYA | 53.602808672391944 | 50765.433333333334 | 947.0666666666667 |
| BASE/asteroidsSerial/id2QkA | 54.20134965160621 | 271478.3 | 5008.7 |
| BASE/mineClearingSmall/frsbvw | 54.39136958894143 | 39872.5 | 733.0666666666667 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 54.49410410270723 | 52067.3 | 955.4666666666667 |
| BASE/asteroidsParallel/WauZiA | 54.815417936788066 | 318886.86666666664 | 5817.466666666666 |
| DRESDEN/breakthrough/z4hK7Q | 54.93261144197798 | 50730.26666666667 | 923.5 |
| DRESDEN/snake_2009_big/DgC1NQ | 55.39044801577783 | 69276.83333333333 | 1250.7 |
| STANFORD/duidoku/3SoMaA | 55.40649315068494 | 4718.0 | 85.15247458756873 |
| BASE/majorities/ibJzSQ | 55.775572325448664 | 29317.5 | 525.6333333333333 |
| BASE/snake_2008/i6K26g | 55.9156953222385 | 85228.56666666667 | 1524.2333333333333 |
| BASE/snake_2009/7l-qAQ | 56.6261491317671 | 85003.4 | 1501.1333333333334 |
| DRESDEN/snake_2009/zIYLVw | 57.1046979262621 | 84722.43333333333 | 1483.6333333333334 |
| BASE/snake_2009_big/-oRfVw | 57.61559711007225 | 72303.73333333334 | 1254.9333333333334 |
| BASE/zhadu/DlA8iQ | 57.61945847457627 | 3172.7 | 55.06299580027998 |
| BASE/sudokuGrade6H/ieE_9A | 57.65305114138879 | 5359.633333333333 | 92.96356788107063 |
| BASE/sudokuGrade6E/ihYFZA | 57.89181950599347 | 5311.3 | 91.74525943946412 |
| BASE/snake_2008_tweaked/bX0NJQ | 58.145369463488954 | 89049.63333333333 | 1531.5 |
| DRESDEN/snake_2008/E56l3A | 60.90577010449796 | 89369.06666666667 | 1467.3333333333333 |
| BASE/sudokuGrade4/DTy07w | 60.96326102169349 | 5807.766666666666 | 95.26666666666667 |
| BASE/sudokuGrade2/u80Tfw | 61.512854084967316 | 5855.633333333333 | 95.19365375641624 |
| BASE/sudokuGrade5/BQfUQA | 61.89674583190396 | 6014.1 | 97.16342788573714 |
| BASE/sudokuGrade3/eI8dvg | 62.28048780487805 | 5787.354597873546 | 92.9240409292404 |
| STANFORD/sudoku/oJ1qyQ | 63.504788932245475 | 5967.333333333333 | 93.96666666666667 |
| BASE/ticTacHeaven/18n58A | 63.69877812840281 | 32498.033333333333 | 510.1829939002033 |
| BASE/sudokuGrade1/tDRNRw | 63.78943903415783 | 6016.066666666667 | 94.31132735695004 |
| DRESDEN/Zhadu/9zpQ5w | 67.66525210705014 | 15055.766666666666 | 222.50366617784294 |
| BASE/ticTacHeavenFC/mrletw | 68.10157165270019 | 32506.066666666666 | 477.31742275257494 |
| BASE/nonogram_5x5_1/qLKEZw | 78.87109094176851 | 58511.833333333336 | 741.8666666666667 |
| DRESDEN/babel/WdSW4A | 82.90901561760529 | 70074.7 | 845.2 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 84.99942268041238 | 2472.0 | 29.082550469718168 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 85.11069137792104 | 3518.4 | 41.33910726182545 |
| BASE/snake2p/I3wWPQ | 99.98242153098249 | 94606.7 | 946.2333333333333 |
| BASE/nonogram_10x10_1/0Xc62g | 112.58808882512355 | 15693.733333333334 | 139.3907072861809 |
| DRESDEN/guess/PhxGhg | 115.17440578559774 | 174120.66666666666 | 1511.8 |
| BASE/guess/SPpk1A | 119.14948841741595 | 179335.86666666667 | 1505.1333333333334 |
| BASE/ruleDepthExponential/UamhHQ | 123.52846636663105 | 265285.9 | 2147.568959632629 |
Games with errors:
| Game | ALLOY_COMPILED_PROVER_CACHING:2 error message | ALLOY_TUPLE_PROVER:2 error message |
| STANFORD/multiplesukoshi/vLSQPg | ArrayIndexOutOfBoundsException: 5 | |
| BASE/alexChess/LNo83g | Exception of type StackOverflowError | |
| BASE/amazonsTorus/soxT8g | Exception of type StackOverflowError | |
| DRESDEN/javastrike/whONTQ | Exception of type StackOverflowError | |
| DRESDEN/laikLee_hex/ZeP3QQ | 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 |