Game-by-game performance:
| Game | Perf ratio | PALAMEDES_JAVA_ECLIPSE:0.6.1 states per second | PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 states per second |
| DRESDEN/firefighter/WJmoPw | 0.7092879833370181 | 4063.7 | 5729.266666666666 |
| BASE/firefighter/WJmoPw | 0.7321347553340148 | 4034.233333333333 | 5510.233333333334 |
| DRESDEN/blocks2player/3ev8nQ | 0.761271137026239 | 6527.9 | 8575.0 |
| DRESDEN/mummymaze2p/k-8edg | 0.8083787270642202 | 751.9 | 930.1333333333333 |
| BASE/pancakes/yUgbXw | 0.8083788663467477 | 11342.633333333333 | 14031.333333333334 |
| DRESDEN/pancakes6/SZXMyQ | 0.8138854609442844 | 11277.766666666666 | 13856.7 |
| BASE/blocks2player/wnTLOQ | 0.8143363030104599 | 6300.9 | 7737.466666666666 |
| BASE/pancakes6/QZTdnw | 0.8150591703472342 | 11132.866666666667 | 13658.967436589674 |
| BASE/mummymaze2p/vpjDdA | 0.8404985549132948 | 775.5 | 922.6666666666666 |
| DRESDEN/pancakes/hl9aiQ | 0.8490877319718462 | 11597.066666666668 | 13658.266666666666 |
| DRESDEN/pancakes88/aD3E7g | 0.9182862309434502 | 10257.9 | 11170.7 |
| BASE/pancakes88/l2Xaig | 0.9652651521181921 | 10105.2 | 10468.833333333334 |
| BASE/coloredtrails/EZvr7g | 1.0411168295727047 | 2474.7 | 2376.9666666666667 |
| DRESDEN/point_grab/r5DPmQ | 1.0428334081724293 | 7741.3 | 7423.333333333333 |
| BASE/point_grab/V_osUg | 1.0431020614029367 | 7996.733333333334 | 7666.3 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 1.1377072754503523 | 12711.3 | 11172.733333333334 |
| DRESDEN/hallway/0H4l-Q | 1.1574025289778713 | 292.89023699210026 | 253.05823139228693 |
| BASE/hallway/ckCJOw | 1.1773567704822256 | 291.03333333333336 | 247.19213464422597 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 1.1933833888071832 | 12847.766666666666 | 10765.833333333334 |
| DRESDEN/oisters_farm/pTQMLg | 1.219474245237604 | 9457.266666666666 | 7755.2 |
| DRESDEN/ghostmaze2p/HY0UwA | 1.225204824582095 | 2597.0666666666666 | 2119.7 |
| BASE/ghostMaze2p/W-NU-w | 1.2266670926925904 | 2559.4 | 2086.4666666666667 |
| DRESDEN/chickentoetictac/cxYaRQ | 1.2388742140170548 | 5753.166666666667 | 4643.866666666667 |
| DRESDEN/racetrackcorridor/O0DoTA | 1.2532914954873353 | 1291.4333333333334 | 1030.4333333333334 |
| BASE/chickentoetictac/l57rfQ | 1.2674536038907553 | 5898.433333333333 | 4653.766666666666 |
| BASE/untwistycomplex2/EDPPAQ | 1.2869391484756223 | 22909.833333333332 | 17801.8 |
| STANFORD/untwistycorridor/EDPPAQ | 1.2949198991378401 | 22869.666666666668 | 17661.066666666666 |
| BASE/roshambo2/KNPokQ | 1.3462425457053875 | 10994.0 | 8166.433333333333 |
| BASE/blocker/dIWtxg | 1.3474331490465983 | 3980.766666666667 | 2954.3333333333335 |
| DRESDEN/roshambo2/jgSlkQ | 1.359859924312603 | 10911.833333333334 | 8024.233333333334 |
| BASE/sheepAndWolf/g4THrg | 1.3640089308440722 | 929.4356854771507 | 681.4 |
| STANFORD/bestbuttonsandlights/nm0wEA | 1.3736948269789715 | 12871.2 | 9369.766666666666 |
| DRESDEN/latenttictactoe/kITHKg | 1.3798613253657663 | 2832.5333333333333 | 2052.766666666667 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 1.3914893617021278 | 4676.1 | 3360.5 |
| DRESDEN/twisty-passages/j7NPyg | 1.3944219523166892 | 1549.9 | 1111.5 |
| DRESDEN/toetictac/mJtxCA | 1.396581675539367 | 8307.333333333334 | 5948.333333333333 |
| BASE/incredible/8Qh-6Q | 1.3979489603024575 | 4930.1 | 3526.6666666666665 |
| DRESDEN/blocker/S815zQ | 1.4001075397299558 | 3905.8333333333335 | 2789.6666666666665 |
| STANFORD/multipletictactoe/_bkafQ | 1.4024824152972204 | 614.4333333333333 | 438.1041263915739 |
| BASE/toetictac/mTThmg | 1.421042401513809 | 8285.766666666666 | 5830.766666666666 |
| DRESDEN/lightson2x2/gBHuig | 1.4211785344071446 | 5941.0 | 4180.333333333333 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 1.4216664581247915 | 9089.566666666668 | 6393.6 |
| DRESDEN/sheep_and_wolf/enAIzQ | 1.442767898391081 | 960.4666666666667 | 665.7111429619013 |
| BASE/twisty-passages/DiZmmg | 1.4444274200962217 | 1571.2 | 1087.7666666666667 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 1.5131881979750574 | 4643.066666666667 | 3068.4 |
| BASE/beatMania/qUHwvQ | 1.5184654684791532 | 5547.966666666666 | 3653.6666666666665 |
| STANFORD/dualhunter/1rPZjQ | 1.5271903701293827 | 2034.1666666666667 | 1331.9666666666667 |
| DRESDEN/Runners/3bOCQw | 1.5600173152885581 | 8649.1 | 5544.233333333334 |
| DRESDEN/bomberman2p/x4h6jQ | 1.5739564998742772 | 1669.2333333333333 | 1060.5333333333333 |
| BASE/bomberman2p/4CClwA | 1.6151030750461415 | 1721.0 | 1065.5666666666666 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 1.6829561474171786 | 8913.833333333334 | 5296.533333333334 |
| DRESDEN/snake_2009_big/DgC1NQ | 1.7271969696969698 | 759.9666666666667 | 440.0 |
| BASE/snake_2009_big/-oRfVw | 1.757152521871434 | 769.9 | 438.1520615979467 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 1.8355799090868175 | 5437.966666666666 | 2962.5333333333333 |
| BASE/tictactoe_orthogonal/WRzlVw | 1.9055079995923776 | 7479.5 | 3925.2 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 1.9084107385512727 | 1345.0666666666666 | 704.809839672011 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 1.9173631706659477 | 7585.6 | 3956.266666666667 |
| BASE/circlesolitaire/azuQFQ | 1.9426332763931116 | 9818.133333333333 | 5054.033333333334 |
| DRESDEN/circlesolitaire/ruUilQ | 1.9444378752644096 | 9866.466666666667 | 5074.2 |
| BASE/eightPuzzle/vLrgFg | 1.9516988177703163 | 8292.833333333334 | 4249.033333333334 |
| DRESDEN/8puzzle/8fKC2w | 1.9559712478075673 | 8326.7 | 4257.066666666667 |
| STANFORD/8puzzle/jNiGtw | 1.9709783498017495 | 8351.166666666666 | 4237.066666666667 |
| BASE/lightsOn/MsXu3A | 2.0263143480023227 | 12330.933333333332 | 6085.4 |
| DRESDEN/chickentictactoe/Ipbo-g | 2.0297024760383384 | 5421.2 | 2670.9333333333334 |
| STANFORD/eightpuzzle/W_aWbA | 2.071508755254382 | 8426.966666666667 | 4068.0333333333333 |
| BASE/chickentictactoe/DSlZCA | 2.1349310859450443 | 5674.433333333333 | 2657.9 |
| DRESDEN/chinesecheckers6/yTbPDA | 2.212018241974426 | 824.5666666666667 | 372.76666666666665 |
| BASE/lightsOnParallel/SC6enA | 2.233781342803784 | 4864.133333333333 | 2177.5333333333333 |
| BASE/sum15/QZ07Kg | 2.2670417990012357 | 7399.7 | 3264.0333333333333 |
| DRESDEN/sum15/CsgWKg | 2.271890853267997 | 7449.0 | 3278.766666666667 |
| STANFORD/hunter/14dD-g | 2.2872461257098857 | 7920.733333333334 | 3463.0 |
| DRESDEN/cube_2x2x2/fp-34Q | 2.2891792776900934 | 3287.5666666666666 | 1436.1333333333334 |
| BASE/tron_10x10/7ZTgDg | 2.3169299253302698 | 5378.366666666667 | 2321.3333333333335 |
| BASE/catcha_mouse/cHv4dw | 2.3281423670007713 | 1207.8 | 518.7827072430919 |
| BASE/racetrackcorridor/_RkdUg | 2.3414369192507145 | 1474.9 | 629.9123362554582 |
| BASE/majorities/ibJzSQ | 2.361195849268028 | 288.8948140247967 | 122.35105957616953 |
| DRESDEN/grid_game/U7_Yeg | 2.368596881959911 | 1488.9 | 628.6 |
| DRESDEN/logistics/fPru1Q | 2.376814728703128 | 2930.5333333333333 | 1232.9666666666667 |
| DRESDEN/tictactoex9/rFkD4w | 2.3801389449732397 | 825.1666666666666 | 346.6884437185427 |
| DRESDEN/tictactoe/BTTzPw | 2.395977922853554 | 7756.1 | 3237.133333333333 |
| BASE/kalaha5x2x3/WviNsw | 2.402333602078294 | 3575.633333333333 | 1488.4 |
| BASE/tictactoex9/BI26ow | 2.417408678806664 | 831.8 | 344.0874550059992 |
| DRESDEN/catcha_mouse/cHv4dw | 2.4217063337235007 | 1241.3666666666666 | 512.6 |
| BASE/ticTacToe/JRFsaQ | 2.422123052161826 | 7725.2 | 3189.4333333333334 |
| BASE/snake_2009/7l-qAQ | 2.4531602039606306 | 1379.1666666666667 | 562.2 |
| BASE/kalaha6x2x4/XS81Mg | 2.4662850540909567 | 3130.866666666667 | 1269.4666666666667 |
| BASE/eotcatcit/AfZSzA | 2.500931872277361 | 7425.1 | 2968.9333333333334 |
| BASE/asteroids/BKCmPQ | 2.50154215347696 | 10841.1 | 4333.766666666666 |
| DRESDEN/eotcatcit/mQUxzA | 2.5062721631205673 | 7538.866666666667 | 3008.0 |
| DRESDEN/chinesecheckers2/06E6-Q | 2.515305599340648 | 1627.6 | 647.078430718976 |
| DRESDEN/chinesecheckers3/QsCb2A | 2.5193935510575765 | 1352.5333333333333 | 536.8487717076098 |
| DRESDEN/snake_2009/zIYLVw | 2.51987529228371 | 1400.9666666666667 | 555.9666666666667 |
| STANFORD/tictactoe/ss1kyQ | 2.52837743339875 | 7472.366666666667 | 2955.4 |
| STANFORD/trifecta/ss1kyQ | 2.5526621663909874 | 7613.4 | 2982.5333333333333 |
| DRESDEN/bunk_t/7-tPfA | 2.5960388273360135 | 1765.1333333333334 | 679.9333333333333 |
| BASE/knightwar/DVGY4Q | 2.6423103125 | 1380.6333333333334 | 522.5099136925589 |
| DRESDEN/doubletoetictac/V89gKQ | 2.676211782252051 | 1794.4 | 670.5 |
| BASE/factoringGeorgeForman/HGRorQ | 2.7029515640766903 | 8571.6 | 3171.2 |
| DRESDEN/doubletictactoe/lJzgmQ | 2.712283384301733 | 1773.8333333333333 | 654.0 |
| BASE/doubletictactoe/HH1htg | 2.7267077581376395 | 1784.2666666666667 | 654.3666666666667 |
| BASE/doubletoetictac/fu35bg | 2.7310537478661217 | 1759.8 | 644.3666666666667 |
| BASE/kalaha_2009/dRiN3g | 2.734053352884778 | 3231.8333333333335 | 1182.0666666666666 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 2.7515716322882566 | 9133.2 | 3319.266666666667 |
| DRESDEN/knightwar/7hhAqg | 2.75900064061499 | 1435.6 | 520.3333333333334 |
| DRESDEN/chinesecheckers1/Y-ftaA | 2.7674289564424717 | 2327.5 | 841.0333333333333 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 2.7702313319982017 | 9037.233333333334 | 3262.266666666667 |
| BASE/bunk_t/xbpfIA | 2.7752351894228324 | 1819.1666666666667 | 655.5 |
| BASE/hexPie/48CH6Q | 2.8071837129121824 | 356.2762482501167 | 126.91590030654405 |
| BASE/eotcitcit/V_9_bg | 2.8132512414337203 | 6061.9 | 2154.766666666667 |
| DRESDEN/kalaha_2009/gcC8uA | 2.829957402416761 | 3255.3 | 1150.3 |
| DRESDEN/catch_me/ghGWrA | 2.8462193248349457 | 9139.4 | 3211.0666666666666 |
| DRESDEN/Thief_Police/CX18rA | 2.8497913913830595 | 9130.066666666668 | 3203.766666666667 |
| BASE/chineseCheckers6/rREH3A | 2.8526158816950415 | 1530.3333333333333 | 536.4666666666667 |
| BASE/ticTicToe/c1OobQ | 2.8742292878540523 | 6044.6 | 2103.0333333333333 |
| BASE/asteroidsParallel/WauZiA | 2.9084409076630817 | 6481.266666666666 | 2228.4333333333334 |
| DRESDEN/tictictoe/LAUtwg | 2.9132726172658665 | 6099.033333333334 | 2093.5333333333333 |
| BASE/asteroidsSerial/id2QkA | 2.923970667011471 | 5276.5 | 1804.5666666666666 |
| STANFORD/tictictoe/rpt_Dw | 2.9323547263840526 | 6119.433333333333 | 2086.866666666667 |
| BASE/wallmaze/uxNQ9g | 2.9467753961999827 | 747.8666666666667 | 253.7915402819906 |
| BASE/hex/T1MK8g | 3.059866855189924 | 392.87380841277246 | 128.3957201426619 |
| STANFORD/breakthrough/d5j0cQ | 3.060179743531116 | 1784.4333333333334 | 583.1138962034598 |
| DRESDEN/snake_2008/E56l3A | 3.1420360337005833 | 1616.0 | 514.3161894603513 |
| STANFORD/hex/MTqWcw | 3.1491245751633987 | 401.5 | 127.49575014166194 |
| BASE/snake_2008_tweaked/bX0NJQ | 3.1540876554062542 | 1674.4 | 530.8666666666667 |
| BASE/snake_2008/i6K26g | 3.1592549626192317 | 1633.912202926569 | 517.1827605746475 |
| DRESDEN/connect5/1kYzSg | 3.275489757545769 | 661.8 | 202.04612103439084 |
| BASE/mummyMaze2p_2007/YGA3Vw | 3.297049189625892 | 2221.733333333333 | 673.8550763282448 |
| BASE/connect5/d-BVQg | 3.32544764721994 | 674.4666666666667 | 202.8198120125325 |
| BASE/tictactoe_3player/GtM71g | 3.364935325670498 | 1804.8666666666666 | 536.3748458692971 |
| BASE/crossers3/O0rORg | 3.3762859263972853 | 1061.1666666666667 | 314.3 |
| BASE/withConviction/3Xm54A | 3.3879774072081763 | 1679.5333333333333 | 495.73333333333335 |
| DRESDEN/tictactoe_3player/ESLQQQ | 3.3980784006221243 | 1747.8 | 514.3495216826105 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 3.4012877662209013 | 2289.0666666666666 | 673.0 |
| BASE/lightsOnSimultaneous/_VN6lw | 3.44962082359988 | 1279.7666666666667 | 370.9876337455418 |
| DRESDEN/crossers3/xiPTxg | 3.5159726306343617 | 1131.8333333333333 | 321.9118725418305 |
| BASE/ticTacToeParallel/ymRGPw | 3.6075619852344984 | 2817.866666666667 | 781.1 |
| DRESDEN/max_knights/hCipiA | 3.6854868567197334 | 1327.2666666666667 | 360.1333333333333 |
| DRESDEN/4pttc/9pB9AQ | 3.708372408332921 | 2498.0 | 673.6108796373454 |
| BASE/max_knights/2fq3Ag | 3.7799316777142162 | 1387.5666666666666 | 367.0877637412086 |
| DRESDEN/tictactoeparallel/yk_DSg | 3.794297158820733 | 2836.9333333333334 | 747.6834877674821 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 3.9381413558623533 | 3185.3 | 808.8333333333334 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 3.945276200309758 | 3056.8 | 774.8 |
| BASE/lightsOnSimul4/9FeASw | 3.992923989956631 | 1166.2 | 292.06666666666666 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 3.9967968407196137 | 3036.233333333333 | 759.6666666666666 |
| BASE/lightsOut/5P1ZBw | 4.01423534021157 | 3073.7 | 765.7 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 4.015651667152312 | 3215.6 | 800.7666666666667 |
| DRESDEN/lightsout/XgLpzQ | 4.037987454489626 | 3068.4666666666667 | 759.9 |
| BASE/chineseCheckers3/-1rZdQ | 4.1018075491759705 | 3600.5666666666666 | 877.8 |
| DRESDEN/pacman3p/rBnk8Q | 4.125009322441134 | 858.3 | 208.07225703239567 |
| DRESDEN/stratego/Z2wovg | 4.174778059150879 | 1483.6666666666667 | 355.38815372820903 |
| BASE/knightfight/SJRkAg | 4.208775859797075 | 5323.4 | 1264.8333333333333 |
| BASE/pacman3p/wW7UVQ | 4.216361038069592 | 887.2333333333333 | 210.4263191226959 |
| DRESDEN/aipsrovers01/qS47Mw | 4.2424207886938685 | 3722.3 | 877.4 |
| DRESDEN/lightsout2/LFtfyQ | 4.253510586785227 | 3220.9 | 757.2333333333333 |
| BASE/aipsrovers01/4C4jsw | 4.319557072987209 | 3699.4333333333334 | 856.4381187293757 |
| BASE/tictactoe2/bhrDoQ | 4.371482734849909 | 9300.766666666666 | 2127.6 |
| DRESDEN/chinesecheckers4/-oVNYg | 4.385514018691588 | 938.5 | 214.0 |
| BASE/double_tictactoe_dengji/zgaSbA | 4.433228120516499 | 2574.9666666666667 | 580.8333333333334 |
| DRESDEN/knightfight/4_Ly4w | 4.452615681022977 | 5486.033333333334 | 1232.0922635912136 |
| BASE/dotsAndBoxes/EHwA_w | 4.572652902220491 | 1565.0666666666666 | 342.26666666666665 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 4.696525615192038 | 2563.8333333333335 | 545.9 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 4.724471614992151 | 1604.9 | 339.69936339699365 |
| DRESDEN/frogs_and_toads/GjchhQ | 4.773224196992995 | 2483.266666666667 | 520.2493250224993 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 4.781333372428725 | 3532.733333333333 | 738.8594473885945 |
| BASE/ticTacToeLargeSuicide/727_8g | 4.794581588093752 | 3586.6666666666665 | 748.0666666666667 |
| BASE/ticTacToeLarge/TZC0dg | 4.873416572077185 | 3577.9 | 734.1666666666666 |
| DRESDEN/tictactoelarge/IwXcbg | 4.878658619594318 | 3583.7 | 734.5666666666667 |
| BASE/pacman2p/4LEdQg | 4.974494865849619 | 1001.2 | 201.26666666666668 |
| DRESDEN/3pffa/0YrmQw | 5.03368729403149 | 3207.633333333333 | 637.2333333333333 |
| BASE/gt_coordination/IVMOzA | 5.056266120652497 | 12959.041525028328 | 2562.9666666666667 |
| BASE/dualConnect4/WbCQkg | 5.0718449561403505 | 1952.9333333333334 | 385.0538315389487 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 5.118774367140739 | 3107.266666666667 | 607.0333333333333 |
| BASE/numbertictactoe/rvJ-iQ | 5.2323626131470995 | 5144.633333333333 | 983.2333333333333 |
| BASE/chineseCheckers2/eCMR3Q | 5.270015844906328 | 5654.2 | 1072.9 |
| BASE/shmup/ssTNlg | 5.280548947849954 | 4809.7 | 910.8333333333334 |
| BASE/chineseCheckers4/avfBcQ | 5.393766334333559 | 1857.4333333333334 | 344.3666666666667 |
| DRESDEN/blockerparallel/dVQgSg | 5.523154981591938 | 1075.03083230559 | 194.64071457139048 |
| BASE/blockerParallel/7-nDJA | 5.524651320943465 | 1079.9973334222193 | 195.48696753549763 |
| BASE/blobwars/0XT15Q | 5.53599896474788 | 688.9333333333333 | 124.44607336820711 |
| BASE/endgame/jYjfOA | 5.5413855150697255 | 821.20595980134 | 148.1950601646612 |
| DRESDEN/hanoi/RQ0jiA | 5.611387866098718 | 7772.333333333333 | 1385.1 |
| BASE/4pttc/AL1k2Q | 5.742066010790226 | 2412.4333333333334 | 420.1333333333333 |
| DRESDEN/connectfoursuicide/M9CNQg | 5.836586499360986 | 3349.0333333333333 | 573.8 |
| BASE/crissrace/ERWGDA | 5.84214590716192 | 1481.8333333333333 | 253.64538251548038 |
| BASE/hanoi/iGLsJg | 5.844203790302732 | 7915.0 | 1354.3333333333333 |
| DRESDEN/blobwars/ZaMluQ | 5.854253255749515 | 704.2431918936036 | 120.29599013366222 |
| BASE/ticTacHeavenFC/mrletw | 5.949784438691689 | 842.4385853804873 | 141.59144655763913 |
| BASE/3pConnectFour/PqXOFQ | 5.954114408075865 | 1946.4 | 326.9 |
| BASE/breakthroughSmallHoles/bxclRw | 5.998771890991313 | 2240.266666666667 | 373.4542181927269 |
| BASE/connectFour/WAIKTw | 6.015434310557547 | 3411.9333333333334 | 567.1965077143524 |
| BASE/connectFourSuicide/c8p9Kw | 6.029279939809658 | 3427.9333333333334 | 568.5477150761641 |
| BASE/blockerSerial/3eqDuw | 6.046995399422522 | 1047.0333333333333 | 173.1493517314935 |
| DRESDEN/crissrace/KWb9bw | 6.075345401737999 | 1452.5666666666666 | 239.0920302656578 |
| DRESDEN/ticblock/Z2yNWQ | 6.099279977845472 | 2936.6 | 481.46666666666664 |
| DRESDEN/connectfour/5tc-Mg | 6.2017832565376105 | 3454.6 | 557.0333333333333 |
| DRESDEN/3pttc/uwYBZw | 6.2197604453691735 | 3686.866666666667 | 592.7666666666667 |
| BASE/ticblock/T21C1g | 6.256343181764609 | 2948.9333333333334 | 471.35095496816774 |
| STANFORD/connectfour/VMpZkQ | 6.484941264683829 | 3459.5 | 533.4666666666667 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 6.567284514967365 | 648.3666666666667 | 98.72675154989668 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 6.605454827212149 | 2841.6666666666665 | 430.2 |
| DRESDEN/hanoi7/51zz5Q | 6.6141754685444 | 6199.466666666666 | 937.3 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 6.6769493286385675 | 2883.774415038997 | 431.9 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 6.6933309235496115 | 6172.366666666667 | 922.1666666666666 |
| BASE/crisscross/ICagEg | 6.721495327102804 | 2277.4666666666667 | 338.8333333333333 |
| DRESDEN/endgame/IJhh3Q | 6.796978926477221 | 837.1333333333333 | 123.16256124795841 |
| BASE/connectFour_9x6/B9TtMw | 6.864904347826087 | 3289.4333333333334 | 479.1666666666667 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 6.87779949249202 | 2921.133333333333 | 424.7191760274658 |
| BASE/hanoi7_bugfix/3gdnFw | 6.892647754997998 | 6309.3 | 915.3666666666667 |
| BASE/4pffa/Q3ADlg | 6.925254781606786 | 2203.7 | 318.2121191920539 |
| BASE/chineseCheckers1/gqtwHw | 6.932443487621098 | 10733.733333333334 | 1548.3333333333333 |
| STANFORD/platformjumpers/HEQskA | 7.013563501849569 | 568.8 | 81.1 |
| DRESDEN/gt_prisoner/huCp4w | 7.049313405320566 | 11533.146685331467 | 1636.0666666666666 |
| BASE/conn4/va9Y7A | 7.061874269005847 | 1234.3333333333333 | 174.78834744350377 |
| DRESDEN/brain_teaser_extended/ZDp94A | 7.153139947026245 | 5941.2 | 830.5723142561915 |
| DRESDEN/crisscross/GsY16g | 7.182628742223612 | 2296.133333333333 | 319.67868808746084 |
| BASE/cubicup/4wNWJA | 7.184315242825239 | 748.1417286090464 | 104.13542603885502 |
| BASE/ticTacToeSerial/Amrwqw | 7.283255988809232 | 1388.2 | 190.60156640559907 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 7.320620133247947 | 7239.366666666667 | 988.90073995067 |
| DRESDEN/connect4/T0-rHQ | 7.321441728446174 | 834.6443570428638 | 114.0 |
| DRESDEN/minichess/c7GMFw | 7.366110426699519 | 4384.8 | 595.2666666666667 |
| BASE/brain_teaser_extended/ZDp94A | 7.37207481872116 | 5964.5 | 809.0666666666667 |
| BASE/stateSpaceMedium/3bUoIw | 7.404044794965742 | 11922.733333333334 | 1610.3 |
| BASE/rubiksCube/9tNO9Q | 7.489343563512362 | 1464.1666666666667 | 195.5 |
| DRESDEN/statespacemedium/dVJZ_w | 7.492611641766674 | 12236.933333333332 | 1633.2 |
| BASE/gt_prisoner/klthDw | 7.530773018217627 | 12745.833333333334 | 1692.5 |
| DRESDEN/javastrike/whONTQ | 7.536963673925222 | 530.3156561447952 | 70.36197586827545 |
| BASE/connect4/50bOyw | 7.559139046662517 | 841.4719509349688 | 111.31849086788428 |
| DRESDEN/cubicup/SBn_lw | 7.57079205617731 | 766.5666666666667 | 101.25316624450073 |
| BASE/gt_staghunt/xPjLRA | 7.591649137245376 | 12814.197633727712 | 1687.9333333333334 |
| BASE/connectFourLarge/aU644A | 7.719520476511575 | 2671.0333333333333 | 346.01026598226787 |
| DRESDEN/battlebrushes/QHXV4A | 7.730182926829268 | 338.0553981533949 | 43.73187560414653 |
| BASE/ticTacToeNoVars/XT03NA | 7.738638399522245 | 8638.9 | 1116.3333333333333 |
| DRESDEN/towerworld/HCX34w | 7.741171740572081 | 60.1325915314655 | 7.7678927101314565 |
| BASE/tictactoe_3d_small_2player/oOryKA | 7.926989931199276 | 2137.766666666667 | 269.68202119858677 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 7.965652758862615 | 2144.3333333333335 | 269.1974403412878 |
| BASE/breakthroughHoles/nZk0Sg | 7.973027318342316 | 1430.0 | 179.35470968602093 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 7.979501984843017 | 3685.2 | 461.8333333333333 |
| BASE/connectFourSimultaneous/7ITr3g | 8.14811247706422 | 1775.9333333333334 | 217.95640871825634 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 8.157275772236696 | 3653.1 | 447.8333333333333 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 8.17440780306549 | 3519.9 | 430.6 |
| BASE/tictactoe_3d_6player/d7KSwg | 8.215823095009613 | 207.30569257432342 | 25.232492250258325 |
| BASE/cubicup_3player/e2yA_g | 8.288451373182554 | 341.9 | 41.25016660002665 |
| BASE/breakthroughSmall/HJ0tIA | 8.319378981572886 | 2247.266666666667 | 270.12432918902704 |
| BASE/solitaireChineseCheckers/-ET6gw | 8.350180816256243 | 3232.633333333333 | 387.1333333333333 |
| BASE/ticTacHeaven/18n58A | 8.401649462014998 | 858.9 | 102.22992566914436 |
| BASE/breakthroughSuicideSmall/XSbJog | 8.421375484106687 | 2304.7 | 273.6726327367263 |
| DRESDEN/cubicup_3player/awDtsQ | 8.43994809880655 | 337.76666666666665 | 40.019993335554815 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 8.527219332814209 | 201.49303472638806 | 23.62939510081653 |
| BASE/escortLatch/mX9BjQ | 8.57003934126258 | 2185.5 | 255.01633224451703 |
| BASE/checkLines/Vop7oQ | 8.587716465574164 | 3179.0666666666666 | 370.1876604113196 |
| BASE/tictactoe_3d_small_6player/g_9lww | 8.588777193383024 | 743.9752008266391 | 86.62178376216505 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 8.63548236018724 | 1557.6333333333334 | 180.3759498733502 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 8.635786170212766 | 1542.3 | 178.5940468651045 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 8.695611715313873 | 724.9 | 83.36388787040433 |
| STANFORD/pilgrimage/ObRZnQ | 8.93884262764577 | 2219.366666666667 | 248.28344777014865 |
| DRESDEN/mimikry/GJEhwA | 9.00115566976895 | 2159.8333333333335 | 239.9506699553363 |
| BASE/breakthrough/TGxk-g | 9.03096742677413 | 1531.3 | 169.56101463284557 |
| BASE/duplicateStateMedium/U163eQ | 9.031848472113827 | 10029.566666666668 | 1110.4666666666667 |
| BASE/quartoSuicide/-23jUg | 9.04413685035257 | 2308.6666666666665 | 255.26666666666668 |
| DRESDEN/quarto/OQzRYQ | 9.086588071450198 | 2334.266666666667 | 256.89143695210157 |
| DRESDEN/bidding-tictactoe/yW5vTA | 9.172610015717568 | 4214.533333333334 | 459.46936870875277 |
| DRESDEN/breakthrough/z4hK7Q | 9.173414949022664 | 1569.4666666666667 | 171.0885940937271 |
| BASE/knightThrough/gcwFjA | 9.181425547866207 | 1591.9 | 173.3826617338266 |
| DRESDEN/gt_chicken/CeuKtw | 9.196266849808598 | 12341.696654671465 | 1342.0333333333333 |
| BASE/breakthroughSuicide/wZDpIg | 9.238945140640157 | 1587.4 | 171.8161517181615 |
| BASE/breakthroughWalls/vOZaYA | 9.274864620580056 | 1556.1666666666667 | 167.78322167783222 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 9.28157536608892 | 679.1773607546415 | 73.17479349853451 |
| BASE/quarto/EwBMVQ | 9.299263627304434 | 2281.0333333333333 | 245.2918236058798 |
| BASE/tictactoe_3d_2player/IUC1rQ | 9.369625657298277 | 688.5666666666667 | 73.48923978945966 |
| BASE/biddingTicTacToe/8mESVw | 9.394765821121277 | 4209.233333333334 | 448.04026129849353 |
| BASE/3pffa/pR0dzA | 9.396303260943101 | 3086.1666666666665 | 328.44477034864343 |
| DRESDEN/knightthrough/J7Fc_Q | 9.403039494929923 | 1617.3666666666666 | 172.0046658890185 |
| DRESDEN/quartosuicide/WIU1oQ | 9.495167825383993 | 2348.4 | 247.32580225932222 |
| BASE/snakeAssemblit/UO4sdg | 9.527616577097975 | 2304.5 | 241.87581241875813 |
| BASE/gt_chicken/gmepTQ | 9.590615954907836 | 12591.2 | 1312.8666666666666 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 9.614792306128688 | 259.81601226584894 | 27.022529867882458 |
| BASE/snakeParallel/RCVNtw | 9.65878079638674 | 23666.266666666666 | 2450.233333333333 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 9.949503311258278 | 14022.166666666666 | 1409.3333333333333 |
| BASE/pawnWhopping/Ypc_6Q | 10.282955184699043 | 3655.9333333333334 | 355.53333333333336 |
| DRESDEN/pawn_whopping/4ogBkg | 10.299312371134022 | 3829.5 | 371.82093930202325 |
| DRESDEN/knightmove/97Ipcw | 10.457097146801658 | 1514.7333333333333 | 144.8521814485218 |
| BASE/connectFourLarger/qKi60A | 10.52488128912738 | 1830.5666666666666 | 173.92753574880837 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 10.56570996978852 | 3730.4 | 353.06666666666666 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 10.699534077555818 | 1821.0 | 170.19432685577146 |
| STANFORD/chinook/osFbPA | 10.810242418793056 | 626.4457851404953 | 57.949281882102035 |
| BASE/qyshinsu/R08Lzw | 10.86848335002024 | 812.7729075697476 | 74.78255073816109 |
| DRESDEN/quad/JPe6fg | 10.931390437421761 | 13.062312562479173 | 1.194936054773285 |
| BASE/3pttc/0sol9g | 10.937655196119486 | 3482.4333333333334 | 318.38938702043265 |
| DRESDEN/skirmish2/iPpWhQ | 10.983315602106925 | 756.6747775074164 | 68.8931106889311 |
| STANFORD/multiplesukoshi/vLSQPg | 11.004033064462368 | 241.61722551829877 | 21.95715190084297 |
| DRESDEN/skirmish/RjGQYQ | 11.079138461538463 | 744.0 | 67.15323601946277 |
| BASE/knightmove/jBaJEw | 11.252318699384517 | 1543.7666666666667 | 137.19542681910602 |
| BASE/quad/tw-Ufg | 11.263768019442688 | 10.087558677630922 | 0.8955758552749418 |
| STANFORD/nineboardtictactoe/y28P-A | 11.293761593791405 | 1988.5 | 176.07065489085153 |
| BASE/cittaceot/fDxhXg | 11.408070023396881 | 238.32538915369489 | 20.890947256188984 |
| BASE/chinook/XQh0IQ | 11.424481797808822 | 682.6439118696044 | 59.75272436431499 |
| DRESDEN/battlesnakes2011/93VtTw | 11.551588415255965 | 1887.6 | 163.40609898350274 |
| DRESDEN/skirmish3/3LU8Nw | 11.556537934668071 | 730.9 | 63.24558480506498 |
| BASE/nineBoardTicTacToe/wRmqqA | 11.697159063189307 | 2003.2666666666667 | 171.26095796806774 |
| DRESDEN/battlesnakes1509/-qZrLw | 11.705970938091376 | 1924.3333333333333 | 164.38904073061795 |
| BASE/knightazons/apnJBQ | 11.730688935281838 | 749.2 | 63.86666666666667 |
| DRESDEN/knightazons/02I8BQ | 12.047407738729145 | 753.9666666666667 | 62.58331111703546 |
| DRESDEN/brawl/2kXtfQ | 12.104788198428835 | 406.62600406626007 | 33.59216182890659 |
| BASE/brawl/6Ymo_Q | 12.143375894302876 | 397.5401639890674 | 32.73720318380125 |
| BASE/simultaneousWin2/PfjRjw | 12.160136315741365 | 209.5247617143238 | 17.230461589735043 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 12.220766488413547 | 13711.7 | 1122.0 |
| BASE/knightsTourLarge/M8jgLA | 12.528030321797507 | 16857.3 | 1345.5666666666666 |
| DRESDEN/chomp/-LcqYQ | 12.58306888692116 | 4262.433333333333 | 338.7435427428762 |
| BASE/futoshiki5/TJ4BZg | 12.825543547671842 | 963.7 | 75.13911565759221 |
| BASE/chomp/-LcqYQ | 13.025800622427466 | 4325.0 | 332.03333333333336 |
| BASE/checkersBarrelNoKings/rnKNeg | 13.067589827127659 | 2620.4 | 200.5266491116963 |
| BASE/2pffa/6oHijA | 13.229117718409336 | 3829.133333333333 | 289.4473701753216 |
| STANFORD/knightstourbig/TQUI2g | 13.238511531604072 | 15345.2 | 1159.1333333333334 |
| BASE/choicethroughalt/tt71Lg | 13.268312630948817 | 1477.5 | 111.35553111355532 |
| BASE/futoshiki6/JmvXNA | 13.393457117595048 | 504.91650278324056 | 37.69874337522083 |
| BASE/2pffa_zerosum/o0_uZA | 13.627970415657323 | 3937.766666666667 | 288.9474035064329 |
| BASE/futoshiki4/BaCwSw | 13.733846073097006 | 2776.4333333333334 | 202.1599280023999 |
| STANFORD/duikoshi/tpw1sw | 13.73610627142569 | 2270.2 | 165.2724545909015 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 13.777374619695758 | 2293.9333333333334 | 166.500033326668 |
| BASE/mineClearingSmall/frsbvw | 14.036736533693936 | 2076.0333333333333 | 147.9 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 14.042508357113737 | 4591.0 | 326.93589230974277 |
| STANFORD/freeforall/Lfp40Q | 14.07372721905455 | 3866.733333333333 | 274.74835010999266 |
| STANFORD/pentago/ZxzLmg | 14.134982153866773 | 2343.0333333333333 | 165.76132235811644 |
| DRESDEN/knightstour/cGISAA | 14.139714414265077 | 39807.066666666666 | 2815.266666666667 |
| BASE/ttcc4/Le0qjQ | 14.202646825396826 | 2027.8 | 142.77620396600565 |
| DRESDEN/slidingpieces/s9_44g | 14.22886155593413 | 834.7333333333333 | 58.6648011193284 |
| BASE/knightsTour/mvtVIg | 14.253526198907627 | 39579.666666666664 | 2776.8333333333335 |
| BASE/ttcc4_2player_small/Cv72TA | 14.327236338952371 | 4221.0 | 294.6136924205053 |
| BASE/slidingpieces/uFJWEw | 14.382720442930154 | 843.9 | 58.674574351114515 |
| BASE/tttcc4/8Bs2lg | 14.47338310459797 | 2073.9666666666667 | 143.29522349255024 |
| BASE/stateSpaceLarge/0Ge_CQ | 14.550217538989324 | 7162.833333333333 | 492.28359054698177 |
| DRESDEN/statespacelarge/8-y5HQ | 14.699215524360033 | 7120.3 | 484.4 |
| BASE/2pttc/unkkYA | 14.850302889095994 | 4249.166666666667 | 286.1333333333333 |
| BASE/englishDraughts/jFkQxg | 14.874798648018647 | 2481.0333333333333 | 166.7944146365848 |
| DRESDEN/tttcc4/sAvtFg | 14.949689706356889 | 2058.9333333333334 | 137.72415172321845 |
| BASE/checkersTorusNoKings/pwb6oQ | 15.140361842942598 | 2643.0666666666666 | 174.5709048491918 |
| BASE/checkersTorus/2vm1EQ | 15.237257736990445 | 2462.766666666667 | 161.62794573514216 |
| STANFORD/knightstour/cEwgNA | 15.369088598536724 | 41522.666666666664 | 2701.7 |
| BASE/duplicateStateLarge/dcjyuw | 15.670402815439724 | 5200.833333333333 | 331.88893703543215 |
| STANFORD/alquerquezero/uVgA_A | 16.432979088104215 | 1597.8333333333333 | 97.23333333333333 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 16.493349056940563 | 18478.4 | 1120.3546312035462 |
| DRESDEN/backgammon/mqCW0Q | 16.706673749187786 | 856.9666666666667 | 51.294870512948705 |
| BASE/peg/fJHVWw | 16.820614333444706 | 1677.6333333333334 | 99.73674564297377 |
| BASE/ttcc4_2player_alt/ZEJvYA | 17.153419987215003 | 2683.366666666667 | 156.43333333333334 |
| DRESDEN/peg_bugfixed/u_B7MA | 17.55840489317712 | 1698.2 | 96.71721379770038 |
| DRESDEN/peg/Vo31eg | 17.61318451342867 | 1683.2333333333333 | 95.56666666666666 |
| BASE/smallest_4player/ADDROA | 18.005736022752373 | 3622.633333333333 | 201.19329355688143 |
| BASE/gt_tinfoil/Q8DyKg | 18.10399123818115 | 12041.166666666666 | 665.1111629612346 |
| DRESDEN/checkers-newgoals/IJOqXQ | 18.112134517216315 | 539.3820205993134 | 29.78014656895403 |
| DRESDEN/smallest_4player/ADDROA | 18.426700375400245 | 3708.4333333333334 | 201.25324978334777 |
| BASE/tpeg/QNs7Lw | 18.46543052281656 | 2036.5333333333333 | 110.2889711028897 |
| BASE/pegEuro/5awwhg | 18.497072881355933 | 1454.6666666666667 | 78.6430737445433 |
| DRESDEN/tpeg/h-Scbg | 18.50545928585677 | 2061.233333333333 | 111.38514864684709 |
| BASE/zhadu/DlA8iQ | 18.721098873381536 | 11.481629392971247 | 0.6132989025177534 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 18.730710449614847 | 790.5069831005633 | 42.203790679857434 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 18.957571476063833 | 19.9468085106383 | 1.0521816328543714 |
| BASE/speedChess/bPnisA | 18.976730514285713 | 1106.5333333333333 | 58.31000932960149 |
| BASE/skirmishNew/sibw2g | 18.980324027177268 | 1024.1 | 53.95587549156836 |
| BASE/skirmishZeroSum/zh4hcw | 19.021305541770058 | 1021.5333333333333 | 53.704690831556505 |
| BASE/minichess-evilconjuncts/4OpQzw | 19.25300893772894 | 1459.5333333333333 | 75.80806397867377 |
| STANFORD/ttcc4/Cx9SGw | 19.553636817035585 | 2325.5333333333333 | 118.93098737045553 |
| DRESDEN/checkers/jIDMIg | 19.577576227685064 | 615.9794673510883 | 31.463520314635204 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 19.635447511312215 | 1446.3333333333333 | 73.65930073659301 |
| BASE/checkers-newgoals/0XkFiA | 19.72749081885856 | 529.8 | 26.855924296947887 |
| BASE/god/qF06gw | 19.813263494318182 | 63.06818181818182 | 3.183129414105242 |
| BASE/queens08ug/kJ_ZFQ | 20.306184833130942 | 8.598188238906802 | 0.4234270646881075 |
| BASE/amazons_10x10/Bun8dA | 20.345647919524463 | 1483.0 | 72.89028129582722 |
| BASE/amazonsSuicide_10x10/XIbQkg | 20.440869169776118 | 1460.5 | 71.4499950011664 |
| BASE/amazons_8x8/7SOsIw | 20.4654163003663 | 1862.1666666666667 | 90.99090090990902 |
| BASE/checkersTiny/Lr48cg | 20.48201486442339 | 2089.5 | 102.01633061156474 |
| DRESDEN/cylinder-checkers/clOO3Q | 21.008908769307425 | 468.23333333333335 | 22.287370490055636 |
| DRESDEN/capture_the_king/EQ229Q | 22.1620469425004 | 407.772815145657 | 18.39960073199135 |
| BASE/cylinder-checkers/hlldmw | 22.64557984765387 | 478.0507316422786 | 21.11011220990244 |
| BASE/ttcc4_2player/_aH_Mw | 23.382885696439722 | 2495.733333333333 | 106.73333333333333 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 23.41633768600061 | 2570.3333333333335 | 109.76666666666667 |
| STANFORD/triplesukoshi/Iu9mbA | 23.88196487012987 | 1225.9 | 51.33162227925736 |
| BASE/pentago/86NgKw | 24.65275191368078 | 2017.6333333333334 | 81.84211403245693 |
| BASE/sudokuGrade1/tDRNRw | 25.118679059829056 | 64.36666666666666 | 2.562502053286902 |
| BASE/sudokuGrade2/u80Tfw | 25.606742848671537 | 60.28912131103857 | 2.354423663615864 |
| BASE/sudokuGrade6E/ihYFZA | 26.273911450178232 | 44.174967518406234 | 1.6813243662700466 |
| DRESDEN/hanoi_6_disks/MeubgQ | 26.2841998451227 | 32810.566666666666 | 1248.3 |
| BASE/pentagoSuicide/SBgNhw | 26.285660309128026 | 2002.4333333333334 | 76.17968541722207 |
| DRESDEN/pentago_2008/hLjVpQ | 26.338349577424438 | 2042.4333333333334 | 77.54598773660358 |
| BASE/hanoi_6_disks/MeubgQ | 26.484294582692204 | 33276.63333333333 | 1256.4666666666667 |
| BASE/checkersSmall/SYmq8w | 26.692239192618228 | 1285.6333333333334 | 48.16506116462784 |
| BASE/sudokuGrade6H/ieE_9A | 26.857784479079456 | 44.665177827405756 | 1.6630254018978055 |
| BASE/amazonsTorus_10x10/Uxc08g | 26.96992317896768 | 1240.9666666666667 | 46.01298485100716 |
| BASE/mummymaze1p/PT_EXA | 27.108891153081508 | 2726.7 | 100.58323612731212 |
| BASE/sudokuGrade3/eI8dvg | 27.327832795698928 | 56.36666666666667 | 2.0626101999401176 |
| STANFORD/knightstourmedium/x1wu8Q | 27.437546421674494 | 80038.06666666667 | 2917.1 |
| DRESDEN/mummymaze1p/AekgaQ | 27.476708894878705 | 2718.0 | 98.92014398080256 |
| STANFORD/duidoku/3SoMaA | 27.725409230247294 | 50.41316806610689 | 1.818302036498281 |
| BASE/sudokuGrade4/DTy07w | 27.919269369083647 | 57.590401599733376 | 2.062747446518282 |
| STANFORD/sudoku/oJ1qyQ | 27.924285957274662 | 53.85948540194641 | 1.9287685810249078 |
| DRESDEN/pawntoqueen/f_x6Aw | 28.215042954780703 | 100.05997600959616 | 3.546334349728225 |
| DRESDEN/god/2EDD5w | 28.272070090288267 | 69.6263706962637 | 2.46272630457934 |
| BASE/sudokuGrade5/BQfUQA | 28.311702163117026 | 58.79412058794121 | 2.076672050631242 |
| BASE/pawnToQueen/-O1_JA | 29.193085781708856 | 103.31955739234769 | 3.5391790427678367 |
| BASE/hidato37/pBrqxw | 29.62133471955429 | 87.73040898636712 | 2.961730449251248 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 30.14792621737718 | 12.35726575942437 | 0.4098877538151091 |
| BASE/checkers/rOC3Xg | 30.218357324609233 | 923.3666666666667 | 30.55648117294235 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 30.30211870340356 | 3115.133333333333 | 102.80249258555767 |
| BASE/four_way_battle/xSOQXA | 32.341719833852544 | 692.0666666666667 | 21.398573428438105 |
| DRESDEN/smallest/9kaGFw | 32.932535364526665 | 2017.6666666666667 | 61.266666666666666 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 33.36173402180149 | 3229.6666666666665 | 96.80751799520128 |
| DRESDEN/four_way_battle/xSOQXA | 34.92816771200375 | 688.9437018766041 | 19.724587546567324 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 36.83336095238095 | 128.03333333333333 | 3.4760154930976266 |
| DRESDEN/checkers-mustjump/HUr33w | 38.22603425287357 | 184.43333333333334 | 4.824809503210994 |
| DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | 38.288928475867074 | 921.2719152056529 | 24.061052421101742 |
| DRESDEN/babel/WdSW4A | 38.332882434782604 | 2203.7 | 57.488502299540094 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 39.213388095238095 | 127.63333333333334 | 3.2548407452921055 |
| BASE/checkers-mustjump/T-8UuQ | 39.4963703149717 | 180.05466302246518 | 4.558764807666711 |
| BASE/skirmishFinal3/-Olhfw | 40.4130852959107 | 575.4474850838305 | 14.239137667176792 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 41.19013111111111 | 123.53333333333333 | 2.9991002699190243 |
| BASE/othelloHoles/c0qAzw | 41.20477266360827 | 38.12092156079371 | 0.9251579148854718 |
| BASE/hidato19/rRHSmA | 41.25489300380095 | 976.6341121962602 | 23.673170406872213 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 41.43004541685201 | 125.53723138430784 | 3.0301012253596165 |
| BASE/skirmishHoles/AUCxCA | 41.846238700564975 | 327.93333333333334 | 7.836626265980408 |
| BASE/othelloSuicide/B442jg | 42.65507199142745 | 37.46541781940602 | 0.878334417696812 |
| STANFORD/selectivesukoshi/3xmXYg | 42.67914720720721 | 262.56666666666666 | 6.152106680855309 |
| BASE/othello-comp2007/86ZoMw | 44.93143713572023 | 37.26894254787677 | 0.8294625082946251 |
| BASE/skirmishFinal2/gdB62Q | 45.664786864378925 | 550.9483017232759 | 12.065057992267697 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 45.916547284150475 | 111.54435779510764 | 2.4292845257903495 |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | 47.28740855855856 | 901.4666666666667 | 19.063566690281444 |
| DRESDEN/CephalopodMicro/H3XQfg | 47.67603525925635 | 219.79267357754742 | 4.610129017279692 |
| DRESDEN/skirmishfinal/hzq8ww | 49.68494265181299 | 559.4480183993867 | 11.259910720234526 |
| DRESDEN/merrills/aYEzwA | 49.70206941569994 | 174.9491717494917 | 3.519957494852892 |
| BASE/checkers-mustjump-torus/uSApKQ | 50.18608181818182 | 110.2 | 2.1958279269388163 |
| BASE/merrills/pku8Tg | 50.72759256934426 | 179.16069464351187 | 3.5318193820966464 |
| BASE/skirmishFinal1/ecWTnQ | 50.779834394904455 | 531.0 | 10.456906886905555 |
| BASE/cephalopodMicro/9l2D3g | 54.10683870967742 | 221.86666666666667 | 4.1005291005291005 |
| BASE/slaughter/cOch8A | 54.35220968824849 | 152.09493016899438 | 2.7983210073955624 |
| DRESDEN/Goldrush/VeWczQ | 55.12324753946147 | 1978.1333333333334 | 35.88564574170332 |
| BASE/strangeSkirmish/gc1zKA | 56.9707331437843 | 413.7390840610626 | 7.262309281098008 |
| DRESDEN/battle/8oAvhQ | 61.418204695014104 | 257.9914002866571 | 4.200568895944962 |
| BASE/battle/8oAvhQ | 62.55151912630259 | 263.44032263440323 | 4.211573536726911 |
| BASE/golden_rectangle/_nYzfw | 66.10665535971393 | 63.04775234096438 | 0.9537277600552504 |
| BASE/wargame01/_GZFZg | 67.41067760577916 | 2174.9 | 32.26343477392289 |
| BASE/skirmish/Y_psYQ | 69.33248603351956 | 411.6666666666667 | 5.937572561117192 |
| BASE/onestep/xi53wA | 71.43013209966001 | 2862079.2 | 40068.23333333333 |
| DRESDEN/amazons/dNB28A | 72.59488329971596 | 164.38401812789496 | 2.2644022644022646 |
| DRESDEN/small_dominion/yB5GJA | 72.98127774730042 | 38.1964101368677 | 0.5233727240172988 |
| BASE/amazons/RKKZjw | 73.26687102936603 | 13.561242169798748 | 0.18509378084896347 |
| BASE/amazonsSuicide/dE1QEQ | 76.7742537313433 | 13.526119402985074 | 0.17618040873854826 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 79.2831117647059 | 177.8 | 2.242596134819603 |
| DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | 79.93011973559962 | 936.2666666666667 | 11.713565171223786 |
| BASE/quad_5x5/JAEP5g | 80.4771412075589 | 188.69495703151023 | 2.344702535405008 |
| BASE/queens06ug/7Lq3tw | 86.08545841933552 | 25.168120380850922 | 0.2923620416615909 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 89.30615260612574 | 88639.33333333333 | 992.5333333333333 |
| BASE/kitten_escapes_from_fire/uW-YiA | 90.63656731617897 | 88999.06666666667 | 981.9333333333333 |
| STANFORD/skirmish/w4V6Vw | 91.37323115942029 | 559.2666666666667 | 6.120683919898876 |
| BASE/survival/YVIjJA | 93.69796614728166 | 2740503.1 | 29248.266666666666 |
| BASE/wargame03/klXI8w | 98.85412601230969 | 3389.5666666666666 | 34.28857047650783 |
| STANFORD/madness/UO_B3A | 102.8365341013825 | 741.7 | 7.2124173230963535 |
| BASE/battlebrushes/arCwyA | 103.11568153203896 | 93.79762772513419 | 0.9096349491322562 |
| DRESDEN/Zhadu/9zpQ5w | 106.95704273504272 | 553.6666666666666 | 5.1765330501725515 |
| BASE/quad_7x7/q-JOXg | 108.13485725693751 | 78.15931323617488 | 0.7227948065854638 |
| DRESDEN/quad_5x5/JAEP5g | 115.50343434033007 | 195.1325076574777 | 1.6894087069525665 |
| BASE/nim4/twk16w | 124.56446368286446 | 3245.0333333333333 | 26.05103604503964 |
| DRESDEN/nim3/sG_axA | 125.94993115384614 | 3271.1 | 25.971431425432026 |
| STANFORD/buttonsandlights/eyhJpA | 126.98915886772913 | 4111879.3333333335 | 32379.766666666666 |
| DRESDEN/nim4/F5YAYg | 129.52999741267786 | 3334.0 | 25.739211507725095 |
| BASE/nim3/1OwUqw | 132.97095284552844 | 3267.6 | 24.573787959509858 |
| BASE/haystack/UkweGA | 137.7231534509712 | 4842433.3 | 35160.63333333333 |
| BASE/blokbox_simple/JBx4bg | 139.19053398058253 | 7.281553398058253 | 0.05231356752373728 |
| BASE/chess_200/XsTpYA | 144.04244858504717 | 131.39562014599514 | 0.9122006841505131 |
| BASE/copolymer_4_pie/IN5_jA | 151.05558381995135 | 1376.5666666666666 | 9.112981009079721 |
| DRESDEN/grid_game2/kypTYQ | 151.66476036585365 | 1656.6 | 10.922774651170535 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 153.85392455187397 | 9439.3 | 61.35235111807245 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 156.35588736218003 | 200.86565673381057 | 1.2846696093286778 |
| BASE/nim2/eF2Qqw | 160.19716198979592 | 4183.0 | 26.111573688592838 |
| DRESDEN/hitori/S8Gsyg | 161.08822589928056 | 742.3666666666667 | 4.6084477156687225 |
| BASE/copolymer_4/2LDVhQ | 167.388271679198 | 1478.0666666666666 | 8.830168636303279 |
| DRESDEN/nim2/z5_exA | 167.55182216216213 | 4130.466666666666 | 24.651875541341862 |
| BASE/switches/tPUoCg | 177.04149427179877 | 2222213.033333333 | 12551.933333333332 |
| BASE/hitori/S8Gsyg | 180.28333988867038 | 747.6417452751575 | 4.147037356512508 |
| DRESDEN/quad_7x7/q-JOXg | 188.21262930266178 | 86.5439046318804 | 0.4598198588082551 |
| BASE/wargame02/BkVqqQ | 194.9471042395955 | 5564.166666666667 | 28.54193032704989 |
| BASE/troublemaker02/DI83KA | 195.54304102215627 | 4134216.6 | 21142.233333333334 |
| DRESDEN/troublemaker01/C-lPWw | 197.88453565622416 | 4690312.033333333 | 23702.266666666666 |
| BASE/troublemaker01/s3tlEQ | 199.20574978363527 | 4572781.266666667 | 22955.066666666666 |
| DRESDEN/troublemaker02/iZLVuA | 203.30350993463543 | 4171950.6666666665 | 20520.8 |
| DRESDEN/nim1/M9BALA | 222.95229731113957 | 5798.2 | 26.00645999134228 |
| BASE/ruleDepthLinear/OUBJpQ | 227.89155877974324 | 4536204.266666667 | 19905.1 |
| BASE/nim1/hin2Qw | 229.5697659574468 | 5748.8 | 25.041625041625043 |
| DRESDEN/buttons/ADUaHw | 266.194328281026 | 4152374.2 | 15599.033333333333 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 267.8084382514026 | 2138468.2333333334 | 7985.066666666667 |
| BASE/buttons/hTcUjw | 269.2998527766581 | 4164461.9 | 15464.033333333333 |
| DRESDEN/farmers/S_ASnw | 307.0954982716049 | 2736.133333333333 | 8.909714889123547 |
| BASE/pearls/6k_mEQ | 322.0045414574962 | 6749998.733333333 | 20962.433333333334 |
| BASE/maze/cCX3qQ | 344.8161067427191 | 5690580.666666667 | 16503.233333333334 |
| BASE/gt_centipede/9fRMpw | 388.1543604947696 | 3931990.7333333334 | 10129.966666666667 |
| DRESDEN/blocks/vg0DRw | 389.6392590951848 | 4514996.866666666 | 11587.633333333333 |
| BASE/blocksWorld/SEdXLQ | 390.21101661658844 | 4441459.833333333 | 11382.2 |
| BASE/blocks/xIV5hQ | 399.9632628051813 | 4504012.966666667 | 11261.066666666668 |
| DRESDEN/gt_ultimatum/pAiiQw | 405.2015783475784 | 6316.933333333333 | 15.58960692871419 |
| BASE/gt_ultimatum/GE-uOA | 406.73897344877344 | 6236.133333333333 | 15.332028009159393 |
| DRESDEN/statespacesmall/h-NqjA | 449.60687488562195 | 3930882.933333333 | 8742.933333333332 |
| DRESDEN/fizzbuzz/t1xHzQ | 461.7568513761468 | 5021.6 | 10.874987528684027 |
| BASE/stateSpaceSmall/Q7osKA | 479.574586491207 | 4127810.3666666667 | 8607.233333333334 |
| DRESDEN/guess/PhxGhg | 485.9472 | 3141.9 | 6.4655172413793105 |
| BASE/racer4/0vs7Ww | 490.2943452609551 | 368.2210592980234 | 0.7510204081632653 |
| STANFORD/threepuzzle/41ibjA | 500.1740711764808 | 4794918.733333333 | 9586.5 |
| BASE/hodgepodge/9yjRkw | 503.35674968600046 | 2898848.3 | 5759.033333333334 |
| BASE/colonelBlottoVariant/X-n-KQ | 506.2973801742919 | 5159.933333333333 | 10.191507077435471 |
| BASE/guess/SPpk1A | 536.6302245810056 | 3172.6 | 5.912078475410378 |
| STANFORD/3puzzle/41ibjA | 555.9119388215383 | 5299378.8 | 9532.766666666666 |
| DRESDEN/laikLee_hex/ZeP3QQ | 626.1169825242719 | 1639.9666666666667 | 2.6192655884447156 |
| BASE/gt_dollar/TGjqRw | 634.4396643654936 | 3767937.1666666665 | 5939.0 |
| BASE/duplicateStateSmall/bCPAXw | 684.1868481595092 | 4163505.033333333 | 6085.333333333333 |
| BASE/laikLee_hex/zbyscQ | 805.7470113757317 | 1643.626929217669 | 2.039879647100821 |
| STANFORD/tictactoe7/-bE9-A | 808.7824452938611 | 2101809.9 | 2598.733333333333 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 1027.3868914731268 | 514.4780247242678 | 0.5007636645884974 |
| BASE/colonelBlottoVariant2/jruwGw | 1027.7335377777777 | 4080.4666666666667 | 3.9703546850185285 |
| DRESDEN/blocksworldparallel/2JfVaw | 1152.0277313691297 | 3148914.2 | 2733.366666666667 |
| DRESDEN/tictactoe-init1/3ltIBQ | 1334.9139593817183 | 3704964.7 | 2775.4333333333334 |
| BASE/blocksWorldSerial/Wyg96Q | 1360.313341649291 | 4980061.8 | 3660.9666666666667 |
| BASE/tictactoe-init1/7M19vA | 1431.704718993349 | 3781275.3333333335 | 2641.1 |
| BASE/colonelBlotto/jip21A | 1456.0855700239172 | 6.710071751262291 | 0.004608294930875576 |
| STANFORD/sukoshi/4LYZZQ | 1775.8561958561259 | 1579867.4 | 889.6370120995966 |
| STANFORD/tictactoe5/WFRReg | 1789.4785409054314 | 3852628.0 | 2152.9333333333334 |
| DRESDEN/racer/vk_ZBA | 1918.5122471423335 | 218.14909854367315 | 0.11370743078060151 |
| BASE/racer/QQYQNw | 2029.511599613346 | 216.49278357388087 | 0.10667235585897915 |
| STANFORD/tictactoe3/X7myng | 2320.590653488149 | 4030479.2 | 1736.8333333333333 |
| BASE/gt_attrition/kD_SCA | 3726.7689521460393 | 369.12102929902335 | 0.09904585823236159 |
| DRESDEN/queens/mW2wHQ | 4269.074280000001 | 692.2 | 0.16214288030612575 |
| BASE/snake2p/I3wWPQ | 4358.149723897371 | 685032.6333333333 | 157.1842815718428 |
| BASE/minichess/8NQEiA | 4620.893299566969 | 3058929.4 | 661.9779340688643 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 5215.395054322469 | 518.5629540758515 | 0.09942927595601249 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 6466.2509425 | 1501.1 | 0.23214378986344142 |
| DRESDEN/satlike_20v_91c/yeuENQ | 9598.954772696972 | 1491.1345153979469 | 0.15534342547787522 |
| BASE/blocksWorldParallel/RseaAQ | 12160.81735216902 | 3242479.2666666666 | 266.6333333333333 |
| BASE/coins_atomic/AA3SSw | 37717.89871394438 | 3209472.2333333334 | 85.09149085091491 |
| DRESDEN/coins/QwFP9w | 39036.20014564022 | 3311547.566666667 | 84.83273357323738 |
| BASE/coins/QnGtnQ | 41361.36321471061 | 3429892.7333333334 | 82.9250408292504 |
| BASE/ad_game_2x2/D0aWqg | 7419369.851666667 | 1765675.8333333333 | 0.23798191337458352 |
| DRESDEN/golden_rectangle/1uloXw | Infinity | 4.216047538425787 | 0.0 |
Games with errors:
| Game | PALAMEDES_JAVA_ECLIPSE:0.6.1 error message | PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 error message |
| STANFORD/untwistycomplex/HTWEwg | Exception of type NullPointerException | |
| BASE/ruleDepthExponential/UamhHQ | Exception of type NullPointerException | |
| BASE/queens08lg/Ru7eqQ | Test process timed out after 240 seconds | |
| BASE/gt_two_thirds_4p/DStnxQ | Exception of type NullPointerException | |
| BASE/nonogram_10x10_1/0Xc62g | Exception of type NullPointerException | |
| BASE/gt_two_thirds_2p/1APDGg | Exception of type NullPointerException | |
| BASE/queens/HyJJnQ | Test process timed out after 240 seconds | |
| STANFORD/rainbow/_4qNSQ | Exception of type NullPointerException | |
| 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 | |
| BASE/reversiSuicide/9OxJlg | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
| BASE/queens16ug/gT-ylw | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
| BASE/reversi/d8UMeA | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
| BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
| BASE/amazonsTorus/soxT8g | Exception of type NullPointerException | Exception of type StackOverflowError |
| BASE/alexChess/LNo83g | Exception of type NullPointerException | Exception of type StackOverflowError |
| BASE/queens12ug/u6Bkmg | Test process timed out after 240 seconds | Test process timed out after 240 seconds |