Game-by-game performance:
| Game | Perf ratio | PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per second | REKKURA_BACKWARD_PROVER:1.0.0 states per second |
| BASE/quad/tw-Ufg | 0.008010201469738916 | 1.4965579167913798 | 186.83149511845656 |
| DRESDEN/quad/JPe6fg | 0.008372387640096715 | 1.5037593984962405 | 179.60938541527796 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 0.008393054784480778 | 3.963627885287946 | 472.25092496916767 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 0.011064846516901917 | 0.4417839234830245 | 39.926800865080686 |
| BASE/quad_7x7/q-JOXg | 0.01294162811649234 | 8.325349367339522 | 643.3 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 0.013022305596957393 | 0.5139538469445444 | 39.46719289590528 |
| DRESDEN/satlike_20v_91c/yeuENQ | 0.013728736013881547 | 0.5382565869149823 | 39.20656543841579 |
| DRESDEN/quad_7x7/q-JOXg | 0.014005695745368559 | 8.971114981433407 | 640.5333333333333 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 0.016653921177461544 | 0.2853881278538813 | 17.13639237347353 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 0.017146499739223213 | 0.659043727551323 | 38.43605036447979 |
| BASE/queens31lg/0gID-A | 0.019581247119299067 | 0.732820359081976 | 37.424600926450495 |
| BASE/sudokuGrade2/u80Tfw | 0.07928052474596621 | 15.647889199627114 | 197.3736835088655 |
| BASE/sudokuGrade6H/ieE_9A | 0.07964480232395914 | 14.614821226446502 | 183.5 |
| BASE/sudokuGrade4/DTy07w | 0.08204620271081342 | 15.867735604271315 | 193.4 |
| STANFORD/sudoku/oJ1qyQ | 0.08217720525805489 | 15.29865637887455 | 186.16666666666666 |
| BASE/sudokuGrade6E/ihYFZA | 0.082928674933043 | 14.63089485085819 | 176.42745241825273 |
| BASE/sudokuGrade3/eI8dvg | 0.08469518515878385 | 15.623438488956994 | 184.46666666666667 |
| BASE/sudokuGrade5/BQfUQA | 0.08539462400421771 | 16.16927837109492 | 189.34773189347732 |
| BASE/battlebrushes/arCwyA | 0.08564631309621092 | 8.55608092894593 | 99.90016638935109 |
| BASE/sudokuGrade1/tDRNRw | 0.0857170725972473 | 16.242843829050727 | 189.49368354388187 |
| DRESDEN/small_dominion/yB5GJA | 0.09111423043362799 | 1.8270799347471451 | 20.052629825788614 |
| STANFORD/duidoku/3SoMaA | 0.09514608272375377 | 15.296940611877625 | 160.77320446592233 |
| BASE/blokbox_simple/JBx4bg | 0.10404860354789286 | 0.7545271629778671 | 7.25167986161932 |
| STANFORD/selectivesukoshi/3xmXYg | 0.12460171064559282 | 50.62152164494951 | 406.26666666666665 |
| DRESDEN/grid_game2/kypTYQ | 0.13007644643137745 | 203.95986800439985 | 1568.0 |
| STANFORD/multiplesukoshi/vLSQPg | 0.1312006725555449 | 48.848755456332675 | 372.32092263591215 |
| DRESDEN/cubicup_3player/awDtsQ | 0.14848777348777348 | 61.5271806152718 | 414.3585641435856 |
| BASE/cubicup_3player/e2yA_g | 0.15943179853415287 | 63.24769235895898 | 396.70688620758614 |
| BASE/slidingpieces/uFJWEw | 0.18109237243186854 | 145.94234294284286 | 805.9 |
| DRESDEN/slidingpieces/s9_44g | 0.18829875518672198 | 151.26162461251292 | 803.3065564481184 |
| DRESDEN/CephalopodMicro/H3XQfg | 0.19458858413639735 | 17.499416686110465 | 89.93033565547815 |
| BASE/othello-comp2007/86ZoMw | 0.2160271716300767 | 4.311202493864827 | 19.956760352569432 |
| BASE/othelloHoles/c0qAzw | 0.21988835132496046 | 4.751691140075895 | 21.609562814237673 |
| BASE/snake2p/I3wWPQ | 0.2209877906024535 | 238.7920402653245 | 1080.5666666666666 |
| BASE/simultaneousWin2/PfjRjw | 0.22156787762906308 | 289.7 | 1307.5 |
| BASE/othelloSuicide/B442jg | 0.22190438176334928 | 4.457158062799361 | 20.085939842110523 |
| BASE/cephalopodMicro/9l2D3g | 0.22657965734479402 | 17.694691592522243 | 78.0947936804213 |
| BASE/futoshiki6/JmvXNA | 0.2342342811264211 | 125.9748050389922 | 537.8154061531283 |
| DRESDEN/golden_rectangle/1uloXw | 0.2374305095588045 | 112.45916938870742 | 473.6508783040565 |
| BASE/golden_rectangle/_nYzfw | 0.24622143169239732 | 112.7 | 457.7180760641312 |
| DRESDEN/statespacelarge/8-y5HQ | 0.24807065909270495 | 941.8333333333334 | 3796.633333333333 |
| BASE/blocksWorldParallel/RseaAQ | 0.24966132275010197 | 421.9526015799473 | 1690.1 |
| BASE/lightsOnSimul4/9FeASw | 0.2523048315138933 | 321.7559414686177 | 1275.2666666666667 |
| BASE/coins_atomic/AA3SSw | 0.2525262435004415 | 343.2 | 1359.0666666666666 |
| BASE/conn4/va9Y7A | 0.2550800056650363 | 294.923502549915 | 1156.2 |
| BASE/stateSpaceLarge/0Ge_CQ | 0.25739361177599085 | 957.0666666666667 | 3718.3 |
| BASE/coins/QnGtnQ | 0.2685432726158621 | 369.17538830744616 | 1374.7333333333333 |
| DRESDEN/coins/QwFP9w | 0.27072796284467715 | 366.8544381853938 | 1355.0666666666666 |
| STANFORD/triplesukoshi/Iu9mbA | 0.2711950423160012 | 356.0881303956535 | 1313.0333333333333 |
| BASE/lightsOnSimultaneous/_VN6lw | 0.271603270049321 | 402.0 | 1480.1 |
| BASE/futoshiki5/TJ4BZg | 0.2800723941998043 | 219.53007832027996 | 783.8333333333334 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 0.2812072912926395 | 211.35772845430913 | 751.6082797240092 |
| BASE/nineBoardTicTacToe/wRmqqA | 0.2896186180513284 | 205.4264857838072 | 709.3 |
| BASE/withConviction/3Xm54A | 0.29028478124129226 | 443.9518682710576 | 1529.3666666666666 |
| STANFORD/nineboardtictactoe/y28P-A | 0.2975672000437737 | 213.81195213811952 | 718.5333333333333 |
| BASE/cubicup/4wNWJA | 0.30127531380753136 | 139.2 | 462.03586427571497 |
| BASE/zhadu/DlA8iQ | 0.30135247861363323 | 11.356445865387817 | 37.68492602958816 |
| DRESDEN/cubicup/SBn_lw | 0.304281468344798 | 140.94317613731045 | 463.2 |
| DRESDEN/lightsout2/LFtfyQ | 0.308765221237251 | 899.7333333333333 | 2913.9724018398774 |
| BASE/queens16ug/gT-ylw | 0.31064615384615385 | 84.13052898236725 | 270.8243058564714 |
| DRESDEN/lightsout/XgLpzQ | 0.3189646877706148 | 884.0 | 2771.4666666666667 |
| BASE/futoshiki4/BaCwSw | 0.3230688562099292 | 451.8333333333333 | 1398.5666666666666 |
| DRESDEN/quad_5x5/JAEP5g | 0.334377791370159 | 70.19704433497537 | 209.93333333333334 |
| BASE/majorities/ibJzSQ | 0.34363777529474676 | 133.31111481419762 | 387.94080394640355 |
| BASE/quad_5x5/JAEP5g | 0.3520718468836905 | 71.73333333333333 | 203.74629203746292 |
| STANFORD/duikoshi/tpw1sw | 0.361446683438364 | 483.7 | 1338.2333333333333 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 0.3662061416657058 | 105.86666666666666 | 289.09036365454483 |
| BASE/ticTacHeaven/18n58A | 0.36719787516600266 | 258.06666666666666 | 702.8 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 0.3700392190650827 | 521.5826139128695 | 1409.5333333333333 |
| BASE/blockerParallel/7-nDJA | 0.3828494596882625 | 256.26666666666665 | 669.3666666666667 |
| DRESDEN/blockerparallel/dVQgSg | 0.39239703577470625 | 264.8068526480685 | 674.844171860938 |
| BASE/ticTacHeavenFC/mrletw | 0.3939685143757165 | 251.47485251474853 | 638.3120562647912 |
| DRESDEN/tictactoex9/rFkD4w | 0.3961278523262025 | 253.57464253574642 | 640.1333333333333 |
| DRESDEN/connect4/T0-rHQ | 0.39795310015898255 | 267.0 | 670.9333333333333 |
| BASE/lightsOut/5P1ZBw | 0.39972696650888095 | 897.9333333333333 | 2246.366666666667 |
| BASE/tictactoex9/BI26ow | 0.40136231281198004 | 257.3 | 641.0666666666667 |
| BASE/connect4/50bOyw | 0.4089716737977459 | 268.9397726893977 | 657.6 |
| BASE/queens08lg/Ru7eqQ | 0.4279823197048982 | 233.99220025999134 | 546.7333333333333 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 0.42843869980461546 | 1045.2333333333333 | 2439.633333333333 |
| DRESDEN/tictactoelarge/IwXcbg | 0.4333939761471599 | 1072.0 | 2473.5 |
| BASE/reversi/d8UMeA | 0.433553090534957 | 15.527330762069424 | 35.814139262415125 |
| BASE/qyshinsu/R08Lzw | 0.43618187586106394 | 92.27231830450864 | 211.54551211545513 |
| BASE/breakthroughSmallHoles/bxclRw | 0.4362998198163042 | 477.61741275290825 | 1094.7 |
| BASE/reversiSuicide/9OxJlg | 0.4476927210262896 | 15.963473971872292 | 35.65721134638434 |
| BASE/wallmaze/uxNQ9g | 0.44913416104447784 | 319.53333333333336 | 711.4429519016032 |
| BASE/queens12ug/u6Bkmg | 0.4517332361612345 | 217.17828217178283 | 480.76666666666665 |
| DRESDEN/mimikry/GJEhwA | 0.45840686173923745 | 372.3333333333333 | 812.2333333333333 |
| STANFORD/multipletictactoe/_bkafQ | 0.4638315217078971 | 286.95710142995233 | 618.6666666666666 |
| BASE/tictactoe_3d_small_6player/g_9lww | 0.4665172887915669 | 305.3666666666667 | 654.5666666666667 |
| BASE/lightsOnParallel/SC6enA | 0.4759081887997239 | 1838.4333333333334 | 3863.0 |
| BASE/3pConnectFour/PqXOFQ | 0.4832025920873124 | 377.8 | 781.8666666666667 |
| BASE/tictactoe_3d_small_2player/oOryKA | 0.49094328822014144 | 400.2199926669111 | 815.2061597946736 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 0.4924249869399051 | 311.6229459018033 | 632.8333333333334 |
| BASE/ticTacToeNoVars/XT03NA | 0.49699013474138826 | 1120.0666666666666 | 2253.7 |
| DRESDEN/catcha_mouse/cHv4dw | 0.49865539761813293 | 605.7333333333333 | 1214.7333333333333 |
| DRESDEN/statespacemedium/dVJZ_w | 0.5043934781804961 | 2728.5333333333333 | 5409.533333333334 |
| BASE/stateSpaceMedium/3bUoIw | 0.5061861913825921 | 2730.233333333333 | 5393.733333333334 |
| BASE/catcha_mouse/cHv4dw | 0.5077712362858934 | 619.3793540215327 | 1219.8 |
| STANFORD/sukoshi/4LYZZQ | 0.5134060426282748 | 1338.4666666666667 | 2607.0333333333333 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 0.516429898630961 | 414.0390640623958 | 801.7333333333333 |
| BASE/ticTacToeLarge/TZC0dg | 0.5172402469460133 | 1050.0666666666666 | 2030.1333333333334 |
| BASE/connectFourSimultaneous/7ITr3g | 0.5193871293705229 | 283.7238758708043 | 546.2666666666667 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 0.5198058556442774 | 110.655601106556 | 212.87871212878713 |
| STANFORD/breakthrough/d5j0cQ | 0.522022484451784 | 472.91756941435284 | 905.9333333333333 |
| BASE/hidato19/rRHSmA | 0.5221665213599506 | 318.15606146461784 | 609.3 |
| BASE/factoringGeorgeForman/HGRorQ | 0.5227178077627853 | 3347.0666666666666 | 6403.2 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.5264688408742692 | 561.2333333333333 | 1066.0333333333333 |
| DRESDEN/pawn_whopping/4ogBkg | 0.535174525895364 | 598.1467284423852 | 1117.6666666666667 |
| BASE/ticTacToeLargeSuicide/727_8g | 0.5383227677367143 | 1064.3 | 1977.0666666666666 |
| BASE/brain_teaser_extended/ZDp94A | 0.5459757285493952 | 1793.5666666666666 | 3285.0666666666666 |
| DRESDEN/sum15/CsgWKg | 0.555764758733682 | 2804.1666666666665 | 5045.6 |
| DRESDEN/brain_teaser_extended/ZDp94A | 0.5641761860656581 | 1827.3666666666666 | 3239.0 |
| BASE/sum15/QZ07Kg | 0.5642819788032649 | 2841.366666666667 | 5035.366666666667 |
| DRESDEN/doubletictactoe/lJzgmQ | 0.5693093704823237 | 1155.1666666666667 | 2029.0666666666666 |
| DRESDEN/doubletoetictac/V89gKQ | 0.5695383459673564 | 1111.9666666666667 | 1952.4 |
| DRESDEN/peg/Vo31eg | 0.5708314606741574 | 423.3666666666667 | 741.6666666666666 |
| DRESDEN/blocker/S815zQ | 0.5718984962406014 | 2231.1666666666665 | 3901.3333333333335 |
| BASE/doubletoetictac/fu35bg | 0.5758176751183983 | 1122.6333333333334 | 1949.6333333333334 |
| DRESDEN/bunk_t/7-tPfA | 0.5813513965546079 | 1158.6333333333334 | 1993.0 |
| BASE/doubletictactoe/HH1htg | 0.5864086946136391 | 1145.6666666666667 | 1953.7 |
| DRESDEN/peg_bugfixed/u_B7MA | 0.5929709099724695 | 430.3189893670211 | 725.7 |
| DRESDEN/pentago_2008/hLjVpQ | 0.5981681931723565 | 239.45868471050966 | 400.31998933368885 |
| BASE/bunk_t/xbpfIA | 0.6011344140611323 | 1144.6 | 1904.0666666666666 |
| DRESDEN/tictactoe_3player/ESLQQQ | 0.6043379934210527 | 587.9 | 972.8 |
| STANFORD/dualhunter/1rPZjQ | 0.6094621063733614 | 943.8333333333334 | 1548.6333333333334 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 0.6109974196992616 | 457.8 | 749.2666666666667 |
| BASE/tictactoe2/bhrDoQ | 0.6240645923591965 | 2429.5666666666666 | 3893.133333333333 |
| BASE/tpeg/QNs7Lw | 0.6353949611668877 | 447.23333333333335 | 703.8666666666667 |
| DRESDEN/tpeg/h-Scbg | 0.6411934161338814 | 463.3691087260849 | 722.6666666666666 |
| DRESDEN/blocksworldparallel/2JfVaw | 0.6469364524865565 | 1648.2 | 2547.7 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 0.6483976379820303 | 516.3666666666667 | 796.3734542181927 |
| DRESDEN/backgammon/mqCW0Q | 0.6499510173112578 | 202.9729369417411 | 312.28959034698846 |
| DRESDEN/chickentictactoe/Ipbo-g | 0.6568941921135917 | 2047.9333333333334 | 3117.6 |
| DRESDEN/hallway/0H4l-Q | 0.6581903869771007 | 182.20903879482736 | 276.8333333333333 |
| BASE/pentagoSuicide/SBgNhw | 0.66277737668697 | 246.63333333333333 | 372.1209293023566 |
| BASE/snakeAssemblit/UO4sdg | 0.6637856517348771 | 337.9554014866171 | 509.1333333333333 |
| BASE/dotsAndBoxes/EHwA_w | 0.6646478990894661 | 530.4333333333333 | 798.0666666666667 |
| BASE/numbertictactoe/rvJ-iQ | 0.6646564508156203 | 1344.6 | 2023.0 |
| BASE/hallway/ckCJOw | 0.6648238581386648 | 181.06378724255148 | 272.3485100993267 |
| BASE/tictactoe_3player/GtM71g | 0.6669207026635674 | 583.4 | 874.7666666666667 |
| BASE/eotcatcit/AfZSzA | 0.6680284360189573 | 2349.233333333333 | 3516.6666666666665 |
| DRESDEN/tictactoe/BTTzPw | 0.6710421638822595 | 2474.266666666667 | 3687.2 |
| DRESDEN/towerworld/HCX34w | 0.6726865525531944 | 22.25331467785995 | 33.08125395609155 |
| BASE/pentago/86NgKw | 0.677302137319065 | 255.26666666666668 | 376.88743708543046 |
| DRESDEN/battlesnakes2011/93VtTw | 0.6779974244144763 | 483.05056498116727 | 712.4666666666667 |
| DRESDEN/eotcatcit/mQUxzA | 0.6843138386929162 | 2370.6 | 3464.2 |
| DRESDEN/tictactoeparallel/yk_DSg | 0.6890771086759827 | 913.9 | 1326.2666666666667 |
| DRESDEN/connectfour/5tc-Mg | 0.6941151569663953 | 659.1780273990867 | 949.6666666666666 |
| DRESDEN/stratego/Z2wovg | 0.6960222970144756 | 467.4021731884541 | 671.5333333333333 |
| BASE/eotcitcit/V_9_bg | 0.6961979543341255 | 1796.9333333333334 | 2581.0666666666666 |
| DRESDEN/chomp/-LcqYQ | 0.6985100940265486 | 1347.1 | 1928.5333333333333 |
| BASE/tictactoe-init1/7M19vA | 0.7071346491139648 | 2338.4 | 3306.866666666667 |
| DRESDEN/connectfoursuicide/M9CNQg | 0.7072468524519889 | 672.9218052129858 | 951.4666666666667 |
| DRESDEN/tictactoe-init1/3ltIBQ | 0.7082100459022355 | 2423.9333333333334 | 3422.6192460251323 |
| BASE/tictactoe_orthogonal/WRzlVw | 0.7085872710519083 | 2922.1666666666665 | 4123.933333333333 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 0.711188628806155 | 2908.6666666666665 | 4089.866666666667 |
| BASE/blocker/dIWtxg | 0.7116805946331836 | 2259.633333333333 | 3175.0666666666666 |
| DRESDEN/battlesnakes1509/-qZrLw | 0.7139880538963745 | 514.0 | 719.9 |
| DRESDEN/tictictoe/LAUtwg | 0.715296291408209 | 1806.6 | 2525.6666666666665 |
| BASE/mineClearingSmall/frsbvw | 0.7159528243327126 | 192.22692576914102 | 268.4910502983234 |
| BASE/pawnWhopping/Ypc_6Q | 0.7163133489850123 | 578.6140461984601 | 807.7666666666667 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 0.7223177501067476 | 4172.733333333334 | 5776.866666666667 |
| DRESDEN/javastrike/whONTQ | 0.7237196245733789 | 197.9 | 273.4484367708819 |
| BASE/connectFourSuicide/c8p9Kw | 0.7239940839622283 | 636.3666666666667 | 878.9666666666667 |
| BASE/chomp/-LcqYQ | 0.7331841013321687 | 1342.9 | 1831.6 |
| DRESDEN/lightson2x2/gBHuig | 0.7439082729032993 | 3265.633333333333 | 4389.833333333333 |
| STANFORD/connectfour/VMpZkQ | 0.7474997190695585 | 665.2 | 889.9 |
| BASE/connectFour_9x6/B9TtMw | 0.7521041502549857 | 604.6666666666666 | 803.9666666666667 |
| BASE/chickentictactoe/DSlZCA | 0.757421841853248 | 2082.733333333333 | 2749.766666666667 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 0.7613067323742151 | 2234.866666666667 | 2935.5666666666666 |
| STANFORD/tictactoe/ss1kyQ | 0.7645065604295674 | 2353.9666666666667 | 3079.0666666666666 |
| STANFORD/tictactoe7/-bE9-A | 0.7650702250175297 | 2400.4333333333334 | 3137.5333333333333 |
| BASE/cittaceot/fDxhXg | 0.767280594866247 | 517.249425019166 | 674.1333333333333 |
| BASE/connectFour/WAIKTw | 0.7780783962009403 | 670.1329867013299 | 861.2666666666667 |
| STANFORD/tictactoe3/X7myng | 0.7797582292309885 | 2188.8333333333335 | 2807.0666666666666 |
| DRESDEN/latenttictactoe/kITHKg | 0.7851275635097644 | 1443.3 | 1838.3 |
| BASE/ticTacToe/JRFsaQ | 0.7875919078583876 | 2470.8333333333335 | 3137.2 |
| BASE/duplicateStateLarge/dcjyuw | 0.7936083524318818 | 623.3 | 785.4 |
| STANFORD/trifecta/ss1kyQ | 0.7940859030837005 | 2403.4333333333334 | 3026.6666666666665 |
| STANFORD/tictactoe5/WFRReg | 0.8001965169072304 | 2361.7 | 2951.4 |
| BASE/racetrackcorridor/_RkdUg | 0.8004222378606615 | 758.2666666666667 | 947.3333333333334 |
| STANFORD/tictictoe/rpt_Dw | 0.8102239345762662 | 1829.5666666666666 | 2258.1 |
| BASE/ticTicToe/c1OobQ | 0.8200865853106662 | 1812.2 | 2209.766666666667 |
| DRESDEN/racetrackcorridor/O0DoTA | 0.8291476553813121 | 720.8333333333334 | 869.3666666666667 |
| BASE/chickentoetictac/l57rfQ | 0.8375876183616464 | 3178.5333333333333 | 3794.866666666667 |
| BASE/queens08ug/kJ_ZFQ | 0.8380158814941424 | 784.4666666666667 | 936.1 |
| DRESDEN/chickentoetictac/cxYaRQ | 0.8382172432273569 | 3232.3333333333335 | 3856.2 |
| DRESDEN/amazons/dNB28A | 0.8430656069814555 | 9.693961952026468 | 11.498466871083856 |
| DRESDEN/sheep_and_wolf/enAIzQ | 0.8444738080913052 | 514.6333333333333 | 609.4130195660144 |
| BASE/ticTacToeSerial/Amrwqw | 0.8545229101185154 | 987.8 | 1155.9666666666667 |
| BASE/connectFourLarge/aU644A | 0.8579187995073542 | 477.31742275257494 | 556.3666666666667 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 0.868502316006176 | 112.46251249583472 | 129.4901699433522 |
| BASE/lightsOn/MsXu3A | 0.8767552905941853 | 5171.833333333333 | 5898.833333333333 |
| BASE/toetictac/mTThmg | 0.8903536365897553 | 4056.866666666667 | 4556.466666666666 |
| BASE/ticTacToeParallel/ymRGPw | 0.8945920880104896 | 932.4333333333333 | 1042.3 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 0.8974687529745996 | 4085.6666666666665 | 4552.433333333333 |
| DRESDEN/snake_2009_big/DgC1NQ | 0.8988139978306787 | 349.8666666666667 | 389.2536915436152 |
| BASE/snake_2009_big/-oRfVw | 0.9003722261374079 | 343.2218926035799 | 381.2 |
| DRESDEN/blocks/vg0DRw | 0.9031060013531476 | 6273.666666666667 | 6946.766666666666 |
| STANFORD/pentago/ZxzLmg | 0.9045559513632994 | 367.5088327444837 | 406.28645711809605 |
| BASE/snakeParallel/RCVNtw | 0.9048801010536912 | 2062.131262291257 | 2278.9 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 0.9099510450009415 | 2577.4666666666667 | 2832.5333333333333 |
| BASE/blocks/xIV5hQ | 0.9100460056959434 | 6369.533333333334 | 6999.133333333333 |
| DRESDEN/toetictac/mJtxCA | 0.9119190320871182 | 4072.6 | 4465.966666666666 |
| BASE/duplicateStateMedium/U163eQ | 0.912646968941502 | 1891.4 | 2072.4333333333334 |
| BASE/blocksWorld/SEdXLQ | 0.9131801727063614 | 6457.766666666666 | 7071.733333333334 |
| BASE/tictactoe_3d_2player/IUC1rQ | 0.9188157748897913 | 122.72515165655624 | 133.56883393874762 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 0.9446746759866025 | 72.06666666666666 | 76.2872854524246 |
| BASE/snake_2009/7l-qAQ | 0.9457152476351106 | 449.15169494350187 | 474.93333333333334 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 0.9467037056432863 | 127.23697803845769 | 134.4 |
| BASE/tictactoe_3d_6player/d7KSwg | 0.9486612523157955 | 118.77624475104979 | 125.20406463434949 |
| BASE/ticblock/T21C1g | 0.9544302719277699 | 1494.0333333333333 | 1565.3666666666666 |
| BASE/double_tictactoe_dengji/zgaSbA | 0.9593301435406699 | 1309.9333333333334 | 1365.4666666666667 |
| BASE/incredible/8Qh-6Q | 0.9680732652342374 | 2290.3 | 2365.8333333333335 |
| DRESDEN/snake_2009/zIYLVw | 0.9693598743200043 | 446.536897540164 | 460.6513116229459 |
| BASE/blocksWorldSerial/Wyg96Q | 0.9693935215533804 | 2859.0 | 2949.266666666667 |
| DRESDEN/ticblock/Z2yNWQ | 0.9787417718787095 | 1511.6666666666667 | 1544.5 |
| BASE/stateSpaceSmall/Q7osKA | 0.9822836242432286 | 8880.433333333332 | 9040.6 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 1.007371444548944 | 1321.0333333333333 | 1311.3666666666666 |
| BASE/strangeSkirmish/gc1zKA | 1.0115016557734204 | 25.766666666666666 | 25.473677200226433 |
| BASE/dualConnect4/WbCQkg | 1.0128991330090928 | 478.9840338655378 | 472.8842371920936 |
| STANFORD/hunter/14dD-g | 1.0200742919052779 | 2196.9 | 2153.6666666666665 |
| DRESDEN/statespacesmall/h-NqjA | 1.0342735151817517 | 8914.3 | 8618.9 |
| DRESDEN/3pttc/uwYBZw | 1.0370231532524514 | 866.5711142961901 | 835.6333333333333 |
| BASE/duplicateStateSmall/bCPAXw | 1.0381656283707927 | 6288.1 | 6056.933333333333 |
| BASE/blockerSerial/3eqDuw | 1.042642227217707 | 1004.9333333333333 | 963.8333333333334 |
| BASE/skirmishHoles/AUCxCA | 1.0435539591478216 | 33.09779348043464 | 31.71641791044776 |
| DRESDEN/capture_the_king/EQ229Q | 1.050126914831575 | 47.08273633001233 | 44.83528196928817 |
| DRESDEN/cube_2x2x2/fp-34Q | 1.057936226507733 | 1292.8333333333333 | 1222.0333333333333 |
| DRESDEN/circlesolitaire/ruUilQ | 1.0620405643595723 | 4358.366666666667 | 4103.766666666666 |
| BASE/circlesolitaire/azuQFQ | 1.064506624982609 | 4335.7 | 4072.9666666666667 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 1.0707585314572214 | 2206.8333333333335 | 2061.0 |
| DRESDEN/troublemaker01/C-lPWw | 1.0848805818833405 | 12270.433333333332 | 11310.4 |
| BASE/escortLatch/mX9BjQ | 1.0921486714875788 | 478.58404719842673 | 438.20411972535163 |
| BASE/copolymer_4_pie/IN5_jA | 1.1043686827366295 | 777.1074297523415 | 703.6666666666666 |
| BASE/pegEuro/5awwhg | 1.108213570147 | 349.6550114996167 | 315.51229918005464 |
| BASE/hodgepodge/9yjRkw | 1.1161651786613997 | 3692.2 | 3307.9333333333334 |
| BASE/copolymer_4/2LDVhQ | 1.1209452582201178 | 844.3333333333334 | 753.2333333333333 |
| BASE/troublemaker02/DI83KA | 1.1314466379332002 | 10509.366666666667 | 9288.433333333332 |
| DRESDEN/3pffa/0YrmQw | 1.150222507316682 | 956.3333333333334 | 831.4333333333333 |
| BASE/blocks2player/wnTLOQ | 1.1546978350759265 | 5371.0 | 4651.433333333333 |
| BASE/skirmish/Y_psYQ | 1.1575477885950995 | 28.944475901808612 | 25.004994339748286 |
| DRESDEN/blocks2player/3ev8nQ | 1.1591214701927386 | 5430.6 | 4685.1 |
| BASE/troublemaker01/s3tlEQ | 1.1738633439263635 | 13076.133333333333 | 11139.4 |
| BASE/coloredtrails/EZvr7g | 1.2504997501249375 | 2001.8 | 1600.8 |
| DRESDEN/logistics/fPru1Q | 1.256826484878159 | 1112.3333333333333 | 885.0333333333333 |
| BASE/hidato37/pBrqxw | 1.2576015954081647 | 76.65900076659001 | 60.956507248791866 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 1.2587928547653389 | 756.3666666666667 | 600.8666666666667 |
| BASE/tron_10x10/7ZTgDg | 1.2609276729559749 | 1603.9 | 1272.0 |
| DRESDEN/troublemaker02/iZLVuA | 1.2641130169835808 | 11948.733333333334 | 9452.266666666666 |
| DRESDEN/grid_game/U7_Yeg | 1.2683737750816613 | 724.8333333333334 | 571.4666666666667 |
| BASE/pearls/6k_mEQ | 1.2995747289645865 | 12294.8 | 9460.633333333333 |
| STANFORD/hex/MTqWcw | 1.300658561296859 | 171.16096130128994 | 131.59561347955068 |
| BASE/connectFourLarger/qKi60A | 1.3012443847450483 | 274.46666666666664 | 210.92630245658478 |
| BASE/hex/T1MK8g | 1.3079946407075016 | 171.46095130162328 | 131.0868913108689 |
| BASE/switches/tPUoCg | 1.3148615671661457 | 8315.666666666666 | 6324.366666666667 |
| BASE/peg/fJHVWw | 1.3164556962025318 | 422.9192360254658 | 321.2559581347288 |
| BASE/queens06ug/7Lq3tw | 1.3252967252967254 | 1544.6333333333334 | 1165.5 |
| DRESDEN/Zhadu/9zpQ5w | 1.331174089068826 | 54.772613693153424 | 41.146093619856735 |
| BASE/rubiksCube/9tNO9Q | 1.336520230347553 | 390.6203126562448 | 292.26666666666665 |
| BASE/hexPie/48CH6Q | 1.3381731784582895 | 168.95540297313514 | 126.25824945003666 |
| BASE/buttons/hTcUjw | 1.3391562211866728 | 10747.8 | 8025.8 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 1.3435767566427737 | 642.811906269791 | 478.43333333333334 |
| DRESDEN/buttons/ADUaHw | 1.3510509519093212 | 10640.066666666668 | 7875.4 |
| STANFORD/bestbuttonsandlights/nm0wEA | 1.3621051377591877 | 6860.333333333333 | 5036.566666666667 |
| BASE/haystack/UkweGA | 1.3644721111431752 | 18755.533333333333 | 13745.633333333333 |
| BASE/onestep/xi53wA | 1.3766635897569242 | 21177.766666666666 | 15383.4 |
| DRESDEN/firefighter/WJmoPw | 1.3955365565333684 | 3895.733333333333 | 2791.5666666666666 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 1.4003004250199642 | 672.3775874137528 | 480.1666666666667 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 1.4236121121330358 | 681.0333333333333 | 478.3840538648712 |
| BASE/firefighter/WJmoPw | 1.427432987201159 | 3940.6666666666665 | 2760.6666666666665 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 1.428145476296209 | 5252.766666666666 | 3678.0333333333333 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 1.442573051948052 | 710.8763041231958 | 492.7835738808706 |
| DRESDEN/brawl/2kXtfQ | 1.444545608108108 | 57.0 | 39.45877491168433 |
| DRESDEN/8puzzle/8fKC2w | 1.4550791937177419 | 3279.7 | 2253.9666666666667 |
| BASE/skirmishFinal3/-Olhfw | 1.4668524200704005 | 47.62380857161901 | 32.46666666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 1.4678744612068964 | 726.4757841405286 | 494.9168361054632 |
| BASE/survival/YVIjJA | 1.4767062249084573 | 15620.5 | 10577.933333333332 |
| BASE/brawl/6Ymo_Q | 1.4827899852604571 | 57.845456665889174 | 39.01122697138288 |
| BASE/snake_2008_tweaked/bX0NJQ | 1.4928951155220012 | 490.21699276690777 | 328.3666666666667 |
| BASE/checkLines/Vop7oQ | 1.4966147709923663 | 1045.6 | 698.6433785540482 |
| DRESDEN/snake_2008/E56l3A | 1.5001006431896748 | 493.65021165961133 | 329.07806146256917 |
| DRESDEN/bidding-tictactoe/yW5vTA | 1.5038123167155424 | 1965.7333333333333 | 1307.1666666666667 |
| DRESDEN/Goldrush/VeWczQ | 1.511037527593819 | 775.740808639712 | 513.3828872370921 |
| BASE/snake_2008/i6K26g | 1.5146245853854656 | 502.28325722475915 | 331.6222792573581 |
| BASE/2pffa_zerosum/o0_uZA | 1.5245553213213212 | 846.1 | 554.9815006166461 |
| BASE/roshambo2/KNPokQ | 1.5265003488106481 | 8242.033333333333 | 5399.3 |
| BASE/skirmishFinal2/gdB62Q | 1.5286865327267654 | 42.313586992736724 | 27.679701552195056 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 1.5291893326257133 | 768.3666666666667 | 502.46666666666664 |
| DRESDEN/chinesecheckers1/Y-ftaA | 1.5578507566737416 | 1003.0666666666667 | 643.8785373820873 |
| DRESDEN/skirmishfinal/hzq8ww | 1.5616809271006487 | 43.481158164795254 | 27.84253646839406 |
| BASE/breakthroughSmall/HJ0tIA | 1.5644592839918383 | 562.2479250691644 | 359.38802039932 |
| BASE/breakthroughSuicideSmall/XSbJog | 1.564580286969613 | 565.7666666666667 | 361.6092260515966 |
| BASE/skirmishFinal1/ecWTnQ | 1.5652279770144888 | 41.28486221718703 | 26.376261364771704 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 1.575054578143059 | 8176.633333333333 | 5191.333333333333 |
| BASE/3pffa/pR0dzA | 1.5829643948369394 | 846.2 | 534.5666666666667 |
| BASE/2pffa/6oHijA | 1.6032502584127712 | 930.6333333333333 | 580.4666666666667 |
| BASE/4pffa/Q3ADlg | 1.6074928207787262 | 723.1092296923435 | 449.8366775548297 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 1.6120711037618851 | 649.9116696110129 | 403.1532282257258 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 1.615255758752765 | 665.3333333333334 | 411.90587294180386 |
| DRESDEN/roshambo2/jgSlkQ | 1.6217851156876724 | 8418.2 | 5190.7 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 1.6386799662148572 | 8148.5 | 4972.6 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 1.646947051531787 | 620.0 | 376.4541181960601 |
| STANFORD/pilgrimage/ObRZnQ | 1.6620743595714182 | 397.3068462102527 | 239.0427623904276 |
| BASE/aipsrovers01/4C4jsw | 1.6804655274012965 | 1901.1666666666667 | 1131.3333333333333 |
| DRESDEN/aipsrovers01/qS47Mw | 1.6973200364780985 | 1923.2333333333333 | 1133.1 |
| STANFORD/freeforall/Lfp40Q | 1.7049620951068227 | 824.6333333333333 | 483.6666666666667 |
| BASE/biddingTicTacToe/8mESVw | 1.7077264368487113 | 1950.1666666666667 | 1141.9666666666667 |
| STANFORD/threepuzzle/41ibjA | 1.7177696223511305 | 5804.0 | 3378.8 |
| DRESDEN/Thief_Police/CX18rA | 1.7260293750902387 | 4383.366666666667 | 2539.5666666666666 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 1.7446708279354608 | 4444.2 | 2547.3 |
| STANFORD/3puzzle/41ibjA | 1.75351823366995 | 6117.966666666666 | 3488.9666666666667 |
| BASE/gt_dollar/TGjqRw | 1.755208969442341 | 4790.433333333333 | 2729.266666666667 |
| BASE/englishDraughts/jFkQxg | 1.7592930632726496 | 455.3181560614646 | 258.8074525880745 |
| STANFORD/eightpuzzle/W_aWbA | 1.7686134101207778 | 3265.4 | 1846.3051231625614 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 1.7696787989768632 | 676.4666666666667 | 382.25392486917104 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 1.7927865255722484 | 4466.966666666666 | 2491.633333333333 |
| DRESDEN/catch_me/ghGWrA | 1.8042539623493776 | 4526.933333333333 | 2509.0333333333333 |
| STANFORD/alquerquezero/uVgA_A | 1.8164217401446234 | 519.1160294656845 | 285.7904736508783 |
| STANFORD/8puzzle/jNiGtw | 1.8329877231938045 | 3329.5 | 1816.4333333333334 |
| STANFORD/untwistycomplex/HTWEwg | 1.8399864299445892 | 5423.666666666667 | 2947.6666666666665 |
| BASE/eightPuzzle/vLrgFg | 1.8595142888587255 | 3379.233333333333 | 1817.2666666666667 |
| BASE/maze/cCX3qQ | 1.8609590890803172 | 11255.266666666666 | 6048.1 |
| DRESDEN/knightwar/7hhAqg | 1.9795569658875938 | 1081.3 | 546.2333333333333 |
| DRESDEN/frogs_and_toads/GjchhQ | 1.9806056457860488 | 476.684110529649 | 240.67593240675933 |
| STANFORD/untwistycorridor/EDPPAQ | 1.9971150452436612 | 13014.333333333334 | 6516.566666666667 |
| DRESDEN/knightmove/97Ipcw | 2.027321073326825 | 830.6333333333333 | 409.7196760107996 |
| DRESDEN/oisters_farm/pTQMLg | 2.083869904535449 | 5901.033333333334 | 2831.766666666667 |
| BASE/untwistycomplex2/EDPPAQ | 2.0863163778068734 | 13438.033333333333 | 6441.033333333334 |
| BASE/knightmove/jBaJEw | 2.144436153158608 | 826.3666666666667 | 385.353821539282 |
| BASE/beatMania/qUHwvQ | 2.209164001037434 | 4258.9 | 1927.8333333333333 |
| STANFORD/buttonsandlights/eyhJpA | 2.216459431835873 | 21830.5 | 9849.266666666666 |
| DRESDEN/point_grab/r5DPmQ | 2.2435866661504513 | 9658.266666666666 | 4304.833333333333 |
| DRESDEN/smallest/9kaGFw | 2.273648068669528 | 1324.4 | 582.5 |
| DRESDEN/4pttc/9pB9AQ | 2.3436752741959386 | 702.7666666666667 | 299.8566714442852 |
| DRESDEN/god/2EDD5w | 2.409568592463436 | 50.37816945990071 | 20.90754735825815 |
| BASE/god/qF06gw | 2.4233298948816193 | 50.34149591870732 | 20.77368666355949 |
| BASE/shmup/ssTNlg | 2.7333563467797615 | 1847.5666666666666 | 675.9333333333333 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 2.7355508374616653 | 386.53333333333336 | 141.3 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 2.7625313386049313 | 376.58744708509715 | 136.31970136319703 |
| DRESDEN/breakthrough/z4hK7Q | 2.7701598449613303 | 372.08759708009734 | 134.319901343199 |
| BASE/chineseCheckers4/avfBcQ | 2.779319423586572 | 838.9 | 301.83648301836485 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 2.8039353099730455 | 1733.7666666666667 | 618.3333333333334 |
| BASE/smallest_4player/ADDROA | 2.819211686153942 | 2017.2666666666667 | 715.542815239492 |
| BASE/chineseCheckers1/gqtwHw | 2.823711723624943 | 2277.7 | 806.6333333333333 |
| BASE/point_grab/V_osUg | 2.8602293945052017 | 9650.7 | 3374.1 |
| BASE/breakthrough/TGxk-g | 2.8753869969040244 | 371.48761707943066 | 129.19569347688412 |
| DRESDEN/babel/WdSW4A | 2.889755555555556 | 237.46666666666667 | 82.17534739578126 |
| BASE/ttcc4_2player_small/Cv72TA | 2.909063254344392 | 716.0666666666667 | 246.1502566495567 |
| DRESDEN/smallest_4player/ADDROA | 2.914773515939481 | 2099.9 | 720.4333333333333 |
| BASE/breakthroughSuicide/wZDpIg | 2.924703473241583 | 371.8752083194454 | 127.14971337155046 |
| DRESDEN/hanoi/RQ0jiA | 2.93417656169334 | 4925.7 | 1678.7333333333333 |
| BASE/breakthroughWalls/vOZaYA | 2.976158859220822 | 384.4205193160228 | 129.16666666666666 |
| BASE/breakthroughHoles/nZk0Sg | 2.9826687423687424 | 379.96666666666664 | 127.39150723285114 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 3.012662639405204 | 1728.8666666666666 | 573.8666666666667 |
| BASE/hanoi/iGLsJg | 3.03229446644371 | 4926.366666666667 | 1624.6333333333334 |
| BASE/checkersTiny/Lr48cg | 3.061372745490982 | 407.3530882303923 | 133.06223125895804 |
| DRESDEN/nim4/F5YAYg | 3.0621876735147144 | 4228.166666666667 | 1380.7666666666667 |
| BASE/nim4/twk16w | 3.1085991510006066 | 4271.733333333334 | 1374.1666666666667 |
| DRESDEN/nim3/sG_axA | 3.126311188811189 | 4291.8 | 1372.8 |
| BASE/choicethroughalt/tt71Lg | 3.147264374634861 | 306.5026830650268 | 97.38701506465804 |
| BASE/nim3/1OwUqw | 3.170135301353014 | 4295.533333333334 | 1355.0 |
| DRESDEN/skirmish3/3LU8Nw | 3.1941043158751907 | 198.65342310512634 | 62.193780621937805 |
| BASE/knightazons/apnJBQ | 3.276522311111111 | 163.73333333333332 | 49.971682713129226 |
| DRESDEN/knightazons/02I8BQ | 3.3032859078590784 | 162.5 | 49.19344087455006 |
| BASE/checkersSmall/SYmq8w | 3.375161721752498 | 292.7 | 86.72177043060925 |
| BASE/minichess/8NQEiA | 3.435825157634629 | 896.0333333333333 | 260.79130695643477 |
| BASE/chineseCheckers2/eCMR3Q | 3.4857948821277454 | 1730.0 | 496.3 |
| BASE/checkers/rOC3Xg | 3.567633357323683 | 220.9259691343622 | 61.92507665644581 |
| STANFORD/skirmish/w4V6Vw | 3.5713385424139332 | 29.08739546196648 | 8.144676041355009 |
| BASE/kitten_escapes_from_fire/uW-YiA | 3.5802244622259174 | 2296.8333333333335 | 641.5333333333333 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 3.691542814830486 | 2326.5333333333333 | 630.2333333333333 |
| BASE/endgame/jYjfOA | 3.707508605614357 | 268.46666666666664 | 72.41160985037823 |
| BASE/asteroidsParallel/WauZiA | 3.716109839816933 | 2706.5666666666666 | 728.3333333333334 |
| BASE/gt_centipede/9fRMpw | 3.7652021622349827 | 7452.966666666666 | 1979.4333333333334 |
| BASE/pawnToQueen/-O1_JA | 3.7841557835820896 | 18.88992537313433 | 4.991846650470897 |
| STANFORD/madness/UO_B3A | 3.789089964592275 | 28.84071002764179 | 7.611513660838928 |
| BASE/kalaha5x2x3/WviNsw | 3.7958428455160487 | 1658.1666666666667 | 436.83754416372244 |
| BASE/chineseCheckers6/rREH3A | 3.8074796596591574 | 911.0029665677811 | 239.26666666666668 |
| STANFORD/chinook/osFbPA | 3.8202784266165484 | 344.2885237158761 | 90.12131715771231 |
| DRESDEN/minichess/c7GMFw | 3.8228891856348004 | 839.7333333333333 | 219.65934468851037 |
| BASE/asteroidsSerial/id2QkA | 3.845170107873286 | 2625.866666666667 | 682.9 |
| DRESDEN/pawntoqueen/f_x6Aw | 3.8602241085456175 | 19.48960554371002 | 5.048827476250581 |
| BASE/2pttc/unkkYA | 3.9033657971014493 | 837.8666666666667 | 214.65235650956603 |
| DRESDEN/knightstour/cGISAA | 3.934166192285798 | 8523.633333333333 | 2166.5666666666666 |
| DRESDEN/tttcc4/sAvtFg | 3.9567269329237074 | 429.23333333333335 | 108.48191968005332 |
| BASE/nim1/hin2Qw | 3.989875316396363 | 5674.666666666667 | 1422.2666666666667 |
| BASE/chinook/XQh0IQ | 3.9992947813822286 | 378.06666666666666 | 94.53333333333333 |
| DRESDEN/nim2/z5_exA | 4.021370986977055 | 5620.0 | 1397.5333333333333 |
| BASE/chineseCheckers3/-1rZdQ | 4.042877573663151 | 1481.8 | 366.5211159628012 |
| BASE/nim2/eF2Qqw | 4.06497275107934 | 5743.4 | 1412.9 |
| BASE/sheepAndWolf/g4THrg | 4.090085425834842 | 526.6666666666666 | 128.76666666666668 |
| BASE/ttcc4/Le0qjQ | 4.0973813329933675 | 423.8858704709843 | 103.4528729502733 |
| BASE/tttcc4/8Bs2lg | 4.120583194730868 | 426.35245491816937 | 103.46895931220634 |
| DRESDEN/knightthrough/J7Fc_Q | 4.1332175638799304 | 555.348155061498 | 134.3621879270691 |
| DRESDEN/nim1/M9BALA | 4.312275546849493 | 6163.966666666666 | 1429.4 |
| BASE/chess_200/XsTpYA | 4.448117508419549 | 53.763082461169255 | 12.086704624912596 |
| BASE/asteroids/BKCmPQ | 4.49890000523807 | 5725.9 | 1272.7333333333333 |
| BASE/ttcc4_2player/_aH_Mw | 4.614813822977117 | 428.93807079528034 | 92.94807705125642 |
| BASE/guess/SPpk1A | 4.641010894028636 | 1076.8333333333333 | 232.0255991466951 |
| DRESDEN/skirmish/RjGQYQ | 4.641147520468079 | 196.64700196647001 | 42.37034076146697 |
| DRESDEN/skirmish2/iPpWhQ | 4.679706229278598 | 211.1122221111222 | 45.112280935563405 |
| DRESDEN/guess/PhxGhg | 4.754103080909876 | 1100.659956002933 | 231.51789880674622 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 4.786551351591106 | 400.88663711209625 | 83.75270788201966 |
| STANFORD/ttcc4/Cx9SGw | 4.848743081248345 | 468.1177294090197 | 96.5441397007365 |
| STANFORD/knightstourmedium/x1wu8Q | 4.9249197701320995 | 8798.533333333333 | 1786.5333333333333 |
| BASE/checkersTorusNoKings/pwb6oQ | 5.063487588289675 | 435.98973435989734 | 86.10463178940353 |
| BASE/checkers-newgoals/0XkFiA | 5.077003579786112 | 143.12856238125397 | 28.191542537238828 |
| BASE/3pttc/0sol9g | 5.148234855614065 | 748.6750441651945 | 145.42363842410506 |
| BASE/knightsTour/mvtVIg | 5.2744691315783845 | 8221.666666666666 | 1558.7666666666667 |
| BASE/checkersBarrelNoKings/rnKNeg | 5.3297143224149 | 460.8666666666667 | 86.47117627457514 |
| BASE/ttcc4_2player_alt/ZEJvYA | 5.386962008426966 | 511.3 | 94.91435046324068 |
| STANFORD/knightstour/cEwgNA | 5.613192429295336 | 8640.2 | 1539.2666666666667 |
| BASE/amazons_8x8/7SOsIw | 5.903628367744672 | 295.4371229543712 | 50.04331312054374 |
| BASE/checkersTorus/2vm1EQ | 5.993903874207395 | 376.24158389440703 | 62.770707003398414 |
| BASE/knightwar/DVGY4Q | 6.056948896850839 | 1070.6666666666667 | 176.76666666666668 |
| BASE/kalaha6x2x4/XS81Mg | 6.381665741115155 | 1578.1333333333334 | 247.2917569414353 |
| DRESDEN/endgame/IJhh3Q | 6.391433681418655 | 230.66924410078656 | 36.09037589976006 |
| BASE/skirmishNew/sibw2g | 6.40714490756796 | 151.95653623091795 | 23.716731621198495 |
| BASE/4pttc/AL1k2Q | 6.8484000363253195 | 626.2124595846805 | 91.4392348961978 |
| DRESDEN/bomberman2p/x4h6jQ | 7.019875547691271 | 925.5333333333333 | 131.84469255124145 |
| DRESDEN/pancakes88/aD3E7g | 7.030967432183724 | 8786.6 | 1249.7 |
| BASE/skirmishZeroSum/zh4hcw | 7.068092288065243 | 152.70279277477837 | 21.604527296937416 |
| BASE/bomberman2p/4CClwA | 7.137940164151442 | 898.6666666666666 | 125.9 |
| BASE/speedChess/bPnisA | 7.357360725307869 | 171.25524965002333 | 23.276723276723278 |
| BASE/gt_coordination/IVMOzA | 7.578649699540473 | 5717.333333333333 | 754.4 |
| DRESDEN/gt_prisoner/huCp4w | 7.681586402436864 | 4819.266666666666 | 627.3790873637546 |
| BASE/knightThrough/gcwFjA | 7.922162225503671 | 534.1821939268691 | 67.4288380774615 |
| DRESDEN/pancakes6/SZXMyQ | 8.736492335896521 | 11437.233333333334 | 1309.1333333333334 |
| DRESDEN/pancakes/hl9aiQ | 8.927070653612066 | 11245.133333333333 | 1259.6666666666667 |
| DRESDEN/pacman3p/rBnk8Q | 9.061353775624267 | 619.9126695776807 | 68.41280949048618 |
| DRESDEN/gt_chicken/CeuKtw | 9.268243105901485 | 4559.666666666667 | 491.96666666666664 |
| BASE/gt_prisoner/klthDw | 9.308812774256461 | 5091.3 | 546.9333333333333 |
| STANFORD/platformjumpers/HEQskA | 9.373252699855538 | 238.858704709843 | 25.48301132578281 |
| BASE/amazons_10x10/Bun8dA | 9.465595286195285 | 218.23333333333332 | 23.05542617605962 |
| BASE/amazonsSuicide_10x10/XIbQkg | 9.529693083573486 | 220.23333333333332 | 23.11022311022311 |
| DRESDEN/Runners/3bOCQw | 9.587066935277928 | 11262.566666666668 | 1174.7666666666667 |
| BASE/amazonsTorus_10x10/Uxc08g | 9.59365207296849 | 128.36666666666667 | 13.380375449340967 |
| BASE/ruleDepthLinear/OUBJpQ | 9.679179855244854 | 16003.233333333334 | 1653.3666666666666 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 9.871350693251804 | 96.51724712547909 | 9.777511723037016 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 9.964909559704019 | 97.63007899736675 | 9.797387363369769 |
| BASE/gt_staghunt/xPjLRA | 10.15656125498008 | 5438.5 | 535.4666666666667 |
| BASE/checkers-mustjump/T-8UuQ | 10.211999829890727 | 118.3960534648845 | 11.593816631130064 |
| BASE/pacman3p/wW7UVQ | 10.277421705840455 | 641.0333333333333 | 62.37297171225802 |
| BASE/pacman2p/4LEdQg | 10.287672802743186 | 633.1666666666666 | 61.5461512829057 |
| BASE/gt_chicken/gmepTQ | 10.65934065934066 | 4623.666666666667 | 433.76666666666665 |
| BASE/checkers-mustjump-torus/uSApKQ | 10.90030304649393 | 93.08758832155712 | 8.539908287366252 |
| BASE/amazons/RKKZjw | 11.680503557744936 | 0.8538587848932676 | 0.0731011964229148 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 11.729437051792829 | 1177.4 | 100.37992401519696 |
| DRESDEN/blobwars/ZaMluQ | 11.852547400266774 | 211.28591427238183 | 17.826202852192456 |
| BASE/blobwars/0XT15Q | 11.858131740691583 | 207.5459120754591 | 17.502412404751606 |
| BASE/mummyMaze2p_2007/YGA3Vw | 11.935594550530432 | 1187.4333333333334 | 99.4867351019864 |
| BASE/mummymaze2p/vpjDdA | 12.192062664773776 | 552.7815739475351 | 45.33946298887334 |
| DRESDEN/mummymaze2p/k-8edg | 12.358787692307692 | 562.1 | 45.48180727708917 |
| BASE/hanoi_6_disks/MeubgQ | 12.543493389004873 | 3605.0 | 287.4 |
| DRESDEN/connect5/1kYzSg | 12.671770854271358 | 251.96666666666667 | 19.884092725819343 |
| DRESDEN/battle/8oAvhQ | 12.710235624964685 | 48.385484354693595 | 3.8068125393094774 |
| BASE/battle/8oAvhQ | 12.890086494233717 | 48.03013132457836 | 3.7261294829995344 |
| DRESDEN/hanoi_6_disks/MeubgQ | 13.028263147807422 | 3776.3333333333335 | 289.85700476650777 |
| DRESDEN/gt_ultimatum/pAiiQw | 13.346187507954689 | 4660.333333333333 | 349.1883603879871 |
| BASE/connect5/d-BVQg | 13.407398046398047 | 243.93333333333334 | 18.193935354881706 |
| BASE/pancakes/yUgbXw | 13.53958981255779 | 10738.7 | 793.1333333333333 |
| DRESDEN/fizzbuzz/t1xHzQ | 13.875024363622188 | 11864.533333333333 | 855.1 |
| BASE/knightsTourLarge/M8jgLA | 13.929881309398098 | 8354.4 | 599.7466751108296 |
| BASE/pancakes6/QZTdnw | 14.037113142665437 | 11157.633333333333 | 794.8666666666667 |
| BASE/crossers3/O0rORg | 14.080153238546602 | 693.1666666666666 | 49.23005132991134 |
| BASE/gt_ultimatum/GE-uOA | 14.334068123620309 | 4328.6 | 301.97986800879943 |
| DRESDEN/crossers3/xiPTxg | 14.63906318171532 | 718.4666666666667 | 49.07873254922867 |
| DRESDEN/ghostmaze2p/HY0UwA | 15.623263773119605 | 2111.5333333333333 | 135.1531513515315 |
| BASE/amazonsSuicide/dE1QEQ | 15.875869928414158 | 1.3609055000497892 | 0.08572163328285282 |
| DRESDEN/twisty-passages/j7NPyg | 16.15407370725956 | 1065.1333333333334 | 65.93589658159526 |
| BASE/ghostMaze2p/W-NU-w | 16.21605267436885 | 2105.0333333333333 | 129.81169805032494 |
| BASE/gt_attrition/kD_SCA | 17.21086956521739 | 19.99868645737554 | 1.1619800139437602 |
| STANFORD/knightstourbig/TQUI2g | 17.527667140825034 | 8214.633333333333 | 468.6666666666667 |
| BASE/twisty-passages/DiZmmg | 18.327860169491526 | 1153.4333333333334 | 62.93333333333333 |
| DRESDEN/four_way_battle/xSOQXA | 20.089327378174787 | 132.65782281181254 | 6.60339792938678 |
| BASE/ruleDepthExponential/UamhHQ | 21.08159988656836 | 9.253853339560953 | 0.43895403524173826 |
| BASE/four_way_battle/xSOQXA | 22.224165537627783 | 135.97733711048159 | 6.118445116882254 |
| DRESDEN/hanoi7/51zz5Q | 24.72803929342992 | 4323.533333333334 | 174.8433542194374 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 26.518239789583742 | 4508.233333333334 | 170.00499916680553 |
| BASE/hanoi7_bugfix/3gdnFw | 28.697040169133192 | 4524.566666666667 | 157.66666666666666 |
| DRESDEN/hitori/S8Gsyg | 33.887382393098434 | 37.996603283492625 | 1.121261088942387 |
| BASE/hitori/S8Gsyg | 35.44214023161448 | 39.85819362533961 | 1.1245989481692191 |
| BASE/knightfight/SJRkAg | 35.7888677051517 | 1952.0333333333333 | 54.54303135308033 |
| DRESDEN/quarto/OQzRYQ | 35.85775070603337 | 930.3 | 25.944181709185372 |
| DRESDEN/knightfight/4_Ly4w | 36.601010101010104 | 1932.5333333333333 | 52.8 |
| DRESDEN/quartosuicide/WIU1oQ | 39.09071689814815 | 937.8333333333334 | 23.99120322548399 |
| BASE/ad_game_2x2/D0aWqg | 39.8996210862195 | 17.948547497174765 | 0.449842555105713 |
| BASE/quarto/EwBMVQ | 41.060011883629194 | 924.6333333333333 | 22.519071254871914 |
| BASE/quartoSuicide/-23jUg | 43.39387233384853 | 935.3 | 21.55373442601106 |
| BASE/racer4/0vs7Ww | 44.28740002827696 | 665.0778307389754 | 15.017314864144913 |
| DRESDEN/battlebrushes/QHXV4A | 45.871267017487504 | 20.10449044375372 | 0.43828068747456406 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 46.880213690811956 | 7.067724060125427 | 0.15076134479119555 |
| DRESDEN/cylinder-checkers/clOO3Q | 52.35668898756007 | 131.12896236792108 | 2.5045312242544076 |
| DRESDEN/checkers-newgoals/IJOqXQ | 52.77470421596401 | 143.4760873187802 | 2.718652609243419 |
| BASE/cylinder-checkers/hlldmw | 52.817597653646175 | 131.9824023463538 | 2.4988338775238224 |
| BASE/gt_tinfoil/Q8DyKg | 55.81034906030855 | 6631.466666666666 | 118.82145118821451 |
| DRESDEN/checkers/jIDMIg | 60.201234066622696 | 142.47625395767372 | 2.3666666666666667 |
| BASE/wargame02/BkVqqQ | 61.03709925303765 | 273.77262273772624 | 4.485347863645425 |
| DRESDEN/kalaha_2009/gcC8uA | 71.75398184568836 | 1579.4 | 22.01132201132201 |
| DRESDEN/chinesecheckers2/06E6-Q | 72.87681727642277 | 795.5666666666667 | 10.916594555015642 |
| BASE/solitaireChineseCheckers/-ET6gw | 73.48384598765432 | 1016.1333333333333 | 13.827982458948178 |
| BASE/max_knights/2fq3Ag | 74.07692973856209 | 502.3333333333333 | 6.78123857328059 |
| BASE/kalaha_2009/dRiN3g | 74.09977415786827 | 1635.5333333333333 | 22.07204208003196 |
| DRESDEN/max_knights/hCipiA | 75.7063470686767 | 501.46666666666664 | 6.623839163865127 |
| DRESDEN/racer/vk_ZBA | 82.3600957952468 | 1499.4 | 18.20541835851694 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 84.19100174709492 | 97.23749541804125 | 1.1549630411826821 |
| BASE/racer/QQYQNw | 84.32504963235293 | 1527.5666666666666 | 18.115218115218116 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 86.23623886927734 | 97.16437306321015 | 1.1267232237539766 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 90.93342916923818 | 92.42717152189854 | 1.016426768090757 |
| DRESDEN/checkers-mustjump/HUr33w | 96.16311518824517 | 116.81775763231569 | 1.2147875763346248 |
| BASE/colonelBlottoVariant2/jruwGw | 104.27063248407643 | 4364.3 | 41.855505198613706 |
| BASE/wargame01/_GZFZg | 109.78219803921569 | 495.43333333333334 | 4.512874966817096 |
| BASE/colonelBlottoVariant/X-n-KQ | 115.84584811320754 | 4909.9 | 42.38304678128748 |
| BASE/wargame03/klXI8w | 122.16545737135223 | 394.62017932735574 | 3.2302107962303106 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 157.04654485407067 | 2267.9333333333334 | 14.441153961334974 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 168.89828810408923 | 3027.9 | 17.92735754748417 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 178.43903046875 | 3043.5333333333333 | 17.056432806982478 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 212.49535269709543 | 3410.0 | 16.047409774936742 |
| BASE/colonelBlotto/jip21A | 219.15382774193552 | 1130.9 | 5.1603022938376 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 240.6560687862428 | 598.6469372792109 | 2.487562189054726 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 354.0251079406632 | 9010.733333333334 | 25.45224372855382 |
| BASE/pancakes88/l2Xaig | 355.2514560669456 | 8486.266666666666 | 23.888055972013994 |
| DRESDEN/farmers/S_ASnw | 419.5086133333334 | 552.5666666666667 | 1.3171759747102212 |
| DRESDEN/chinesecheckers4/-oVNYg | 447.20275714285714 | 410.53333333333336 | 0.9180026884364447 |
| DRESDEN/chinesecheckers3/QsCb2A | 954.1000260869565 | 718.9666666666667 | 0.7535548129218269 |
| BASE/crisscross/ICagEg | 13717.03125 | 812.5 | 0.059232933511032135 |
| DRESDEN/crisscross/GsY16g | 13763.02585 | 820.7666666666667 | 0.05963562632316546 |
| DRESDEN/crissrace/KWb9bw | 18564.737708743043 | 607.2464251191627 | 0.03270966897814994 |
| BASE/crissrace/ERWGDA | 18624.07413333333 | 600.4666666666667 | 0.03224142378127418 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Infinity | 209.77902209779023 | 0.0 |
| BASE/merrills/pku8Tg | Infinity | 21.190246498785804 | 0.0 |
| DRESDEN/chinesecheckers6/yTbPDA | Infinity | 537.5 | 0.0 |
| DRESDEN/merrills/aYEzwA | Infinity | 20.892940315390245 | 0.0 |
Games with errors:
| Game | PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 error message | REKKURA_BACKWARD_PROVER:1.0.0 error message |
| BASE/alexChess/LNo83g | Exception of type StackOverflowError | |
| BASE/minichess-evilconjuncts/4OpQzw | Exception of type NullPointerException | |
| BASE/nonogram_5x5_1/qLKEZw | Exception of type NullPointerException | |
| BASE/amazonsTorus/soxT8g | Test process timed out after 240 seconds | |
| BASE/nonogram_10x10_1/0Xc62g | Exception of type NullPointerException | |
| STANFORD/dualrainbow/G3OnRQ | Exception of type NullPointerException | |
| BASE/gt_two_thirds_2p/1APDGg | Exception of type NullPointerException | |
| STANFORD/rainbow/_4qNSQ | Exception of type NullPointerException | |
| DRESDEN/minichess-evilconjuncts/th24Tw | Exception of type NullPointerException | |
| 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 | |
| DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | |
| DRESDEN/queens/mW2wHQ | IllegalArgumentException: too many occurrences: 2147484126 | |
| BASE/mummymaze1p/PT_EXA | Test process timed out after 240 seconds | |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | |
| DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | |
| BASE/slaughter/cOch8A | Test process timed out after 240 seconds | |
| BASE/sudoku/NTaNkw | Exception of type NullPointerException | Test process timed out after 240 seconds |
| BASE/gt_two_thirds_6p/867v3Q | Exception of type NullPointerException | Test process timed out after 240 seconds |
| BASE/gt_two_thirds_4p/DStnxQ | Exception of type NullPointerException | Test process timed out after 240 seconds |