Game-by-game performance:
| Game | Perf ratio | ALLOY_COMPILED_PROVER_CACHING:2 states per second | GGP_BASE_PROVER:2015-04-26 states per second |
| BASE/quad/tw-Ufg | 9.718503466090374 | 25.255824080121926 | 2.5987359235137477 |
| BASE/onestep/xi53wA | 10.57879505619913 | 368475.3 | 34831.5 |
| BASE/ruleDepthLinear/OUBJpQ | 14.430704421724226 | 467139.7 | 32371.233333333334 |
| DRESDEN/twisty-passages/j7NPyg | 14.788885825957685 | 100143.43333333333 | 6771.533333333334 |
| BASE/twisty-passages/DiZmmg | 15.11845283671302 | 102016.8 | 6747.833333333333 |
| BASE/survival/YVIjJA | 17.353996458348362 | 497183.9 | 28649.533333333333 |
| BASE/haystack/UkweGA | 17.97713301369986 | 666166.6333333333 | 37056.333333333336 |
| STANFORD/buttonsandlights/eyhJpA | 19.361040423132742 | 717704.7333333333 | 37069.53333333333 |
| BASE/switches/tPUoCg | 19.438859960180483 | 220003.83333333334 | 11317.733333333334 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 19.71637038182099 | 21257.533333333333 | 1078.1666666666667 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 20.25641187419161 | 21403.6 | 1056.6333333333334 |
| BASE/roshambo2/KNPokQ | 20.32022550493823 | 271170.7 | 13344.866666666667 |
| DRESDEN/roshambo2/jgSlkQ | 20.328081420952195 | 276963.3333333333 | 13624.666666666666 |
| BASE/blockerParallel/7-nDJA | 20.591141086401752 | 18827.166666666668 | 914.3333333333334 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 20.635009609224856 | 21474.166666666668 | 1040.6666666666667 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 20.66739929143157 | 21000.833333333332 | 1016.1333333333333 |
| BASE/duplicateStateLarge/dcjyuw | 20.95853330907972 | 99856.23333333334 | 4764.466666666666 |
| DRESDEN/blockerparallel/dVQgSg | 21.035466489518747 | 18999.233333333334 | 903.2 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 21.037300411522633 | 21300.266666666666 | 1012.5 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 21.075769992487878 | 20574.166666666668 | 976.2 |
| DRESDEN/small_dominion/yB5GJA | 21.32057577280724 | 2826.5 | 132.57146664889717 |
| DRESDEN/Runners/3bOCQw | 21.59930056419418 | 331662.3 | 15355.233333333334 |
| DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | 21.68573162760295 | 15482.166666666666 | 713.9333333333333 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 22.400528863148164 | 109843.23333333334 | 4903.6 |
| BASE/lightsOnSimultaneous/_VN6lw | 22.644009903674117 | 41765.36666666667 | 1844.4333333333334 |
| STANFORD/knightstour/cEwgNA | 22.841478849019833 | 332077.0333333333 | 14538.333333333334 |
| STANFORD/knightstourbig/TQUI2g | 22.881376767055933 | 302787.73333333334 | 13232.933333333332 |
| DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | 23.020236966824644 | 16190.9 | 703.3333333333334 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 23.256327903953505 | 60824.6 | 2615.4 |
| STANFORD/knightstourmedium/x1wu8Q | 23.407767914838622 | 344129.3 | 14701.5 |
| DRESDEN/nim3/sG_axA | 23.61622808906499 | 182781.73333333334 | 7739.666666666667 |
| BASE/knightsTourLarge/M8jgLA | 23.766545656278588 | 325589.0 | 13699.466666666667 |
| DRESDEN/knightstour/cGISAA | 23.796965473968502 | 348919.8333333333 | 14662.366666666667 |
| BASE/gt_two_thirds_2p/1APDGg | 24.198234317955524 | 60757.73333333333 | 2510.8333333333335 |
| BASE/nim4/twk16w | 24.23320116028422 | 182122.2 | 7515.4 |
| BASE/nim3/1OwUqw | 24.405493855556287 | 185689.2 | 7608.5 |
| DRESDEN/nim4/F5YAYg | 24.5924813394741 | 180660.46666666667 | 7346.166666666667 |
| BASE/kitten_escapes_from_fire/uW-YiA | 24.594138478267258 | 111581.96666666666 | 4536.933333333333 |
| DRESDEN/quad/JPe6fg | 24.936842908687204 | 33.23896752706078 | 1.332926050373497 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 25.236388131304835 | 25600.633333333335 | 1014.4333333333333 |
| BASE/lightsOnSimul4/9FeASw | 25.316615972271343 | 35790.1 | 1413.7 |
| DRESDEN/max_knights/hCipiA | 25.457357669037798 | 33521.4 | 1316.7666666666667 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 25.53972465484578 | 350058.5333333333 | 13706.433333333332 |
| DRESDEN/statespacelarge/8-y5HQ | 25.562255971961754 | 221723.6 | 8673.866666666667 |
| BASE/colonelBlotto/jip21A | 25.659912721530468 | 80164.13333333333 | 3124.1 |
| BASE/knightsTour/mvtVIg | 25.662370881195983 | 348806.36666666664 | 13592.133333333333 |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | 25.664286169043308 | 18416.933333333334 | 717.609413019566 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 25.67074518668818 | 377018.5333333333 | 14686.7 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 25.71621901539736 | 24829.866666666665 | 965.5333333333333 |
| STANFORD/rainbow/_4qNSQ | 25.942094031197062 | 235829.2 | 9090.6 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 25.95789375819616 | 353657.26666666666 | 13624.266666666666 |
| STANFORD/untwistycorridor/EDPPAQ | 26.324065439765544 | 619164.8333333334 | 23520.866666666665 |
| BASE/stateSpaceLarge/0Ge_CQ | 26.500439500664175 | 224102.73333333334 | 8456.566666666668 |
| BASE/untwistycomplex2/EDPPAQ | 26.749267413801714 | 606732.2333333333 | 22682.2 |
| BASE/queens31lg/0gID-A | 26.898024620140834 | 90.39397373508433 | 3.3606175550675452 |
| BASE/troublemaker01/s3tlEQ | 26.97106229054737 | 540830.9333333333 | 20052.266666666666 |
| DRESDEN/buttons/ADUaHw | 27.046553955849287 | 612228.5 | 22636.1 |
| BASE/racer4/0vs7Ww | 27.307692307692307 | 23583.833333333332 | 863.6333333333333 |
| DRESDEN/catch_me/ghGWrA | 27.481975468104324 | 195745.86666666667 | 7122.7 |
| STANFORD/bestbuttonsandlights/nm0wEA | 27.7222219001797 | 318824.0333333333 | 11500.666666666666 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 27.84921046266542 | 26866.133333333335 | 964.7 |
| BASE/point_grab/V_osUg | 27.946499939703155 | 403040.695930407 | 14421.866666666667 |
| BASE/troublemaker02/DI83KA | 27.949353209646493 | 517468.3 | 18514.5 |
| DRESDEN/nim2/z5_exA | 27.949969812993405 | 243818.76666666666 | 8723.4 |
| BASE/nim2/eF2Qqw | 27.95652892054054 | 242601.16666666666 | 8677.8 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 27.95675623922895 | 29199.9 | 1044.4666666666667 |
| STANFORD/dualrainbow/G3OnRQ | 28.16211109441092 | 131159.4 | 4657.3 |
| DRESDEN/four_way_battle/xSOQXA | 28.247977823303454 | 7353.4 | 260.3159789347377 |
| BASE/stateSpaceSmall/Q7osKA | 28.279388481590914 | 467378.1666666667 | 16527.166666666668 |
| BASE/max_knights/2fq3Ag | 28.337564370215723 | 33934.23333333333 | 1197.5 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 28.384301296328022 | 198815.0 | 7004.4 |
| DRESDEN/statespacesmall/h-NqjA | 28.399291734207306 | 480628.6666666667 | 16923.966666666667 |
| BASE/buttons/hTcUjw | 28.403468494084674 | 627658.9 | 22097.966666666667 |
| BASE/nim1/hin2Qw | 28.449968466064632 | 273667.8333333333 | 9619.266666666666 |
| DRESDEN/nim1/M9BALA | 28.544880969461133 | 271906.1666666667 | 9525.566666666668 |
| BASE/pearls/6k_mEQ | 28.60367259333846 | 719649.3333333334 | 25159.333333333332 |
| BASE/chomp/-LcqYQ | 28.68439903994092 | 77682.13333333333 | 2708.1666666666665 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 28.709437533802053 | 28311.333333333332 | 986.1333333333333 |
| DRESDEN/troublemaker01/C-lPWw | 28.736726463824876 | 561519.4666666667 | 19540.133333333335 |
| BASE/gt_two_thirds_4p/DStnxQ | 28.82404364995629 | 31872.666666666668 | 1105.7666666666667 |
| DRESDEN/smallest_4player/ADDROA | 28.905914994502474 | 112170.36666666667 | 3880.5333333333333 |
| DRESDEN/point_grab/r5DPmQ | 28.930982580794677 | 403646.0333333333 | 13952.033333333333 |
| DRESDEN/battle/8oAvhQ | 29.09235209235209 | 2688.133333333333 | 92.4 |
| DRESDEN/chomp/-LcqYQ | 29.142885824350945 | 77416.13333333333 | 2656.4333333333334 |
| BASE/battle/8oAvhQ | 29.189001972963098 | 2662.3 | 91.20901093041856 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 29.251594513299423 | 123829.8 | 4233.266666666666 |
| BASE/numbertictactoe/rvJ-iQ | 29.33225781310888 | 62727.03333333333 | 2138.5 |
| DRESDEN/Thief_Police/CX18rA | 29.405826343696045 | 191888.7 | 6525.533333333334 |
| DRESDEN/troublemaker02/iZLVuA | 29.408715128390185 | 525648.4333333333 | 17873.9 |
| BASE/pentagoSuicide/SBgNhw | 29.506079801538792 | 13675.3 | 463.4739718722922 |
| DRESDEN/pentago_2008/hLjVpQ | 29.544711056245657 | 12764.3 | 432.03333333333336 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 29.629322099143405 | 274526.5333333333 | 9265.366666666667 |
| BASE/smallest_4player/ADDROA | 29.74353548161427 | 113377.4 | 3811.8333333333335 |
| BASE/four_way_battle/xSOQXA | 29.792779653119336 | 7671.866666666667 | 257.50758257507584 |
| DRESDEN/racer/vk_ZBA | 29.855171579011078 | 65772.93333333333 | 2203.0666666666666 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 29.887320213688874 | 109093.7 | 3650.1666666666665 |
| BASE/peg/fJHVWw | 30.01236282194849 | 22334.2 | 744.1666666666666 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 30.080780525541652 | 197012.06666666668 | 6549.433333333333 |
| BASE/racer/QQYQNw | 30.104597525584232 | 65698.26666666666 | 2182.3333333333335 |
| DRESDEN/pancakes/hl9aiQ | 30.143374192822858 | 679041.8 | 22527.066666666666 |
| BASE/knightmove/jBaJEw | 30.73280931808233 | 53826.46666666667 | 1751.4333333333334 |
| BASE/pegEuro/5awwhg | 30.733584484948906 | 18547.1 | 603.4798840038666 |
| STANFORD/8puzzle/jNiGtw | 30.744370761679964 | 109413.06666666667 | 3558.8 |
| BASE/gt_tinfoil/Q8DyKg | 30.940271708906018 | 324537.6666666667 | 10489.166666666666 |
| BASE/pentago/86NgKw | 30.951446774842765 | 13669.766666666666 | 441.65194493516884 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 30.991734230427408 | 189470.03333333333 | 6113.566666666667 |
| DRESDEN/peg_bugfixed/u_B7MA | 31.02020476578781 | 22824.666666666668 | 735.8 |
| BASE/pancakes6/QZTdnw | 31.040631626779764 | 683100.8333333334 | 22006.666666666668 |
| DRESDEN/chinesecheckers1/Y-ftaA | 31.09841874770167 | 62016.46666666667 | 1994.2 |
| BASE/pancakes/yUgbXw | 31.304951753396765 | 684756.1666666666 | 21873.733333333334 |
| DRESDEN/fizzbuzz/t1xHzQ | 31.50760305154384 | 610422.0 | 19373.8 |
| DRESDEN/pancakes6/SZXMyQ | 31.70269356629151 | 693985.7 | 21890.433333333334 |
| DRESDEN/knightmove/97Ipcw | 31.799449867242267 | 55491.1 | 1745.0333333333333 |
| BASE/tpeg/QNs7Lw | 31.909432687027415 | 25179.733333333334 | 789.1 |
| DRESDEN/sheep_and_wolf/enAIzQ | 32.04197087735041 | 26185.766666666666 | 817.2333333333333 |
| BASE/wallmaze/uxNQ9g | 32.04908585055644 | 26878.5 | 838.6666666666666 |
| DRESDEN/8puzzle/8fKC2w | 32.082939811109334 | 106891.8 | 3331.733333333333 |
| BASE/eightPuzzle/vLrgFg | 32.2235342863062 | 108880.1 | 3378.9 |
| DRESDEN/peg/Vo31eg | 32.25042662116041 | 22678.5 | 703.2 |
| DRESDEN/tpeg/h-Scbg | 32.30395267083941 | 25117.4 | 777.5333333333333 |
| STANFORD/eightpuzzle/W_aWbA | 32.58214605670028 | 112744.0 | 3460.3 |
| DRESDEN/chinesecheckers2/06E6-Q | 32.746688140822066 | 48120.166666666664 | 1469.4666666666667 |
| DRESDEN/towerworld/HCX34w | 33.39091507150715 | 1348.6333333333334 | 40.38922953878966 |
| BASE/sheepAndWolf/g4THrg | 33.45365151203456 | 27103.033333333333 | 810.1666666666666 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 33.65157398873528 | 5111.333333333333 | 151.88987400839943 |
| BASE/gt_dollar/TGjqRw | 33.65184092662003 | 248697.2 | 7390.3 |
| BASE/colonelBlottoVariant2/jruwGw | 34.15361608001539 | 236752.86666666667 | 6932.0 |
| STANFORD/threepuzzle/41ibjA | 34.256087714655976 | 336593.4666666667 | 9825.8 |
| BASE/tictactoex9/BI26ow | 34.26996347288564 | 20327.8 | 593.1666666666666 |
| DRESDEN/tictactoex9/rFkD4w | 34.342543908714624 | 20465.866666666665 | 595.9333333333333 |
| BASE/duplicateStateSmall/bCPAXw | 34.53705837366795 | 457625.23333333334 | 13250.266666666666 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 34.57471773300863 | 5205.8 | 150.56666666666666 |
| BASE/gt_centipede/9fRMpw | 34.8114652920078 | 378842.73333333334 | 10882.7 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 34.82926119837114 | 11974.3 | 343.8 |
| STANFORD/3puzzle/41ibjA | 34.8798880265193 | 336006.1 | 9633.233333333334 |
| BASE/shmup/ssTNlg | 34.90063410609126 | 102923.13333333333 | 2949.0333333333333 |
| BASE/queens08ug/kJ_ZFQ | 34.94548286604361 | 57583.166666666664 | 1647.8 |
| DRESDEN/lightson2x2/gBHuig | 35.16770232664888 | 204306.76666666666 | 5809.5 |
| DRESDEN/statespacemedium/dVJZ_w | 35.41356443187967 | 427573.93333333335 | 12073.733333333334 |
| BASE/queens08lg/Ru7eqQ | 35.49390897141398 | 12360.933333333332 | 348.25505816472787 |
| BASE/simultaneousWin2/PfjRjw | 35.63419793966151 | 38741.5 | 1087.2 |
| BASE/catcha_mouse/cHv4dw | 35.71062400150362 | 50666.23333333333 | 1418.8 |
| DRESDEN/knightfight/4_Ly4w | 35.755038202051246 | 109349.63333333333 | 3058.3 |
| BASE/gt_two_thirds_6p/867v3Q | 35.91017054089041 | 21267.2 | 592.2333333333333 |
| DRESDEN/cube_2x2x2/fp-34Q | 35.92740347120329 | 90598.13333333333 | 2521.7 |
| BASE/queens16ug/gT-ylw | 35.956562467572105 | 15707.7 | 436.85210492983566 |
| BASE/stateSpaceMedium/3bUoIw | 36.020904775371136 | 437321.4 | 12140.766666666666 |
| DRESDEN/smallest/9kaGFw | 36.07111134470344 | 91507.6 | 2536.866666666667 |
| BASE/tictactoe_orthogonal/WRzlVw | 36.072068673557496 | 143433.36666666667 | 3976.3 |
| BASE/firefighter/WJmoPw | 36.11892384088431 | 227421.6 | 6296.466666666666 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 36.16581894690876 | 242939.06666666668 | 6717.366666666667 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 36.36867908345986 | 209195.06666666668 | 5752.066666666667 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 36.48662881804403 | 142031.5 | 3892.7 |
| DRESDEN/chinesecheckers3/QsCb2A | 36.48787020739267 | 47678.7 | 1306.7 |
| STANFORD/dualhunter/1rPZjQ | 36.622376956873445 | 76964.36666666667 | 2101.5666666666666 |
| BASE/pancakes88/l2Xaig | 36.62761913933056 | 646613.0 | 17653.7 |
| BASE/blocksWorld/SEdXLQ | 36.6293119807112 | 328146.13333333336 | 8958.566666666668 |
| BASE/ticTicToe/c1OobQ | 36.630238329353375 | 78231.2 | 2135.7 |
| DRESDEN/firefighter/WJmoPw | 36.67850258535983 | 227701.36666666667 | 6208.033333333334 |
| BASE/queens12ug/u6Bkmg | 36.702600353446094 | 29075.8 | 792.2 |
| BASE/beatMania/qUHwvQ | 36.9234137441719 | 273214.8 | 7399.5 |
| BASE/snakeParallel/RCVNtw | 37.02260640421625 | 154544.7 | 4174.333333333333 |
| BASE/chineseCheckers2/eCMR3Q | 37.09791652262094 | 107309.43333333333 | 2892.6 |
| BASE/queens06ug/7Lq3tw | 37.110358690872545 | 98459.96666666666 | 2653.1666666666665 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 37.26824497233276 | 185439.33333333334 | 4975.8 |
| DRESDEN/blocks/vg0DRw | 37.27752922170484 | 326892.86666666664 | 8769.166666666666 |
| BASE/hodgepodge/9yjRkw | 37.32008202985683 | 195328.33333333334 | 5233.866666666667 |
| STANFORD/tictactoe/ss1kyQ | 37.41960417752692 | 138779.33333333334 | 3708.733333333333 |
| BASE/circlesolitaire/azuQFQ | 37.464549441749156 | 268218.7 | 7159.266666666666 |
| DRESDEN/pancakes88/aD3E7g | 37.49572753024503 | 640218.3 | 17074.433333333334 |
| DRESDEN/circlesolitaire/ruUilQ | 37.54569873766544 | 269769.6 | 7185.1 |
| BASE/coloredtrails/EZvr7g | 37.76013530257223 | 101584.83333333333 | 2690.266666666667 |
| BASE/knightfight/SJRkAg | 37.7633844744676 | 109941.8 | 2911.3333333333335 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 38.22163144104803 | 182349.03333333333 | 4770.833333333333 |
| BASE/eotcitcit/V_9_bg | 38.260309637826026 | 82294.1 | 2150.9 |
| BASE/maze/cCX3qQ | 38.28267949724448 | 656680.6666666666 | 17153.466666666667 |
| STANFORD/ttcc4/Cx9SGw | 38.47758346581876 | 36303.6 | 943.5 |
| BASE/blocks2player/wnTLOQ | 38.53272517634292 | 265125.7 | 6880.533333333334 |
| DRESDEN/catcha_mouse/cHv4dw | 38.642229014813076 | 54781.8 | 1417.6666666666667 |
| DRESDEN/crisscross/GsY16g | 38.929042904290434 | 49541.1 | 1272.6 |
| BASE/chineseCheckers1/gqtwHw | 38.94102206985216 | 145390.2 | 3733.6 |
| BASE/tron_10x10/7ZTgDg | 38.96637546799786 | 109281.2 | 2804.5 |
| DRESDEN/chinesecheckers6/yTbPDA | 39.16564808596374 | 38878.433333333334 | 992.6666666666666 |
| BASE/blocker/dIWtxg | 39.373155821472366 | 141265.63333333333 | 3587.866666666667 |
| DRESDEN/grid_game2/kypTYQ | 39.433029600863 | 14215.133333333333 | 360.4879837338755 |
| BASE/knightwar/DVGY4Q | 39.47423645885096 | 68845.7 | 1744.0666666666666 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 39.47763865279102 | 190432.23333333334 | 4823.8 |
| DRESDEN/knightthrough/J7Fc_Q | 39.53344256230015 | 49866.166666666664 | 1261.3666666666666 |
| BASE/chineseCheckers3/-1rZdQ | 39.54758830123884 | 92895.96666666666 | 2348.9666666666667 |
| BASE/blocks/xIV5hQ | 39.6309915525042 | 334031.13333333336 | 8428.533333333333 |
| BASE/cittaceot/fDxhXg | 39.88245643715108 | 39290.86666666667 | 985.1666666666666 |
| BASE/ticTacToe/JRFsaQ | 39.911119017626184 | 138349.23333333334 | 3466.4333333333334 |
| BASE/colonelBlottoVariant/X-n-KQ | 39.959644017429596 | 259525.9 | 6494.7 |
| DRESDEN/sum15/CsgWKg | 39.99832562965758 | 169608.9 | 4240.4 |
| STANFORD/tictictoe/rpt_Dw | 40.20680401237094 | 81902.6 | 2037.0333333333333 |
| BASE/eotcatcit/AfZSzA | 40.234083920246 | 135199.93333333332 | 3360.3333333333335 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 40.23901729978067 | 103351.23333333334 | 2568.4333333333334 |
| DRESDEN/blocker/S815zQ | 40.324675324675326 | 142623.0 | 3536.866666666667 |
| DRESDEN/farmers/S_ASnw | 40.37187127532776 | 45162.666666666664 | 1118.6666666666667 |
| BASE/chickentictactoe/DSlZCA | 40.39524685888261 | 118527.73333333334 | 2934.2 |
| DRESDEN/blocks2player/3ev8nQ | 40.44117590314957 | 279488.9666666667 | 6911.0 |
| BASE/ticTacToeNoVars/XT03NA | 40.49260353596512 | 139328.3 | 3440.8333333333335 |
| DRESDEN/oisters_farm/pTQMLg | 40.65702521685028 | 370290.63333333336 | 9107.666666666666 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 40.75738290193643 | 105027.7 | 2576.9 |
| BASE/crisscross/ICagEg | 40.86201349247535 | 52494.066666666666 | 1284.6666666666667 |
| DRESDEN/quartosuicide/WIU1oQ | 40.868611935377515 | 57845.433333333334 | 1415.4 |
| BASE/quartoSuicide/-23jUg | 40.916637656942605 | 58768.566666666666 | 1436.3 |
| STANFORD/hunter/14dD-g | 40.941628616118685 | 172754.56666666668 | 4219.533333333334 |
| BASE/sum15/QZ07Kg | 41.121962104921494 | 168922.16666666666 | 4107.833333333333 |
| DRESDEN/tictictoe/LAUtwg | 41.124122715863855 | 85745.16666666667 | 2085.0333333333333 |
| DRESDEN/tictactoeparallel/yk_DSg | 41.34797084495636 | 61266.666666666664 | 1481.7333333333333 |
| STANFORD/trifecta/ss1kyQ | 41.501858881924214 | 141027.46666666667 | 3398.1 |
| DRESDEN/knightwar/7hhAqg | 41.576753125804984 | 69941.8 | 1682.2333333333333 |
| BASE/quarto/EwBMVQ | 41.64882135756887 | 58658.2 | 1408.4 |
| DRESDEN/eotcatcit/mQUxzA | 41.739520198174596 | 137043.36666666667 | 3283.3 |
| BASE/2pffa_zerosum/o0_uZA | 41.77950263177969 | 73025.0 | 1747.8666666666666 |
| DRESDEN/kalaha_2009/gcC8uA | 41.7812526473329 | 98639.96666666666 | 2360.866666666667 |
| DRESDEN/connect5/1kYzSg | 41.90434527905199 | 19485.066666666666 | 464.98916847192135 |
| BASE/chineseCheckers6/rREH3A | 42.02096677572462 | 60793.13333333333 | 1446.7333333333333 |
| BASE/kalaha6x2x4/XS81Mg | 42.268628733376936 | 96943.1 | 2293.5 |
| BASE/knightThrough/gcwFjA | 42.27148843799934 | 46736.76666666667 | 1105.6333333333334 |
| BASE/gt_ultimatum/GE-uOA | 42.412521794521055 | 346228.9666666667 | 8163.366666666667 |
| BASE/kalaha_2009/dRiN3g | 42.51246824257152 | 102630.76666666666 | 2414.133333333333 |
| DRESDEN/chickentictactoe/Ipbo-g | 42.539353836883215 | 122363.03333333334 | 2876.4666666666667 |
| DRESDEN/quarto/OQzRYQ | 42.57673126246794 | 59760.7 | 1403.6 |
| BASE/kalaha5x2x3/WviNsw | 42.61439486969573 | 104106.96666666666 | 2443.0 |
| DRESDEN/tictactoe/BTTzPw | 42.96097651192898 | 147117.0 | 3424.4333333333334 |
| BASE/blobwars/0XT15Q | 42.99070048233315 | 12773.7 | 297.1270497267031 |
| STANFORD/breakthrough/d5j0cQ | 42.992834418577 | 48199.26666666667 | 1121.1 |
| DRESDEN/hanoi_6_disks/MeubgQ | 43.0551214837364 | 254584.93333333332 | 5913.0 |
| STANFORD/freeforall/Lfp40Q | 43.09376439717165 | 71712.33333333333 | 1664.1 |
| DRESDEN/gt_ultimatum/pAiiQw | 43.17263127964535 | 334039.6 | 7737.3 |
| BASE/2pffa/6oHijA | 43.21082900827605 | 71878.33333333333 | 1663.4333333333334 |
| DRESDEN/chinesecheckers4/-oVNYg | 43.22652221223447 | 30455.966666666667 | 704.5666666666667 |
| DRESDEN/blobwars/ZaMluQ | 43.621298959282896 | 12759.833333333334 | 292.5138324111726 |
| STANFORD/multipletictactoe/_bkafQ | 43.670833441778505 | 28635.466666666667 | 655.7114762841238 |
| BASE/ttcc4_2player/_aH_Mw | 43.72656233639714 | 34410.2 | 786.9404353188227 |
| BASE/slidingpieces/uFJWEw | 43.87508160268513 | 16266.333333333334 | 370.7419505366309 |
| BASE/ticTacToeParallel/ymRGPw | 43.98542770628312 | 61978.4 | 1409.0666666666666 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 44.01670211927834 | 37246.933333333334 | 846.2 |
| BASE/duplicateStateMedium/U163eQ | 44.08458316671227 | 349098.4666666667 | 7918.833333333333 |
| DRESDEN/racetrackcorridor/O0DoTA | 44.12466348136112 | 60643.46666666667 | 1374.3666666666666 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 44.12597019580419 | 21020.766666666666 | 476.38083816376843 |
| DRESDEN/pacman3p/rBnk8Q | 44.30068951034266 | 42190.5 | 952.3666666666667 |
| BASE/endgame/jYjfOA | 44.60891437226159 | 27489.5 | 616.2333333333333 |
| DRESDEN/satlike_20v_91c/yeuENQ | 44.72864319946452 | 22257.8 | 497.6184924890917 |
| DRESDEN/tictactoe-init1/3ltIBQ | 44.734475374732334 | 143451.53333333333 | 3206.733333333333 |
| BASE/aipsrovers01/4C4jsw | 44.79696531244555 | 197117.1 | 4400.233333333334 |
| STANFORD/tictactoe7/-bE9-A | 44.978610698663665 | 149442.93333333332 | 3322.5333333333333 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 45.046341286532744 | 20704.8 | 459.6333333333333 |
| BASE/connect5/d-BVQg | 45.1474587281826 | 20548.933333333334 | 455.15149495016834 |
| BASE/hanoi_6_disks/MeubgQ | 45.24498377846183 | 254281.33333333334 | 5620.1 |
| BASE/futoshiki6/JmvXNA | 45.43224281964754 | 9423.533333333333 | 207.41950536630893 |
| DRESDEN/quad_5x5/JAEP5g | 45.476838232044194 | 4109.9 | 90.37347713201518 |
| BASE/hanoi/iGLsJg | 45.67190428643999 | 347636.26666666666 | 7611.6 |
| BASE/biddingTicTacToe/8mESVw | 45.95730117742991 | 123991.26666666666 | 2697.9666666666667 |
| BASE/tictactoe_3d_small_2player/oOryKA | 46.161181262729116 | 37775.23333333333 | 818.3333333333334 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 46.189713722813174 | 178179.9 | 3857.5666666666666 |
| DRESDEN/aipsrovers01/qS47Mw | 46.21356542526232 | 203630.83333333334 | 4406.3 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 46.25090622191011 | 21952.3 | 474.63502433171124 |
| DRESDEN/logistics/fPru1Q | 46.34501625564983 | 77927.6 | 1681.4666666666667 |
| DRESDEN/hanoi/RQ0jiA | 46.36010942100321 | 340643.26666666666 | 7347.766666666666 |
| BASE/lightsOn/MsXu3A | 46.386384435133394 | 376776.5 | 8122.566666666667 |
| BASE/pacman2p/4LEdQg | 46.39069565531961 | 42745.933333333334 | 921.4333333333333 |
| BASE/ttcc4_2player_alt/ZEJvYA | 46.53682373472949 | 44442.666666666664 | 955.0 |
| DRESDEN/3pffa/0YrmQw | 46.55711176494297 | 77008.56666666667 | 1654.0666666666666 |
| BASE/pacman3p/wW7UVQ | 46.606896471720816 | 43032.26666666667 | 923.3025565814473 |
| BASE/gt_coordination/IVMOzA | 46.74501349895991 | 422468.9666666667 | 9037.733333333334 |
| BASE/tictactoe-init1/7M19vA | 46.770268149527624 | 149011.63333333333 | 3186.0333333333333 |
| BASE/gt_staghunt/xPjLRA | 46.78342160604409 | 400434.9 | 8559.333333333334 |
| BASE/racetrackcorridor/_RkdUg | 46.801581441874866 | 65501.933333333334 | 1399.5666666666666 |
| BASE/3pffa/pR0dzA | 46.92522475599538 | 69072.36666666667 | 1471.9666666666667 |
| DRESDEN/latenttictactoe/kITHKg | 46.93212206270032 | 82486.33333333333 | 1757.5666666666666 |
| BASE/2pttc/unkkYA | 46.975713152069495 | 74982.63333333333 | 1596.2 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 47.00123063236711 | 316999.8 | 6744.5 |
| STANFORD/alquerquezero/uVgA_A | 47.731429061588614 | 55645.3 | 1165.8 |
| DRESDEN/slidingpieces/s9_44g | 47.8538393939394 | 16457.433333333334 | 343.9104059729351 |
| DRESDEN/Goldrush/VeWczQ | 47.91630007215512 | 68620.93333333333 | 1432.1 |
| STANFORD/pentago/ZxzLmg | 48.33141954214901 | 28946.333333333332 | 598.9133695543482 |
| BASE/incredible/8Qh-6Q | 48.37806446427137 | 160499.06666666668 | 3317.6 |
| DRESDEN/stratego/Z2wovg | 48.46301843472258 | 31201.066666666666 | 643.8118729375688 |
| BASE/quad_5x5/JAEP5g | 48.59814063659969 | 4059.564681177294 | 83.53333333333333 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 48.61478916323731 | 13781.833333333334 | 283.4905503149895 |
| DRESDEN/bidding-tictactoe/yW5vTA | 48.71192879222375 | 130796.4 | 2685.1 |
| BASE/minichess/8NQEiA | 48.93379742567581 | 82243.03333333334 | 1680.7 |
| STANFORD/tictactoe5/WFRReg | 49.016449804294936 | 154450.83333333334 | 3151.0 |
| BASE/3pttc/0sol9g | 49.07031500135457 | 66413.4 | 1353.4333333333334 |
| BASE/crissrace/ERWGDA | 49.196964873182644 | 46358.3 | 942.3 |
| BASE/tictactoe_3d_2player/IUC1rQ | 49.19882902804957 | 13406.533333333333 | 272.49700039994667 |
| DRESDEN/battlesnakes1509/-qZrLw | 49.20918367346939 | 60442.0 | 1228.2666666666667 |
| BASE/blocksWorldSerial/Wyg96Q | 49.636417322834646 | 184912.2 | 3725.3333333333335 |
| BASE/lightsOnParallel/SC6enA | 49.76508342848724 | 180142.96666666667 | 3619.866666666667 |
| DRESDEN/hanoi7/51zz5Q | 50.04996218566836 | 317657.1 | 6346.8 |
| BASE/4pffa/Q3ADlg | 50.16179224135658 | 63402.833333333336 | 1263.9666666666667 |
| DRESDEN/minichess/c7GMFw | 50.432327876205434 | 59967.4 | 1189.0666666666666 |
| DRESDEN/mummymaze1p/AekgaQ | 50.44436099866283 | 91796.96666666666 | 1819.7666666666667 |
| BASE/hanoi7_bugfix/3gdnFw | 50.66597482016209 | 333616.86666666664 | 6584.633333333333 |
| DRESDEN/3pttc/uwYBZw | 50.71504952230695 | 77147.73333333334 | 1521.2 |
| BASE/tictactoe_3d_small_6player/g_9lww | 50.96000679771144 | 29986.566666666666 | 588.4333333333333 |
| DRESDEN/toetictac/mJtxCA | 51.06032872747321 | 246970.3 | 4836.833333333333 |
| BASE/ghostMaze2p/W-NU-w | 51.12456249513884 | 131461.7 | 2571.4 |
| BASE/gt_prisoner/klthDw | 51.1633999207649 | 417563.26666666666 | 8161.366666666667 |
| DRESDEN/crissrace/KWb9bw | 51.42842658655652 | 45651.3 | 887.6666666666666 |
| BASE/brain_teaser_extended/ZDp94A | 51.545527659856724 | 207226.76666666666 | 4020.266666666667 |
| DRESDEN/battlesnakes2011/93VtTw | 51.6067962462904 | 64341.63333333333 | 1246.7666666666667 |
| BASE/futoshiki5/TJ4BZg | 51.670599097250715 | 16789.5 | 324.93333333333334 |
| DRESDEN/endgame/IJhh3Q | 51.71609431872132 | 21786.266666666666 | 421.26666666666665 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 52.068845001664265 | 31286.433333333334 | 600.8666666666667 |
| BASE/ttcc4_2player_small/Cv72TA | 52.23248568541597 | 62031.3 | 1187.6 |
| BASE/solitaireChineseCheckers/-ET6gw | 52.240546218487395 | 89519.4 | 1713.6 |
| DRESDEN/brain_teaser_extended/ZDp94A | 52.29421070111346 | 199446.63333333333 | 3813.9333333333334 |
| BASE/rubiksCube/9tNO9Q | 52.3539202803329 | 39841.333333333336 | 761.0 |
| DRESDEN/ghostmaze2p/HY0UwA | 52.899417646120305 | 132622.36666666667 | 2507.0666666666666 |
| DRESDEN/tttcc4/sAvtFg | 52.94479819983722 | 36861.933333333334 | 696.2333333333333 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 53.03623396790705 | 30738.033333333333 | 579.5666666666667 |
| BASE/mummymaze1p/PT_EXA | 53.214599040140506 | 89948.6367575495 | 1690.3 |
| BASE/golden_rectangle/_nYzfw | 53.26057980673109 | 15983.5 | 300.1 |
| BASE/tttcc4/8Bs2lg | 53.321772187544 | 37870.9 | 710.2333333333333 |
| BASE/futoshiki4/BaCwSw | 53.56342311033884 | 36990.9 | 690.6 |
| BASE/toetictac/mTThmg | 53.65022786006058 | 257428.1 | 4798.266666666666 |
| DRESDEN/tictactoe_3player/ESLQQQ | 53.74767579567961 | 51859.46666666667 | 964.8690087327511 |
| BASE/gt_chicken/gmepTQ | 53.75463198749583 | 408112.3333333333 | 7592.133333333333 |
| BASE/ttcc4/Le0qjQ | 53.7619809057988 | 38104.7 | 708.7666666666667 |
| STANFORD/untwistycomplex/HTWEwg | 53.97155954796343 | 659705.1666666666 | 12223.2 |
| BASE/chineseCheckers4/avfBcQ | 54.13477175750745 | 67240.8 | 1242.1 |
| DRESDEN/4pttc/9pB9AQ | 54.18597879858657 | 63894.3 | 1179.1666666666667 |
| DRESDEN/ticblock/Z2yNWQ | 54.316536339828 | 97478.26666666666 | 1794.6333333333334 |
| DRESDEN/mummymaze2p/k-8edg | 54.31977184098714 | 62217.86666666667 | 1145.4 |
| STANFORD/tictactoe3/X7myng | 54.654779276553846 | 153563.53333333333 | 2809.7 |
| BASE/tictactoe_3player/GtM71g | 54.90666607910323 | 51810.03333333333 | 943.6018799373354 |
| BASE/gt_attrition/kD_SCA | 55.018501644762246 | 118750.1 | 2158.366666666667 |
| BASE/4pttc/AL1k2Q | 55.171631159748756 | 56801.03333333333 | 1029.5333333333333 |
| BASE/tictactoe_3d_6player/d7KSwg | 55.54711789792269 | 13459.066666666668 | 242.3 |
| BASE/hallway/ckCJOw | 55.567881807850334 | 21188.033333333333 | 381.3 |
| DRESDEN/gt_chicken/CeuKtw | 55.639567881770695 | 405851.7 | 7294.3 |
| BASE/mummymaze2p/vpjDdA | 55.68354467278822 | 63674.13333333333 | 1143.5 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 55.73277216347393 | 79231.56666666667 | 1421.6333333333334 |
| DRESDEN/blocksworldparallel/2JfVaw | 55.75352194262941 | 160414.03333333333 | 2877.2 |
| BASE/copolymer_4_pie/IN5_jA | 55.753717301514456 | 80991.56666666667 | 1452.6666666666667 |
| DRESDEN/golden_rectangle/1uloXw | 55.99184511121591 | 15830.233333333334 | 282.72390920302655 |
| BASE/chickentoetictac/l57rfQ | 56.16570899997648 | 238829.7 | 4252.233333333334 |
| BASE/ticblock/T21C1g | 56.25262795105979 | 97930.2 | 1740.9 |
| DRESDEN/connect4/T0-rHQ | 56.430243304551446 | 25705.0 | 455.51814939502015 |
| DRESDEN/gt_prisoner/huCp4w | 56.62392445189986 | 401254.115843498 | 7086.3 |
| BASE/hidato19/rRHSmA | 57.039590272104576 | 30255.7 | 530.4333333333333 |
| BASE/double_tictactoe_dengji/zgaSbA | 57.285047915945036 | 82690.96666666666 | 1443.5 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 57.31147503979164 | 13201.333333333334 | 230.34363230343632 |
| BASE/blockerSerial/3eqDuw | 57.6104056558446 | 83932.6 | 1456.9 |
| DRESDEN/hallway/0H4l-Q | 57.61776350040893 | 21917.066666666666 | 380.3873204226526 |
| BASE/god/qF06gw | 57.69271728019471 | 6320.566666666667 | 109.55571109555711 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 58.01014281985309 | 51855.26666666667 | 893.9 |
| BASE/wargame01/_GZFZg | 58.094654223124685 | 49591.53333333333 | 853.6333333333333 |
| BASE/choicethroughalt/tt71Lg | 58.98674869853289 | 29082.433333333334 | 493.03333333333336 |
| BASE/factoringGeorgeForman/HGRorQ | 59.20845504935502 | 349296.3333333333 | 5899.433333333333 |
| BASE/doubletoetictac/fu35bg | 59.21532229116456 | 76983.86666666667 | 1300.0666666666666 |
| BASE/connect4/50bOyw | 59.381624402793086 | 26929.566666666666 | 453.5 |
| BASE/escortLatch/mX9BjQ | 59.55949447579683 | 49954.53333333333 | 838.7333333333333 |
| STANFORD/pilgrimage/ObRZnQ | 59.769445053949 | 38097.76666666667 | 637.4120862637913 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 59.82471533824514 | 59545.53333333333 | 995.3333333333334 |
| BASE/tictactoe2/bhrDoQ | 59.918595103822305 | 184872.83333333334 | 3085.4 |
| BASE/breakthroughHoles/nZk0Sg | 60.222923617999825 | 44520.8 | 739.2666666666667 |
| DRESDEN/god/2EDD5w | 60.26930438515792 | 6550.4 | 108.68550859885349 |
| BASE/copolymer_4/2LDVhQ | 60.30138299608355 | 98540.5 | 1634.1333333333334 |
| DRESDEN/chickentoetictac/cxYaRQ | 60.338696574820126 | 242633.96666666667 | 4021.2 |
| DRESDEN/doubletoetictac/V89gKQ | 60.6377475310853 | 79002.9 | 1302.8666666666666 |
| STANFORD/triplesukoshi/Iu9mbA | 60.78522388704175 | 46924.166666666664 | 771.9666666666667 |
| DRESDEN/frogs_and_toads/GjchhQ | 61.236489130821504 | 57372.46666666667 | 936.9 |
| DRESDEN/CephalopodMicro/H3XQfg | 61.32827797927461 | 3155.1 | 51.44608823137412 |
| BASE/doubletictactoe/HH1htg | 61.41076366195767 | 81434.76666666666 | 1326.0666666666666 |
| BASE/cephalopodMicro/9l2D3g | 61.69600206985769 | 3177.6 | 51.50414764966519 |
| BASE/blocksWorldParallel/RseaAQ | 61.964772435073286 | 48196.2 | 777.8 |
| DRESDEN/bunk_t/7-tPfA | 62.18881570103509 | 77103.76666666666 | 1239.8333333333333 |
| BASE/bunk_t/xbpfIA | 62.591793833696656 | 80392.9 | 1284.4 |
| BASE/snakeAssemblit/UO4sdg | 62.61068200493015 | 25399.066666666666 | 405.6666666666667 |
| DRESDEN/capture_the_king/EQ229Q | 62.69109971509971 | 7577.333333333333 | 120.86776859504133 |
| DRESDEN/doubletictactoe/lJzgmQ | 62.8733379805334 | 81175.76666666666 | 1291.1 |
| DRESDEN/mimikry/GJEhwA | 63.27550618451114 | 53543.73333333333 | 846.2 |
| BASE/queens/HyJJnQ | 63.99923453441295 | 31609.3 | 493.9012197560488 |
| BASE/hidato37/pBrqxw | 64.50152287463615 | 7139.366666666667 | 110.68524196773764 |
| STANFORD/chinook/osFbPA | 64.69607270106431 | 36403.26666666667 | 562.6812439585348 |
| DRESDEN/queens/mW2wHQ | 64.73230468681558 | 32838.666666666664 | 507.2995133657756 |
| DRESDEN/skirmish3/3LU8Nw | 64.77377239428446 | 29767.866666666665 | 459.56666666666666 |
| BASE/bomberman2p/4CClwA | 64.85618670846706 | 86887.83333333333 | 1339.7 |
| DRESDEN/checkers-mustjump/HUr33w | 64.91692319183485 | 15546.566666666668 | 239.4840343977068 |
| BASE/cubicup/4wNWJA | 65.23577276761485 | 22703.466666666667 | 348.02173260891306 |
| BASE/chinook/XQh0IQ | 65.57959586002957 | 39918.3 | 608.7 |
| DRESDEN/cubicup/SBn_lw | 65.69523717701503 | 22713.033333333333 | 345.73333333333335 |
| BASE/minichess-evilconjuncts/4OpQzw | 66.38980268213344 | 12018.366666666667 | 181.02729909003034 |
| STANFORD/connectfour/VMpZkQ | 66.44584772241407 | 67342.86666666667 | 1013.5 |
| BASE/wargame03/klXI8w | 67.13764305598515 | 43411.2 | 646.6 |
| BASE/withConviction/3Xm54A | 67.15878634622469 | 40516.433333333334 | 603.2931137924138 |
| BASE/asteroids/BKCmPQ | 67.1700830542754 | 540244.5 | 8042.933333333333 |
| BASE/mummyMaze2p_2007/YGA3Vw | 67.23298199832827 | 109928.16666666667 | 1635.0333333333333 |
| DRESDEN/connectfour/5tc-Mg | 68.65793342262585 | 70056.26666666666 | 1020.3666666666667 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 68.91265513049697 | 12848.2 | 186.44180775896547 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 68.93314030740996 | 13352.866666666667 | 193.7075056659112 |
| BASE/checkers-mustjump/T-8UuQ | 69.34622766868448 | 15656.066666666668 | 225.76666666666668 |
| BASE/connectFourSuicide/c8p9Kw | 69.51188806627312 | 71043.46666666666 | 1022.0333333333333 |
| BASE/connectFour/WAIKTw | 70.70711492831602 | 70525.63333333333 | 997.4333333333333 |
| DRESDEN/bomberman2p/x4h6jQ | 70.72081488987254 | 88405.73333333334 | 1250.0666666666666 |
| BASE/conn4/va9Y7A | 70.89147096237869 | 40742.333333333336 | 574.7141761941268 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 70.97731104133962 | 13560.6 | 191.05542040190622 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 71.00097021586082 | 13558.366666666667 | 190.96030132328923 |
| DRESDEN/pawn_whopping/4ogBkg | 71.01766222288008 | 47977.933333333334 | 675.5774807506416 |
| DRESDEN/connectfoursuicide/M9CNQg | 71.32333811413896 | 71278.16666666667 | 999.3666666666667 |
| BASE/connectFour_9x6/B9TtMw | 71.45920567573206 | 68491.26666666666 | 958.4666666666667 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 71.65563061353573 | 12586.666666666666 | 175.65495633624425 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 71.83545323968393 | 13635.4 | 189.8143518981435 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 71.94987977322363 | 108718.66666666667 | 1511.0333333333333 |
| BASE/checkersBarrelNoKings/rnKNeg | 72.29180376172471 | 49069.26666666667 | 678.7666666666667 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 72.3072679420994 | 47621.566666666666 | 658.6 |
| DRESDEN/cylinder-checkers/clOO3Q | 72.41538745133728 | 15912.366666666667 | 219.73736835088656 |
| BASE/checkers-mustjump-torus/uSApKQ | 73.31252105329789 | 12867.933333333332 | 175.52163189120725 |
| BASE/checkersTorusNoKings/pwb6oQ | 73.70128600068456 | 50242.166666666664 | 681.7 |
| STANFORD/nineboardtictactoe/y28P-A | 73.80611825109044 | 31208.066666666666 | 422.83847743483767 |
| BASE/pawnWhopping/Ypc_6Q | 73.85927991886409 | 48550.166666666664 | 657.3333333333334 |
| DRESDEN/lightsout2/LFtfyQ | 73.90991200707667 | 105834.06666666667 | 1431.9333333333334 |
| DRESDEN/checkers/jIDMIg | 74.30076511817441 | 18232.8 | 245.39182027265758 |
| BASE/checkers/rOC3Xg | 74.47945917836714 | 23870.666666666668 | 320.5 |
| BASE/ad_game_2x2/D0aWqg | 74.49827812397507 | 60572.066666666666 | 813.0666666666667 |
| BASE/checkersSmall/SYmq8w | 74.70798388623115 | 31751.266666666666 | 425.0049996666889 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 74.80643830488678 | 44119.36666666667 | 589.7803406553115 |
| DRESDEN/grid_game/U7_Yeg | 75.27596439169139 | 80332.0 | 1067.1666666666667 |
| BASE/breakthroughSmallHoles/bxclRw | 75.4046822742475 | 52607.333333333336 | 697.6666666666666 |
| BASE/cylinder-checkers/hlldmw | 75.41115671074631 | 16537.666666666668 | 219.3 |
| BASE/dualConnect4/WbCQkg | 75.97124760437096 | 45182.7 | 594.7342109648392 |
| DRESDEN/checkers-newgoals/IJOqXQ | 76.06910288258514 | 18412.566666666666 | 242.050529964669 |
| DRESDEN/cubicup_3player/awDtsQ | 76.21778 | 12776.2 | 167.62755357083347 |
| BASE/breakthroughSuicideSmall/XSbJog | 76.27742856041033 | 65931.66666666667 | 864.3666666666667 |
| BASE/wargame02/BkVqqQ | 76.84198789188916 | 33768.36666666667 | 439.4520182660578 |
| BASE/englishDraughts/jFkQxg | 76.88883870320184 | 51069.566666666666 | 664.2 |
| DRESDEN/crossers3/xiPTxg | 76.89274534759726 | 74511.63333333333 | 969.0333333333333 |
| STANFORD/sukoshi/4LYZZQ | 76.98257554093985 | 134604.03333333333 | 1748.5 |
| BASE/cubicup_3player/e2yA_g | 76.98734831491905 | 12309.866666666667 | 159.89467017766074 |
| BASE/checkersTiny/Lr48cg | 77.16248487610095 | 44873.63333333333 | 581.5472817572747 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 77.1679146589945 | 116223.86666666667 | 1506.1164627845737 |
| BASE/reversiSuicide/9OxJlg | 77.43475825892857 | 2310.1 | 29.832856096424052 |
| BASE/reversi/d8UMeA | 77.73132828062523 | 2375.4333333333334 | 30.55953610824141 |
| DRESDEN/hitori/S8Gsyg | 77.74874748174845 | 9346.433333333332 | 120.21329778370271 |
| BASE/crossers3/O0rORg | 78.18035149384886 | 74141.03333333334 | 948.3333333333334 |
| BASE/nineBoardTicTacToe/wRmqqA | 78.70717649165587 | 34425.7 | 437.38959437389593 |
| BASE/breakthroughSmall/HJ0tIA | 78.84329375121666 | 67503.0 | 856.1666666666666 |
| BASE/connectFourLarge/aU644A | 79.01641518061271 | 57602.96666666667 | 729.0 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 79.23832718569781 | 30531.133333333335 | 385.3076461569229 |
| BASE/checkers-newgoals/0XkFiA | 79.6020233008782 | 18530.733333333334 | 232.79224025865804 |
| DRESDEN/tictactoelarge/IwXcbg | 79.62955985210654 | 112710.33333333333 | 1415.4333333333334 |
| BASE/hitori/S8Gsyg | 79.70741599073001 | 9171.666666666666 | 115.06666666666666 |
| BASE/ticTacToeLarge/TZC0dg | 81.00938095238095 | 113413.13333333333 | 1400.0 |
| BASE/ticTacToeLargeSuicide/727_8g | 81.26325415734124 | 112557.73333333334 | 1385.1 |
| BASE/checkersTorus/2vm1EQ | 81.59474954737478 | 45067.5 | 552.3333333333334 |
| BASE/3pConnectFour/PqXOFQ | 83.19552832419649 | 51597.86666666667 | 620.2 |
| BASE/ticTacToeSerial/Amrwqw | 84.0694392442614 | 97299.16666666667 | 1157.3666666666666 |
| BASE/amazons_8x8/7SOsIw | 85.17486191288039 | 33305.1 | 391.0202993233559 |
| BASE/checkLines/Vop7oQ | 85.30405405405405 | 103104.16666666667 | 1208.6666666666667 |
| BASE/asteroidsSerial/id2QkA | 85.80224399494311 | 271478.3 | 3164.0 |
| DRESDEN/backgammon/mqCW0Q | 86.52825116619141 | 26297.066666666666 | 303.9130724618359 |
| DRESDEN/lightsout/XgLpzQ | 87.11530145871535 | 106103.53333333334 | 1217.9666666666667 |
| DRESDEN/merrills/aYEzwA | 88.63078421821724 | 18195.9 | 205.3 |
| BASE/merrills/pku8Tg | 89.76054416804865 | 18040.666666666668 | 200.9866008932738 |
| BASE/breakthroughSuicide/wZDpIg | 90.13824376493656 | 49032.2 | 543.9666666666667 |
| BASE/amazons_10x10/Bun8dA | 90.28639599251348 | 27334.8 | 302.75657478084065 |
| BASE/connectFourLarger/qKi60A | 91.16230422715628 | 42699.0 | 468.38438718709375 |
| BASE/amazonsSuicide_10x10/XIbQkg | 91.58186776970375 | 27301.2 | 298.10704525761514 |
| STANFORD/duikoshi/tpw1sw | 91.80700214015256 | 55766.63333333333 | 607.4333333333333 |
| BASE/connectFourSimultaneous/7ITr3g | 92.58144999654434 | 44652.03333333333 | 482.3 |
| BASE/lightsOut/5P1ZBw | 93.05447608907816 | 104881.7 | 1127.1 |
| BASE/skirmishNew/sibw2g | 95.38447716134093 | 16218.0 | 170.02766574447517 |
| BASE/skirmishZeroSum/zh4hcw | 96.3225867611336 | 15859.533333333333 | 164.650201646502 |
| BASE/breakthroughWalls/vOZaYA | 97.78579553344035 | 50765.433333333334 | 519.1493616879437 |
| BASE/asteroidsParallel/WauZiA | 98.22582499948662 | 318886.86666666664 | 3246.4666666666667 |
| DRESDEN/pawntoqueen/f_x6Aw | 98.43946773566569 | 2249.0333333333333 | 22.846866049423834 |
| DRESDEN/breakthrough/z4hK7Q | 99.05030914415882 | 50730.26666666667 | 512.1666666666666 |
| BASE/pawnToQueen/-O1_JA | 99.86954488636363 | 2342.2 | 23.452595109600907 |
| BASE/breakthrough/TGxk-g | 100.07604438642298 | 51105.5 | 510.6666666666667 |
| BASE/amazonsTorus_10x10/Uxc08g | 100.30289224339143 | 20530.633333333335 | 204.68635424305046 |
| DRESDEN/brawl/2kXtfQ | 100.7288347628866 | 16282.866666666667 | 161.650501616505 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 100.9643203412837 | 52067.3 | 515.7 |
| BASE/brawl/6Ymo_Q | 102.19197970502701 | 16396.766666666666 | 160.4506216045062 |
| DRESDEN/amazons/dNB28A | 102.21182887700535 | 3819.6666666666665 | 37.370103916866505 |
| DRESDEN/knightazons/02I8BQ | 106.59353421415153 | 28370.7 | 266.15779474017535 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 106.60434365955757 | 65644.76666666666 | 615.7794740175327 |
| BASE/dotsAndBoxes/EHwA_w | 106.6865249768984 | 65423.73333333333 | 613.2333333333333 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 108.088583988933 | 19966.233333333334 | 184.72101859876008 |
| BASE/knightazons/apnJBQ | 108.57995594210479 | 27671.566666666666 | 254.8496766882208 |
| BASE/speedChess/bPnisA | 108.68916336564124 | 17192.333333333332 | 158.17890947873616 |
| BASE/mineClearingSmall/frsbvw | 116.19764400194269 | 39872.5 | 343.1437904139724 |
| DRESDEN/battlebrushes/QHXV4A | 116.97136095444685 | 10784.4 | 92.19692676910769 |
| DRESDEN/skirmish/RjGQYQ | 119.03241373015874 | 31661.566666666666 | 265.991133628879 |
| DRESDEN/skirmish2/iPpWhQ | 120.39201383385863 | 35650.9 | 296.1234625512483 |
| BASE/hex/T1MK8g | 120.71098978503314 | 24893.8 | 206.2264591180294 |
| BASE/hexPie/48CH6Q | 121.60217199612403 | 23700.366666666665 | 194.90084985835693 |
| BASE/ticTacHeaven/18n58A | 127.03661186536372 | 32498.033333333333 | 255.81627891473903 |
| STANFORD/platformjumpers/HEQskA | 128.23701869712352 | 30312.2 | 236.37636236376363 |
| BASE/sudoku/NTaNkw | 129.26428652017054 | 13134.933333333332 | 101.6130107311871 |
| STANFORD/hex/MTqWcw | 132.7758800761641 | 25564.8 | 192.54099453406212 |
| BASE/ticTacHeavenFC/mrletw | 141.04295361773922 | 32506.066666666666 | 230.46927076389815 |
| BASE/coins/QnGtnQ | 144.3468708388815 | 43361.8 | 300.4 |
| BASE/zhadu/DlA8iQ | 144.4251496969697 | 3172.7 | 21.967780588470244 |
| BASE/quad_7x7/q-JOXg | 144.86243098384418 | 626.3457884737176 | 4.323728272539973 |
| BASE/coins_atomic/AA3SSw | 147.7162442874948 | 47407.066666666666 | 320.93333333333334 |
| STANFORD/selectivesukoshi/3xmXYg | 153.20710860595344 | 11547.966666666667 | 75.37487504165279 |
| DRESDEN/coins/QwFP9w | 155.37987435008665 | 47815.566666666666 | 307.73333333333335 |
| BASE/blokbox_simple/JBx4bg | 157.24416053155056 | 129.16555585177287 | 0.8214330847971693 |
| DRESDEN/skirmishfinal/hzq8ww | 161.74040143663416 | 10503.533333333333 | 64.94069039051047 |
| BASE/skirmishFinal3/-Olhfw | 162.07925836923567 | 11285.366666666667 | 69.62869142057197 |
| BASE/skirmishHoles/AUCxCA | 163.71235141242937 | 7724.133333333333 | 47.181127548980406 |
| BASE/strangeSkirmish/gc1zKA | 163.81407389812617 | 6892.666666666667 | 42.07615684445481 |
| BASE/chess_200/XsTpYA | 165.01004944485567 | 7429.466666666666 | 45.024328467639805 |
| BASE/skirmishFinal2/gdB62Q | 165.1296439790576 | 10508.0 | 63.63484924204565 |
| BASE/skirmish/Y_psYQ | 166.0632703510082 | 7408.5 | 44.61251416005864 |
| BASE/skirmishFinal1/ecWTnQ | 166.5028782986111 | 10652.633333333333 | 63.9786737754082 |
| BASE/battlebrushes/arCwyA | 166.6163360557769 | 11150.7 | 66.92441007865618 |
| BASE/othelloHoles/c0qAzw | 167.35248167539265 | 1059.3333333333333 | 6.329952939616889 |
| BASE/othello-comp2007/86ZoMw | 172.2743359477124 | 877.4 | 5.0930395126660235 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 173.57524844255664 | 608.5927604826345 | 3.506218576342948 |
| BASE/othelloSuicide/B442jg | 179.60860397350993 | 898.4 | 5.001987544719756 |
| BASE/majorities/ibJzSQ | 180.89675200493522 | 29317.5 | 162.06758648270346 |
| STANFORD/skirmish/w4V6Vw | 188.4294859734633 | 7725.966666666666 | 41.001898544449254 |
| BASE/slaughter/cOch8A | 190.59791878710772 | 4992.833333333333 | 26.195634060989835 |
| STANFORD/madness/UO_B3A | 193.4710791698693 | 8387.4 | 43.352215928023995 |
| STANFORD/duidoku/3SoMaA | 196.8978666666667 | 4718.0 | 23.961661341853034 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 201.1363902439024 | 2472.0 | 12.290167865707435 |
| BASE/snake_2008/i6K26g | 203.14151335240064 | 85228.56666666667 | 419.55268157728074 |
| BASE/snake_2009/7l-qAQ | 205.53449442295295 | 85003.4 | 413.5724285047663 |
| DRESDEN/snake_2009/zIYLVw | 205.55090125074128 | 84722.43333333333 | 412.1725218318779 |
| BASE/snake_2008_tweaked/bX0NJQ | 207.8979766536965 | 89049.63333333333 | 428.3333333333333 |
| DRESDEN/guess/PhxGhg | 217.20736828974177 | 174120.66666666666 | 801.6333333333333 |
| BASE/nonogram_5x5_1/qLKEZw | 217.7392101008848 | 58511.833333333336 | 268.7243758541382 |
| BASE/sudokuGrade6E/ihYFZA | 219.01087184065938 | 5311.3 | 24.251307505246675 |
| BASE/guess/SPpk1A | 219.55909239307869 | 179335.86666666667 | 816.8 |
| DRESDEN/snake_2008/E56l3A | 221.50297422339725 | 89369.06666666667 | 403.46666666666664 |
| BASE/sudokuGrade6H/ieE_9A | 222.9221454293629 | 5359.633333333333 | 24.04262404262404 |
| DRESDEN/babel/WdSW4A | 227.60432493233733 | 70074.7 | 307.87947470168655 |
| DRESDEN/snake_2009_big/DgC1NQ | 228.0343427693658 | 69276.83333333333 | 303.8 |
| BASE/sudokuGrade2/u80Tfw | 230.36506653560505 | 5855.633333333333 | 25.418929273411734 |
| BASE/sudokuGrade3/eI8dvg | 230.46566201027994 | 5787.354597873546 | 25.111569972690337 |
| BASE/qyshinsu/R08Lzw | 232.3686538972948 | 22522.766666666666 | 96.92687154189721 |
| STANFORD/sudoku/oJ1qyQ | 239.1474561637739 | 5967.333333333333 | 24.952526901422527 |
| BASE/sudokuGrade4/DTy07w | 239.99035812672176 | 5807.766666666666 | 24.2 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 243.06886620689656 | 3518.4 | 14.474910155730068 |
| BASE/sudokuGrade5/BQfUQA | 243.09753068640646 | 6014.1 | 24.739453268071788 |
| BASE/sudokuGrade1/tDRNRw | 246.67517067395264 | 6016.066666666667 | 24.388618644632505 |
| BASE/snake_2009_big/-oRfVw | 251.59552394649347 | 72303.73333333334 | 287.3808412772482 |
| DRESDEN/Zhadu/9zpQ5w | 260.7870766301212 | 15055.766666666666 | 57.73202745019655 |
| BASE/snake2p/I3wWPQ | 272.738561871817 | 94606.7 | 346.87687487500835 |
| BASE/amazons/RKKZjw | 329.58036999999996 | 766.0333333333333 | 2.3242686854600394 |
| BASE/amazonsSuicide/dE1QEQ | 347.1232577114428 | 768.7333333333333 | 2.2145831956104978 |
| DRESDEN/quad_7x7/q-JOXg | 375.2646877344109 | 629.1589033803567 | 1.6765736930345985 |
| BASE/nonogram_10x10_1/0Xc62g | 417.03072961322704 | 15693.733333333334 | 37.63207893070231 |
| BASE/ruleDepthExponential/UamhHQ | 433.9154749482901 | 265285.9 | 611.3769047568867 |
Games with errors:
| Game | ALLOY_COMPILED_PROVER_CACHING:2 error message | GGP_BASE_PROVER:2015-04-26 error message |
| STANFORD/multiplesukoshi/vLSQPg | ArrayIndexOutOfBoundsException: 5 | |
| BASE/alexChess/LNo83g | Exception of type StackOverflowError | |
| BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | |
| 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 |