Game-by-game performance:
| Game | Perf ratio | GGP_BASE_PROVER:2015-04-26 states per second | REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per second |
| DRESDEN/quad_7x7/q-JOXg | 0.07146871665904588 | 1.6765736930345985 | 23.458847050983007 |
| BASE/coins/QnGtnQ | 0.10931984424469594 | 300.4 | 2747.9 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 0.11175114453891433 | 12.290167865707435 | 109.97800439912018 |
| DRESDEN/coins/QwFP9w | 0.11187726462996402 | 307.73333333333335 | 2750.633333333333 |
| BASE/coins_atomic/AA3SSw | 0.1148665577017144 | 320.93333333333334 | 2793.9666666666667 |
| BASE/blokbox_simple/JBx4bg | 0.1661775669465844 | 0.8214330847971693 | 4.943104535049597 |
| BASE/quad_7x7/q-JOXg | 0.18389318532515264 | 4.323728272539973 | 23.51217237819296 |
| BASE/sudokuGrade6H/ieE_9A | 0.19281657485346337 | 24.04262404262404 | 124.69168722085195 |
| BASE/sudokuGrade1/tDRNRw | 0.19635880860463847 | 24.388618644632505 | 124.20435231779251 |
| BASE/sudokuGrade6E/ihYFZA | 0.19907967999655848 | 24.251307505246675 | 121.81709105452606 |
| BASE/sudokuGrade5/BQfUQA | 0.19974645220720072 | 24.739453268071788 | 123.85428123854281 |
| BASE/sudokuGrade4/DTy07w | 0.20133782584581253 | 24.2 | 120.19599346688443 |
| STANFORD/sudoku/oJ1qyQ | 0.20228334629110514 | 24.952526901422527 | 123.3543312335433 |
| BASE/sudokuGrade3/eI8dvg | 0.20468555975566446 | 25.111569972690337 | 122.68364218104253 |
| BASE/sudokuGrade2/u80Tfw | 0.20676910535010554 | 25.418929273411734 | 122.93388429752066 |
| STANFORD/duidoku/3SoMaA | 0.3096957013481272 | 23.961661341853034 | 77.37163040218587 |
| STANFORD/selectivesukoshi/3xmXYg | 0.5733382989983731 | 75.37487504165279 | 131.46666666666667 |
| DRESDEN/quad/JPe6fg | 0.653262757526598 | 1.332926050373497 | 2.0404133482524847 |
| BASE/ticTacHeaven/18n58A | 0.7467883802394751 | 255.81627891473903 | 342.5552481583947 |
| BASE/ticTacHeavenFC/mrletw | 0.7687262048178666 | 230.46927076389815 | 299.80670532560157 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.7886480660998683 | 658.6 | 835.1 |
| DRESDEN/grid_game2/kypTYQ | 0.8295620158011813 | 360.4879837338755 | 434.55218159394684 |
| BASE/alexChess/LNo83g | 0.8380676778428242 | 4.35737094199042 | 5.1993067590987865 |
| BASE/cubicup_3player/e2yA_g | 0.9018913131547617 | 159.89467017766074 | 177.28818078794748 |
| DRESDEN/pawn_whopping/4ogBkg | 0.9108500482009458 | 675.5774807506416 | 741.7 |
| DRESDEN/cubicup_3player/awDtsQ | 0.9436204722963016 | 167.62755357083347 | 177.64298093587522 |
| DRESDEN/bunk_t/7-tPfA | 0.9844895582435615 | 1239.8333333333333 | 1259.3666666666666 |
| STANFORD/multiplesukoshi/vLSQPg | 0.9892746992194679 | 123.35021997067058 | 124.68753124687531 |
| BASE/zhadu/DlA8iQ | 0.9961824369575177 | 21.967780588470244 | 22.051965356429047 |
| BASE/doubletictactoe/HH1htg | 1.0166104466932433 | 1326.0666666666666 | 1304.4 |
| DRESDEN/doubletictactoe/lJzgmQ | 1.0168009870579895 | 1291.1 | 1269.7666666666667 |
| DRESDEN/doubletoetictac/V89gKQ | 1.0224175364252268 | 1302.8666666666666 | 1274.3 |
| BASE/withConviction/3Xm54A | 1.029920526590361 | 603.2931137924138 | 585.7666666666667 |
| BASE/bunk_t/xbpfIA | 1.0346938775510206 | 1284.4 | 1241.3333333333333 |
| BASE/doubletoetictac/fu35bg | 1.0511818451338166 | 1300.0666666666666 | 1236.7666666666667 |
| STANFORD/duikoshi/tpw1sw | 1.0816120607787274 | 607.4333333333333 | 561.6 |
| BASE/snake2p/I3wWPQ | 1.1495253643129488 | 346.87687487500835 | 301.7566081130629 |
| DRESDEN/lightsout/XgLpzQ | 1.2348845854878503 | 1217.9666666666667 | 986.3 |
| BASE/conn4/va9Y7A | 1.2351475955171434 | 574.7141761941268 | 465.3 |
| BASE/quad/tw-Ufg | 1.2529619631226998 | 2.5987359235137477 | 2.074074074074074 |
| DRESDEN/slidingpieces/s9_44g | 1.3260064374237277 | 343.9104059729351 | 259.3580213992867 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 1.3289590091418462 | 600.8666666666667 | 452.1333333333333 |
| STANFORD/sukoshi/4LYZZQ | 1.3554613814310448 | 1748.5 | 1289.9666666666667 |
| BASE/blocksWorldParallel/RseaAQ | 1.3567520088377232 | 777.8 | 573.2808906369787 |
| DRESDEN/tictactoeparallel/yk_DSg | 1.362638710072957 | 1481.7333333333333 | 1087.4 |
| DRESDEN/latenttictactoe/kITHKg | 1.385037694712233 | 1757.5666666666666 | 1268.9666666666667 |
| BASE/slidingpieces/uFJWEw | 1.4375894090796775 | 370.7419505366309 | 257.8914036198793 |
| BASE/ticblock/T21C1g | 1.4408243213418672 | 1740.9 | 1208.2666666666667 |
| DRESDEN/lightsout2/LFtfyQ | 1.4742947353970761 | 1431.9333333333334 | 971.2666666666667 |
| DRESDEN/eotcatcit/mQUxzA | 1.522254504991809 | 3283.3 | 2156.866666666667 |
| DRESDEN/cubicup/SBn_lw | 1.5574092692692694 | 345.73333333333335 | 221.99260024665844 |
| BASE/futoshiki6/JmvXNA | 1.561553972520611 | 207.41950536630893 | 132.82890570314322 |
| DRESDEN/chickentictactoe/Ipbo-g | 1.5615714518376431 | 2876.4666666666667 | 1842.0333333333333 |
| BASE/cubicup/4wNWJA | 1.5689470057572614 | 348.02173260891306 | 221.81866648895405 |
| DRESDEN/tictactoelarge/IwXcbg | 1.5764404514404515 | 1415.4333333333334 | 897.8666666666667 |
| BASE/majorities/ibJzSQ | 1.590828285111705 | 162.06758648270346 | 101.87622887992802 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 1.6002176196908302 | 1421.6333333333334 | 888.4 |
| BASE/double_tictactoe_dengji/zgaSbA | 1.6009183948837382 | 1443.5 | 901.6699443351888 |
| BASE/eotcatcit/AfZSzA | 1.6146392247937857 | 3360.3333333333335 | 2081.1666666666665 |
| BASE/qyshinsu/R08Lzw | 1.6352800013819577 | 96.92687154189721 | 59.272339574865065 |
| BASE/futoshiki5/TJ4BZg | 1.6453382607717404 | 324.93333333333334 | 197.487252974306 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 1.677682058738416 | 385.3076461569229 | 229.66666666666666 |
| DRESDEN/blocker/S815zQ | 1.7056648662551441 | 3536.866666666667 | 2073.6 |
| DRESDEN/ticblock/Z2yNWQ | 1.706790514836419 | 1794.6333333333334 | 1051.4666666666667 |
| BASE/lightsOut/5P1ZBw | 1.7361055141962314 | 1127.1 | 649.2116929435686 |
| BASE/pearls/6k_mEQ | 1.7551145691391152 | 25159.333333333332 | 14334.866666666667 |
| DRESDEN/tictactoe/BTTzPw | 1.7629908017572762 | 3424.4333333333334 | 1942.4 |
| BASE/factoringGeorgeForman/HGRorQ | 1.780907243051782 | 5899.433333333333 | 3312.6 |
| BASE/sum15/QZ07Kg | 1.7936048203993709 | 4107.833333333333 | 2290.266666666667 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 1.7961228169882972 | 175.65495633624425 | 97.79674010866304 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 1.8613946561562664 | 1506.1164627845737 | 809.1333333333333 |
| BASE/minichess-evilconjuncts/4OpQzw | 1.8620305388746212 | 181.02729909003034 | 97.22037061725104 |
| DRESDEN/tictactoex9/rFkD4w | 1.869106116048092 | 595.9333333333333 | 318.8333333333333 |
| BASE/tictactoex9/BI26ow | 1.878361111111111 | 593.1666666666666 | 315.7894736842105 |
| BASE/tictactoe2/bhrDoQ | 1.8797749842610834 | 3085.4 | 1641.3666666666666 |
| DRESDEN/sum15/CsgWKg | 1.884063981042654 | 4240.4 | 2250.6666666666665 |
| DRESDEN/tictictoe/LAUtwg | 1.9003220318386194 | 2085.0333333333333 | 1097.2 |
| BASE/snakeAssemblit/UO4sdg | 1.9337809024467747 | 405.6666666666667 | 209.77902209779023 |
| DRESDEN/CephalopodMicro/H3XQfg | 1.984112952933651 | 51.44608823137412 | 25.92901183136144 |
| BASE/eotcitcit/V_9_bg | 1.9997830600923545 | 2150.9 | 1075.5666666666666 |
| BASE/futoshiki4/BaCwSw | 2.02489157544957 | 690.6 | 341.0552981567281 |
| DRESDEN/peg/Vo31eg | 2.0532755620437957 | 703.2 | 342.4771681887874 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 2.0851194283453207 | 995.3333333333334 | 477.35075497483416 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 2.1215936341835624 | 3892.7 | 1834.8 |
| BASE/ticTacToeSerial/Amrwqw | 2.1245181423239305 | 1157.3666666666666 | 544.7666666666667 |
| BASE/snake_2009_big/-oRfVw | 2.128959847121303 | 287.3808412772482 | 134.98650134986502 |
| DRESDEN/blockerparallel/dVQgSg | 2.13303943950248 | 903.2 | 423.43333333333334 |
| DRESDEN/peg_bugfixed/u_B7MA | 2.1415863019014356 | 735.8 | 343.57709486034264 |
| STANFORD/nineboardtictactoe/y28P-A | 2.158512363709812 | 422.83847743483767 | 195.8934702176594 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 2.1594441165290967 | 184.72101859876008 | 85.54100436535705 |
| BASE/tictactoe_orthogonal/WRzlVw | 2.1688514754277195 | 3976.3 | 1833.3666666666666 |
| BASE/breakthroughSmallHoles/bxclRw | 2.179899534819135 | 697.6666666666666 | 320.04533031131257 |
| BASE/blockerParallel/7-nDJA | 2.1808645518630416 | 914.3333333333334 | 419.2526915769474 |
| BASE/nineBoardTicTacToe/wRmqqA | 2.2049551052288483 | 437.38959437389593 | 198.36666666666667 |
| STANFORD/tictactoe3/X7myng | 2.21900173748223 | 2809.7 | 1266.2 |
| DRESDEN/tpeg/h-Scbg | 2.2476392368471765 | 777.5333333333333 | 345.93333333333334 |
| DRESDEN/towerworld/HCX34w | 2.249208003406884 | 40.38922953878966 | 17.957089552238806 |
| DRESDEN/Zhadu/9zpQ5w | 2.2531256278742506 | 57.73202745019655 | 25.623084099693457 |
| DRESDEN/tictactoe-init1/3ltIBQ | 2.276216165057732 | 3206.733333333333 | 1408.8 |
| DRESDEN/snake_2009_big/DgC1NQ | 2.279715807903952 | 303.8 | 133.26222459251358 |
| BASE/tictactoe-init1/7M19vA | 2.2999422493863997 | 3186.0333333333333 | 1385.2666666666667 |
| BASE/simultaneousWin2/PfjRjw | 2.315239011925043 | 1087.2 | 469.58434718842705 |
| BASE/othello-comp2007/86ZoMw | 2.3185676545085356 | 5.0930395126660235 | 2.196631831192172 |
| BASE/tpeg/QNs7Lw | 2.3469603549122633 | 789.1 | 336.2221259291357 |
| BASE/ticTacToeLargeSuicide/727_8g | 2.361100062503551 | 1385.1 | 586.6333333333333 |
| STANFORD/triplesukoshi/Iu9mbA | 2.3672697536542984 | 771.9666666666667 | 326.1 |
| BASE/ticTacToeLarge/TZC0dg | 2.375296912114014 | 1400.0 | 589.4 |
| DRESDEN/sheep_and_wolf/enAIzQ | 2.399473207411757 | 817.2333333333333 | 340.58864704509847 |
| BASE/cephalopodMicro/9l2D3g | 2.435375649336767 | 51.50414764966519 | 21.148338106973956 |
| DRESDEN/javastrike/whONTQ | 2.474209391250513 | 269.04873008466103 | 108.7412936981371 |
| BASE/pawnWhopping/Ypc_6Q | 2.4791919547454433 | 657.3333333333334 | 265.14015265140154 |
| BASE/lightsOnParallel/SC6enA | 2.4828185372322182 | 3619.866666666667 | 1457.9666666666667 |
| BASE/connectFourSimultaneous/7ITr3g | 2.491122258564297 | 482.3 | 193.607518997467 |
| DRESDEN/snake_2009/zIYLVw | 2.4944877254299653 | 412.1725218318779 | 165.23333333333332 |
| BASE/snake_2009/7l-qAQ | 2.523489932885906 | 413.5724285047663 | 163.88907406172922 |
| BASE/ticTacToeNoVars/XT03NA | 2.581141228245649 | 3440.8333333333335 | 1333.0666666666666 |
| DRESDEN/brain_teaser_extended/ZDp94A | 2.5923962298350554 | 3813.9333333333334 | 1471.2 |
| BASE/brain_teaser_extended/ZDp94A | 2.607571400774004 | 4020.266666666667 | 1541.7666666666667 |
| BASE/othelloSuicide/B442jg | 2.6129348039641234 | 5.001987544719756 | 1.9143177767509407 |
| BASE/numbertictactoe/rvJ-iQ | 2.625 | 2138.5 | 814.6666666666666 |
| BASE/chickentictactoe/DSlZCA | 2.6731248102034617 | 2934.2 | 1097.6666666666667 |
| STANFORD/tictactoe5/WFRReg | 2.7042567799519395 | 3151.0 | 1165.2 |
| DRESDEN/chickentoetictac/cxYaRQ | 2.705935130770266 | 4021.2 | 1486.0666666666666 |
| BASE/haystack/UkweGA | 2.7251044260976998 | 37056.333333333336 | 13598.133333333333 |
| STANFORD/tictictoe/rpt_Dw | 2.7546089700247913 | 2037.0333333333333 | 739.5 |
| STANFORD/trifecta/ss1kyQ | 2.7737667310569987 | 3398.1 | 1225.0849943337112 |
| BASE/chickentoetictac/l57rfQ | 2.7837253960633705 | 4252.233333333334 | 1527.5333333333333 |
| BASE/ticTacToeParallel/ymRGPw | 2.8112927489969186 | 1409.0666666666666 | 501.2166261124629 |
| BASE/ticTacToe/JRFsaQ | 2.874879053437647 | 3466.4333333333334 | 1205.7666666666667 |
| DRESDEN/stratego/Z2wovg | 2.887672867674232 | 643.8118729375688 | 222.95180321311912 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 2.9131745183447815 | 579.5666666666667 | 198.94677198946772 |
| STANFORD/tictactoe7/-bE9-A | 2.926568601544379 | 3322.5333333333333 | 1135.3 |
| BASE/strangeSkirmish/gc1zKA | 2.937796411490853 | 42.07615684445481 | 14.322352862805182 |
| BASE/tictactoe_3d_small_6player/g_9lww | 2.952400289855072 | 588.4333333333333 | 199.30675909878684 |
| BASE/golden_rectangle/_nYzfw | 2.9872595222295955 | 300.1 | 100.45996933537764 |
| BASE/skirmishHoles/AUCxCA | 3.046683262178999 | 47.181127548980406 | 15.486062543710661 |
| STANFORD/tictactoe/ss1kyQ | 3.0481069530436686 | 3708.733333333333 | 1216.7333333333333 |
| BASE/tictactoe_3d_small_2player/oOryKA | 3.0550024888003984 | 818.3333333333334 | 267.8666666666667 |
| BASE/ticTicToe/c1OobQ | 3.059697994365121 | 2135.7 | 698.0100663311223 |
| BASE/toetictac/mTThmg | 3.126857242158311 | 4798.266666666666 | 1534.5333333333333 |
| BASE/3pConnectFour/PqXOFQ | 3.1331639333221086 | 620.2 | 197.9468719794687 |
| BASE/blocks/xIV5hQ | 3.1348764552002875 | 8428.533333333333 | 2688.633333333333 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 3.1360098826436076 | 846.2 | 269.8333333333333 |
| DRESDEN/toetictac/mJtxCA | 3.15226364268335 | 4836.833333333333 | 1534.4 |
| DRESDEN/pentago_2008/hLjVpQ | 3.181394207167403 | 432.03333333333336 | 135.8 |
| BASE/queens31lg/0gID-A | 3.1839750948293073 | 3.3606175550675452 | 1.0554785935747741 |
| BASE/blocksWorldSerial/Wyg96Q | 3.1873146246862882 | 3725.3333333333335 | 1168.8 |
| STANFORD/multipletictactoe/_bkafQ | 3.2451336192675684 | 655.7114762841238 | 202.05993133562214 |
| BASE/othelloHoles/c0qAzw | 3.2744410008159575 | 6.329952939616889 | 1.9331400193314001 |
| BASE/blocker/dIWtxg | 3.303440444403524 | 3587.866666666667 | 1086.1 |
| BASE/blocksWorld/SEdXLQ | 3.3067203110389296 | 8958.566666666668 | 2709.2 |
| DRESDEN/blocks/vg0DRw | 3.3199353869840103 | 8769.166666666666 | 2641.366666666667 |
| BASE/nonogram_10x10_1/0Xc62g | 3.344801524367334 | 37.63207893070231 | 11.250915385127488 |
| DRESDEN/connectfoursuicide/M9CNQg | 3.371036582714939 | 999.3666666666667 | 296.45678477384087 |
| DRESDEN/blocksworldparallel/2JfVaw | 3.409543371780692 | 2877.2 | 843.8666666666667 |
| DRESDEN/babel/WdSW4A | 3.483496047473155 | 307.87947470168655 | 88.38232353529294 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 3.5357611042566317 | 6113.566666666667 | 1729.0666666666666 |
| BASE/lightsOn/MsXu3A | 3.5362144277235195 | 8122.566666666667 | 2296.9666666666667 |
| DRESDEN/lightson2x2/gBHuig | 3.563017479300828 | 5809.5 | 1630.5 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 3.5725928441329917 | 3857.5666666666666 | 1079.7666666666667 |
| DRESDEN/connectfour/5tc-Mg | 3.6581528816664677 | 1020.3666666666667 | 278.92947606985734 |
| BASE/lightsOnSimultaneous/_VN6lw | 3.666501751479813 | 1844.4333333333334 | 503.0498983367221 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 3.7409264565425024 | 1044.4666666666667 | 279.2 |
| BASE/catcha_mouse/cHv4dw | 3.7426728919370436 | 1418.8 | 379.0873637545415 |
| DRESDEN/catcha_mouse/cHv4dw | 3.745406422449219 | 1417.6666666666667 | 378.508099460036 |
| DRESDEN/tictactoe_3player/ESLQQQ | 3.8003196968611355 | 964.8690087327511 | 253.89153694876836 |
| BASE/hidato19/rRHSmA | 3.8550219072997414 | 530.4333333333333 | 137.59541348621713 |
| BASE/lightsOnSimul4/9FeASw | 3.8835650306748466 | 1413.7 | 364.0211992933569 |
| BASE/connectFourSuicide/c8p9Kw | 3.9306555655257873 | 1022.0333333333333 | 260.01599893340443 |
| BASE/blockerSerial/3eqDuw | 3.9309701322061343 | 1456.9 | 370.62097930068995 |
| DRESDEN/blocks2player/3ev8nQ | 3.9630323419221654 | 6911.0 | 1743.8666666666666 |
| BASE/incredible/8Qh-6Q | 3.9932595089070775 | 3317.6 | 830.8 |
| BASE/connectFour/WAIKTw | 4.013411672925607 | 997.4333333333333 | 248.52504916502784 |
| DRESDEN/8puzzle/8fKC2w | 4.021404144035405 | 3331.733333333333 | 828.5 |
| BASE/blocks2player/wnTLOQ | 4.065628015993383 | 6880.533333333334 | 1692.3666666666666 |
| BASE/survival/YVIjJA | 4.174207397622193 | 28649.533333333333 | 6863.466666666666 |
| BASE/connect4/50bOyw | 4.291445758435825 | 453.5 | 105.67534242010197 |
| BASE/circlesolitaire/azuQFQ | 4.300634749003824 | 7159.266666666666 | 1664.7 |
| DRESDEN/circlesolitaire/ruUilQ | 4.310197960407919 | 7185.1 | 1667.0 |
| DRESDEN/skirmishfinal/hzq8ww | 4.34466235777404 | 64.94069039051047 | 14.947235260827592 |
| STANFORD/connectfour/VMpZkQ | 4.347110864903502 | 1013.5 | 233.14335233143353 |
| BASE/skirmishFinal3/-Olhfw | 4.347812363444655 | 69.62869142057197 | 16.014649575495255 |
| BASE/skirmishFinal2/gdB62Q | 4.348767909135789 | 63.63484924204565 | 14.632845571814272 |
| DRESDEN/connect4/T0-rHQ | 4.388182544797998 | 455.51814939502015 | 103.80565182617968 |
| DRESDEN/golden_rectangle/1uloXw | 4.411698566539375 | 282.72390920302655 | 64.0850468224081 |
| BASE/skirmishFinal1/ecWTnQ | 4.443259654189344 | 63.9786737754082 | 14.399040063995734 |
| DRESDEN/troublemaker01/C-lPWw | 4.471631043373457 | 19540.133333333335 | 4369.8 |
| BASE/tictactoe_3player/GtM71g | 4.535820605370944 | 943.6018799373354 | 208.03333333333333 |
| BASE/troublemaker01/s3tlEQ | 4.567575775982506 | 20052.266666666666 | 4390.133333333333 |
| BASE/mineClearingSmall/frsbvw | 4.582580713281034 | 343.1437904139724 | 74.88003199146894 |
| DRESDEN/troublemaker02/iZLVuA | 4.789747300158106 | 17873.9 | 3731.7 |
| BASE/onestep/xi53wA | 4.806842175475074 | 34831.5 | 7246.233333333334 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 4.8085419145132455 | 986.1333333333333 | 205.07949205079493 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 4.81060096800215 | 4770.833333333333 | 991.7333333333333 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 4.83026191588785 | 964.7 | 199.72001866542232 |
| BASE/connectFour_9x6/B9TtMw | 4.832430477150538 | 958.4666666666667 | 198.3404978506448 |
| DRESDEN/battlesnakes2011/93VtTw | 4.852040704712494 | 1246.7666666666667 | 256.95717380436594 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 4.86726832986833 | 1014.4333333333333 | 208.4194387040864 |
| DRESDEN/battlesnakes1509/-qZrLw | 4.875526364999558 | 1228.2666666666667 | 251.92493583547216 |
| STANFORD/untwistycomplex/HTWEwg | 4.943860216793399 | 12223.2 | 2472.4 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 5.061150449850049 | 1012.5 | 200.0533297780148 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 5.0653780414236875 | 6717.366666666667 | 1326.1333333333334 |
| BASE/troublemaker02/DI83KA | 5.071030119326949 | 18514.5 | 3651.0333333333333 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 5.090960552097295 | 14.474910155730068 | 2.843257182530499 |
| BASE/stateSpaceSmall/Q7osKA | 5.211151400493983 | 16527.166666666668 | 3171.5 |
| BASE/dualConnect4/WbCQkg | 5.227180648567946 | 594.7342109648392 | 113.77724455108978 |
| STANFORD/dualrainbow/G3OnRQ | 5.290783096031506 | 4657.3 | 880.2666666666667 |
| DRESDEN/statespacesmall/h-NqjA | 5.313424869707181 | 16923.966666666667 | 3185.133333333333 |
| BASE/hodgepodge/9yjRkw | 5.319510790391978 | 5233.866666666667 | 983.9 |
| DRESDEN/mimikry/GJEhwA | 5.354449588867805 | 846.2 | 158.03678528588566 |
| BASE/nonogram_5x5_1/qLKEZw | 5.376099863337889 | 268.7243758541382 | 49.985004498650405 |
| BASE/coloredtrails/EZvr7g | 5.4326871297792145 | 2690.266666666667 | 495.2 |
| DRESDEN/grid_game/U7_Yeg | 5.468522886421862 | 1067.1666666666667 | 195.14715195147153 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 5.481849647443397 | 230.34363230343632 | 42.01932689103632 |
| BASE/duplicateStateSmall/bCPAXw | 5.486577134891168 | 13250.266666666666 | 2415.0333333333333 |
| BASE/switches/tPUoCg | 5.6471957953562635 | 11317.733333333334 | 2004.1333333333334 |
| BASE/buttons/hTcUjw | 5.658600498480658 | 22097.966666666667 | 3905.2 |
| DRESDEN/logistics/fPru1Q | 5.6998870056497175 | 1681.4666666666667 | 295.0 |
| BASE/skirmish/Y_psYQ | 5.710401812487506 | 44.61251416005864 | 7.8125 |
| BASE/connectFourLarge/aU644A | 5.732634338138925 | 729.0 | 127.16666666666667 |
| DRESDEN/buttons/ADUaHw | 5.763928498675901 | 22636.1 | 3927.2 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 5.796133032046063 | 151.88987400839943 | 26.205380927011188 |
| DRESDEN/cube_2x2x2/fp-34Q | 5.906278530720587 | 2521.7 | 426.95243491883605 |
| STANFORD/breakthrough/d5j0cQ | 5.918966109449234 | 1121.1 | 189.4080789228103 |
| BASE/pentago/86NgKw | 5.944765950601108 | 441.65194493516884 | 74.2925707429257 |
| BASE/firefighter/WJmoPw | 6.006550496056983 | 6296.466666666666 | 1048.2666666666667 |
| DRESDEN/statespacemedium/dVJZ_w | 6.014013415687057 | 12073.733333333334 | 2007.6 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 6.021015761821366 | 343.8 | 57.1 |
| BASE/stateSpaceLarge/0Ge_CQ | 6.045442630763732 | 8456.566666666668 | 1398.8333333333333 |
| BASE/tictactoe_3d_6player/d7KSwg | 6.0607279766860955 | 242.3 | 39.97869578243068 |
| BASE/tictactoe_3d_2player/IUC1rQ | 6.077938295696285 | 272.49700039994667 | 44.83378855505962 |
| DRESDEN/backgammon/mqCW0Q | 6.089622685590432 | 303.9130724618359 | 49.906716417910445 |
| STANFORD/dualhunter/1rPZjQ | 6.107041995996384 | 2101.5666666666666 | 344.12186260457986 |
| DRESDEN/firefighter/WJmoPw | 6.122320841551611 | 6208.033333333334 | 1014.0 |
| DRESDEN/crisscross/GsY16g | 6.125344553184662 | 1272.6 | 207.75974134195528 |
| BASE/crisscross/ICagEg | 6.125442572578937 | 1284.6666666666667 | 209.72634245525148 |
| BASE/stateSpaceMedium/3bUoIw | 6.183227230286054 | 12140.766666666666 | 1963.5 |
| BASE/hidato37/pBrqxw | 6.185594248513605 | 110.68524196773764 | 17.894035321559482 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 6.1866915951286465 | 283.4905503149895 | 45.822641383677144 |
| STANFORD/rainbow/_4qNSQ | 6.25988155901391 | 9090.6 | 1452.2 |
| BASE/pentagoSuicide/SBgNhw | 6.2761403194691985 | 463.4739718722922 | 73.84697414022928 |
| DRESDEN/statespacelarge/8-y5HQ | 6.345957810023168 | 8673.866666666667 | 1366.8333333333333 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 6.431436109770714 | 3.506218576342948 | 0.5451688419972421 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 6.503442700854702 | 1056.6333333333334 | 162.47292117980336 |
| DRESDEN/amazons/dNB28A | 6.586753988621967 | 37.370103916866505 | 5.673523556735236 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 6.5966055405405415 | 976.2 | 147.985201479852 |
| BASE/eightPuzzle/vLrgFg | 6.802468051268286 | 3378.9 | 496.7167761074631 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 6.8696777801373266 | 1078.1666666666667 | 156.94574056792428 |
| DRESDEN/3pttc/uwYBZw | 6.895156730623961 | 1521.2 | 220.61862542497167 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 6.903770018115942 | 1016.1333333333333 | 147.18528147185282 |
| DRESDEN/Thief_Police/CX18rA | 6.924622404584203 | 6525.533333333334 | 942.3666666666667 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 6.969953884356155 | 6549.433333333333 | 939.6666666666666 |
| STANFORD/8puzzle/jNiGtw | 7.029496971293127 | 3558.8 | 506.26666666666665 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 7.172782448885827 | 1040.6666666666667 | 145.0854914508549 |
| STANFORD/eightpuzzle/W_aWbA | 7.22954244724563 | 3460.3 | 478.6333333333333 |
| BASE/englishDraughts/jFkQxg | 7.378005405405405 | 664.2 | 90.02433090024331 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 7.4084050204484555 | 7004.4 | 945.4666666666667 |
| DRESDEN/catch_me/ghGWrA | 7.644842760545239 | 7122.7 | 931.7 |
| DRESDEN/3pffa/0YrmQw | 7.702461927673444 | 1654.0666666666666 | 214.74519214745192 |
| STANFORD/pentago/ZxzLmg | 7.78276121848342 | 598.9133695543482 | 76.95384102649558 |
| BASE/untwistycomplex2/EDPPAQ | 8.045140161501992 | 22682.2 | 2819.366666666667 |
| STANFORD/hex/MTqWcw | 8.077040938303199 | 192.54099453406212 | 23.838060993474496 |
| BASE/hexPie/48CH6Q | 8.08246286760678 | 194.90084985835693 | 24.11404209965361 |
| BASE/snakeParallel/RCVNtw | 8.117856636632743 | 4174.333333333333 | 514.2161927935736 |
| DRESDEN/oisters_farm/pTQMLg | 8.158554792475366 | 9107.666666666666 | 1116.3333333333333 |
| BASE/checkLines/Vop7oQ | 8.186192927012792 | 1208.6666666666667 | 147.646980402613 |
| BASE/hex/T1MK8g | 8.296606556367692 | 206.2264591180294 | 24.856723977075838 |
| STANFORD/untwistycorridor/EDPPAQ | 8.422669706482687 | 23520.866666666665 | 2792.5666666666666 |
| DRESDEN/capture_the_king/EQ229Q | 8.479338842975206 | 120.86776859504133 | 14.25438596491228 |
| BASE/queens08lg/Ru7eqQ | 8.684664792137852 | 348.25505816472787 | 40.1 |
| BASE/pegEuro/5awwhg | 9.015550900252887 | 603.4798840038666 | 66.93766034718288 |
| BASE/rubiksCube/9tNO9Q | 9.082356404136835 | 761.0 | 83.78882815624583 |
| BASE/maze/cCX3qQ | 9.197240491850158 | 17153.466666666667 | 1865.0666666666666 |
| STANFORD/bestbuttonsandlights/nm0wEA | 9.259050532699998 | 11500.666666666666 | 1242.1 |
| STANFORD/hunter/14dD-g | 9.331121922453192 | 4219.533333333334 | 452.2 |
| BASE/breakthroughSmall/HJ0tIA | 9.458813328424153 | 856.1666666666666 | 90.51523028727588 |
| BASE/breakthroughSuicideSmall/XSbJog | 9.666538141384024 | 864.3666666666667 | 89.41843026162306 |
| BASE/connect5/d-BVQg | 9.816351436739792 | 455.15149495016834 | 46.36666666666667 |
| STANFORD/3puzzle/41ibjA | 9.843222070844687 | 9633.233333333334 | 978.6666666666666 |
| BASE/cittaceot/fDxhXg | 9.935447226890757 | 985.1666666666666 | 99.1567509915675 |
| BASE/escortLatch/mX9BjQ | 10.026706135458166 | 838.7333333333333 | 83.6499366793308 |
| STANFORD/threepuzzle/41ibjA | 10.106421640895531 | 9825.8 | 972.2333333333333 |
| DRESDEN/point_grab/r5DPmQ | 10.116766973630146 | 13952.033333333333 | 1379.1 |
| BASE/connectFourLarger/qKi60A | 10.444693448306552 | 468.38438718709375 | 44.84424454439447 |
| BASE/duplicateStateMedium/U163eQ | 10.516729474693816 | 7918.833333333333 | 752.9749008366388 |
| BASE/asteroidsSerial/id2QkA | 10.52479920168533 | 3164.0 | 300.62331255624815 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 10.57650013317606 | 9265.366666666667 | 876.0333333333333 |
| DRESDEN/chinesecheckers1/Y-ftaA | 10.67594471805853 | 1994.2 | 186.79377354088197 |
| DRESDEN/knightwar/7hhAqg | 10.988906313956019 | 1682.2333333333333 | 153.08469153084692 |
| BASE/peg/fJHVWw | 11.034918066534914 | 744.1666666666666 | 67.43744377436444 |
| DRESDEN/aipsrovers01/qS47Mw | 11.043358395989975 | 4406.3 | 399.0 |
| BASE/aipsrovers01/4C4jsw | 11.05233994976978 | 4400.233333333334 | 398.12685398126854 |
| STANFORD/buttonsandlights/eyhJpA | 11.090361505858889 | 37069.53333333333 | 3342.5 |
| DRESDEN/frogs_and_toads/GjchhQ | 11.099657362810897 | 936.9 | 84.40801093005432 |
| BASE/gt_dollar/TGjqRw | 11.101547243503079 | 7390.3 | 665.7 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 11.13760967900158 | 13624.266666666666 | 1223.2666666666667 |
| DRESDEN/chinesecheckers4/-oVNYg | 11.297167290219136 | 704.5666666666667 | 62.36666666666667 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 11.312671948938043 | 13706.433333333332 | 1211.6 |
| BASE/tron_10x10/7ZTgDg | 11.538756034009873 | 2804.5 | 243.0504633024465 |
| DRESDEN/chinesecheckers3/QsCb2A | 11.749727359904107 | 1306.7 | 111.2110911151103 |
| DRESDEN/chomp/-LcqYQ | 11.82467549950544 | 2656.4333333333334 | 224.65168988734084 |
| BASE/chomp/-LcqYQ | 12.11828851603281 | 2708.1666666666665 | 223.4776522347765 |
| BASE/asteroidsParallel/WauZiA | 12.153387380417602 | 3246.4666666666667 | 267.1244291856938 |
| DRESDEN/minichess/c7GMFw | 12.553397701149425 | 1189.0666666666666 | 94.72070390614584 |
| BASE/brawl/6Ymo_Q | 13.268338179956109 | 160.4506216045062 | 12.092744353387967 |
| DRESDEN/brawl/2kXtfQ | 13.8018300442683 | 161.650501616505 | 11.712251281027484 |
| BASE/battlebrushes/arCwyA | 14.043830053428772 | 66.92441007865618 | 4.765395894428153 |
| DRESDEN/4pttc/9pB9AQ | 14.062359234234235 | 1179.1666666666667 | 83.85269121813032 |
| BASE/chess_200/XsTpYA | 14.170469378346553 | 45.024328467639805 | 3.177335010260144 |
| DRESDEN/breakthrough/z4hK7Q | 14.4107475788816 | 512.1666666666666 | 35.54060355739124 |
| STANFORD/pilgrimage/ObRZnQ | 14.506803197538098 | 637.4120862637913 | 43.938838735467534 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 14.575566101694918 | 515.7 | 35.381130063965884 |
| BASE/beatMania/qUHwvQ | 14.66748592666006 | 7399.5 | 504.4831838938702 |
| DRESDEN/chinesecheckers2/06E6-Q | 14.730998284886958 | 1469.4666666666667 | 99.75336621783762 |
| BASE/quad_5x5/JAEP5g | 15.047004391217564 | 83.53333333333333 | 5.551492586929061 |
| DRESDEN/quad_5x5/JAEP5g | 15.566960540956947 | 90.37347713201518 | 5.8054670912951165 |
| DRESDEN/skirmish/RjGQYQ | 15.795983348644635 | 265.991133628879 | 16.83916270092183 |
| BASE/breakthrough/TGxk-g | 16.12761584297231 | 510.6666666666667 | 31.664114004128653 |
| BASE/minichess/8NQEiA | 16.34976676394293 | 1680.7 | 102.79657344755175 |
| BASE/breakthroughWalls/vOZaYA | 16.38677764368948 | 519.1493616879437 | 31.680991405156906 |
| BASE/reversiSuicide/9OxJlg | 16.44007337139121 | 29.832856096424052 | 1.8146425154244614 |
| BASE/reversi/d8UMeA | 16.529980504548938 | 30.55953610824141 | 1.8487339473771087 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 16.540696344962996 | 3650.1666666666665 | 220.67793220677933 |
| BASE/endgame/jYjfOA | 16.81812809090909 | 616.2333333333333 | 36.6410179540988 |
| BASE/breakthroughSuicide/wZDpIg | 17.143520903361345 | 543.9666666666667 | 31.730160317301603 |
| STANFORD/skirmish/w4V6Vw | 17.1655587197963 | 41.001898544449254 | 2.388614271970275 |
| DRESDEN/skirmish2/iPpWhQ | 17.188334599033677 | 296.1234625512483 | 17.22816488386817 |
| DRESDEN/endgame/IJhh3Q | 17.280565846994534 | 421.26666666666665 | 24.378059746228395 |
| BASE/duplicateStateLarge/dcjyuw | 17.31389643087855 | 4764.466666666666 | 275.1816545563629 |
| BASE/asteroids/BKCmPQ | 17.490290151734804 | 8042.933333333333 | 459.8513382887237 |
| STANFORD/alquerquezero/uVgA_A | 17.55543883592574 | 1165.8 | 66.4067706250833 |
| DRESDEN/pawntoqueen/f_x6Aw | 17.63309405352968 | 22.846866049423834 | 1.2956810631229236 |
| DRESDEN/chinesecheckers6/yTbPDA | 18.09596354799514 | 992.6666666666666 | 54.85569552756115 |
| BASE/ttcc4_2player_small/Cv72TA | 18.35548686244204 | 1187.6 | 64.7 |
| DRESDEN/crissrace/KWb9bw | 18.605666899441342 | 887.6666666666666 | 47.70947859403631 |
| BASE/pawnToQueen/-O1_JA | 18.705296120573273 | 23.452595109600907 | 1.2537943777220535 |
| STANFORD/madness/UO_B3A | 18.77584471842719 | 43.352215928023995 | 2.3089355806972987 |
| BASE/knightazons/apnJBQ | 19.38535034373236 | 254.8496766882208 | 13.146508686680423 |
| BASE/crissrace/ERWGDA | 19.71212801393728 | 942.3 | 47.80305806322662 |
| DRESDEN/bidding-tictactoe/yW5vTA | 19.747331029411765 | 2685.1 | 135.97280543891222 |
| DRESDEN/knightazons/02I8BQ | 19.914045674786735 | 266.15779474017535 | 13.365330133653302 |
| STANFORD/freeforall/Lfp40Q | 19.943946086261978 | 1664.1 | 83.4388537154282 |
| BASE/shmup/ssTNlg | 20.09280068119891 | 2949.0333333333333 | 146.77064587082583 |
| BASE/choicethroughalt/tt71Lg | 20.275151598173515 | 493.03333333333336 | 24.317121918720854 |
| BASE/point_grab/V_osUg | 20.60826015082956 | 14421.866666666667 | 699.8100063331223 |
| BASE/chineseCheckers4/avfBcQ | 20.83381481274455 | 1242.1 | 59.619422134835204 |
| BASE/dotsAndBoxes/EHwA_w | 20.914740946969697 | 613.2333333333333 | 29.32062772798454 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 21.25288536359133 | 615.7794740175327 | 28.97392346887801 |
| BASE/biddingTicTacToe/8mESVw | 21.32218124341412 | 2697.9666666666667 | 126.53333333333333 |
| BASE/hallway/ckCJOw | 21.647604725897924 | 381.3 | 17.61395797955582 |
| DRESDEN/hallway/0H4l-Q | 21.870813501618912 | 380.3873204226526 | 17.392463265918103 |
| BASE/gt_centipede/9fRMpw | 22.331121751025993 | 10882.7 | 487.3333333333333 |
| BASE/2pffa/6oHijA | 22.98249120626151 | 1663.4333333333334 | 72.37828651404578 |
| BASE/4pffa/Q3ADlg | 23.090663116250763 | 1263.9666666666667 | 54.739297018157586 |
| DRESDEN/god/2EDD5w | 23.275656862772905 | 108.68550859885349 | 4.669492648032852 |
| BASE/breakthroughHoles/nZk0Sg | 23.503824646892657 | 739.2666666666667 | 31.453037017292505 |
| BASE/racetrackcorridor/_RkdUg | 23.635900769086476 | 1399.5666666666666 | 59.213595468177274 |
| DRESDEN/racetrackcorridor/O0DoTA | 23.67981695369307 | 1374.3666666666666 | 58.039581528619976 |
| BASE/3pffa/pR0dzA | 23.69124032546495 | 1471.9666666666667 | 62.13126229125696 |
| BASE/god/qF06gw | 24.063072281579625 | 109.55571109555711 | 4.552856335781463 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 24.178576834324105 | 589.7803406553115 | 24.392682195341397 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 24.707363075506446 | 893.9 | 36.17949828430556 |
| DRESDEN/tttcc4/sAvtFg | 24.89843257846643 | 696.2333333333333 | 27.96293827489668 |
| BASE/copolymer_4_pie/IN5_jA | 25.384863521646285 | 1452.6666666666667 | 57.225703239568055 |
| BASE/tttcc4/8Bs2lg | 25.417718792212952 | 710.2333333333333 | 27.942449876773463 |
| BASE/chinook/XQh0IQ | 25.92198595744681 | 608.7 | 23.481997135529426 |
| BASE/ttcc4/Le0qjQ | 26.09391881390593 | 708.7666666666667 | 27.162139643392766 |
| STANFORD/chinook/osFbPA | 26.194774747818485 | 562.6812439585348 | 21.480667399340593 |
| DRESDEN/skirmish3/3LU8Nw | 26.84888605706874 | 459.56666666666666 | 17.11678710579773 |
| DRESDEN/knightstour/cGISAA | 27.537602501982388 | 14662.366666666667 | 532.4489183693877 |
| BASE/chineseCheckers1/gqtwHw | 27.835917892644137 | 3733.6 | 134.1288623712543 |
| BASE/2pffa_zerosum/o0_uZA | 28.042511087344028 | 1747.8666666666666 | 62.329178054796344 |
| BASE/checkersTorus/2vm1EQ | 28.043767061477723 | 552.3333333333334 | 19.695404405638683 |
| BASE/chineseCheckers2/eCMR3Q | 28.199560818713447 | 2892.6 | 102.5760655846969 |
| BASE/checkersBarrelNoKings/rnKNeg | 28.220523268698063 | 678.7666666666667 | 24.052235325471383 |
| BASE/checkersTorusNoKings/pwb6oQ | 28.968387677053826 | 681.7 | 23.532548915036166 |
| BASE/copolymer_4/2LDVhQ | 29.22449773539929 | 1634.1333333333334 | 55.91655836582358 |
| BASE/chineseCheckers3/-1rZdQ | 31.356824154804272 | 2348.9666666666667 | 74.91086007531074 |
| BASE/skirmishNew/sibw2g | 31.76665953784977 | 170.02766574447517 | 5.352393617021277 |
| BASE/speedChess/bPnisA | 31.862965027481795 | 158.17890947873616 | 4.964349970013993 |
| BASE/chineseCheckers6/rREH3A | 32.20376884272997 | 1446.7333333333333 | 44.924348463640605 |
| DRESDEN/Goldrush/VeWczQ | 33.050664769230764 | 1432.1 | 43.3304446370242 |
| BASE/wallmaze/uxNQ9g | 34.67182001836547 | 838.6666666666666 | 24.1887119344306 |
| BASE/queens06ug/7Lq3tw | 34.994976776556776 | 2653.1666666666665 | 75.81564301662945 |
| DRESDEN/gt_prisoner/huCp4w | 35.31262999501744 | 7086.3 | 200.67324356752434 |
| DRESDEN/knightthrough/J7Fc_Q | 37.67281777777778 | 1261.3666666666666 | 33.482142857142854 |
| BASE/ttcc4_2player/_aH_Mw | 38.24301309697444 | 786.9404353188227 | 20.577364898611528 |
| BASE/ruleDepthLinear/OUBJpQ | 39.41782684580103 | 32371.233333333334 | 821.2333333333333 |
| DRESDEN/pacman3p/rBnk8Q | 40.13182176966292 | 952.3666666666667 | 23.730960237309603 |
| BASE/sheepAndWolf/g4THrg | 40.70748801560758 | 810.1666666666666 | 19.902153293174027 |
| BASE/amazons_8x8/7SOsIw | 41.35590398160438 | 391.0202993233559 | 9.455005493225022 |
| BASE/roshambo2/KNPokQ | 42.67313417892419 | 13344.866666666667 | 312.72290923635876 |
| DRESDEN/roshambo2/jgSlkQ | 42.76865125039238 | 13624.666666666666 | 318.56666666666666 |
| BASE/pacman2p/4LEdQg | 43.14087715472482 | 921.4333333333333 | 21.358706500765187 |
| STANFORD/platformjumpers/HEQskA | 43.23538555235386 | 236.37636236376363 | 5.467196819085487 |
| BASE/pacman3p/wW7UVQ | 43.45021310156955 | 923.3025565814473 | 21.24966693312017 |
| DRESDEN/bomberman2p/x4h6jQ | 44.13911866666667 | 1250.0666666666666 | 28.32106087362143 |
| STANFORD/ttcc4/Cx9SGw | 44.16198205928237 | 943.5 | 21.364530213645303 |
| BASE/gt_coordination/IVMOzA | 44.27810470280862 | 9037.733333333334 | 204.11292204112922 |
| BASE/queens08ug/kJ_ZFQ | 44.38853698384201 | 1647.8 | 37.122196674331036 |
| DRESDEN/gt_chicken/CeuKtw | 44.80208335721597 | 7294.3 | 162.8116251166511 |
| STANFORD/knightstourmedium/x1wu8Q | 45.856207111665626 | 14701.5 | 320.6 |
| BASE/bomberman2p/4CClwA | 47.73277909738717 | 1339.7 | 28.066666666666666 |
| BASE/ttcc4_2player_alt/ZEJvYA | 49.841034782608695 | 955.0 | 19.160918391149323 |
| BASE/knightsTour/mvtVIg | 50.30564916522741 | 13592.133333333333 | 270.19099363354553 |
| STANFORD/knightstour/cEwgNA | 51.743979119705784 | 14538.333333333334 | 280.96666666666664 |
| BASE/2pttc/unkkYA | 51.947480694143174 | 1596.2 | 30.72718789575418 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 52.34701043110084 | 1511.0333333333333 | 28.86570447651745 |
| BASE/gt_prisoner/klthDw | 53.72571453122715 | 8161.366666666667 | 151.9080153307782 |
| BASE/mummyMaze2p_2007/YGA3Vw | 54.60356592510196 | 1635.0333333333333 | 29.94370982246944 |
| BASE/gt_staghunt/xPjLRA | 54.94161717301384 | 8559.333333333334 | 155.78961402573162 |
| BASE/knightwar/DVGY4Q | 55.69138836879433 | 1744.0666666666666 | 31.316631130063964 |
| BASE/kitten_escapes_from_fire/uW-YiA | 59.6902101417507 | 4536.933333333333 | 76.00799733422193 |
| BASE/queens12ug/u6Bkmg | 59.77328140703518 | 792.2 | 13.253413253413253 |
| BASE/gt_chicken/gmepTQ | 59.914352586358056 | 7592.133333333333 | 126.71643780829223 |
| BASE/3pttc/0sol9g | 62.37435770609319 | 1353.4333333333334 | 21.698553429771348 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 63.45288003449764 | 4903.6 | 77.2793921620901 |
| DRESDEN/Runners/3bOCQw | 64.14049011417433 | 15355.233333333334 | 239.4 |
| BASE/queens16ug/gT-ylw | 66.15345820130953 | 436.85210492983566 | 6.603617056578729 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 67.75050547263682 | 150.56666666666666 | 2.222369643094069 |
| DRESDEN/connect5/1kYzSg | 69.59490593932209 | 464.98916847192135 | 6.681367870190567 |
| BASE/4pttc/AL1k2Q | 72.29344579439253 | 1029.5333333333333 | 14.241032807612964 |
| DRESDEN/smallest/9kaGFw | 72.73804902897167 | 2536.866666666667 | 34.87674883411059 |
| BASE/mummymaze2p/vpjDdA | 75.51372417582418 | 1143.5 | 15.142942723067195 |
| DRESDEN/ghostmaze2p/HY0UwA | 75.65042170854272 | 2507.0666666666666 | 33.14015454303224 |
| DRESDEN/mummymaze2p/k-8edg | 76.15642964601771 | 1145.4 | 15.040095830699098 |
| BASE/amazonsSuicide_10x10/XIbQkg | 77.1943053917952 | 298.10704525761514 | 3.8617750848924697 |
| DRESDEN/snake_2008/E56l3A | 79.2324148148148 | 403.46666666666664 | 5.092191972309126 |
| BASE/amazons_10x10/Bun8dA | 81.63614784269096 | 302.75657478084065 | 3.7086092715231787 |
| BASE/snake_2008/i6K26g | 83.05486966223933 | 419.55268157728074 | 5.051512130275839 |
| BASE/snake_2008_tweaked/bX0NJQ | 84.87481359649122 | 428.3333333333333 | 5.0466482950961185 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 85.24226097023154 | 2576.9 | 30.230310302303103 |
| BASE/ghostMaze2p/W-NU-w | 85.94145679287305 | 2571.4 | 29.920367840602406 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 90.50109988262912 | 2568.4333333333334 | 28.380133906265613 |
| BASE/battle/8oAvhQ | 94.68103394650316 | 91.20901093041856 | 0.9633292659430993 |
| BASE/knightThrough/gcwFjA | 95.73127809798272 | 1105.6333333333334 | 11.549342652687635 |
| DRESDEN/battle/8oAvhQ | 95.76028000000001 | 92.4 | 0.9649094593290662 |
| BASE/smallest_4player/ADDROA | 105.52167404674047 | 3811.8333333333335 | 36.123700346574246 |
| DRESDEN/smallest_4player/ADDROA | 106.56377676120769 | 3880.5333333333333 | 36.41512577044811 |
| BASE/checkers-mustjump-torus/uSApKQ | 120.15652441352395 | 175.52163189120725 | 1.4607748746721556 |
| BASE/knightsTourLarge/M8jgLA | 129.94798997367036 | 13699.466666666667 | 105.42269002731331 |
| BASE/amazonsTorus_10x10/Uxc08g | 130.6857046409672 | 204.68635424305046 | 1.5662490002665956 |
| BASE/kalaha5x2x3/WviNsw | 148.28269696969696 | 2443.0 | 16.475287069395907 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 148.96444163028627 | 191.05542040190622 | 1.282557221783741 |
| DRESDEN/four_way_battle/xSOQXA | 151.578990887787 | 260.3159789347377 | 1.7173618679612932 |
| BASE/four_way_battle/xSOQXA | 152.39399720158704 | 257.50758257507584 | 1.6897488569345969 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 153.9035285660623 | 189.8143518981435 | 1.2333333333333334 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 160.193182320442 | 965.5333333333333 | 6.027306027306027 |
| STANFORD/knightstourbig/TQUI2g | 173.2232542757417 | 13232.933333333332 | 76.3923607639236 |
| BASE/checkers-mustjump/T-8UuQ | 179.20526228070176 | 225.76666666666668 | 1.2598216357789345 |
| BASE/wargame02/BkVqqQ | 201.1291987236789 | 439.4520182660578 | 2.1849240242327936 |
| DRESDEN/nim4/F5YAYg | 237.1705958781362 | 7346.166666666667 | 30.97418817651957 |
| BASE/nim4/twk16w | 241.97652703862659 | 7515.4 | 31.05838443081845 |
| BASE/knightfight/SJRkAg | 242.0035752539243 | 2911.3333333333335 | 12.030125299920021 |
| DRESDEN/knightfight/4_Ly4w | 244.8352648 | 3058.3 | 12.4912561207155 |
| BASE/nim3/1OwUqw | 246.88554324324323 | 7608.5 | 30.81792437114776 |
| DRESDEN/nim3/sG_axA | 247.49624174653889 | 7739.666666666667 | 31.27185533020282 |
| BASE/nim2/eF2Qqw | 285.0287021881838 | 8677.8 | 30.44535491822391 |
| BASE/crossers3/O0rORg | 286.5389166666667 | 948.3333333333334 | 3.3096144299189145 |
| DRESDEN/nim2/z5_exA | 289.22167624309395 | 8723.4 | 30.161639726712213 |
| DRESDEN/crossers3/xiPTxg | 297.5723380952381 | 969.0333333333333 | 3.256463082341995 |
| BASE/wargame03/klXI8w | 312.1538476190476 | 646.6 | 2.0714144801736043 |
| BASE/guess/SPpk1A | 318.7535480519481 | 816.8 | 2.5624812805750605 |
| DRESDEN/guess/PhxGhg | 319.58800482456144 | 801.6333333333333 | 2.508333608369913 |
| DRESDEN/nim1/M9BALA | 332.29955911730553 | 9525.566666666668 | 28.66560127846584 |
| BASE/nim1/hin2Qw | 332.47421574500765 | 9619.266666666666 | 28.932368921035966 |
| DRESDEN/small_dominion/yB5GJA | 339.1067640656582 | 132.57146664889717 | 0.3909431503502199 |
| BASE/quarto/EwBMVQ | 340.1342336 | 1408.4 | 4.140718166158739 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 341.58304723175894 | 190.96030132328923 | 0.5590450195665757 |
| DRESDEN/battlebrushes/QHXV4A | 341.7227870182105 | 92.19692676910769 | 0.2698003477426704 |
| DRESDEN/quartosuicide/WIU1oQ | 341.89270080000006 | 1415.4 | 4.139895343445717 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 345.46024451641745 | 193.7075056659112 | 0.5607230028365987 |
| DRESDEN/quarto/OQzRYQ | 346.20599344262297 | 1403.6 | 4.054233683370995 |
| DRESDEN/hanoi/RQ0jiA | 347.13858267716535 | 7347.766666666666 | 21.166666666666668 |
| DRESDEN/gt_ultimatum/pAiiQw | 348.3873026986507 | 7737.3 | 22.208903539439948 |
| BASE/quartoSuicide/-23jUg | 361.6962475 | 1436.3 | 3.9710116152089743 |
| BASE/hanoi/iGLsJg | 362.52963428571434 | 7611.6 | 20.995800839832032 |
| BASE/skirmishZeroSum/zh4hcw | 363.724056165812 | 164.650201646502 | 0.4526788889966696 |
| BASE/gt_ultimatum/GE-uOA | 387.00548230647706 | 8163.366666666667 | 21.093671898430472 |
| BASE/wargame01/_GZFZg | 392.7230686868687 | 853.6333333333333 | 2.1736266631537347 |
| BASE/checkers/rOC3Xg | 424.9133260869565 | 320.5 | 0.7542714721411472 |
| BASE/hitori/S8Gsyg | 432.363 | 115.06666666666666 | 0.2661343978709248 |
| DRESDEN/hitori/S8Gsyg | 436.8684811790627 | 120.21329778370271 | 0.27517045280826735 |
| BASE/kalaha6x2x4/XS81Mg | 493.0533535714286 | 2293.5 | 4.651626407947636 |
| BASE/checkers-newgoals/0XkFiA | 526.3765112591485 | 232.79224025865804 | 0.4422542330048016 |
| BASE/checkersSmall/SYmq8w | 538.552168744306 | 425.0049996666889 | 0.7891621728265158 |
| BASE/knightmove/jBaJEw | 667.8060109704642 | 1751.4333333333334 | 2.6226678175419957 |
| DRESDEN/knightmove/97Ipcw | 670.3799573839663 | 1745.0333333333333 | 2.603051171373027 |
| BASE/checkersTiny/Lr48cg | 760.8914065183334 | 581.5472817572747 | 0.7642973448974845 |
| BASE/cylinder-checkers/hlldmw | 781.7070333333334 | 219.3 | 0.2805398834200929 |
| DRESDEN/cylinder-checkers/clOO3Q | 782.5580144869573 | 219.73736835088656 | 0.28079371022089106 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 862.6396099567676 | 186.44180775896547 | 0.2161294306533284 |
| DRESDEN/checkers-newgoals/IJOqXQ | 865.3575391270211 | 242.050529964669 | 0.2797115862754848 |
| DRESDEN/checkers-mustjump/HUr33w | 1043.6372099002922 | 239.4840343977068 | 0.22947057859367317 |
| BASE/max_knights/2fq3Ag | 1095.5310606060607 | 1197.5 | 1.093077177873468 |
| DRESDEN/max_knights/hCipiA | 1135.0904885714285 | 1316.7666666666667 | 1.1600543568327202 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 1205.2352055555555 | 459.6333333333333 | 0.3813640119494057 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 1295.6241705098448 | 474.63502433171124 | 0.36633696339960703 |
| DRESDEN/satlike_20v_91c/yeuENQ | 1360.805624778579 | 497.6184924890917 | 0.36567933246900036 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 1460.5836498101141 | 476.38083816376843 | 0.32615786040443573 |
| DRESDEN/pancakes88/aD3E7g | 1681.1319114754099 | 17074.433333333334 | 10.156510156510157 |
| BASE/blobwars/0XT15Q | 2041.9165111318491 | 297.1270497267031 | 0.1455138092604988 |
| DRESDEN/blobwars/ZaMluQ | 2066.551723218452 | 292.5138324111726 | 0.1415468236892764 |
| DRESDEN/pancakes6/SZXMyQ | 2114.644014898178 | 21890.433333333334 | 10.35182904503545 |
| DRESDEN/pancakes/hl9aiQ | 2176.9403909967846 | 22527.066666666666 | 10.348040194316896 |
| BASE/pancakes/yUgbXw | 2367.556244604317 | 21873.733333333334 | 9.23894981721502 |
| BASE/pancakes6/QZTdnw | 2411.5772749391726 | 22006.666666666668 | 9.125424631985613 |
| BASE/hanoi_6_disks/MeubgQ | 2636.88066875 | 5620.1 | 2.131344078859731 |
| DRESDEN/hanoi_6_disks/MeubgQ | 2845.467 | 5913.0 | 2.0780420226275687 |
| DRESDEN/fizzbuzz/t1xHzQ | 2973.977145918367 | 19373.8 | 6.514441453119288 |
| BASE/racer4/0vs7Ww | 2992.2016222222223 | 863.6333333333333 | 0.28862805464691166 |
| DRESDEN/checkers/jIDMIg | 8490.556981433952 | 245.39182027265758 | 0.028901734104046242 |
| BASE/colonelBlotto/jip21A | 8558.897963636364 | 3124.1 | 0.3650119458455004 |
| BASE/gt_attrition/kD_SCA | 9402.770214285714 | 2158.366666666667 | 0.2295458271847844 |
| DRESDEN/merrills/aYEzwA | 10887.059000000001 | 205.3 | 0.018857250612860643 |
| BASE/merrills/pku8Tg | 11180.28164789014 | 200.9866008932738 | 0.0179768817300951 |
| BASE/colonelBlottoVariant/X-n-KQ | 13973.810957142858 | 6494.7 | 0.46477657526060684 |
| BASE/colonelBlottoVariant2/jruwGw | 14411.165866666666 | 6932.0 | 0.4810159055926116 |
| BASE/pancakes88/l2Xaig | 14887.953666666666 | 17653.7 | 1.1857707509881423 |
| BASE/gt_tinfoil/Q8DyKg | 20984.626833333332 | 10489.166666666666 | 0.49985004498650404 |
| DRESDEN/hanoi7/51zz5Q | 22770.908000000003 | 6346.8 | 0.2787240631774543 |
| BASE/hanoi7_bugfix/3gdnFw | 23229.123148148148 | 6584.633333333333 | 0.28346456692913385 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 24005.174277777776 | 6744.5 | 0.2809602597321512 |
| BASE/solitaireChineseCheckers/-ET6gw | 26580.5064 | 1713.6 | 0.06446829771459885 |
| DRESDEN/racer/vk_ZBA | 26649.76311111111 | 2203.0666666666666 | 0.08266740148801323 |
| BASE/racer/QQYQNw | 27450.116111111114 | 2182.3333333333335 | 0.07950178879024777 |
| BASE/ad_game_2x2/D0aWqg | 27651.58426666667 | 813.0666666666667 | 0.029403981299067895 |
| DRESDEN/kalaha_2009/gcC8uA | 49645.4847 | 2360.866666666667 | 0.047554509356349715 |
| BASE/kalaha_2009/dRiN3g | 52402.3852 | 2414.133333333333 | 0.04606914979384055 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 56830.18565000001 | 14686.7 | 0.2584313218762114 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 62743.1666 | 4823.8 | 0.07688167909587146 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 64471.4406 | 4975.8 | 0.07717835918808366 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 74490.67689999999 | 4233.266666666666 | 0.05682948313585088 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 111693.63053333334 | 5752.066666666667 | 0.051498609537542483 |
| BASE/twisty-passages/DiZmmg | 127615.02399999999 | 6747.833333333333 | 0.05287648054145516 |
| DRESDEN/twisty-passages/j7NPyg | 128469.53040000002 | 6771.533333333334 | 0.052709255745308874 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | Infinity | 2615.4 | 0.0 |
| DRESDEN/farmers/S_ASnw | Infinity | 1118.6666666666667 | 0.0 |
| BASE/amazonsSuicide/dE1QEQ | Infinity | 2.2145831956104978 | 0.0 |
| BASE/amazons/RKKZjw | Infinity | 2.3242686854600394 | 0.0 |
| BASE/gt_two_thirds_2p/1APDGg | Infinity | 2510.8333333333335 | 0.0 |
| BASE/amazonsTorus/soxT8g | Infinity | 0.28061860813170364 | 0.0 |
Games with errors:
| Game | GGP_BASE_PROVER:2015-04-26 error message | REKKURA_GENERIC_FORWARD_PROVER_OSTD: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 | |
| BASE/ruleDepthExponential/UamhHQ | 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 |