Game-by-game performance:
| Game | Perf ratio | GGP_BASE_PROVER:2015-04-26 states per second | REKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per second |
| DRESDEN/quad_7x7/q-JOXg | 0.002562217276997147 | 1.6765736930345985 | 654.3448551714943 |
| BASE/quad_7x7/q-JOXg | 0.006623240842709815 | 4.323728272539973 | 652.8115729475684 |
| DRESDEN/quad/JPe6fg | 0.0073482385956000155 | 1.332926050373497 | 181.39395353488217 |
| BASE/quad/tw-Ufg | 0.014041315507512434 | 2.5987359235137477 | 185.07780999033622 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 0.026607854223224585 | 12.290167865707435 | 461.9 |
| BASE/queens31lg/0gID-A | 0.08988903159102682 | 3.3606175550675452 | 37.386291693045884 |
| BASE/blokbox_simple/JBx4bg | 0.11516952465539376 | 0.8214330847971693 | 7.132382349020131 |
| BASE/sudokuGrade1/tDRNRw | 0.12650541780364183 | 24.388618644632505 | 192.78714752349845 |
| BASE/sudokuGrade4/DTy07w | 0.12857669559057905 | 24.2 | 188.21451188214513 |
| BASE/sudokuGrade6H/ieE_9A | 0.129941049162811 | 24.04262404262404 | 185.0271657611413 |
| BASE/sudokuGrade3/eI8dvg | 0.13282302728326564 | 25.111569972690337 | 189.06036465451152 |
| BASE/sudokuGrade5/BQfUQA | 0.13337077043942888 | 24.739453268071788 | 185.4938168727709 |
| STANFORD/sudoku/oJ1qyQ | 0.13413380390065888 | 24.952526901422527 | 186.02713242891903 |
| BASE/sudokuGrade2/u80Tfw | 0.1348664109495041 | 25.418929273411734 | 188.47487001733103 |
| BASE/sudokuGrade6E/ihYFZA | 0.1369356719663844 | 24.251307505246675 | 177.1 |
| STANFORD/duidoku/3SoMaA | 0.1480530656715318 | 23.961661341853034 | 161.84508732169044 |
| STANFORD/selectivesukoshi/3xmXYg | 0.18653152075597007 | 75.37487504165279 | 404.08653044898506 |
| DRESDEN/grid_game2/kypTYQ | 0.2150754631190714 | 360.4879837338755 | 1676.1 |
| BASE/coins/QnGtnQ | 0.2205364134690681 | 300.4 | 1362.1333333333334 |
| BASE/coins_atomic/AA3SSw | 0.23310655400334115 | 320.93333333333334 | 1376.7666666666667 |
| DRESDEN/coins/QwFP9w | 0.23669974104556063 | 307.73333333333335 | 1300.1 |
| BASE/othello-comp2007/86ZoMw | 0.2538313363762769 | 5.0930395126660235 | 20.064660200646603 |
| BASE/othelloSuicide/B442jg | 0.25501644139285157 | 5.001987544719756 | 19.614372772986112 |
| BASE/othelloHoles/c0qAzw | 0.3067474775335313 | 6.329952939616889 | 20.635713097021135 |
| BASE/alexChess/LNo83g | 0.30856146823882635 | 4.35737094199042 | 14.121565362198169 |
| BASE/snake2p/I3wWPQ | 0.3094628199438026 | 346.87687487500835 | 1120.9 |
| STANFORD/multiplesukoshi/vLSQPg | 0.324303737563762 | 123.35021997067058 | 380.3539882003933 |
| BASE/futoshiki6/JmvXNA | 0.37556838556911304 | 207.41950536630893 | 552.2815906136462 |
| BASE/withConviction/3Xm54A | 0.39385444723461827 | 603.2931137924138 | 1531.7666666666667 |
| BASE/quad_5x5/JAEP5g | 0.3941133930911569 | 83.53333333333333 | 211.95253649756683 |
| BASE/cubicup_3player/e2yA_g | 0.39582473801468765 | 159.89467017766074 | 403.953201559948 |
| BASE/majorities/ibJzSQ | 0.40108485767995294 | 162.06758648270346 | 404.0730617958803 |
| BASE/ticTacHeavenFC/mrletw | 0.4032943375476519 | 230.46927076389815 | 571.4666666666667 |
| BASE/futoshiki5/TJ4BZg | 0.40577779627856636 | 324.93333333333334 | 800.7666666666667 |
| BASE/ticTacHeaven/18n58A | 0.41132427738461635 | 255.81627891473903 | 621.9333333333333 |
| DRESDEN/cubicup_3player/awDtsQ | 0.4210829971262309 | 167.62755357083347 | 398.0867304423186 |
| DRESDEN/slidingpieces/s9_44g | 0.4231701808452505 | 343.9104059729351 | 812.7 |
| DRESDEN/quad_5x5/JAEP5g | 0.42828548955802426 | 90.37347713201518 | 211.0122321101223 |
| DRESDEN/lightsout/XgLpzQ | 0.4378969823350351 | 1217.9666666666667 | 2781.4 |
| BASE/blocksWorldParallel/RseaAQ | 0.4419067098460315 | 777.8 | 1760.1 |
| BASE/conn4/va9Y7A | 0.4422238967329385 | 574.7141761941268 | 1299.6 |
| STANFORD/duikoshi/tpw1sw | 0.44392204628501825 | 607.4333333333333 | 1368.3333333333333 |
| BASE/qyshinsu/R08Lzw | 0.4606521347808557 | 96.92687154189721 | 210.4122921041229 |
| BASE/slidingpieces/uFJWEw | 0.46420110668192516 | 370.7419505366309 | 798.6666666666666 |
| DRESDEN/lightsout2/LFtfyQ | 0.48429027203138564 | 1431.9333333333334 | 2956.766666666667 |
| BASE/futoshiki4/BaCwSw | 0.494309641400043 | 690.6 | 1397.1 |
| BASE/lightsOut/5P1ZBw | 0.49781370080826814 | 1127.1 | 2264.1 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 0.503692073062342 | 385.3076461569229 | 764.9666666666667 |
| BASE/battlebrushes/arCwyA | 0.5180771218808252 | 66.92441007865618 | 129.17847025495752 |
| BASE/zhadu/DlA8iQ | 0.5577437355837496 | 21.967780588470244 | 39.386871042985675 |
| STANFORD/triplesukoshi/Iu9mbA | 0.5954541948422595 | 771.9666666666667 | 1296.4333333333334 |
| BASE/queens08lg/Ru7eqQ | 0.6115459930310135 | 348.25505816472787 | 569.4666666666667 |
| DRESDEN/CephalopodMicro/H3XQfg | 0.6128395274151819 | 51.44608823137412 | 83.94707901489653 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 0.6139359698681732 | 184.72101859876008 | 300.8799413372442 |
| DRESDEN/pawn_whopping/4ogBkg | 0.6174920608896243 | 675.5774807506416 | 1094.0666666666666 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.618868633715467 | 658.6 | 1064.2 |
| DRESDEN/bunk_t/7-tPfA | 0.6297192970575288 | 1239.8333333333333 | 1968.8666666666666 |
| BASE/breakthroughSmallHoles/bxclRw | 0.6338006843714986 | 697.6666666666666 | 1100.7666666666667 |
| DRESDEN/golden_rectangle/1uloXw | 0.6436485050842312 | 282.72390920302655 | 439.25202493250225 |
| DRESDEN/doubletictactoe/lJzgmQ | 0.6600828234973329 | 1291.1 | 1955.9666666666667 |
| BASE/doubletictactoe/HH1htg | 0.6655624707220772 | 1326.0666666666666 | 1992.4 |
| BASE/bunk_t/xbpfIA | 0.6683665504501223 | 1284.4 | 1921.7 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 0.6691851851851852 | 150.56666666666666 | 225.0 |
| BASE/cephalopodMicro/9l2D3g | 0.6695539194456476 | 51.50414764966519 | 76.92307692307692 |
| STANFORD/nineboardtictactoe/y28P-A | 0.6787497631251073 | 422.83847743483767 | 622.9666666666667 |
| BASE/doubletoetictac/fu35bg | 0.6817220464595969 | 1300.0666666666666 | 1907.0333333333333 |
| BASE/golden_rectangle/_nYzfw | 0.6856816450875857 | 300.1 | 437.6666666666667 |
| STANFORD/sukoshi/4LYZZQ | 0.6903427037271004 | 1748.5 | 2532.8 |
| BASE/tictactoex9/BI26ow | 0.7124554590223005 | 593.1666666666666 | 832.5666666666667 |
| BASE/nineBoardTicTacToe/wRmqqA | 0.7139111986516257 | 437.38959437389593 | 612.6666666666666 |
| DRESDEN/doubletoetictac/V89gKQ | 0.721663189379812 | 1302.8666666666666 | 1805.3666666666666 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 0.7235104552833709 | 995.3333333333334 | 1375.7 |
| DRESDEN/tictactoex9/rFkD4w | 0.7386992810511527 | 595.9333333333333 | 806.7333333333333 |
| DRESDEN/tictactoelarge/IwXcbg | 0.7426457728496975 | 1415.4333333333334 | 1905.9333333333334 |
| BASE/snake_2009_big/-oRfVw | 0.743739237259959 | 287.3808412772482 | 386.4 |
| DRESDEN/cubicup/SBn_lw | 0.7597978170097429 | 345.73333333333335 | 455.03333333333336 |
| BASE/cubicup/4wNWJA | 0.7623393691588786 | 348.02173260891306 | 456.5181160627979 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 0.7685705469311812 | 1506.1164627845737 | 1959.6333333333334 |
| BASE/dotsAndBoxes/EHwA_w | 0.7770903160858853 | 613.2333333333333 | 789.1403619879337 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 0.779764723015255 | 600.8666666666667 | 770.5743141895271 |
| BASE/snakeAssemblit/UO4sdg | 0.7866592764958095 | 405.6666666666667 | 515.6828105729809 |
| DRESDEN/snake_2009_big/DgC1NQ | 0.7923839332290037 | 303.8 | 383.4 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 0.8006841288369444 | 615.7794740175327 | 769.0666666666667 |
| BASE/sum15/QZ07Kg | 0.8037344777209642 | 4107.833333333333 | 5110.933333333333 |
| DRESDEN/connect4/T0-rHQ | 0.8053240899198895 | 455.51814939502015 | 565.6333333333333 |
| STANFORD/multipletictactoe/_bkafQ | 0.8121542399471554 | 655.7114762841238 | 807.3730875637478 |
| BASE/reversiSuicide/9OxJlg | 0.8151596981829822 | 29.832856096424052 | 36.597560162655824 |
| BASE/3pConnectFour/PqXOFQ | 0.8160526315789475 | 620.2 | 760.0 |
| BASE/connect4/50bOyw | 0.8236469306211406 | 453.5 | 550.6 |
| BASE/reversi/d8UMeA | 0.8312858761483909 | 30.55953610824141 | 36.76176509798694 |
| DRESDEN/sum15/CsgWKg | 0.8345218024495364 | 4240.4 | 5081.233333333334 |
| BASE/ticTacToeLarge/TZC0dg | 0.834907066891959 | 1400.0 | 1676.8333333333333 |
| BASE/ticTacToeLargeSuicide/727_8g | 0.8419890174464549 | 1385.1 | 1645.0333333333333 |
| BASE/pawnWhopping/Ypc_6Q | 0.8449738623703832 | 657.3333333333334 | 777.9333333333333 |
| BASE/eotcitcit/V_9_bg | 0.8498445896112107 | 2150.9 | 2530.9333333333334 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 0.8507427457486154 | 175.65495633624425 | 206.47247033728837 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 0.8591070600957824 | 3892.7 | 4531.1 |
| BASE/minichess-evilconjuncts/4OpQzw | 0.8618186333384783 | 181.02729909003034 | 210.05266315578962 |
| BASE/snake_2009/7l-qAQ | 0.8756236010989057 | 413.5724285047663 | 472.3175894136862 |
| DRESDEN/tictictoe/LAUtwg | 0.8758926821071499 | 2085.0333333333333 | 2380.4666666666667 |
| BASE/tictactoe_orthogonal/WRzlVw | 0.8820671704698384 | 3976.3 | 4507.933333333333 |
| DRESDEN/snake_2009/zIYLVw | 0.8909269871717225 | 412.1725218318779 | 462.6333333333333 |
| BASE/hidato19/rRHSmA | 0.8941692663557528 | 530.4333333333333 | 593.213559548015 |
| STANFORD/tictictoe/rpt_Dw | 0.9146847076080287 | 2037.0333333333333 | 2227.0333333333333 |
| DRESDEN/blocker/S815zQ | 0.9165003930104602 | 3536.866666666667 | 3859.1 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 0.9433563018826977 | 579.5666666666667 | 614.3666666666667 |
| DRESDEN/peg/Vo31eg | 0.9465607753398844 | 703.2 | 742.9 |
| DRESDEN/stratego/Z2wovg | 0.953262264337183 | 643.8118729375688 | 675.3774874170861 |
| DRESDEN/chickentictactoe/Ipbo-g | 0.9572480809335759 | 2876.4666666666667 | 3004.9333333333334 |
| DRESDEN/latenttictactoe/kITHKg | 0.9593180867128795 | 1757.5666666666666 | 1832.1 |
| DRESDEN/javastrike/whONTQ | 0.9646593031465207 | 269.04873008466103 | 278.9054427890544 |
| DRESDEN/eotcatcit/mQUxzA | 0.9671936370777692 | 3283.3 | 3394.6666666666665 |
| DRESDEN/peg_bugfixed/u_B7MA | 0.9779805945682513 | 735.8 | 752.3666666666667 |
| DRESDEN/backgammon/mqCW0Q | 0.9843463240850697 | 303.9130724618359 | 308.74608359442703 |
| BASE/ticTicToe/c1OobQ | 0.9863450229378982 | 2135.7 | 2165.266666666667 |
| BASE/tictactoe_3d_small_6player/g_9lww | 0.9934158694428811 | 588.4333333333333 | 592.3333333333334 |
| DRESDEN/tictactoe/BTTzPw | 0.9948289385766993 | 3424.4333333333334 | 3442.233333333333 |
| DRESDEN/tictactoe_3player/ESLQQQ | 1.0033995515107645 | 964.8690087327511 | 961.6 |
| BASE/connectFourSimultaneous/7ITr3g | 1.0099450198925106 | 482.3 | 477.5507483083897 |
| BASE/tictactoe_3d_small_2player/oOryKA | 1.0259517739980777 | 818.3333333333334 | 797.6333333333333 |
| BASE/eotcatcit/AfZSzA | 1.0301872138652715 | 3360.3333333333335 | 3261.866666666667 |
| BASE/numbertictactoe/rvJ-iQ | 1.033141697666554 | 2138.5 | 2069.9 |
| DRESDEN/chickentoetictac/cxYaRQ | 1.033408717105263 | 4021.2 | 3891.2 |
| BASE/ticTacToeSerial/Amrwqw | 1.0378418771484081 | 1157.3666666666666 | 1115.1666666666667 |
| DRESDEN/mimikry/GJEhwA | 1.0410418354793736 | 846.2 | 812.8395720142662 |
| BASE/tictactoe2/bhrDoQ | 1.042447039744124 | 3085.4 | 2959.766666666667 |
| BASE/toetictac/mTThmg | 1.0453360444428306 | 4798.266666666666 | 4590.166666666667 |
| DRESDEN/tpeg/h-Scbg | 1.0515733477594447 | 777.5333333333333 | 739.4 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 1.0599355047504566 | 6113.566666666667 | 5767.866666666667 |
| DRESDEN/tictactoe-init1/3ltIBQ | 1.063581386607113 | 3206.733333333333 | 3015.0333333333333 |
| BASE/simultaneousWin2/PfjRjw | 1.0679064894243993 | 1087.2 | 1018.0666666666667 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 1.0689742294087923 | 846.2 | 791.6 |
| DRESDEN/toetictac/mJtxCA | 1.0690709496795108 | 4836.833333333333 | 4524.333333333333 |
| BASE/tictactoe-init1/7M19vA | 1.083119914783673 | 3186.0333333333333 | 2941.5333333333333 |
| BASE/tpeg/QNs7Lw | 1.0854693016644505 | 789.1 | 726.9666666666667 |
| BASE/chickentoetictac/l57rfQ | 1.0909223072647198 | 4252.233333333334 | 3897.8333333333335 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 1.091241716347261 | 1421.6333333333334 | 1302.7666666666667 |
| BASE/double_tictactoe_dengji/zgaSbA | 1.1026098026734563 | 1443.5 | 1309.1666666666667 |
| DRESDEN/blocksworldparallel/2JfVaw | 1.104335922007139 | 2877.2 | 2605.366666666667 |
| BASE/tictactoe_3player/GtM71g | 1.1052653599141051 | 943.6018799373354 | 853.7333333333333 |
| DRESDEN/pentago_2008/hLjVpQ | 1.1061705214645388 | 432.03333333333336 | 390.56666666666666 |
| BASE/chickentictactoe/DSlZCA | 1.1081931715177762 | 2934.2 | 2647.733333333333 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 1.1302085043932508 | 14.474910155730068 | 12.807291839925485 |
| DRESDEN/tictactoeparallel/yk_DSg | 1.1418443359876702 | 1481.7333333333333 | 1297.6666666666667 |
| STANFORD/tictactoe3/X7myng | 1.1600902847548136 | 2809.7 | 2421.9666666666667 |
| STANFORD/trifecta/ss1kyQ | 1.1636531744401069 | 3398.1 | 2920.2 |
| STANFORD/tictactoe7/-bE9-A | 1.1653650095870551 | 3322.5333333333333 | 2851.0666666666666 |
| BASE/factoringGeorgeForman/HGRorQ | 1.1691538344662664 | 5899.433333333333 | 5045.9 |
| BASE/wallmaze/uxNQ9g | 1.1707771056305256 | 838.6666666666666 | 716.3333333333334 |
| BASE/blocker/dIWtxg | 1.1748218164354556 | 3587.866666666667 | 3053.9666666666667 |
| DRESDEN/catcha_mouse/cHv4dw | 1.1806345945645838 | 1417.6666666666667 | 1200.7666666666667 |
| BASE/ticblock/T21C1g | 1.1810986227639704 | 1740.9 | 1473.9666666666667 |
| DRESDEN/brain_teaser_extended/ZDp94A | 1.1858630875265586 | 3813.9333333333334 | 3216.1666666666665 |
| BASE/ticTacToe/JRFsaQ | 1.1974552363406068 | 3466.4333333333334 | 2894.8333333333335 |
| STANFORD/tictactoe5/WFRReg | 1.2129338551356899 | 3151.0 | 2597.8333333333335 |
| DRESDEN/ticblock/Z2yNWQ | 1.2213098019644761 | 1794.6333333333334 | 1469.4333333333334 |
| DRESDEN/snake_2008/E56l3A | 1.222337365781413 | 403.46666666666664 | 330.07799480034663 |
| BASE/catcha_mouse/cHv4dw | 1.2309916996847616 | 1418.8 | 1152.5666666666666 |
| BASE/blocks/xIV5hQ | 1.2319175265768267 | 8428.533333333333 | 6841.8 |
| BASE/brain_teaser_extended/ZDp94A | 1.2330215202167358 | 4020.266666666667 | 3260.5 |
| DRESDEN/towerworld/HCX34w | 1.2383692574727776 | 40.38922953878966 | 32.61485158410234 |
| STANFORD/breakthrough/d5j0cQ | 1.244790702838743 | 1121.1 | 900.6333333333333 |
| BASE/blocksWorldSerial/Wyg96Q | 1.246959587619664 | 3725.3333333333335 | 2987.5333333333333 |
| BASE/snake_2008/i6K26g | 1.2633744855967077 | 419.55268157728074 | 332.0889303689877 |
| STANFORD/dualrainbow/G3OnRQ | 1.2742503283233622 | 4657.3 | 3654.9333333333334 |
| DRESDEN/blocks/vg0DRw | 1.2779253962625265 | 8769.166666666666 | 6862.033333333334 |
| BASE/snake_2008_tweaked/bX0NJQ | 1.2823071549745533 | 428.3333333333333 | 334.03333333333336 |
| STANFORD/tictactoe/ss1kyQ | 1.2850773850773851 | 3708.733333333333 | 2886.0 |
| BASE/blocksWorld/SEdXLQ | 1.2958951931376 | 8958.566666666668 | 6913.033333333334 |
| DRESDEN/sheep_and_wolf/enAIzQ | 1.3173831193022048 | 817.2333333333333 | 620.3459884670511 |
| DRESDEN/blockerparallel/dVQgSg | 1.3214982442450254 | 903.2 | 683.4666666666667 |
| BASE/lightsOnSimul4/9FeASw | 1.3317528104000502 | 1413.7 | 1061.5333333333333 |
| BASE/mineClearingSmall/frsbvw | 1.3448726322664923 | 343.1437904139724 | 255.14965668955404 |
| BASE/lightsOnParallel/SC6enA | 1.3483319054891298 | 3619.866666666667 | 2684.7 |
| BASE/ticTacToeParallel/ymRGPw | 1.3537436751425096 | 1409.0666666666666 | 1040.8666666666666 |
| STANFORD/dualhunter/1rPZjQ | 1.3556453867159781 | 2101.5666666666666 | 1550.2333333333333 |
| BASE/incredible/8Qh-6Q | 1.358669833729216 | 3317.6 | 2441.8 |
| DRESDEN/hallway/0H4l-Q | 1.4020123325946465 | 380.3873204226526 | 271.31524565028997 |
| BASE/blockerParallel/7-nDJA | 1.4021117528794385 | 914.3333333333334 | 652.111596280124 |
| DRESDEN/Zhadu/9zpQ5w | 1.4090838992539436 | 57.73202745019655 | 40.971320075946835 |
| BASE/hallway/ckCJOw | 1.4123163703703705 | 381.3 | 269.98200119992 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 1.4262456711157123 | 3857.5666666666666 | 2704.7 |
| DRESDEN/8puzzle/8fKC2w | 1.437207028441607 | 3331.733333333333 | 2318.2 |
| DRESDEN/chomp/-LcqYQ | 1.4399833763980991 | 2656.4333333333334 | 1844.7666666666667 |
| BASE/copolymer_4_pie/IN5_jA | 1.440851682867156 | 1452.6666666666667 | 1008.2 |
| BASE/chomp/-LcqYQ | 1.4519443848738294 | 2708.1666666666665 | 1865.2 |
| BASE/blocks2player/wnTLOQ | 1.4682020897496995 | 6880.533333333334 | 4686.366666666667 |
| BASE/racetrackcorridor/_RkdUg | 1.4797702121660676 | 1399.5666666666666 | 945.8 |
| DRESDEN/blocks2player/3ev8nQ | 1.4818388438612289 | 6911.0 | 4663.8 |
| STANFORD/hex/MTqWcw | 1.4852738071539893 | 192.54099453406212 | 129.63333333333333 |
| DRESDEN/connectfoursuicide/M9CNQg | 1.488703510601321 | 999.3666666666667 | 671.3 |
| BASE/lightsOnSimultaneous/_VN6lw | 1.4946785521339816 | 1844.4333333333334 | 1234.0 |
| BASE/nonogram_10x10_1/0Xc62g | 1.4967100213657338 | 37.63207893070231 | 25.143199680298387 |
| BASE/copolymer_4/2LDVhQ | 1.5006734419003307 | 1634.1333333333334 | 1088.9333333333334 |
| BASE/hexPie/48CH6Q | 1.502805267913242 | 194.90084985835693 | 129.69135390973935 |
| BASE/crisscross/ICagEg | 1.5059393560487653 | 1284.6666666666667 | 853.0666666666667 |
| BASE/skirmishHoles/AUCxCA | 1.5141861971788826 | 47.181127548980406 | 31.159396140900455 |
| BASE/blockerSerial/3eqDuw | 1.5153416773567245 | 1456.9 | 961.4333333333333 |
| BASE/lightsOn/MsXu3A | 1.5491719380781332 | 8122.566666666667 | 5243.166666666667 |
| DRESDEN/racetrackcorridor/O0DoTA | 1.5492804268590536 | 1374.3666666666666 | 887.1 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 1.5598204264870932 | 6717.366666666667 | 4306.5 |
| DRESDEN/crisscross/GsY16g | 1.5691093666515967 | 1272.6 | 811.0333333333333 |
| BASE/queens16ug/gT-ylw | 1.5734857903583948 | 436.85210492983566 | 277.6333333333333 |
| STANFORD/rainbow/_4qNSQ | 1.5989938788433127 | 9090.6 | 5685.2 |
| BASE/queens12ug/u6Bkmg | 1.6095619802248409 | 792.2 | 492.183593880204 |
| BASE/hex/T1MK8g | 1.610412864773326 | 206.2264591180294 | 128.05812945803612 |
| BASE/connectFour/WAIKTw | 1.6135346454569965 | 997.4333333333333 | 618.1666666666666 |
| DRESDEN/connectfour/5tc-Mg | 1.6148449039881831 | 1020.3666666666667 | 631.8666666666667 |
| BASE/strangeSkirmish/gc1zKA | 1.6191228816491166 | 42.07615684445481 | 25.987006496751626 |
| BASE/hodgepodge/9yjRkw | 1.645042326711927 | 5233.866666666667 | 3181.6 |
| BASE/ticTacToeNoVars/XT03NA | 1.6459642185158019 | 3440.8333333333335 | 2090.4666666666667 |
| BASE/connectFourSuicide/c8p9Kw | 1.6748796653374844 | 1022.0333333333333 | 610.2129929002367 |
| DRESDEN/battlesnakes1509/-qZrLw | 1.700415320719889 | 1228.2666666666667 | 722.3333333333334 |
| BASE/dualConnect4/WbCQkg | 1.7012982262935838 | 594.7342109648392 | 349.57669488700753 |
| BASE/tictactoe_3d_6player/d7KSwg | 1.7160009676658015 | 242.3 | 141.2003865764655 |
| DRESDEN/battlesnakes2011/93VtTw | 1.7219741264214354 | 1246.7666666666667 | 724.0333333333333 |
| BASE/coloredtrails/EZvr7g | 1.726263555279875 | 2690.266666666667 | 1558.4333333333334 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 1.7274534239876322 | 3650.1666666666665 | 2113.0333333333333 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 1.730942708508139 | 343.8 | 198.62009199386708 |
| DRESDEN/troublemaker01/C-lPWw | 1.7327011864577115 | 19540.133333333335 | 11277.266666666666 |
| BASE/circlesolitaire/azuQFQ | 1.7494909013896356 | 7159.266666666666 | 4092.2 |
| BASE/hidato37/pBrqxw | 1.7508923252334587 | 110.68524196773764 | 63.21647560650493 |
| DRESDEN/circlesolitaire/ruUilQ | 1.7562185811939353 | 7185.1 | 4091.233333333333 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 1.7780173636724736 | 1044.4666666666667 | 587.4333333333333 |
| STANFORD/connectfour/VMpZkQ | 1.7830896030024042 | 1013.5 | 568.3954403039797 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 1.7902951587397393 | 230.34363230343632 | 128.66237792073596 |
| BASE/queens08ug/kJ_ZFQ | 1.7923857868020303 | 1647.8 | 919.3333333333334 |
| BASE/troublemaker01/s3tlEQ | 1.8184478286892332 | 20052.266666666666 | 11027.133333333333 |
| DRESDEN/3pttc/uwYBZw | 1.8221601117987622 | 1521.2 | 834.8333333333334 |
| BASE/switches/tPUoCg | 1.8354073193145577 | 11317.733333333334 | 6166.333333333333 |
| BASE/snakeParallel/RCVNtw | 1.8451179443355776 | 4174.333333333333 | 2262.366666666667 |
| BASE/escortLatch/mX9BjQ | 1.8604066543438078 | 838.7333333333333 | 450.8333333333333 |
| DRESDEN/grid_game/U7_Yeg | 1.874147817518391 | 1067.1666666666667 | 569.4143528549048 |
| BASE/connectFour_9x6/B9TtMw | 1.8806985414350188 | 958.4666666666667 | 509.6333333333333 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 1.8857725650178483 | 986.1333333333333 | 522.9333333333333 |
| BASE/skirmish/Y_psYQ | 1.887946226880676 | 44.61251416005864 | 23.63018264231436 |
| STANFORD/hunter/14dD-g | 1.8913758068371984 | 4219.533333333334 | 2230.9333333333334 |
| BASE/stateSpaceSmall/Q7osKA | 1.8917882543267912 | 16527.166666666668 | 8736.266666666666 |
| DRESDEN/logistics/fPru1Q | 1.9031162755602506 | 1681.4666666666667 | 883.5333333333333 |
| BASE/eightPuzzle/vLrgFg | 1.914246327000793 | 3378.9 | 1765.1333333333334 |
| DRESDEN/troublemaker02/iZLVuA | 1.9143565045715327 | 17873.9 | 9336.766666666666 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 1.934337841835414 | 283.4905503149895 | 146.55689620691953 |
| STANFORD/eightpuzzle/W_aWbA | 1.9376026579065255 | 3460.3 | 1785.8666666666666 |
| BASE/pegEuro/5awwhg | 1.9405144694533762 | 603.4798840038666 | 310.9896336788774 |
| BASE/pentago/86NgKw | 1.9448762148752292 | 441.65194493516884 | 227.08486100926604 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 1.9453518854607785 | 964.7 | 495.9 |
| BASE/tictactoe_3d_2player/IUC1rQ | 1.9485873443756911 | 272.49700039994667 | 139.8433594400933 |
| DRESDEN/3pffa/0YrmQw | 1.9761847869374751 | 1654.0666666666666 | 837.0 |
| DRESDEN/statespacesmall/h-NqjA | 1.9798667139809938 | 16923.966666666667 | 8548.033333333333 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 1.9804432855280312 | 151.88987400839943 | 76.69488700753283 |
| STANFORD/8puzzle/jNiGtw | 1.9843134339454316 | 3558.8 | 1793.4666666666667 |
| BASE/troublemaker02/DI83KA | 1.993400015073375 | 18514.5 | 9287.9 |
| BASE/pentagoSuicide/SBgNhw | 2.026558687679459 | 463.4739718722922 | 228.7 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 2.03865219721329 | 1014.4333333333333 | 497.6 |
| DRESDEN/cube_2x2x2/fp-34Q | 2.044511107507702 | 2521.7 | 1233.4 |
| DRESDEN/bidding-tictactoe/yW5vTA | 2.047714677919569 | 2685.1 | 1311.2666666666667 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 2.126129523342899 | 1012.5 | 476.2174594180194 |
| DRESDEN/lightson2x2/gBHuig | 2.1332313341493268 | 5809.5 | 2723.3333333333335 |
| BASE/skirmishFinal2/gdB62Q | 2.145566916916074 | 63.63484924204565 | 29.65875766462277 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 2.149084745762712 | 1056.6333333333334 | 491.6666666666667 |
| BASE/skirmishFinal3/-Olhfw | 2.1914791285053394 | 69.62869142057197 | 31.772463864650636 |
| BASE/stateSpaceMedium/3bUoIw | 2.1968009071334222 | 12140.766666666666 | 5526.566666666667 |
| BASE/duplicateStateSmall/bCPAXw | 2.2004195935809934 | 13250.266666666666 | 6021.7 |
| BASE/tron_10x10/7ZTgDg | 2.2114019870682857 | 2804.5 | 1268.2 |
| DRESDEN/firefighter/WJmoPw | 2.244597640196208 | 6208.033333333334 | 2765.766666666667 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 2.250400055659918 | 1078.1666666666667 | 479.1 |
| BASE/queens06ug/7Lq3tw | 2.2605793808577106 | 2653.1666666666665 | 1173.6666666666667 |
| DRESDEN/statespacemedium/dVJZ_w | 2.2656941977131133 | 12073.733333333334 | 5328.933333333333 |
| BASE/connectFourLarge/aU644A | 2.2777264111643407 | 729.0 | 320.0559981333956 |
| DRESDEN/skirmishfinal/hzq8ww | 2.282201405152225 | 64.94069039051047 | 28.45528455284553 |
| BASE/biddingTicTacToe/8mESVw | 2.284669884551331 | 2697.9666666666667 | 1180.9 |
| BASE/stateSpaceLarge/0Ge_CQ | 2.289167606586962 | 8456.566666666668 | 3694.1666666666665 |
| BASE/onestep/xi53wA | 2.3321229461731083 | 34831.5 | 14935.533333333333 |
| STANFORD/bestbuttonsandlights/nm0wEA | 2.3344655398730665 | 11500.666666666666 | 4926.466666666666 |
| BASE/peg/fJHVWw | 2.345141193977591 | 744.1666666666666 | 317.3227559081364 |
| BASE/breakthroughSuicideSmall/XSbJog | 2.3765924296581433 | 864.3666666666667 | 363.7 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 2.3805885221915135 | 976.2 | 410.06666666666666 |
| BASE/firefighter/WJmoPw | 2.3826185671039353 | 6296.466666666666 | 2642.6666666666665 |
| DRESDEN/statespacelarge/8-y5HQ | 2.4114169215086645 | 8673.866666666667 | 3597.0 |
| BASE/skirmishFinal1/ecWTnQ | 2.4310276321394975 | 63.9786737754082 | 26.317542807648746 |
| BASE/breakthroughSmall/HJ0tIA | 2.445806148035295 | 856.1666666666666 | 350.0549981667278 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 2.44831740422456 | 1016.1333333333333 | 415.03333333333336 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 2.4532536649515015 | 9265.366666666667 | 3776.766666666667 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 2.4641037118655738 | 4770.833333333333 | 1936.1333333333334 |
| STANFORD/pentago/ZxzLmg | 2.4985813042420273 | 598.9133695543482 | 239.70137315024664 |
| BASE/roshambo2/KNPokQ | 2.5379797390675916 | 13344.866666666667 | 5258.066666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 2.5511713933415536 | 965.5333333333333 | 378.46666666666664 |
| DRESDEN/roshambo2/jgSlkQ | 2.565560702494382 | 13624.666666666666 | 5310.6 |
| BASE/englishDraughts/jFkQxg | 2.587628671601091 | 664.2 | 256.6828878074795 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 2.5929449957770268 | 6549.433333333333 | 2525.866666666667 |
| DRESDEN/crissrace/KWb9bw | 2.62934439178515 | 887.6666666666666 | 337.6 |
| STANFORD/pilgrimage/ObRZnQ | 2.6313970810394576 | 637.4120862637913 | 242.23333333333332 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 2.63612148417597 | 13624.266666666666 | 5168.3 |
| DRESDEN/capture_the_king/EQ229Q | 2.636428202479339 | 120.86776859504133 | 45.845272206303726 |
| DRESDEN/Goldrush/VeWczQ | 2.6418515710508514 | 1432.1 | 542.0819306023133 |
| DRESDEN/Thief_Police/CX18rA | 2.6453077494763866 | 6525.533333333334 | 2466.8333333333335 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 2.703580727454435 | 13706.433333333332 | 5069.733333333334 |
| BASE/gt_dollar/TGjqRw | 2.7072018169385563 | 7390.3 | 2729.866666666667 |
| BASE/4pffa/Q3ADlg | 2.710229269106156 | 1263.9666666666667 | 466.36890873941735 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 2.735659452670931 | 1040.6666666666667 | 380.40797280181323 |
| BASE/haystack/UkweGA | 2.7700423097432014 | 37056.333333333336 | 13377.533333333333 |
| STANFORD/threepuzzle/41ibjA | 2.789360131720888 | 9825.8 | 3522.6 |
| BASE/survival/YVIjJA | 2.792733251450815 | 28649.533333333333 | 10258.6 |
| DRESDEN/buttons/ADUaHw | 2.7939593670542346 | 22636.1 | 8101.8 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 2.8086880973066894 | 7004.4 | 2493.8333333333335 |
| STANFORD/3puzzle/41ibjA | 2.8125954978540357 | 9633.233333333334 | 3425.0333333333333 |
| BASE/buttons/hTcUjw | 2.8200570018717035 | 22097.966666666667 | 7836.0 |
| DRESDEN/catch_me/ghGWrA | 2.829312536412266 | 7122.7 | 2517.4666666666667 |
| BASE/crissrace/ERWGDA | 2.8306741063382397 | 942.3 | 332.8889037032099 |
| BASE/god/qF06gw | 2.8388931112645786 | 109.55571109555711 | 38.59099543439864 |
| BASE/maze/cCX3qQ | 2.843744473916888 | 17153.466666666667 | 6032.0 |
| BASE/pearls/6k_mEQ | 2.8599359642309077 | 25159.333333333332 | 8797.166666666666 |
| BASE/2pffa/6oHijA | 2.8644623713312667 | 1663.4333333333334 | 580.7139762007934 |
| BASE/3pffa/pR0dzA | 2.8709187340181166 | 1471.9666666666667 | 512.7162427919069 |
| DRESDEN/god/2EDD5w | 2.9593624056417407 | 108.68550859885349 | 36.72598813570619 |
| DRESDEN/knightwar/7hhAqg | 2.9817252885107726 | 1682.2333333333333 | 564.1811939602013 |
| DRESDEN/point_grab/r5DPmQ | 3.0398352845481216 | 13952.033333333333 | 4589.733333333334 |
| DRESDEN/amazons/dNB28A | 3.084470884830597 | 37.370103916866505 | 12.115563839701771 |
| DRESDEN/chinesecheckers4/-oVNYg | 3.0871483228664625 | 704.5666666666667 | 228.2257258091397 |
| BASE/2pffa_zerosum/o0_uZA | 3.1360413771106193 | 1747.8666666666666 | 557.3480883970534 |
| BASE/nonogram_5x5_1/qLKEZw | 3.1538594131336284 | 268.7243758541382 | 85.20493168943685 |
| DRESDEN/oisters_farm/pTQMLg | 3.1870246815658096 | 9107.666666666666 | 2857.733333333333 |
| DRESDEN/chinesecheckers1/Y-ftaA | 3.215175956577816 | 1994.2 | 620.2459918002734 |
| DRESDEN/guess/PhxGhg | 3.3915952098904714 | 801.6333333333333 | 236.35878804039865 |
| BASE/guess/SPpk1A | 3.405092455189662 | 816.8 | 239.8760123987601 |
| BASE/cittaceot/fDxhXg | 3.408322224784748 | 985.1666666666666 | 289.04739684021064 |
| DRESDEN/chinesecheckers3/QsCb2A | 3.4506035296188715 | 1306.7 | 378.68737708743043 |
| STANFORD/freeforall/Lfp40Q | 3.5137116053205713 | 1664.1 | 473.6017598826745 |
| BASE/untwistycomplex2/EDPPAQ | 3.5415851272015653 | 22682.2 | 6404.533333333334 |
| BASE/rubiksCube/9tNO9Q | 3.549992225159384 | 761.0 | 214.36666666666667 |
| BASE/checkLines/Vop7oQ | 3.650090597946447 | 1208.6666666666667 | 331.1333333333333 |
| BASE/chess_200/XsTpYA | 3.6704615598619403 | 45.024328467639805 | 12.266666666666667 |
| STANFORD/untwistycorridor/EDPPAQ | 3.680445225664109 | 23520.866666666665 | 6390.766666666666 |
| DRESDEN/babel/WdSW4A | 3.7480110656585026 | 307.87947470168655 | 82.14476139696082 |
| BASE/aipsrovers01/4C4jsw | 3.7546788782069513 | 4400.233333333334 | 1171.9333333333334 |
| STANFORD/buttonsandlights/eyhJpA | 3.7677267660700426 | 37069.53333333333 | 9838.7 |
| BASE/duplicateStateMedium/U163eQ | 3.7917577769619966 | 7918.833333333333 | 2088.4333333333334 |
| DRESDEN/breakthrough/z4hK7Q | 3.8361360043268427 | 512.1666666666666 | 133.51108148641893 |
| BASE/beatMania/qUHwvQ | 3.9081178148272038 | 7399.5 | 1893.3666666666666 |
| DRESDEN/aipsrovers01/qS47Mw | 3.9121903578087545 | 4406.3 | 1126.3 |
| DRESDEN/4pttc/9pB9AQ | 3.938432420396349 | 1179.1666666666667 | 299.4 |
| BASE/connectFourLarger/qKi60A | 3.9521742754724363 | 468.38438718709375 | 118.51309040037306 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 3.9538757219524663 | 515.7 | 130.42898570047666 |
| BASE/breakthrough/TGxk-g | 3.970866718493565 | 510.6666666666667 | 128.6033258906255 |
| STANFORD/alquerquezero/uVgA_A | 4.024162927166034 | 1165.8 | 289.7 |
| BASE/brawl/6Ymo_Q | 4.0817006434949725 | 160.4506216045062 | 39.309747484842426 |
| DRESDEN/brawl/2kXtfQ | 4.092827004219409 | 161.650501616505 | 39.496050394960506 |
| BASE/breakthroughSuicide/wZDpIg | 4.117840020186728 | 543.9666666666667 | 132.1 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 4.148844955457765 | 2576.9 | 621.1126295790141 |
| BASE/breakthroughWalls/vOZaYA | 4.189917938722465 | 519.1493616879437 | 123.90442230146299 |
| BASE/chineseCheckers4/avfBcQ | 4.197648828564992 | 1242.1 | 295.9037429590374 |
| DRESDEN/frogs_and_toads/GjchhQ | 4.198627438386856 | 936.9 | 223.14435223144352 |
| STANFORD/untwistycomplex/HTWEwg | 4.228066736616357 | 12223.2 | 2890.9666666666667 |
| BASE/asteroidsSerial/id2QkA | 4.250022387391421 | 3164.0 | 744.4666666666667 |
| BASE/point_grab/V_osUg | 4.298618976651763 | 14421.866666666667 | 3355.0 |
| DRESDEN/smallest/9kaGFw | 4.302834513040856 | 2536.866666666667 | 589.580347321756 |
| DRESDEN/hanoi/RQ0jiA | 4.404079757052664 | 7347.766666666666 | 1668.4 |
| BASE/checkersTiny/Lr48cg | 4.415696900207098 | 581.5472817572747 | 131.7 |
| BASE/asteroidsParallel/WauZiA | 4.425591857136365 | 3246.4666666666667 | 733.5666666666667 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 4.438792557174953 | 2568.4333333333334 | 578.6333333333333 |
| DRESDEN/chinesecheckers2/06E6-Q | 4.579832689244408 | 1469.4666666666667 | 320.85597146761774 |
| BASE/shmup/ssTNlg | 4.603788312431701 | 2949.0333333333333 | 640.5666666666667 |
| DRESDEN/knightmove/97Ipcw | 4.6265897902674675 | 1745.0333333333333 | 377.17485500966603 |
| BASE/chineseCheckers1/gqtwHw | 4.650491306152952 | 3733.6 | 802.8399053364888 |
| BASE/knightmove/jBaJEw | 4.671475056306306 | 1751.4333333333334 | 374.9208359721343 |
| BASE/hanoi/iGLsJg | 4.704229414309553 | 7611.6 | 1618.0333333333333 |
| BASE/pawnToQueen/-O1_JA | 4.73238741318967 | 23.452595109600907 | 4.955763985897692 |
| BASE/checkersSmall/SYmq8w | 4.743017863517169 | 425.0049996666889 | 89.60645139791396 |
| DRESDEN/pawntoqueen/f_x6Aw | 4.746318248322718 | 22.846866049423834 | 4.813597583242041 |
| STANFORD/skirmish/w4V6Vw | 5.021979475599319 | 41.001898544449254 | 8.164489469474807 |
| BASE/choicethroughalt/tt71Lg | 5.212811205073995 | 493.03333333333336 | 94.58108378324336 |
| BASE/knightazons/apnJBQ | 5.240226388380139 | 254.8496766882208 | 48.63333333333333 |
| BASE/checkers/rOC3Xg | 5.259073810825588 | 320.5 | 60.94228975076636 |
| BASE/smallest_4player/ADDROA | 5.294458076762813 | 3811.8333333333335 | 719.9666666666667 |
| BASE/nim3/1OwUqw | 5.375385629842451 | 7608.5 | 1415.4333333333334 |
| DRESDEN/smallest_4player/ADDROA | 5.3880631523734595 | 3880.5333333333333 | 720.2093263557881 |
| BASE/nim4/twk16w | 5.4171552138395 | 7515.4 | 1387.3333333333333 |
| DRESDEN/nim4/F5YAYg | 5.431948141575471 | 7346.166666666667 | 1352.4 |
| BASE/ttcc4_2player_small/Cv72TA | 5.461066830165542 | 1187.6 | 217.46666666666667 |
| BASE/gt_centipede/9fRMpw | 5.493631055545273 | 10882.7 | 1980.9666666666667 |
| DRESDEN/knightazons/02I8BQ | 5.5089156798221675 | 266.15779474017535 | 48.31400773024124 |
| DRESDEN/nim3/sG_axA | 5.51520190023753 | 7739.666666666667 | 1403.3333333333333 |
| BASE/kalaha5x2x3/WviNsw | 5.609159409198745 | 2443.0 | 435.5376308246117 |
| STANFORD/madness/UO_B3A | 5.689363079846747 | 43.352215928023995 | 7.61987156024357 |
| BASE/breakthroughHoles/nZk0Sg | 5.710283024373497 | 739.2666666666667 | 129.46235125495818 |
| DRESDEN/chinesecheckers6/yTbPDA | 5.779928326541174 | 992.6666666666666 | 171.74376749766697 |
| BASE/chineseCheckers2/eCMR3Q | 5.796406385678979 | 2892.6 | 499.03333333333336 |
| DRESDEN/minichess/c7GMFw | 5.886085992410494 | 1189.0666666666666 | 202.0131320201313 |
| BASE/chineseCheckers6/rREH3A | 5.98173190922455 | 1446.7333333333333 | 241.85860471317622 |
| BASE/nim2/eF2Qqw | 6.060339409176618 | 8677.8 | 1431.9 |
| DRESDEN/skirmish/RjGQYQ | 6.075286074939054 | 265.991133628879 | 43.78248700519792 |
| BASE/sheepAndWolf/g4THrg | 6.116615626572722 | 810.1666666666666 | 132.45342132453422 |
| DRESDEN/small_dominion/yB5GJA | 6.130562183461791 | 132.57146664889717 | 21.624683459949352 |
| DRESDEN/nim2/z5_exA | 6.170761612827163 | 8723.4 | 1413.6666666666667 |
| STANFORD/chinook/osFbPA | 6.331482613871627 | 562.6812439585348 | 88.87037654115295 |
| BASE/chinook/XQh0IQ | 6.35534478079332 | 608.7 | 95.77765188122771 |
| BASE/duplicateStateLarge/dcjyuw | 6.396042798759024 | 4764.466666666666 | 744.9085030498983 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 6.429393430831935 | 893.9 | 139.03333333333333 |
| BASE/asteroids/BKCmPQ | 6.4367497198954275 | 8042.933333333333 | 1249.5333333333333 |
| BASE/chineseCheckers3/-1rZdQ | 6.484894540044785 | 2348.9666666666667 | 362.22125929135694 |
| DRESDEN/skirmish2/iPpWhQ | 6.500635689612589 | 296.1234625512483 | 45.55300076643674 |
| DRESDEN/knightstour/cGISAA | 6.715075185100374 | 14662.366666666667 | 2183.5 |
| BASE/nim1/hin2Qw | 6.753364068240856 | 9619.266666666666 | 1424.3666666666666 |
| DRESDEN/nim1/M9BALA | 6.802680441820606 | 9525.566666666668 | 1400.2666666666667 |
| BASE/speedChess/bPnisA | 6.816217426390016 | 158.17890947873616 | 23.206259364075244 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 6.846471358756127 | 589.7803406553115 | 86.14369501466275 |
| BASE/kitten_escapes_from_fire/uW-YiA | 7.146515642829641 | 4536.933333333333 | 634.8455051498283 |
| BASE/skirmishNew/sibw2g | 7.1518779906216 | 170.02766574447517 | 23.77384876635701 |
| BASE/minichess/8NQEiA | 7.497546468401487 | 1680.7 | 224.16666666666666 |
| BASE/ttcc4/Le0qjQ | 7.510624176082862 | 708.7666666666667 | 94.36854381872709 |
| BASE/checkersBarrelNoKings/rnKNeg | 7.646894016773063 | 678.7666666666667 | 88.76370787640413 |
| DRESDEN/tttcc4/sAvtFg | 7.647863225963885 | 696.2333333333333 | 91.03632122625791 |
| DRESDEN/skirmish3/3LU8Nw | 7.660465703703704 | 459.56666666666666 | 59.992001066524466 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 7.676268002504697 | 4903.6 | 638.8 |
| BASE/2pttc/unkkYA | 7.7340427002583985 | 1596.2 | 206.38624091727218 |
| BASE/tttcc4/8Bs2lg | 7.734196091954023 | 710.2333333333333 | 91.83027232425586 |
| BASE/amazons_8x8/7SOsIw | 7.805056553559548 | 391.0202993233559 | 50.09833005566481 |
| BASE/skirmishZeroSum/zh4hcw | 7.9466222723922675 | 164.650201646502 | 20.71952031978681 |
| STANFORD/knightstourmedium/x1wu8Q | 8.077895199545779 | 14701.5 | 1819.9666666666667 |
| BASE/checkersTorusNoKings/pwb6oQ | 8.167604512779553 | 681.7 | 83.4638845371821 |
| BASE/ttcc4_2player/_aH_Mw | 8.41300161150073 | 786.9404353188227 | 93.53860508514113 |
| BASE/endgame/jYjfOA | 8.552303962380511 | 616.2333333333333 | 72.05465755707382 |
| BASE/checkersTorus/2vm1EQ | 8.659859456635319 | 552.3333333333334 | 63.78086574027792 |
| BASE/knightsTour/mvtVIg | 8.835622968580715 | 13592.133333333333 | 1538.3333333333333 |
| BASE/checkers-newgoals/0XkFiA | 8.932732421280758 | 232.79224025865804 | 26.060585863298563 |
| STANFORD/platformjumpers/HEQskA | 9.235606126887312 | 236.37636236376363 | 25.594028060119307 |
| BASE/kalaha6x2x4/XS81Mg | 9.359613778563656 | 2293.5 | 245.0421624504216 |
| STANFORD/knightstour/cEwgNA | 9.60555873673083 | 14538.333333333334 | 1513.5333333333333 |
| DRESDEN/bomberman2p/x4h6jQ | 9.747791164241164 | 1250.0666666666666 | 128.24101846297407 |
| BASE/3pttc/0sol9g | 9.812882278073143 | 1353.4333333333334 | 137.92413839077395 |
| DRESDEN/knightthrough/J7Fc_Q | 10.128399669966996 | 1261.3666666666666 | 124.53760789149199 |
| STANFORD/ttcc4/Cx9SGw | 10.15446951219512 | 943.5 | 92.91475038325669 |
| BASE/knightwar/DVGY4Q | 10.384101633922073 | 1744.0666666666666 | 167.95546963535764 |
| BASE/ttcc4_2player_alt/ZEJvYA | 10.517266055045873 | 955.0 | 90.80306564478506 |
| BASE/bomberman2p/4CClwA | 10.616750950871634 | 1339.7 | 126.18738126187381 |
| BASE/4pttc/AL1k2Q | 10.865324703951224 | 1029.5333333333333 | 94.75403279562725 |
| DRESDEN/gt_prisoner/huCp4w | 10.991990398635025 | 7086.3 | 644.6785107163095 |
| DRESDEN/endgame/IJhh3Q | 11.158547160929686 | 421.26666666666665 | 37.75282396454633 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 11.60755697119363 | 476.38083816376843 | 41.040577215860196 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 11.75888820526719 | 474.63502433171124 | 40.36393713813069 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 11.863603757062148 | 459.6333333333333 | 38.74314607479397 |
| BASE/gt_coordination/IVMOzA | 12.017197056998492 | 9037.733333333334 | 752.0666666666667 |
| DRESDEN/satlike_20v_91c/yeuENQ | 12.062031474794056 | 497.6184924890917 | 41.254948930365636 |
| DRESDEN/Runners/3bOCQw | 12.820600595585985 | 15355.233333333334 | 1197.7 |
| BASE/amazonsSuicide_10x10/XIbQkg | 13.701967620768853 | 298.10704525761514 | 21.75651362697408 |
| DRESDEN/pancakes88/aD3E7g | 14.145003175655154 | 17074.433333333334 | 1207.1 |
| BASE/amazons_10x10/Bun8dA | 14.253760559078545 | 302.75657478084065 | 21.24047008689283 |
| BASE/pacman3p/wW7UVQ | 14.659504295183106 | 923.3025565814473 | 62.98320447880565 |
| DRESDEN/pacman3p/rBnk8Q | 14.69092910025707 | 952.3666666666667 | 64.8268506482685 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 14.851977814171853 | 1511.0333333333333 | 101.73953612370035 |
| DRESDEN/gt_chicken/CeuKtw | 15.322524457358915 | 7294.3 | 476.0507983067231 |
| BASE/pacman2p/4LEdQg | 15.42026134969325 | 921.4333333333333 | 59.75471572352196 |
| DRESDEN/blobwars/ZaMluQ | 15.860691357038291 | 292.5138324111726 | 18.442691168148073 |
| BASE/gt_prisoner/klthDw | 15.947436983000065 | 8161.366666666667 | 511.76666666666665 |
| BASE/amazonsTorus_10x10/Uxc08g | 16.01457506999533 | 204.68635424305046 | 12.781254160564506 |
| BASE/gt_staghunt/xPjLRA | 16.034252846289938 | 8559.333333333334 | 533.8155394820172 |
| BASE/blobwars/0XT15Q | 16.349606377269353 | 297.1270497267031 | 18.173345759552657 |
| BASE/mummyMaze2p_2007/YGA3Vw | 16.683344202652158 | 1635.0333333333333 | 98.00393215368723 |
| BASE/knightThrough/gcwFjA | 16.927471972789117 | 1105.6333333333334 | 65.31591575579846 |
| BASE/amazonsTorus/soxT8g | 17.038320029932652 | 0.28061860813170364 | 0.016469851936031094 |
| DRESDEN/pancakes/hl9aiQ | 17.096180116367314 | 22527.066666666666 | 1317.6666666666667 |
| DRESDEN/pancakes6/SZXMyQ | 17.4177135773328 | 21890.433333333334 | 1256.791440285324 |
| BASE/gt_chicken/gmepTQ | 17.759376218323588 | 7592.133333333333 | 427.5 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 18.423988569333822 | 191.05542040190622 | 10.369927211087845 |
| DRESDEN/ghostmaze2p/HY0UwA | 18.70542329437122 | 2507.0666666666666 | 134.02886570447652 |
| BASE/hanoi_6_disks/MeubgQ | 19.00307001014313 | 5620.1 | 295.7469502033198 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 19.191061814132837 | 189.8143518981435 | 9.89076861595844 |
| BASE/checkers-mustjump/T-8UuQ | 19.31430617283951 | 225.76666666666668 | 11.689090182496336 |
| BASE/ruleDepthLinear/OUBJpQ | 19.466734820694768 | 32371.233333333334 | 1662.9 |
| BASE/ghostMaze2p/W-NU-w | 19.73643238679969 | 2571.4 | 130.28697130286972 |
| DRESDEN/hanoi_6_disks/MeubgQ | 19.969604863221882 | 5913.0 | 296.1 |
| BASE/crossers3/O0rORg | 19.97356374269006 | 948.3333333333334 | 47.47942558224769 |
| BASE/checkers-mustjump-torus/uSApKQ | 20.006141762266353 | 175.52163189120725 | 8.773387391578877 |
| DRESDEN/crossers3/xiPTxg | 20.431417498243146 | 969.0333333333333 | 47.428590474285905 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 21.53870071447473 | 3.506218576342948 | 0.16278691193228065 |
| DRESDEN/connect5/1kYzSg | 22.549345491421864 | 464.98916847192135 | 20.620960756879207 |
| DRESDEN/fizzbuzz/t1xHzQ | 23.036623067776457 | 19373.8 | 841.0 |
| DRESDEN/gt_ultimatum/pAiiQw | 23.111755734767026 | 7737.3 | 334.7776814879008 |
| BASE/knightsTourLarge/M8jgLA | 23.70833573694837 | 13699.466666666667 | 577.8333333333334 |
| BASE/amazonsSuicide/dE1QEQ | 24.89265331306053 | 2.2145831956104978 | 0.08896533317517274 |
| BASE/battle/8oAvhQ | 24.93488524272315 | 91.20901093041856 | 3.657887736100027 |
| DRESDEN/mummymaze2p/k-8edg | 25.21560704328687 | 1145.4 | 45.4242484836366 |
| BASE/mummymaze2p/vpjDdA | 25.28845615327929 | 1143.5 | 45.21826057980673 |
| DRESDEN/battle/8oAvhQ | 25.404960000000003 | 92.4 | 3.6370850416611558 |
| BASE/connect5/d-BVQg | 25.413328832143446 | 455.15149495016834 | 17.909951819239076 |
| BASE/gt_ultimatum/GE-uOA | 26.44433646474463 | 8163.366666666667 | 308.7 |
| BASE/amazons/RKKZjw | 27.738597248508597 | 2.3242686854600394 | 0.0837918610172332 |
| BASE/pancakes6/QZTdnw | 28.31774899202196 | 22006.666666666668 | 777.1333333333333 |
| BASE/pancakes/yUgbXw | 28.70317557519027 | 21873.733333333334 | 762.0666666666667 |
| STANFORD/knightstourbig/TQUI2g | 29.73346561813461 | 13232.933333333332 | 445.05183160561313 |
| BASE/hanoi7_bugfix/3gdnFw | 38.63353992308695 | 6584.633333333333 | 170.43826028995167 |
| DRESDEN/four_way_battle/xSOQXA | 39.86287648850622 | 260.3159789347377 | 6.530285866595588 |
| BASE/four_way_battle/xSOQXA | 40.53654704337594 | 257.50758257507584 | 6.352479462533675 |
| DRESDEN/hanoi7/51zz5Q | 41.257638136511375 | 6346.8 | 153.83333333333334 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 41.8393300248139 | 6744.5 | 161.2 |
| BASE/racer4/0vs7Ww | 54.122821458333334 | 863.6333333333333 | 15.956916325920016 |
| BASE/knightfight/SJRkAg | 56.06839323919555 | 2911.3333333333335 | 51.92467922012998 |
| DRESDEN/knightfight/4_Ly4w | 59.27728242894057 | 3058.3 | 51.59312091721104 |
| DRESDEN/quartosuicide/WIU1oQ | 61.241543515850154 | 1415.4 | 23.111762355135205 |
| DRESDEN/quarto/OQzRYQ | 62.73799583333333 | 1403.6 | 22.37240736425076 |
| BASE/quarto/EwBMVQ | 62.98129716840537 | 1408.4 | 22.362194227821103 |
| BASE/quartoSuicide/-23jUg | 65.48698525835866 | 1436.3 | 21.93260224659178 |
| BASE/cylinder-checkers/hlldmw | 79.6059 | 219.3 | 2.7548209366391183 |
| DRESDEN/cylinder-checkers/clOO3Q | 89.36778159308489 | 219.73736835088656 | 2.4587985114300905 |
| BASE/gt_tinfoil/Q8DyKg | 89.75627186727515 | 10489.166666666666 | 116.86277124095864 |
| DRESDEN/checkers-newgoals/IJOqXQ | 94.96553909393053 | 242.050529964669 | 2.5488248924197285 |
| DRESDEN/kalaha_2009/gcC8uA | 99.41798270219729 | 2360.866666666667 | 23.746877601998335 |
| BASE/kalaha_2009/dRiN3g | 100.43396528162512 | 2414.133333333333 | 24.037021007424176 |
| BASE/twisty-passages/DiZmmg | 102.14013513286243 | 6747.833333333333 | 66.0644645178494 |
| DRESDEN/twisty-passages/j7NPyg | 104.97275743801653 | 6771.533333333334 | 64.50753032120485 |
| DRESDEN/hitori/S8Gsyg | 108.21318211670604 | 120.21329778370271 | 1.1108932888976017 |
| DRESDEN/checkers/jIDMIg | 109.0874902209142 | 245.39182027265758 | 2.249495517549373 |
| BASE/hitori/S8Gsyg | 109.15152083333332 | 115.06666666666666 | 1.0541920606160435 |
| BASE/wargame02/BkVqqQ | 110.108365276713 | 439.4520182660578 | 3.991086573319586 |
| BASE/racer/QQYQNw | 113.54941305603698 | 2182.3333333333335 | 19.21923922456865 |
| BASE/solitaireChineseCheckers/-ET6gw | 120.0829 | 1713.6 | 14.270141710435041 |
| DRESDEN/racer/vk_ZBA | 121.46779865443425 | 2203.0666666666666 | 18.137042830044262 |
| BASE/colonelBlottoVariant/X-n-KQ | 149.59741450498848 | 6494.7 | 43.414520374504384 |
| BASE/colonelBlottoVariant2/jruwGw | 162.4230913348946 | 6932.0 | 42.67866066966517 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 162.9349160852627 | 193.7075056659112 | 1.188864304349262 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 167.52674434661702 | 190.96030132328923 | 1.1398794984530207 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 173.5038762508433 | 186.44180775896547 | 1.0745685444480626 |
| BASE/max_knights/2fq3Ag | 173.88047101449277 | 1197.5 | 6.8869148617626506 |
| DRESDEN/max_knights/hCipiA | 192.1136998381877 | 1316.7666666666667 | 6.854100815172185 |
| BASE/wargame03/klXI8w | 198.4600142857143 | 646.6 | 3.258087037468001 |
| BASE/wargame01/_GZFZg | 209.02218482384822 | 853.6333333333333 | 4.083936516368949 |
| DRESDEN/checkers-mustjump/HUr33w | 210.5748902454122 | 239.4840343977068 | 1.1372867587327375 |
| DRESDEN/battlebrushes/QHXV4A | 251.9993454763629 | 92.19692676910769 | 0.36586177077097054 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 270.9262474766355 | 4823.8 | 17.804845580404685 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 280.39551066960996 | 4233.266666666666 | 15.097483752707882 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 293.72861021611004 | 4975.8 | 16.940127134156487 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 377.8994520787746 | 5752.066666666667 | 15.221156408206769 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 566.9103955012854 | 14686.7 | 25.90656321800806 |
| BASE/colonelBlotto/jip21A | 612.7319790849673 | 3124.1 | 5.098640362569982 |
| BASE/pancakes88/l2Xaig | 699.3240763852243 | 17653.7 | 25.24394711426383 |
| DRESDEN/farmers/S_ASnw | 831.769593495935 | 1118.6666666666667 | 1.3449237329834345 |
| BASE/gt_two_thirds_2p/1APDGg | 948.8125312500001 | 2510.8333333333335 | 2.6462902318811814 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 1050.379512 | 2615.4 | 2.489957172736629 |
| BASE/ad_game_2x2/D0aWqg | 1301.8053192982456 | 813.0666666666667 | 0.6245685546168765 |
| BASE/gt_attrition/kD_SCA | 1830.055114814815 | 2158.366666666667 | 1.1793998165378063 |
| BASE/merrills/pku8Tg | Infinity | 200.9866008932738 | 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_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 |