Game-by-game performance:
| Game | Perf ratio | GGP_BASE_PROVER:2015-04-26 states per second | PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 states per second |
| BASE/snake_2009_big/-oRfVw | 0.6558929341315118 | 287.3808412772482 | 438.1520615979467 |
| DRESDEN/snake_2009_big/DgC1NQ | 0.6904545454545454 | 303.8 | 440.0 |
| BASE/snake_2009/7l-qAQ | 0.7356322100760695 | 413.5724285047663 | 562.2 |
| DRESDEN/snake_2009/zIYLVw | 0.7413619314680937 | 412.1725218318779 | 555.9666666666667 |
| BASE/blocks/xIV5hQ | 0.7484666935044637 | 8428.533333333333 | 11261.066666666668 |
| DRESDEN/blocks/vg0DRw | 0.7567694294779779 | 8769.166666666666 | 11587.633333333333 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 0.765625 | 6113.566666666667 | 7985.066666666667 |
| DRESDEN/8puzzle/8fKC2w | 0.7826359308443999 | 3331.733333333333 | 4257.066666666667 |
| DRESDEN/snake_2008/E56l3A | 0.7844720328364657 | 403.46666666666664 | 514.3161894603513 |
| BASE/blocksWorld/SEdXLQ | 0.7870681121985791 | 8958.566666666668 | 11382.2 |
| BASE/eightPuzzle/vLrgFg | 0.7952161668144127 | 3378.9 | 4249.033333333334 |
| DRESDEN/blocks2player/3ev8nQ | 0.8059475218658892 | 6911.0 | 8575.0 |
| BASE/snake_2008_tweaked/bX0NJQ | 0.8068567122943614 | 428.3333333333333 | 530.8666666666667 |
| BASE/snake_2008/i6K26g | 0.8112271203918535 | 419.55268157728074 | 517.1827605746475 |
| DRESDEN/toetictac/mJtxCA | 0.8131409358363687 | 4836.833333333333 | 5948.333333333333 |
| BASE/toetictac/mTThmg | 0.8229220857177157 | 4798.266666666666 | 5830.766666666666 |
| DRESDEN/troublemaker01/C-lPWw | 0.8243993542108491 | 19540.133333333335 | 23702.266666666666 |
| STANFORD/8puzzle/jNiGtw | 0.8399206998552459 | 3558.8 | 4237.066666666667 |
| STANFORD/eightpuzzle/W_aWbA | 0.850607582697618 | 3460.3 | 4068.0333333333333 |
| DRESDEN/latenttictactoe/kITHKg | 0.8561940795349364 | 1757.5666666666666 | 2052.766666666667 |
| DRESDEN/chickentoetictac/cxYaRQ | 0.8659163340894082 | 4021.2 | 4643.866666666667 |
| BASE/onestep/xi53wA | 0.8693046112173651 | 34831.5 | 40068.23333333333 |
| DRESDEN/troublemaker02/iZLVuA | 0.8710138006315544 | 17873.9 | 20520.8 |
| BASE/troublemaker01/s3tlEQ | 0.873544257476926 | 20052.266666666666 | 22955.066666666666 |
| BASE/troublemaker02/DI83KA | 0.8757116482490812 | 18514.5 | 21142.233333333334 |
| BASE/blocks2player/wnTLOQ | 0.8892488497527185 | 6880.533333333334 | 7737.466666666666 |
| BASE/switches/tPUoCg | 0.9016725179122473 | 11317.733333333334 | 12551.933333333332 |
| BASE/hodgepodge/9yjRkw | 0.9088099275920148 | 5233.866666666667 | 5759.033333333334 |
| BASE/chickentoetictac/l57rfQ | 0.9137186365166569 | 4252.233333333334 | 4653.766666666666 |
| BASE/incredible/8Qh-6Q | 0.940718336483932 | 3317.6 | 3526.6666666666665 |
| STANFORD/tictictoe/rpt_Dw | 0.976120499632623 | 2037.0333333333333 | 2086.866666666667 |
| BASE/survival/YVIjJA | 0.9795292712502621 | 28649.533333333333 | 29248.266666666666 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 0.983932663790779 | 3892.7 | 3956.266666666667 |
| DRESDEN/tictictoe/LAUtwg | 0.9959398783555711 | 2085.0333333333333 | 2093.5333333333333 |
| BASE/eotcitcit/V_9_bg | 0.9982055288275605 | 2150.9 | 2154.766666666667 |
| STANFORD/3puzzle/41ibjA | 1.0105390879877476 | 9633.233333333334 | 9532.766666666666 |
| BASE/tictactoe_orthogonal/WRzlVw | 1.0130184449200041 | 3976.3 | 3925.2 |
| BASE/ticTicToe/c1OobQ | 1.015533118828359 | 2135.7 | 2103.0333333333333 |
| BASE/blocksWorldSerial/Wyg96Q | 1.0175818772819565 | 3725.3333333333335 | 3660.9666666666667 |
| STANFORD/threepuzzle/41ibjA | 1.0249621864079694 | 9825.8 | 9586.5 |
| BASE/maze/cCX3qQ | 1.0394003599294683 | 17153.466666666667 | 16503.233333333334 |
| DRESDEN/blocksworldparallel/2JfVaw | 1.0526213094962256 | 2877.2 | 2733.366666666667 |
| BASE/haystack/UkweGA | 1.0539154110800053 | 37056.333333333336 | 35160.63333333333 |
| DRESDEN/tictactoe/BTTzPw | 1.0578598348332888 | 3424.4333333333334 | 3237.133333333333 |
| BASE/gt_centipede/9fRMpw | 1.074307582453381 | 10882.7 | 10129.966666666667 |
| DRESDEN/chickentictactoe/Ipbo-g | 1.0769518769968052 | 2876.4666666666667 | 2670.9333333333334 |
| DRESDEN/firefighter/WJmoPw | 1.0835650868639386 | 6208.033333333334 | 5729.266666666666 |
| BASE/ticTacToe/JRFsaQ | 1.0868492835717944 | 3466.4333333333334 | 3189.4333333333334 |
| DRESDEN/eotcatcit/mQUxzA | 1.0915226063829788 | 3283.3 | 3008.0 |
| BASE/chickentictactoe/DSlZCA | 1.1039542495955452 | 2934.2 | 2657.9 |
| DRESDEN/quad/JPe6fg | 1.1154789790206747 | 1.332926050373497 | 1.194936054773285 |
| BASE/coloredtrails/EZvr7g | 1.131806644322596 | 2690.266666666667 | 2376.9666666666667 |
| BASE/eotcatcit/AfZSzA | 1.1318318588045089 | 3360.3333333333335 | 2968.9333333333334 |
| STANFORD/trifecta/ss1kyQ | 1.139333452545934 | 3398.1 | 2982.5333333333333 |
| BASE/firefighter/WJmoPw | 1.1426860326543944 | 6296.466666666666 | 5510.233333333334 |
| STANFORD/buttonsandlights/eyhJpA | 1.1448363329774869 | 37069.53333333333 | 32379.766666666666 |
| DRESDEN/tictactoe-init1/3ltIBQ | 1.1553991568884137 | 3206.733333333333 | 2775.4333333333334 |
| DRESDEN/oisters_farm/pTQMLg | 1.1743948146619902 | 9107.666666666666 | 7755.2 |
| DRESDEN/bomberman2p/x4h6jQ | 1.178715111893387 | 1250.0666666666666 | 1060.5333333333333 |
| DRESDEN/ghostmaze2p/HY0UwA | 1.182745986067211 | 2507.0666666666666 | 2119.7 |
| BASE/sheepAndWolf/g4THrg | 1.1889736816358478 | 810.1666666666666 | 681.4 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 1.1895993568852388 | 3650.1666666666665 | 3068.4 |
| BASE/pearls/6k_mEQ | 1.200210535354515 | 25159.333333333332 | 20962.433333333334 |
| BASE/tictactoe-init1/7M19vA | 1.2063281713427487 | 3186.0333333333333 | 2641.1 |
| BASE/tron_10x10/7ZTgDg | 1.2081418724870763 | 2804.5 | 2321.3333333333335 |
| BASE/blocker/dIWtxg | 1.2144420625070518 | 3587.866666666667 | 2954.3333333333335 |
| BASE/withConviction/3Xm54A | 1.2169710471874942 | 603.2931137924138 | 495.73333333333335 |
| STANFORD/hunter/14dD-g | 1.218461834632785 | 4219.533333333334 | 3463.0 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 1.2194210906313585 | 13624.266666666666 | 11172.733333333334 |
| STANFORD/bestbuttonsandlights/nm0wEA | 1.2274229525459546 | 11500.666666666666 | 9369.766666666666 |
| DRESDEN/sheep_and_wolf/enAIzQ | 1.2276095149876494 | 817.2333333333333 | 665.7111429619013 |
| DRESDEN/mummymaze2p/k-8edg | 1.2314363532110093 | 1145.4 | 930.1333333333333 |
| BASE/ghostMaze2p/W-NU-w | 1.232418442662236 | 2571.4 | 2086.4666666666667 |
| BASE/mummymaze2p/vpjDdA | 1.239342485549133 | 1143.5 | 922.6666666666666 |
| BASE/gt_dollar/TGjqRw | 1.2443677386765448 | 7390.3 | 5939.0 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 1.2541932825056665 | 1014.4333333333333 | 808.8333333333334 |
| STANFORD/tictactoe/ss1kyQ | 1.2549006338679478 | 3708.733333333333 | 2955.4 |
| BASE/bomberman2p/4CClwA | 1.2572653048456222 | 1339.7 | 1065.5666666666666 |
| BASE/sum15/QZ07Kg | 1.2585145168043625 | 4107.833333333333 | 3264.0333333333333 |
| DRESDEN/blocker/S815zQ | 1.2678456207432192 | 3536.866666666667 | 2789.6666666666665 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 1.2682572248514752 | 6717.366666666667 | 5296.533333333334 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 1.269899078543221 | 964.7 | 759.6666666666666 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 1.2727585613491654 | 986.1333333333333 | 774.8 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 1.2731418840467528 | 13706.433333333332 | 10765.833333333334 |
| BASE/untwistycomplex2/EDPPAQ | 1.2741520520396814 | 22682.2 | 17801.8 |
| STANFORD/tictactoe7/-bE9-A | 1.2785203047638594 | 3322.5333333333333 | 2598.733333333333 |
| DRESDEN/sum15/CsgWKg | 1.2932911765602917 | 4240.4 | 3278.766666666667 |
| BASE/qyshinsu/R08Lzw | 1.2961161472182308 | 96.92687154189721 | 74.78255073816109 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 1.3021175570457717 | 3857.5666666666666 | 2962.5333333333333 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 1.304333347208925 | 1044.4666666666667 | 800.7666666666667 |
| BASE/majorities/ibJzSQ | 1.3246112215465404 | 162.06758648270346 | 122.35105957616953 |
| STANFORD/untwistycorridor/EDPPAQ | 1.3317919642452702 | 23520.866666666665 | 17661.066666666666 |
| DRESDEN/racetrackcorridor/O0DoTA | 1.333775434283311 | 1374.3666666666666 | 1030.4333333333334 |
| BASE/lightsOn/MsXu3A | 1.3347629846298792 | 8122.566666666667 | 6085.4 |
| DRESDEN/logistics/fPru1Q | 1.3637567925599503 | 1681.4666666666667 | 1232.9666666666667 |
| DRESDEN/lightson2x2/gBHuig | 1.389721712782075 | 5809.5 | 4180.333333333333 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 1.4122012453692756 | 995.3333333333334 | 704.809839672011 |
| DRESDEN/circlesolitaire/ruUilQ | 1.4160064640731544 | 7185.1 | 5074.2 |
| BASE/circlesolitaire/azuQFQ | 1.4165452015222164 | 7159.266666666666 | 5054.033333333334 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 1.4196796111689727 | 4770.833333333333 | 3360.5 |
| BASE/buttons/hTcUjw | 1.4289911428885522 | 22097.966666666667 | 15464.033333333333 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 1.4491627043710376 | 9265.366666666667 | 6393.6 |
| BASE/tictactoe2/bhrDoQ | 1.4501786050009402 | 3085.4 | 2127.6 |
| DRESDEN/buttons/ADUaHw | 1.4511219712332601 | 22636.1 | 15599.033333333333 |
| BASE/asteroidsParallel/WauZiA | 1.4568381374059503 | 3246.4666666666667 | 2228.4333333333334 |
| STANFORD/tictactoe5/WFRReg | 1.463584566792593 | 3151.0 | 2152.9333333333334 |
| BASE/lightsOut/5P1ZBw | 1.4719864176570456 | 1127.1 | 765.7 |
| STANFORD/multipletictactoe/_bkafQ | 1.4967023517556515 | 655.7114762841238 | 438.1041263915739 |
| DRESDEN/hallway/0H4l-Q | 1.5031612223393045 | 380.3873204226526 | 253.05823139228693 |
| STANFORD/hex/MTqWcw | 1.5101757848408883 | 192.54099453406212 | 127.49575014166194 |
| DRESDEN/pancakes88/aD3E7g | 1.528501645674249 | 17074.433333333334 | 11170.7 |
| BASE/hexPie/48CH6Q | 1.53566928483828 | 194.90084985835693 | 126.91590030654405 |
| BASE/hallway/ckCJOw | 1.5425248078738034 | 381.3 | 247.19213464422597 |
| BASE/dualConnect4/WbCQkg | 1.5445482222261202 | 594.7342109648392 | 385.0538315389487 |
| BASE/pancakes/yUgbXw | 1.5589205112367557 | 21873.733333333334 | 14031.333333333334 |
| STANFORD/dualhunter/1rPZjQ | 1.577792237042969 | 2101.5666666666666 | 1331.9666666666667 |
| DRESDEN/pancakes6/SZXMyQ | 1.5797724807012732 | 21890.433333333334 | 13856.7 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 1.5905771237164352 | 965.5333333333333 | 607.0333333333333 |
| DRESDEN/lightsout/XgLpzQ | 1.6027986138527 | 1217.9666666666667 | 759.9 |
| BASE/hex/T1MK8g | 1.6061786085150571 | 206.2264591180294 | 128.3957201426619 |
| BASE/pancakes6/QZTdnw | 1.6111515580390914 | 22006.666666666668 | 13658.967436589674 |
| STANFORD/tictactoe3/X7myng | 1.617714230879954 | 2809.7 | 1736.8333333333333 |
| BASE/ruleDepthLinear/OUBJpQ | 1.6262783574728756 | 32371.233333333334 | 19905.1 |
| BASE/ticTacHeavenFC/mrletw | 1.6277061670535202 | 230.46927076389815 | 141.59144655763913 |
| BASE/roshambo2/KNPokQ | 1.634111995036593 | 13344.866666666667 | 8166.433333333333 |
| BASE/kalaha5x2x3/WviNsw | 1.6413598495028217 | 2443.0 | 1488.4 |
| DRESDEN/pancakes/hl9aiQ | 1.6493356892529065 | 22527.066666666666 | 13658.266666666666 |
| BASE/lightsOnParallel/SC6enA | 1.662370266050271 | 3619.866666666667 | 2177.5333333333333 |
| BASE/snakeAssemblit/UO4sdg | 1.6771692159294476 | 405.6666666666667 | 241.87581241875813 |
| BASE/pancakes88/l2Xaig | 1.6863101587251046 | 17653.7 | 10468.833333333334 |
| DRESDEN/grid_game/U7_Yeg | 1.6976879838795207 | 1067.1666666666667 | 628.6 |
| DRESDEN/roshambo2/jgSlkQ | 1.6979399901132817 | 13624.666666666666 | 8024.233333333334 |
| BASE/snakeParallel/RCVNtw | 1.7036472716884106 | 4174.333333333333 | 2450.233333333333 |
| DRESDEN/tictactoex9/rFkD4w | 1.7189304810434893 | 595.9333333333333 | 346.6884437185427 |
| BASE/tictactoex9/BI26ow | 1.7238834431099057 | 593.1666666666666 | 344.0874550059992 |
| DRESDEN/connectfoursuicide/M9CNQg | 1.7416637620541422 | 999.3666666666667 | 573.8 |
| DRESDEN/4pttc/9pB9AQ | 1.7505160654493874 | 1179.1666666666667 | 673.6108796373454 |
| BASE/asteroidsSerial/id2QkA | 1.753329515857916 | 3164.0 | 1804.5666666666666 |
| DRESDEN/cube_2x2x2/fp-34Q | 1.755895460031566 | 2521.7 | 1436.1333333333334 |
| BASE/connectFour/WAIKTw | 1.758532219023559 | 997.4333333333333 | 567.1965077143524 |
| BASE/tictactoe_3player/GtM71g | 1.7592209761590323 | 943.6018799373354 | 536.3748458692971 |
| BASE/dotsAndBoxes/EHwA_w | 1.791682898324893 | 613.2333333333333 | 342.26666666666665 |
| BASE/connectFourSuicide/c8p9Kw | 1.7976210373062869 | 1022.0333333333333 | 568.5477150761641 |
| DRESDEN/frogs_and_toads/GjchhQ | 1.800867305228088 | 936.9 | 520.2493250224993 |
| BASE/ticTacToeParallel/ymRGPw | 1.8039516920582084 | 1409.0666666666666 | 781.1 |
| BASE/kalaha6x2x4/XS81Mg | 1.8066642159437034 | 2293.5 | 1269.4666666666667 |
| DRESDEN/stratego/Z2wovg | 1.8115738135434254 | 643.8118729375688 | 355.38815372820903 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 1.8127189520160942 | 615.7794740175327 | 339.69936339699365 |
| DRESDEN/pawn_whopping/4ogBkg | 1.8169430748543254 | 675.5774807506416 | 371.82093930202325 |
| DRESDEN/bunk_t/7-tPfA | 1.8234630846161388 | 1239.8333333333333 | 679.9333333333333 |
| DRESDEN/connectfour/5tc-Mg | 1.8317874453952487 | 1020.3666666666667 | 557.0333333333333 |
| BASE/pawnWhopping/Ypc_6Q | 1.848865554097131 | 657.3333333333334 | 355.53333333333336 |
| BASE/ticTacToeLargeSuicide/727_8g | 1.8515729435879154 | 1385.1 | 748.0666666666667 |
| BASE/asteroids/BKCmPQ | 1.855875950866452 | 8042.933333333333 | 4333.766666666666 |
| BASE/factoringGeorgeForman/HGRorQ | 1.8603157584931047 | 5899.433333333333 | 3171.2 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 1.8653700906344413 | 658.6 | 353.06666666666666 |
| BASE/breakthroughSmallHoles/bxclRw | 1.8681450969891704 | 697.6666666666666 | 373.4542181927269 |
| DRESDEN/tictactoe_3player/ESLQQQ | 1.8759014406708099 | 964.8690087327511 | 514.3495216826105 |
| DRESDEN/point_grab/r5DPmQ | 1.8794836102379884 | 13952.033333333333 | 7423.333333333333 |
| BASE/point_grab/V_osUg | 1.881203014057194 | 14421.866666666667 | 7666.3 |
| DRESDEN/lightsout2/LFtfyQ | 1.89100673504424 | 1431.9333333333334 | 757.2333333333333 |
| BASE/3pConnectFour/PqXOFQ | 1.897216274089936 | 620.2 | 326.9 |
| STANFORD/connectfour/VMpZkQ | 1.8998375406148462 | 1013.5 | 533.4666666666667 |
| BASE/ticTacToeLarge/TZC0dg | 1.9069239500567539 | 1400.0 | 734.1666666666666 |
| BASE/stateSpaceSmall/Q7osKA | 1.920148557221252 | 16527.166666666668 | 8607.233333333334 |
| STANFORD/breakthrough/d5j0cQ | 1.9226089573568081 | 1121.1 | 583.1138962034598 |
| DRESDEN/tictactoelarge/IwXcbg | 1.9268956754549167 | 1415.4333333333334 | 734.5666666666667 |
| DRESDEN/statespacesmall/h-NqjA | 1.9357309522357107 | 16923.966666666667 | 8742.933333333332 |
| DRESDEN/doubletoetictac/V89gKQ | 1.9431270196370867 | 1302.8666666666666 | 670.5 |
| BASE/bunk_t/xbpfIA | 1.9594202898550726 | 1284.4 | 655.5 |
| STANFORD/sukoshi/4LYZZQ | 1.9654083364556014 | 1748.5 | 889.6370120995966 |
| DRESDEN/doubletictactoe/lJzgmQ | 1.9741590214067277 | 1291.1 | 654.0 |
| DRESDEN/tictactoeparallel/yk_DSg | 1.9817654897765098 | 1481.7333333333333 | 747.6834877674821 |
| STANFORD/untwistycomplex/HTWEwg | 1.9868660598179455 | 12223.2 | 6152.0 |
| DRESDEN/minichess/c7GMFw | 1.9975361182663232 | 1189.0666666666666 | 595.2666666666667 |
| BASE/connectFour_9x6/B9TtMw | 2.0002782608695653 | 958.4666666666667 | 479.1666666666667 |
| BASE/ruleDepthExponential/UamhHQ | 2.0038536234285287 | 611.3769047568867 | 305.10058100493416 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 2.0076327297993215 | 6549.433333333333 | 3262.266666666667 |
| BASE/doubletoetictac/fu35bg | 2.017588329625989 | 1300.0666666666666 | 644.3666666666667 |
| BASE/beatMania/qUHwvQ | 2.025225800565642 | 7399.5 | 3653.6666666666665 |
| BASE/doubletictactoe/HH1htg | 2.026488716825429 | 1326.0666666666666 | 654.3666666666667 |
| DRESDEN/Thief_Police/CX18rA | 2.036831646083256 | 6525.533333333334 | 3203.766666666667 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 2.0384343302474544 | 1506.1164627845737 | 738.8594473885945 |
| BASE/kalaha_2009/dRiN3g | 2.0422987987141163 | 2414.133333333333 | 1182.0666666666666 |
| DRESDEN/kalaha_2009/gcC8uA | 2.0523921295893826 | 2360.866666666667 | 1150.3 |
| BASE/connectFourLarge/aU644A | 2.1068739042481455 | 729.0 | 346.01026598226787 |
| DRESDEN/battlebrushes/QHXV4A | 2.108231707317073 | 92.19692676910769 | 43.73187560414653 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 2.1102251501335636 | 7004.4 | 3319.266666666667 |
| BASE/numbertictactoe/rvJ-iQ | 2.1749669457910974 | 2138.5 | 983.2333333333333 |
| BASE/duplicateStateSmall/bCPAXw | 2.177410166520596 | 13250.266666666666 | 6085.333333333333 |
| BASE/snake2p/I3wWPQ | 2.206816555741068 | 346.87687487500835 | 157.1842815718428 |
| BASE/connectFourSimultaneous/7ITr3g | 2.212827798165138 | 482.3 | 217.95640871825634 |
| DRESDEN/catch_me/ghGWrA | 2.2181725698625585 | 7122.7 | 3211.0666666666666 |
| BASE/racetrackcorridor/_RkdUg | 2.2218435584012415 | 1399.5666666666666 | 629.9123362554582 |
| BASE/connect5/d-BVQg | 2.2441175269506903 | 455.15149495016834 | 202.8198120125325 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 2.2452204061416543 | 1511.0333333333333 | 673.0 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 2.2533381450739807 | 1040.6666666666667 | 461.8333333333333 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 2.263927671828015 | 385.3076461569229 | 170.19432685577146 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 2.269177126917713 | 976.2 | 430.2 |
| DRESDEN/chinesecheckers2/06E6-Q | 2.2709251257748244 | 1469.4666666666667 | 647.078430718976 |
| DRESDEN/connect5/1kYzSg | 2.3014011161974954 | 464.98916847192135 | 202.04612103439084 |
| BASE/knightfight/SJRkAg | 2.3017525365660827 | 2911.3333333333335 | 1264.8333333333333 |
| BASE/mineClearingSmall/frsbvw | 2.3201067641242217 | 343.1437904139724 | 147.9 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 2.3527051014895424 | 1016.1333333333333 | 431.9 |
| DRESDEN/chinesecheckers1/Y-ftaA | 2.3711307518528795 | 1994.2 | 841.0333333333333 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 2.3839281509967036 | 1012.5 | 424.7191760274658 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 2.38469486649608 | 175.65495633624425 | 73.65930073659301 |
| BASE/blobwars/0XT15Q | 2.3875968255548967 | 297.1270497267031 | 124.44607336820711 |
| BASE/minichess-evilconjuncts/4OpQzw | 2.3879688992051915 | 181.02729909003034 | 75.80806397867377 |
| STANFORD/nineboardtictactoe/y28P-A | 2.4015272601613296 | 422.83847743483767 | 176.07065489085153 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 2.4075176777074807 | 1078.1666666666667 | 447.8333333333333 |
| BASE/chineseCheckers1/gqtwHw | 2.411367061356297 | 3733.6 | 1548.3333333333333 |
| BASE/mummyMaze2p_2007/YGA3Vw | 2.4263872021895763 | 1635.0333333333333 | 673.8550763282448 |
| DRESDEN/blobwars/ZaMluQ | 2.4316174802348542 | 292.5138324111726 | 120.29599013366222 |
| DRESDEN/chinesecheckers3/QsCb2A | 2.434018794238172 | 1306.7 | 536.8487717076098 |
| BASE/4pttc/AL1k2Q | 2.450491907331006 | 1029.5333333333333 | 420.1333333333333 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 2.453862827063013 | 1056.6333333333334 | 430.6 |
| DRESDEN/knightfight/4_Ly4w | 2.482200473433611 | 3058.3 | 1232.0922635912136 |
| BASE/double_tictactoe_dengji/zgaSbA | 2.4852223816355807 | 1443.5 | 580.8333333333334 |
| BASE/ticTacHeaven/18n58A | 2.5023619770854535 | 255.81627891473903 | 102.22992566914436 |
| BASE/minichess/8NQEiA | 2.5389063796576035 | 1680.7 | 661.9779340688643 |
| BASE/nineBoardTicTacToe/wRmqqA | 2.553936399535082 | 437.38959437389593 | 171.26095796806774 |
| DRESDEN/3pttc/uwYBZw | 2.5662711578473827 | 1521.2 | 592.7666666666667 |
| STANFORD/pilgrimage/ObRZnQ | 2.567275797031315 | 637.4120862637913 | 248.28344777014865 |
| DRESDEN/3pffa/0YrmQw | 2.5957001621593343 | 1654.0666666666666 | 637.2333333333333 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 2.604201013616658 | 1421.6333333333334 | 545.9 |
| DRESDEN/chinesecheckers6/yTbPDA | 2.6629705803451666 | 992.6666666666666 | 372.76666666666665 |
| BASE/chineseCheckers3/-1rZdQ | 2.6759702286018077 | 2348.9666666666667 | 877.8 |
| BASE/connectFourLarger/qKi60A | 2.692985818321196 | 468.38438718709375 | 173.92753574880837 |
| BASE/chineseCheckers2/eCMR3Q | 2.696057414484108 | 2892.6 | 1072.9 |
| BASE/chineseCheckers6/rREH3A | 2.6967814092208275 | 1446.7333333333333 | 536.4666666666667 |
| BASE/speedChess/bPnisA | 2.7127231035861885 | 158.17890947873616 | 58.31000932960149 |
| BASE/catcha_mouse/cHv4dw | 2.7348637111282446 | 1418.8 | 518.7827072430919 |
| DRESDEN/catcha_mouse/cHv4dw | 2.7656392248666926 | 1417.6666666666667 | 512.6 |
| DRESDEN/Runners/3bOCQw | 2.7695864171180866 | 15355.233333333334 | 5544.233333333334 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 2.887554255319149 | 515.7 | 178.5940468651045 |
| BASE/quad/tw-Ufg | 2.901748532195451 | 2.5987359235137477 | 0.8955758552749418 |
| STANFORD/platformjumpers/HEQskA | 2.914628389195606 | 236.37636236376363 | 81.1 |
| BASE/blocksWorldParallel/RseaAQ | 2.9171146393299163 | 777.8 | 266.6333333333333 |
| DRESDEN/breakthrough/z4hK7Q | 2.993575751672186 | 512.1666666666666 | 171.0885940937271 |
| DRESDEN/crossers3/xiPTxg | 3.010244156830262 | 969.0333333333333 | 321.9118725418305 |
| BASE/breakthrough/TGxk-g | 3.0116985780748315 | 510.6666666666667 | 169.56101463284557 |
| BASE/crossers3/O0rORg | 3.017287093010924 | 948.3333333333334 | 314.3 |
| BASE/tictactoe_3d_small_2player/oOryKA | 3.034437852758209 | 818.3333333333334 | 269.68202119858677 |
| BASE/skirmishZeroSum/zh4hcw | 3.0658439532390847 | 164.650201646502 | 53.704690831556505 |
| BASE/ticTacToeNoVars/XT03NA | 3.082263362197671 | 3440.8333333333335 | 1116.3333333333333 |
| BASE/breakthroughWalls/vOZaYA | 3.0941673219553785 | 519.1493616879437 | 167.78322167783222 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 3.1434177045932903 | 846.2 | 269.1974403412878 |
| BASE/skirmishNew/sibw2g | 3.151235415891737 | 170.02766574447517 | 53.95587549156836 |
| BASE/breakthroughSuicideSmall/XSbJog | 3.158396431616125 | 864.3666666666667 | 273.6726327367263 |
| BASE/breakthroughSuicide/wZDpIg | 3.165980969932105 | 543.9666666666667 | 171.8161517181615 |
| BASE/breakthroughSmall/HJ0tIA | 3.1695281548206644 | 856.1666666666666 | 270.12432918902704 |
| DRESDEN/knightwar/7hhAqg | 3.2329916720051246 | 1682.2333333333333 | 520.3333333333334 |
| BASE/shmup/ssTNlg | 3.237731015553522 | 2949.0333333333333 | 910.8333333333334 |
| BASE/max_knights/2fq3Ag | 3.262162671388359 | 1197.5 | 367.0877637412086 |
| BASE/checkLines/Vop7oQ | 3.2650106849150613 | 1208.6666666666667 | 370.1876604113196 |
| BASE/conn4/va9Y7A | 3.288057725815445 | 574.7141761941268 | 174.78834744350377 |
| BASE/escortLatch/mX9BjQ | 3.2889396767307106 | 838.7333333333333 | 255.01633224451703 |
| DRESDEN/chinesecheckers4/-oVNYg | 3.2923676012461063 | 704.5666666666667 | 214.0 |
| BASE/wallmaze/uxNQ9g | 3.3045493389370457 | 838.6666666666666 | 253.7915402819906 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 3.3323320488224404 | 3.506218576342948 | 1.0521816328543714 |
| BASE/knightwar/DVGY4Q | 3.337863303571428 | 1744.0666666666666 | 522.5099136925589 |
| BASE/cubicup/4wNWJA | 3.342010935635479 | 348.02173260891306 | 104.13542603885502 |
| BASE/checkersBarrelNoKings/rnKNeg | 3.384920007757092 | 678.7666666666667 | 200.5266491116963 |
| DRESDEN/cubicup/SBn_lw | 3.4145434276936584 | 345.73333333333335 | 101.25316624450073 |
| BASE/futoshiki4/BaCwSw | 3.4161072712283596 | 690.6 | 202.1599280023999 |
| BASE/checkersTorus/2vm1EQ | 3.417313329208772 | 552.3333333333334 | 161.62794573514216 |
| DRESDEN/endgame/IJhh3Q | 3.4204117095173654 | 421.26666666666665 | 123.16256124795841 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 3.4823388251181635 | 343.8 | 98.72675154989668 |
| BASE/gt_coordination/IVMOzA | 3.526278141216559 | 9037.733333333334 | 2562.9666666666667 |
| DRESDEN/mimikry/GJEhwA | 3.5265581886373107 | 846.2 | 239.9506699553363 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 3.530605487228004 | 4975.8 | 1409.3333333333333 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 3.542223559188006 | 589.7803406553115 | 166.500033326668 |
| BASE/chineseCheckers4/avfBcQ | 3.6069112380214885 | 1242.1 | 344.3666666666667 |
| STANFORD/pentago/ZxzLmg | 3.61310685167216 | 598.9133695543482 | 165.76132235811644 |
| BASE/coins/QnGtnQ | 3.6225487138263666 | 300.4 | 82.9250408292504 |
| DRESDEN/coins/QwFP9w | 3.627530557737628 | 307.73333333333335 | 84.83273357323738 |
| DRESDEN/quad_7x7/q-JOXg | 3.646153294422479 | 1.6765736930345985 | 0.4598198588082551 |
| DRESDEN/max_knights/hCipiA | 3.6563309885227695 | 1316.7666666666667 | 360.1333333333333 |
| STANFORD/duikoshi/tpw1sw | 3.6753452645022517 | 607.4333333333333 | 165.2724545909015 |
| BASE/ticblock/T21C1g | 3.6934262711265116 | 1740.9 | 471.35095496816774 |
| BASE/tictactoe_3d_2player/IUC1rQ | 3.7079850217613775 | 272.49700039994667 | 73.48923978945966 |
| DRESDEN/crissrace/KWb9bw | 3.712656861378317 | 887.6666666666666 | 239.0920302656578 |
| BASE/crissrace/ERWGDA | 3.7150291901824386 | 942.3 | 253.64538251548038 |
| DRESDEN/ticblock/Z2yNWQ | 3.7274300747715317 | 1794.6333333333334 | 481.46666666666664 |
| BASE/coins_atomic/AA3SSw | 3.7716266353309833 | 320.93333333333334 | 85.09149085091491 |
| BASE/crisscross/ICagEg | 3.7914412198721106 | 1284.6666666666667 | 338.8333333333333 |
| DRESDEN/javastrike/whONTQ | 3.8237801989578397 | 269.04873008466103 | 70.36197586827545 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 3.874155795474394 | 283.4905503149895 | 73.17479349853451 |
| BASE/cubicup_3player/e2yA_g | 3.8762187733214497 | 159.89467017766074 | 41.25016660002665 |
| BASE/rubiksCube/9tNO9Q | 3.8925831202046037 | 761.0 | 195.5 |
| BASE/checkersTorusNoKings/pwb6oQ | 3.905003531882398 | 681.7 | 174.5709048491918 |
| DRESDEN/skirmish/RjGQYQ | 3.9609577943762506 | 265.991133628879 | 67.15323601946277 |
| BASE/4pffa/Q3ADlg | 3.972088397751475 | 1263.9666666666667 | 318.2121191920539 |
| DRESDEN/crisscross/GsY16g | 3.980872192680638 | 1272.6 | 319.67868808746084 |
| BASE/englishDraughts/jFkQxg | 3.9821477322677326 | 664.2 | 166.7944146365848 |
| BASE/knightazons/apnJBQ | 3.9903394053479246 | 254.8496766882208 | 63.86666666666667 |
| DRESDEN/connect4/T0-rHQ | 3.9957732403071944 | 455.51814939502015 | 114.0 |
| BASE/ttcc4_2player_small/Cv72TA | 4.031041430026021 | 1187.6 | 294.6136924205053 |
| BASE/connect4/50bOyw | 4.073896407185629 | 453.5 | 111.31849086788428 |
| BASE/breakthroughHoles/nZk0Sg | 4.121813516694543 | 739.2666666666667 | 179.35470968602093 |
| BASE/amazons_10x10/Bun8dA | 4.1535931731707105 | 302.75657478084065 | 72.89028129582722 |
| BASE/endgame/jYjfOA | 4.158258262108262 | 616.2333333333333 | 148.1950601646612 |
| BASE/amazonsSuicide_10x10/XIbQkg | 4.172247251420362 | 298.10704525761514 | 71.4499950011664 |
| DRESDEN/cubicup_3player/awDtsQ | 4.188595239517662 | 167.62755357083347 | 40.019993335554815 |
| BASE/3pttc/0sol9g | 4.250874521915131 | 1353.4333333333334 | 318.38938702043265 |
| DRESDEN/knightazons/02I8BQ | 4.252855753228531 | 266.15779474017535 | 62.58331111703546 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 4.28078015886391 | 4233.266666666666 | 988.90073995067 |
| BASE/amazons_8x8/7SOsIw | 4.297356058827343 | 391.0202993233559 | 90.99090090990902 |
| DRESDEN/skirmish2/iPpWhQ | 4.298302973838947 | 296.1234625512483 | 68.8931106889311 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 4.299286987522282 | 4823.8 | 1122.0 |
| BASE/futoshiki5/TJ4BZg | 4.32442317812269 | 324.93333333333334 | 75.13911565759221 |
| DRESDEN/gt_prisoner/huCp4w | 4.331302717900656 | 7086.3 | 1636.0666666666666 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 4.376882162078434 | 184.72101859876008 | 42.203790679857434 |
| BASE/pacman3p/wW7UVQ | 4.387771265642326 | 923.3025565814473 | 210.4263191226959 |
| BASE/solitaireChineseCheckers/-ET6gw | 4.426381952815567 | 1713.6 | 387.1333333333333 |
| BASE/choicethroughalt/tt71Lg | 4.427560341215205 | 493.03333333333336 | 111.35553111355532 |
| BASE/amazonsTorus_10x10/Uxc08g | 4.448447648111447 | 204.68635424305046 | 46.01298485100716 |
| BASE/hanoi_6_disks/MeubgQ | 4.472939990449409 | 5620.1 | 1256.4666666666667 |
| BASE/3pffa/pR0dzA | 4.481626134902916 | 1471.9666666666667 | 328.44477034864343 |
| DRESDEN/pacman3p/rBnk8Q | 4.577095862032143 | 952.3666666666667 | 208.07225703239567 |
| BASE/pacman2p/4LEdQg | 4.578171579993374 | 921.4333333333333 | 201.26666666666668 |
| DRESDEN/brain_teaser_extended/ZDp94A | 4.591934101185221 | 3813.9333333333334 | 830.5723142561915 |
| BASE/kitten_escapes_from_fire/uW-YiA | 4.620408717496097 | 4536.933333333333 | 981.9333333333333 |
| DRESDEN/blockerparallel/dVQgSg | 4.640344657534247 | 903.2 | 194.64071457139048 |
| BASE/blockerParallel/7-nDJA | 4.677208638817846 | 914.3333333333334 | 195.48696753549763 |
| DRESDEN/hanoi_6_disks/MeubgQ | 4.736842105263158 | 5913.0 | 1248.3 |
| DRESDEN/brawl/2kXtfQ | 4.812149406752446 | 161.650501616505 | 33.59216182890659 |
| BASE/gt_prisoner/klthDw | 4.822077794190054 | 8161.366666666667 | 1692.5 |
| BASE/lightsOnSimul4/9FeASw | 4.840333257247204 | 1413.7 | 292.06666666666666 |
| BASE/skirmishFinal3/-Olhfw | 4.889951417569047 | 69.62869142057197 | 14.239137667176792 |
| BASE/knightsTour/mvtVIg | 4.8948322429626065 | 13592.133333333333 | 2776.8333333333335 |
| BASE/brawl/6Ymo_Q | 4.901170717109367 | 160.4506216045062 | 32.73720318380125 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 4.940488984416981 | 4903.6 | 992.5333333333333 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 4.955760458240946 | 893.9 | 180.3759498733502 |
| BASE/tttcc4/8Bs2lg | 4.956434108707452 | 710.2333333333333 | 143.29522349255024 |
| BASE/ttcc4/Le0qjQ | 4.964179232804233 | 708.7666666666667 | 142.77620396600565 |
| BASE/brain_teaser_extended/ZDp94A | 4.969017798286091 | 4020.266666666667 | 809.0666666666667 |
| BASE/lightsOnSimultaneous/_VN6lw | 4.971684135968853 | 1844.4333333333334 | 370.9876337455418 |
| DRESDEN/aipsrovers01/qS47Mw | 5.021996808753134 | 4406.3 | 877.4 |
| STANFORD/knightstourmedium/x1wu8Q | 5.039765520551232 | 14701.5 | 2917.1 |
| DRESDEN/tttcc4/sAvtFg | 5.055274072281381 | 696.2333333333333 | 137.72415172321845 |
| BASE/gt_staghunt/xPjLRA | 5.070895375014811 | 8559.333333333334 | 1687.9333333333334 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 5.134148158505385 | 5752.066666666667 | 1120.3546312035462 |
| BASE/aipsrovers01/4C4jsw | 5.1378298526244786 | 4400.233333333334 | 856.4381187293757 |
| DRESDEN/towerworld/HCX34w | 5.199509190711537 | 40.38922953878966 | 7.7678927101314565 |
| DRESDEN/knightstour/cGISAA | 5.208162637050368 | 14662.366666666667 | 2815.266666666667 |
| BASE/skirmishFinal2/gdB62Q | 5.2743094382827005 | 63.63484924204565 | 12.065057992267697 |
| DRESDEN/hanoi/RQ0jiA | 5.30486366808654 | 7347.766666666666 | 1385.1 |
| DRESDEN/babel/WdSW4A | 5.35549653211525 | 307.87947470168655 | 57.488502299540094 |
| STANFORD/knightstour/cEwgNA | 5.381179751020963 | 14538.333333333334 | 2701.7 |
| BASE/pentago/86NgKw | 5.396389745748975 | 441.65194493516884 | 81.84211403245693 |
| DRESDEN/gt_chicken/CeuKtw | 5.4352599289635135 | 7294.3 | 1342.0333333333333 |
| DRESDEN/quarto/OQzRYQ | 5.463786635526145 | 1403.6 | 256.89143695210157 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 5.474035833586395 | 600.8666666666667 | 109.76666666666667 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 5.48033044152913 | 12.290167865707435 | 2.242596134819603 |
| BASE/futoshiki6/JmvXNA | 5.502027038456793 | 207.41950536630893 | 37.69874337522083 |
| DRESDEN/pentago_2008/hLjVpQ | 5.571317690875233 | 432.03333333333336 | 77.54598773660358 |
| BASE/2pttc/unkkYA | 5.57851817334576 | 1596.2 | 286.1333333333333 |
| STANFORD/multiplesukoshi/vLSQPg | 5.617769578117961 | 123.35021997067058 | 21.95715190084297 |
| BASE/hanoi/iGLsJg | 5.620182131429979 | 7611.6 | 1354.3333333333333 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 5.620860620786201 | 151.88987400839943 | 27.022529867882458 |
| BASE/quartoSuicide/-23jUg | 5.626664925568033 | 1436.3 | 255.26666666666668 |
| BASE/othelloSuicide/B442jg | 5.694855449062419 | 5.001987544719756 | 0.878334417696812 |
| BASE/checkersTiny/Lr48cg | 5.7005312607406164 | 581.5472817572747 | 102.01633061156474 |
| DRESDEN/quartosuicide/WIU1oQ | 5.722815763945029 | 1415.4 | 247.32580225932222 |
| BASE/quarto/EwBMVQ | 5.74173235493953 | 1408.4 | 245.2918236058798 |
| BASE/2pffa/6oHijA | 5.746928473821589 | 1663.4333333333334 | 289.4473701753216 |
| DRESDEN/skirmishfinal/hzq8ww | 5.767424982669654 | 64.94069039051047 | 11.259910720234526 |
| BASE/gt_chicken/gmepTQ | 5.7828670085817295 | 7592.133333333333 | 1312.8666666666666 |
| BASE/strangeSkirmish/gc1zKA | 5.793770991545157 | 42.07615684445481 | 7.262309281098008 |
| DRESDEN/bidding-tictactoe/yW5vTA | 5.84391513964454 | 2685.1 | 459.46936870875277 |
| DRESDEN/slidingpieces/s9_44g | 5.8622956084585836 | 343.9104059729351 | 58.6648011193284 |
| DRESDEN/backgammon/mqCW0Q | 5.924823855147799 | 303.9130724618359 | 51.294870512948705 |
| BASE/quad_7x7/q-JOXg | 5.981958134101136 | 4.323728272539973 | 0.7227948065854638 |
| STANFORD/madness/UO_B3A | 6.010774749430682 | 43.352215928023995 | 7.2124173230963535 |
| BASE/skirmishHoles/AUCxCA | 6.020591763294682 | 47.181127548980406 | 7.836626265980408 |
| BASE/biddingTicTacToe/8mESVw | 6.021705859307199 | 2697.9666666666667 | 448.04026129849353 |
| BASE/2pffa_zerosum/o0_uZA | 6.0490824470334905 | 1747.8666666666666 | 288.9474035064329 |
| STANFORD/freeforall/Lfp40Q | 6.056815261433944 | 1664.1 | 274.74835010999266 |
| BASE/ticTacToeSerial/Amrwqw | 6.072178148860523 | 1157.3666666666666 | 190.60156640559907 |
| BASE/pentagoSuicide/SBgNhw | 6.083957545032259 | 463.4739718722922 | 76.17968541722207 |
| DRESDEN/twisty-passages/j7NPyg | 6.092247713300345 | 6771.533333333334 | 1111.5 |
| BASE/ttcc4_2player_alt/ZEJvYA | 6.104836991263584 | 955.0 | 156.43333333333334 |
| BASE/skirmishFinal1/ecWTnQ | 6.118317248815151 | 63.9786737754082 | 10.456906886905555 |
| BASE/othello-comp2007/86ZoMw | 6.140168436470158 | 5.0930395126660235 | 0.8294625082946251 |
| BASE/twisty-passages/DiZmmg | 6.20338307847884 | 6747.833333333333 | 1087.7666666666667 |
| BASE/slidingpieces/uFJWEw | 6.3186133795888155 | 370.7419505366309 | 58.674574351114515 |
| BASE/knightThrough/gcwFjA | 6.376839081122646 | 1105.6333333333334 | 173.3826617338266 |
| DRESDEN/pawntoqueen/f_x6Aw | 6.442389181712298 | 22.846866049423834 | 3.546334349728225 |
| DRESDEN/capture_the_king/EQ229Q | 6.569043011074082 | 120.86776859504133 | 18.39960073199135 |
| BASE/pawnToQueen/-O1_JA | 6.626563625687516 | 23.452595109600907 | 3.5391790427678367 |
| STANFORD/skirmish/w4V6Vw | 6.698908011104529 | 41.001898544449254 | 6.120683919898876 |
| DRESDEN/hanoi7/51zz5Q | 6.771364557772325 | 6346.8 | 937.3 |
| BASE/tictactoe_3d_small_6player/g_9lww | 6.793133410286006 | 588.4333333333333 | 86.62178376216505 |
| BASE/othelloHoles/c0qAzw | 6.842024305007965 | 6.329952939616889 | 0.9251579148854718 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 6.9522509262961485 | 579.5666666666667 | 83.36388787040433 |
| DRESDEN/tpeg/h-Scbg | 6.980583522840615 | 777.5333333333333 | 111.38514864684709 |
| BASE/duplicateStateMedium/U163eQ | 7.13108602989734 | 7918.833333333333 | 1110.4666666666667 |
| BASE/tpeg/QNs7Lw | 7.1548405258386225 | 789.1 | 110.2889711028897 |
| BASE/hanoi7_bugfix/3gdnFw | 7.193437966570773 | 6584.633333333333 | 915.3666666666667 |
| DRESDEN/skirmish3/3LU8Nw | 7.266383386020372 | 459.56666666666666 | 63.24558480506498 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 7.313753840592807 | 6744.5 | 922.1666666666666 |
| DRESDEN/knightthrough/J7Fc_Q | 7.333328198669508 | 1261.3666666666666 | 172.0046658890185 |
| DRESDEN/peg/Vo31eg | 7.358214161144054 | 703.2 | 95.56666666666666 |
| BASE/ttcc4_2player/_aH_Mw | 7.372958482062673 | 786.9404353188227 | 106.73333333333333 |
| DRESDEN/statespacemedium/dVJZ_w | 7.39268511715242 | 12073.733333333334 | 1633.2 |
| BASE/peg/fJHVWw | 7.461308887403942 | 744.1666666666666 | 99.73674564297377 |
| DRESDEN/battlesnakes1509/-qZrLw | 7.471706515274398 | 1228.2666666666667 | 164.38904073061795 |
| BASE/skirmish/Y_psYQ | 7.513594773090993 | 44.61251416005864 | 5.937572561117192 |
| BASE/stateSpaceMedium/3bUoIw | 7.5394439959427855 | 12140.766666666666 | 1610.3 |
| DRESDEN/peg_bugfixed/u_B7MA | 7.607746037215713 | 735.8 | 96.71721379770038 |
| DRESDEN/battlesnakes2011/93VtTw | 7.629866170371882 | 1246.7666666666667 | 163.40609898350274 |
| BASE/pegEuro/5awwhg | 7.673655864013573 | 603.4798840038666 | 78.6430737445433 |
| DRESDEN/checkers/jIDMIg | 7.799248711483629 | 245.39182027265758 | 31.463520314635204 |
| DRESDEN/chomp/-LcqYQ | 7.842019103371377 | 2656.4333333333334 | 338.7435427428762 |
| STANFORD/ttcc4/Cx9SGw | 7.933172177080415 | 943.5 | 118.93098737045553 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 7.999733469221362 | 2615.4 | 326.93589230974277 |
| DRESDEN/checkers-newgoals/IJOqXQ | 8.127916006196156 | 242.050529964669 | 29.78014656895403 |
| BASE/chomp/-LcqYQ | 8.156309607469128 | 2708.1666666666665 | 332.03333333333336 |
| BASE/blockerSerial/3eqDuw | 8.414123330125122 | 1456.9 | 173.1493517314935 |
| BASE/checkers-newgoals/0XkFiA | 8.668189472261595 | 232.79224025865804 | 26.855924296947887 |
| BASE/checkersSmall/SYmq8w | 8.823927332180162 | 425.0049996666889 | 48.16506116462784 |
| BASE/slaughter/cOch8A | 9.361196943366583 | 26.195634060989835 | 2.7983210073955624 |
| BASE/sudokuGrade1/tDRNRw | 9.51750208876883 | 24.388618644632505 | 2.562502053286902 |
| BASE/tictactoe_3d_6player/d7KSwg | 9.60269788639366 | 242.3 | 25.232492250258325 |
| STANFORD/chinook/osFbPA | 9.70989157559038 | 562.6812439585348 | 57.949281882102035 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 9.748181505309741 | 230.34363230343632 | 23.62939510081653 |
| DRESDEN/cylinder-checkers/clOO3Q | 9.859277407755696 | 219.73736835088656 | 22.287370490055636 |
| BASE/knightsTourLarge/M8jgLA | 10.181187603735726 | 13699.466666666667 | 1345.5666666666666 |
| BASE/chinook/XQh0IQ | 10.186983212493029 | 608.7 | 59.75272436431499 |
| BASE/cylinder-checkers/hlldmw | 10.388386277602525 | 219.3 | 21.11011220990244 |
| BASE/checkers/rOC3Xg | 10.488773173391495 | 320.5 | 30.55648117294235 |
| BASE/sudokuGrade2/u80Tfw | 10.796242692521187 | 25.418929273411734 | 2.354423663615864 |
| DRESDEN/Zhadu/9zpQ5w | 11.152643456661044 | 57.73202745019655 | 5.1765330501725515 |
| DRESDEN/CephalopodMicro/H3XQfg | 11.159359757296123 | 51.44608823137412 | 4.610129017279692 |
| STANFORD/knightstourbig/TQUI2g | 11.416230517052968 | 13232.933333333332 | 1159.1333333333334 |
| BASE/sudokuGrade4/DTy07w | 11.731925806451613 | 24.2 | 2.062747446518282 |
| BASE/sudokuGrade5/BQfUQA | 11.913028472912602 | 24.739453268071788 | 2.076672050631242 |
| STANFORD/alquerquezero/uVgA_A | 11.98971546109016 | 1165.8 | 97.23333333333333 |
| BASE/four_way_battle/xSOQXA | 12.033866810619042 | 257.50758257507584 | 21.398573428438105 |
| DRESDEN/knightmove/97Ipcw | 12.04699381040037 | 1745.0333333333333 | 144.8521814485218 |
| BASE/sudokuGrade3/eI8dvg | 12.174656158211272 | 25.111569972690337 | 2.0626101999401176 |
| STANFORD/selectivesukoshi/3xmXYg | 12.251880364202924 | 75.37487504165279 | 6.152106680855309 |
| BASE/amazons/RKKZjw | 12.557248951312106 | 2.3242686854600394 | 0.18509378084896347 |
| BASE/cephalopodMicro/9l2D3g | 12.560366330047383 | 51.50414764966519 | 4.1005291005291005 |
| BASE/amazonsSuicide/dE1QEQ | 12.569974218285186 | 2.2145831956104978 | 0.17618040873854826 |
| BASE/knightmove/jBaJEw | 12.765974595076127 | 1751.4333333333334 | 137.19542681910602 |
| STANFORD/sudoku/oJ1qyQ | 12.937024766425461 | 24.952526901422527 | 1.9287685810249078 |
| STANFORD/duidoku/3SoMaA | 13.178042404879465 | 23.961661341853034 | 1.818302036498281 |
| DRESDEN/four_way_battle/xSOQXA | 13.197537252434998 | 260.3159789347377 | 19.724587546567324 |
| BASE/duplicateStateLarge/dcjyuw | 14.355605550533962 | 4764.466666666666 | 331.88893703543215 |
| BASE/sudokuGrade6E/ihYFZA | 14.423931510043637 | 24.251307505246675 | 1.6813243662700466 |
| BASE/sudokuGrade6H/ieE_9A | 14.45715983363042 | 24.04262404262404 | 1.6630254018978055 |
| STANFORD/triplesukoshi/Iu9mbA | 15.038812965367965 | 771.9666666666667 | 51.33162227925736 |
| BASE/wargame02/BkVqqQ | 15.396716803333316 | 439.4520182660578 | 28.54193032704989 |
| BASE/blokbox_simple/JBx4bg | 15.702104132440288 | 0.8214330847971693 | 0.05231356752373728 |
| BASE/gt_tinfoil/Q8DyKg | 15.770546715779625 | 10489.166666666666 | 665.1111629612346 |
| DRESDEN/amazons/dNB28A | 16.50329736211031 | 37.370103916866505 | 2.2644022644022646 |
| BASE/mummymaze1p/PT_EXA | 16.80498724320742 | 1690.3 | 100.58323612731212 |
| BASE/stateSpaceLarge/0Ge_CQ | 17.178242031733138 | 8456.566666666668 | 492.28359054698177 |
| DRESDEN/statespacelarge/8-y5HQ | 17.906413432424994 | 8673.866666666667 | 484.4 |
| DRESDEN/mummymaze1p/AekgaQ | 18.39632044025157 | 1819.7666666666667 | 98.92014398080256 |
| BASE/wargame03/klXI8w | 18.85759572400389 | 646.6 | 34.28857047650783 |
| BASE/smallest_4player/ADDROA | 18.946125220896842 | 3811.8333333333335 | 201.19329355688143 |
| DRESDEN/smallest_4player/ADDROA | 19.2818418460859 | 3880.5333333333333 | 201.25324978334777 |
| BASE/battle/8oAvhQ | 21.65675373706119 | 91.20901093041856 | 4.211573536726911 |
| DRESDEN/battle/8oAvhQ | 21.997020472440948 | 92.4 | 4.200568895944962 |
| BASE/hidato19/rRHSmA | 22.406518612283165 | 530.4333333333333 | 23.673170406872213 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 25.0665128363047 | 2576.9 | 102.80249258555767 |
| DRESDEN/hitori/S8Gsyg | 26.08542077519454 | 120.21329778370271 | 4.6084477156687225 |
| BASE/wargame01/_GZFZg | 26.458228620571035 | 853.6333333333333 | 32.26343477392289 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 26.53134164084911 | 2568.4333333333334 | 96.80751799520128 |
| BASE/hitori/S8Gsyg | 27.746715733333332 | 115.06666666666666 | 4.147037356512508 |
| DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | 29.671741735918744 | 713.9333333333333 | 24.061052421101742 |
| DRESDEN/grid_game2/kypTYQ | 33.003334340074844 | 360.4879837338755 | 10.922774651170535 |
| BASE/god/qF06gw | 34.417611363863614 | 109.55571109555711 | 3.183129414105242 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 35.31432696147191 | 14.474910155730068 | 0.4098877538151091 |
| BASE/quad_5x5/JAEP5g | 35.62640977777778 | 83.53333333333333 | 2.344702535405008 |
| BASE/zhadu/DlA8iQ | 35.8190443489899 | 21.967780588470244 | 0.6132989025177534 |
| BASE/hidato37/pBrqxw | 37.371814844163104 | 110.68524196773764 | 2.961730449251248 |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | 37.64297755390135 | 717.609413019566 | 19.063566690281444 |
| DRESDEN/Goldrush/VeWczQ | 39.90732144846796 | 1432.1 | 35.88564574170332 |
| DRESDEN/smallest/9kaGFw | 41.4069640914037 | 2536.866666666667 | 61.266666666666666 |
| DRESDEN/god/2EDD5w | 44.132191383491204 | 108.68550859885349 | 2.46272630457934 |
| DRESDEN/laikLee_hex/ZeP3QQ | 45.88051217109892 | 120.17324670997834 | 2.6192655884447156 |
| BASE/cittaceot/fDxhXg | 47.15758718766614 | 985.1666666666666 | 20.890947256188984 |
| BASE/chess_200/XsTpYA | 49.35792008265013 | 45.024328467639805 | 0.9122006841505131 |
| BASE/checkers-mustjump/T-8UuQ | 49.523648661800486 | 225.76666666666668 | 4.558764807666711 |
| DRESDEN/checkers-mustjump/HUr33w | 49.63595645347781 | 239.4840343977068 | 4.824809503210994 |
| DRESDEN/quad_5x5/JAEP5g | 53.49414665621976 | 90.37347713201518 | 1.6894087069525665 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 54.93655068640569 | 190.96030132328923 | 3.4760154930976266 |
| BASE/merrills/pku8Tg | 56.90738374451049 | 200.9866008932738 | 3.5318193820966464 |
| DRESDEN/merrills/aYEzwA | 58.32456792452831 | 205.3 | 3.519957494852892 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 59.51366620505021 | 193.7075056659112 | 3.2548407452921055 |
| DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | 60.04434372049103 | 703.3333333333334 | 11.713565171223786 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 63.052487752857665 | 191.05542040190622 | 3.0301012253596165 |
| BASE/simultaneousWin2/PfjRjw | 63.09755512572534 | 1087.2 | 17.230461589735043 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 63.29043206790432 | 189.8143518981435 | 2.9991002699190243 |
| BASE/laikLee_hex/zbyscQ | 69.03817320280886 | 140.82956438943108 | 2.039879647100821 |
| BASE/battlebrushes/arCwyA | 73.57282186936479 | 66.92441007865618 | 0.9096349491322562 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 76.74762086516319 | 186.44180775896547 | 2.4292845257903495 |
| BASE/checkers-mustjump-torus/uSApKQ | 79.93414681445479 | 175.52163189120725 | 2.1958279269388163 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 117.2026376068376 | 150.56666666666666 | 1.2846696093286778 |
| DRESDEN/guess/PhxGhg | 123.98595555555555 | 801.6333333333333 | 6.4655172413793105 |
| DRESDEN/farmers/S_ASnw | 125.55583209876545 | 1118.6666666666667 | 8.909714889123547 |
| BASE/guess/SPpk1A | 138.1578413407821 | 816.8 | 5.912078475410378 |
| BASE/copolymer_4_pie/IN5_jA | 159.40630900243312 | 1452.6666666666667 | 9.112981009079721 |
| BASE/copolymer_4/2LDVhQ | 185.06252832080204 | 1634.1333333333334 | 8.830168636303279 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 239.38283916349812 | 14686.7 | 61.35235111807245 |
| DRESDEN/small_dominion/yB5GJA | 253.3022080923639 | 132.57146664889717 | 0.5233727240172988 |
| DRESDEN/nim4/F5YAYg | 285.4076032772747 | 7346.166666666667 | 25.739211507725095 |
| BASE/nim4/twk16w | 288.48756675191817 | 7515.4 | 26.05103604503964 |
| DRESDEN/nim3/sG_axA | 298.0069346153846 | 7739.666666666667 | 25.971431425432026 |
| BASE/nim3/1OwUqw | 309.61852574525744 | 7608.5 | 24.573787959509858 |
| BASE/golden_rectangle/_nYzfw | 314.6600241379311 | 300.1 | 0.9537277600552504 |
| BASE/nim2/eF2Qqw | 332.33538903061225 | 8677.8 | 26.111573688592838 |
| DRESDEN/nim2/z5_exA | 353.86354216216216 | 8723.4 | 24.651875541341862 |
| DRESDEN/nim1/M9BALA | 366.27694310712764 | 9525.566666666668 | 26.00645999134228 |
| BASE/nim1/hin2Qw | 384.13108776595743 | 9619.266666666666 | 25.041625041625043 |
| DRESDEN/gt_ultimatum/pAiiQw | 496.3114230769231 | 7737.3 | 15.58960692871419 |
| BASE/gt_ultimatum/GE-uOA | 532.4388046897548 | 8163.366666666667 | 15.332028009159393 |
| BASE/colonelBlottoVariant/X-n-KQ | 637.265906862745 | 6494.7 | 10.191507077435471 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 947.8224118392109 | 474.63502433171124 | 0.5007636645884974 |
| BASE/racer4/0vs7Ww | 1149.9465579710145 | 863.6333333333333 | 0.7510204081632653 |
| BASE/colonelBlottoVariant2/jruwGw | 1745.9397333333332 | 6932.0 | 3.9703546850185285 |
| DRESDEN/fizzbuzz/t1xHzQ | 1781.5008935779815 | 19373.8 | 10.874987528684027 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 2052.093827037111 | 476.38083816376843 | 0.23214378986344142 |
| DRESDEN/queens/mW2wHQ | 3128.719018732085 | 507.2995133657756 | 0.16214288030612575 |
| DRESDEN/satlike_20v_91c/yeuENQ | 3203.3444026246543 | 497.6184924890917 | 0.15534342547787522 |
| BASE/ad_game_2x2/D0aWqg | 3416.5061333333338 | 813.0666666666667 | 0.23798191337458352 |
| BASE/queens08ug/kJ_ZFQ | 3891.5793 | 1647.8 | 0.4234270646881075 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 4622.716286666667 | 459.6333333333333 | 0.09942927595601249 |
| BASE/queens06ug/7Lq3tw | 9074.935486111111 | 2653.1666666666665 | 0.2923620416615909 |
| DRESDEN/racer/vk_ZBA | 19374.8698 | 2203.0666666666666 | 0.11370743078060151 |
| BASE/racer/QQYQNw | 20458.283833333335 | 2182.3333333333335 | 0.10667235585897915 |
| BASE/gt_attrition/kD_SCA | 21791.589322222222 | 2158.366666666667 | 0.09904585823236159 |
| BASE/colonelBlotto/jip21A | 677929.7 | 3124.1 | 0.004608294930875576 |
| DRESDEN/golden_rectangle/1uloXw | Infinity | 282.72390920302655 | 0.0 |
Games with errors:
| Game | GGP_BASE_PROVER:2015-04-26 error message | PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 error message |
| BASE/queens08lg/Ru7eqQ | Test process timed out after 240 seconds | |
| BASE/nonogram_10x10_1/0Xc62g | Exception of type NullPointerException | |
| BASE/reversiSuicide/9OxJlg | Test process timed out after 240 seconds | |
| BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | |
| BASE/amazonsTorus/soxT8g | Exception of type StackOverflowError | |
| STANFORD/rainbow/_4qNSQ | Exception of type NullPointerException | |
| BASE/gt_two_thirds_4p/DStnxQ | Exception of type NullPointerException | |
| BASE/reversi/d8UMeA | Test process timed out after 240 seconds | |
| BASE/queens12ug/u6Bkmg | Test process timed out after 240 seconds | |
| BASE/gt_two_thirds_2p/1APDGg | Exception of type NullPointerException | |
| BASE/alexChess/LNo83g | Exception of type StackOverflowError | |
| BASE/queens/HyJJnQ | Test process timed out after 240 seconds | |
| BASE/queens16ug/gT-ylw | Test process timed out after 240 seconds | |
| BASE/nonogram_5x5_1/qLKEZw | Exception of type NullPointerException | |
| BASE/sudoku/NTaNkw | Exception of type NullPointerException | |
| BASE/gt_two_thirds_6p/867v3Q | Exception of type NullPointerException | |
| STANFORD/dualrainbow/G3OnRQ | Exception of type NullPointerException |