Game-by-game performance:
| Game | Perf ratio | ALLOY_TUPLE_PROVER:2 states per second | GGP_BASE_PROVER:2015-04-26 states per second |
| BASE/quad/tw-Ufg | 0.2285351868960157 | 0.5939025999736043 | 2.5987359235137477 |
| DRESDEN/small_dominion/yB5GJA | 0.8359434643785351 | 110.82225110822252 | 132.57146664889717 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 0.8921145153189353 | 3256.366666666667 | 3650.1666666666665 |
| DRESDEN/twisty-passages/j7NPyg | 0.9319208844870192 | 6310.533333333334 | 6771.533333333334 |
| BASE/twisty-passages/DiZmmg | 0.9364487366315114 | 6319.0 | 6747.833333333333 |
| BASE/lightsOnSimul4/9FeASw | 1.0427011860130626 | 1474.0666666666666 | 1413.7 |
| DRESDEN/buttons/ADUaHw | 1.0864666027569532 | 24593.366666666665 | 22636.1 |
| BASE/survival/YVIjJA | 1.0923296016456348 | 31294.733333333334 | 28649.533333333333 |
| BASE/lightsOnSimultaneous/_VN6lw | 1.1082536641786997 | 2044.1 | 1844.4333333333334 |
| DRESDEN/battle/8oAvhQ | 1.1379398002073466 | 105.14563753915884 | 92.4 |
| BASE/beatMania/qUHwvQ | 1.1397932292722481 | 8433.9 | 7399.5 |
| BASE/buttons/hTcUjw | 1.1409631957088058 | 25212.966666666667 | 22097.966666666667 |
| BASE/battle/8oAvhQ | 1.1414337263577727 | 104.10904122371447 | 91.20901093041856 |
| BASE/duplicateStateLarge/dcjyuw | 1.1572404046622917 | 5513.633333333333 | 4764.466666666666 |
| STANFORD/untwistycorridor/EDPPAQ | 1.1624600000566874 | 27342.066666666666 | 23520.866666666665 |
| BASE/ruleDepthLinear/OUBJpQ | 1.1654092059101855 | 37725.73333333333 | 32371.233333333334 |
| BASE/onestep/xi53wA | 1.1726310954165051 | 40844.5 | 34831.5 |
| BASE/duplicateStateMedium/U163eQ | 1.1762970134489508 | 9314.9 | 7918.833333333333 |
| DRESDEN/Goldrush/VeWczQ | 1.2045248236854968 | 1725.0 | 1432.1 |
| BASE/haystack/UkweGA | 1.2057156221608543 | 44679.4 | 37056.333333333336 |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | 1.2203017186121048 | 875.7 | 717.609413019566 |
| DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | 1.2234597156398104 | 860.5 | 703.3333333333334 |
| DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | 1.2299000840414607 | 878.0666666666667 | 713.9333333333333 |
| DRESDEN/statespacelarge/8-y5HQ | 1.238663264364989 | 10744.0 | 8673.866666666667 |
| BASE/pearls/6k_mEQ | 1.2426495137656006 | 31264.233333333334 | 25159.333333333332 |
| STANFORD/buttonsandlights/eyhJpA | 1.243552207293321 | 46097.9 | 37069.53333333333 |
| BASE/untwistycomplex2/EDPPAQ | 1.2494290677271163 | 28339.8 | 22682.2 |
| BASE/pancakes88/l2Xaig | 1.2542507614079013 | 22142.166666666668 | 17653.7 |
| BASE/pancakes6/QZTdnw | 1.2648636776734323 | 27835.433333333334 | 22006.666666666668 |
| DRESDEN/pancakes/hl9aiQ | 1.2653341461826662 | 28504.266666666666 | 22527.066666666666 |
| DRESDEN/pancakes88/aD3E7g | 1.3048983568024708 | 22280.4 | 17074.433333333334 |
| BASE/firefighter/WJmoPw | 1.3054887926561989 | 8219.966666666667 | 6296.466666666666 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 1.3133618821850068 | 3434.9666666666667 | 2615.4 |
| BASE/pancakes/yUgbXw | 1.3144212541069045 | 28751.3 | 21873.733333333334 |
| BASE/stateSpaceMedium/3bUoIw | 1.315317813537311 | 15968.966666666667 | 12140.766666666666 |
| DRESDEN/aipsrovers01/qS47Mw | 1.3185136433439997 | 5809.766666666666 | 4406.3 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 1.3203547010412515 | 18097.353686175178 | 13706.433333333332 |
| DRESDEN/pancakes6/SZXMyQ | 1.3291453039607863 | 29095.566666666666 | 21890.433333333334 |
| BASE/duplicateStateSmall/bCPAXw | 1.3321744468035865 | 17651.666666666668 | 13250.266666666666 |
| BASE/four_way_battle/xSOQXA | 1.3336784882215893 | 343.4323234343232 | 257.50758257507584 |
| DRESDEN/firefighter/WJmoPw | 1.3406822343093088 | 8323.0 | 6208.033333333334 |
| DRESDEN/four_way_battle/xSOQXA | 1.3446478958600085 | 350.03333333333336 | 260.3159789347377 |
| BASE/stateSpaceSmall/Q7osKA | 1.3472686385042807 | 22266.533333333333 | 16527.166666666668 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 1.3473801648039772 | 18357.066666666666 | 13624.266666666666 |
| BASE/queens08ug/kJ_ZFQ | 1.3539062183921997 | 2230.9666666666667 | 1647.8 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 1.3570235807860263 | 6474.133333333333 | 4770.833333333333 |
| BASE/queens06ug/7Lq3tw | 1.3597085244047993 | 3607.5333333333333 | 2653.1666666666665 |
| DRESDEN/statespacemedium/dVJZ_w | 1.3597948162954292 | 16417.8 | 12073.733333333334 |
| BASE/queens12ug/u6Bkmg | 1.3621560212067658 | 1079.1 | 792.2 |
| BASE/aipsrovers01/4C4jsw | 1.362291393638216 | 5994.4 | 4400.233333333334 |
| DRESDEN/statespacesmall/h-NqjA | 1.3635121001971562 | 23076.033333333333 | 16923.966666666667 |
| DRESDEN/lightson2x2/gBHuig | 1.372728576756462 | 7974.866666666667 | 5809.5 |
| BASE/queens16ug/gT-ylw | 1.3728063482374486 | 599.7133428885704 | 436.85210492983566 |
| BASE/stateSpaceLarge/0Ge_CQ | 1.3755227692877723 | 11632.2 | 8456.566666666668 |
| BASE/point_grab/V_osUg | 1.3805725564882956 | 19910.433333333334 | 14421.866666666667 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 1.388667538071466 | 5878.6 | 4233.266666666666 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 1.397591748482701 | 12949.2 | 9265.366666666667 |
| DRESDEN/catcha_mouse/cHv4dw | 1.3994592052668704 | 1983.9666666666667 | 1417.6666666666667 |
| BASE/wallmaze/uxNQ9g | 1.403100158982512 | 1176.7333333333333 | 838.6666666666666 |
| BASE/blockerParallel/7-nDJA | 1.4144732045205979 | 1293.3 | 914.3333333333334 |
| BASE/catcha_mouse/cHv4dw | 1.4149281082605019 | 2007.5 | 1418.8 |
| DRESDEN/blockerparallel/dVQgSg | 1.4217965751402422 | 1284.1666666666667 | 903.2 |
| BASE/knightsTourLarge/M8jgLA | 1.4238388842388023 | 19505.833333333332 | 13699.466666666667 |
| DRESDEN/knightthrough/J7Fc_Q | 1.4312253904495125 | 1805.3 | 1261.3666666666666 |
| DRESDEN/oisters_farm/pTQMLg | 1.4418621674047507 | 13132.0 | 9107.666666666666 |
| STANFORD/bestbuttonsandlights/nm0wEA | 1.4426815836763087 | 16591.8 | 11500.666666666666 |
| BASE/colonelBlotto/jip21A | 1.4457710487287005 | 4516.733333333334 | 3124.1 |
| DRESDEN/knightstour/cGISAA | 1.4471697384005766 | 21218.933333333334 | 14662.366666666667 |
| STANFORD/knightstourbig/TQUI2g | 1.4478598849335498 | 19159.433333333334 | 13232.933333333332 |
| DRESDEN/grid_game2/kypTYQ | 1.4548312528895053 | 524.4491850271658 | 360.4879837338755 |
| BASE/blocks2player/wnTLOQ | 1.4658795829780635 | 10086.033333333333 | 6880.533333333334 |
| BASE/switches/tPUoCg | 1.4667100597292744 | 16599.833333333332 | 11317.733333333334 |
| BASE/coloredtrails/EZvr7g | 1.4689250136293799 | 3951.8 | 2690.266666666667 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 1.469644871436969 | 21584.233333333334 | 14686.7 |
| STANFORD/breakthrough/d5j0cQ | 1.4724229179674726 | 1650.7333333333333 | 1121.1 |
| BASE/ticTacToeNoVars/XT03NA | 1.4737321385323323 | 5070.866666666667 | 3440.8333333333335 |
| STANFORD/alquerquezero/uVgA_A | 1.4742665980442615 | 1718.7 | 1165.8 |
| DRESDEN/racer/vk_ZBA | 1.4753979301579616 | 3250.4 | 2203.0666666666666 |
| STANFORD/knightstourmedium/x1wu8Q | 1.477180333072589 | 21716.766666666666 | 14701.5 |
| DRESDEN/blocks2player/3ev8nQ | 1.4787585009405297 | 10219.7 | 6911.0 |
| BASE/gt_ultimatum/GE-uOA | 1.481753851556343 | 12096.1 | 8163.366666666667 |
| DRESDEN/nim3/sG_axA | 1.4868642060381585 | 11507.833333333334 | 7739.666666666667 |
| STANFORD/knightstour/cEwgNA | 1.488636936833658 | 21642.3 | 14538.333333333334 |
| BASE/lightsOnParallel/SC6enA | 1.4933975468709713 | 5405.9 | 3619.866666666667 |
| BASE/nim3/1OwUqw | 1.4987273006067776 | 11403.066666666668 | 7608.5 |
| BASE/nim4/twk16w | 1.5083827873433218 | 11336.1 | 7515.4 |
| STANFORD/multipletictactoe/_bkafQ | 1.5294328419411687 | 1002.8666666666667 | 655.7114762841238 |
| DRESDEN/point_grab/r5DPmQ | 1.5295978363966065 | 21341.0 | 13952.033333333333 |
| BASE/racer/QQYQNw | 1.53720788147243 | 3354.7 | 2182.3333333333335 |
| DRESDEN/chinesecheckers6/yTbPDA | 1.5387844190732036 | 1527.5 | 992.6666666666666 |
| BASE/blocksWorldSerial/Wyg96Q | 1.5395221904080172 | 5735.233333333334 | 3725.3333333333335 |
| BASE/maze/cCX3qQ | 1.5422460765948185 | 26454.866666666665 | 17153.466666666667 |
| DRESDEN/nim4/F5YAYg | 1.5465253987340335 | 11361.033333333333 | 7346.166666666667 |
| BASE/gt_centipede/9fRMpw | 1.5540108000159272 | 16911.833333333332 | 10882.7 |
| STANFORD/chinook/osFbPA | 1.55796457555832 | 876.6374454184861 | 562.6812439585348 |
| STANFORD/dualhunter/1rPZjQ | 1.5661173410312943 | 3291.3 | 2101.5666666666666 |
| BASE/tron_10x10/7ZTgDg | 1.5727937243715455 | 4410.9 | 2804.5 |
| DRESDEN/Runners/3bOCQw | 1.5733094254510405 | 24158.533333333333 | 15355.233333333334 |
| BASE/knightwar/DVGY4Q | 1.5743090860441113 | 2745.7 | 1744.0666666666666 |
| BASE/2pffa_zerosum/o0_uZA | 1.5766267449843618 | 2755.733333333333 | 1747.8666666666666 |
| BASE/simultaneousWin2/PfjRjw | 1.579316899681138 | 1717.0333333333333 | 1087.2 |
| BASE/colonelBlottoVariant2/jruwGw | 1.5808040007693787 | 10958.133333333333 | 6932.0 |
| BASE/asteroidsSerial/id2QkA | 1.5830278128950694 | 5008.7 | 3164.0 |
| BASE/circlesolitaire/azuQFQ | 1.5898369479183159 | 11382.066666666668 | 7159.266666666666 |
| BASE/nim1/hin2Qw | 1.5908004075154725 | 15302.333333333334 | 9619.266666666666 |
| BASE/troublemaker01/s3tlEQ | 1.594940222884196 | 31982.166666666668 | 20052.266666666666 |
| BASE/chinook/XQh0IQ | 1.5966266907617326 | 971.8666666666667 | 608.7 |
| DRESDEN/hanoi_6_disks/MeubgQ | 1.5969051243023846 | 9442.5 | 5913.0 |
| BASE/troublemaker02/DI83KA | 1.5971607838901043 | 29570.633333333335 | 18514.5 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 1.597545453327438 | 7949.066666666667 | 4975.8 |
| BASE/knightsTour/mvtVIg | 1.5978041219921326 | 21717.566666666666 | 13592.133333333333 |
| STANFORD/dualrainbow/G3OnRQ | 1.6001259671197188 | 7452.266666666666 | 4657.3 |
| BASE/asteroids/BKCmPQ | 1.603589900865356 | 12897.566666666668 | 8042.933333333333 |
| BASE/nineBoardTicTacToe/wRmqqA | 1.6092441972110036 | 703.8666666666667 | 437.38959437389593 |
| BASE/knightThrough/gcwFjA | 1.6101480297868491 | 1780.2333333333333 | 1105.6333333333334 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 1.611107527255224 | 10822.4 | 6717.366666666667 |
| DRESDEN/knightmove/97Ipcw | 1.6122519149586445 | 2813.4333333333334 | 1745.0333333333333 |
| DRESDEN/fizzbuzz/t1xHzQ | 1.6138238239271594 | 31265.9 | 19373.8 |
| BASE/hallway/ckCJOw | 1.6165748754261735 | 616.4 | 381.3 |
| DRESDEN/knightwar/7hhAqg | 1.6174926189391088 | 2721.0 | 1682.2333333333333 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 1.6192340679419772 | 1447.4333333333334 | 893.9 |
| DRESDEN/circlesolitaire/ruUilQ | 1.61951353031505 | 11636.366666666667 | 7185.1 |
| DRESDEN/troublemaker02/iZLVuA | 1.62326073212897 | 29014.0 | 17873.9 |
| DRESDEN/max_knights/hCipiA | 1.623471635065691 | 2137.733333333333 | 1316.7666666666667 |
| BASE/crissrace/ERWGDA | 1.6249248293183347 | 1531.1666666666667 | 942.3 |
| BASE/hanoi_6_disks/MeubgQ | 1.6260564758634188 | 9138.6 | 5620.1 |
| DRESDEN/chinesecheckers3/QsCb2A | 1.6265146297288335 | 2125.366666666667 | 1306.7 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 1.6273629188349696 | 9360.7 | 5752.066666666667 |
| BASE/hodgepodge/9yjRkw | 1.629305293728028 | 8527.566666666668 | 5233.866666666667 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 1.633352681841425 | 7878.966666666666 | 4823.8 |
| BASE/nim2/eF2Qqw | 1.6349727657547615 | 14187.966666666667 | 8677.8 |
| DRESDEN/nim1/M9BALA | 1.6381457621068911 | 15604.266666666666 | 9525.566666666668 |
| BASE/roshambo2/KNPokQ | 1.6385476562773202 | 21866.2 | 13344.866666666667 |
| BASE/copolymer_4/2LDVhQ | 1.6396662859007831 | 2679.4333333333334 | 1634.1333333333334 |
| BASE/smallest_4player/ADDROA | 1.6401469109352453 | 6251.966666666666 | 3811.8333333333335 |
| DRESDEN/gt_ultimatum/pAiiQw | 1.640210409315911 | 12690.8 | 7737.3 |
| BASE/gt_dollar/TGjqRw | 1.6402491554244527 | 12121.933333333332 | 7390.3 |
| BASE/copolymer_4_pie/IN5_jA | 1.6415787058283615 | 2384.6666666666665 | 1452.6666666666667 |
| BASE/snakeParallel/RCVNtw | 1.6417791264074104 | 6853.333333333333 | 4174.333333333333 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 1.642014480935083 | 11074.566666666668 | 6744.5 |
| BASE/knightmove/jBaJEw | 1.6425974915783264 | 2876.9 | 1751.4333333333334 |
| BASE/kalaha_2009/dRiN3g | 1.6436402297580914 | 3967.9666666666667 | 2414.133333333333 |
| DRESDEN/hallway/0H4l-Q | 1.6448147271877556 | 625.6666666666666 | 380.3873204226526 |
| BASE/hanoi/iGLsJg | 1.6454140172018148 | 12524.233333333334 | 7611.6 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 1.645983933136932 | 4227.6 | 2568.4333333333334 |
| DRESDEN/roshambo2/jgSlkQ | 1.6471497773645838 | 22441.866666666665 | 13624.666666666666 |
| BASE/biddingTicTacToe/8mESVw | 1.6531585515017484 | 4460.166666666667 | 2697.9666666666667 |
| DRESDEN/smallest_4player/ADDROA | 1.6533036695986805 | 6415.7 | 3880.5333333333333 |
| STANFORD/hunter/14dD-g | 1.6571421800199073 | 6992.366666666667 | 4219.533333333334 |
| STANFORD/ttcc4/Cx9SGw | 1.658434905493729 | 1564.7333333333333 | 943.5 |
| DRESDEN/troublemaker01/C-lPWw | 1.6600705556427453 | 32438.0 | 19540.133333333335 |
| DRESDEN/kalaha_2009/gcC8uA | 1.6602236466834213 | 3919.5666666666666 | 2360.866666666667 |
| DRESDEN/nim2/z5_exA | 1.661091623296727 | 14490.366666666667 | 8723.4 |
| DRESDEN/tictactoex9/rFkD4w | 1.6625461461013538 | 990.7666666666667 | 595.9333333333333 |
| BASE/blocksWorld/SEdXLQ | 1.670646718038972 | 14966.6 | 8958.566666666668 |
| BASE/lightsOn/MsXu3A | 1.6713190001518403 | 13575.4 | 8122.566666666667 |
| STANFORD/threepuzzle/41ibjA | 1.6798326853793077 | 16505.7 | 9825.8 |
| BASE/gt_tinfoil/Q8DyKg | 1.679907841423691 | 17620.833333333332 | 10489.166666666666 |
| BASE/gt_two_thirds_2p/1APDGg | 1.6807965482907399 | 4220.2 | 2510.8333333333335 |
| BASE/brain_teaser_extended/ZDp94A | 1.6812151764393737 | 6758.933333333333 | 4020.266666666667 |
| DRESDEN/racetrackcorridor/O0DoTA | 1.683708859838471 | 2314.0333333333333 | 1374.3666666666666 |
| STANFORD/nineboardtictactoe/y28P-A | 1.6857500867097588 | 712.8 | 422.83847743483767 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 1.6858757939125821 | 4344.333333333333 | 2576.9 |
| BASE/tictactoex9/BI26ow | 1.6869906902700509 | 1000.6666444451852 | 593.1666666666666 |
| BASE/2pffa/6oHijA | 1.6897180530228642 | 2810.733333333333 | 1663.4333333333334 |
| DRESDEN/knightfight/4_Ly4w | 1.6913862821393146 | 5172.766666666666 | 3058.3 |
| BASE/4pffa/Q3ADlg | 1.6921859753685489 | 2138.866666666667 | 1263.9666666666667 |
| DRESDEN/hanoi/RQ0jiA | 1.693253732426633 | 12441.633333333333 | 7347.766666666666 |
| STANFORD/3puzzle/41ibjA | 1.7022910272424971 | 16398.566666666666 | 9633.233333333334 |
| DRESDEN/chinesecheckers1/Y-ftaA | 1.7024370674957376 | 3395.0 | 1994.2 |
| BASE/kalaha6x2x4/XS81Mg | 1.704396482813749 | 3909.0333333333333 | 2293.5 |
| DRESDEN/blocks/vg0DRw | 1.705760714625107 | 14958.1 | 8769.166666666666 |
| BASE/racetrackcorridor/_RkdUg | 1.7071474504013149 | 2389.266666666667 | 1399.5666666666666 |
| STANFORD/freeforall/Lfp40Q | 1.708290767782385 | 2842.766666666667 | 1664.1 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 1.7093936592152221 | 6594.1 | 3857.5666666666666 |
| BASE/hanoi7_bugfix/3gdnFw | 1.7134084914877568 | 11282.166666666666 | 6584.633333333333 |
| DRESDEN/cube_2x2x2/fp-34Q | 1.7145179838997502 | 4323.5 | 2521.7 |
| DRESDEN/chinesecheckers2/06E6-Q | 1.7175165592958896 | 2523.8333333333335 | 1469.4666666666667 |
| BASE/endgame/jYjfOA | 1.7209390382430898 | 1060.5 | 616.2333333333333 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 1.724624957714789 | 664.511182960568 | 385.3076461569229 |
| BASE/shmup/ssTNlg | 1.7264866453414112 | 5091.466666666666 | 2949.0333333333333 |
| DRESDEN/skirmish3/3LU8Nw | 1.7272067890041343 | 793.7666666666667 | 459.56666666666666 |
| BASE/3pffa/pR0dzA | 1.7286623338390814 | 2544.5333333333333 | 1471.9666666666667 |
| BASE/quartoSuicide/-23jUg | 1.734549420965908 | 2491.3333333333335 | 1436.3 |
| DRESDEN/mimikry/GJEhwA | 1.7360356101788386 | 1469.0333333333333 | 846.2 |
| DRESDEN/brain_teaser_extended/ZDp94A | 1.7384939432606756 | 6630.5 | 3813.9333333333334 |
| DRESDEN/crissrace/KWb9bw | 1.7404806609087495 | 1544.9666666666667 | 887.6666666666666 |
| BASE/blocker/dIWtxg | 1.760377568843138 | 6316.0 | 3587.866666666667 |
| BASE/incredible/8Qh-6Q | 1.7606000321517563 | 5840.966666666666 | 3317.6 |
| BASE/breakthroughSmall/HJ0tIA | 1.7609889040295894 | 1507.7 | 856.1666666666666 |
| BASE/pentagoSuicide/SBgNhw | 1.7656511109513195 | 818.3333333333334 | 463.4739718722922 |
| BASE/2pttc/unkkYA | 1.7663200100238066 | 2819.4 | 1596.2 |
| BASE/breakthroughSuicide/wZDpIg | 1.7665298118757276 | 960.9333333333333 | 543.9666666666667 |
| BASE/max_knights/2fq3Ag | 1.7767292971468336 | 2127.633333333333 | 1197.5 |
| BASE/chomp/-LcqYQ | 1.7798756846575174 | 4820.2 | 2708.1666666666665 |
| BASE/pentago/86NgKw | 1.780361230188679 | 786.3 | 441.65194493516884 |
| BASE/gt_staghunt/xPjLRA | 1.7823818054365603 | 15256.0 | 8559.333333333334 |
| DRESDEN/chomp/-LcqYQ | 1.7827412696221752 | 4735.733333333334 | 2656.4333333333334 |
| BASE/crisscross/ICagEg | 1.7844058121432278 | 2292.366666666667 | 1284.6666666666667 |
| BASE/breakthroughHoles/nZk0Sg | 1.7856434304265487 | 1320.0666666666666 | 739.2666666666667 |
| BASE/3pttc/0sol9g | 1.7876019013373396 | 2419.4 | 1353.4333333333334 |
| DRESDEN/quarto/OQzRYQ | 1.7896599221050633 | 2511.9666666666667 | 1403.6 |
| BASE/breakthroughSuicideSmall/XSbJog | 1.7906752535575179 | 1547.8 | 864.3666666666667 |
| BASE/blocks/xIV5hQ | 1.7917708102635492 | 15102.0 | 8428.533333333333 |
| BASE/asteroidsParallel/WauZiA | 1.7919379017187915 | 5817.466666666666 | 3246.4666666666667 |
| BASE/ttcc4_2player_alt/ZEJvYA | 1.7933333333333334 | 1712.6333333333334 | 955.0 |
| DRESDEN/hanoi7/51zz5Q | 1.794957038717674 | 11392.233333333334 | 6346.8 |
| DRESDEN/3pffa/0YrmQw | 1.7963806376204106 | 2971.3333333333335 | 1654.0666666666666 |
| BASE/kalaha5x2x3/WviNsw | 1.8016100422977213 | 4401.333333333333 | 2443.0 |
| DRESDEN/breakthrough/z4hK7Q | 1.8031239830784251 | 923.5 | 512.1666666666666 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 1.8050360580524345 | 856.7333333333333 | 474.63502433171124 |
| DRESDEN/satlike_20v_91c/yeuENQ | 1.8090496474208233 | 900.2165583874729 | 497.6184924890917 |
| DRESDEN/smallest/9kaGFw | 1.8091871862928022 | 4589.666666666667 | 2536.866666666667 |
| STANFORD/rainbow/_4qNSQ | 1.8097851993634448 | 16452.033333333333 | 9090.6 |
| BASE/knightfight/SJRkAg | 1.8122280741928096 | 5276.0 | 2911.3333333333335 |
| DRESDEN/blocker/S815zQ | 1.81577856106158 | 6422.166666666667 | 3536.866666666667 |
| BASE/racer4/0vs7Ww | 1.8170519896561041 | 1569.2666666666667 | 863.6333333333333 |
| BASE/quarto/EwBMVQ | 1.8208605509798352 | 2564.5 | 1408.4 |
| DRESDEN/battlesnakes1509/-qZrLw | 1.8209943551888839 | 2236.6666666666665 | 1228.2666666666667 |
| BASE/blocksWorldParallel/RseaAQ | 1.8215050998542899 | 1416.7666666666667 | 777.8 |
| DRESDEN/farmers/S_ASnw | 1.8229439809296781 | 2039.2666666666667 | 1118.6666666666667 |
| BASE/breakthroughWalls/vOZaYA | 1.8242662643124667 | 947.0666666666667 | 519.1493616879437 |
| BASE/cylinder-checkers/hlldmw | 1.8276333789329684 | 400.8 | 219.3 |
| DRESDEN/cylinder-checkers/clOO3Q | 1.8285465190353405 | 401.8 | 219.73736835088656 |
| BASE/chineseCheckers6/rREH3A | 1.8291553384636654 | 2646.3 | 1446.7333333333333 |
| STANFORD/triplesukoshi/Iu9mbA | 1.8303035536940282 | 1412.9333333333334 | 771.9666666666667 |
| BASE/colonelBlottoVariant/X-n-KQ | 1.8305079526383052 | 11888.6 | 6494.7 |
| DRESDEN/lightsout/XgLpzQ | 1.831823531021648 | 2231.1 | 1217.9666666666667 |
| DRESDEN/3pttc/uwYBZw | 1.8333552458585327 | 2788.9 | 1521.2 |
| DRESDEN/sum15/CsgWKg | 1.834213753419489 | 7777.8 | 4240.4 |
| DRESDEN/quartosuicide/WIU1oQ | 1.837077857849371 | 2600.2 | 1415.4 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 1.8395260624847047 | 9020.3 | 4903.6 |
| BASE/guess/SPpk1A | 1.842719555990859 | 1505.1333333333334 | 816.8 |
| BASE/gt_coordination/IVMOzA | 1.8465987046899663 | 16689.066666666666 | 9037.733333333334 |
| DRESDEN/bidding-tictactoe/yW5vTA | 1.8470448028006405 | 4959.5 | 2685.1 |
| DRESDEN/connect5/1kYzSg | 1.8471398007454127 | 858.9 | 464.98916847192135 |
| BASE/connect5/d-BVQg | 1.8519841035029903 | 842.9333333333333 | 455.15149495016834 |
| BASE/tictactoe_3d_6player/d7KSwg | 1.8519882413672077 | 448.73675088327445 | 242.3 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 1.8527567707323378 | 955.4666666666667 | 515.7 |
| DRESDEN/frogs_and_toads/GjchhQ | 1.8534884548333155 | 1736.5333333333333 | 936.9 |
| STANFORD/tictactoe/ss1kyQ | 1.8568334202153476 | 6886.5 | 3708.733333333333 |
| DRESDEN/battlesnakes2011/93VtTw | 1.86156190679892 | 2320.9333333333334 | 1246.7666666666667 |
| DRESDEN/queens/mW2wHQ | 1.862542032413491 | 944.8666666666667 | 507.2995133657756 |
| STANFORD/multiplesukoshi/vLSQPg | 1.8628639744290847 | 229.78468102126524 | 123.35021997067058 |
| BASE/peg/fJHVWw | 1.8660246360582309 | 1388.6333333333334 | 744.1666666666666 |
| BASE/breakthrough/TGxk-g | 1.8696475195822453 | 954.7666666666667 | 510.6666666666667 |
| BASE/gt_prisoner/klthDw | 1.8706589174198764 | 15267.133333333333 | 8161.366666666667 |
| BASE/toetictac/mTThmg | 1.8716342012393365 | 8980.6 | 4798.266666666666 |
| DRESDEN/checkers/jIDMIg | 1.8731947387485286 | 459.6666666666667 | 245.39182027265758 |
| BASE/conn4/va9Y7A | 1.877222994238874 | 1078.8666666666666 | 574.7141761941268 |
| BASE/ttcc4_2player_small/Cv72TA | 1.8784383069495905 | 2230.8333333333335 | 1187.6 |
| BASE/minichess/8NQEiA | 1.879653319053569 | 3159.133333333333 | 1680.7 |
| BASE/ttcc4_2player/_aH_Mw | 1.8804896367204598 | 1479.8333333333333 | 786.9404353188227 |
| DRESDEN/crisscross/GsY16g | 1.8829430562103828 | 2396.233333333333 | 1272.6 |
| DRESDEN/guess/PhxGhg | 1.8858996216058879 | 1511.8 | 801.6333333333333 |
| DRESDEN/tttcc4/sAvtFg | 1.8866759228228083 | 1313.5666666666666 | 696.2333333333333 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 1.8876305246222276 | 1994.5333333333333 | 1056.6333333333334 |
| DRESDEN/pentago_2008/hLjVpQ | 1.8882030707507136 | 815.7666666666667 | 432.03333333333336 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 1.8894713722405232 | 868.4640250608192 | 459.6333333333333 |
| BASE/tttcc4/8Bs2lg | 1.8913971934106162 | 1343.3333333333333 | 710.2333333333333 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 1.8925882973664976 | 536.5308979401374 | 283.4905503149895 |
| DRESDEN/blocksworldparallel/2JfVaw | 1.894492330506511 | 5450.833333333333 | 2877.2 |
| BASE/pegEuro/5awwhg | 1.90241082942097 | 1148.0666666666666 | 603.4798840038666 |
| BASE/sheepAndWolf/g4THrg | 1.9062744291298088 | 1544.4 | 810.1666666666666 |
| DRESDEN/peg_bugfixed/u_B7MA | 1.9092597626166532 | 1404.8333333333333 | 735.8 |
| BASE/sum15/QZ07Kg | 1.9154623280723821 | 7868.4 | 4107.833333333333 |
| BASE/cittaceot/fDxhXg | 1.917272881069193 | 1888.8333333333333 | 985.1666666666666 |
| DRESDEN/checkers-newgoals/IJOqXQ | 1.9185437048362044 | 464.3845205159828 | 242.050529964669 |
| DRESDEN/4pttc/9pB9AQ | 1.9193215547703177 | 2263.2 | 1179.1666666666667 |
| BASE/tpeg/QNs7Lw | 1.9195285768597137 | 1514.7 | 789.1 |
| BASE/checkersSmall/SYmq8w | 1.9219381747836772 | 816.8333333333334 | 425.0049996666889 |
| BASE/golden_rectangle/_nYzfw | 1.9225813617682994 | 576.9666666666667 | 300.1 |
| DRESDEN/tictactoeparallel/yk_DSg | 1.9230405831008728 | 2849.4333333333334 | 1481.7333333333333 |
| DRESDEN/sheep_and_wolf/enAIzQ | 1.9265815556552597 | 1574.4666666666667 | 817.2333333333333 |
| BASE/chineseCheckers2/eCMR3Q | 1.9278388531655488 | 5576.466666666666 | 2892.6 |
| DRESDEN/toetictac/mJtxCA | 1.9291823162537474 | 9331.133333333333 | 4836.833333333333 |
| DRESDEN/tpeg/h-Scbg | 1.9299065420560748 | 1500.5666666666666 | 777.5333333333333 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 1.930631056487828 | 1633.7 | 846.2 |
| BASE/lightsOut/5P1ZBw | 1.9318901014402747 | 2177.4333333333334 | 1127.1 |
| BASE/chickentoetictac/l57rfQ | 1.935994418619235 | 8232.3 | 4252.233333333334 |
| BASE/queens/HyJJnQ | 1.9364195951417003 | 956.4 | 493.9012197560488 |
| DRESDEN/blobwars/ZaMluQ | 1.9371011850501367 | 566.6288914072395 | 292.5138324111726 |
| BASE/checkers/rOC3Xg | 1.9380529229368901 | 621.1459618012733 | 320.5 |
| BASE/eotcatcit/AfZSzA | 1.9385576827695663 | 6514.2 | 3360.3333333333335 |
| BASE/4pttc/AL1k2Q | 1.9420773165835654 | 1999.4333333333334 | 1029.5333333333333 |
| BASE/blobwars/0XT15Q | 1.9482598589020674 | 578.8807039765342 | 297.1270497267031 |
| BASE/gt_chicken/gmepTQ | 1.9486046960889343 | 14794.066666666668 | 7592.133333333333 |
| DRESDEN/golden_rectangle/1uloXw | 1.9490156841939794 | 551.0333333333333 | 282.72390920302655 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 1.9501674480910915 | 1941.0666666666666 | 995.3333333333334 |
| STANFORD/8puzzle/jNiGtw | 1.9505357611179797 | 6941.566666666667 | 3558.8 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 1.950582714653925 | 7593.033333333334 | 3892.7 |
| BASE/numbertictactoe/rvJ-iQ | 1.9530979658639231 | 4176.7 | 2138.5 |
| BASE/ttcc4/Le0qjQ | 1.9537694586840992 | 1384.7666666666667 | 708.7666666666667 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 1.9548229792405374 | 931.240209312402 | 476.38083816376843 |
| BASE/tictactoe_orthogonal/WRzlVw | 1.9550335739255087 | 7773.8 | 3976.3 |
| BASE/tictactoe_3d_small_6player/g_9lww | 1.9581374270662213 | 1152.2333333333333 | 588.4333333333333 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 1.9591899829958261 | 2112.3333333333335 | 1078.1666666666667 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 1.96020014953701 | 1136.0666666666666 | 579.5666666666667 |
| BASE/escortLatch/mX9BjQ | 1.9620459422939354 | 1645.6333333333334 | 838.7333333333333 |
| BASE/tictactoe_3d_small_2player/oOryKA | 1.9630549898167007 | 1606.4333333333334 | 818.3333333333334 |
| DRESDEN/peg/Vo31eg | 1.963452787258248 | 1380.7 | 703.2 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 1.9642763416874427 | 1995.9666666666667 | 1016.1333333333333 |
| DRESDEN/gt_chicken/CeuKtw | 1.9724899350634513 | 14387.933333333332 | 7294.3 |
| BASE/chineseCheckers4/avfBcQ | 1.9730295467353676 | 2450.7 | 1242.1 |
| BASE/checkers-newgoals/0XkFiA | 1.9758676928216876 | 459.96666666666664 | 232.79224025865804 |
| BASE/chickentictactoe/DSlZCA | 1.9759048462954127 | 5797.7 | 2934.2 |
| DRESDEN/lightsout2/LFtfyQ | 1.977768983658457 | 2832.0333333333333 | 1431.9333333333334 |
| BASE/blockerSerial/3eqDuw | 1.9794540920218728 | 2883.866666666667 | 1456.9 |
| DRESDEN/logistics/fPru1Q | 1.9860835778288795 | 3339.5333333333333 | 1681.4666666666667 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 1.9863077123426423 | 457.53333333333336 | 230.34363230343632 |
| DRESDEN/endgame/IJhh3Q | 1.9900428597308084 | 838.3387220425985 | 421.26666666666665 |
| STANFORD/trifecta/ss1kyQ | 1.9903475471587062 | 6763.4 | 3398.1 |
| BASE/ticTacHeaven/18n58A | 1.9943335743314528 | 510.1829939002033 | 255.81627891473903 |
| DRESDEN/chinesecheckers4/-oVNYg | 1.9950797180299948 | 1405.6666666666667 | 704.5666666666667 |
| BASE/tictactoe_3d_2player/IUC1rQ | 1.9952513209393348 | 543.7 | 272.49700039994667 |
| DRESDEN/eotcatcit/mQUxzA | 1.9958375211931085 | 6552.933333333333 | 3283.3 |
| BASE/chineseCheckers3/-1rZdQ | 2.000879819495097 | 4700.0 | 2348.9666666666667 |
| BASE/ticTicToe/c1OobQ | 2.0044794056593465 | 4280.966666666666 | 2135.7 |
| BASE/gt_two_thirds_4p/DStnxQ | 2.0067223344286016 | 2218.9666666666667 | 1105.7666666666667 |
| DRESDEN/chickentoetictac/cxYaRQ | 2.013379090818661 | 8096.2 | 4021.2 |
| BASE/kitten_escapes_from_fire/uW-YiA | 2.014444411790637 | 9139.4 | 4536.933333333333 |
| STANFORD/eightpuzzle/W_aWbA | 2.026442793977401 | 7012.1 | 3460.3 |
| DRESDEN/tictactoe/BTTzPw | 2.0318690196918223 | 6958.0 | 3424.4333333333334 |
| BASE/ticTacToe/JRFsaQ | 2.033915744328945 | 7050.433333333333 | 3466.4333333333334 |
| DRESDEN/chickentictactoe/Ipbo-g | 2.0362713514265187 | 5857.266666666666 | 2876.4666666666667 |
| DRESDEN/catch_me/ghGWrA | 2.0444213570696506 | 14561.8 | 7122.7 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 2.044895202337255 | 381.2539582013933 | 186.44180775896547 |
| BASE/chineseCheckers1/gqtwHw | 2.047112706235269 | 7643.1 | 3733.6 |
| BASE/connectFour_9x6/B9TtMw | 2.0515058774431383 | 1966.3 | 958.4666666666667 |
| BASE/eotcitcit/V_9_bg | 2.05478326901917 | 4419.633333333333 | 2150.9 |
| STANFORD/tictactoe7/-bE9-A | 2.0566836550423373 | 6833.4 | 3322.5333333333333 |
| BASE/solitaireChineseCheckers/-ET6gw | 2.0575591347650173 | 3525.8333333333335 | 1713.6 |
| BASE/choicethroughalt/tt71Lg | 2.0582786829828947 | 1014.8 | 493.03333333333336 |
| BASE/eightPuzzle/vLrgFg | 2.06331449090927 | 6971.733333333334 | 3378.9 |
| BASE/ticTacToeParallel/ymRGPw | 2.070211960635882 | 2917.0666666666666 | 1409.0666666666666 |
| DRESDEN/tictactoe_3player/ESLQQQ | 2.0708855971627287 | 1998.1333333333334 | 964.8690087327511 |
| BASE/ticTacHeavenFC/mrletw | 2.0710675274429873 | 477.31742275257494 | 230.46927076389815 |
| BASE/queens08lg/Ru7eqQ | 2.0766388973966308 | 723.2 | 348.25505816472787 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 2.0768842839699984 | 396.8 | 191.05542040190622 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 2.0798576951151673 | 394.78684043865206 | 189.8143518981435 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 2.084411522633745 | 2110.4666666666667 | 1012.5 |
| BASE/checkers-mustjump-torus/uSApKQ | 2.0859031752999044 | 366.12112929569014 | 175.52163189120725 |
| BASE/connectFourLarger/qKi60A | 2.086322231710789 | 977.2007599746676 | 468.38438718709375 |
| BASE/slidingpieces/uFJWEw | 2.0919312355779316 | 775.5666666666667 | 370.7419505366309 |
| DRESDEN/latenttictactoe/kITHKg | 2.092267718626131 | 3677.3 | 1757.5666666666666 |
| STANFORD/tictactoe5/WFRReg | 2.0930604041045173 | 6595.233333333334 | 3151.0 |
| BASE/connectFourSuicide/c8p9Kw | 2.094028244349499 | 2140.1666666666665 | 1022.0333333333333 |
| DRESDEN/knightazons/02I8BQ | 2.0975026007096638 | 558.2666666666667 | 266.15779474017535 |
| BASE/rubiksCube/9tNO9Q | 2.1010950503723174 | 1598.9333333333334 | 761.0 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 2.101153106982703 | 2186.6 | 1040.6666666666667 |
| BASE/connectFourLarge/aU644A | 2.105349794238683 | 1534.8 | 729.0 |
| DRESDEN/checkers-mustjump/HUr33w | 2.106055495244723 | 504.3666666666667 | 239.4840343977068 |
| BASE/tictactoe_3player/GtM71g | 2.106679425859856 | 1987.8666666666666 | 943.6018799373354 |
| DRESDEN/gt_prisoner/huCp4w | 2.1067270648998773 | 14928.9 | 7086.3 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 2.1127842655193607 | 2062.5 | 976.2 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 2.113495801789401 | 409.4 | 193.7075056659112 |
| DRESDEN/minichess/c7GMFw | 2.118244000897062 | 2518.733333333333 | 1189.0666666666666 |
| BASE/cubicup/4wNWJA | 2.1184500782172844 | 737.2666666666667 | 348.02173260891306 |
| DRESDEN/connectfour/5tc-Mg | 2.121622945999804 | 2164.8333333333335 | 1020.3666666666667 |
| BASE/checkers-mustjump/T-8UuQ | 2.122545400856341 | 479.2 | 225.76666666666668 |
| DRESDEN/tictictoe/LAUtwg | 2.1229236942654794 | 4426.366666666667 | 2085.0333333333333 |
| DRESDEN/8puzzle/8fKC2w | 2.130552665279334 | 7098.433333333333 | 3331.733333333333 |
| STANFORD/connectfour/VMpZkQ | 2.1308995231047523 | 2159.6666666666665 | 1013.5 |
| BASE/tictactoe-init1/7M19vA | 2.131982297736998 | 6792.566666666667 | 3186.0333333333333 |
| DRESDEN/cubicup/SBn_lw | 2.1361357500964133 | 738.5333333333333 | 345.73333333333335 |
| BASE/mineClearingSmall/frsbvw | 2.1363250250930874 | 733.0666666666667 | 343.1437904139724 |
| BASE/checkersTiny/Lr48cg | 2.1389490399495616 | 1243.9 | 581.5472817572747 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 2.1403165629223535 | 14991.633333333333 | 7004.4 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 2.142607784953744 | 409.1530282323923 | 190.96030132328923 |
| DRESDEN/tictactoe-init1/3ltIBQ | 2.1454543564582855 | 6879.9 | 3206.733333333333 |
| DRESDEN/connectfoursuicide/M9CNQg | 2.1474600580367564 | 2146.1 | 999.3666666666667 |
| DRESDEN/brawl/2kXtfQ | 2.147700448836057 | 347.17685487634157 | 161.650501616505 |
| DRESDEN/crossers3/xiPTxg | 2.1514567782326033 | 2084.8333333333335 | 969.0333333333333 |
| BASE/dualConnect4/WbCQkg | 2.156929896329504 | 1282.8 | 594.7342109648392 |
| BASE/connectFourSimultaneous/7ITr3g | 2.1603428018522357 | 1041.9333333333334 | 482.3 |
| BASE/brawl/6Ymo_Q | 2.165567594515995 | 347.46666666666664 | 160.4506216045062 |
| BASE/knightazons/apnJBQ | 2.189060669814799 | 557.8814039532016 | 254.8496766882208 |
| BASE/tictactoe2/bhrDoQ | 2.195285322270478 | 6773.333333333333 | 3085.4 |
| BASE/connectFour/WAIKTw | 2.196638037629917 | 2191.0 | 997.4333333333333 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 2.1967535369407254 | 3308.5666666666666 | 1506.1164627845737 |
| STANFORD/tictactoe3/X7myng | 2.19742321244261 | 6174.1 | 2809.7 |
| DRESDEN/grid_game/U7_Yeg | 2.203560830860534 | 2351.5666666666666 | 1067.1666666666667 |
| STANFORD/tictictoe/rpt_Dw | 2.205773101405639 | 4493.233333333334 | 2037.0333333333333 |
| BASE/3pConnectFour/PqXOFQ | 2.2086961195313335 | 1369.8333333333333 | 620.2 |
| BASE/withConviction/3Xm54A | 2.222137082872928 | 1340.6 | 603.2931137924138 |
| BASE/crossers3/O0rORg | 2.225869947275923 | 2110.866666666667 | 948.3333333333334 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 2.2276810701590386 | 14590.04865693528 | 6549.433333333333 |
| DRESDEN/cubicup_3player/awDtsQ | 2.238071699788272 | 375.16248375162485 | 167.62755357083347 |
| DRESDEN/connect4/T0-rHQ | 2.2389155470998587 | 1019.8666666666667 | 455.51814939502015 |
| BASE/cephalopodMicro/9l2D3g | 2.246346143787445 | 115.6961434618846 | 51.50414764966519 |
| BASE/ticTacToeLarge/TZC0dg | 2.2551190476190475 | 3157.1666666666665 | 1400.0 |
| BASE/ad_game_2x2/D0aWqg | 2.255616595605116 | 1833.9666666666667 | 813.0666666666667 |
| DRESDEN/slidingpieces/s9_44g | 2.2556479686769375 | 775.740808639712 | 343.9104059729351 |
| DRESDEN/tictactoelarge/IwXcbg | 2.261474695617361 | 3200.9666666666667 | 1415.4333333333334 |
| BASE/checkersTorusNoKings/pwb6oQ | 2.263654589017652 | 1543.1333333333334 | 681.7 |
| BASE/connect4/50bOyw | 2.2662991547225286 | 1027.7666666666667 | 453.5 |
| DRESDEN/CephalopodMicro/H3XQfg | 2.2723235807238966 | 116.90215942415355 | 51.44608823137412 |
| BASE/hidato19/rRHSmA | 2.2727329856092506 | 1205.5333333333333 | 530.4333333333333 |
| BASE/futoshiki4/BaCwSw | 2.274109470026064 | 1570.5 | 690.6 |
| BASE/factoringGeorgeForman/HGRorQ | 2.2770831096772004 | 13433.5 | 5899.433333333333 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 2.2816560015512892 | 784.4333333333333 | 343.8 |
| BASE/checkLines/Vop7oQ | 2.2873690016547155 | 2764.6666666666665 | 1208.6666666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 2.2891427798810167 | 2257.4 | 986.1333333333333 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 2.289461926341993 | 2391.266666666667 | 1044.4666666666667 |
| DRESDEN/Thief_Police/CX18rA | 2.293855930038924 | 14968.633333333333 | 6525.533333333334 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 2.3089907107751766 | 426.5191160294657 | 184.72101859876008 |
| DRESDEN/ticblock/Z2yNWQ | 2.3128401344750085 | 4150.7 | 1794.6333333333334 |
| BASE/ticTacToeLargeSuicide/727_8g | 2.313334777272399 | 3204.2 | 1385.1 |
| DRESDEN/stratego/Z2wovg | 2.3184308896367245 | 1492.6333333333334 | 643.8118729375688 |
| STANFORD/untwistycomplex/HTWEwg | 2.32013438924886 | 28359.466666666667 | 12223.2 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 2.32477507131885 | 353.10979268048794 | 151.88987400839943 |
| STANFORD/pilgrimage/ObRZnQ | 2.3337074482734574 | 1487.5333333333333 | 637.4120862637913 |
| STANFORD/pentago/ZxzLmg | 2.3527053131493023 | 1409.0666666666666 | 598.9133695543482 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 2.3663265455360927 | 29.082550469718168 | 12.290167865707435 |
| BASE/gt_two_thirds_6p/867v3Q | 2.3687735689761915 | 1402.8666666666666 | 592.2333333333333 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 2.370581527936146 | 2286.9 | 964.7 |
| BASE/cubicup_3player/e2yA_g | 2.376276839691474 | 379.9540015332822 | 159.89467017766074 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 2.3774849669766374 | 2411.8 | 1014.4333333333333 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 2.378273816502145 | 3381.0333333333333 | 1421.6333333333334 |
| BASE/pawnWhopping/Ypc_6Q | 2.3783468559837724 | 1563.3666666666666 | 657.3333333333334 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 2.3840975807267943 | 1570.1666666666667 | 658.6 |
| BASE/ticblock/T21C1g | 2.3979359335209756 | 4174.566666666667 | 1740.9 |
| BASE/checkersBarrelNoKings/rnKNeg | 2.4109414133477385 | 1636.4666666666667 | 678.7666666666667 |
| BASE/checkersTorus/2vm1EQ | 2.4117682558841276 | 1332.1 | 552.3333333333334 |
| BASE/double_tictactoe_dengji/zgaSbA | 2.413347188546357 | 3483.6666666666665 | 1443.5 |
| BASE/breakthroughSmallHoles/bxclRw | 2.416005733397038 | 1685.5666666666666 | 697.6666666666666 |
| DRESDEN/capture_the_king/EQ229Q | 2.4197580241975802 | 292.47075292470754 | 120.86776859504133 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 2.423388438921558 | 1456.1333333333334 | 600.8666666666667 |
| BASE/futoshiki6/JmvXNA | 2.457017397825272 | 509.6333333333333 | 207.41950536630893 |
| DRESDEN/pawn_whopping/4ogBkg | 2.4604135681863037 | 1662.2 | 675.5774807506416 |
| BASE/god/qF06gw | 2.4701157941260465 | 270.61529231384577 | 109.55571109555711 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 2.4757992128702617 | 2390.4666666666667 | 965.5333333333333 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 2.480325177727256 | 1527.3333333333333 | 615.7794740175327 |
| BASE/dotsAndBoxes/EHwA_w | 2.481763330977877 | 1521.9 | 613.2333333333333 |
| BASE/snakeAssemblit/UO4sdg | 2.4845521774856203 | 1007.9 | 405.6666666666667 |
| BASE/futoshiki5/TJ4BZg | 2.4959991793188343 | 811.0333333333333 | 324.93333333333334 |
| BASE/zhadu/DlA8iQ | 2.506534311853957 | 55.06299580027998 | 21.967780588470244 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 2.5213341829622093 | 1487.0333333333333 | 589.7803406553115 |
| DRESDEN/hitori/S8Gsyg | 2.536541426673098 | 304.92600986535126 | 120.21329778370271 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 2.561023677665706 | 385.6047984005331 | 150.56666666666666 |
| DRESDEN/god/2EDD5w | 2.5651993866911993 | 278.8 | 108.68550859885349 |
| BASE/doubletictactoe/HH1htg | 2.60728470162385 | 3457.4333333333334 | 1326.0666666666666 |
| BASE/doubletoetictac/fu35bg | 2.6275319214399264 | 3415.9666666666667 | 1300.0666666666666 |
| BASE/hitori/S8Gsyg | 2.6287355273263744 | 302.47983467768813 | 115.06666666666666 |
| BASE/minichess-evilconjuncts/4OpQzw | 2.6300865402320013 | 476.11746275124165 | 181.02729909003034 |
| DRESDEN/doubletictactoe/lJzgmQ | 2.63364572844861 | 3400.3 | 1291.1 |
| BASE/bunk_t/xbpfIA | 2.650186857676736 | 3403.9 | 1284.4 |
| STANFORD/sukoshi/4LYZZQ | 2.6537413020684397 | 4640.066666666667 | 1748.5 |
| DRESDEN/backgammon/mqCW0Q | 2.6548161512027493 | 806.8333333333334 | 303.9130724618359 |
| DRESDEN/doubletoetictac/V89gKQ | 2.685002302614747 | 3498.2 | 1302.8666666666666 |
| DRESDEN/javastrike/whONTQ | 2.687988899900892 | 723.2 | 269.04873008466103 |
| BASE/sudoku/NTaNkw | 2.695251432547791 | 273.8726127387261 | 101.6130107311871 |
| BASE/hexPie/48CH6Q | 2.697610949612403 | 525.7666666666667 | 194.90084985835693 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 2.702367112747096 | 474.68417719409354 | 175.65495633624425 |
| DRESDEN/towerworld/HCX34w | 2.7208410528407017 | 109.89267382174522 | 40.38922953878966 |
| STANFORD/duikoshi/tpw1sw | 2.721670416506613 | 1653.2333333333333 | 607.4333333333333 |
| BASE/snake2p/I3wWPQ | 2.7278651356458794 | 946.2333333333333 | 346.87687487500835 |
| DRESDEN/babel/WdSW4A | 2.7452300963516296 | 845.2 | 307.87947470168655 |
| BASE/ticTacToeSerial/Amrwqw | 2.7489991647706002 | 3181.6 | 1157.3666666666666 |
| DRESDEN/bunk_t/7-tPfA | 2.7521978760586103 | 3412.266666666667 | 1239.8333333333333 |
| BASE/nonogram_5x5_1/qLKEZw | 2.760697329033325 | 741.8666666666667 | 268.7243758541382 |
| BASE/merrills/pku8Tg | 2.779031268333068 | 558.5480483983868 | 200.9866008932738 |
| BASE/gt_attrition/kD_SCA | 2.7855631573257553 | 6012.266666666666 | 2158.366666666667 |
| BASE/hidato37/pBrqxw | 2.787993305974414 | 308.5897136762108 | 110.68524196773764 |
| DRESDEN/skirmish2/iPpWhQ | 2.7972566786732704 | 828.3333333333334 | 296.1234625512483 |
| DRESDEN/merrills/aYEzwA | 2.8253644995402247 | 580.0473317556082 | 205.3 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 2.855914600993973 | 41.33910726182545 | 14.474910155730068 |
| BASE/hex/T1MK8g | 2.887279042077474 | 595.4333333333333 | 206.2264591180294 |
| BASE/englishDraughts/jFkQxg | 2.90284050988658 | 1928.0666666666666 | 664.2 |
| STANFORD/selectivesukoshi/3xmXYg | 2.9428711531226535 | 221.81854543030465 | 75.37487504165279 |
| DRESDEN/skirmish/RjGQYQ | 3.010125396825397 | 800.6666666666666 | 265.991133628879 |
| DRESDEN/battlebrushes/QHXV4A | 3.0218106977737977 | 278.60165961275703 | 92.19692676910769 |
| DRESDEN/pacman3p/rBnk8Q | 3.112316684750271 | 2964.0666666666666 | 952.3666666666667 |
| STANFORD/hex/MTqWcw | 3.1624434135364377 | 608.9 | 192.54099453406212 |
| DRESDEN/quad_5x5/JAEP5g | 3.242362418490286 | 293.0235658811373 | 90.37347713201518 |
| BASE/majorities/ibJzSQ | 3.2432971005552127 | 525.6333333333333 | 162.06758648270346 |
| STANFORD/platformjumpers/HEQskA | 3.2998533579619536 | 780.007333088897 | 236.37636236376363 |
| BASE/pacman3p/wW7UVQ | 3.3176196089049337 | 3063.1666666666665 | 923.3025565814473 |
| BASE/pacman2p/4LEdQg | 3.3197192779365485 | 3058.9 | 921.4333333333333 |
| BASE/amazons_8x8/7SOsIw | 3.360439348734123 | 1314.0 | 391.0202993233559 |
| BASE/amazons_10x10/Bun8dA | 3.38082390913428 | 1023.5666666666667 | 302.75657478084065 |
| BASE/amazonsSuicide_10x10/XIbQkg | 3.431765030743432 | 1023.0333333333333 | 298.10704525761514 |
| BASE/quad_5x5/JAEP5g | 3.442193689649391 | 287.5379128753791 | 83.53333333333333 |
| BASE/wargame01/_GZFZg | 3.4682338240462336 | 2960.6 | 853.6333333333333 |
| BASE/ruleDepthExponential/UamhHQ | 3.5126759662055065 | 2147.568959632629 | 611.3769047568867 |
| STANFORD/duidoku/3SoMaA | 3.553696606121202 | 85.15247458756873 | 23.961661341853034 |
| BASE/snake_2008_tweaked/bX0NJQ | 3.5754863813229574 | 1531.5 | 428.3333333333333 |
| DRESDEN/snake_2009/zIYLVw | 3.599544498355707 | 1483.6333333333334 | 412.1725218318779 |
| BASE/skirmishZeroSum/zh4hcw | 3.6165559514170043 | 595.4666666666667 | 164.650201646502 |
| BASE/snake_2009/7l-qAQ | 3.6296745862884165 | 1501.1333333333334 | 413.5724285047663 |
| BASE/snake_2008/i6K26g | 3.6329962845263633 | 1524.2333333333333 | 419.55268157728074 |
| DRESDEN/snake_2008/E56l3A | 3.6368142762723066 | 1467.3333333333333 | 403.46666666666664 |
| BASE/skirmishNew/sibw2g | 3.6814350127426 | 625.9458018066065 | 170.02766574447517 |
| BASE/sudokuGrade3/eI8dvg | 3.700447285068133 | 92.9240409292404 | 25.111569972690337 |
| BASE/nonogram_10x10_1/0Xc62g | 3.704039512216752 | 139.3907072861809 | 37.63207893070231 |
| BASE/amazonsTorus_10x10/Uxc08g | 3.7068095532757965 | 758.7333333333333 | 204.68635424305046 |
| DRESDEN/quad/JPe6fg | 3.7216209736093657 | 4.9606455453403 | 1.332926050373497 |
| BASE/sudokuGrade2/u80Tfw | 3.7449907009257486 | 95.19365375641624 | 25.418929273411734 |
| STANFORD/sudoku/oJ1qyQ | 3.7658176680017803 | 93.96666666666667 | 24.952526901422527 |
| BASE/sudokuGrade6E/ihYFZA | 3.7831056910896614 | 91.74525943946412 | 24.251307505246675 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 3.816057046505713 | 13.379930104842735 | 3.506218576342948 |
| DRESDEN/Zhadu/9zpQ5w | 3.854076775145118 | 222.50366617784294 | 57.73202745019655 |
| STANFORD/madness/UO_B3A | 3.85767578321881 | 167.23879353441095 | 43.352215928023995 |
| BASE/sudokuGrade6H/ieE_9A | 3.866614880150348 | 92.96356788107063 | 24.04262404262404 |
| BASE/sudokuGrade1/tDRNRw | 3.8670221028572387 | 94.31132735695004 | 24.388618644632505 |
| BASE/sudokuGrade5/BQfUQA | 3.927468680608807 | 97.16342788573714 | 24.739453268071788 |
| BASE/sudokuGrade4/DTy07w | 3.9366391184573004 | 95.26666666666667 | 24.2 |
| BASE/strangeSkirmish/gc1zKA | 4.013480967740531 | 168.87185469088485 | 42.07615684445481 |
| STANFORD/skirmish/w4V6Vw | 4.037755213827879 | 165.55562962469168 | 41.001898544449254 |
| BASE/wargame03/klXI8w | 4.038818434890195 | 2611.5 | 646.6 |
| DRESDEN/amazons/dNB28A | 4.064690074989633 | 151.8978904922185 | 37.370103916866505 |
| BASE/othelloHoles/c0qAzw | 4.07827086484487 | 25.815262649478697 | 6.329952939616889 |
| BASE/skirmish/Y_psYQ | 4.080523094804686 | 182.04239434742036 | 44.61251416005864 |
| DRESDEN/snake_2009_big/DgC1NQ | 4.116853192890059 | 1250.7 | 303.8 |
| BASE/pawnToQueen/-O1_JA | 4.128070692679646 | 96.8139705392255 | 23.452595109600907 |
| BASE/skirmishFinal3/-Olhfw | 4.131779650746921 | 287.690410319656 | 69.62869142057197 |
| DRESDEN/skirmishfinal/hzq8ww | 4.143642894475776 | 269.09103029899 | 64.94069039051047 |
| BASE/skirmishFinal2/gdB62Q | 4.17772567343678 | 265.8489434037731 | 63.63484924204565 |
| BASE/skirmishHoles/AUCxCA | 4.179358664224645 | 197.18685420971934 | 47.181127548980406 |
| BASE/skirmishFinal1/ecWTnQ | 4.192403135173272 | 268.22439252024935 | 63.9786737754082 |
| BASE/reversi/d8UMeA | 4.1986132035679375 | 128.30767179897353 | 30.55953610824141 |
| DRESDEN/pawntoqueen/f_x6Aw | 4.252670327323173 | 97.16018932071195 | 22.846866049423834 |
| DRESDEN/ghostmaze2p/HY0UwA | 4.272429931393926 | 10711.266666666666 | 2507.0666666666666 |
| BASE/speedChess/bPnisA | 4.33327891557803 | 685.4333333333333 | 158.17890947873616 |
| BASE/wargame02/BkVqqQ | 4.355045041970064 | 1913.8333333333333 | 439.4520182660578 |
| BASE/snake_2009_big/-oRfVw | 4.366795391633805 | 1254.9333333333334 | 287.3808412772482 |
| BASE/reversiSuicide/9OxJlg | 4.3877269632859806 | 130.89842708611036 | 29.832856096424052 |
| BASE/coins_atomic/AA3SSw | 4.409595431433272 | 1415.186160461318 | 320.93333333333334 |
| BASE/ghostMaze2p/W-NU-w | 4.426045474579347 | 11381.133333333333 | 2571.4 |
| BASE/battlebrushes/arCwyA | 4.433212186419815 | 296.6901103296557 | 66.92441007865618 |
| BASE/othelloSuicide/B442jg | 4.547734283240787 | 22.747710241465445 | 5.001987544719756 |
| DRESDEN/coins/QwFP9w | 4.589904679376083 | 1412.4666666666667 | 307.73333333333335 |
| BASE/othello-comp2007/86ZoMw | 4.611615891796243 | 23.487141954156826 | 5.0930395126660235 |
| BASE/coins/QnGtnQ | 4.665113182423436 | 1401.4 | 300.4 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 4.8682165893341045 | 29762.166666666668 | 6113.566666666667 |
| BASE/queens31lg/0gID-A | 5.52091357831696 | 18.553679091302755 | 3.3606175550675452 |
| BASE/qyshinsu/R08Lzw | 5.66681517652453 | 549.2666666666667 | 96.92687154189721 |
| BASE/blokbox_simple/JBx4bg | 5.770169042094795 | 4.739807756049055 | 0.8214330847971693 |
| BASE/slaughter/cOch8A | 5.916908404154382 | 154.99716732762354 | 26.195634060989835 |
| BASE/amazons/RKKZjw | 6.229384997242139 | 14.478764478764479 | 2.3242686854600394 |
| BASE/chess_200/XsTpYA | 6.342285555692432 | 285.5571480950635 | 45.024328467639805 |
| BASE/mummyMaze2p_2007/YGA3Vw | 6.919736600680924 | 11314.0 | 1635.0333333333333 |
| BASE/amazonsSuicide/dE1QEQ | 7.071656548539033 | 15.660771757523474 | 2.2145831956104978 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 7.507379056274956 | 11343.9 | 1511.0333333333333 |
| BASE/bomberman2p/4CClwA | 7.8330223184294985 | 10493.9 | 1339.7 |
| BASE/quad_7x7/q-JOXg | 8.1444771860142 | 35.214506274226395 | 4.323728272539973 |
| DRESDEN/bomberman2p/x4h6jQ | 8.328169164311237 | 10410.766666666666 | 1250.0666666666666 |
| DRESDEN/mummymaze2p/k-8edg | 8.576712647692217 | 9823.766666666666 | 1145.4 |
| DRESDEN/mummymaze1p/AekgaQ | 8.838623999413844 | 16084.233333333334 | 1819.7666666666667 |
| BASE/mummymaze2p/vpjDdA | 9.146130301705291 | 10458.6 | 1143.5 |
| BASE/mummymaze1p/PT_EXA | 9.223865585990653 | 15591.1 | 1690.3 |
| BASE/alexChess/LNo83g | 10.748197381425877 | 46.83388294860264 | 4.35737094199042 |
| BASE/amazonsTorus/soxT8g | 19.599555555555558 | 5.5 | 0.28061860813170364 |
| DRESDEN/quad_7x7/q-JOXg | 20.76026142320545 | 34.80610816266727 | 1.6765736930345985 |
Games with errors:
| Game | ALLOY_TUPLE_PROVER:2 error message | GGP_BASE_PROVER:2015-04-26 error message |
| DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | |
| BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds |