Game-by-game performance:
| Game | Perf ratio | GGP_BASE_PROVER:2015-04-26 states per second | REKKURA_BACKWARD_PROVER:1.0.0 states per second |
| DRESDEN/quad_7x7/q-JOXg | 0.0026174651743879037 | 1.6765736930345985 | 640.5333333333333 |
| BASE/quad_7x7/q-JOXg | 0.0067211693961448365 | 4.323728272539973 | 643.3 |
| DRESDEN/quad/JPe6fg | 0.0074212494368911495 | 1.332926050373497 | 179.60938541527796 |
| BASE/quad/tw-Ufg | 0.013909517353410217 | 2.5987359235137477 | 186.83149511845656 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 0.026024655995136137 | 12.290167865707435 | 472.25092496916767 |
| BASE/queens31lg/0gID-A | 0.08979701778709868 | 3.3606175550675452 | 37.424600926450495 |
| BASE/blokbox_simple/JBx4bg | 0.11327486878519497 | 0.8214330847971693 | 7.25167986161932 |
| BASE/sudokuGrade4/DTy07w | 0.125129265770424 | 24.2 | 193.4 |
| BASE/sudokuGrade1/tDRNRw | 0.12870412453080382 | 24.388618644632505 | 189.49368354388187 |
| BASE/sudokuGrade2/u80Tfw | 0.12878580782158824 | 25.418929273411734 | 197.3736835088655 |
| BASE/sudokuGrade5/BQfUQA | 0.13065619017813024 | 24.739453268071788 | 189.34773189347732 |
| BASE/sudokuGrade6H/ieE_9A | 0.131022474346725 | 24.04262404262404 | 183.5 |
| STANFORD/sudoku/oJ1qyQ | 0.13403326894228754 | 24.952526901422527 | 186.16666666666666 |
| BASE/sudokuGrade3/eI8dvg | 0.13613066483207628 | 25.111569972690337 | 184.46666666666667 |
| BASE/sudokuGrade6E/ihYFZA | 0.13745767550820054 | 24.251307505246675 | 176.42745241825273 |
| STANFORD/duidoku/3SoMaA | 0.14904014273679525 | 23.961661341853034 | 160.77320446592233 |
| STANFORD/selectivesukoshi/3xmXYg | 0.18553054243925038 | 75.37487504165279 | 406.26666666666665 |
| BASE/coins/QnGtnQ | 0.21851510595994372 | 300.4 | 1374.7333333333333 |
| DRESDEN/coins/QwFP9w | 0.22709829774672835 | 307.73333333333335 | 1355.0666666666666 |
| DRESDEN/grid_game2/kypTYQ | 0.2299030508506859 | 360.4879837338755 | 1568.0 |
| BASE/coins_atomic/AA3SSw | 0.2361424507014618 | 320.93333333333334 | 1359.0666666666666 |
| BASE/othelloSuicide/B442jg | 0.24902930029856019 | 5.001987544719756 | 20.085939842110523 |
| BASE/othello-comp2007/86ZoMw | 0.2552037215805067 | 5.0930395126660235 | 19.956760352569432 |
| BASE/othelloHoles/c0qAzw | 0.2929236928128105 | 6.329952939616889 | 21.609562814237673 |
| BASE/alexChess/LNo83g | 0.2945641640176632 | 4.35737094199042 | 14.792603698150925 |
| BASE/snake2p/I3wWPQ | 0.3210138583536494 | 346.87687487500835 | 1080.5666666666666 |
| STANFORD/multiplesukoshi/vLSQPg | 0.33130080119427824 | 123.35021997067058 | 372.32092263591215 |
| BASE/ticTacHeavenFC/mrletw | 0.36106050089753045 | 230.46927076389815 | 638.3120562647912 |
| BASE/ticTacHeaven/18n58A | 0.3639958436464699 | 255.81627891473903 | 702.8 |
| BASE/futoshiki6/JmvXNA | 0.3856704419271542 | 207.41950536630893 | 537.8154061531283 |
| BASE/withConviction/3Xm54A | 0.3944725139768622 | 603.2931137924138 | 1529.3666666666666 |
| BASE/cubicup_3player/e2yA_g | 0.40305493989835134 | 159.89467017766074 | 396.70688620758614 |
| DRESDEN/cubicup_3player/awDtsQ | 0.404547095381734 | 167.62755357083347 | 414.3585641435856 |
| BASE/quad_5x5/JAEP5g | 0.40998701128742027 | 83.53333333333333 | 203.74629203746292 |
| BASE/futoshiki5/TJ4BZg | 0.41454390814373804 | 324.93333333333334 | 783.8333333333334 |
| BASE/majorities/ibJzSQ | 0.41776370217837183 | 162.06758648270346 | 387.94080394640355 |
| DRESDEN/slidingpieces/s9_44g | 0.42811850994166084 | 343.9104059729351 | 803.3065564481184 |
| DRESDEN/quad_5x5/JAEP5g | 0.4304865535027716 | 90.37347713201518 | 209.93333333333334 |
| DRESDEN/lightsout/XgLpzQ | 0.4394664678148754 | 1217.9666666666667 | 2771.4666666666667 |
| STANFORD/duikoshi/tpw1sw | 0.45390689217127056 | 607.4333333333333 | 1338.2333333333333 |
| BASE/qyshinsu/R08Lzw | 0.4581844850908369 | 96.92687154189721 | 211.54551211545513 |
| BASE/slidingpieces/uFJWEw | 0.46003468238817585 | 370.7419505366309 | 805.9 |
| BASE/blocksWorldParallel/RseaAQ | 0.46020945506183064 | 777.8 | 1690.1 |
| DRESDEN/lightsout2/LFtfyQ | 0.49140250347917264 | 1431.9333333333334 | 2913.9724018398774 |
| BASE/futoshiki4/BaCwSw | 0.49379126248301836 | 690.6 | 1398.5666666666666 |
| BASE/conn4/va9Y7A | 0.49707159331787476 | 574.7141761941268 | 1156.2 |
| BASE/lightsOut/5P1ZBw | 0.5017435562612218 | 1127.1 | 2246.366666666667 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 0.512644227786325 | 385.3076461569229 | 751.6082797240092 |
| DRESDEN/CephalopodMicro/H3XQfg | 0.5720660092770404 | 51.44608823137412 | 89.93033565547815 |
| DRESDEN/tictactoelarge/IwXcbg | 0.5722390674482852 | 1415.4333333333334 | 2473.5 |
| BASE/zhadu/DlA8iQ | 0.5829328302574439 | 21.967780588470244 | 37.68492602958816 |
| STANFORD/triplesukoshi/Iu9mbA | 0.5879261760300577 | 771.9666666666667 | 1313.0333333333333 |
| STANFORD/nineboardtictactoe/y28P-A | 0.5884744072668923 | 422.83847743483767 | 718.5333333333333 |
| DRESDEN/golden_rectangle/1uloXw | 0.5969035890218156 | 282.72390920302655 | 473.6508783040565 |
| DRESDEN/pawn_whopping/4ogBkg | 0.6044534572776393 | 675.5774807506416 | 1117.6666666666667 |
| BASE/nineBoardTicTacToe/wRmqqA | 0.6166496466571211 | 437.38959437389593 | 709.3 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 0.6173536171219338 | 1506.1164627845737 | 2439.633333333333 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.6178043213157813 | 658.6 | 1066.0333333333333 |
| DRESDEN/bunk_t/7-tPfA | 0.6220939956514467 | 1239.8333333333333 | 1993.0 |
| DRESDEN/doubletictactoe/lJzgmQ | 0.6363024050466553 | 1291.1 | 2029.0666666666666 |
| BASE/queens08lg/Ru7eqQ | 0.6369742558798827 | 348.25505816472787 | 546.7333333333333 |
| BASE/breakthroughSmallHoles/bxclRw | 0.6373131147041807 | 697.6666666666666 | 1094.7 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 0.6389732824837313 | 184.72101859876008 | 289.09036365454483 |
| BASE/golden_rectangle/_nYzfw | 0.6556437591028256 | 300.1 | 457.7180760641312 |
| BASE/cephalopodMicro/9l2D3g | 0.6595080827081755 | 51.50414764966519 | 78.0947936804213 |
| BASE/doubletoetictac/fu35bg | 0.6668262408316092 | 1300.0666666666666 | 1949.6333333333334 |
| DRESDEN/doubletoetictac/V89gKQ | 0.6673154408249675 | 1302.8666666666666 | 1952.4 |
| BASE/battlebrushes/arCwyA | 0.6699128990218581 | 66.92441007865618 | 99.90016638935109 |
| STANFORD/sukoshi/4LYZZQ | 0.6706857091713442 | 1748.5 | 2607.0333333333333 |
| BASE/bunk_t/xbpfIA | 0.6745562130177516 | 1284.4 | 1904.0666666666666 |
| BASE/doubletictactoe/HH1htg | 0.6787463104195458 | 1326.0666666666666 | 1953.7 |
| DRESDEN/connect4/T0-rHQ | 0.6789320589154713 | 455.51814939502015 | 670.9333333333333 |
| BASE/ticTacToeLarge/TZC0dg | 0.6896098778405358 | 1400.0 | 2030.1333333333334 |
| BASE/connect4/50bOyw | 0.6896289537712895 | 453.5 | 657.6 |
| BASE/ticTacToeLargeSuicide/727_8g | 0.7005833558133261 | 1385.1 | 1977.0666666666666 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 0.7061438774062337 | 995.3333333333334 | 1409.5333333333333 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 0.7072885079066854 | 150.56666666666666 | 212.87871212878713 |
| DRESDEN/cubicup/SBn_lw | 0.7464018422567645 | 345.73333333333335 | 463.2 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 0.7521050378193236 | 175.65495633624425 | 233.55109659356043 |
| BASE/cubicup/4wNWJA | 0.7532353211464875 | 348.02173260891306 | 462.03586427571497 |
| BASE/snake_2009_big/-oRfVw | 0.7538846833086259 | 287.3808412772482 | 381.2 |
| BASE/dotsAndBoxes/EHwA_w | 0.7683986300225545 | 613.2333333333333 | 798.0666666666667 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 0.7732295328980412 | 615.7794740175327 | 796.3734542181927 |
| DRESDEN/snake_2009_big/DgC1NQ | 0.7804678712108238 | 303.8 | 389.2536915436152 |
| BASE/minichess-evilconjuncts/4OpQzw | 0.7876459713851937 | 181.02729909003034 | 229.83333333333334 |
| BASE/tictactoe2/bhrDoQ | 0.7925235885405073 | 3085.4 | 3893.133333333333 |
| BASE/3pConnectFour/PqXOFQ | 0.7932298772169168 | 620.2 | 781.8666666666667 |
| BASE/snakeAssemblit/UO4sdg | 0.7967788398585832 | 405.6666666666667 | 509.1333333333333 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 0.8019396743482516 | 600.8666666666667 | 749.2666666666667 |
| BASE/pawnWhopping/Ypc_6Q | 0.8137663516692115 | 657.3333333333334 | 807.7666666666667 |
| BASE/sum15/QZ07Kg | 0.8157962677329025 | 4107.833333333333 | 5035.366666666667 |
| DRESDEN/tictictoe/LAUtwg | 0.825537811798865 | 2085.0333333333333 | 2525.6666666666665 |
| BASE/simultaneousWin2/PfjRjw | 0.8315105162523901 | 1087.2 | 1307.5 |
| BASE/eotcitcit/V_9_bg | 0.833337638185763 | 2150.9 | 2581.0666666666666 |
| BASE/reversiSuicide/9OxJlg | 0.8366570174717021 | 29.832856096424052 | 35.65721134638434 |
| DRESDEN/sum15/CsgWKg | 0.8404154114475978 | 4240.4 | 5045.6 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 0.8446883007964189 | 14.474910155730068 | 17.13639237347353 |
| BASE/reversi/d8UMeA | 0.8532813223382946 | 30.55953610824141 | 35.814139262415125 |
| BASE/hidato19/rRHSmA | 0.870561846928169 | 530.4333333333333 | 609.3 |
| BASE/snake_2009/7l-qAQ | 0.8708010145383906 | 413.5724285047663 | 474.93333333333334 |
| BASE/connectFourSimultaneous/7ITr3g | 0.8829021235050037 | 482.3 | 546.2666666666667 |
| DRESDEN/snake_2009/zIYLVw | 0.8947603348392307 | 412.1725218318779 | 460.6513116229459 |
| BASE/tictactoe_3d_small_6player/g_9lww | 0.8989662372052756 | 588.4333333333333 | 654.5666666666667 |
| STANFORD/tictictoe/rpt_Dw | 0.9021005860384099 | 2037.0333333333333 | 2258.1 |
| DRESDEN/blocker/S815zQ | 0.906578947368421 | 3536.866666666667 | 3901.3333333333335 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 0.9158282854885437 | 579.5666666666667 | 632.8333333333334 |
| BASE/factoringGeorgeForman/HGRorQ | 0.9213257954356155 | 5899.433333333333 | 6403.2 |
| DRESDEN/chickentictactoe/Ipbo-g | 0.9226541784278505 | 2876.4666666666667 | 3117.6 |
| BASE/tictactoex9/BI26ow | 0.9252807820299499 | 593.1666666666666 | 641.0666666666667 |
| DRESDEN/tictactoe/BTTzPw | 0.9287354451435598 | 3424.4333333333334 | 3687.2 |
| DRESDEN/tictactoex9/rFkD4w | 0.9309518850239533 | 595.9333333333333 | 640.1333333333333 |
| DRESDEN/tictactoe-init1/3ltIBQ | 0.9369237717743454 | 3206.733333333333 | 3422.6192460251323 |
| BASE/lightsOnParallel/SC6enA | 0.9370610061264993 | 3619.866666666667 | 3863.0 |
| DRESDEN/eotcatcit/mQUxzA | 0.9477801512614746 | 3283.3 | 3464.2 |
| DRESDEN/peg/Vo31eg | 0.9481348314606742 | 703.2 | 741.6666666666666 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 0.9517914194431766 | 3892.7 | 4089.866666666667 |
| BASE/eotcatcit/AfZSzA | 0.9555450236966826 | 3360.3333333333335 | 3516.6666666666665 |
| DRESDEN/latenttictactoe/kITHKg | 0.9560826125587046 | 1757.5666666666666 | 1838.3 |
| DRESDEN/stratego/Z2wovg | 0.9587191595416987 | 643.8118729375688 | 671.5333333333333 |
| BASE/tictactoe-init1/7M19vA | 0.9634598713787472 | 3186.0333333333333 | 3306.866666666667 |
| BASE/tictactoe_orthogonal/WRzlVw | 0.9642008438545725 | 3976.3 | 4123.933333333333 |
| BASE/ticTicToe/c1OobQ | 0.9664821323518319 | 2135.7 | 2209.766666666667 |
| DRESDEN/backgammon/mqCW0Q | 0.973177082605138 | 303.9130724618359 | 312.28959034698846 |
| DRESDEN/javastrike/whONTQ | 0.9839102876645539 | 269.04873008466103 | 273.4484367708819 |
| DRESDEN/tictactoe_3player/ESLQQQ | 0.991847254042713 | 964.8690087327511 | 972.8 |
| STANFORD/tictactoe3/X7myng | 1.0009381085830997 | 2809.7 | 2807.0666666666666 |
| BASE/ticTacToeSerial/Amrwqw | 1.0012111075867238 | 1157.3666666666666 | 1155.9666666666667 |
| BASE/tictactoe_3d_small_2player/oOryKA | 1.0038360523912717 | 818.3333333333334 | 815.2061597946736 |
| DRESDEN/peg_bugfixed/u_B7MA | 1.0139175968030865 | 735.8 | 725.7 |
| DRESDEN/mimikry/GJEhwA | 1.041818853367259 | 846.2 | 812.2333333333333 |
| DRESDEN/chickentoetictac/cxYaRQ | 1.0427882371246304 | 4021.2 | 3856.2 |
| DRESDEN/connectfoursuicide/M9CNQg | 1.0503433295964126 | 999.3666666666667 | 951.4666666666667 |
| BASE/toetictac/mTThmg | 1.053067435293429 | 4798.266666666666 | 4556.466666666666 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 1.055463163146516 | 846.2 | 801.7333333333333 |
| BASE/numbertictactoe/rvJ-iQ | 1.0570934256055364 | 2138.5 | 2023.0 |
| BASE/double_tictactoe_dengji/zgaSbA | 1.0571477394785664 | 1443.5 | 1365.4666666666667 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 1.0582841909685758 | 6113.566666666667 | 5776.866666666667 |
| STANFORD/tictactoe7/-bE9-A | 1.0589635169878673 | 3322.5333333333333 | 3137.5333333333333 |
| STANFORD/multipletictactoe/_bkafQ | 1.0598784638213208 | 655.7114762841238 | 618.6666666666666 |
| BASE/chickentictactoe/DSlZCA | 1.0670723576545886 | 2934.2 | 2749.766666666667 |
| STANFORD/tictactoe5/WFRReg | 1.0676289218675883 | 3151.0 | 2951.4 |
| DRESDEN/connectfour/5tc-Mg | 1.0744471744471744 | 1020.3666666666667 | 949.6666666666666 |
| DRESDEN/tpeg/h-Scbg | 1.0759225092250924 | 777.5333333333333 | 722.6666666666666 |
| BASE/tictactoe_3player/GtM71g | 1.0786897991129087 | 943.6018799373354 | 874.7666666666667 |
| DRESDEN/pentago_2008/hLjVpQ | 1.0792199861226757 | 432.03333333333336 | 400.31998933368885 |
| DRESDEN/toetictac/mJtxCA | 1.083042864926593 | 4836.833333333333 | 4465.966666666666 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 1.0840853054065736 | 1421.6333333333334 | 1311.3666666666666 |
| BASE/ticTacToe/JRFsaQ | 1.104944961536827 | 3466.4333333333334 | 3137.2 |
| BASE/lightsOnSimul4/9FeASw | 1.1085524596162895 | 1413.7 | 1275.2666666666667 |
| BASE/ticblock/T21C1g | 1.1121356018824131 | 1740.9 | 1565.3666666666666 |
| DRESDEN/tictactoeparallel/yk_DSg | 1.1172212727455515 | 1481.7333333333333 | 1326.2666666666667 |
| BASE/chickentoetictac/l57rfQ | 1.1205224601654868 | 4252.233333333334 | 3794.866666666667 |
| BASE/tpeg/QNs7Lw | 1.1210930100397802 | 789.1 | 703.8666666666667 |
| STANFORD/trifecta/ss1kyQ | 1.1227202643171807 | 3398.1 | 3026.6666666666665 |
| DRESDEN/blocksworldparallel/2JfVaw | 1.1293323389724066 | 2877.2 | 2547.7 |
| BASE/blocker/dIWtxg | 1.1300130180993575 | 3587.866666666667 | 3175.0666666666666 |
| STANFORD/connectfour/VMpZkQ | 1.1388920103382403 | 1013.5 | 889.9 |
| BASE/connectFour/WAIKTw | 1.1581004721727688 | 997.4333333333333 | 861.2666666666667 |
| DRESDEN/ticblock/Z2yNWQ | 1.1619510089565124 | 1794.6333333333334 | 1544.5 |
| BASE/connectFourSuicide/c8p9Kw | 1.1627668853578064 | 1022.0333333333333 | 878.9666666666667 |
| BASE/catcha_mouse/cHv4dw | 1.1631414986063289 | 1418.8 | 1219.8 |
| DRESDEN/catcha_mouse/cHv4dw | 1.1670599857307502 | 1417.6666666666667 | 1214.7333333333333 |
| BASE/pentago/86NgKw | 1.1718404528168391 | 441.65194493516884 | 376.88743708543046 |
| DRESDEN/brain_teaser_extended/ZDp94A | 1.1775033446536998 | 3813.9333333333334 | 3239.0 |
| BASE/wallmaze/uxNQ9g | 1.178824900049975 | 838.6666666666666 | 711.4429519016032 |
| BASE/connectFour_9x6/B9TtMw | 1.1921721464405655 | 958.4666666666667 | 803.9666666666667 |
| BASE/blocks/xIV5hQ | 1.2042252850352901 | 8428.533333333333 | 6999.133333333333 |
| STANFORD/tictactoe/ss1kyQ | 1.2044991988914389 | 3708.733333333333 | 3079.0666666666666 |
| DRESDEN/towerworld/HCX34w | 1.2209098721710463 | 40.38922953878966 | 33.08125395609155 |
| BASE/brain_teaser_extended/ZDp94A | 1.2238006331682767 | 4020.266666666667 | 3285.0666666666666 |
| DRESDEN/snake_2008/E56l3A | 1.2260515479928424 | 403.46666666666664 | 329.07806146256917 |
| STANFORD/dualrainbow/G3OnRQ | 1.2320247605946777 | 4657.3 | 3780.2 |
| STANFORD/breakthrough/d5j0cQ | 1.2375082787548752 | 1121.1 | 905.9333333333333 |
| BASE/pentagoSuicide/SBgNhw | 1.2454928905536222 | 463.4739718722922 | 372.1209293023566 |
| BASE/lightsOnSimultaneous/_VN6lw | 1.246154539107718 | 1844.4333333333334 | 1480.1 |
| BASE/dualConnect4/WbCQkg | 1.2576740017731824 | 594.7342109648392 | 472.8842371920936 |
| DRESDEN/blocks/vg0DRw | 1.2623378742148625 | 8769.166666666666 | 6946.766666666666 |
| BASE/blocksWorldSerial/Wyg96Q | 1.2631388593774724 | 3725.3333333333335 | 2949.266666666667 |
| BASE/snake_2008/i6K26g | 1.2651522766107144 | 419.55268157728074 | 331.6222792573581 |
| BASE/blocksWorld/SEdXLQ | 1.2668134167955052 | 8958.566666666668 | 7071.733333333334 |
| BASE/mineClearingSmall/frsbvw | 1.2780455439118046 | 343.1437904139724 | 268.4910502983234 |
| BASE/snake_2008_tweaked/bX0NJQ | 1.3044360978580853 | 428.3333333333333 | 328.3666666666667 |
| BASE/connectFourLarge/aU644A | 1.3102869810077287 | 729.0 | 556.3666666666667 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 1.314079053447943 | 3857.5666666666666 | 2935.5666666666666 |
| DRESDEN/lightson2x2/gBHuig | 1.3233987622916588 | 5809.5 | 4389.833333333333 |
| BASE/nonogram_10x10_1/0Xc62g | 1.3297405772748754 | 37.63207893070231 | 28.30031629765274 |
| DRESDEN/blockerparallel/dVQgSg | 1.338383048503408 | 903.2 | 674.844171860938 |
| DRESDEN/sheep_and_wolf/enAIzQ | 1.3410171871866399 | 817.2333333333333 | 609.4130195660144 |
| BASE/ticTacToeParallel/ymRGPw | 1.3518820557101283 | 1409.0666666666666 | 1042.3 |
| STANFORD/dualhunter/1rPZjQ | 1.3570459975462235 | 2101.5666666666666 | 1548.6333333333334 |
| BASE/blockerParallel/7-nDJA | 1.3659678302873364 | 914.3333333333334 | 669.3666666666667 |
| DRESDEN/hallway/0H4l-Q | 1.3740661785285464 | 380.3873204226526 | 276.8333333333333 |
| BASE/lightsOn/MsXu3A | 1.3769784985731643 | 8122.566666666667 | 5898.833333333333 |
| DRESDEN/chomp/-LcqYQ | 1.3774370851769913 | 2656.4333333333334 | 1928.5333333333333 |
| BASE/hallway/ckCJOw | 1.4000443764533106 | 381.3 | 272.3485100993267 |
| BASE/incredible/8Qh-6Q | 1.4022965833039802 | 3317.6 | 2365.8333333333335 |
| DRESDEN/Zhadu/9zpQ5w | 1.4030986266539671 | 57.73202745019655 | 41.146093619856735 |
| BASE/cittaceot/fDxhXg | 1.4613825158227847 | 985.1666666666666 | 674.1333333333333 |
| STANFORD/hex/MTqWcw | 1.4631262353131707 | 192.54099453406212 | 131.59561347955068 |
| STANFORD/pentago/ZxzLmg | 1.47411600623513 | 598.9133695543482 | 406.28645711809605 |
| DRESDEN/blocks2player/3ev8nQ | 1.4751019188491172 | 6911.0 | 4685.1 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 1.4755551975866386 | 6717.366666666667 | 4552.433333333333 |
| BASE/racetrackcorridor/_RkdUg | 1.4773750879662209 | 1399.5666666666666 | 947.3333333333334 |
| DRESDEN/8puzzle/8fKC2w | 1.47816442124255 | 3331.733333333333 | 2253.9666666666667 |
| BASE/chomp/-LcqYQ | 1.4785797481255005 | 2708.1666666666665 | 1831.6 |
| BASE/blocks2player/wnTLOQ | 1.4792286248683202 | 6880.533333333334 | 4651.433333333333 |
| BASE/skirmishHoles/AUCxCA | 1.4875931980149117 | 47.181127548980406 | 31.71641791044776 |
| BASE/blockerSerial/3eqDuw | 1.51156839010894 | 1456.9 | 963.8333333333334 |
| BASE/ticTacToeNoVars/XT03NA | 1.526748605996066 | 3440.8333333333335 | 2253.7 |
| STANFORD/rainbow/_4qNSQ | 1.539953132499506 | 9090.6 | 5903.166666666667 |
| BASE/hexPie/48CH6Q | 1.5436682411431957 | 194.90084985835693 | 126.25824945003666 |
| BASE/hex/T1MK8g | 1.5732042850033654 | 206.2264591180294 | 131.0868913108689 |
| DRESDEN/racetrackcorridor/O0DoTA | 1.5808826348682947 | 1374.3666666666666 | 869.3666666666667 |
| BASE/hodgepodge/9yjRkw | 1.5822164896511417 | 5233.866666666667 | 3307.9333333333334 |
| BASE/queens16ug/gT-ylw | 1.613046153846154 | 436.85210492983566 | 270.8243058564714 |
| BASE/queens12ug/u6Bkmg | 1.6477847881855372 | 792.2 | 480.76666666666665 |
| BASE/strangeSkirmish/gc1zKA | 1.6517504133278722 | 42.07615684445481 | 25.473677200226433 |
| BASE/coloredtrails/EZvr7g | 1.6805763784774281 | 2690.266666666667 | 1600.8 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 1.6842990962154019 | 4770.833333333333 | 2832.5333333333333 |
| DRESDEN/battlesnakes1509/-qZrLw | 1.7061628929943975 | 1228.2666666666667 | 719.9 |
| DRESDEN/troublemaker01/C-lPWw | 1.7276253123968504 | 19540.133333333335 | 11310.4 |
| BASE/checkLines/Vop7oQ | 1.7300194974554708 | 1208.6666666666667 | 698.6433785540482 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 1.7382669477421502 | 1044.4666666666667 | 600.8666666666667 |
| DRESDEN/battlesnakes2011/93VtTw | 1.7499298212781884 | 1246.7666666666667 | 712.4666666666667 |
| DRESDEN/circlesolitaire/ruUilQ | 1.7508549056557798 | 7185.1 | 4103.766666666666 |
| BASE/circlesolitaire/azuQFQ | 1.7577523344981953 | 7159.266666666666 | 4072.9666666666667 |
| BASE/queens08ug/kJ_ZFQ | 1.7602820211515864 | 1647.8 | 936.1 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 1.7710658256509784 | 3650.1666666666665 | 2061.0 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 1.7788503359305519 | 230.34363230343632 | 129.4901699433522 |
| BASE/skirmish/Y_psYQ | 1.7841441415222383 | 44.61251416005864 | 25.004994339748286 |
| BASE/switches/tPUoCg | 1.7895441440776678 | 11317.733333333334 | 6324.366666666667 |
| BASE/troublemaker01/s3tlEQ | 1.8001208922084373 | 20052.266666666666 | 11139.4 |
| BASE/hidato37/pBrqxw | 1.815806826266795 | 110.68524196773764 | 60.956507248791866 |
| DRESDEN/3pttc/uwYBZw | 1.8204156527982769 | 1521.2 | 835.6333333333333 |
| BASE/stateSpaceSmall/Q7osKA | 1.8281050667728544 | 16527.166666666668 | 9040.6 |
| BASE/snakeParallel/RCVNtw | 1.8317316834145125 | 4174.333333333333 | 2278.9 |
| BASE/eightPuzzle/vLrgFg | 1.8593308632011447 | 3378.9 | 1817.2666666666667 |
| DRESDEN/grid_game/U7_Yeg | 1.8674171721885209 | 1067.1666666666667 | 571.4666666666667 |
| STANFORD/eightpuzzle/W_aWbA | 1.8741755935079707 | 3460.3 | 1846.3051231625614 |
| DRESDEN/troublemaker02/iZLVuA | 1.8909644247587882 | 17873.9 | 9452.266666666666 |
| DRESDEN/logistics/fPru1Q | 1.8998907762419495 | 1681.4666666666667 | 885.0333333333333 |
| BASE/pegEuro/5awwhg | 1.912698444948659 | 603.4798840038666 | 315.51229918005464 |
| BASE/escortLatch/mX9BjQ | 1.9140242995867245 | 838.7333333333333 | 438.20411972535163 |
| BASE/tictactoe_3d_6player/d7KSwg | 1.9352406865353913 | 242.3 | 125.20406463434949 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 1.9576545386904765 | 964.7 | 492.7835738808706 |
| STANFORD/8puzzle/jNiGtw | 1.9592241205292422 | 3558.8 | 1816.4333333333334 |
| STANFORD/hunter/14dD-g | 1.9592323169787962 | 4219.533333333334 | 2153.6666666666665 |
| DRESDEN/statespacesmall/h-NqjA | 1.963587774155248 | 16923.966666666667 | 8618.9 |
| DRESDEN/3pffa/0YrmQw | 1.9894158681794492 | 1654.0666666666666 | 831.4333333333333 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 1.9910247573709152 | 151.88987400839943 | 76.2872854524246 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 1.992523311781609 | 986.1333333333333 | 494.9168361054632 |
| BASE/troublemaker02/DI83KA | 1.993285555870563 | 18514.5 | 9288.433333333332 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 2.0189067268143823 | 1014.4333333333333 | 502.46666666666664 |
| BASE/tictactoe_3d_2player/IUC1rQ | 2.0401241245012973 | 272.49700039994667 | 133.56883393874762 |
| DRESDEN/bidding-tictactoe/yW5vTA | 2.0541374474053296 | 2685.1 | 1307.1666666666667 |
| DRESDEN/cube_2x2x2/fp-34Q | 2.063527999781784 | 2521.7 | 1222.0333333333333 |
| BASE/copolymer_4_pie/IN5_jA | 2.064424443391758 | 1452.6666666666667 | 703.6666666666666 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 2.1086428323498785 | 1012.5 | 480.1666666666667 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 2.109304689843672 | 283.4905503149895 | 134.4 |
| BASE/skirmishFinal3/-Olhfw | 2.1446208856439 | 69.62869142057197 | 32.46666666666667 |
| BASE/copolymer_4/2LDVhQ | 2.169491525423729 | 1634.1333333333334 | 753.2333333333333 |
| BASE/duplicateStateSmall/bCPAXw | 2.1876196975367073 | 13250.266666666666 | 6056.933333333333 |
| BASE/tron_10x10/7ZTgDg | 2.2047955974842766 | 2804.5 | 1272.0 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 2.20852783390232 | 1056.6333333333334 | 478.43333333333334 |
| BASE/connectFourLarger/qKi60A | 2.220606826801517 | 468.38438718709375 | 210.92630245658478 |
| DRESDEN/firefighter/WJmoPw | 2.2238527947269753 | 6208.033333333334 | 2791.5666666666666 |
| DRESDEN/statespacemedium/dVJZ_w | 2.2319362113799093 | 12073.733333333334 | 5409.533333333334 |
| BASE/stateSpaceMedium/3bUoIw | 2.2509022816601982 | 12140.766666666666 | 5393.733333333334 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 2.253767988201412 | 1078.1666666666667 | 478.3840538648712 |
| BASE/onestep/xi53wA | 2.264226373883537 | 34831.5 | 15383.4 |
| BASE/stateSpaceLarge/0Ge_CQ | 2.2743099445086914 | 8456.566666666668 | 3718.3 |
| BASE/queens06ug/7Lq3tw | 2.276419276419276 | 2653.1666666666665 | 1165.5 |
| BASE/firefighter/WJmoPw | 2.280777589954117 | 6296.466666666666 | 2760.6666666666665 |
| STANFORD/bestbuttonsandlights/nm0wEA | 2.2834338206582525 | 11500.666666666666 | 5036.566666666667 |
| DRESDEN/statespacelarge/8-y5HQ | 2.2846205849041694 | 8673.866666666667 | 3796.633333333333 |
| BASE/skirmishFinal2/gdB62Q | 2.2989716533630498 | 63.63484924204565 | 27.679701552195056 |
| BASE/peg/fJHVWw | 2.3164291519679048 | 744.1666666666666 | 321.2559581347288 |
| DRESDEN/skirmishfinal/hzq8ww | 2.3324272364419465 | 64.94069039051047 | 27.84253646839406 |
| BASE/biddingTicTacToe/8mESVw | 2.3625616626287984 | 2697.9666666666667 | 1141.9666666666667 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 2.3699589253924587 | 976.2 | 411.90587294180386 |
| BASE/breakthroughSmall/HJ0tIA | 2.3822904995980956 | 856.1666666666666 | 359.38802039932 |
| BASE/breakthroughSuicideSmall/XSbJog | 2.3903335545518787 | 864.3666666666667 | 361.6092260515966 |
| BASE/skirmishFinal1/ecWTnQ | 2.4256157038562907 | 63.9786737754082 | 26.376261364771704 |
| BASE/roshambo2/KNPokQ | 2.4715919964933724 | 13344.866666666667 | 5399.3 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 2.5191089440914984 | 9265.366666666667 | 3678.0333333333333 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 2.520464335124707 | 1016.1333333333333 | 403.1532282257258 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 2.5648101233693406 | 965.5333333333333 | 376.4541181960601 |
| BASE/englishDraughts/jFkQxg | 2.5663866838377336 | 664.2 | 258.8074525880745 |
| DRESDEN/Thief_Police/CX18rA | 2.56954598553559 | 6525.533333333334 | 2539.5666666666666 |
| BASE/rubiksCube/9tNO9Q | 2.603786496350365 | 761.0 | 292.26666666666665 |
| DRESDEN/roshambo2/jgSlkQ | 2.624822599392503 | 13624.666666666666 | 5190.7 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 2.628570281876681 | 6549.433333333333 | 2491.633333333333 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 2.640252985745473 | 13706.433333333332 | 5191.333333333333 |
| BASE/pearls/6k_mEQ | 2.659370937111328 | 25159.333333333332 | 9460.633333333333 |
| STANFORD/pilgrimage/ObRZnQ | 2.6665190775477594 | 637.4120862637913 | 239.0427623904276 |
| DRESDEN/capture_the_king/EQ229Q | 2.695818187958199 | 120.86776859504133 | 44.83528196928817 |
| BASE/haystack/UkweGA | 2.6958622010868907 | 37056.333333333336 | 13745.633333333333 |
| BASE/gt_dollar/TGjqRw | 2.7077969662180315 | 7390.3 | 2729.266666666667 |
| BASE/survival/YVIjJA | 2.708424455942875 | 28649.533333333333 | 10577.933333333332 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 2.7224486106266714 | 1040.6666666666667 | 382.25392486917104 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 2.739867808926249 | 13624.266666666666 | 4972.6 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 2.7497350135437517 | 7004.4 | 2547.3 |
| BASE/buttons/hTcUjw | 2.7533662272504507 | 22097.966666666667 | 8025.8 |
| BASE/3pffa/pR0dzA | 2.7535698696763733 | 1471.9666666666667 | 534.5666666666667 |
| STANFORD/3puzzle/41ibjA | 2.761056282184792 | 9633.233333333334 | 3488.9666666666667 |
| DRESDEN/Goldrush/VeWczQ | 2.7895359109206597 | 1432.1 | 513.3828872370921 |
| BASE/4pffa/Q3ADlg | 2.809834612724758 | 1263.9666666666667 | 449.8366775548297 |
| BASE/maze/cCX3qQ | 2.8361744459692573 | 17153.466666666667 | 6048.1 |
| DRESDEN/catch_me/ghGWrA | 2.8388223884364496 | 7122.7 | 2509.0333333333333 |
| BASE/2pffa/6oHijA | 2.865682783966923 | 1663.4333333333334 | 580.4666666666667 |
| DRESDEN/buttons/ADUaHw | 2.8742794016811843 | 22636.1 | 7875.4 |
| STANFORD/threepuzzle/41ibjA | 2.9080738723807267 | 9825.8 | 3378.8 |
| BASE/nonogram_5x5_1/qLKEZw | 3.0065668703412096 | 268.7243758541382 | 89.37914486619789 |
| DRESDEN/knightwar/7hhAqg | 3.0796973210471714 | 1682.2333333333333 | 546.2333333333333 |
| DRESDEN/chinesecheckers1/Y-ftaA | 3.097167997100999 | 1994.2 | 643.8785373820873 |
| BASE/2pffa_zerosum/o0_uZA | 3.149414286286286 | 1747.8666666666666 | 554.9815006166461 |
| DRESDEN/oisters_farm/pTQMLg | 3.2162489847327342 | 9107.666666666666 | 2831.766666666667 |
| DRESDEN/point_grab/r5DPmQ | 3.241015912346587 | 13952.033333333333 | 4304.833333333333 |
| DRESDEN/amazons/dNB28A | 3.2500075302077174 | 37.370103916866505 | 11.498466871083856 |
| STANFORD/freeforall/Lfp40Q | 3.4405926946933145 | 1664.1 | 483.6666666666667 |
| DRESDEN/guess/PhxGhg | 3.4625112678759957 | 801.6333333333333 | 231.51789880674622 |
| BASE/guess/SPpk1A | 3.520301221088924 | 816.8 | 232.0255991466951 |
| BASE/untwistycomplex2/EDPPAQ | 3.521515698826793 | 22682.2 | 6441.033333333334 |
| STANFORD/untwistycorridor/EDPPAQ | 3.609395540596531 | 23520.866666666665 | 6516.566666666667 |
| BASE/chess_200/XsTpYA | 3.72511200239291 | 45.024328467639805 | 12.086704624912596 |
| DRESDEN/babel/WdSW4A | 3.7466160406824462 | 307.87947470168655 | 82.17534739578126 |
| STANFORD/buttonsandlights/eyhJpA | 3.7636846059605116 | 37069.53333333333 | 9849.266666666666 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 3.7830188508557456 | 515.7 | 136.31970136319703 |
| DRESDEN/breakthrough/z4hK7Q | 3.81303635235732 | 512.1666666666666 | 134.319901343199 |
| BASE/duplicateStateMedium/U163eQ | 3.8210316375275437 | 7918.833333333333 | 2072.4333333333334 |
| BASE/beatMania/qUHwvQ | 3.8382467364052912 | 7399.5 | 1927.8333333333333 |
| DRESDEN/aipsrovers01/qS47Mw | 3.8887123819609926 | 4406.3 | 1133.1 |
| BASE/aipsrovers01/4C4jsw | 3.889422510312316 | 4400.233333333334 | 1131.3333333333333 |
| DRESDEN/frogs_and_toads/GjchhQ | 3.892786414624013 | 936.9 | 240.67593240675933 |
| DRESDEN/4pttc/9pB9AQ | 3.9324343226619236 | 1179.1666666666667 | 299.8566714442852 |
| BASE/breakthrough/TGxk-g | 3.952660130718954 | 510.6666666666667 | 129.19569347688412 |
| BASE/breakthroughWalls/vOZaYA | 4.019220864680855 | 519.1493616879437 | 129.16666666666666 |
| STANFORD/alquerquezero/uVgA_A | 4.079212246326102 | 1165.8 | 285.7904736508783 |
| DRESDEN/brawl/2kXtfQ | 4.09669337120342 | 161.650501616505 | 39.45877491168433 |
| BASE/brawl/6Ymo_Q | 4.112934507858636 | 160.4506216045062 | 39.01122697138288 |
| BASE/chineseCheckers4/avfBcQ | 4.115142038427561 | 1242.1 | 301.83648301836485 |
| STANFORD/untwistycomplex/HTWEwg | 4.146737532511591 | 12223.2 | 2947.6666666666665 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 4.167493261455525 | 2576.9 | 618.3333333333334 |
| DRESDEN/knightmove/97Ipcw | 4.259090874823734 | 1745.0333333333333 | 409.7196760107996 |
| BASE/point_grab/V_osUg | 4.27428548847594 | 14421.866666666667 | 3374.1 |
| BASE/breakthroughSuicide/wZDpIg | 4.2781588117081695 | 543.9666666666667 | 127.14971337155046 |
| DRESDEN/smallest/9kaGFw | 4.35513590844063 | 2536.866666666667 | 582.5 |
| BASE/shmup/ssTNlg | 4.362905611993294 | 2949.0333333333333 | 675.9333333333333 |
| BASE/checkersTiny/Lr48cg | 4.370490981963927 | 581.5472817572747 | 133.06223125895804 |
| DRESDEN/hanoi/RQ0jiA | 4.376970731901037 | 7347.766666666666 | 1678.7333333333333 |
| BASE/asteroidsParallel/WauZiA | 4.4573913043478255 | 3246.4666666666667 | 728.3333333333334 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 4.475662174721189 | 2568.4333333333334 | 573.8666666666667 |
| DRESDEN/pawntoqueen/f_x6Aw | 4.525182561078644 | 22.846866049423834 | 5.048827476250581 |
| BASE/knightmove/jBaJEw | 4.545000556468587 | 1751.4333333333334 | 385.353821539282 |
| BASE/chineseCheckers1/gqtwHw | 4.628621017397413 | 3733.6 | 806.6333333333333 |
| BASE/asteroidsSerial/id2QkA | 4.633182017864987 | 3164.0 | 682.9 |
| BASE/hanoi/iGLsJg | 4.6851186934487785 | 7611.6 | 1624.6333333333334 |
| BASE/pawnToQueen/-O1_JA | 4.698180202989318 | 23.452595109600907 | 4.991846650470897 |
| BASE/ttcc4_2player_small/Cv72TA | 4.8246953554502365 | 1187.6 | 246.1502566495567 |
| BASE/checkersSmall/SYmq8w | 4.900787859338713 | 425.0049996666889 | 86.72177043060925 |
| STANFORD/skirmish/w4V6Vw | 5.034196367818685 | 41.001898544449254 | 8.144676041355009 |
| BASE/choicethroughalt/tt71Lg | 5.062618799908739 | 493.03333333333336 | 97.38701506465804 |
| BASE/knightazons/apnJBQ | 5.099881830100216 | 254.8496766882208 | 49.971682713129226 |
| BASE/checkers/rOC3Xg | 5.175609257265877 | 320.5 | 61.92507665644581 |
| DRESDEN/god/2EDD5w | 5.1983863404200035 | 108.68550859885349 | 20.90754735825815 |
| BASE/god/qF06gw | 5.273773156872347 | 109.55571109555711 | 20.77368666355949 |
| DRESDEN/nim4/F5YAYg | 5.320353426840161 | 7346.166666666667 | 1380.7666666666667 |
| BASE/smallest_4player/ADDROA | 5.327191122808652 | 3811.8333333333335 | 715.542815239492 |
| DRESDEN/smallest_4player/ADDROA | 5.38638782214408 | 3880.5333333333333 | 720.4333333333333 |
| DRESDEN/knightazons/02I8BQ | 5.41043257004351 | 266.15779474017535 | 49.19344087455006 |
| DRESDEN/minichess/c7GMFw | 5.413230510875064 | 1189.0666666666666 | 219.65934468851037 |
| BASE/nim4/twk16w | 5.469060036385688 | 7515.4 | 1374.1666666666667 |
| BASE/gt_centipede/9fRMpw | 5.497886600542243 | 10882.7 | 1979.4333333333334 |
| BASE/kalaha5x2x3/WviNsw | 5.5924680299099645 | 2443.0 | 436.83754416372244 |
| BASE/nim3/1OwUqw | 5.615129151291513 | 7608.5 | 1355.0 |
| DRESDEN/nim3/sG_axA | 5.637869075369076 | 7739.666666666667 | 1372.8 |
| STANFORD/madness/UO_B3A | 5.695610342404061 | 43.352215928023995 | 7.611513660838928 |
| BASE/breakthroughHoles/nZk0Sg | 5.803107936507937 | 739.2666666666667 | 127.39150723285114 |
| BASE/chineseCheckers2/eCMR3Q | 5.8283296393310495 | 2892.6 | 496.3 |
| BASE/chineseCheckers6/rREH3A | 6.0465310671496235 | 1446.7333333333333 | 239.26666666666668 |
| BASE/duplicateStateLarge/dcjyuw | 6.0662931839402425 | 4764.466666666666 | 785.4 |
| BASE/nim2/eF2Qqw | 6.141835940264703 | 8677.8 | 1412.9 |
| DRESDEN/nim2/z5_exA | 6.241997805657587 | 8723.4 | 1397.5333333333333 |
| STANFORD/chinook/osFbPA | 6.243597649309126 | 562.6812439585348 | 90.12131715771231 |
| DRESDEN/skirmish/RjGQYQ | 6.2777671561891335 | 265.991133628879 | 42.37034076146697 |
| BASE/sheepAndWolf/g4THrg | 6.291742169298471 | 810.1666666666666 | 128.76666666666668 |
| BASE/asteroids/BKCmPQ | 6.319417526583207 | 8042.933333333333 | 1272.7333333333333 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 6.32625619249823 | 893.9 | 141.3 |
| BASE/chineseCheckers3/-1rZdQ | 6.408816748514612 | 2348.9666666666667 | 366.5211159628012 |
| DRESDEN/tttcc4/sAvtFg | 6.417966564260113 | 696.2333333333333 | 108.48191968005332 |
| BASE/chinook/XQh0IQ | 6.4389985895627655 | 608.7 | 94.53333333333333 |
| BASE/minichess/8NQEiA | 6.444616653885481 | 1680.7 | 260.79130695643477 |
| DRESDEN/skirmish2/iPpWhQ | 6.564142987454332 | 296.1234625512483 | 45.112280935563405 |
| DRESDEN/small_dominion/yB5GJA | 6.61117608017698 | 132.57146664889717 | 20.052629825788614 |
| DRESDEN/nim1/M9BALA | 6.664031528380207 | 9525.566666666668 | 1429.4 |
| BASE/nim1/hin2Qw | 6.763335520764976 | 9619.266666666666 | 1422.2666666666667 |
| DRESDEN/knightstour/cGISAA | 6.767558502700125 | 14662.366666666667 | 2166.5666666666666 |
| BASE/speedChess/bPnisA | 6.795583192627248 | 158.17890947873616 | 23.276723276723278 |
| BASE/ttcc4/Le0qjQ | 6.851106658075601 | 708.7666666666667 | 103.4528729502733 |
| BASE/tttcc4/8Bs2lg | 6.864216457326893 | 710.2333333333333 | 103.46895931220634 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 7.041925635241792 | 589.7803406553115 | 83.75270788201966 |
| BASE/kitten_escapes_from_fire/uW-YiA | 7.072014964148395 | 4536.933333333333 | 641.5333333333333 |
| BASE/skirmishNew/sibw2g | 7.169101900723159 | 170.02766574447517 | 23.716731621198495 |
| DRESDEN/skirmish3/3LU8Nw | 7.3892704715969995 | 459.56666666666666 | 62.193780621937805 |
| BASE/2pttc/unkkYA | 7.43621 | 1596.2 | 214.65235650956603 |
| BASE/skirmishZeroSum/zh4hcw | 7.621097160956734 | 164.650201646502 | 21.604527296937416 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 7.780610355952822 | 4903.6 | 630.2333333333333 |
| BASE/amazons_8x8/7SOsIw | 7.813637326159258 | 391.0202993233559 | 50.04331312054374 |
| BASE/checkersBarrelNoKings/rnKNeg | 7.849629158638407 | 678.7666666666667 | 86.47117627457514 |
| BASE/checkersTorusNoKings/pwb6oQ | 7.917111842105264 | 681.7 | 86.10463178940353 |
| STANFORD/knightstourmedium/x1wu8Q | 8.229065601910591 | 14701.5 | 1786.5333333333333 |
| BASE/checkers-newgoals/0XkFiA | 8.257520493997719 | 232.79224025865804 | 28.191542537238828 |
| BASE/ttcc4_2player/_aH_Mw | 8.466452026596125 | 786.9404353188227 | 92.94807705125642 |
| BASE/endgame/jYjfOA | 8.51014546709618 | 616.2333333333333 | 72.41160985037823 |
| BASE/knightsTour/mvtVIg | 8.719799841755234 | 13592.133333333333 | 1558.7666666666667 |
| BASE/checkersTorus/2vm1EQ | 8.799221160651097 | 552.3333333333334 | 62.770707003398414 |
| BASE/kalaha6x2x4/XS81Mg | 9.274470076829761 | 2293.5 | 247.2917569414353 |
| STANFORD/platformjumpers/HEQskA | 9.275841043346645 | 236.37636236376363 | 25.48301132578281 |
| BASE/3pttc/0sol9g | 9.306831736572695 | 1353.4333333333334 | 145.42363842410506 |
| DRESDEN/knightthrough/J7Fc_Q | 9.387809815595798 | 1261.3666666666666 | 134.3621879270691 |
| STANFORD/knightstour/cEwgNA | 9.444973797046213 | 14538.333333333334 | 1539.2666666666667 |
| DRESDEN/bomberman2p/x4h6jQ | 9.481357516009437 | 1250.0666666666666 | 131.84469255124145 |
| STANFORD/ttcc4/Cx9SGw | 9.772731964100794 | 943.5 | 96.5441397007365 |
| BASE/knightwar/DVGY4Q | 9.866490665660946 | 1744.0666666666666 | 176.76666666666668 |
| BASE/ttcc4_2player_alt/ZEJvYA | 10.061702949438203 | 955.0 | 94.91435046324068 |
| BASE/bomberman2p/4CClwA | 10.640984908657664 | 1339.7 | 125.9 |
| BASE/4pttc/AL1k2Q | 11.259207653061225 | 1029.5333333333333 | 91.4392348961978 |
| DRESDEN/gt_prisoner/huCp4w | 11.295084810328339 | 7086.3 | 627.3790873637546 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 11.511899861111111 | 459.6333333333333 | 39.926800865080686 |
| DRESDEN/endgame/IJhh3Q | 11.6725485995691 | 421.26666666666665 | 36.09037589976006 |
| BASE/gt_coordination/IVMOzA | 11.980028278543656 | 9037.733333333334 | 754.4 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 12.026064929004734 | 474.63502433171124 | 39.46719289590528 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 12.39411525498494 | 476.38083816376843 | 38.43605036447979 |
| DRESDEN/satlike_20v_91c/yeuENQ | 12.692223532579826 | 497.6184924890917 | 39.20656543841579 |
| BASE/amazonsSuicide_10x10/XIbQkg | 12.899358168712078 | 298.10704525761514 | 23.11022311022311 |
| DRESDEN/Runners/3bOCQw | 13.070879323553614 | 15355.233333333334 | 1174.7666666666667 |
| BASE/amazons_10x10/Bun8dA | 13.131684162716462 | 302.75657478084065 | 23.05542617605962 |
| DRESDEN/pancakes88/aD3E7g | 13.66282574484543 | 17074.433333333334 | 1249.7 |
| DRESDEN/pacman3p/rBnk8Q | 13.920882269849002 | 952.3666666666667 | 68.41280949048618 |
| BASE/pacman3p/wW7UVQ | 14.80292715314048 | 923.3025565814473 | 62.37297171225802 |
| DRESDEN/gt_chicken/CeuKtw | 14.826817535063352 | 7294.3 | 491.96666666666664 |
| BASE/gt_prisoner/klthDw | 14.92205021940517 | 8161.366666666667 | 546.9333333333333 |
| BASE/pacman2p/4LEdQg | 14.97142086266017 | 921.4333333333333 | 61.5461512829057 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 15.053142828685258 | 1511.0333333333333 | 100.37992401519696 |
| BASE/amazonsTorus_10x10/Uxc08g | 15.297504544473155 | 204.68635424305046 | 13.380375449340967 |
| BASE/amazonsTorus/soxT8g | 15.419150661012718 | 0.28061860813170364 | 0.018199355742806705 |
| BASE/gt_staghunt/xPjLRA | 15.984810756972111 | 8559.333333333334 | 535.4666666666667 |
| BASE/knightThrough/gcwFjA | 16.39703967704729 | 1105.6333333333334 | 67.4288380774615 |
| DRESDEN/blobwars/ZaMluQ | 16.409205866026376 | 292.5138324111726 | 17.826202852192456 |
| BASE/mummyMaze2p_2007/YGA3Vw | 16.43468681183696 | 1635.0333333333333 | 99.4867351019864 |
| DRESDEN/pancakes6/SZXMyQ | 16.72131690176707 | 21890.433333333334 | 1309.1333333333334 |
| BASE/blobwars/0XT15Q | 16.976348337331952 | 297.1270497267031 | 17.502412404751606 |
| BASE/gt_chicken/gmepTQ | 17.50280488742027 | 7592.133333333333 | 433.76666666666665 |
| DRESDEN/pancakes/hl9aiQ | 17.88335538502249 | 22527.066666666666 | 1259.6666666666667 |
| DRESDEN/ghostmaze2p/HY0UwA | 18.549820271270036 | 2507.0666666666666 | 135.1531513515315 |
| BASE/crossers3/O0rORg | 19.263301737756713 | 948.3333333333334 | 49.23005132991134 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 19.373976434556088 | 189.8143518981435 | 9.797387363369769 |
| BASE/checkers-mustjump/T-8UuQ | 19.473023754789274 | 225.76666666666668 | 11.593816631130064 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 19.540290598860263 | 191.05542040190622 | 9.777511723037016 |
| BASE/hanoi_6_disks/MeubgQ | 19.55497564370216 | 5620.1 | 287.4 |
| BASE/ruleDepthLinear/OUBJpQ | 19.57898026249471 | 32371.233333333334 | 1653.3666666666666 |
| DRESDEN/crossers3/xiPTxg | 19.744465331522967 | 969.0333333333333 | 49.07873254922867 |
| BASE/ghostMaze2p/W-NU-w | 19.808692426187424 | 2571.4 | 129.81169805032494 |
| DRESDEN/hanoi_6_disks/MeubgQ | 20.399714006439744 | 5913.0 | 289.85700476650777 |
| BASE/checkers-mustjump-torus/uSApKQ | 20.55310501997662 | 175.52163189120725 | 8.539908287366252 |
| DRESDEN/gt_ultimatum/pAiiQw | 22.157955068728523 | 7737.3 | 349.1883603879871 |
| DRESDEN/fizzbuzz/t1xHzQ | 22.656765290609282 | 19373.8 | 855.1 |
| BASE/knightsTourLarge/M8jgLA | 22.84208856036607 | 13699.466666666667 | 599.7466751108296 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 23.256747816882772 | 3.506218576342948 | 0.15076134479119555 |
| DRESDEN/connect5/1kYzSg | 23.384982904859243 | 464.98916847192135 | 19.884092725819343 |
| DRESDEN/battle/8oAvhQ | 24.272274782608697 | 92.4 | 3.8068125393094774 |
| BASE/battle/8oAvhQ | 24.47821830845108 | 91.20901093041856 | 3.7261294829995344 |
| BASE/connect5/d-BVQg | 25.01666000632702 | 455.15149495016834 | 18.193935354881706 |
| DRESDEN/mummymaze2p/k-8edg | 25.183695824175825 | 1145.4 | 45.48180727708917 |
| BASE/mummymaze2p/vpjDdA | 25.220854518736225 | 1143.5 | 45.33946298887334 |
| BASE/amazonsSuicide/dE1QEQ | 25.83458936559353 | 2.2145831956104978 | 0.08572163328285282 |
| BASE/gt_ultimatum/GE-uOA | 27.032817520235465 | 8163.366666666667 | 301.97986800879943 |
| BASE/pancakes/yUgbXw | 27.578885433302514 | 21873.733333333334 | 793.1333333333333 |
| BASE/pancakes6/QZTdnw | 27.685985070871425 | 22006.666666666668 | 794.8666666666667 |
| STANFORD/knightstourbig/TQUI2g | 28.2352773826458 | 13232.933333333332 | 468.6666666666667 |
| BASE/amazons/RKKZjw | 31.79522086086485 | 2.3242686854600394 | 0.0731011964229148 |
| DRESDEN/hanoi7/51zz5Q | 36.299921311475416 | 6346.8 | 174.8433542194374 |
| DRESDEN/four_way_battle/xSOQXA | 39.421519302398266 | 260.3159789347377 | 6.60339792938678 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 39.67236277200549 | 6744.5 | 170.00499916680553 |
| BASE/hanoi7_bugfix/3gdnFw | 41.763002114164905 | 6584.633333333333 | 157.66666666666666 |
| BASE/four_way_battle/xSOQXA | 42.08709527597965 | 257.50758257507584 | 6.118445116882254 |
| BASE/knightfight/SJRkAg | 53.37681571981267 | 2911.3333333333335 | 54.54303135308033 |
| DRESDEN/quarto/OQzRYQ | 54.10076200256739 | 1403.6 | 25.944181709185372 |
| BASE/racer4/0vs7Ww | 57.50917132298596 | 863.6333333333333 | 15.017314864144913 |
| DRESDEN/knightfight/4_Ly4w | 57.92234848484849 | 3058.3 | 52.8 |
| DRESDEN/quartosuicide/WIU1oQ | 58.99662416666667 | 1415.4 | 23.99120322548399 |
| BASE/quarto/EwBMVQ | 62.54254378698225 | 1408.4 | 22.519071254871914 |
| BASE/quartoSuicide/-23jUg | 66.63810417310664 | 1436.3 | 21.55373442601106 |
| DRESDEN/cylinder-checkers/clOO3Q | 87.73592687641649 | 219.73736835088656 | 2.5045312242544076 |
| BASE/cylinder-checkers/hlldmw | 87.760936 | 219.3 | 2.4988338775238224 |
| BASE/gt_tinfoil/Q8DyKg | 88.27670897615708 | 10489.166666666666 | 118.82145118821451 |
| DRESDEN/checkers-newgoals/IJOqXQ | 89.03326932676032 | 242.050529964669 | 2.718652609243419 |
| BASE/wargame02/BkVqqQ | 97.97501367238375 | 439.4520182660578 | 4.485347863645425 |
| BASE/hitori/S8Gsyg | 102.31795686274509 | 115.06666666666666 | 1.1245989481692191 |
| DRESDEN/twisty-passages/j7NPyg | 102.69873747684015 | 6771.533333333334 | 65.93589658159526 |
| DRESDEN/checkers/jIDMIg | 103.68668462224969 | 245.39182027265758 | 2.3666666666666667 |
| DRESDEN/hitori/S8Gsyg | 107.21258319691815 | 120.21329778370271 | 1.121261088942387 |
| BASE/twisty-passages/DiZmmg | 107.2219279661017 | 6747.833333333333 | 62.93333333333333 |
| DRESDEN/kalaha_2009/gcC8uA | 107.25692284417549 | 2360.866666666667 | 22.01132201132201 |
| BASE/kalaha_2009/dRiN3g | 109.37516902966314 | 2414.133333333333 | 22.07204208003196 |
| BASE/racer/QQYQNw | 120.46961397058824 | 2182.3333333333335 | 18.115218115218116 |
| DRESDEN/racer/vk_ZBA | 121.01159244363193 | 2203.0666666666666 | 18.20541835851694 |
| BASE/solitaireChineseCheckers/-ET6gw | 123.92263333333332 | 1713.6 | 13.827982458948178 |
| DRESDEN/chinesecheckers2/06E6-Q | 134.60852276422764 | 1469.4666666666667 | 10.916594555015642 |
| BASE/colonelBlottoVariant/X-n-KQ | 153.2381575471698 | 6494.7 | 42.38304678128748 |
| BASE/colonelBlottoVariant2/jruwGw | 165.61740127388535 | 6932.0 | 41.855505198613706 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 167.71749290570781 | 193.7075056659112 | 1.1549630411826821 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 169.4828839038699 | 190.96030132328923 | 1.1267232237539766 |
| BASE/max_knights/2fq3Ag | 176.5901593137255 | 1197.5 | 6.78123857328059 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 183.42866757550607 | 186.44180775896547 | 1.016426768090757 |
| BASE/wargame01/_GZFZg | 189.15510392156864 | 853.6333333333333 | 4.512874966817096 |
| DRESDEN/checkers-mustjump/HUr33w | 197.14066809960417 | 239.4840343977068 | 1.2147875763346248 |
| DRESDEN/max_knights/hCipiA | 198.79206515912895 | 1316.7666666666667 | 6.623839163865127 |
| BASE/wargame03/klXI8w | 200.17269484536084 | 646.6 | 3.2302107962303106 |
| DRESDEN/battlebrushes/QHXV4A | 210.36045941325764 | 92.19692676910769 | 0.43828068747456406 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 277.55345353159856 | 4975.8 | 17.92735754748417 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 282.81411796875 | 4823.8 | 17.056432806982478 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 293.1390855606759 | 4233.266666666666 | 14.441153961334974 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 358.4420630705394 | 5752.066666666667 | 16.047409774936742 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 577.0296778795812 | 14686.7 | 25.45224372855382 |
| BASE/colonelBlotto/jip21A | 605.410269032258 | 3124.1 | 5.1603022938376 |
| BASE/pancakes88/l2Xaig | 739.017859832636 | 17653.7 | 23.888055972013994 |
| DRESDEN/chinesecheckers4/-oVNYg | 767.4995678571429 | 704.5666666666667 | 0.9180026884364447 |
| DRESDEN/farmers/S_ASnw | 849.2917333333335 | 1118.6666666666667 | 1.3171759747102212 |
| BASE/gt_two_thirds_2p/1APDGg | 932.6040946502059 | 2510.8333333333335 | 2.6922821245762147 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 1051.3908000000001 | 2615.4 | 2.487562189054726 |
| BASE/ruleDepthExponential/UamhHQ | 1392.8039285940104 | 611.3769047568867 | 0.43895403524173826 |
| DRESDEN/chinesecheckers3/QsCb2A | 1734.0477130434783 | 1306.7 | 0.7535548129218269 |
| BASE/ad_game_2x2/D0aWqg | 1807.4472 | 813.0666666666667 | 0.449842555105713 |
| BASE/gt_attrition/kD_SCA | 1857.4903533333334 | 2158.366666666667 | 1.1619800139437602 |
| DRESDEN/crisscross/GsY16g | 21339.5931 | 1272.6 | 0.05963562632316546 |
| BASE/crisscross/ICagEg | 21688.385000000002 | 1284.6666666666667 | 0.059232933511032135 |
| DRESDEN/crissrace/KWb9bw | 27137.745333333332 | 887.6666666666666 | 0.03270966897814994 |
| BASE/crissrace/ERWGDA | 29226.3768 | 942.3 | 0.03224142378127418 |
| BASE/merrills/pku8Tg | Infinity | 200.9866008932738 | 0.0 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Infinity | 343.8 | 0.0 |
| DRESDEN/chinesecheckers6/yTbPDA | Infinity | 992.6666666666666 | 0.0 |
| DRESDEN/merrills/aYEzwA | Infinity | 205.3 | 0.0 |
Games with errors:
| Game | GGP_BASE_PROVER:2015-04-26 error message | REKKURA_BACKWARD_PROVER:1.0.0 error message |
| DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | |
| DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | |
| BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | |
| BASE/queens/HyJJnQ | IllegalArgumentException: too many occurrences: 2147484126 | |
| BASE/gt_two_thirds_4p/DStnxQ | Test process timed out after 240 seconds | |
| BASE/mummymaze1p/PT_EXA | Test process timed out after 240 seconds | |
| DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | |
| BASE/sudoku/NTaNkw | Test process timed out after 240 seconds | |
| BASE/gt_two_thirds_6p/867v3Q | Test process timed out after 240 seconds | |
| DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | |
| DRESDEN/queens/mW2wHQ | IllegalArgumentException: too many occurrences: 2147484126 | |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | |
| BASE/slaughter/cOch8A | Test process timed out after 240 seconds |