Game-by-game performance:
| Game | Perf ratio | ALLOY_DIFF_PROP_NET:1 states per second | GGP_BASE_PROVER:2015-04-26 states per second |
| BASE/pancakes88/l2Xaig | 0.010169728347787338 | 179.53333333333333 | 17653.7 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 0.012060396759360315 | 177.12742908569714 | 14686.7 |
| BASE/ruleDepthExponential/UamhHQ | 0.49923894221911663 | 305.22315922802574 | 611.3769047568867 |
| BASE/gt_two_thirds_4p/DStnxQ | 0.6519241287803093 | 720.8759708009733 | 1105.7666666666667 |
| BASE/kalaha_2009/dRiN3g | 0.7078178504363195 | 1708.7666666666667 | 2414.133333333333 |
| DRESDEN/kalaha_2009/gcC8uA | 0.736212690254991 | 1738.1 | 2360.866666666667 |
| BASE/gt_two_thirds_2p/1APDGg | 1.0746764022568869 | 2698.3333333333335 | 2510.8333333333335 |
| BASE/racer/QQYQNw | 1.2291278448144187 | 2682.366666666667 | 2182.3333333333335 |
| DRESDEN/racer/vk_ZBA | 1.2428887005991647 | 2738.1666666666665 | 2203.0666666666666 |
| DRESDEN/smallest/9kaGFw | 1.2776522219010327 | 3241.233333333333 | 2536.866666666667 |
| DRESDEN/pancakes/hl9aiQ | 1.3673595615348648 | 30802.6 | 22527.066666666666 |
| BASE/pancakes6/QZTdnw | 1.444580430172675 | 31790.4 | 22006.666666666668 |
| DRESDEN/pancakes6/SZXMyQ | 1.4614968791542118 | 31992.8 | 21890.433333333334 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 1.4822139153502953 | 7375.2 | 4975.8 |
| BASE/pancakes/yUgbXw | 1.4871230638878898 | 32528.933333333334 | 21873.733333333334 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 1.4910293112040889 | 8576.5 | 5752.066666666667 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 1.5314344154677502 | 7387.333333333333 | 4823.8 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 1.7382242240035277 | 7358.366666666667 | 4233.266666666666 |
| DRESDEN/satlike_20v_91c/yeuENQ | 1.900049966532798 | 945.5 | 497.6184924890917 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 1.9907928230337077 | 944.9 | 474.63502433171124 |
| BASE/colonelBlotto/jip21A | 2.058790264929633 | 6431.866666666667 | 3124.1 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 2.0999305314685315 | 1000.3666666666667 | 476.38083816376843 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 2.488287765610269 | 1143.7 | 459.6333333333333 |
| BASE/kalaha6x2x4/XS81Mg | 3.154305646391977 | 7234.4 | 2293.5 |
| DRESDEN/crossers3/xiPTxg | 3.546184419462103 | 3436.370908606093 | 969.0333333333333 |
| BASE/crossers3/O0rORg | 3.6928998242530753 | 3502.1 | 948.3333333333334 |
| BASE/gt_attrition/kD_SCA | 4.478000339763092 | 9665.166666666666 | 2158.366666666667 |
| BASE/gt_staghunt/xPjLRA | 5.0641405093854654 | 43345.666666666664 | 8559.333333333334 |
| BASE/snakeAssemblit/UO4sdg | 5.203368940016434 | 2110.8333333333335 | 405.6666666666667 |
| BASE/gt_prisoner/klthDw | 5.30980922312848 | 43335.3 | 8161.366666666667 |
| BASE/knightfight/SJRkAg | 5.4170941149530565 | 15770.966666666667 | 2911.3333333333335 |
| BASE/gt_chicken/gmepTQ | 5.502673820270104 | 41777.03333333333 | 7592.133333333333 |
| DRESDEN/gt_prisoner/huCp4w | 5.574818076193971 | 39504.833333333336 | 7086.3 |
| DRESDEN/amazons/dNB28A | 5.5998417112299474 | 209.26666666666668 | 37.370103916866505 |
| DRESDEN/knightfight/4_Ly4w | 5.903148808161396 | 18053.6 | 3058.3 |
| BASE/shmup/ssTNlg | 5.910049620779691 | 17428.933333333334 | 2949.0333333333333 |
| DRESDEN/gt_chicken/CeuKtw | 6.063990604535961 | 44232.566666666666 | 7294.3 |
| DRESDEN/chinesecheckers4/-oVNYg | 6.195155414675686 | 4364.9 | 704.5666666666667 |
| BASE/kalaha5x2x3/WviNsw | 6.322827125119389 | 15446.666666666666 | 2443.0 |
| BASE/colonelBlottoVariant2/jruwGw | 6.878596845547221 | 47682.433333333334 | 6932.0 |
| DRESDEN/gt_ultimatum/pAiiQw | 7.061778656637328 | 54639.1 | 7737.3 |
| DRESDEN/chinesecheckers6/yTbPDA | 7.475789120214909 | 7420.966666666666 | 992.6666666666666 |
| BASE/gt_ultimatum/GE-uOA | 7.596098015116312 | 62009.73333333333 | 8163.366666666667 |
| BASE/gt_tinfoil/Q8DyKg | 8.459918964010487 | 88737.5 | 10489.166666666666 |
| DRESDEN/knightstour/cGISAA | 8.89115672549452 | 130365.4 | 14662.366666666667 |
| DRESDEN/Runners/3bOCQw | 9.109178846734121 | 139873.56666666668 | 15355.233333333334 |
| BASE/eightPuzzle/vLrgFg | 9.331281383487722 | 31529.466666666667 | 3378.9 |
| BASE/colonelBlottoVariant/X-n-KQ | 9.510159566005102 | 61765.63333333333 | 6494.7 |
| BASE/coloredtrails/EZvr7g | 9.86835257966992 | 26548.5 | 2690.266666666667 |
| DRESDEN/8puzzle/8fKC2w | 10.160887225868418 | 33853.36666666667 | 3331.733333333333 |
| DRESDEN/chinesecheckers3/QsCb2A | 10.211270120660188 | 13343.066666666668 | 1306.7 |
| DRESDEN/roshambo2/jgSlkQ | 10.382546361990508 | 141458.73333333334 | 13624.666666666666 |
| STANFORD/8puzzle/jNiGtw | 10.441122475740887 | 37157.86666666667 | 3558.8 |
| BASE/racer4/0vs7Ww | 10.588752942992782 | 9144.8 | 863.6333333333333 |
| BASE/roshambo2/KNPokQ | 10.636996498029204 | 141949.3 | 13344.866666666667 |
| STANFORD/eightpuzzle/W_aWbA | 10.879133793794372 | 37645.066666666666 | 3460.3 |
| BASE/ruleDepthLinear/OUBJpQ | 10.939054942814455 | 354110.7 | 32371.233333333334 |
| STANFORD/knightstourbig/TQUI2g | 11.029668403075156 | 145954.86666666667 | 13232.933333333332 |
| BASE/nim3/1OwUqw | 11.715804692120654 | 89139.7 | 7608.5 |
| DRESDEN/nim3/sG_axA | 12.080365218140315 | 93498.0 | 7739.666666666667 |
| DRESDEN/battlebrushes/QHXV4A | 12.205576301564227 | 1125.3166244500733 | 92.19692676910769 |
| BASE/tron_10x10/7ZTgDg | 12.594912937540858 | 35322.433333333334 | 2804.5 |
| BASE/knightsTourLarge/M8jgLA | 13.174919218266405 | 180489.36666666667 | 13699.466666666667 |
| BASE/wargame02/BkVqqQ | 13.50894542880259 | 5936.533333333334 | 439.4520182660578 |
| BASE/nim4/twk16w | 13.818554789720663 | 103851.96666666666 | 7515.4 |
| DRESDEN/nim4/F5YAYg | 13.885445924178143 | 102004.8 | 7346.166666666667 |
| STANFORD/breakthrough/d5j0cQ | 14.104391520233104 | 15812.433333333332 | 1121.1 |
| BASE/gt_dollar/TGjqRw | 14.154116431899473 | 104603.16666666667 | 7390.3 |
| DRESDEN/skirmish3/3LU8Nw | 14.262130992964385 | 6554.4 | 459.56666666666666 |
| DRESDEN/chinesecheckers2/06E6-Q | 14.280623355412395 | 20984.9 | 1469.4666666666667 |
| BASE/gt_centipede/9fRMpw | 14.506589970013568 | 157870.86666666667 | 10882.7 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 14.674324446686589 | 37814.26666666667 | 2576.9 |
| DRESDEN/knightazons/02I8BQ | 15.050595595908996 | 4005.8333333333335 | 266.15779474017535 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 15.290358584351033 | 39272.26666666667 | 2568.4333333333334 |
| BASE/knightazons/apnJBQ | 15.41510032260877 | 3928.5333333333333 | 254.8496766882208 |
| BASE/ad_game_2x2/D0aWqg | 16.578714332568055 | 13479.6 | 813.0666666666667 |
| BASE/crisscross/ICagEg | 16.893149974052932 | 21702.066666666666 | 1284.6666666666667 |
| DRESDEN/crisscross/GsY16g | 16.970925663994972 | 21597.2 | 1272.6 |
| DRESDEN/quartosuicide/WIU1oQ | 17.592977250247277 | 24901.1 | 1415.4 |
| DRESDEN/endgame/IJhh3Q | 17.737695837949044 | 7472.3 | 421.26666666666665 |
| BASE/endgame/jYjfOA | 18.17071455617461 | 11197.4 | 616.2333333333333 |
| DRESDEN/knightthrough/J7Fc_Q | 18.533416135937212 | 23377.433333333334 | 1261.3666666666666 |
| BASE/smallest_4player/ADDROA | 18.582012155130954 | 70831.53333333334 | 3811.8333333333335 |
| DRESDEN/quarto/OQzRYQ | 18.673767455115417 | 26210.5 | 1403.6 |
| DRESDEN/blocks2player/3ev8nQ | 19.873838807697872 | 137348.1 | 6911.0 |
| BASE/aipsrovers01/4C4jsw | 19.88233199754558 | 87486.9 | 4400.233333333334 |
| DRESDEN/aipsrovers01/qS47Mw | 19.899197361353817 | 87681.83333333333 | 4406.3 |
| BASE/nim2/eF2Qqw | 20.125365876143725 | 174643.9 | 8677.8 |
| BASE/blocks2player/wnTLOQ | 20.16215797225021 | 138726.4 | 6880.533333333334 |
| DRESDEN/blobwars/ZaMluQ | 20.263998974475843 | 5927.5 | 292.5138324111726 |
| DRESDEN/nim2/z5_exA | 20.412018249765 | 178062.2 | 8723.4 |
| BASE/quartoSuicide/-23jUg | 20.450903943001695 | 29373.633333333335 | 1436.3 |
| BASE/blobwars/0XT15Q | 20.49347803327725 | 6089.166666666667 | 297.1270497267031 |
| BASE/quarto/EwBMVQ | 20.776862633721482 | 29262.133333333335 | 1408.4 |
| DRESDEN/smallest_4player/ADDROA | 21.244511063771306 | 82440.03333333334 | 3880.5333333333333 |
| BASE/gt_coordination/IVMOzA | 21.244858592862517 | 192005.36666666667 | 9037.733333333334 |
| BASE/knightThrough/gcwFjA | 21.522174319394615 | 23795.633333333335 | 1105.6333333333334 |
| STANFORD/knightstourmedium/x1wu8Q | 21.63665158884014 | 318091.23333333334 | 14701.5 |
| BASE/pacman2p/4LEdQg | 21.84328763158847 | 20127.133333333335 | 921.4333333333333 |
| STANFORD/knightstour/cEwgNA | 22.20637166112576 | 322843.63333333336 | 14538.333333333334 |
| BASE/wargame03/klXI8w | 22.462831219713372 | 14524.466666666667 | 646.6 |
| BASE/twisty-passages/DiZmmg | 22.515276508508908 | 151929.33333333334 | 6747.833333333333 |
| BASE/knightsTour/mvtVIg | 22.637616366329542 | 307693.5 | 13592.133333333333 |
| STANFORD/threepuzzle/41ibjA | 22.715426055215183 | 223197.23333333334 | 9825.8 |
| DRESDEN/twisty-passages/j7NPyg | 22.72782629242023 | 153902.23333333334 | 6771.533333333334 |
| DRESDEN/pacman3p/rBnk8Q | 22.814392215883238 | 21727.666666666668 | 952.3666666666667 |
| DRESDEN/frogs_and_toads/GjchhQ | 22.881275127192517 | 21437.466666666667 | 936.9 |
| BASE/haystack/UkweGA | 22.94508181237575 | 850260.6 | 37056.333333333336 |
| BASE/nim1/hin2Qw | 23.239602464498333 | 223547.93333333332 | 9619.266666666666 |
| STANFORD/3puzzle/41ibjA | 23.46684913684225 | 226061.63333333333 | 9633.233333333334 |
| BASE/minichess/8NQEiA | 23.651712580075763 | 39751.433333333334 | 1680.7 |
| BASE/wargame01/_GZFZg | 23.786793705337967 | 20305.2 | 853.6333333333333 |
| DRESDEN/max_knights/hCipiA | 23.850011391539883 | 31404.9 | 1316.7666666666667 |
| BASE/onestep/xi53wA | 24.070291737842663 | 838404.3666666667 | 34831.5 |
| DRESDEN/chinesecheckers1/Y-ftaA | 24.106408584896197 | 48073.0 | 1994.2 |
| DRESDEN/skirmish/RjGQYQ | 24.112081904761908 | 6413.6 | 265.991133628879 |
| STANFORD/hunter/14dD-g | 24.133806266095775 | 101833.4 | 4219.533333333334 |
| DRESDEN/cube_2x2x2/fp-34Q | 24.291615444607476 | 61256.166666666664 | 2521.7 |
| DRESDEN/nim1/M9BALA | 24.42170369566815 | 232630.56666666668 | 9525.566666666668 |
| DRESDEN/skirmish2/iPpWhQ | 24.5234423645505 | 7261.966666666666 | 296.1234625512483 |
| BASE/survival/YVIjJA | 24.71161135841654 | 707976.1333333333 | 28649.533333333333 |
| DRESDEN/buttons/ADUaHw | 24.818274054865167 | 561788.9333333333 | 22636.1 |
| STANFORD/buttonsandlights/eyhJpA | 24.89608627390328 | 922886.3 | 37069.53333333333 |
| DRESDEN/logistics/fPru1Q | 24.966715565775907 | 41980.7 | 1681.4666666666667 |
| DRESDEN/bidding-tictactoe/yW5vTA | 25.211761200700163 | 67696.1 | 2685.1 |
| BASE/hodgepodge/9yjRkw | 25.335781066897642 | 132604.1 | 5233.866666666667 |
| BASE/buttons/hTcUjw | 25.71038511838947 | 568147.2333333333 | 22097.966666666667 |
| BASE/asteroids/BKCmPQ | 25.72093514803886 | 206871.76666666666 | 8042.933333333333 |
| BASE/4pffa/Q3ADlg | 25.84097681900894 | 32662.133333333335 | 1263.9666666666667 |
| BASE/ttcc4/Le0qjQ | 26.14400601984668 | 18530.0 | 708.7666666666667 |
| DRESDEN/chomp/-LcqYQ | 26.37221587843349 | 70056.03333333334 | 2656.4333333333334 |
| DRESDEN/blocksworldparallel/2JfVaw | 26.40313499235368 | 75967.1 | 2877.2 |
| BASE/biddingTicTacToe/8mESVw | 26.496163777659717 | 71485.76666666666 | 2697.9666666666667 |
| BASE/max_knights/2fq3Ag | 26.571022964509392 | 31818.8 | 1197.5 |
| STANFORD/dualhunter/1rPZjQ | 26.59108284295843 | 55882.933333333334 | 2101.5666666666666 |
| STANFORD/alquerquezero/uVgA_A | 26.76525418882599 | 31202.933333333334 | 1165.8 |
| BASE/tttcc4/8Bs2lg | 26.799643309710422 | 19034.0 | 710.2333333333333 |
| DRESDEN/tttcc4/sAvtFg | 27.050031119835307 | 18833.133333333335 | 696.2333333333333 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 27.147873576000197 | 183098.83333333334 | 6744.5 |
| DRESDEN/fizzbuzz/t1xHzQ | 27.17635156758096 | 526509.2 | 19373.8 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 27.322973178763824 | 191381.03333333333 | 7004.4 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 27.65451019875452 | 24720.366666666665 | 893.9 |
| DRESDEN/catch_me/ghGWrA | 27.914077526780577 | 198823.6 | 7122.7 |
| BASE/hallway/ckCJOw | 27.988373109537548 | 10671.966666666667 | 381.3 |
| DRESDEN/3pffa/0YrmQw | 28.084256982789892 | 46453.23333333333 | 1654.0666666666666 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 28.244148348712102 | 184983.16666666666 | 6549.433333333333 |
| DRESDEN/hallway/0H4l-Q | 28.325602409744132 | 10774.7 | 380.3873204226526 |
| BASE/3pffa/pR0dzA | 28.39751805973867 | 41800.2 | 1471.9666666666667 |
| DRESDEN/brawl/2kXtfQ | 28.41438754639175 | 4593.2 | 161.650501616505 |
| DRESDEN/javastrike/whONTQ | 28.543528146679883 | 7679.6 | 269.04873008466103 |
| BASE/point_grab/V_osUg | 28.57602344587848 | 412119.6 | 14421.866666666667 |
| BASE/maze/cCX3qQ | 28.595051729096546 | 490504.26666666666 | 17153.466666666667 |
| BASE/brawl/6Ymo_Q | 28.77541568342335 | 4617.033333333334 | 160.4506216045062 |
| STANFORD/ttcc4/Cx9SGw | 29.38229994700583 | 27722.2 | 943.5 |
| BASE/crissrace/ERWGDA | 29.48767200820687 | 27786.233333333334 | 942.3 |
| BASE/2pffa_zerosum/o0_uZA | 29.553360286825846 | 51655.333333333336 | 1747.8666666666666 |
| DRESDEN/point_grab/r5DPmQ | 29.603548825619207 | 413029.7 | 13952.033333333333 |
| BASE/hanoi7_bugfix/3gdnFw | 29.606325839454485 | 194946.8 | 6584.633333333333 |
| BASE/chomp/-LcqYQ | 29.736648409132872 | 80531.8 | 2708.1666666666665 |
| BASE/beatMania/qUHwvQ | 30.057084938171496 | 222407.4 | 7399.5 |
| BASE/solitaireChineseCheckers/-ET6gw | 30.12313258636788 | 51619.0 | 1713.6 |
| BASE/3pttc/0sol9g | 30.143905622737236 | 40797.76666666667 | 1353.4333333333334 |
| DRESDEN/sheep_and_wolf/enAIzQ | 30.338826120650978 | 24793.9 | 817.2333333333333 |
| BASE/chinook/XQh0IQ | 30.482777503970205 | 18554.866666666665 | 608.7 |
| STANFORD/chinook/osFbPA | 30.523439071539993 | 17174.966666666667 | 562.6812439585348 |
| DRESDEN/circlesolitaire/ruUilQ | 30.649116458597188 | 220216.96666666667 | 7185.1 |
| BASE/circlesolitaire/azuQFQ | 30.72556779558428 | 219972.53333333333 | 7159.266666666666 |
| DRESDEN/Thief_Police/CX18rA | 30.734994840779297 | 200562.23333333334 | 6525.533333333334 |
| BASE/checkers-mustjump-torus/uSApKQ | 30.85374686669199 | 5415.5 | 175.52163189120725 |
| BASE/sheepAndWolf/g4THrg | 30.873606253857233 | 25012.766666666666 | 810.1666666666666 |
| BASE/blocks/xIV5hQ | 30.95238792039738 | 260883.23333333334 | 8428.533333333333 |
| BASE/troublemaker02/DI83KA | 31.411572911321755 | 581569.5666666667 | 18514.5 |
| DRESDEN/3pttc/uwYBZw | 31.551362959067404 | 47995.933333333334 | 1521.2 |
| DRESDEN/hanoi/RQ0jiA | 31.619852744371304 | 232335.3 | 7347.766666666666 |
| DRESDEN/troublemaker02/iZLVuA | 31.712420531240145 | 566824.6333333333 | 17873.9 |
| BASE/pearls/6k_mEQ | 32.14596041230558 | 808770.9333333333 | 25159.333333333332 |
| DRESDEN/crissrace/KWb9bw | 32.273375891851295 | 28648.0 | 887.6666666666666 |
| BASE/blocksWorld/SEdXLQ | 32.685690047142955 | 292816.93333333335 | 8958.566666666668 |
| DRESDEN/hanoi_6_disks/MeubgQ | 32.76334629911494 | 193729.66666666666 | 5913.0 |
| DRESDEN/mimikry/GJEhwA | 32.85066572126369 | 27798.233333333334 | 846.2 |
| DRESDEN/blocks/vg0DRw | 32.9876271025373 | 289274.0 | 8769.166666666666 |
| BASE/hanoi_6_disks/MeubgQ | 33.15218590416541 | 186318.6 | 5620.1 |
| BASE/choicethroughalt/tt71Lg | 33.240213643431815 | 16388.533333333333 | 493.03333333333336 |
| BASE/asteroidsParallel/WauZiA | 33.32758691500503 | 108196.9 | 3246.4666666666667 |
| BASE/stateSpaceLarge/0Ge_CQ | 33.77726185173652 | 285639.6666666667 | 8456.566666666668 |
| BASE/rubiksCube/9tNO9Q | 33.88357424441524 | 25785.4 | 761.0 |
| DRESDEN/troublemaker01/C-lPWw | 34.01017052084257 | 664563.2666666667 | 19540.133333333335 |
| BASE/troublemaker01/s3tlEQ | 34.29207836853024 | 687633.9 | 20052.266666666666 |
| BASE/switches/tPUoCg | 34.468111989444296 | 390100.9 | 11317.733333333334 |
| DRESDEN/hanoi7/51zz5Q | 34.646042099955885 | 219891.5 | 6346.8 |
| BASE/skirmishNew/sibw2g | 34.67533733908384 | 5895.766666666666 | 170.02766574447517 |
| BASE/incredible/8Qh-6Q | 34.81413270637409 | 115499.36666666667 | 3317.6 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 34.853738474102485 | 322932.6666666667 | 9265.366666666667 |
| BASE/2pffa/6oHijA | 35.26860108610705 | 58666.96666666667 | 1663.4333333333334 |
| STANFORD/untwistycorridor/EDPPAQ | 35.54472907744329 | 836042.8333333334 | 23520.866666666665 |
| BASE/hanoi/iGLsJg | 36.126219629688016 | 274978.3333333333 | 7611.6 |
| STANFORD/freeforall/Lfp40Q | 36.372313362578375 | 60527.166666666664 | 1664.1 |
| BASE/blockerParallel/7-nDJA | 36.641305140357275 | 33502.36666666667 | 914.3333333333334 |
| BASE/guess/SPpk1A | 36.88263140711721 | 30125.733333333334 | 816.8 |
| DRESDEN/sum15/CsgWKg | 37.02678992547873 | 157008.4 | 4240.4 |
| DRESDEN/tictactoeparallel/yk_DSg | 37.33141365967785 | 55315.2 | 1481.7333333333333 |
| DRESDEN/blockerparallel/dVQgSg | 37.33170947741364 | 33718.0 | 903.2 |
| DRESDEN/Goldrush/VeWczQ | 37.357749691595096 | 53500.03333333333 | 1432.1 |
| BASE/untwistycomplex2/EDPPAQ | 37.37271957746603 | 847695.5 | 22682.2 |
| DRESDEN/minichess/c7GMFw | 37.405359946176276 | 44477.46666666667 | 1189.0666666666666 |
| BASE/hex/T1MK8g | 37.4588209148214 | 7725.0 | 206.2264591180294 |
| BASE/pacman3p/wW7UVQ | 37.464136849578814 | 34590.73333333333 | 923.3025565814473 |
| BASE/breakthroughHoles/nZk0Sg | 37.786815763369106 | 27934.533333333333 | 739.2666666666667 |
| STANFORD/bestbuttonsandlights/nm0wEA | 37.799837690568665 | 434723.3333333333 | 11500.666666666666 |
| BASE/2pttc/unkkYA | 38.262916092386085 | 61075.26666666667 | 1596.2 |
| BASE/ticTacToeParallel/ymRGPw | 38.64035295230886 | 54446.833333333336 | 1409.0666666666666 |
| BASE/skirmishZeroSum/zh4hcw | 38.71581451417004 | 6374.566666666667 | 164.650201646502 |
| BASE/sum15/QZ07Kg | 38.82440865013998 | 159484.2 | 4107.833333333333 |
| BASE/ttcc4_2player/_aH_Mw | 39.03586424244992 | 30718.9 | 786.9404353188227 |
| BASE/ttcc4_2player_alt/ZEJvYA | 39.672739965095985 | 37887.46666666667 | 955.0 |
| BASE/snakeParallel/RCVNtw | 40.05800527030265 | 167215.46666666667 | 4174.333333333333 |
| DRESDEN/queens/mW2wHQ | 40.06140908453789 | 20323.133333333335 | 507.2995133657756 |
| DRESDEN/tictactoex9/rFkD4w | 40.44501622105381 | 24102.533333333333 | 595.9333333333333 |
| BASE/ghostMaze2p/W-NU-w | 40.63844598273314 | 104497.7 | 2571.4 |
| BASE/escortLatch/mX9BjQ | 40.87739448374533 | 34285.23333333333 | 838.7333333333333 |
| DRESDEN/ghostmaze2p/HY0UwA | 41.37064564165293 | 103718.96666666666 | 2507.0666666666666 |
| BASE/duplicateStateLarge/dcjyuw | 41.433843592147426 | 197410.16666666666 | 4764.466666666666 |
| BASE/speedChess/bPnisA | 41.735231043685914 | 6601.633333333333 | 158.17890947873616 |
| BASE/asteroidsSerial/id2QkA | 41.740486725663715 | 132066.9 | 3164.0 |
| BASE/racetrackcorridor/_RkdUg | 41.8049634410651 | 58508.833333333336 | 1399.5666666666666 |
| STANFORD/hex/MTqWcw | 41.912632785182616 | 8069.9 | 192.54099453406212 |
| BASE/tictactoex9/BI26ow | 41.92138241078955 | 24866.366666666665 | 593.1666666666666 |
| DRESDEN/racetrackcorridor/O0DoTA | 42.17062404501468 | 57957.9 | 1374.3666666666666 |
| DRESDEN/4pttc/9pB9AQ | 42.26660070671378 | 49839.36666666667 | 1179.1666666666667 |
| BASE/4pttc/AL1k2Q | 42.36142588875219 | 43612.5 | 1029.5333333333333 |
| BASE/hexPie/48CH6Q | 42.38821947674419 | 8261.5 | 194.90084985835693 |
| DRESDEN/guess/PhxGhg | 42.66406087571209 | 34200.933333333334 | 801.6333333333333 |
| BASE/cittaceot/fDxhXg | 42.84462865843343 | 42209.1 | 985.1666666666666 |
| BASE/catcha_mouse/cHv4dw | 42.86657738934311 | 60819.1 | 1418.8 |
| BASE/queens/HyJJnQ | 42.870313238866395 | 21173.7 | 493.9012197560488 |
| DRESDEN/tictictoe/LAUtwg | 43.37289571709485 | 90433.93333333333 | 2085.0333333333333 |
| BASE/stateSpaceMedium/3bUoIw | 43.51604648800323 | 528318.1666666666 | 12140.766666666666 |
| BASE/chickentoetictac/l57rfQ | 44.92810836658383 | 191044.8 | 4252.233333333334 |
| DRESDEN/toetictac/mJtxCA | 45.3965128699907 | 219575.36666666667 | 4836.833333333333 |
| BASE/checkersTorusNoKings/pwb6oQ | 45.47450002444868 | 30999.966666666667 | 681.7 |
| BASE/amazonsTorus_10x10/Uxc08g | 45.57509480540629 | 9328.6 | 204.68635424305046 |
| DRESDEN/chickentoetictac/cxYaRQ | 45.691402234822114 | 183734.26666666666 | 4021.2 |
| BASE/toetictac/mTThmg | 45.892502848250764 | 220204.46666666667 | 4798.266666666666 |
| DRESDEN/statespacemedium/dVJZ_w | 46.04608903073338 | 555948.2 | 12073.733333333334 |
| DRESDEN/statespacelarge/8-y5HQ | 46.26061425892336 | 401258.4 | 8673.866666666667 |
| BASE/stateSpaceSmall/Q7osKA | 46.446612143642284 | 767630.9 | 16527.166666666668 |
| DRESDEN/statespacesmall/h-NqjA | 46.57845579936933 | 788292.2333333333 | 16923.966666666667 |
| DRESDEN/capture_the_king/EQ229Q | 46.982748717948716 | 5678.7 | 120.86776859504133 |
| BASE/checkers/rOC3Xg | 47.163078523140925 | 15115.766666666666 | 320.5 |
| DRESDEN/connect5/1kYzSg | 47.20468379682722 | 21949.666666666668 | 464.98916847192135 |
| BASE/amazonsSuicide_10x10/XIbQkg | 47.421444382336496 | 14136.666666666666 | 298.10704525761514 |
| BASE/numbertictactoe/rvJ-iQ | 47.48735094692541 | 101551.7 | 2138.5 |
| BASE/checkersTorus/2vm1EQ | 47.512552806276396 | 26242.766666666666 | 552.3333333333334 |
| DRESDEN/latenttictactoe/kITHKg | 47.51992337891403 | 83519.43333333333 | 1757.5666666666666 |
| BASE/breakthroughSuicide/wZDpIg | 47.72792450517802 | 25962.4 | 543.9666666666667 |
| BASE/eotcitcit/V_9_bg | 47.97459977993708 | 103188.56666666667 | 2150.9 |
| BASE/tpeg/QNs7Lw | 48.21927934778017 | 38049.833333333336 | 789.1 |
| BASE/connect5/d-BVQg | 48.25023516416453 | 21961.166666666668 | 455.15149495016834 |
| BASE/breakthroughWalls/vOZaYA | 48.35904369609417 | 25105.566666666666 | 519.1493616879437 |
| BASE/chineseCheckers3/-1rZdQ | 48.410648654018075 | 113715.0 | 2348.9666666666667 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 48.84796125465832 | 328129.6666666667 | 6717.366666666667 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 48.868019448805164 | 9336.5 | 191.05542040190622 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 49.13457436494085 | 25338.7 | 515.7 |
| BASE/blocksWorldSerial/Wyg96Q | 49.28477093772369 | 183602.2 | 3725.3333333333335 |
| DRESDEN/tpeg/h-Scbg | 49.46454600017149 | 38460.333333333336 | 777.5333333333333 |
| DRESDEN/catcha_mouse/cHv4dw | 49.764448624500346 | 70549.4 | 1417.6666666666667 |
| BASE/ticTicToe/c1OobQ | 49.94601301680948 | 106669.7 | 2135.7 |
| BASE/checkersBarrelNoKings/rnKNeg | 50.09821735500663 | 34005.0 | 678.7666666666667 |
| DRESDEN/breakthrough/z4hK7Q | 50.31317930361211 | 25768.733333333334 | 512.1666666666666 |
| BASE/tictactoe_orthogonal/WRzlVw | 50.427667261859845 | 200515.53333333333 | 3976.3 |
| BASE/amazons_10x10/Bun8dA | 50.53069453924915 | 15298.5 | 302.75657478084065 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 50.55378182616331 | 9595.833333333334 | 189.8143518981435 |
| BASE/breakthrough/TGxk-g | 50.800195822454306 | 25941.966666666667 | 510.6666666666667 |
| BASE/chineseCheckers2/eCMR3Q | 51.27037958929683 | 148304.7 | 2892.6 |
| STANFORD/tictictoe/rpt_Dw | 52.34141152983914 | 106621.2 | 2037.0333333333333 |
| BASE/ttcc4_2player_small/Cv72TA | 52.6475244189963 | 62524.2 | 1187.6 |
| BASE/brain_teaser_extended/ZDp94A | 52.69424084637834 | 211844.9 | 4020.266666666667 |
| BASE/breakthroughSuicideSmall/XSbJog | 53.08815703212371 | 45887.63333333333 | 864.3666666666667 |
| BASE/duplicateStateSmall/bCPAXw | 53.47218923895872 | 708520.7666666667 | 13250.266666666666 |
| BASE/breakthroughSmall/HJ0tIA | 53.65030173252872 | 45933.6 | 856.1666666666666 |
| BASE/peg/fJHVWw | 54.44501679731243 | 40516.166666666664 | 744.1666666666666 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 54.75764689636126 | 52870.333333333336 | 965.5333333333333 |
| DRESDEN/peg_bugfixed/u_B7MA | 54.790885204312765 | 40315.13333333333 | 735.8 |
| STANFORD/rainbow/_4qNSQ | 54.904315080046054 | 499113.1666666667 | 9090.6 |
| BASE/bomberman2p/4CClwA | 55.092931253265654 | 73808.0 | 1339.7 |
| BASE/blockerSerial/3eqDuw | 55.73516827968059 | 81200.56666666667 | 1456.9 |
| DRESDEN/brain_teaser_extended/ZDp94A | 55.830690975196205 | 212934.53333333333 | 3813.9333333333334 |
| BASE/amazons_8x8/7SOsIw | 55.88217978575284 | 21851.066666666666 | 391.0202993233559 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 56.34376034060577 | 85137.3 | 1511.0333333333333 |
| DRESDEN/peg/Vo31eg | 56.40680697762609 | 39665.26666666667 | 703.2 |
| DRESDEN/grid_game/U7_Yeg | 56.581821021396216 | 60382.23333333333 | 1067.1666666666667 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 56.780518143626836 | 33488.03333333333 | 589.7803406553115 |
| BASE/duplicateStateMedium/U163eQ | 57.227466167154255 | 453174.76666666666 | 7918.833333333333 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 57.40820733815995 | 786861.7666666667 | 13706.433333333332 |
| STANFORD/tictactoe/ss1kyQ | 57.424178964965584 | 212970.96666666667 | 3708.733333333333 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 57.644418782172984 | 785362.9333333333 | 13624.266666666666 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 57.71227340063881 | 224656.56666666668 | 3892.7 |
| BASE/mummyMaze2p_2007/YGA3Vw | 57.79486656745021 | 94496.53333333334 | 1635.0333333333333 |
| STANFORD/trifecta/ss1kyQ | 58.073462621268746 | 197339.43333333332 | 3398.1 |
| BASE/checkersSmall/SYmq8w | 58.52111548375291 | 24871.766666666666 | 425.0049996666889 |
| BASE/lightsOnSimultaneous/_VN6lw | 60.448538846619556 | 111493.3 | 1844.4333333333334 |
| DRESDEN/tictactoe/BTTzPw | 60.592078494738786 | 207493.53333333333 | 3424.4333333333334 |
| DRESDEN/stratego/Z2wovg | 61.09212176201571 | 39331.833333333336 | 643.8118729375688 |
| DRESDEN/chickentictactoe/Ipbo-g | 61.20906436136927 | 176065.83333333334 | 2876.4666666666667 |
| BASE/checkers-mustjump/T-8UuQ | 61.35774398346375 | 13852.533333333333 | 225.76666666666668 |
| BASE/chickentictactoe/DSlZCA | 61.463329016426975 | 180345.7 | 2934.2 |
| BASE/pegEuro/5awwhg | 61.76709611709472 | 37275.2 | 603.4798840038666 |
| STANFORD/dualrainbow/G3OnRQ | 63.07948095820897 | 293780.06666666665 | 4657.3 |
| DRESDEN/bomberman2p/x4h6jQ | 63.81283664871207 | 79770.3 | 1250.0666666666666 |
| BASE/chineseCheckers6/rREH3A | 65.30353439933644 | 94476.8 | 1446.7333333333333 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 65.47123875622118 | 238980.93333333332 | 3650.1666666666665 |
| DRESDEN/eotcatcit/mQUxzA | 66.69505274165219 | 218979.86666666667 | 3283.3 |
| BASE/lightsOnSimul4/9FeASw | 67.09695597840182 | 94854.96666666666 | 1413.7 |
| BASE/ticTacToe/JRFsaQ | 67.86547171444232 | 235251.13333333333 | 3466.4333333333334 |
| BASE/eotcatcit/AfZSzA | 68.12622755679 | 228926.83333333334 | 3360.3333333333335 |
| BASE/copolymer_4_pie/IN5_jA | 68.56218448829738 | 99598.0 | 1452.6666666666667 |
| BASE/double_tictactoe_dengji/zgaSbA | 68.56822537813186 | 98978.23333333334 | 1443.5 |
| STANFORD/untwistycomplex/HTWEwg | 69.6097448567751 | 850853.8333333334 | 12223.2 |
| BASE/englishDraughts/jFkQxg | 71.6595402991067 | 47596.26666666667 | 664.2 |
| BASE/doubletictactoe/HH1htg | 73.30212156251571 | 97203.5 | 1326.0666666666666 |
| BASE/checkersTiny/Lr48cg | 74.76182022888366 | 43477.53333333333 | 581.5472817572747 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 75.34509601631926 | 107113.1 | 1421.6333333333334 |
| BASE/chess_200/XsTpYA | 75.62652124352331 | 3405.0333333333333 | 45.024328467639805 |
| BASE/queens06ug/7Lq3tw | 76.72685470192852 | 203569.13333333333 | 2653.1666666666665 |
| BASE/checkers-newgoals/0XkFiA | 77.42067911416572 | 18022.933333333334 | 232.79224025865804 |
| STANFORD/tictactoe7/-bE9-A | 77.49531482001686 | 257480.76666666666 | 3322.5333333333333 |
| BASE/skirmish/Y_psYQ | 77.82345526512323 | 3471.9 | 44.61251416005864 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 78.08781562317687 | 477395.06666666665 | 6113.566666666667 |
| BASE/tictactoe_3player/GtM71g | 78.11652516514182 | 73710.9 | 943.6018799373354 |
| BASE/mummymaze2p/vpjDdA | 78.62638099402419 | 89909.26666666666 | 1143.5 |
| BASE/copolymer_4/2LDVhQ | 78.88305727806788 | 128905.43333333333 | 1634.1333333333334 |
| DRESDEN/mummymaze2p/k-8edg | 79.3167452418369 | 90849.4 | 1145.4 |
| BASE/skirmishFinal1/ecWTnQ | 79.79846562499999 | 5105.4 | 63.9786737754082 |
| DRESDEN/skirmishfinal/hzq8ww | 79.95141364802463 | 5192.1 | 64.94069039051047 |
| DRESDEN/towerworld/HCX34w | 80.03866468646864 | 3232.7 | 40.38922953878966 |
| BASE/skirmishFinal2/gdB62Q | 80.72463534031412 | 5136.9 | 63.63484924204565 |
| STANFORD/pilgrimage/ObRZnQ | 80.77793697815893 | 51488.833333333336 | 637.4120862637913 |
| DRESDEN/tictactoe-init1/3ltIBQ | 81.84339202927175 | 262449.93333333335 | 3206.733333333333 |
| BASE/chineseCheckers4/avfBcQ | 82.20841048761507 | 102111.06666666667 | 1242.1 |
| DRESDEN/doubletictactoe/lJzgmQ | 83.13634368626236 | 107337.33333333333 | 1291.1 |
| BASE/doubletoetictac/fu35bg | 83.99917952925492 | 109204.53333333334 | 1300.0666666666666 |
| BASE/tictactoe-init1/7M19vA | 85.11202017137298 | 271169.73333333334 | 3186.0333333333333 |
| DRESDEN/doubletoetictac/V89gKQ | 85.42245305224378 | 111294.06666666667 | 1302.8666666666666 |
| BASE/skirmishHoles/AUCxCA | 85.74756214689266 | 4045.6666666666665 | 47.181127548980406 |
| BASE/skirmishFinal3/-Olhfw | 85.83817788415509 | 5976.8 | 69.62869142057197 |
| BASE/queens08ug/kJ_ZFQ | 86.3495772140632 | 142286.83333333334 | 1647.8 |
| DRESDEN/snake_2009/zIYLVw | 86.4513396193865 | 35632.86666666667 | 412.1725218318779 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 86.59556924164559 | 424630.0333333333 | 4903.6 |
| DRESDEN/backgammon/mqCW0Q | 87.28800788915697 | 26527.966666666667 | 303.9130724618359 |
| BASE/amazons/RKKZjw | 88.08505428571428 | 204.73333333333332 | 2.3242686854600394 |
| DRESDEN/ticblock/Z2yNWQ | 88.62909786585932 | 159056.73333333334 | 1794.6333333333334 |
| DRESDEN/bunk_t/7-tPfA | 88.66508939373573 | 109929.93333333333 | 1239.8333333333333 |
| BASE/strangeSkirmish/gc1zKA | 88.98309511744523 | 3744.0666666666666 | 42.07615684445481 |
| DRESDEN/tictactoe_3player/ESLQQQ | 89.59126321910551 | 86443.83333333333 | 964.8690087327511 |
| BASE/queens12ug/u6Bkmg | 90.88012286459649 | 71995.23333333334 | 792.2 |
| BASE/snake_2009/7l-qAQ | 90.94779392327531 | 37613.5 | 413.5724285047663 |
| BASE/ticblock/T21C1g | 91.0340436938748 | 158481.16666666666 | 1740.9 |
| BASE/snake_2008/i6K26g | 91.4721837928021 | 38377.4 | 419.55268157728074 |
| BASE/kitten_escapes_from_fire/uW-YiA | 92.34914920504306 | 418981.93333333335 | 4536.933333333333 |
| DRESDEN/lightson2x2/gBHuig | 92.92905872565052 | 539871.3666666667 | 5809.5 |
| STANFORD/tictactoe5/WFRReg | 93.12570612503966 | 293439.1 | 3151.0 |
| BASE/snake_2008_tweaked/bX0NJQ | 94.03151750972764 | 40276.833333333336 | 428.3333333333333 |
| BASE/bunk_t/xbpfIA | 95.78500986193293 | 123026.26666666666 | 1284.4 |
| DRESDEN/oisters_farm/pTQMLg | 96.32449950591078 | 877291.4333333333 | 9107.666666666666 |
| BASE/queens16ug/gT-ylw | 98.76912463757058 | 43147.5 | 436.85210492983566 |
| DRESDEN/snake_2008/E56l3A | 99.29056510244548 | 40060.433333333334 | 403.46666666666664 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 99.81637729257642 | 476207.3 | 4770.833333333333 |
| DRESDEN/snake_2009_big/DgC1NQ | 99.96675444371297 | 30369.9 | 303.8 |
| DRESDEN/blocker/S815zQ | 100.62023825231371 | 355880.36666666664 | 3536.866666666667 |
| BASE/blocker/dIWtxg | 101.59090824631164 | 364494.63333333336 | 3587.866666666667 |
| BASE/simultaneousWin2/PfjRjw | 102.43067819475104 | 111362.63333333333 | 1087.2 |
| BASE/snake_2009_big/-oRfVw | 103.648407925462 | 29786.566666666666 | 287.3808412772482 |
| BASE/checkLines/Vop7oQ | 103.70664644236072 | 125346.76666666666 | 1208.6666666666667 |
| BASE/chineseCheckers1/gqtwHw | 103.72792121991286 | 387278.56666666665 | 3733.6 |
| BASE/ticTacToeSerial/Amrwqw | 103.77336482244175 | 120103.83333333333 | 1157.3666666666666 |
| BASE/lightsOn/MsXu3A | 104.32586169396374 | 847393.7666666667 | 8122.566666666667 |
| BASE/four_way_battle/xSOQXA | 105.36725324877037 | 27132.866666666665 | 257.50758257507584 |
| BASE/blocksWorldParallel/RseaAQ | 108.77680637696068 | 84606.6 | 777.8 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 108.95326740352917 | 37458.13333333333 | 343.8 |
| BASE/mineClearingSmall/frsbvw | 112.7693435842642 | 38696.1 | 343.1437904139724 |
| DRESDEN/four_way_battle/xSOQXA | 117.6451024071703 | 30624.9 | 260.3159789347377 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 117.88770294694348 | 45423.03333333333 | 385.3076461569229 |
| BASE/knightmove/jBaJEw | 118.94159069714328 | 208318.26666666666 | 1751.4333333333334 |
| BASE/ticTacToeNoVars/XT03NA | 120.62391862436425 | 415046.8 | 3440.8333333333335 |
| DRESDEN/lightsout2/LFtfyQ | 120.9563527166069 | 173201.43333333332 | 1431.9333333333334 |
| DRESDEN/knightmove/97Ipcw | 121.68812439112912 | 212349.83333333334 | 1745.0333333333333 |
| STANFORD/triplesukoshi/Iu9mbA | 123.47519322941405 | 95318.73333333334 | 771.9666666666667 |
| STANFORD/multipletictactoe/_bkafQ | 128.44638185068456 | 84223.76666666666 | 655.7114762841238 |
| BASE/tictactoe2/bhrDoQ | 130.44320563514185 | 402469.4666666667 | 3085.4 |
| STANFORD/platformjumpers/HEQskA | 130.47215476593342 | 30840.533333333333 | 236.37636236376363 |
| STANFORD/skirmish/w4V6Vw | 131.0532810452207 | 5373.433333333333 | 41.001898544449254 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 134.36075668478864 | 80732.9 | 600.8666666666667 |
| STANFORD/duikoshi/tpw1sw | 137.38012401909674 | 83449.26666666666 | 607.4333333333333 |
| BASE/dotsAndBoxes/EHwA_w | 138.49437408273087 | 84929.36666666667 | 613.2333333333333 |
| DRESDEN/lightsout/XgLpzQ | 139.97758559347545 | 170488.03333333333 | 1217.9666666666667 |
| BASE/lightsOnParallel/SC6enA | 142.28222033960736 | 515042.6666666667 | 3619.866666666667 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 143.2161518656851 | 88189.56666666667 | 615.7794740175327 |
| STANFORD/tictactoe3/X7myng | 143.32925223333453 | 402712.2 | 2809.7 |
| STANFORD/pentago/ZxzLmg | 149.95012283689522 | 89807.13333333333 | 598.9133695543482 |
| STANFORD/madness/UO_B3A | 150.0192441711504 | 6503.666666666667 | 43.352215928023995 |
| BASE/factoringGeorgeForman/HGRorQ | 151.91577157128086 | 896216.9666666667 | 5899.433333333333 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 153.6204688620633 | 592601.2 | 3857.5666666666666 |
| BASE/connectFourLarger/qKi60A | 154.64947590378594 | 72435.4 | 468.38438718709375 |
| DRESDEN/connect4/T0-rHQ | 154.9854821235182 | 70598.7 | 455.51814939502015 |
| DRESDEN/firefighter/WJmoPw | 156.50562980224547 | 971592.1666666666 | 6208.033333333334 |
| BASE/wallmaze/uxNQ9g | 156.98899046104927 | 131661.43333333332 | 838.6666666666666 |
| BASE/nineBoardTicTacToe/wRmqqA | 157.16598554446392 | 68742.76666666666 | 437.38959437389593 |
| BASE/lightsOut/5P1ZBw | 159.0610120367906 | 179277.66666666666 | 1127.1 |
| BASE/firefighter/WJmoPw | 161.00818448441984 | 1013782.6666666666 | 6296.466666666666 |
| STANFORD/sukoshi/4LYZZQ | 162.50525212086552 | 284140.43333333335 | 1748.5 |
| STANFORD/nineboardtictactoe/y28P-A | 162.60227881128804 | 68754.5 | 422.83847743483767 |
| BASE/pawnWhopping/Ypc_6Q | 165.8811359026369 | 109039.2 | 657.3333333333334 |
| BASE/connect4/50bOyw | 166.54163910327085 | 75526.63333333333 | 453.5 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 169.27389112109037 | 143239.56666666668 | 846.2 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 176.24906367041197 | 116077.63333333333 | 658.6 |
| BASE/tictactoe_3d_small_2player/oOryKA | 177.122566191446 | 144945.3 | 818.3333333333334 |
| DRESDEN/pawn_whopping/4ogBkg | 177.34013257351492 | 119807.0 | 675.5774807506416 |
| BASE/ticTacToeLargeSuicide/727_8g | 178.68897552523285 | 247502.1 | 1385.1 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 181.1284010283649 | 272800.4666666667 | 1506.1164627845737 |
| BASE/ticTacToeLarge/TZC0dg | 183.90328571428572 | 257464.6 | 1400.0 |
| BASE/withConviction/3Xm54A | 185.0217262246777 | 111622.33333333333 | 603.2931137924138 |
| BASE/pentagoSuicide/SBgNhw | 190.50260717624218 | 88293.0 | 463.4739718722922 |
| BASE/breakthroughSmallHoles/bxclRw | 190.83459149546104 | 133138.93333333332 | 697.6666666666666 |
| DRESDEN/tictactoelarge/IwXcbg | 194.39229446812516 | 275149.3333333333 | 1415.4333333333334 |
| BASE/slidingpieces/uFJWEw | 199.3578909167191 | 73910.33333333333 | 370.7419505366309 |
| BASE/tictactoe_3d_small_6player/g_9lww | 199.82943409052288 | 117586.3 | 588.4333333333333 |
| BASE/ticTacHeaven/18n58A | 199.93840977198695 | 51147.5 | 255.81627891473903 |
| BASE/futoshiki4/BaCwSw | 200.6928757602085 | 138598.5 | 690.6 |
| DRESDEN/pentago_2008/hLjVpQ | 204.04482678805647 | 88154.16666666667 | 432.03333333333336 |
| BASE/hidato19/rRHSmA | 206.19135298183875 | 109370.76666666666 | 530.4333333333333 |
| DRESDEN/babel/WdSW4A | 213.2716600555736 | 65661.96666666666 | 307.87947470168655 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 215.2696267326163 | 124763.1 | 579.5666666666667 |
| BASE/connectFourLarge/aU644A | 218.9557384545039 | 159618.73333333334 | 729.0 |
| BASE/battlebrushes/arCwyA | 221.70834203187252 | 14837.7 | 66.92441007865618 |
| DRESDEN/slidingpieces/s9_44g | 222.54827227498873 | 76536.66666666667 | 343.9104059729351 |
| BASE/pentago/86NgKw | 230.08480131320752 | 101617.4 | 441.65194493516884 |
| BASE/coins_atomic/AA3SSw | 233.15911923556297 | 74828.53333333334 | 320.93333333333334 |
| BASE/snake2p/I3wWPQ | 234.46071471125202 | 81329.0 | 346.87687487500835 |
| STANFORD/connectfour/VMpZkQ | 241.2394014142411 | 244496.13333333333 | 1013.5 |
| BASE/golden_rectangle/_nYzfw | 241.4582916805509 | 72461.63333333333 | 300.1 |
| BASE/connectFour_9x6/B9TtMw | 242.1771927384016 | 232118.76666666666 | 958.4666666666667 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 243.064741669674 | 44899.166666666664 | 184.72101859876008 |
| DRESDEN/cubicup/SBn_lw | 243.8368684920941 | 84302.53333333334 | 345.73333333333335 |
| BASE/ticTacHeavenFC/mrletw | 244.22229109664977 | 56285.73333333333 | 230.46927076389815 |
| DRESDEN/coins/QwFP9w | 245.69020797227034 | 75607.06666666667 | 307.73333333333335 |
| BASE/minichess-evilconjuncts/4OpQzw | 247.07802022954644 | 44727.86666666667 | 181.02729909003034 |
| DRESDEN/connectfour/5tc-Mg | 247.39423736565288 | 252432.83333333334 | 1020.3666666666667 |
| BASE/connectFourSuicide/c8p9Kw | 247.509931182936 | 252963.4 | 1022.0333333333333 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 247.9461834685479 | 70290.4 | 283.4905503149895 |
| BASE/cubicup/4wNWJA | 249.49754147750852 | 86830.56666666667 | 348.02173260891306 |
| BASE/coins/QnGtnQ | 251.4465157567688 | 75534.53333333334 | 300.4 |
| DRESDEN/golden_rectangle/1uloXw | 259.88392777646783 | 73475.4 | 282.72390920302655 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 262.8446565338393 | 46169.96666666667 | 175.65495633624425 |
| DRESDEN/connectfoursuicide/M9CNQg | 264.8321270137754 | 264664.4 | 999.3666666666667 |
| BASE/futoshiki5/TJ4BZg | 269.01713171932704 | 87412.63333333333 | 324.93333333333334 |
| BASE/connectFour/WAIKTw | 271.35173612271495 | 270655.26666666666 | 997.4333333333333 |
| BASE/connectFourSimultaneous/7ITr3g | 280.5419863155712 | 135305.4 | 482.3 |
| BASE/futoshiki6/JmvXNA | 295.70555523059613 | 61335.1 | 207.41950536630893 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 298.44815293857846 | 315350.26666666666 | 1056.6333333333334 |
| BASE/dualConnect4/WbCQkg | 299.03800732231247 | 177848.13333333333 | 594.7342109648392 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 301.61428806584365 | 305384.4666666667 | 1012.5 |
| BASE/tictactoe_3d_2player/IUC1rQ | 304.5642088225701 | 82992.83333333333 | 272.49700039994667 |
| BASE/cubicup_3player/e2yA_g | 307.55058905565977 | 49175.7 | 159.89467017766074 |
| BASE/conn4/va9Y7A | 310.0887491242315 | 178212.4 | 574.7141761941268 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 311.1944298648471 | 316215.0333333333 | 1016.1333333333333 |
| DRESDEN/cubicup_3player/awDtsQ | 311.4376617760106 | 52205.53333333333 | 167.62755357083347 |
| BASE/tictactoe_3d_6player/d7KSwg | 327.7068372540927 | 79403.36666666667 | 242.3 |
| STANFORD/duidoku/3SoMaA | 328.94769777777776 | 7882.133333333333 | 23.961661341853034 |
| BASE/qyshinsu/R08Lzw | 338.1246721916552 | 32773.36666666667 | 96.92687154189721 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 339.5193692997372 | 366058.4666666667 | 1078.1666666666667 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 343.0212388171822 | 334857.3333333333 | 976.2 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 354.24517749497653 | 352592.0333333333 | 995.3333333333334 |
| BASE/hidato37/pBrqxw | 364.5071912877647 | 40345.566666666666 | 110.68524196773764 |
| BASE/3pConnectFour/PqXOFQ | 367.4611415672363 | 227899.4 | 620.2 |
| BASE/sudokuGrade6H/ieE_9A | 387.7114238227147 | 9321.6 | 24.04262404262404 |
| BASE/sudokuGrade6E/ihYFZA | 388.9522244505495 | 9432.6 | 24.251307505246675 |
| STANFORD/sudoku/oJ1qyQ | 402.80756760124615 | 10051.066666666668 | 24.952526901422527 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 407.7695155422225 | 425901.6666666667 | 1044.4666666666667 |
| BASE/sudokuGrade3/eI8dvg | 417.3321969938108 | 10479.866666666667 | 25.111569972690337 |
| BASE/sudokuGrade2/u80Tfw | 419.95474652686755 | 10674.8 | 25.418929273411734 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 425.7959451910755 | 431941.6 | 1014.4333333333333 |
| BASE/sudokuGrade4/DTy07w | 428.9724517906336 | 10381.133333333333 | 24.2 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 429.30945826942553 | 98888.7 | 230.34363230343632 |
| BASE/sudokuGrade5/BQfUQA | 430.7397803499327 | 10656.266666666666 | 24.739453268071788 |
| BASE/sudokuGrade1/tDRNRw | 434.075424863388 | 10586.5 | 24.388618644632505 |
| BASE/queens08lg/Ru7eqQ | 449.03784262059725 | 156379.7 | 348.25505816472787 |
| DRESDEN/Zhadu/9zpQ5w | 454.5674413156376 | 26243.1 | 57.73202745019655 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 471.0347949276113 | 454407.26666666666 | 964.7 |
| DRESDEN/battle/8oAvhQ | 485.28968253968253 | 44840.76666666667 | 92.4 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 486.8815585565641 | 73308.13333333333 | 150.56666666666666 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 494.4227623039481 | 487566.76666666666 | 986.1333333333333 |
| DRESDEN/hitori/S8Gsyg | 503.1462224378524 | 60484.86666666667 | 120.21329778370271 |
| BASE/battle/8oAvhQ | 519.8433742053343 | 47414.4 | 91.20901093041856 |
| BASE/reversi/d8UMeA | 523.9946469283897 | 16013.033333333333 | 30.55953610824141 |
| BASE/hitori/S8Gsyg | 526.9423522595597 | 60633.5 | 115.06666666666666 |
| DRESDEN/grid_game2/kypTYQ | 528.4846520912314 | 190512.36666666667 | 360.4879837338755 |
| BASE/reversiSuicide/9OxJlg | 571.4493648065477 | 17047.966666666667 | 29.832856096424052 |
| BASE/nonogram_5x5_1/qLKEZw | 587.5797441081618 | 157897.0 | 268.7243758541382 |
| BASE/othelloSuicide/B442jg | 618.7324412311827 | 3094.8919645524247 | 5.001987544719756 |
| BASE/othello-comp2007/86ZoMw | 623.5938793622909 | 3175.9882674488367 | 5.0930395126660235 |
| BASE/othelloHoles/c0qAzw | 635.0862377885834 | 4020.0659978000735 | 6.329952939616889 |
| BASE/majorities/ibJzSQ | 661.4561389265886 | 107200.6 | 162.06758648270346 |
| DRESDEN/quad_5x5/JAEP5g | 827.1398022099447 | 74751.5 | 90.37347713201518 |
| BASE/quad_5x5/JAEP5g | 867.327613727055 | 72450.76666666666 | 83.53333333333333 |
| DRESDEN/CephalopodMicro/H3XQfg | 942.5478528497409 | 48490.4 | 51.44608823137412 |
| BASE/cephalopodMicro/9l2D3g | 993.6157701595515 | 51175.333333333336 | 51.50414764966519 |
| STANFORD/multiplesukoshi/vLSQPg | 1067.330889489327 | 131655.5 | 123.35021997067058 |
| DRESDEN/pawntoqueen/f_x6Aw | 1073.4046971817297 | 24523.933333333334 | 22.846866049423834 |
| BASE/zhadu/DlA8iQ | 1132.4858193939394 | 24878.2 | 21.967780588470244 |
| STANFORD/selectivesukoshi/3xmXYg | 1553.7233054818744 | 117111.7 | 75.37487504165279 |
| BASE/pawnToQueen/-O1_JA | 1681.4884017045456 | 39435.26666666667 | 23.452595109600907 |
| BASE/nonogram_10x10_1/0Xc62g | 1960.2991763802772 | 73770.13333333333 | 37.63207893070231 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 2467.7773157232705 | 8652.566666666668 | 3.506218576342948 |
| BASE/blokbox_simple/JBx4bg | 4321.187851282051 | 3549.5666666666666 | 0.8214330847971693 |
| BASE/quad/tw-Ufg | 4721.321068312757 | 12269.466666666667 | 2.5987359235137477 |
| BASE/queens31lg/0gID-A | 6415.051097029703 | 21558.533333333333 | 3.3606175550675452 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 7267.28343414634 | 89316.13333333333 | 12.290167865707435 |
| BASE/quad_7x7/q-JOXg | 7879.241675838925 | 34067.7 | 4.323728272539973 |
| DRESDEN/quad/JPe6fg | 9196.284117361112 | 12257.966666666667 | 1.332926050373497 |
| DRESDEN/quad_7x7/q-JOXg | 19287.550636363634 | 32337.0 | 1.6765736930345985 |
Games with errors:
| Game | ALLOY_DIFF_PROP_NET:1 error message | GGP_BASE_PROVER:2015-04-26 error message |
| BASE/gt_two_thirds_6p/867v3Q | Test process timed out after 240 seconds | |
| DRESDEN/cylinder-checkers/clOO3Q | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
| DRESDEN/checkers-newgoals/IJOqXQ | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
| DRESDEN/ggp-course2013_nicolai/uEin8g | Test process timed out after 240 seconds | |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | |
| BASE/sudoku/NTaNkw | Test process timed out after 240 seconds | |
| DRESDEN/god/2EDD5w | Test process timed out after 240 seconds | |
| BASE/slaughter/cOch8A | Test process timed out after 240 seconds | |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | Exception of type NullPointerException | |
| DRESDEN/pancakes88/aD3E7g | Test process timed out after 240 seconds | |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
| DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | |
| BASE/cylinder-checkers/hlldmw | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
| DRESDEN/checkers-mustjump-torus/cVc3gA | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
| DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | |
| DRESDEN/battlesnakes2011/93VtTw | Test process timed out after 240 seconds | |
| DRESDEN/farmers/S_ASnw | Test process timed out after 240 seconds | |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | OutOfMemoryError: Java heap space | |
| DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | |
| DRESDEN/battlesnakes1509/-qZrLw | Test process timed out after 240 seconds | |
| BASE/alexChess/LNo83g | Test process timed out after 240 seconds | |
| DRESDEN/checkers/jIDMIg | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
| BASE/mummymaze1p/PT_EXA | Exception of type NullPointerException | |
| DRESDEN/small_dominion/yB5GJA | Test process timed out after 240 seconds | |
| BASE/knightwar/DVGY4Q | Exception of type NullPointerException | |
| BASE/amazonsSuicide/dE1QEQ | Test process timed out after 240 seconds | |
| DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | |
| BASE/god/qF06gw | Test process timed out after 240 seconds | |
| BASE/amazonsTorus/soxT8g | Test process timed out after 240 seconds | |
| DRESDEN/merrills/aYEzwA | OutOfMemoryError: GC overhead limit exceeded | |
| DRESDEN/checkers-mustjump/HUr33w | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | Test process timed out after 240 seconds | |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE | |
| BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | |
| DRESDEN/knightwar/7hhAqg | Test process timed out after 240 seconds | |
| BASE/merrills/pku8Tg | OutOfMemoryError: GC overhead limit exceeded |