Game-by-game performance:
| Game | Perf ratio | PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per second | REKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per second |
| BASE/quad/tw-Ufg | 0.008086101282857854 | 1.4965579167913798 | 185.07780999033622 |
| DRESDEN/quad/JPe6fg | 0.008290019425631333 | 1.5037593984962405 | 181.39395353488217 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 0.008581138526278299 | 3.963627885287946 | 461.9 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 0.011402892336883455 | 0.4417839234830245 | 38.74314607479397 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 0.012732995921228568 | 0.5139538469445444 | 40.36393713813069 |
| BASE/quad_7x7/q-JOXg | 0.012753066447258259 | 8.325349367339522 | 652.8115729475684 |
| DRESDEN/satlike_20v_91c/yeuENQ | 0.013047079220083569 | 0.5382565869149823 | 41.254948930365636 |
| DRESDEN/quad_7x7/q-JOXg | 0.013710071853598068 | 8.971114981433407 | 654.3448551714943 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 0.016058344503415867 | 0.659043727551323 | 41.040577215860196 |
| BASE/queens31lg/0gID-A | 0.019601311761505508 | 0.732820359081976 | 37.386291693045884 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 0.02228325327640396 | 0.2853881278538813 | 12.807291839925485 |
| BASE/battlebrushes/arCwyA | 0.06623457385784896 | 8.55608092894593 | 129.17847025495752 |
| BASE/sudokuGrade6H/ieE_9A | 0.07898743498732147 | 14.614821226446502 | 185.0271657611413 |
| STANFORD/sudoku/oJ1qyQ | 0.08223884429718964 | 15.29865637887455 | 186.02713242891903 |
| BASE/sudokuGrade6E/ihYFZA | 0.08261374845205077 | 14.63089485085819 | 177.1 |
| BASE/sudokuGrade3/eI8dvg | 0.08263730220507735 | 15.623438488956994 | 189.06036465451152 |
| BASE/sudokuGrade2/u80Tfw | 0.08302374315572271 | 15.647889199627114 | 188.47487001733103 |
| BASE/sudokuGrade1/tDRNRw | 0.08425273177025931 | 16.242843829050727 | 192.78714752349845 |
| BASE/sudokuGrade4/DTy07w | 0.08430665332653661 | 15.867735604271315 | 188.21451188214513 |
| DRESDEN/small_dominion/yB5GJA | 0.08449048228294503 | 1.8270799347471451 | 21.624683459949352 |
| BASE/sudokuGrade5/BQfUQA | 0.0871688266686826 | 16.16927837109492 | 185.4938168727709 |
| STANFORD/duidoku/3SoMaA | 0.09451594030452559 | 15.296940611877625 | 161.84508732169044 |
| BASE/blokbox_simple/JBx4bg | 0.10578893924293423 | 0.7545271629778671 | 7.132382349020131 |
| DRESDEN/grid_game2/kypTYQ | 0.12168717141244548 | 203.95986800439985 | 1676.1 |
| STANFORD/selectivesukoshi/3xmXYg | 0.1252739644370313 | 50.62152164494951 | 404.08653044898506 |
| STANFORD/multiplesukoshi/vLSQPg | 0.12842971803044753 | 48.848755456332675 | 380.3539882003933 |
| DRESDEN/cubicup_3player/awDtsQ | 0.15455722562494928 | 61.5271806152718 | 398.0867304423186 |
| BASE/cubicup_3player/e2yA_g | 0.15657183088217907 | 63.24769235895898 | 403.953201559948 |
| BASE/slidingpieces/uFJWEw | 0.18273248281658122 | 145.94234294284286 | 798.6666666666666 |
| DRESDEN/slidingpieces/s9_44g | 0.18612233863973535 | 151.26162461251292 | 812.7 |
| DRESDEN/CephalopodMicro/H3XQfg | 0.20845771992858939 | 17.499416686110465 | 83.94707901489653 |
| BASE/snake2p/I3wWPQ | 0.2130359891741676 | 238.7920402653245 | 1120.9 |
| BASE/othello-comp2007/86ZoMw | 0.21486546249738603 | 4.311202493864827 | 20.064660200646603 |
| BASE/conn4/va9Y7A | 0.22693405859488688 | 294.923502549915 | 1299.6 |
| BASE/othelloSuicide/B442jg | 0.22723938789100512 | 4.457158062799361 | 19.614372772986112 |
| BASE/futoshiki6/JmvXNA | 0.22809886691863146 | 125.9748050389922 | 552.2815906136462 |
| BASE/cephalopodMicro/9l2D3g | 0.23003099070278918 | 17.694691592522243 | 76.92307692307692 |
| BASE/othelloHoles/c0qAzw | 0.2302654198444843 | 4.751691140075895 | 20.635713097021135 |
| BASE/blocksWorldParallel/RseaAQ | 0.2397321752059243 | 421.9526015799473 | 1760.1 |
| BASE/coins_atomic/AA3SSw | 0.24927971333801419 | 343.2 | 1376.7666666666667 |
| DRESDEN/golden_rectangle/1uloXw | 0.25602424805210283 | 112.45916938870742 | 439.25202493250225 |
| BASE/golden_rectangle/_nYzfw | 0.2575019040365575 | 112.7 | 437.6666666666667 |
| BASE/stateSpaceLarge/0Ge_CQ | 0.2590751184299572 | 957.0666666666667 | 3694.1666666666665 |
| DRESDEN/statespacelarge/8-y5HQ | 0.26183856917801873 | 941.8333333333334 | 3597.0 |
| BASE/coins/QnGtnQ | 0.27102735046063486 | 369.17538830744616 | 1362.1333333333334 |
| BASE/futoshiki5/TJ4BZg | 0.2741498709406984 | 219.53007832027996 | 800.7666666666667 |
| STANFORD/triplesukoshi/Iu9mbA | 0.2746675214529505 | 356.0881303956535 | 1296.4333333333334 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 0.276296651428353 | 211.35772845430913 | 764.9666666666667 |
| DRESDEN/coins/QwFP9w | 0.28217401598753467 | 366.8544381853938 | 1300.1 |
| BASE/simultaneousWin2/PfjRjw | 0.28455896797852137 | 289.7 | 1018.0666666666667 |
| BASE/zhadu/DlA8iQ | 0.28833074485641996 | 11.356445865387817 | 39.386871042985675 |
| BASE/withConviction/3Xm54A | 0.28982995774229603 | 443.9518682710576 | 1531.7666666666667 |
| BASE/queens16ug/gT-ylw | 0.30302747862540735 | 84.13052898236725 | 277.6333333333333 |
| BASE/lightsOnSimul4/9FeASw | 0.30310488739742925 | 321.7559414686177 | 1061.5333333333333 |
| DRESDEN/lightsout2/LFtfyQ | 0.30429635976235303 | 899.7333333333333 | 2956.766666666667 |
| BASE/cubicup/4wNWJA | 0.30491670560747663 | 139.2 | 456.5181160627979 |
| BASE/tictactoex9/BI26ow | 0.3090443207751131 | 257.3 | 832.5666666666667 |
| DRESDEN/cubicup/SBn_lw | 0.30974253051932554 | 140.94317613731045 | 455.03333333333336 |
| DRESDEN/tictactoex9/rFkD4w | 0.31432275332916254 | 253.57464253574642 | 806.7333333333333 |
| DRESDEN/lightsout/XgLpzQ | 0.3178255554756597 | 884.0 | 2781.4 |
| BASE/futoshiki4/BaCwSw | 0.32340801183403717 | 451.8333333333333 | 1397.1 |
| BASE/lightsOnSimultaneous/_VN6lw | 0.32576985413290116 | 402.0 | 1234.0 |
| BASE/majorities/ibJzSQ | 0.3299183425435583 | 133.31111481419762 | 404.0730617958803 |
| DRESDEN/quad_5x5/JAEP5g | 0.3326681284445216 | 70.19704433497537 | 211.0122321101223 |
| BASE/nineBoardTicTacToe/wRmqqA | 0.3352989430638856 | 205.4264857838072 | 612.6666666666666 |
| BASE/quad_5x5/JAEP5g | 0.33844055144938934 | 71.73333333333333 | 211.95253649756683 |
| STANFORD/nineboardtictactoe/y28P-A | 0.3432157185587022 | 213.81195213811952 | 622.9666666666667 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 0.3518568442819689 | 105.86666666666666 | 300.8799413372442 |
| STANFORD/duikoshi/tpw1sw | 0.35349573690621194 | 483.7 | 1368.3333333333333 |
| STANFORD/multipletictactoe/_bkafQ | 0.3554206919329535 | 286.95710142995233 | 807.3730875637478 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 0.379139793496307 | 521.5826139128695 | 1375.7 |
| DRESDEN/blockerparallel/dVQgSg | 0.38744662404614 | 264.8068526480685 | 683.4666666666667 |
| BASE/blockerParallel/7-nDJA | 0.3929797723710216 | 256.26666666666665 | 652.111596280124 |
| BASE/lightsOut/5P1ZBw | 0.396596145635499 | 897.9333333333333 | 2264.1 |
| BASE/queens08lg/Ru7eqQ | 0.4108970971552177 | 233.99220025999134 | 569.4666666666667 |
| BASE/ticTacHeaven/18n58A | 0.4149426519455462 | 258.06666666666666 | 621.9333333333333 |
| BASE/reversi/d8UMeA | 0.42237718239812416 | 15.527330762069424 | 36.76176509798694 |
| BASE/breakthroughSmallHoles/bxclRw | 0.43389523612595005 | 477.61741275290825 | 1100.7666666666667 |
| BASE/reversiSuicide/9OxJlg | 0.436189568400831 | 15.963473971872292 | 36.597560162655824 |
| BASE/qyshinsu/R08Lzw | 0.43853102583402076 | 92.27231830450864 | 210.4122921041229 |
| BASE/ticTacHeavenFC/mrletw | 0.4400516551238017 | 251.47485251474853 | 571.4666666666667 |
| BASE/queens12ug/u6Bkmg | 0.44125461488796264 | 217.17828217178283 | 492.183593880204 |
| BASE/wallmaze/uxNQ9g | 0.4460679385760819 | 319.53333333333336 | 716.3333333333334 |
| DRESDEN/mimikry/GJEhwA | 0.45806496897126764 | 372.3333333333333 | 812.8395720142662 |
| DRESDEN/connect4/T0-rHQ | 0.47203724438682304 | 267.0 | 565.6333333333333 |
| BASE/connect4/50bOyw | 0.48844855192407866 | 268.9397726893977 | 550.6 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 0.4918026715846934 | 110.655601106556 | 225.0 |
| BASE/stateSpaceMedium/3bUoIw | 0.49401979529183276 | 2730.233333333333 | 5526.566666666667 |
| BASE/3pConnectFour/PqXOFQ | 0.4971052631578948 | 377.8 | 760.0 |
| BASE/tictactoe_3d_small_2player/oOryKA | 0.501759362280385 | 400.2199926669111 | 797.6333333333333 |
| DRESDEN/catcha_mouse/cHv4dw | 0.5044554867723399 | 605.7333333333333 | 1200.7666666666667 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 0.507226323967994 | 311.6229459018033 | 614.3666666666667 |
| DRESDEN/statespacemedium/dVJZ_w | 0.5120224184952585 | 2728.5333333333333 | 5328.933333333333 |
| BASE/tictactoe_3d_small_6player/g_9lww | 0.5155317951603826 | 305.3666666666667 | 592.3333333333334 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 0.5230407580373874 | 414.0390640623958 | 791.6 |
| STANFORD/breakthrough/d5j0cQ | 0.5250944551030973 | 472.91756941435284 | 900.6333333333333 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.527375806552653 | 561.2333333333333 | 1064.2 |
| STANFORD/sukoshi/4LYZZQ | 0.5284533586018109 | 1338.4666666666667 | 2532.8 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 0.5333820952899352 | 1045.2333333333333 | 1959.6333333333334 |
| BASE/ticTacToeNoVars/XT03NA | 0.5357974296010459 | 1120.0666666666666 | 2090.4666666666667 |
| BASE/hidato19/rRHSmA | 0.536326347137158 | 318.15606146461784 | 593.213559548015 |
| BASE/catcha_mouse/cHv4dw | 0.5373913474461631 | 619.3793540215327 | 1152.5666666666666 |
| DRESDEN/pawn_whopping/4ogBkg | 0.5467187207748326 | 598.1467284423852 | 1094.0666666666666 |
| BASE/brain_teaser_extended/ZDp94A | 0.5500894545826305 | 1793.5666666666666 | 3260.5 |
| DRESDEN/sum15/CsgWKg | 0.5518673287981264 | 2804.1666666666665 | 5081.233333333334 |
| BASE/sum15/QZ07Kg | 0.555938902222686 | 2841.366666666667 | 5110.933333333333 |
| DRESDEN/tictactoelarge/IwXcbg | 0.5624540907341985 | 1072.0 | 1905.9333333333334 |
| DRESDEN/brain_teaser_extended/ZDp94A | 0.5681815826294243 | 1827.3666666666666 | 3216.1666666666665 |
| DRESDEN/peg/Vo31eg | 0.5698837887557769 | 423.3666666666667 | 742.9 |
| DRESDEN/peg_bugfixed/u_B7MA | 0.5719538204337705 | 430.3189893670211 | 752.3666666666667 |
| BASE/doubletictactoe/HH1htg | 0.5750184032657432 | 1145.6666666666667 | 1992.4 |
| DRESDEN/blocker/S815zQ | 0.578157256009605 | 2231.1666666666665 | 3859.1 |
| DRESDEN/bunk_t/7-tPfA | 0.588477296583483 | 1158.6333333333334 | 1968.8666666666666 |
| BASE/doubletoetictac/fu35bg | 0.5886804985055322 | 1122.6333333333334 | 1907.0333333333333 |
| DRESDEN/doubletictactoe/lJzgmQ | 0.5905860699739259 | 1155.1666666666667 | 1955.9666666666667 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 0.5941023358422008 | 457.8 | 770.5743141895271 |
| BASE/connectFourSimultaneous/7ITr3g | 0.5941229845745795 | 283.7238758708043 | 477.5507483083897 |
| BASE/bunk_t/xbpfIA | 0.5956184628193786 | 1144.6 | 1921.7 |
| STANFORD/dualhunter/1rPZjQ | 0.6088330788913497 | 943.8333333333334 | 1550.2333333333333 |
| DRESDEN/tictactoe_3player/ESLQQQ | 0.6113768718801996 | 587.9 | 961.6 |
| DRESDEN/pentago_2008/hLjVpQ | 0.6131057899902099 | 239.45868471050966 | 390.56666666666666 |
| BASE/tpeg/QNs7Lw | 0.6152047319913797 | 447.23333333333335 | 726.9666666666667 |
| DRESDEN/doubletoetictac/V89gKQ | 0.6159228965491775 | 1111.9666666666667 | 1805.3666666666666 |
| BASE/ticTacToeLarge/TZC0dg | 0.6262200576483451 | 1050.0666666666666 | 1676.8333333333333 |
| DRESDEN/tpeg/h-Scbg | 0.6266825922722273 | 463.3691087260849 | 739.4 |
| DRESDEN/blocksworldparallel/2JfVaw | 0.6326172899527898 | 1648.2 | 2605.366666666667 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 0.6419338939036142 | 2908.6666666666665 | 4531.1 |
| BASE/ticTacToeLargeSuicide/727_8g | 0.646977771473729 | 1064.3 | 1645.0333333333333 |
| BASE/tictactoe_orthogonal/WRzlVw | 0.6482275691743444 | 2922.1666666666665 | 4507.933333333333 |
| BASE/numbertictactoe/rvJ-iQ | 0.6495965988695105 | 1344.6 | 2069.9 |
| BASE/snakeAssemblit/UO4sdg | 0.6553551806605908 | 337.9554014866171 | 515.6828105729809 |
| DRESDEN/backgammon/mqCW0Q | 0.6574105639777735 | 202.9729369417411 | 308.74608359442703 |
| BASE/factoringGeorgeForman/HGRorQ | 0.6633240188403787 | 3347.0666666666666 | 5045.9 |
| DRESDEN/battlesnakes2011/93VtTw | 0.6671661962817098 | 483.05056498116727 | 724.0333333333333 |
| BASE/hallway/ckCJOw | 0.6706513265248185 | 181.06378724255148 | 269.98200119992 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 0.6714199029126213 | 516.3666666666667 | 769.0666666666667 |
| DRESDEN/hallway/0H4l-Q | 0.671576852816021 | 182.20903879482736 | 271.31524565028997 |
| BASE/dotsAndBoxes/EHwA_w | 0.6721660161914819 | 530.4333333333333 | 789.1403619879337 |
| DRESDEN/chickentictactoe/Ipbo-g | 0.6815237165549984 | 2047.9333333333334 | 3004.9333333333334 |
| DRESDEN/towerworld/HCX34w | 0.6823061763895018 | 22.25331467785995 | 32.61485158410234 |
| BASE/tictactoe_3player/GtM71g | 0.6833515539590816 | 583.4 | 853.7333333333333 |
| BASE/lightsOnParallel/SC6enA | 0.6847816639972188 | 1838.4333333333334 | 2684.7 |
| DRESDEN/stratego/Z2wovg | 0.6920606355654335 | 467.4021731884541 | 675.3774874170861 |
| DRESDEN/eotcatcit/mQUxzA | 0.6983307148468185 | 2370.6 | 3394.6666666666665 |
| DRESDEN/tictactoeparallel/yk_DSg | 0.7042640637040842 | 913.9 | 1297.6666666666667 |
| DRESDEN/javastrike/whONTQ | 0.7095594765774379 | 197.9 | 278.9054427890544 |
| BASE/eotcitcit/V_9_bg | 0.7099884100727004 | 1796.9333333333334 | 2530.9333333333334 |
| DRESDEN/battlesnakes1509/-qZrLw | 0.7115828334102445 | 514.0 | 722.3333333333334 |
| DRESDEN/tictactoe/BTTzPw | 0.7187969051100547 | 2474.266666666667 | 3442.233333333333 |
| BASE/chomp/-LcqYQ | 0.7199764100364573 | 1342.9 | 1865.2 |
| BASE/eotcatcit/AfZSzA | 0.7202113309352517 | 2349.233333333333 | 3261.866666666667 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 0.7234448322892346 | 4172.733333333334 | 5767.866666666667 |
| DRESDEN/chomp/-LcqYQ | 0.7302278517608369 | 1347.1 | 1844.7666666666667 |
| BASE/blocker/dIWtxg | 0.7399011122147152 | 2259.633333333333 | 3053.9666666666667 |
| BASE/pawnWhopping/Ypc_6Q | 0.7437835883946269 | 578.6140461984601 | 777.9333333333333 |
| BASE/mineClearingSmall/frsbvw | 0.7533889257904335 | 192.22692576914102 | 255.14965668955404 |
| DRESDEN/tictictoe/LAUtwg | 0.7589268210714986 | 1806.6 | 2380.4666666666667 |
| BASE/copolymer_4_pie/IN5_jA | 0.7707869765446752 | 777.1074297523415 | 1008.2 |
| BASE/copolymer_4/2LDVhQ | 0.7753765152442758 | 844.3333333333334 | 1088.9333333333334 |
| BASE/chickentictactoe/DSlZCA | 0.7866099305065968 | 2082.733333333333 | 2647.733333333333 |
| DRESDEN/latenttictactoe/kITHKg | 0.7877845095791715 | 1443.3 | 1832.1 |
| BASE/tictactoe-init1/7M19vA | 0.7949595449085511 | 2338.4 | 2941.5333333333333 |
| DRESDEN/amazons/dNB28A | 0.8001247057326462 | 9.693961952026468 | 12.115563839701771 |
| BASE/racetrackcorridor/_RkdUg | 0.8017198844012124 | 758.2666666666667 | 945.8 |
| DRESDEN/tictactoe-init1/3ltIBQ | 0.8039490995124432 | 2423.9333333333334 | 3015.0333333333333 |
| DRESDEN/racetrackcorridor/O0DoTA | 0.8125728027655658 | 720.8333333333334 | 887.1 |
| BASE/chickentoetictac/l57rfQ | 0.8154615812203361 | 3178.5333333333333 | 3897.8333333333335 |
| STANFORD/tictactoe/ss1kyQ | 0.8156502656502657 | 2353.9666666666667 | 2886.0 |
| BASE/tictactoe2/bhrDoQ | 0.8208642573175813 | 2429.5666666666666 | 2959.766666666667 |
| STANFORD/tictictoe/rpt_Dw | 0.8215263953540585 | 1829.5666666666666 | 2227.0333333333333 |
| STANFORD/trifecta/ss1kyQ | 0.8230372348925873 | 2403.4333333333334 | 2920.2 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 0.8262900383283421 | 2234.866666666667 | 2704.7 |
| DRESDEN/sheep_and_wolf/enAIzQ | 0.8295908136764995 | 514.6333333333333 | 620.3459884670511 |
| DRESDEN/chickentoetictac/cxYaRQ | 0.8306777686403509 | 3232.3333333333335 | 3891.2 |
| BASE/duplicateStateLarge/dcjyuw | 0.8367470601396098 | 623.3 | 744.9085030498983 |
| BASE/ticTicToe/c1OobQ | 0.8369407925120846 | 1812.2 | 2165.266666666667 |
| BASE/tictactoe_3d_6player/d7KSwg | 0.8411892320615414 | 118.77624475104979 | 141.2003865764655 |
| STANFORD/tictactoe7/-bE9-A | 0.8419421970724408 | 2400.4333333333334 | 2851.0666666666666 |
| BASE/queens08ug/kJ_ZFQ | 0.8532994923857868 | 784.4666666666667 | 919.3333333333334 |
| BASE/ticTacToe/JRFsaQ | 0.8535321549887731 | 2470.8333333333335 | 2894.8333333333335 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 0.8681746224948392 | 127.23697803845769 | 146.55689620691953 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 0.8740901133128336 | 112.46251249583472 | 128.66237792073596 |
| BASE/tictactoe_3d_2player/IUC1rQ | 0.8775901276108127 | 122.72515165655624 | 139.8433594400933 |
| BASE/toetictac/mTThmg | 0.8838168548709197 | 4056.866666666667 | 4590.166666666667 |
| BASE/ticTacToeSerial/Amrwqw | 0.8857868778956807 | 987.8 | 1115.1666666666667 |
| BASE/snake_2009_big/-oRfVw | 0.8882554156407347 | 343.2218926035799 | 386.4 |
| BASE/ticTacToeParallel/ymRGPw | 0.8958239928264908 | 932.4333333333333 | 1040.8666666666666 |
| DRESDEN/toetictac/mJtxCA | 0.9001547189272822 | 4072.6 | 4524.333333333333 |
| STANFORD/tictactoe3/X7myng | 0.9037421379319837 | 2188.8333333333335 | 2421.9666666666667 |
| BASE/duplicateStateMedium/U163eQ | 0.9056549566660814 | 1891.4 | 2088.4333333333334 |
| STANFORD/tictactoe5/WFRReg | 0.9091037402964007 | 2361.7 | 2597.8333333333335 |
| BASE/snakeParallel/RCVNtw | 0.9114929479267685 | 2062.131262291257 | 2262.366666666667 |
| DRESDEN/snake_2009_big/DgC1NQ | 0.9125369500956356 | 349.8666666666667 | 383.4 |
| DRESDEN/blocks/vg0DRw | 0.9142576787249649 | 6273.666666666667 | 6862.033333333334 |
| BASE/blocks/xIV5hQ | 0.9309733306050065 | 6369.533333333334 | 6841.8 |
| BASE/blocksWorld/SEdXLQ | 0.934143718869189 | 6457.766666666666 | 6913.033333333334 |
| BASE/incredible/8Qh-6Q | 0.9379556065197805 | 2290.3 | 2441.8 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 0.9396541213964943 | 72.06666666666666 | 76.69488700753283 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 0.94872092573242 | 4085.6666666666665 | 4306.5 |
| BASE/snake_2009/7l-qAQ | 0.9509527170077628 | 449.15169494350187 | 472.3175894136862 |
| BASE/crisscross/ICagEg | 0.9524460768990309 | 812.5 | 853.0666666666667 |
| BASE/blocksWorldSerial/Wyg96Q | 0.9569767701336666 | 2859.0 | 2987.5333333333333 |
| DRESDEN/snake_2009/zIYLVw | 0.9652069260180791 | 446.536897540164 | 462.6333333333333 |
| STANFORD/hunter/14dD-g | 0.9847448003825006 | 2196.9 | 2230.9333333333334 |
| BASE/lightsOn/MsXu3A | 0.9863949903048411 | 5171.833333333333 | 5243.166666666667 |
| BASE/strangeSkirmish/gc1zKA | 0.9915211538461538 | 25.766666666666666 | 25.987006496751626 |
| BASE/double_tictactoe_dengji/zgaSbA | 1.0005856142584342 | 1309.9333333333334 | 1309.1666666666667 |
| DRESDEN/connectfoursuicide/M9CNQg | 1.0024159171949736 | 672.9218052129858 | 671.3 |
| DRESDEN/crisscross/GsY16g | 1.0120011507952817 | 820.7666666666667 | 811.0333333333333 |
| BASE/ticblock/T21C1g | 1.013614057305683 | 1494.0333333333333 | 1473.9666666666667 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 1.014021441547476 | 1321.0333333333333 | 1302.7666666666667 |
| BASE/stateSpaceSmall/Q7osKA | 1.016502090900766 | 8880.433333333332 | 8736.266666666666 |
| DRESDEN/capture_the_king/EQ229Q | 1.026992186198394 | 47.08273633001233 | 45.845272206303726 |
| DRESDEN/ticblock/Z2yNWQ | 1.0287412381190029 | 1511.6666666666667 | 1469.4333333333334 |
| DRESDEN/3pttc/uwYBZw | 1.038016906723326 | 866.5711142961901 | 834.8333333333334 |
| DRESDEN/statespacesmall/h-NqjA | 1.0428480625173042 | 8914.3 | 8548.033333333333 |
| BASE/connectFourSuicide/c8p9Kw | 1.0428599096884614 | 636.3666666666667 | 610.2129929002367 |
| DRESDEN/connectfour/5tc-Mg | 1.0432232972131568 | 659.1780273990867 | 631.8666666666667 |
| BASE/duplicateStateSmall/bCPAXw | 1.0442399986714717 | 6288.1 | 6021.7 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 1.0443911596283384 | 2206.8333333333335 | 2113.0333333333333 |
| BASE/blockerSerial/3eqDuw | 1.045244946780848 | 1004.9333333333333 | 961.4333333333333 |
| DRESDEN/cube_2x2x2/fp-34Q | 1.0481865845089453 | 1292.8333333333333 | 1233.4 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 1.0561822824262297 | 209.77902209779023 | 198.62009199386708 |
| BASE/circlesolitaire/azuQFQ | 1.059503445579395 | 4335.7 | 4092.2 |
| BASE/escortLatch/mX9BjQ | 1.0615542636563995 | 478.58404719842673 | 450.8333333333333 |
| BASE/skirmishHoles/AUCxCA | 1.0622090791095211 | 33.09779348043464 | 31.159396140900455 |
| DRESDEN/circlesolitaire/ruUilQ | 1.0652940840985197 | 4358.366666666667 | 4091.233333333333 |
| BASE/pentagoSuicide/SBgNhw | 1.0784142253315843 | 246.63333333333333 | 228.7 |
| BASE/connectFour/WAIKTw | 1.0840652251841412 | 670.1329867013299 | 618.1666666666666 |
| DRESDEN/troublemaker01/C-lPWw | 1.0880680306693702 | 12270.433333333332 | 11277.266666666666 |
| BASE/pentago/86NgKw | 1.124102529477959 | 255.26666666666668 | 227.08486100926604 |
| BASE/pegEuro/5awwhg | 1.1243301178992497 | 349.6550114996167 | 310.9896336788774 |
| BASE/troublemaker02/DI83KA | 1.1315116082932275 | 10509.366666666667 | 9287.9 |
| DRESDEN/3pffa/0YrmQw | 1.1425726802070888 | 956.3333333333334 | 837.0 |
| BASE/blocks2player/wnTLOQ | 1.146090432531243 | 5371.0 | 4686.366666666667 |
| BASE/hodgepodge/9yjRkw | 1.1604852904199146 | 3692.2 | 3181.6 |
| DRESDEN/blocks2player/3ev8nQ | 1.1644152836742572 | 5430.6 | 4663.8 |
| STANFORD/connectfour/VMpZkQ | 1.1703119920248637 | 665.2 | 568.3954403039797 |
| BASE/troublemaker01/s3tlEQ | 1.1858143851227578 | 13076.133333333333 | 11027.133333333333 |
| BASE/connectFour_9x6/B9TtMw | 1.1864739355091896 | 604.6666666666666 | 509.6333333333333 |
| DRESDEN/lightson2x2/gBHuig | 1.1991309669522643 | 3265.633333333333 | 2723.3333333333335 |
| BASE/hidato37/pBrqxw | 1.2126427490795115 | 76.65900076659001 | 63.21647560650493 |
| BASE/skirmish/Y_psYQ | 1.2248942947219543 | 28.944475901808612 | 23.63018264231436 |
| DRESDEN/logistics/fPru1Q | 1.2589602354183957 | 1112.3333333333333 | 883.5333333333333 |
| BASE/tron_10x10/7ZTgDg | 1.2647058823529411 | 1603.9 | 1268.2 |
| DRESDEN/grid_game/U7_Yeg | 1.2729453160061661 | 724.8333333333334 | 569.4143528549048 |
| DRESDEN/troublemaker02/iZLVuA | 1.279750663148913 | 11948.733333333334 | 9336.766666666666 |
| BASE/coloredtrails/EZvr7g | 1.2844951126130943 | 2001.8 | 1558.4333333333334 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 1.2875787323384216 | 756.3666666666667 | 587.4333333333333 |
| BASE/hexPie/48CH6Q | 1.3027499357491648 | 168.95540297313514 | 129.69135390973935 |
| BASE/god/qF06gw | 1.3044881416516843 | 50.34149591870732 | 38.59099543439864 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 1.3074140466504225 | 642.811906269791 | 491.6666666666667 |
| DRESDEN/buttons/ADUaHw | 1.3132966336698841 | 10640.066666666668 | 8101.8 |
| BASE/queens06ug/7Lq3tw | 1.3160749786992332 | 1544.6333333333334 | 1173.6666666666667 |
| STANFORD/hex/MTqWcw | 1.320346834414682 | 171.16096130128994 | 129.63333333333333 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 1.3312444046553267 | 2577.4666666666667 | 1936.1333333333334 |
| BASE/peg/fJHVWw | 1.3327731092436974 | 422.9192360254658 | 317.3227559081364 |
| DRESDEN/Zhadu/9zpQ5w | 1.3368525493350887 | 54.772613693153424 | 40.971320075946835 |
| BASE/hex/T1MK8g | 1.3389306249222546 | 171.46095130162328 | 128.05812945803612 |
| BASE/switches/tPUoCg | 1.348559381588194 | 8315.666666666666 | 6166.333333333333 |
| BASE/dualConnect4/WbCQkg | 1.3701829694921688 | 478.9840338655378 | 349.57669488700753 |
| BASE/buttons/hTcUjw | 1.3715926493108728 | 10747.8 | 7836.0 |
| DRESDEN/god/2EDD5w | 1.3717308101758448 | 50.37816945990071 | 36.72598813570619 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 1.3892321216353811 | 726.4757841405286 | 522.9333333333333 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 1.3908104816289064 | 5252.766666666666 | 3776.766666666667 |
| STANFORD/bestbuttonsandlights/nm0wEA | 1.3925463821264734 | 6860.333333333333 | 4926.466666666666 |
| BASE/pearls/6k_mEQ | 1.3975863440880587 | 12294.8 | 8797.166666666666 |
| BASE/haystack/UkweGA | 1.402017312608702 | 18755.533333333333 | 13377.533333333333 |
| DRESDEN/firefighter/WJmoPw | 1.4085545900473646 | 3895.733333333333 | 2765.766666666667 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 1.4119129278364946 | 672.3775874137528 | 476.2174594180194 |
| DRESDEN/8puzzle/8fKC2w | 1.4147614528513501 | 3279.7 | 2318.2 |
| BASE/onestep/xi53wA | 1.4179451241558163 | 21177.766666666666 | 14935.533333333333 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 1.4214847283100256 | 681.0333333333333 | 479.1 |
| BASE/skirmishFinal2/gdB62Q | 1.4266810319978018 | 42.313586992736724 | 29.65875766462277 |
| DRESDEN/Goldrush/VeWczQ | 1.431039783557769 | 775.740808639712 | 542.0819306023133 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 1.4335073686694815 | 710.8763041231958 | 495.9 |
| DRESDEN/brawl/2kXtfQ | 1.4431822784810127 | 57.0 | 39.496050394960506 |
| BASE/snake_2008_tweaked/bX0NJQ | 1.4675690832259487 | 490.21699276690777 | 334.03333333333336 |
| BASE/brawl/6Ymo_Q | 1.4715295916920859 | 57.845456665889174 | 39.309747484842426 |
| BASE/firefighter/WJmoPw | 1.49117053481332 | 3940.6666666666665 | 2642.6666666666665 |
| BASE/connectFourLarge/aU644A | 1.4913559675067694 | 477.31742275257494 | 320.0559981333956 |
| DRESDEN/snake_2008/E56l3A | 1.4955562607504453 | 493.65021165961133 | 330.07799480034663 |
| BASE/skirmishFinal3/-Olhfw | 1.4989019666367216 | 47.62380857161901 | 31.772463864650636 |
| DRESDEN/bidding-tictactoe/yW5vTA | 1.4991102750521126 | 1965.7333333333333 | 1311.2666666666667 |
| BASE/snake_2008/i6K26g | 1.5124962360734717 | 502.28325722475915 | 332.0889303689877 |
| BASE/2pffa_zerosum/o0_uZA | 1.5180818192691825 | 846.1 | 557.3480883970534 |
| BASE/survival/YVIjJA | 1.5226736591737664 | 15620.5 | 10258.6 |
| DRESDEN/skirmishfinal/hzq8ww | 1.528052129791376 | 43.481158164795254 | 28.45528455284553 |
| STANFORD/pentago/ZxzLmg | 1.5331945241470368 | 367.5088327444837 | 239.70137315024664 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 1.5441452304394425 | 768.3666666666667 | 497.6 |
| BASE/4pffa/Q3ADlg | 1.5505090844217904 | 723.1092296923435 | 466.36890873941735 |
| BASE/breakthroughSuicideSmall/XSbJog | 1.5555861057648246 | 565.7666666666667 | 363.7 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 1.565926438706159 | 649.9116696110129 | 415.03333333333336 |
| BASE/roshambo2/KNPokQ | 1.5675026308782696 | 8242.033333333333 | 5258.066666666667 |
| BASE/skirmishFinal1/ecWTnQ | 1.5687202456145826 | 41.28486221718703 | 26.317542807648746 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 1.576630613547975 | 8148.5 | 5168.3 |
| DRESDEN/roshambo2/jgSlkQ | 1.5851692840733627 | 8418.2 | 5310.6 |
| BASE/2pffa/6oHijA | 1.6025674798147933 | 930.6333333333333 | 580.7139762007934 |
| BASE/breakthroughSmall/HJ0tIA | 1.6061702532850886 | 562.2479250691644 | 350.0549981667278 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 1.6128330221181915 | 8176.633333333333 | 5069.733333333334 |
| DRESDEN/chinesecheckers1/Y-ftaA | 1.6172078174261966 | 1003.0666666666667 | 620.2459918002734 |
| BASE/aipsrovers01/4C4jsw | 1.6222481369816257 | 1901.1666666666667 | 1171.9333333333334 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 1.6225004064379778 | 665.3333333333334 | 410.06666666666666 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 1.6381891844283953 | 620.0 | 378.46666666666664 |
| STANFORD/pilgrimage/ObRZnQ | 1.6401823842448853 | 397.3068462102527 | 242.23333333333332 |
| STANFORD/threepuzzle/41ibjA | 1.6476466246522457 | 5804.0 | 3522.6 |
| BASE/3pffa/pR0dzA | 1.6504255753478094 | 846.2 | 512.7162427919069 |
| BASE/biddingTicTacToe/8mESVw | 1.651424055099218 | 1950.1666666666667 | 1180.9 |
| DRESDEN/aipsrovers01/qS47Mw | 1.7075675515700377 | 1923.2333333333333 | 1126.3 |
| STANFORD/freeforall/Lfp40Q | 1.741195669411406 | 824.6333333333333 | 473.6017598826745 |
| BASE/gt_dollar/TGjqRw | 1.7548231903878089 | 4790.433333333333 | 2729.866666666667 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 1.7684887035472971 | 4466.966666666666 | 2525.866666666667 |
| BASE/englishDraughts/jFkQxg | 1.7738547355091625 | 455.3181560614646 | 256.6828878074795 |
| DRESDEN/Thief_Police/CX18rA | 1.7769204783460577 | 4383.366666666667 | 2466.8333333333335 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 1.7782662694588043 | 676.4666666666667 | 380.40797280181323 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 1.7820757869411212 | 4444.2 | 2493.8333333333335 |
| STANFORD/3puzzle/41ibjA | 1.7862502554719661 | 6117.966666666666 | 3425.0333333333333 |
| BASE/cittaceot/fDxhXg | 1.7894969152934754 | 517.249425019166 | 289.04739684021064 |
| STANFORD/alquerquezero/uVgA_A | 1.7919089729571436 | 519.1160294656845 | 289.7 |
| DRESDEN/catch_me/ghGWrA | 1.7982098405804778 | 4526.933333333333 | 2517.4666666666667 |
| DRESDEN/crissrace/KWb9bw | 1.7987157142155292 | 607.2464251191627 | 337.6 |
| DRESDEN/chinesecheckers4/-oVNYg | 1.7988039335962223 | 410.53333333333336 | 228.2257258091397 |
| BASE/crissrace/ERWGDA | 1.8038049931577718 | 600.4666666666667 | 332.8889037032099 |
| BASE/rubiksCube/9tNO9Q | 1.822206403310114 | 390.6203126562448 | 214.36666666666667 |
| STANFORD/eightpuzzle/W_aWbA | 1.8284679707331644 | 3265.4 | 1785.8666666666666 |
| STANFORD/8puzzle/jNiGtw | 1.8564604862092038 | 3329.5 | 1793.4666666666667 |
| BASE/maze/cCX3qQ | 1.8659261715296198 | 11255.266666666666 | 6032.0 |
| STANFORD/untwistycomplex/HTWEwg | 1.8760737469589182 | 5423.666666666667 | 2890.9666666666667 |
| DRESDEN/chinesecheckers3/QsCb2A | 1.8985757386380306 | 718.9666666666667 | 378.68737708743043 |
| BASE/eightPuzzle/vLrgFg | 1.9144351701476752 | 3379.233333333333 | 1765.1333333333334 |
| DRESDEN/knightwar/7hhAqg | 1.9165828488715586 | 1081.3 | 564.1811939602013 |
| STANFORD/untwistycorridor/EDPPAQ | 2.036427554336204 | 13014.333333333334 | 6390.766666666666 |
| DRESDEN/oisters_farm/pTQMLg | 2.0649349134512205 | 5901.033333333334 | 2857.733333333333 |
| BASE/untwistycomplex2/EDPPAQ | 2.0982064787442227 | 13438.033333333333 | 6404.533333333334 |
| DRESDEN/point_grab/r5DPmQ | 2.1043197861894662 | 9658.266666666666 | 4589.733333333334 |
| DRESDEN/frogs_and_toads/GjchhQ | 2.1362140953280147 | 476.684110529649 | 223.14435223144352 |
| DRESDEN/knightmove/97Ipcw | 2.202250023565453 | 830.6333333333333 | 377.17485500966603 |
| BASE/knightmove/jBaJEw | 2.2041097409909907 | 826.3666666666667 | 374.9208359721343 |
| STANFORD/buttonsandlights/eyhJpA | 2.2188398873834956 | 21830.5 | 9838.7 |
| DRESDEN/smallest/9kaGFw | 2.2463435323383085 | 1324.4 | 589.580347321756 |
| BASE/beatMania/qUHwvQ | 2.2493794123342896 | 4258.9 | 1893.3666666666666 |
| BASE/connectFourLarger/qKi60A | 2.3159185684841668 | 274.46666666666664 | 118.51309040037306 |
| DRESDEN/4pttc/9pB9AQ | 2.3472500556668896 | 702.7666666666667 | 299.4 |
| DRESDEN/chinesecheckers2/06E6-Q | 2.479513356188102 | 795.5666666666667 | 320.85597146761774 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 2.780148645408775 | 386.53333333333336 | 139.03333333333333 |
| DRESDEN/breakthrough/z4hK7Q | 2.7869416750844533 | 372.08759708009734 | 133.51108148641893 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 2.7913885245608383 | 1733.7666666666667 | 621.1126295790141 |
| BASE/smallest_4player/ADDROA | 2.8018889763414974 | 2017.2666666666667 | 719.9666666666667 |
| BASE/breakthroughSuicide/wZDpIg | 2.8151037722895187 | 371.8752083194454 | 132.1 |
| BASE/chineseCheckers4/avfBcQ | 2.835043557107457 | 838.9 | 295.9037429590374 |
| BASE/chineseCheckers1/gqtwHw | 2.8370537947355308 | 2277.7 | 802.8399053364888 |
| BASE/point_grab/V_osUg | 2.876512667660209 | 9650.7 | 3355.0 |
| BASE/shmup/ssTNlg | 2.884269136701878 | 1847.5666666666666 | 640.5666666666667 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 2.8872987477638636 | 376.58744708509715 | 130.42898570047666 |
| BASE/breakthrough/TGxk-g | 2.8886314915010303 | 371.48761707943066 | 128.6033258906255 |
| DRESDEN/babel/WdSW4A | 2.890831534820825 | 237.46666666666667 | 82.14476139696082 |
| DRESDEN/smallest_4player/ADDROA | 2.9156800990419773 | 2099.9 | 720.2093263557881 |
| BASE/breakthroughHoles/nZk0Sg | 2.9349587967730857 | 379.96666666666664 | 129.46235125495818 |
| DRESDEN/hanoi/RQ0jiA | 2.95234955646128 | 4925.7 | 1668.4 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 2.987844921942508 | 1728.8666666666666 | 578.6333333333333 |
| BASE/nim3/1OwUqw | 3.034783223041236 | 4295.533333333334 | 1415.4333333333334 |
| BASE/hanoi/iGLsJg | 3.0446632743453987 | 4926.366666666667 | 1618.0333333333333 |
| DRESDEN/nim3/sG_axA | 3.0582897862232783 | 4291.8 | 1403.3333333333333 |
| BASE/nim4/twk16w | 3.0790965881787606 | 4271.733333333334 | 1387.3333333333333 |
| BASE/checkersTiny/Lr48cg | 3.093037875705333 | 407.3530882303923 | 131.7 |
| BASE/breakthroughWalls/vOZaYA | 3.1025568916395634 | 384.4205193160228 | 123.90442230146299 |
| DRESDEN/nim4/F5YAYg | 3.126417233560091 | 4228.166666666667 | 1352.4 |
| DRESDEN/chinesecheckers6/yTbPDA | 3.129662332621774 | 537.5 | 171.74376749766697 |
| BASE/checkLines/Vop7oQ | 3.1576404268169918 | 1045.6 | 331.1333333333333 |
| BASE/choicethroughalt/tt71Lg | 3.2406340761272707 | 306.5026830650268 | 94.58108378324336 |
| BASE/checkersSmall/SYmq8w | 3.2665058757902563 | 292.7 | 89.60645139791396 |
| BASE/ttcc4_2player_small/Cv72TA | 3.292765174739424 | 716.0666666666667 | 217.46666666666667 |
| DRESDEN/skirmish3/3LU8Nw | 3.3113318371367835 | 198.65342310512634 | 59.992001066524466 |
| DRESDEN/knightazons/02I8BQ | 3.3634137931034482 | 162.5 | 48.31400773024124 |
| BASE/knightazons/apnJBQ | 3.3666895133653183 | 163.73333333333332 | 48.63333333333333 |
| BASE/chineseCheckers2/eCMR3Q | 3.466702291096119 | 1730.0 | 499.03333333333336 |
| BASE/asteroidsSerial/id2QkA | 3.527178293185278 | 2625.866666666667 | 744.4666666666667 |
| STANFORD/skirmish/w4V6Vw | 3.5626716858068983 | 29.08739546196648 | 8.164489469474807 |
| BASE/kitten_escapes_from_fire/uW-YiA | 3.61794060870174 | 2296.8333333333335 | 634.8455051498283 |
| BASE/checkers/rOC3Xg | 3.625166859300425 | 220.9259691343622 | 60.94228975076636 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 3.6420371529951994 | 2326.5333333333333 | 638.8 |
| BASE/asteroidsParallel/WauZiA | 3.6895987640296264 | 2706.5666666666666 | 733.5666666666667 |
| BASE/endgame/jYjfOA | 3.725875269811902 | 268.46666666666664 | 72.05465755707382 |
| BASE/gt_centipede/9fRMpw | 3.762287771963183 | 7452.966666666666 | 1980.9666666666667 |
| BASE/chineseCheckers6/rREH3A | 3.7666758544652703 | 911.0029665677811 | 241.85860471317622 |
| STANFORD/madness/UO_B3A | 3.78493387974113 | 28.84071002764179 | 7.61987156024357 |
| BASE/kalaha5x2x3/WviNsw | 3.8071719854085355 | 1658.1666666666667 | 435.5376308246117 |
| BASE/pawnToQueen/-O1_JA | 3.811708028648703 | 18.88992537313433 | 4.955763985897692 |
| STANFORD/chinook/osFbPA | 3.874052717177894 | 344.2885237158761 | 88.87037654115295 |
| DRESDEN/knightstour/cGISAA | 3.90365620944966 | 8523.633333333333 | 2183.5 |
| BASE/chinook/XQh0IQ | 3.947336975179773 | 378.06666666666666 | 95.77765188122771 |
| DRESDEN/nim2/z5_exA | 3.9754774817260077 | 5620.0 | 1413.6666666666667 |
| BASE/sheepAndWolf/g4THrg | 3.9762405636638145 | 526.6666666666666 | 132.45342132453422 |
| BASE/nim1/hin2Qw | 3.98399288572699 | 5674.666666666667 | 1424.3666666666666 |
| BASE/minichess/8NQEiA | 3.997174721189591 | 896.0333333333333 | 224.16666666666666 |
| BASE/nim2/eF2Qqw | 4.011034290104057 | 5743.4 | 1431.9 |
| DRESDEN/pawntoqueen/f_x6Aw | 4.048864743401221 | 19.48960554371002 | 4.813597583242041 |
| BASE/2pttc/unkkYA | 4.059702153316107 | 837.8666666666667 | 206.38624091727218 |
| BASE/chineseCheckers3/-1rZdQ | 4.0908697708659245 | 1481.8 | 362.22125929135694 |
| DRESDEN/minichess/c7GMFw | 4.156825474344168 | 839.7333333333333 | 202.0131320201313 |
| BASE/chess_200/XsTpYA | 4.382859983247493 | 53.763082461169255 | 12.266666666666667 |
| DRESDEN/nim1/M9BALA | 4.401994858122262 | 6163.966666666666 | 1400.2666666666667 |
| DRESDEN/knightthrough/J7Fc_Q | 4.459280730246286 | 555.348155061498 | 124.53760789149199 |
| BASE/guess/SPpk1A | 4.489124704738085 | 1076.8333333333333 | 239.8760123987601 |
| DRESDEN/skirmish/RjGQYQ | 4.491453442174808 | 196.64700196647001 | 43.78248700519792 |
| BASE/ttcc4/Le0qjQ | 4.491813196622259 | 423.8858704709843 | 94.36854381872709 |
| BASE/asteroids/BKCmPQ | 4.582430774155685 | 5725.9 | 1249.5333333333333 |
| BASE/ttcc4_2player/_aH_Mw | 4.5856795748113885 | 428.93807079528034 | 93.53860508514113 |
| DRESDEN/skirmish2/iPpWhQ | 4.6344306315527914 | 211.1122221111222 | 45.55300076643674 |
| BASE/tttcc4/8Bs2lg | 4.642831215970961 | 426.35245491816937 | 91.83027232425586 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 4.653696791667228 | 400.88663711209625 | 86.14369501466275 |
| DRESDEN/guess/PhxGhg | 4.656733794957551 | 1100.659956002933 | 236.35878804039865 |
| DRESDEN/tttcc4/sAvtFg | 4.714967911176184 | 429.23333333333335 | 91.03632122625791 |
| STANFORD/knightstourmedium/x1wu8Q | 4.834447517353797 | 8798.533333333333 | 1819.9666666666667 |
| STANFORD/ttcc4/Cx9SGw | 5.038142248438682 | 468.1177294090197 | 92.91475038325669 |
| BASE/checkersBarrelNoKings/rnKNeg | 5.192061910126424 | 460.8666666666667 | 88.76370787640413 |
| BASE/checkersTorusNoKings/pwb6oQ | 5.223693298934217 | 435.98973435989734 | 83.4638845371821 |
| BASE/knightsTour/mvtVIg | 5.344528710725894 | 8221.666666666666 | 1538.3333333333333 |
| BASE/3pttc/0sol9g | 5.4281654603780005 | 748.6750441651945 | 137.92413839077395 |
| BASE/checkers-newgoals/0XkFiA | 5.492146766463284 | 143.12856238125397 | 26.060585863298563 |
| BASE/ttcc4_2player_alt/ZEJvYA | 5.630867155963303 | 511.3 | 90.80306564478506 |
| STANFORD/knightstour/cEwgNA | 5.708628815575035 | 8640.2 | 1513.5333333333333 |
| BASE/amazons_8x8/7SOsIw | 5.897145126915563 | 295.4371229543712 | 50.09833005566481 |
| BASE/checkersTorus/2vm1EQ | 5.8989726703695196 | 376.24158389440703 | 63.78086574027792 |
| DRESDEN/endgame/IJhh3Q | 6.109986482531956 | 230.66924410078656 | 37.75282396454633 |
| BASE/knightwar/DVGY4Q | 6.374705563273136 | 1070.6666666666667 | 167.95546963535764 |
| BASE/skirmishNew/sibw2g | 6.391751614318149 | 151.95653623091795 | 23.77384876635701 |
| BASE/kalaha6x2x4/XS81Mg | 6.4402522306855285 | 1578.1333333333334 | 245.0421624504216 |
| BASE/4pttc/AL1k2Q | 6.60882118796298 | 626.2124595846805 | 94.75403279562725 |
| BASE/bomberman2p/4CClwA | 7.121684099313259 | 898.6666666666666 | 126.18738126187381 |
| DRESDEN/bomberman2p/x4h6jQ | 7.217139604989605 | 925.5333333333333 | 128.24101846297407 |
| DRESDEN/pancakes88/aD3E7g | 7.279098666224837 | 8786.6 | 1207.1 |
| BASE/skirmishZeroSum/zh4hcw | 7.36999652588239 | 152.70279277477837 | 20.71952031978681 |
| BASE/speedChess/bPnisA | 7.379700750700791 | 171.25524965002333 | 23.206259364075244 |
| DRESDEN/gt_prisoner/huCp4w | 7.475457280733502 | 4819.266666666666 | 644.6785107163095 |
| BASE/gt_coordination/IVMOzA | 7.602162928818366 | 5717.333333333333 | 752.0666666666667 |
| BASE/knightThrough/gcwFjA | 8.178438405794637 | 534.1821939268691 | 65.31591575579846 |
| DRESDEN/pancakes/hl9aiQ | 8.53412598026815 | 11245.133333333333 | 1317.6666666666667 |
| DRESDEN/pancakes6/SZXMyQ | 9.100343117181628 | 11437.233333333334 | 1256.791440285324 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 9.307417994436825 | 96.51724712547909 | 10.369927211087845 |
| STANFORD/platformjumpers/HEQskA | 9.332595250297212 | 238.858704709843 | 25.594028060119307 |
| DRESDEN/Runners/3bOCQw | 9.40349558876736 | 11262.566666666668 | 1197.7 |
| DRESDEN/pacman3p/rBnk8Q | 9.562591169840182 | 619.9126695776807 | 64.8268506482685 |
| DRESDEN/gt_chicken/CeuKtw | 9.578109485132803 | 4559.666666666667 | 476.0507983067231 |
| BASE/ruleDepthLinear/OUBJpQ | 9.623689538356686 | 16003.233333333334 | 1662.9 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 9.870828323679895 | 97.63007899736675 | 9.89076861595844 |
| BASE/gt_prisoner/klthDw | 9.948479124601056 | 5091.3 | 511.76666666666665 |
| BASE/amazonsTorus_10x10/Uxc08g | 10.04335451388889 | 128.36666666666667 | 12.781254160564506 |
| BASE/amazonsSuicide_10x10/XIbQkg | 10.122638999489535 | 220.23333333333332 | 21.75651362697408 |
| BASE/checkers-mustjump/T-8UuQ | 10.128765508386188 | 118.3960534648845 | 11.689090182496336 |
| BASE/pacman3p/wW7UVQ | 10.177845643738976 | 641.0333333333333 | 62.98320447880565 |
| BASE/gt_staghunt/xPjLRA | 10.187976178582579 | 5438.5 | 533.8155394820172 |
| BASE/amazons/RKKZjw | 10.19023535851122 | 0.8538587848932676 | 0.0837918610172332 |
| BASE/amazons_10x10/Bun8dA | 10.274411650992686 | 218.23333333333332 | 21.24047008689283 |
| BASE/pacman2p/4LEdQg | 10.59609537088678 | 633.1666666666666 | 59.75471572352196 |
| BASE/checkers-mustjump-torus/uSApKQ | 10.610222046151423 | 93.08758832155712 | 8.773387391578877 |
| BASE/gt_chicken/gmepTQ | 10.815594541910333 | 4623.666666666667 | 427.5 |
| BASE/blobwars/0XT15Q | 11.420346854203467 | 207.5459120754591 | 18.173345759552657 |
| DRESDEN/blobwars/ZaMluQ | 11.456349420267289 | 211.28591427238183 | 18.442691168148073 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 11.572688896167705 | 1177.4 | 101.73953612370035 |
| BASE/mummyMaze2p_2007/YGA3Vw | 12.11618051683101 | 1187.4333333333334 | 98.00393215368723 |
| BASE/hanoi_6_disks/MeubgQ | 12.189474811225065 | 3605.0 | 295.7469502033198 |
| DRESDEN/connect5/1kYzSg | 12.218958642972536 | 251.96666666666667 | 20.620960756879207 |
| BASE/mummymaze2p/vpjDdA | 12.224742103290735 | 552.7815739475351 | 45.21826057980673 |
| DRESDEN/mummymaze2p/k-8edg | 12.374447982391784 | 562.1 | 45.4242484836366 |
| DRESDEN/hanoi_6_disks/MeubgQ | 12.753574242935944 | 3776.3333333333335 | 296.1 |
| BASE/battle/8oAvhQ | 13.13056462902473 | 48.03013132457836 | 3.657887736100027 |
| DRESDEN/battle/8oAvhQ | 13.30336898930321 | 48.385484354693595 | 3.6370850416611558 |
| BASE/connect5/d-BVQg | 13.619988249845393 | 243.93333333333334 | 17.909951819239076 |
| DRESDEN/gt_ultimatum/pAiiQw | 13.920681069958848 | 4660.333333333333 | 334.7776814879008 |
| BASE/gt_ultimatum/GE-uOA | 14.022027858762554 | 4328.6 | 308.7 |
| BASE/pancakes/yUgbXw | 14.091549295774648 | 10738.7 | 762.0666666666667 |
| DRESDEN/fizzbuzz/t1xHzQ | 14.107649623464129 | 11864.533333333333 | 841.0 |
| BASE/pancakes6/QZTdnw | 14.357424723342199 | 11157.633333333333 | 777.1333333333333 |
| BASE/knightsTourLarge/M8jgLA | 14.458148254975482 | 8354.4 | 577.8333333333334 |
| BASE/crossers3/O0rORg | 14.599306081871344 | 693.1666666666666 | 47.47942558224769 |
| DRESDEN/crossers3/xiPTxg | 15.148387491215741 | 718.4666666666667 | 47.428590474285905 |
| BASE/amazonsSuicide/dE1QEQ | 15.297031455726312 | 1.3609055000497892 | 0.08896533317517274 |
| DRESDEN/ghostmaze2p/HY0UwA | 15.754317715327861 | 2111.5333333333333 | 134.02886570447652 |
| BASE/ghostMaze2p/W-NU-w | 16.156898209260678 | 2105.0333333333333 | 130.28697130286972 |
| DRESDEN/twisty-passages/j7NPyg | 16.5117673553719 | 1065.1333333333334 | 64.50753032120485 |
| BASE/gt_attrition/kD_SCA | 16.956664039581415 | 19.99868645737554 | 1.1793998165378063 |
| BASE/twisty-passages/DiZmmg | 17.459209603094518 | 1153.4333333333334 | 66.0644645178494 |
| STANFORD/knightstourbig/TQUI2g | 18.457700317056123 | 8214.633333333333 | 445.05183160561313 |
| DRESDEN/four_way_battle/xSOQXA | 20.314244356498683 | 132.65782281181254 | 6.530285866595588 |
| BASE/four_way_battle/xSOQXA | 21.405395784821202 | 135.97733711048159 | 6.352479462533675 |
| BASE/hanoi7_bugfix/3gdnFw | 26.54666070264633 | 4524.566666666667 | 170.43826028995167 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 27.96670802315964 | 4508.233333333334 | 161.2 |
| DRESDEN/hanoi7/51zz5Q | 28.105308775731313 | 4323.533333333334 | 153.83333333333334 |
| BASE/ad_game_2x2/D0aWqg | 28.737513863765972 | 17.948547497174765 | 0.6245685546168765 |
| DRESDEN/hitori/S8Gsyg | 34.20364823807574 | 37.996603283492625 | 1.1108932888976017 |
| DRESDEN/knightfight/4_Ly4w | 37.45719000861327 | 1932.5333333333333 | 51.59312091721104 |
| BASE/knightfight/SJRkAg | 37.59355594779632 | 1952.0333333333333 | 51.92467922012998 |
| BASE/hitori/S8Gsyg | 37.80923335928699 | 39.85819362533961 | 1.0541920606160435 |
| DRESDEN/quartosuicide/WIU1oQ | 40.578183477425554 | 937.8333333333334 | 23.111762355135205 |
| BASE/quarto/EwBMVQ | 41.34805931445604 | 924.6333333333333 | 22.362194227821103 |
| DRESDEN/quarto/OQzRYQ | 41.582471874999996 | 930.3 | 22.37240736425076 |
| BASE/racer4/0vs7Ww | 41.67959630512317 | 665.0778307389754 | 15.956916325920016 |
| BASE/quartoSuicide/-23jUg | 42.644278571428565 | 935.3 | 21.93260224659178 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 43.4170289013505 | 7.067724060125427 | 0.16278691193228065 |
| BASE/cylinder-checkers/hlldmw | 47.909612051726434 | 131.9824023463538 | 2.7548209366391183 |
| DRESDEN/cylinder-checkers/clOO3Q | 53.330503397634494 | 131.12896236792108 | 2.4587985114300905 |
| DRESDEN/battlebrushes/QHXV4A | 54.95105542562721 | 20.10449044375372 | 0.36586177077097054 |
| DRESDEN/checkers-newgoals/IJOqXQ | 56.29107270000455 | 143.4760873187802 | 2.5488248924197285 |
| BASE/gt_tinfoil/Q8DyKg | 56.74575911770298 | 6631.466666666666 | 116.86277124095864 |
| DRESDEN/checkers/jIDMIg | 63.33698060127234 | 142.47625395767372 | 2.249495517549373 |
| DRESDEN/kalaha_2009/gcC8uA | 66.5097966339411 | 1579.4 | 23.746877601998335 |
| BASE/kalaha_2009/dRiN3g | 68.04226417359187 | 1635.5333333333333 | 24.037021007424176 |
| BASE/wargame02/BkVqqQ | 68.59601206546013 | 273.77262273772624 | 3.991086573319586 |
| BASE/solitaireChineseCheckers/-ET6gw | 71.20695462962964 | 1016.1333333333333 | 14.270141710435041 |
| BASE/max_knights/2fq3Ag | 72.94025603864735 | 502.3333333333333 | 6.8869148617626506 |
| DRESDEN/max_knights/hCipiA | 73.1630129449838 | 501.46666666666664 | 6.854100815172185 |
| BASE/racer/QQYQNw | 79.4811203928365 | 1527.5666666666666 | 19.21923922456865 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 81.79023885426965 | 97.23749541804125 | 1.188864304349262 |
| DRESDEN/racer/vk_ZBA | 82.67058825688073 | 1499.4 | 18.137042830044262 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 85.24091642588193 | 97.16437306321015 | 1.1398794984530207 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 86.01328598295467 | 92.42717152189854 | 1.0745685444480626 |
| BASE/colonelBlottoVariant2/jruwGw | 102.25953512880562 | 4364.3 | 42.67866066966517 |
| DRESDEN/checkers-mustjump/HUr33w | 102.71618546098615 | 116.81775763231569 | 1.1372867587327375 |
| BASE/colonelBlottoVariant/X-n-KQ | 113.09349861857251 | 4909.9 | 43.414520374504384 |
| BASE/wargame03/klXI8w | 121.12020789783197 | 394.62017932735574 | 3.258087037468001 |
| BASE/wargame01/_GZFZg | 121.3126921409214 | 495.43333333333334 | 4.083936516368949 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 150.21929286239882 | 2267.9333333333334 | 15.097483752707882 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 170.93848523364488 | 3043.5333333333333 | 17.804845580404685 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 178.74127956777997 | 3027.9 | 16.940127134156487 |
| BASE/colonelBlotto/jip21A | 221.8042300653595 | 1130.9 | 5.098640362569982 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 224.03028446389496 | 3410.0 | 15.221156408206769 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 240.42459197049482 | 598.6469372792109 | 2.489957172736629 |
| BASE/pancakes88/l2Xaig | 336.1703551451187 | 8486.266666666666 | 25.24394711426383 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 347.816623050557 | 9010.733333333334 | 25.90656321800806 |
| DRESDEN/farmers/S_ASnw | 410.85353252032525 | 552.5666666666667 | 1.3449237329834345 |
| BASE/merrills/pku8Tg | Infinity | 21.190246498785804 | 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_OSTD: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 | |
| BASE/ruleDepthExponential/UamhHQ | 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 |