Game-by-game performance:
| Game | Perf ratio | GGP_BASE_PROVER:2015-04-26 states per second | REKKURA_GENERIC_FORWARD_PROVER:1.0.0 states per second |
| DRESDEN/quad_7x7/q-JOXg | 0.09574956984555007 | 1.6765736930345985 | 17.509986684420774 |
| BASE/coins/QnGtnQ | 0.10579203155448078 | 300.4 | 2839.5333333333333 |
| DRESDEN/coins/QwFP9w | 0.10807014257954253 | 307.73333333333335 | 2847.5333333333333 |
| BASE/coins_atomic/AA3SSw | 0.11234670182849275 | 320.93333333333334 | 2856.633333333333 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 0.11384057311113135 | 12.290167865707435 | 107.95946936870875 |
| BASE/sudokuGrade6H/ieE_9A | 0.193872328513554 | 24.04262404262404 | 124.01266455590735 |
| BASE/sudokuGrade4/DTy07w | 0.1990529605263158 | 24.2 | 121.57568486302739 |
| BASE/sudokuGrade6E/ihYFZA | 0.19962585195814025 | 24.251307505246675 | 121.48380215971204 |
| BASE/sudokuGrade5/BQfUQA | 0.19973979465788208 | 24.739453268071788 | 123.8584094393707 |
| BASE/blokbox_simple/JBx4bg | 0.19986659355980155 | 0.8214330847971693 | 4.1099068642073515 |
| BASE/sudokuGrade1/tDRNRw | 0.20084626625243474 | 24.388618644632505 | 121.42928569047699 |
| BASE/sudokuGrade3/eI8dvg | 0.20531958587752558 | 25.111569972690337 | 122.30479554770554 |
| STANFORD/sudoku/oJ1qyQ | 0.206581309222787 | 24.952526901422527 | 120.78792120787921 |
| BASE/sudokuGrade2/u80Tfw | 0.2078477233937382 | 25.418929273411734 | 122.2959234692177 |
| DRESDEN/quad/JPe6fg | 0.24783373804506237 | 1.332926050373497 | 5.3783074931111186 |
| BASE/quad_7x7/q-JOXg | 0.25388153976039507 | 4.323728272539973 | 17.03049491751375 |
| STANFORD/duidoku/3SoMaA | 0.3116677814846051 | 23.961661341853034 | 76.88206085246776 |
| BASE/quad/tw-Ufg | 0.48551166362341625 | 2.5987359235137477 | 5.352571561554573 |
| STANFORD/selectivesukoshi/3xmXYg | 0.5657735804352432 | 75.37487504165279 | 133.22445170321978 |
| BASE/ticTacHeaven/18n58A | 0.6900277258984149 | 255.81627891473903 | 370.73333333333335 |
| BASE/ticTacHeavenFC/mrletw | 0.7193173244815798 | 230.46927076389815 | 320.4 |
| BASE/alexChess/LNo83g | 0.8146118508258985 | 4.35737094199042 | 5.349014917439118 |
| DRESDEN/grid_game2/kypTYQ | 0.849062685506652 | 360.4879837338755 | 424.57169522031865 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.8907623641855642 | 658.6 | 739.3666666666667 |
| DRESDEN/cubicup_3player/awDtsQ | 0.9224127356343681 | 167.62755357083347 | 181.72727575747476 |
| BASE/cubicup_3player/e2yA_g | 0.9288131247512788 | 159.89467017766074 | 172.14945172149453 |
| BASE/zhadu/DlA8iQ | 0.9634991486171159 | 21.967780588470244 | 22.8 |
| DRESDEN/bunk_t/7-tPfA | 0.9661540859265416 | 1239.8333333333333 | 1283.2666666666667 |
| BASE/bunk_t/xbpfIA | 0.990921949337791 | 1284.4 | 1296.1666666666667 |
| DRESDEN/doubletictactoe/lJzgmQ | 0.9943011166730843 | 1291.1 | 1298.5 |
| STANFORD/multiplesukoshi/vLSQPg | 1.004442347533219 | 123.35021997067058 | 122.80467890825474 |
| DRESDEN/pawn_whopping/4ogBkg | 1.0071556350626116 | 675.5774807506416 | 670.7776407453085 |
| BASE/withConviction/3Xm54A | 1.0300134706855342 | 603.2931137924138 | 585.713809539682 |
| BASE/doubletictactoe/HH1htg | 1.0309155458809505 | 1326.0666666666666 | 1286.3 |
| BASE/doubletoetictac/fu35bg | 1.0330561000158922 | 1300.0666666666666 | 1258.4666666666667 |
| STANFORD/duikoshi/tpw1sw | 1.0411358052905215 | 607.4333333333333 | 583.4333333333333 |
| DRESDEN/doubletoetictac/V89gKQ | 1.0570068689491048 | 1302.8666666666666 | 1232.6 |
| BASE/snake2p/I3wWPQ | 1.162845708598754 | 346.87687487500835 | 298.3 |
| DRESDEN/lightsout/XgLpzQ | 1.2233903639468309 | 1217.9666666666667 | 995.5666666666667 |
| DRESDEN/tictactoelarge/IwXcbg | 1.2401214917788617 | 1415.4333333333334 | 1141.3666666666666 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 1.2965878639674362 | 1506.1164627845737 | 1161.6 |
| BASE/tictactoe2/bhrDoQ | 1.3118383197040775 | 3085.4 | 2351.9666666666667 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 1.3138483965014578 | 600.8666666666667 | 457.3333333333333 |
| DRESDEN/tictactoeparallel/yk_DSg | 1.331017756085876 | 1481.7333333333333 | 1113.2333333333333 |
| DRESDEN/slidingpieces/s9_44g | 1.3316097288575186 | 343.9104059729351 | 258.26666666666665 |
| BASE/blocksWorldParallel/RseaAQ | 1.3471508573408 | 777.8 | 577.3666666666667 |
| STANFORD/sukoshi/4LYZZQ | 1.433275042352041 | 1748.5 | 1219.9333333333334 |
| DRESDEN/latenttictactoe/kITHKg | 1.4354122995671466 | 1757.5666666666666 | 1224.4333333333334 |
| BASE/slidingpieces/uFJWEw | 1.4593282602991342 | 370.7419505366309 | 254.0497300179988 |
| DRESDEN/lightsout2/LFtfyQ | 1.4683985643479749 | 1431.9333333333334 | 975.1666666666666 |
| DRESDEN/ticblock/Z2yNWQ | 1.4812909260991582 | 1794.6333333333334 | 1211.5333333333333 |
| BASE/conn4/va9Y7A | 1.4861230822272022 | 574.7141761941268 | 386.7204426519116 |
| BASE/double_tictactoe_dengji/zgaSbA | 1.5177695219402776 | 1443.5 | 951.0666666666667 |
| DRESDEN/cubicup/SBn_lw | 1.5448316949657432 | 345.73333333333335 | 223.8 |
| BASE/cubicup/4wNWJA | 1.5511811023622049 | 348.02173260891306 | 224.35918802706576 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 1.554727718250445 | 175.65495633624425 | 112.9811698050325 |
| BASE/futoshiki6/JmvXNA | 1.5578009609538757 | 207.41950536630893 | 133.1489134782029 |
| DRESDEN/chickentictactoe/Ipbo-g | 1.564033784028709 | 2876.4666666666667 | 1839.1333333333334 |
| BASE/qyshinsu/R08Lzw | 1.607517965726921 | 96.92687154189721 | 60.29598026798214 |
| BASE/minichess-evilconjuncts/4OpQzw | 1.616904146263498 | 181.02729909003034 | 111.95920271981868 |
| BASE/majorities/ibJzSQ | 1.6292000226420378 | 162.06758648270346 | 99.47678874929183 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 1.630625119480023 | 1421.6333333333334 | 871.8333333333334 |
| BASE/futoshiki5/TJ4BZg | 1.6736995250357654 | 324.93333333333334 | 194.14078122916945 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 1.6846961975584607 | 385.3076461569229 | 228.71046228710463 |
| BASE/pearls/6k_mEQ | 1.6934253508992352 | 25159.333333333332 | 14857.066666666668 |
| BASE/lightsOut/5P1ZBw | 1.701454234388366 | 1127.1 | 662.4333333333333 |
| DRESDEN/tictactoe/BTTzPw | 1.7267791710088412 | 3424.4333333333334 | 1983.1333333333334 |
| BASE/ticblock/T21C1g | 1.7329860304608953 | 1740.9 | 1004.5666666666667 |
| BASE/factoringGeorgeForman/HGRorQ | 1.7511279534570783 | 5899.433333333333 | 3368.9333333333334 |
| BASE/eotcatcit/AfZSzA | 1.7578949203968823 | 3360.3333333333335 | 1911.5666666666666 |
| DRESDEN/eotcatcit/mQUxzA | 1.8006471427004498 | 3283.3 | 1823.4 |
| DRESDEN/sum15/CsgWKg | 1.8541050268907318 | 4240.4 | 2287.0333333333333 |
| BASE/sum15/QZ07Kg | 1.8932434093283352 | 4107.833333333333 | 2169.733333333333 |
| STANFORD/nineboardtictactoe/y28P-A | 1.9609142561516666 | 422.83847743483767 | 215.63333333333333 |
| BASE/snakeAssemblit/UO4sdg | 1.9749509438044242 | 405.6666666666667 | 205.4059458738835 |
| DRESDEN/peg/Vo31eg | 1.9918246223564955 | 703.2 | 353.0431304579695 |
| BASE/ticTacToeLargeSuicide/727_8g | 1.995342136854742 | 1385.1 | 694.1666666666666 |
| DRESDEN/CephalopodMicro/H3XQfg | 2.003594930380636 | 51.44608823137412 | 25.676890798281548 |
| BASE/futoshiki4/BaCwSw | 2.011914022140221 | 690.6 | 343.25522482583915 |
| BASE/ticTacToeLarge/TZC0dg | 2.0150355018230663 | 1400.0 | 694.7768407719743 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 2.0355944197917717 | 184.72101859876008 | 90.74549271836571 |
| BASE/snake_2009_big/-oRfVw | 2.0735239584316316 | 287.3808412772482 | 138.59538015399485 |
| BASE/nineBoardTicTacToe/wRmqqA | 2.0735916294590515 | 437.38959437389593 | 210.93333333333334 |
| BASE/connectFourSimultaneous/7ITr3g | 2.098172853828306 | 482.3 | 229.86666666666667 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 2.103627709287308 | 995.3333333333334 | 473.15089497016766 |
| DRESDEN/peg_bugfixed/u_B7MA | 2.1131533601378516 | 735.8 | 348.2 |
| DRESDEN/blockerparallel/dVQgSg | 2.1339504803906126 | 903.2 | 423.2525582480584 |
| BASE/blockerParallel/7-nDJA | 2.1451474153437085 | 914.3333333333334 | 426.23333333333335 |
| DRESDEN/tictictoe/LAUtwg | 2.164544259118278 | 2085.0333333333333 | 963.2666666666667 |
| DRESDEN/snake_2009_big/DgC1NQ | 2.2133578436134047 | 303.8 | 137.25751616558895 |
| BASE/breakthroughSmallHoles/bxclRw | 2.2217065775041576 | 697.6666666666666 | 314.0228659044698 |
| STANFORD/tictactoe3/X7myng | 2.221750705079206 | 2809.7 | 1264.6333333333334 |
| BASE/eotcitcit/V_9_bg | 2.2325364149050273 | 2150.9 | 963.4333333333333 |
| BASE/simultaneousWin2/PfjRjw | 2.2342786683107274 | 1087.2 | 486.6 |
| BASE/tpeg/QNs7Lw | 2.241061927300265 | 789.1 | 352.1098593427105 |
| DRESDEN/connectfour/5tc-Mg | 2.2513054350224313 | 1020.3666666666667 | 453.23333333333335 |
| DRESDEN/Zhadu/9zpQ5w | 2.25282533124252 | 57.73202745019655 | 25.626499600106637 |
| DRESDEN/tictactoe-init1/3ltIBQ | 2.2720230503991306 | 3206.733333333333 | 1411.4 |
| DRESDEN/tpeg/h-Scbg | 2.312252180808882 | 777.5333333333333 | 336.26666666666665 |
| BASE/othello-comp2007/86ZoMw | 2.3204196688767778 | 5.0930395126660235 | 2.1948786165613567 |
| BASE/tictactoe-init1/7M19vA | 2.3542118226600985 | 3186.0333333333333 | 1353.3333333333333 |
| DRESDEN/towerworld/HCX34w | 2.354260740825101 | 40.38922953878966 | 17.155801325826975 |
| BASE/ticTacToeNoVars/XT03NA | 2.389965502072191 | 3440.8333333333335 | 1439.7 |
| BASE/ticTacToeSerial/Amrwqw | 2.40383550263085 | 1157.3666666666666 | 481.46666666666664 |
| DRESDEN/sheep_and_wolf/enAIzQ | 2.445098234766131 | 817.2333333333333 | 334.23333333333335 |
| BASE/cephalopodMicro/9l2D3g | 2.447424940213204 | 51.50414764966519 | 21.044219499200853 |
| BASE/pawnWhopping/Ypc_6Q | 2.448168839230292 | 657.3333333333334 | 268.5 |
| DRESDEN/javastrike/whONTQ | 2.466828209822687 | 269.04873008466103 | 109.06666666666666 |
| DRESDEN/snake_2009/zIYLVw | 2.4771634615384612 | 412.1725218318779 | 166.38890740617293 |
| DRESDEN/brain_teaser_extended/ZDp94A | 2.483730219028806 | 3813.9333333333334 | 1535.5666666666666 |
| STANFORD/triplesukoshi/Iu9mbA | 2.4840536143286145 | 771.9666666666667 | 310.7689231076892 |
| DRESDEN/tictactoex9/rFkD4w | 2.5043557827893728 | 595.9333333333333 | 237.95873470884302 |
| BASE/tictactoex9/BI26ow | 2.508811504300014 | 593.1666666666666 | 236.43333333333334 |
| BASE/lightsOnParallel/SC6enA | 2.5168258088439788 | 3619.866666666667 | 1438.2666666666667 |
| BASE/snake_2009/7l-qAQ | 2.5606329229997953 | 413.5724285047663 | 161.51179842687642 |
| BASE/chickentictactoe/DSlZCA | 2.5647106811957343 | 2934.2 | 1144.0666666666666 |
| DRESDEN/connect4/T0-rHQ | 2.59926037206139 | 455.51814939502015 | 175.24914175249143 |
| BASE/haystack/UkweGA | 2.6023010568943925 | 37056.333333333336 | 14239.833333333334 |
| BASE/connect4/50bOyw | 2.6044129977029096 | 453.5 | 174.12752908236394 |
| STANFORD/tictactoe5/WFRReg | 2.6396180051379425 | 3151.0 | 1193.7333333333333 |
| BASE/brain_teaser_extended/ZDp94A | 2.6452023248163177 | 4020.266666666667 | 1519.8333333333333 |
| BASE/numbertictactoe/rvJ-iQ | 2.6642441860465116 | 2138.5 | 802.6666666666666 |
| BASE/othelloSuicide/B442jg | 2.6921411535330972 | 5.001987544719756 | 1.8579960185799602 |
| DRESDEN/chickentoetictac/cxYaRQ | 2.7102513985307 | 4021.2 | 1483.7 |
| BASE/connectFour/WAIKTw | 2.798727780895373 | 997.4333333333333 | 356.3881203959868 |
| STANFORD/connectfour/VMpZkQ | 2.8126734505087883 | 1013.5 | 360.3333333333333 |
| STANFORD/trifecta/ss1kyQ | 2.8179732419283505 | 3398.1 | 1205.8666666666666 |
| BASE/ticTacToeParallel/ymRGPw | 2.8300194148758115 | 1409.0666666666666 | 497.9 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 2.834066829665852 | 579.5666666666667 | 204.5 |
| BASE/golden_rectangle/_nYzfw | 2.849620443037975 | 300.1 | 105.3122708791575 |
| DRESDEN/blocker/S815zQ | 2.858459051724138 | 3536.866666666667 | 1237.3333333333333 |
| BASE/connectFour_9x6/B9TtMw | 2.8864644114301012 | 958.4666666666667 | 332.0555981467284 |
| BASE/ticTacToe/JRFsaQ | 2.887090505274847 | 3466.4333333333334 | 1200.6666666666667 |
| STANFORD/tictictoe/rpt_Dw | 2.9130994375059585 | 2037.0333333333333 | 699.2666666666667 |
| DRESDEN/stratego/Z2wovg | 2.9149345288450137 | 643.8118729375688 | 220.86666666666667 |
| STANFORD/tictactoe7/-bE9-A | 2.918855603385165 | 3322.5333333333333 | 1138.3 |
| BASE/tictactoe_3d_small_6player/g_9lww | 2.9443256949077163 | 588.4333333333333 | 199.8533431104593 |
| BASE/chickentoetictac/l57rfQ | 2.986468453704788 | 4252.233333333334 | 1423.8333333333333 |
| BASE/skirmishHoles/AUCxCA | 3.0474949805024227 | 47.181127548980406 | 15.481937739304145 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 3.049749294891883 | 3892.7 | 1276.4 |
| BASE/tictactoe_orthogonal/WRzlVw | 3.0608113309214073 | 3976.3 | 1299.1 |
| STANFORD/tictactoe/ss1kyQ | 3.0688732588608465 | 3708.733333333333 | 1208.5 |
| BASE/tictactoe_3d_small_2player/oOryKA | 3.085642201834862 | 818.3333333333334 | 265.20681265206815 |
| BASE/dualConnect4/WbCQkg | 3.089405343800041 | 594.7342109648392 | 192.50766564458073 |
| BASE/ticTicToe/c1OobQ | 3.0943204868154153 | 2135.7 | 690.2 |
| DRESDEN/blocksworldparallel/2JfVaw | 3.1065682922440163 | 2877.2 | 926.1666666666666 |
| BASE/connectFourLarge/aU644A | 3.1155923076923075 | 729.0 | 233.98440103993067 |
| BASE/nonogram_10x10_1/0Xc62g | 3.129300214461919 | 37.63207893070231 | 12.025717045870948 |
| BASE/blocks/xIV5hQ | 3.129405940594059 | 8428.533333333333 | 2693.3333333333335 |
| BASE/strangeSkirmish/gc1zKA | 3.1329509638500137 | 42.07615684445481 | 13.430199620088645 |
| DRESDEN/pentago_2008/hLjVpQ | 3.175265074309979 | 432.03333333333336 | 136.06213126229125 |
| BASE/queens31lg/0gID-A | 3.1801944000798565 | 3.3606175550675452 | 1.0567333729608348 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 3.1891959798994978 | 846.2 | 265.3333333333333 |
| DRESDEN/toetictac/mJtxCA | 3.189611588596047 | 4836.833333333333 | 1516.4333333333334 |
| BASE/toetictac/mTThmg | 3.2114762510318364 | 4798.266666666666 | 1494.1 |
| DRESDEN/blocks/vg0DRw | 3.2682560190821675 | 8769.166666666666 | 2683.133333333333 |
| BASE/blocksWorld/SEdXLQ | 3.287627831873563 | 8958.566666666668 | 2724.9333333333334 |
| BASE/othelloHoles/c0qAzw | 3.3263902697686754 | 6.329952939616889 | 1.9029495718363463 |
| BASE/3pConnectFour/PqXOFQ | 3.3268801001251567 | 620.2 | 186.4209052729818 |
| DRESDEN/lightson2x2/gBHuig | 3.46546170365068 | 5809.5 | 1676.4 |
| BASE/blocker/dIWtxg | 3.4766149870801035 | 3587.866666666667 | 1032.0 |
| DRESDEN/babel/WdSW4A | 3.5277415640790037 | 307.87947470168655 | 87.27381785464361 |
| BASE/blocksWorldSerial/Wyg96Q | 3.544898023916008 | 3725.3333333333335 | 1050.9 |
| BASE/lightsOn/MsXu3A | 3.549607423269093 | 8122.566666666667 | 2288.3 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 3.6256474123275213 | 6113.566666666667 | 1686.2 |
| BASE/lightsOnSimultaneous/_VN6lw | 3.6278007233549685 | 1844.4333333333334 | 508.4163861204627 |
| BASE/pentago/86NgKw | 3.6536439503114813 | 441.65194493516884 | 120.8798533577737 |
| DRESDEN/catcha_mouse/cHv4dw | 3.6841649341649343 | 1417.6666666666667 | 384.8 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 3.707891448527763 | 3857.5666666666666 | 1040.3666666666666 |
| DRESDEN/tictactoe_3player/ESLQQQ | 3.752657505833549 | 964.8690087327511 | 257.11619225384976 |
| BASE/lightsOnSimul4/9FeASw | 3.774815539337843 | 1413.7 | 374.50836610892605 |
| BASE/pentagoSuicide/SBgNhw | 3.785773510512527 | 463.4739718722922 | 122.42517165522298 |
| BASE/catcha_mouse/cHv4dw | 3.786622079886131 | 1418.8 | 374.68751041631947 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 3.818342073839405 | 1044.4666666666667 | 273.53931273539314 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 3.8344544894113364 | 14.474910155730068 | 3.7749594357429053 |
| BASE/hidato19/rRHSmA | 3.8587610168121564 | 530.4333333333333 | 137.46208459718008 |
| DRESDEN/connectfoursuicide/M9CNQg | 3.911035659622576 | 999.3666666666667 | 255.524815839472 |
| BASE/blocks2player/wnTLOQ | 3.941116945107399 | 6880.533333333334 | 1745.8333333333333 |
| BASE/survival/YVIjJA | 3.9536593219559317 | 28649.533333333333 | 7246.333333333333 |
| BASE/incredible/8Qh-6Q | 3.9562745955400085 | 3317.6 | 838.5666666666667 |
| DRESDEN/blocks2player/3ev8nQ | 4.019503305480701 | 6911.0 | 1719.3666666666666 |
| DRESDEN/8puzzle/8fKC2w | 4.083006535947712 | 3331.733333333333 | 816.0 |
| BASE/checkLines/Vop7oQ | 4.085173501577287 | 1208.6666666666667 | 295.8666666666667 |
| BASE/blockerSerial/3eqDuw | 4.108460738791241 | 1456.9 | 354.60969268715417 |
| STANFORD/multipletictactoe/_bkafQ | 4.214926854623269 | 655.7114762841238 | 155.56888622275545 |
| BASE/skirmishFinal2/gdB62Q | 4.26225652054925 | 63.63484924204565 | 14.929849701736261 |
| DRESDEN/circlesolitaire/ruUilQ | 4.272775927687917 | 7185.1 | 1681.6 |
| BASE/skirmishFinal3/-Olhfw | 4.304801010522481 | 69.62869142057197 | 16.17465969980364 |
| DRESDEN/troublemaker01/C-lPWw | 4.333040129502465 | 19540.133333333335 | 4509.566666666667 |
| BASE/circlesolitaire/azuQFQ | 4.339650852663056 | 7159.266666666666 | 1649.7333333333333 |
| BASE/cittaceot/fDxhXg | 4.370684705998324 | 985.1666666666666 | 225.40327956272498 |
| BASE/skirmishFinal1/ecWTnQ | 4.376491055752866 | 63.9786737754082 | 14.618714618714618 |
| DRESDEN/golden_rectangle/1uloXw | 4.406380635796988 | 282.72390920302655 | 64.16238917405506 |
| DRESDEN/skirmishfinal/hzq8ww | 4.433087674021301 | 64.94069039051047 | 14.649087761353043 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 4.527552828039984 | 4770.833333333333 | 1053.7333333333333 |
| BASE/troublemaker01/s3tlEQ | 4.552057085348043 | 20052.266666666666 | 4405.1 |
| BASE/onestep/xi53wA | 4.639333854268412 | 34831.5 | 7507.866666666667 |
| BASE/tictactoe_3player/GtM71g | 4.681963090067771 | 943.6018799373354 | 201.5397946940408 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 4.697451712384353 | 964.7 | 205.36666666666667 |
| STANFORD/pentago/ZxzLmg | 4.712477771454114 | 598.9133695543482 | 127.0909696767744 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 4.75072491100686 | 6717.366666666667 | 1413.9666666666667 |
| DRESDEN/troublemaker02/iZLVuA | 4.751590607000444 | 17873.9 | 3761.6666666666665 |
| BASE/connectFourLarger/qKi60A | 4.755646960668147 | 468.38438718709375 | 98.4901509849015 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 4.826888562571382 | 986.1333333333333 | 204.3 |
| DRESDEN/battlesnakes1509/-qZrLw | 4.883116883116883 | 1228.2666666666667 | 251.53333333333333 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 4.90538362346873 | 1014.4333333333333 | 206.8 |
| DRESDEN/battlesnakes2011/93VtTw | 4.944057665873645 | 1246.7666666666667 | 252.17478252174783 |
| STANFORD/untwistycomplex/HTWEwg | 4.944326838805367 | 12223.2 | 2472.1666666666665 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 4.99359074469834 | 1012.5 | 202.75990800306656 |
| BASE/stateSpaceSmall/Q7osKA | 5.008991261302218 | 16527.166666666668 | 3299.5 |
| BASE/mineClearingSmall/frsbvw | 5.013674924106001 | 343.1437904139724 | 68.44157142381127 |
| STANFORD/dualrainbow/G3OnRQ | 5.06136569462054 | 4657.3 | 920.1666666666666 |
| BASE/troublemaker02/DI83KA | 5.063956456730243 | 18514.5 | 3656.133333333333 |
| BASE/coloredtrails/EZvr7g | 5.227202072538861 | 2690.266666666667 | 514.6666666666666 |
| DRESDEN/statespacesmall/h-NqjA | 5.231412026542472 | 16923.966666666667 | 3235.0666666666666 |
| BASE/hodgepodge/9yjRkw | 5.25400702693659 | 5233.866666666667 | 996.1666666666666 |
| BASE/switches/tPUoCg | 5.373447069808664 | 11317.733333333334 | 2106.233333333333 |
| DRESDEN/grid_game/U7_Yeg | 5.472443798780835 | 1067.1666666666667 | 195.00733235568592 |
| BASE/nonogram_5x5_1/qLKEZw | 5.538748983092505 | 268.7243758541382 | 48.51716094635122 |
| BASE/skirmish/Y_psYQ | 5.540431820522323 | 44.61251416005864 | 8.052172755706396 |
| BASE/buttons/hTcUjw | 5.632638322457858 | 22097.966666666667 | 3923.2 |
| BASE/tictactoe_3d_6player/d7KSwg | 5.644009782608696 | 242.3 | 42.93047130191321 |
| BASE/tictactoe_3d_2player/IUC1rQ | 5.66729555024449 | 272.49700039994667 | 48.08236979774083 |
| DRESDEN/mimikry/GJEhwA | 5.669048682447521 | 846.2 | 149.26666666666668 |
| BASE/duplicateStateSmall/bCPAXw | 5.66945260575634 | 13250.266666666666 | 2337.133333333333 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 5.6927414576855915 | 151.88987400839943 | 26.681323073848308 |
| DRESDEN/buttons/ADUaHw | 5.793185521365625 | 22636.1 | 3907.366666666667 |
| DRESDEN/logistics/fPru1Q | 5.85575890114142 | 1681.4666666666667 | 287.14752349843343 |
| STANFORD/breakthrough/d5j0cQ | 5.911487398945518 | 1121.1 | 189.64770189647703 |
| BASE/connectFourSuicide/c8p9Kw | 5.9147419045781895 | 1022.0333333333333 | 172.7942401919936 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 6.030340014282458 | 230.34363230343632 | 38.197453503099794 |
| STANFORD/rainbow/_4qNSQ | 6.090446201259548 | 9090.6 | 1492.6 |
| BASE/stateSpaceMedium/3bUoIw | 6.09313102248394 | 12140.766666666666 | 1992.5333333333333 |
| DRESDEN/statespacemedium/dVJZ_w | 6.130977166167336 | 12073.733333333334 | 1969.3 |
| STANFORD/dualhunter/1rPZjQ | 6.146334720868265 | 2101.5666666666666 | 341.9219359354688 |
| DRESDEN/backgammon/mqCW0Q | 6.154752391226101 | 303.9130724618359 | 49.3786026055376 |
| DRESDEN/firefighter/WJmoPw | 6.189876362669503 | 6208.033333333334 | 1002.9333333333333 |
| BASE/stateSpaceLarge/0Ge_CQ | 6.198162761720946 | 8456.566666666668 | 1364.3666666666666 |
| DRESDEN/cube_2x2x2/fp-34Q | 6.20263357382963 | 2521.7 | 406.55311489617014 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 6.217533800735983 | 283.4905503149895 | 45.59533721898418 |
| DRESDEN/statespacelarge/8-y5HQ | 6.260610143393321 | 8673.866666666667 | 1385.4666666666667 |
| BASE/firefighter/WJmoPw | 6.263271328624954 | 6296.466666666666 | 1005.3 |
| BASE/hidato37/pBrqxw | 6.29064612431008 | 110.68524196773764 | 17.595210377515382 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 6.409184928340269 | 1078.1666666666667 | 168.22211852543163 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 6.464337941816205 | 1056.6333333333334 | 163.45576961535897 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 6.494341795993338 | 3.506218576342948 | 0.5398882113821138 |
| BASE/eightPuzzle/vLrgFg | 6.662966931773367 | 3378.9 | 507.1164294523516 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 6.663297816196543 | 976.2 | 146.50403252682796 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 6.709297623239437 | 1016.1333333333333 | 151.4515215145152 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 6.7526892806818575 | 6549.433333333333 | 969.9 |
| DRESDEN/Thief_Police/CX18rA | 6.7575422851225415 | 6525.533333333334 | 965.6666666666666 |
| DRESDEN/amazons/dNB28A | 6.796602717825738 | 37.370103916866505 | 5.498350494851545 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 6.84867778021496 | 1040.6666666666667 | 151.9514715195147 |
| DRESDEN/3pttc/uwYBZw | 6.900369277290595 | 1521.2 | 220.45196986867543 |
| STANFORD/eightpuzzle/W_aWbA | 7.128759785743717 | 3460.3 | 485.4 |
| STANFORD/8puzzle/jNiGtw | 7.140927028292422 | 3558.8 | 498.3666666666667 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 7.358851339520223 | 7004.4 | 951.8333333333334 |
| DRESDEN/catch_me/ghGWrA | 7.402515069632092 | 7122.7 | 962.2 |
| BASE/englishDraughts/jFkQxg | 7.487594966190834 | 664.2 | 88.70672131693826 |
| DRESDEN/3pffa/0YrmQw | 7.75222621465396 | 1654.0666666666666 | 213.36666666666667 |
| STANFORD/hex/MTqWcw | 7.913962384924019 | 192.54099453406212 | 24.32927845359107 |
| BASE/snakeParallel/RCVNtw | 7.957679354387747 | 4174.333333333333 | 524.5666666666667 |
| BASE/hexPie/48CH6Q | 8.066744554068574 | 194.90084985835693 | 24.161029093211585 |
| BASE/untwistycomplex2/EDPPAQ | 8.097893609425206 | 22682.2 | 2801.0 |
| BASE/queens08lg/Ru7eqQ | 8.277882107017652 | 348.25505816472787 | 42.070550614569804 |
| DRESDEN/capture_the_king/EQ229Q | 8.332113882781107 | 120.86776859504133 | 14.506254990684056 |
| BASE/hex/T1MK8g | 8.477319979744967 | 206.2264591180294 | 24.326846174353506 |
| DRESDEN/oisters_farm/pTQMLg | 8.485667256747103 | 9107.666666666666 | 1073.3 |
| STANFORD/untwistycorridor/EDPPAQ | 8.629927230477588 | 23520.866666666665 | 2725.5 |
| BASE/pegEuro/5awwhg | 8.990172273966241 | 603.4798840038666 | 67.12662067126621 |
| BASE/rubiksCube/9tNO9Q | 9.09924272618573 | 761.0 | 83.63333333333334 |
| STANFORD/hunter/14dD-g | 9.218629444606274 | 4219.533333333334 | 457.7180760641312 |
| STANFORD/bestbuttonsandlights/nm0wEA | 9.377836970998342 | 11500.666666666666 | 1226.3666666666666 |
| BASE/breakthroughSmall/HJ0tIA | 9.398410598853518 | 856.1666666666666 | 91.09696343455218 |
| BASE/breakthroughSuicideSmall/XSbJog | 9.44883445051609 | 864.3666666666667 | 91.47865498050454 |
| BASE/maze/cCX3qQ | 9.454592221058627 | 17153.466666666667 | 1814.3 |
| STANFORD/3puzzle/41ibjA | 9.705050708576803 | 9633.233333333334 | 992.6 |
| BASE/escortLatch/mX9BjQ | 9.919005202995665 | 838.7333333333333 | 84.55821084558211 |
| BASE/duplicateStateMedium/U163eQ | 10.013277133825078 | 7918.833333333333 | 790.8333333333334 |
| STANFORD/threepuzzle/41ibjA | 10.037935026901858 | 9825.8 | 978.8666666666667 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 10.261028461737236 | 9265.366666666667 | 902.9666666666667 |
| DRESDEN/point_grab/r5DPmQ | 10.37300190825506 | 13952.033333333333 | 1345.0333333333333 |
| DRESDEN/minichess/c7GMFw | 10.569833797530864 | 1189.0666666666666 | 112.49625012499584 |
| BASE/asteroidsSerial/id2QkA | 10.61340876565295 | 3164.0 | 298.1134591027265 |
| DRESDEN/chinesecheckers1/Y-ftaA | 10.628529792147805 | 1994.2 | 187.62707909736343 |
| STANFORD/buttonsandlights/eyhJpA | 10.831021855156024 | 37069.53333333333 | 3422.5333333333333 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 11.00476562289653 | 13624.266666666666 | 1238.0333333333333 |
| BASE/aipsrovers01/4C4jsw | 11.026678936964029 | 4400.233333333334 | 399.05336488783706 |
| DRESDEN/knightwar/7hhAqg | 11.02899524329837 | 1682.2333333333333 | 152.5282490583647 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 11.09353585496142 | 13706.433333333332 | 1235.5333333333333 |
| BASE/peg/fJHVWw | 11.132080425390496 | 744.1666666666666 | 66.84884030925086 |
| DRESDEN/aipsrovers01/qS47Mw | 11.20435667062214 | 4406.3 | 393.26666666666665 |
| BASE/gt_dollar/TGjqRw | 11.207046454026186 | 7390.3 | 659.4333333333333 |
| BASE/tron_10x10/7ZTgDg | 11.31911744921297 | 2804.5 | 247.76666666666668 |
| DRESDEN/frogs_and_toads/GjchhQ | 11.556255240443896 | 936.9 | 81.07297567477508 |
| DRESDEN/chomp/-LcqYQ | 12.076929297368288 | 2656.4333333333334 | 219.9593346888437 |
| BASE/chomp/-LcqYQ | 12.07964736346516 | 2708.1666666666665 | 224.19252691576946 |
| BASE/asteroidsParallel/WauZiA | 12.186436436436438 | 3246.4666666666667 | 266.4 |
| DRESDEN/brawl/2kXtfQ | 13.666070012717038 | 161.650501616505 | 11.828601892576303 |
| BASE/chess_200/XsTpYA | 13.763345984001853 | 45.024328467639805 | 3.2713214155899943 |
| BASE/brawl/6Ymo_Q | 13.764371181929425 | 160.4506216045062 | 11.656952539550375 |
| DRESDEN/4pttc/9pB9AQ | 14.25641955412302 | 1179.1666666666667 | 82.71127699280191 |
| DRESDEN/breakthrough/z4hK7Q | 14.427230046948356 | 512.1666666666666 | 35.5 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 14.606959245283019 | 515.7 | 35.3050892619238 |
| BASE/minichess/8NQEiA | 14.643171951219513 | 1680.7 | 114.77704459108179 |
| STANFORD/pilgrimage/ObRZnQ | 14.670743056008563 | 637.4120862637913 | 43.44783926964982 |
| BASE/beatMania/qUHwvQ | 15.153064812286688 | 7399.5 | 488.3170560981301 |
| BASE/reversiSuicide/9OxJlg | 15.48428103321982 | 29.832856096424052 | 1.9266542652139251 |
| BASE/breakthrough/TGxk-g | 16.147613628380753 | 510.6666666666667 | 31.624900026659557 |
| DRESDEN/skirmish/RjGQYQ | 16.234109269528414 | 265.991133628879 | 16.38470760623418 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 16.308607644576817 | 3650.1666666666665 | 223.8184121058596 |
| BASE/breakthroughWalls/vOZaYA | 16.626630944390076 | 519.1493616879437 | 31.223966143490287 |
| DRESDEN/endgame/IJhh3Q | 16.702082518714224 | 421.26666666666665 | 25.22240362509579 |
| BASE/endgame/jYjfOA | 16.768474403142942 | 616.2333333333333 | 36.749516892117015 |
| BASE/reversi/d8UMeA | 16.983323285172855 | 30.55953610824141 | 1.7993849375122686 |
| DRESDEN/skirmish2/iPpWhQ | 17.044684972825298 | 296.1234625512483 | 17.373360846701726 |
| BASE/breakthroughSuicide/wZDpIg | 17.135235396991956 | 543.9666666666667 | 31.74550299800133 |
| STANFORD/skirmish/w4V6Vw | 17.172392369553712 | 41.001898544449254 | 2.3876637373569887 |
| BASE/duplicateStateLarge/dcjyuw | 17.245897683397683 | 4764.466666666666 | 276.26666666666665 |
| STANFORD/alquerquezero/uVgA_A | 17.70894470886076 | 1165.8 | 65.8311389620346 |
| BASE/asteroids/BKCmPQ | 17.775747753057317 | 8042.933333333333 | 452.46666666666664 |
| BASE/ttcc4_2player_small/Cv72TA | 17.934134675390034 | 1187.6 | 66.22008931547023 |
| DRESDEN/pawntoqueen/f_x6Aw | 18.1782893422192 | 22.846866049423834 | 1.2568215644121052 |
| BASE/pawnToQueen/-O1_JA | 18.29362553408126 | 23.452595109600907 | 1.282009138424115 |
| STANFORD/madness/UO_B3A | 18.7931856047984 | 43.352215928023995 | 2.306805074971165 |
| BASE/shmup/ssTNlg | 19.108207343412527 | 2949.0333333333333 | 154.33333333333334 |
| BASE/point_grab/V_osUg | 19.22402914778281 | 14421.866666666667 | 750.2 |
| DRESDEN/bidding-tictactoe/yW5vTA | 19.526520964614637 | 2685.1 | 137.51041493084486 |
| BASE/choicethroughalt/tt71Lg | 20.11589397644928 | 493.03333333333336 | 24.509640680675346 |
| STANFORD/freeforall/Lfp40Q | 20.13695201612903 | 1664.1 | 82.63912029323559 |
| BASE/knightazons/apnJBQ | 20.139160371764692 | 254.8496766882208 | 12.654434047087815 |
| BASE/dotsAndBoxes/EHwA_w | 20.87913492063492 | 613.2333333333333 | 29.37062937062937 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 21.051522428371598 | 615.7794740175327 | 29.251066098081022 |
| DRESDEN/knightazons/02I8BQ | 21.27846624970657 | 266.15779474017535 | 12.508316699933467 |
| BASE/chineseCheckers4/avfBcQ | 21.308158033161806 | 1242.1 | 58.29222770297294 |
| BASE/biddingTicTacToe/8mESVw | 21.346095973980308 | 2697.9666666666667 | 126.39157389507366 |
| DRESDEN/hallway/0H4l-Q | 21.6784682762314 | 380.3873204226526 | 17.546780315642273 |
| BASE/battlebrushes/arCwyA | 22.085790759034328 | 66.92441007865618 | 3.0302021244713795 |
| BASE/hallway/ckCJOw | 22.216833203883496 | 381.3 | 17.162662045522712 |
| BASE/gt_centipede/9fRMpw | 22.634567387687188 | 10882.7 | 480.8 |
| DRESDEN/tttcc4/sAvtFg | 23.13221757105943 | 696.2333333333333 | 30.097993467102192 |
| BASE/4pffa/Q3ADlg | 23.330523718737187 | 1263.9666666666667 | 54.17652350648053 |
| BASE/2pffa/6oHijA | 23.508238483278383 | 1663.4333333333334 | 70.7595907075959 |
| DRESDEN/racetrackcorridor/O0DoTA | 23.592246109839817 | 1374.3666666666666 | 58.25501566353396 |
| BASE/3pffa/pR0dzA | 23.64996550678087 | 1471.9666666666667 | 62.239696131676276 |
| BASE/racetrackcorridor/_RkdUg | 23.87135895833333 | 1399.5666666666666 | 58.62953462806889 |
| BASE/breakthroughHoles/nZk0Sg | 23.932462423588635 | 739.2666666666667 | 30.889703432189272 |
| BASE/ttcc4/Le0qjQ | 23.973413228109735 | 708.7666666666667 | 29.564695686954202 |
| BASE/tttcc4/8Bs2lg | 24.248125521425862 | 710.2333333333333 | 29.290236587804067 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 24.58757571035747 | 893.9 | 36.35575993868506 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 24.901836605446483 | 589.7803406553115 | 23.68421052631579 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 25.450841947565543 | 150.56666666666666 | 5.915979792608349 |
| STANFORD/chinook/osFbPA | 25.972363594024596 | 562.6812439585348 | 21.664614463043694 |
| BASE/chinook/XQh0IQ | 26.873209852941176 | 608.7 | 22.65081109889744 |
| DRESDEN/skirmish3/3LU8Nw | 27.411370046388335 | 459.56666666666666 | 16.76554896340244 |
| DRESDEN/knightstour/cGISAA | 27.466187948798 | 14662.366666666667 | 533.8333333333334 |
| BASE/2pffa_zerosum/o0_uZA | 27.605254175438596 | 1747.8666666666666 | 63.31644894694748 |
| BASE/chineseCheckers2/eCMR3Q | 27.839651507376523 | 2892.6 | 103.90216268452798 |
| BASE/checkersBarrelNoKings/rnKNeg | 28.231804709141276 | 678.7666666666667 | 24.04262404262404 |
| BASE/chineseCheckers1/gqtwHw | 28.24488169440242 | 3733.6 | 132.1867813218678 |
| BASE/checkersTorus/2vm1EQ | 28.604200574712646 | 552.3333333333334 | 19.309518260811664 |
| BASE/checkersTorusNoKings/pwb6oQ | 29.574155635838153 | 681.7 | 23.050531294760333 |
| BASE/copolymer_4_pie/IN5_jA | 29.64724671201814 | 1452.6666666666667 | 48.9983667211093 |
| BASE/god/qF06gw | 30.359998250939434 | 109.55571109555711 | 3.608554591802953 |
| BASE/skirmishNew/sibw2g | 30.8764095413687 | 170.02766574447517 | 5.506717531929009 |
| BASE/speedChess/bPnisA | 31.280920000140327 | 158.17890947873616 | 5.0567217804983535 |
| BASE/chineseCheckers3/-1rZdQ | 31.79422270335288 | 2348.9666666666667 | 73.88029858704346 |
| DRESDEN/god/2EDD5w | 32.03025871060329 | 108.68550859885349 | 3.3932135728542914 |
| BASE/chineseCheckers6/rREH3A | 32.59168703703704 | 1446.7333333333333 | 44.38964241676942 |
| BASE/copolymer_4/2LDVhQ | 32.634827766688844 | 1634.1333333333334 | 50.073294243070364 |
| DRESDEN/Goldrush/VeWczQ | 34.21419164012739 | 1432.1 | 41.856900056653444 |
| DRESDEN/gt_prisoner/huCp4w | 34.76180062132113 | 7086.3 | 203.85307646156923 |
| BASE/wallmaze/uxNQ9g | 35.57462900188324 | 838.6666666666666 | 23.57485348961108 |
| BASE/queens06ug/7Lq3tw | 35.594181865593804 | 2653.1666666666665 | 74.53933557695511 |
| DRESDEN/knightthrough/J7Fc_Q | 37.355858974358966 | 1261.3666666666666 | 33.76623376623377 |
| BASE/ttcc4_2player/_aH_Mw | 37.867725082240845 | 786.9404353188227 | 20.781296832850433 |
| BASE/ruleDepthLinear/OUBJpQ | 39.193518443780775 | 32371.233333333334 | 825.9333333333333 |
| BASE/sheepAndWolf/g4THrg | 41.18552848279752 | 810.1666666666666 | 19.671148981493808 |
| BASE/amazons_8x8/7SOsIw | 41.40822359911947 | 391.0202993233559 | 9.44305901911887 |
| BASE/quad_5x5/JAEP5g | 41.91563444444444 | 83.53333333333333 | 1.992892018467466 |
| STANFORD/ttcc4/Cx9SGw | 42.27724925373134 | 943.5 | 22.316967557124777 |
| BASE/pacman3p/wW7UVQ | 42.377328502913315 | 923.3025565814473 | 21.787653662924342 |
| DRESDEN/pacman3p/rBnk8Q | 42.44390197823937 | 952.3666666666667 | 22.438244889806246 |
| BASE/roshambo2/KNPokQ | 42.5235629173305 | 13344.866666666667 | 313.8228725709143 |
| BASE/pacman2p/4LEdQg | 42.642912429378526 | 921.4333333333333 | 21.608123855501916 |
| DRESDEN/bomberman2p/x4h6jQ | 43.45538818076477 | 1250.0666666666666 | 28.766666666666666 |
| DRESDEN/roshambo2/jgSlkQ | 43.83092958753306 | 13624.666666666666 | 310.84594360375974 |
| STANFORD/platformjumpers/HEQskA | 44.2493613992638 | 236.37636236376363 | 5.3419157901722025 |
| BASE/gt_coordination/IVMOzA | 44.382386642658375 | 9037.733333333334 | 203.63333333333333 |
| BASE/queens08ug/kJ_ZFQ | 44.544042162162164 | 1647.8 | 36.99260147970406 |
| DRESDEN/quad_5x5/JAEP5g | 44.99858394968356 | 90.37347713201518 | 2.008362690547526 |
| STANFORD/knightstourmedium/x1wu8Q | 45.241532618730126 | 14701.5 | 324.95583480550647 |
| DRESDEN/gt_chicken/CeuKtw | 45.285634492033935 | 7294.3 | 161.0731544742543 |
| BASE/bomberman2p/4CClwA | 47.008445327102805 | 1339.7 | 28.49913437208683 |
| BASE/knightsTour/mvtVIg | 48.97967528224838 | 13592.133333333333 | 277.5055827750558 |
| BASE/ttcc4_2player_alt/ZEJvYA | 49.115453767123284 | 955.0 | 19.44398202097553 |
| BASE/2pttc/unkkYA | 51.37266195069668 | 1596.2 | 31.071000399627014 |
| STANFORD/knightstour/cEwgNA | 52.243271848924024 | 14538.333333333334 | 278.2814479034731 |
| BASE/gt_prisoner/klthDw | 52.729036491530294 | 8161.366666666667 | 154.7793627516331 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 52.85446666666667 | 1511.0333333333333 | 28.58856457417033 |
| BASE/mummyMaze2p_2007/YGA3Vw | 56.33262376578645 | 1635.0333333333333 | 29.02462594554967 |
| BASE/gt_staghunt/xPjLRA | 57.408575750801106 | 8559.333333333334 | 149.09503016566114 |
| BASE/knightwar/DVGY4Q | 57.46039180387852 | 1744.0666666666666 | 30.352502165656027 |
| BASE/gt_chicken/gmepTQ | 59.22890497486566 | 7592.133333333333 | 128.18290894547394 |
| BASE/kitten_escapes_from_fire/uW-YiA | 60.59138068535825 | 4536.933333333333 | 74.8775367389783 |
| BASE/queens12ug/u6Bkmg | 62.110134725848575 | 792.2 | 12.754762221926201 |
| BASE/3pttc/0sol9g | 63.0502382505176 | 1353.4333333333334 | 21.465951134962168 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 64.82040757709251 | 4903.6 | 75.64901522977972 |
| DRESDEN/Runners/3bOCQw | 65.17013869948602 | 15355.233333333334 | 235.6176254916339 |
| BASE/queens16ug/gT-ylw | 66.56339915573034 | 436.85210492983566 | 6.562947662990972 |
| BASE/connect5/d-BVQg | 71.51597651806021 | 455.15149495016834 | 6.364333077871447 |
| BASE/4pttc/AL1k2Q | 71.94522589147287 | 1029.5333333333333 | 14.309960398016573 |
| BASE/amazonsSuicide_10x10/XIbQkg | 74.80747878202138 | 298.10704525761514 | 3.9849898714840766 |
| DRESDEN/mummymaze2p/k-8edg | 75.4130355263158 | 1145.4 | 15.188355594044566 |
| BASE/mummymaze2p/vpjDdA | 75.61204845814979 | 1143.5 | 15.123251165889407 |
| DRESDEN/smallest/9kaGFw | 77.5449355736592 | 2536.866666666667 | 32.7147949495286 |
| DRESDEN/ghostmaze2p/HY0UwA | 77.66990849673203 | 2507.0666666666666 | 32.278481012658226 |
| DRESDEN/connect5/1kYzSg | 77.97174725022809 | 464.98916847192135 | 5.963559685018615 |
| DRESDEN/snake_2008/E56l3A | 79.25614814814814 | 403.46666666666664 | 5.090667110297788 |
| BASE/amazons_10x10/Bun8dA | 80.87887365406404 | 302.75657478084065 | 3.7433332229105245 |
| BASE/snake_2008/i6K26g | 82.3776608317849 | 419.55268157728074 | 5.0930395126660235 |
| BASE/ghostMaze2p/W-NU-w | 83.942235 | 2571.4 | 30.632970399227517 |
| BASE/snake_2008_tweaked/bX0NJQ | 85.01853070175437 | 428.3333333333333 | 5.038117335101094 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 86.13675645879734 | 2576.9 | 29.916380717593363 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 93.12432016908214 | 2568.4333333333334 | 27.58069351453982 |
| BASE/knightThrough/gcwFjA | 95.86735732177264 | 1105.6333333333334 | 11.532948901703277 |
| DRESDEN/battle/8oAvhQ | 97.59351724137932 | 92.4 | 0.9467841984982044 |
| BASE/battle/8oAvhQ | 98.12460843774994 | 91.20901093041856 | 0.9295222919363941 |
| DRESDEN/smallest_4player/ADDROA | 101.35655863069336 | 3880.5333333333333 | 38.28596181400153 |
| BASE/smallest_4player/ADDROA | 104.84812694775435 | 3811.8333333333335 | 36.35575993868506 |
| BASE/checkers-mustjump-torus/uSApKQ | 120.31608953342504 | 175.52163189120725 | 1.458837571698551 |
| BASE/knightsTourLarge/M8jgLA | 128.1777975678204 | 13699.466666666667 | 106.87862427514497 |
| BASE/amazonsTorus_10x10/Uxc08g | 133.5489467368842 | 204.68635424305046 | 1.532669176690101 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 148.19633848580952 | 189.8143518981435 | 1.2808302407304017 |
| BASE/kalaha5x2x3/WviNsw | 148.73558823529413 | 2443.0 | 16.42512077294686 |
| BASE/four_way_battle/xSOQXA | 155.19466986634671 | 257.50758257507584 | 1.659255326209597 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 156.14907872847687 | 191.05542040190622 | 1.2235449735449735 |
| DRESDEN/four_way_battle/xSOQXA | 157.77230851276582 | 260.3159789347377 | 1.649947201689546 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 161.88239148148148 | 965.5333333333333 | 5.964412339706418 |
| STANFORD/knightstourbig/TQUI2g | 172.84042919750397 | 13232.933333333332 | 76.56156256249584 |
| BASE/checkers-mustjump/T-8UuQ | 181.88475614035087 | 225.76666666666668 | 1.2412621676357223 |
| BASE/wargame02/BkVqqQ | 200.48333742410608 | 439.4520182660578 | 2.191962803055463 |
| DRESDEN/nim4/F5YAYg | 233.2971511463845 | 7346.166666666667 | 31.488454233447737 |
| BASE/knightfight/SJRkAg | 239.15887431693992 | 2911.3333333333335 | 12.173218918379565 |
| BASE/nim4/twk16w | 240.0690593617021 | 7515.4 | 31.305158690511874 |
| BASE/nim3/1OwUqw | 243.56933688699363 | 7608.5 | 31.23751165578793 |
| DRESDEN/nim3/sG_axA | 250.87051295896327 | 7739.666666666667 | 30.851241046143596 |
| DRESDEN/knightfight/4_Ly4w | 253.0722187327824 | 3058.3 | 12.084692722551434 |
| DRESDEN/nim2/z5_exA | 287.8338553846154 | 8723.4 | 30.30706720841937 |
| BASE/nim2/eF2Qqw | 289.38534599999997 | 8677.8 | 29.98700563089328 |
| BASE/crossers3/O0rORg | 292.0769897959184 | 948.3333333333334 | 3.246860815690952 |
| DRESDEN/crossers3/xiPTxg | 298.18539999999996 | 969.0333333333333 | 3.2497678737233056 |
| DRESDEN/guess/PhxGhg | 313.62602813852817 | 801.6333333333333 | 2.5560165975103732 |
| BASE/wargame03/klXI8w | 319.67480000000006 | 646.6 | 2.022680549108031 |
| BASE/nim1/hin2Qw | 319.7580592838686 | 9619.266666666666 | 30.082952993303795 |
| DRESDEN/nim1/M9BALA | 323.1265953672317 | 9525.566666666668 | 29.479364444888578 |
| BASE/guess/SPpk1A | 323.7429789473684 | 816.8 | 2.5229890781130697 |
| DRESDEN/small_dominion/yB5GJA | 333.1079051997956 | 132.57146664889717 | 0.39798355001326613 |
| DRESDEN/gt_ultimatum/pAiiQw | 335.7227887283237 | 7737.3 | 23.046692866182642 |
| DRESDEN/hanoi/RQ0jiA | 343.0595693623639 | 7347.766666666666 | 21.418340494986843 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 346.31212292923567 | 190.96030132328923 | 0.5514109633473889 |
| DRESDEN/quartosuicide/WIU1oQ | 348.9077016393443 | 1415.4 | 4.056660238079404 |
| DRESDEN/quarto/OQzRYQ | 350.4244 | 1403.6 | 4.0054288457082325 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 354.3366060995789 | 193.7075056659112 | 0.5466765282824709 |
| BASE/hanoi/iGLsJg | 356.51024461778474 | 7611.6 | 21.35029810478633 |
| BASE/skirmishZeroSum/zh4hcw | 357.173330286019 | 164.650201646502 | 0.4609812314784327 |
| BASE/quartoSuicide/-23jUg | 360.77462166666663 | 1436.3 | 3.9811558622520073 |
| BASE/quarto/EwBMVQ | 367.1795931034483 | 1408.4 | 3.8357251504530123 |
| BASE/wargame01/_GZFZg | 385.7148587064676 | 853.6333333333333 | 2.213120169122019 |
| BASE/gt_ultimatum/GE-uOA | 390.9041799043062 | 8163.366666666667 | 20.883293365307754 |
| BASE/hitori/S8Gsyg | 397.46583703703703 | 115.06666666666666 | 0.28950077200205865 |
| DRESDEN/chinesecheckers2/06E6-Q | 401.15104121212124 | 1469.4666666666667 | 3.6631256452096306 |
| DRESDEN/hitori/S8Gsyg | 407.29600992427186 | 120.21329778370271 | 0.2951497064900141 |
| BASE/checkers/rOC3Xg | 423.5337826086957 | 320.5 | 0.7567283016384813 |
| BASE/kalaha6x2x4/XS81Mg | 501.87763043478265 | 2293.5 | 4.569839062189549 |
| DRESDEN/battlebrushes/QHXV4A | 520.4977500749975 | 92.19692676910769 | 0.1771322292091046 |
| BASE/checkers-newgoals/0XkFiA | 526.9418638426339 | 232.79224025865804 | 0.4417797412432944 |
| BASE/checkersSmall/SYmq8w | 551.4262785258761 | 425.0049996666889 | 0.77073766016892 |
| DRESDEN/knightmove/97Ipcw | 691.4924192982456 | 1745.0333333333333 | 2.5235755080355955 |
| BASE/knightmove/jBaJEw | 704.7767733333334 | 1751.4333333333334 | 2.485089463220676 |
| BASE/checkersTiny/Lr48cg | 738.8315903358776 | 581.5472817572747 | 0.7871175100849431 |
| BASE/cylinder-checkers/hlldmw | 768.8901666666667 | 219.3 | 0.2852162890191729 |
| DRESDEN/cylinder-checkers/clOO3Q | 792.885670799449 | 219.73736835088656 | 0.27713625866050806 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 848.8429161826042 | 186.44180775896547 | 0.21964229683087544 |
| DRESDEN/checkers-newgoals/IJOqXQ | 881.8438696679481 | 242.050529964669 | 0.274482295891915 |
| DRESDEN/chinesecheckers4/-oVNYg | 945.4059333333335 | 704.5666666666667 | 0.7452530620180157 |
| DRESDEN/checkers-mustjump/HUr33w | 1049.7269467749768 | 239.4840343977068 | 0.2281393605579637 |
| BASE/max_knights/2fq3Ag | 1080.4267647058823 | 1197.5 | 1.1083583257269527 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 1211.0708175010557 | 474.63502433171124 | 0.3919135177504164 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 1242.401225931108 | 476.38083816376843 | 0.3834355828220859 |
| DRESDEN/max_knights/hCipiA | 1262.2031479166667 | 1316.7666666666667 | 1.04322879311469 |
| DRESDEN/satlike_20v_91c/yeuENQ | 1417.6698470566505 | 497.6184924890917 | 0.3510115514710575 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 1454.8314266666666 | 459.6333333333333 | 0.3159358018450651 |
| DRESDEN/pancakes88/aD3E7g | 1672.4045939196526 | 17074.433333333334 | 10.209511140671767 |
| DRESDEN/blobwars/ZaMluQ | 2099.48878074795 | 292.5138324111726 | 0.13932621840777998 |
| BASE/blobwars/0XT15Q | 2127.964504732702 | 297.1270497267031 | 0.13962970203021588 |
| DRESDEN/pancakes6/SZXMyQ | 2146.979363398693 | 21890.433333333334 | 10.195921631347462 |
| DRESDEN/pancakes/hl9aiQ | 2178.8961170418006 | 22527.066666666666 | 10.33875203616901 |
| BASE/pancakes/yUgbXw | 2358.7567780167265 | 21873.733333333334 | 9.273416206873629 |
| BASE/pancakes6/QZTdnw | 2401.04736969697 | 22006.666666666668 | 9.165444607385682 |
| DRESDEN/hanoi_6_disks/MeubgQ | 2957.2884 | 5913.0 | 1.999466808850973 |
| BASE/hanoi_6_disks/MeubgQ | 2984.9632877192985 | 5620.1 | 1.8828037259694788 |
| DRESDEN/fizzbuzz/t1xHzQ | 2993.500482051282 | 19373.8 | 6.471954862263525 |
| BASE/racer4/0vs7Ww | 3113.1102888888886 | 863.6333333333333 | 0.27741816164231553 |
| DRESDEN/chinesecheckers3/QsCb2A | 3414.842666666667 | 1306.7 | 0.3826530612244898 |
| BASE/ruleDepthExponential/UamhHQ | 5456.080342276646 | 611.3769047568867 | 0.1120542342493767 |
| DRESDEN/checkers/jIDMIg | 8595.339288690378 | 245.39182027265758 | 0.028549404744911067 |
| BASE/colonelBlotto/jip21A | 8683.861963636364 | 3124.1 | 0.3597592883307169 |
| BASE/gt_attrition/kD_SCA | 8726.816025 | 2158.366666666667 | 0.24732578989674148 |
| DRESDEN/merrills/aYEzwA | 10457.982000000002 | 205.3 | 0.01963093835885355 |
| BASE/merrills/pku8Tg | 11341.07092860476 | 200.9866008932738 | 0.017722012511740833 |
| BASE/colonelBlottoVariant/X-n-KQ | 14285.556557142856 | 6494.7 | 0.45463401961421057 |
| BASE/pancakes88/l2Xaig | 15585.620967647059 | 17653.7 | 1.1326914748309291 |
| BASE/colonelBlottoVariant2/jruwGw | 15851.008285714286 | 6932.0 | 0.43732233780026863 |
| BASE/gt_tinfoil/Q8DyKg | 21358.041166666666 | 10489.166666666666 | 0.4911108928396032 |
| DRESDEN/hanoi7/51zz5Q | 22514.920400000003 | 6346.8 | 0.28189306856265856 |
| DRESDEN/crisscross/GsY16g | 22943.069099999997 | 1272.6 | 0.05546773164711429 |
| BASE/crisscross/ICagEg | 23090.59866666667 | 1284.6666666666667 | 0.05563591854901524 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 23913.748833333335 | 6744.5 | 0.2820344081978001 |
| BASE/hanoi7_bugfix/3gdnFw | 23956.359318518516 | 6584.633333333333 | 0.2748595162472514 |
| BASE/solitaireChineseCheckers/-ET6gw | 26755.2936 | 1713.6 | 0.06404713869407884 |
| DRESDEN/racer/vk_ZBA | 27428.18 | 2203.0666666666666 | 0.08032128514056225 |
| BASE/racer/QQYQNw | 27462.482666666667 | 2182.3333333333335 | 0.07946598855689765 |
| BASE/ad_game_2x2/D0aWqg | 30503.00906666667 | 813.0666666666667 | 0.02665529374133703 |
| DRESDEN/crissrace/KWb9bw | 31726.982 | 887.6666666666666 | 0.027978288847854065 |
| BASE/crissrace/ERWGDA | 33095.4606 | 942.3 | 0.02847218267752406 |
| DRESDEN/kalaha_2009/gcC8uA | 53833.66216666667 | 2360.866666666667 | 0.04385484047801776 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 54125.38506666667 | 14686.7 | 0.27134587554269174 |
| BASE/kalaha_2009/dRiN3g | 54536.47906666667 | 2414.133333333333 | 0.04426639516610965 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 66050.4278 | 4975.8 | 0.07533335007407779 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 67181.0626 | 4823.8 | 0.07180297264306743 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 85279.15699999999 | 4233.266666666666 | 0.04964010920824026 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 100819.34850000001 | 5752.066666666667 | 0.057053202110968475 |
| BASE/twisty-passages/DiZmmg | 128171.72025 | 6747.833333333333 | 0.052646818815973044 |
| DRESDEN/twisty-passages/j7NPyg | 131256.01636666668 | 6771.533333333334 | 0.051590270075063845 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Infinity | 343.8 | 0.0 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | Infinity | 2615.4 | 0.0 |
| BASE/amazonsTorus/soxT8g | Infinity | 0.28061860813170364 | 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 |
| DRESDEN/chinesecheckers6/yTbPDA | Infinity | 992.6666666666666 | 0.0 |
| BASE/gt_two_thirds_2p/1APDGg | Infinity | 2510.8333333333335 | 0.0 |
Games with errors:
| Game | GGP_BASE_PROVER:2015-04-26 error message | REKKURA_GENERIC_FORWARD_PROVER:1.0.0 error message |
| DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | |
| DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | |
| BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | |
| BASE/gt_two_thirds_4p/DStnxQ | Test process timed out after 240 seconds | |
| BASE/queens/HyJJnQ | IllegalArgumentException: too many occurrences: 2147483765 | |
| 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 | |
| DRESDEN/queens/mW2wHQ | IllegalArgumentException: too many occurrences: 2147483765 | |
| BASE/gt_two_thirds_6p/867v3Q | Test process timed out after 240 seconds | |
| DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | |
| BASE/slaughter/cOch8A | Test process timed out after 240 seconds |