Game-by-game performance:
| Game | Perf ratio | PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per second | REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per second |
| DRESDEN/ggp-course2013_michal13/jWKddg | 0.036040187371500026 | 3.963627885287946 | 109.97800439912018 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 0.10037365933949241 | 0.2853881278538813 | 2.843257182530499 |
| BASE/sudokuGrade6H/ieE_9A | 0.1172076627735493 | 14.614821226446502 | 124.69168722085195 |
| BASE/sudokuGrade6E/ihYFZA | 0.12010543614367966 | 14.63089485085819 | 121.81709105452606 |
| BASE/coins_atomic/AA3SSw | 0.1228361111442513 | 343.2 | 2793.9666666666667 |
| STANFORD/sudoku/oJ1qyQ | 0.12402204467316216 | 15.29865637887455 | 123.3543312335433 |
| BASE/sudokuGrade2/u80Tfw | 0.12728703147259704 | 15.647889199627114 | 122.93388429752066 |
| BASE/sudokuGrade3/eI8dvg | 0.12734736441800207 | 15.623438488956994 | 122.68364218104253 |
| BASE/sudokuGrade5/BQfUQA | 0.13055082318836406 | 16.16927837109492 | 123.85428123854281 |
| BASE/sudokuGrade1/tDRNRw | 0.13077515824478808 | 16.242843829050727 | 124.20435231779251 |
| BASE/sudokuGrade4/DTy07w | 0.13201551188678418 | 15.867735604271315 | 120.19599346688443 |
| DRESDEN/coins/QwFP9w | 0.13337089816359643 | 366.8544381853938 | 2750.633333333333 |
| BASE/coins/QnGtnQ | 0.13434818891060304 | 369.17538830744616 | 2747.9 |
| BASE/blokbox_simple/JBx4bg | 0.15264236425262986 | 0.7545271629778671 | 4.943104535049597 |
| STANFORD/duidoku/3SoMaA | 0.19770735775325554 | 15.296940611877625 | 77.37163040218587 |
| DRESDEN/cubicup_3player/awDtsQ | 0.3463530069757252 | 61.5271806152718 | 177.64298093587522 |
| BASE/quad_7x7/q-JOXg | 0.3540867782621867 | 8.325349367339522 | 23.51217237819296 |
| BASE/cubicup_3player/e2yA_g | 0.3567507550579972 | 63.24769235895898 | 177.28818078794748 |
| DRESDEN/quad_7x7/q-JOXg | 0.3824192622057053 | 8.971114981433407 | 23.458847050983007 |
| STANFORD/selectivesukoshi/3xmXYg | 0.38505214232973767 | 50.62152164494951 | 131.46666666666667 |
| STANFORD/multiplesukoshi/vLSQPg | 0.3917693691409648 | 48.848755456332675 | 124.68753124687531 |
| DRESDEN/grid_game2/kypTYQ | 0.46935644703536095 | 203.95986800439985 | 434.55218159394684 |
| BASE/zhadu/DlA8iQ | 0.5149856569168312 | 11.356445865387817 | 22.051965356429047 |
| BASE/slidingpieces/uFJWEw | 0.5659061949887849 | 145.94234294284286 | 257.8914036198793 |
| DRESDEN/slidingpieces/s9_44g | 0.583215524996787 | 151.26162461251292 | 259.3580213992867 |
| BASE/blockerParallel/7-nDJA | 0.6112463242698892 | 256.26666666666665 | 419.2526915769474 |
| BASE/simultaneousWin2/PfjRjw | 0.6169285704145372 | 289.7 | 469.58434718842705 |
| DRESDEN/blockerparallel/dVQgSg | 0.6253802707582504 | 264.8068526480685 | 423.43333333333334 |
| BASE/cubicup/4wNWJA | 0.6275396124380351 | 139.2 | 221.81866648895405 |
| BASE/conn4/va9Y7A | 0.6338351655919084 | 294.923502549915 | 465.3 |
| DRESDEN/cubicup/SBn_lw | 0.6349003344287464 | 140.94317613731045 | 221.99260024665844 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.6720552428850837 | 561.2333333333333 | 835.1 |
| DRESDEN/CephalopodMicro/H3XQfg | 0.6748971692374608 | 17.499416686110465 | 25.92901183136144 |
| BASE/stateSpaceLarge/0Ge_CQ | 0.6841892052901228 | 957.0666666666667 | 1398.8333333333333 |
| DRESDEN/statespacelarge/8-y5HQ | 0.6890623094744543 | 941.8333333333334 | 1366.8333333333333 |
| BASE/queens31lg/0gID-A | 0.6943014889577296 | 0.732820359081976 | 1.0554785935747741 |
| BASE/quad/tw-Ufg | 0.7215547098815582 | 1.4965579167913798 | 2.074074074074074 |
| BASE/blocksWorldParallel/RseaAQ | 0.7360311646025932 | 421.9526015799473 | 573.2808906369787 |
| DRESDEN/quad/JPe6fg | 0.7369876303662382 | 1.5037593984962405 | 2.0404133482524847 |
| BASE/ticTacHeaven/18n58A | 0.7533577957250819 | 258.06666666666666 | 342.5552481583947 |
| BASE/withConviction/3Xm54A | 0.7578988247955232 | 443.9518682710576 | 585.7666666666667 |
| BASE/snake2p/I3wWPQ | 0.7913398873301668 | 238.7920402653245 | 301.7566081130629 |
| DRESDEN/tictactoex9/rFkD4w | 0.7953203634158278 | 253.57464253574642 | 318.8333333333333 |
| BASE/lightsOnSimultaneous/_VN6lw | 0.7991254969520276 | 402.0 | 503.0498983367221 |
| DRESDEN/pawn_whopping/4ogBkg | 0.8064537258222801 | 598.1467284423852 | 741.7 |
| BASE/tictactoex9/BI26ow | 0.8147833333333334 | 257.3 | 315.7894736842105 |
| BASE/cephalopodMicro/9l2D3g | 0.8366941885938156 | 17.694691592522243 | 21.148338106973956 |
| BASE/ticTacHeavenFC/mrletw | 0.8387899538192023 | 251.47485251474853 | 299.80670532560157 |
| BASE/ticTacToeNoVars/XT03NA | 0.8402180436087218 | 1120.0666666666666 | 1333.0666666666666 |
| DRESDEN/tictactoeparallel/yk_DSg | 0.8404450983998528 | 913.9 | 1087.4 |
| BASE/pearls/6k_mEQ | 0.8576849918380823 | 12294.8 | 14334.866666666667 |
| STANFORD/duikoshi/tpw1sw | 0.8612891737891737 | 483.7 | 561.6 |
| DRESDEN/doubletoetictac/V89gKQ | 0.8726097988438097 | 1111.9666666666667 | 1274.3 |
| BASE/doubletictactoe/HH1htg | 0.8783093120719616 | 1145.6666666666667 | 1304.4 |
| BASE/lightsOnSimul4/9FeASw | 0.8838934163538137 | 321.7559414686177 | 364.0211992933569 |
| DRESDEN/lightsout/XgLpzQ | 0.8962790226097537 | 884.0 | 986.3 |
| BASE/doubletoetictac/fu35bg | 0.9077163571678841 | 1122.6333333333334 | 1236.7666666666667 |
| DRESDEN/doubletictactoe/lJzgmQ | 0.9097471976478618 | 1155.1666666666667 | 1269.7666666666667 |
| DRESDEN/bunk_t/7-tPfA | 0.9200127047987086 | 1158.6333333333334 | 1259.3666666666666 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 0.9202803851421297 | 211.35772845430913 | 229.66666666666666 |
| BASE/bunk_t/xbpfIA | 0.9220730397422127 | 1144.6 | 1241.3333333333333 |
| DRESDEN/lightsout2/LFtfyQ | 0.9263504701764019 | 899.7333333333333 | 971.2666666666667 |
| BASE/futoshiki6/JmvXNA | 0.9483990278481318 | 125.9748050389922 | 132.82890570314322 |
| BASE/factoringGeorgeForman/HGRorQ | 1.0104047173418664 | 3347.0666666666666 | 3312.6 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 1.0125331760542613 | 457.8 | 452.1333333333333 |
| BASE/nineBoardTicTacToe/wRmqqA | 1.0355897451712681 | 205.4264857838072 | 198.36666666666667 |
| STANFORD/sukoshi/4LYZZQ | 1.037597870746014 | 1338.4666666666667 | 1289.9666666666667 |
| DRESDEN/blocker/S815zQ | 1.0759870113168724 | 2231.1666666666665 | 2073.6 |
| STANFORD/nineboardtictactoe/y28P-A | 1.0914705421296111 | 213.81195213811952 | 195.8934702176594 |
| STANFORD/triplesukoshi/Iu9mbA | 1.0919599214831446 | 356.0881303956535 | 326.1 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 1.0926611270162698 | 521.5826139128695 | 477.35075497483416 |
| DRESDEN/eotcatcit/mQUxzA | 1.099094365282972 | 2370.6 | 2156.866666666667 |
| BASE/futoshiki5/TJ4BZg | 1.1116164461958558 | 219.53007832027996 | 197.487252974306 |
| DRESDEN/chickentictactoe/Ipbo-g | 1.1117786504044445 | 2047.9333333333334 | 1842.0333333333333 |
| BASE/golden_rectangle/_nYzfw | 1.1218398805573988 | 112.7 | 100.45996933537764 |
| BASE/eotcatcit/AfZSzA | 1.1288059581965244 | 2349.233333333333 | 2081.1666666666665 |
| DRESDEN/latenttictactoe/kITHKg | 1.1373821219364837 | 1443.3 | 1268.9666666666667 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 1.158431078026404 | 0.4417839234830245 | 0.3813640119494057 |
| BASE/brain_teaser_extended/ZDp94A | 1.1633191360560395 | 1793.5666666666666 | 1541.7666666666667 |
| DRESDEN/tictactoelarge/IwXcbg | 1.193941193941194 | 1072.0 | 897.8666666666667 |
| DRESDEN/peg/Vo31eg | 1.2361894630981347 | 423.3666666666667 | 342.4771681887874 |
| BASE/ticblock/T21C1g | 1.2365096005296843 | 1494.0333333333333 | 1208.2666666666667 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 1.2376130892091937 | 105.86666666666666 | 85.54100436535705 |
| DRESDEN/towerworld/HCX34w | 1.2392495238787464 | 22.25331467785995 | 17.957089552238806 |
| BASE/sum15/QZ07Kg | 1.240627001222565 | 2841.366666666667 | 2290.266666666667 |
| DRESDEN/brain_teaser_extended/ZDp94A | 1.2420926228022475 | 1827.3666666666666 | 1471.2 |
| DRESDEN/sum15/CsgWKg | 1.2459271327014219 | 2804.1666666666665 | 2250.6666666666665 |
| DRESDEN/peg_bugfixed/u_B7MA | 1.2524670468557788 | 430.3189893670211 | 343.57709486034264 |
| BASE/lightsOnParallel/SC6enA | 1.2609570406273578 | 1838.4333333333334 | 1457.9666666666667 |
| DRESDEN/tictactoe/BTTzPw | 1.2738193300384404 | 2474.266666666667 | 1942.4 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 1.2917936887204418 | 1045.2333333333333 | 809.1333333333333 |
| BASE/majorities/ibJzSQ | 1.308559575475835 | 133.31111481419762 | 101.87622887992802 |
| BASE/futoshiki4/BaCwSw | 1.3248096005994265 | 451.8333333333333 | 341.0552981567281 |
| BASE/tpeg/QNs7Lw | 1.3301722249760417 | 447.23333333333335 | 336.2221259291357 |
| DRESDEN/tpeg/h-Scbg | 1.3394751649433945 | 463.3691087260849 | 345.93333333333334 |
| DRESDEN/statespacemedium/dVJZ_w | 1.3591020787673507 | 2728.5333333333333 | 2007.6 |
| BASE/haystack/UkweGA | 1.3792726452650363 | 18755.533333333333 | 13598.133333333333 |
| BASE/lightsOut/5P1ZBw | 1.383113309715733 | 897.9333333333333 | 649.2116929435686 |
| BASE/stateSpaceMedium/3bUoIw | 1.390493166963755 | 2730.233333333333 | 1963.5 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 1.4029538329276212 | 0.5139538469445444 | 0.36633696339960703 |
| STANFORD/multipletictactoe/_bkafQ | 1.4201583635763775 | 286.95710142995233 | 202.05993133562214 |
| DRESDEN/ticblock/Z2yNWQ | 1.4376743596246513 | 1511.6666666666667 | 1051.4666666666667 |
| BASE/double_tictactoe_dengji/zgaSbA | 1.452785846487499 | 1309.9333333333334 | 901.6699443351888 |
| BASE/connectFourSimultaneous/7ITr3g | 1.4654589725645744 | 283.7238758708043 | 193.607518997467 |
| DRESDEN/satlike_20v_91c/yeuENQ | 1.4719360355445077 | 0.5382565869149823 | 0.36567933246900036 |
| BASE/tictactoe2/bhrDoQ | 1.4802095814463558 | 2429.5666666666666 | 1641.3666666666666 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 1.4869803391865526 | 1321.0333333333333 | 888.4 |
| BASE/breakthroughSmallHoles/bxclRw | 1.4923430136859772 | 477.61741275290825 | 320.04533031131257 |
| BASE/tictactoe_3d_small_2player/oOryKA | 1.494101515680355 | 400.2199926669111 | 267.8666666666667 |
| DRESDEN/sheep_and_wolf/enAIzQ | 1.5110114144972924 | 514.6333333333333 | 340.58864704509847 |
| BASE/tictactoe_3d_small_6player/g_9lww | 1.5321440579710144 | 305.3666666666667 | 199.30675909878684 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 1.5344251910897933 | 414.0390640623958 | 269.8333333333333 |
| BASE/qyshinsu/R08Lzw | 1.5567517490677472 | 92.27231830450864 | 59.272339574865065 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 1.5663634186449664 | 311.6229459018033 | 198.94677198946772 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 1.585277232759247 | 2908.6666666666665 | 1834.8 |
| BASE/tictactoe_orthogonal/WRzlVw | 1.5938801112707042 | 2922.1666666666665 | 1833.3666666666666 |
| DRESDEN/catcha_mouse/cHv4dw | 1.6003180227779734 | 605.7333333333333 | 378.508099460036 |
| BASE/snakeAssemblit/UO4sdg | 1.6110066588501704 | 337.9554014866171 | 209.77902209779023 |
| BASE/catcha_mouse/cHv4dw | 1.6338696913743076 | 619.3793540215327 | 379.0873637545415 |
| DRESDEN/tictictoe/LAUtwg | 1.6465548669340138 | 1806.6 | 1097.2 |
| BASE/numbertictactoe/rvJ-iQ | 1.6504909983633387 | 1344.6 | 814.6666666666666 |
| BASE/eotcitcit/V_9_bg | 1.6706852201940063 | 1796.9333333333334 | 1075.5666666666666 |
| BASE/tictactoe-init1/7M19vA | 1.6880504355358776 | 2338.4 | 1385.2666666666667 |
| DRESDEN/amazons/dNB28A | 1.7086316563396358 | 9.693961952026468 | 5.673523556735236 |
| DRESDEN/tictactoe-init1/3ltIBQ | 1.7205659663070225 | 2423.9333333333334 | 1408.8 |
| STANFORD/tictactoe3/X7myng | 1.7286631917022062 | 2188.8333333333335 | 1266.2 |
| DRESDEN/golden_rectangle/1uloXw | 1.7548425875439124 | 112.45916938870742 | 64.0850468224081 |
| DRESDEN/pentago_2008/hLjVpQ | 1.7633187386635467 | 239.45868471050966 | 135.8 |
| BASE/ticTacToeLarge/TZC0dg | 1.781585793462278 | 1050.0666666666666 | 589.4 |
| BASE/battlebrushes/arCwyA | 1.7954606749357305 | 8.55608092894593 | 4.765395894428153 |
| BASE/strangeSkirmish/gc1zKA | 1.7990526356589147 | 25.766666666666666 | 14.322352862805182 |
| BASE/ticTacToeSerial/Amrwqw | 1.813253380652267 | 987.8 | 544.7666666666667 |
| BASE/ticTacToeLargeSuicide/727_8g | 1.814250809705097 | 1064.3 | 586.6333333333333 |
| DRESDEN/javastrike/whONTQ | 1.8199158136684035 | 197.9 | 108.7412936981371 |
| BASE/ticTacToeParallel/ymRGPw | 1.8603399902462814 | 932.4333333333333 | 501.2166261124629 |
| DRESDEN/battlesnakes2011/93VtTw | 1.8798874451698993 | 483.05056498116727 | 256.95717380436594 |
| BASE/chickentictactoe/DSlZCA | 1.897418767081688 | 2082.733333333333 | 1097.6666666666667 |
| BASE/3pConnectFour/PqXOFQ | 1.9085929281023744 | 377.8 | 197.9468719794687 |
| STANFORD/tictactoe/ss1kyQ | 1.9346611144594816 | 2353.9666666666667 | 1216.7333333333333 |
| DRESDEN/blocksworldparallel/2JfVaw | 1.9531521567388213 | 1648.2 | 843.8666666666667 |
| STANFORD/trifecta/ss1kyQ | 1.9618502752459983 | 2403.4333333333334 | 1225.0849943337112 |
| BASE/othello-comp2007/86ZoMw | 1.962642274707009 | 4.311202493864827 | 2.196631831192172 |
| DRESDEN/lightson2x2/gBHuig | 2.0028416641112132 | 3265.633333333333 | 1630.5 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 2.0206280686723566 | 0.659043727551323 | 0.32615786040443573 |
| STANFORD/tictactoe5/WFRReg | 2.0268623412289735 | 2361.7 | 1165.2 |
| DRESDEN/battlesnakes1509/-qZrLw | 2.0402902884360943 | 514.0 | 251.92493583547216 |
| BASE/ticTacToe/JRFsaQ | 2.0491803278688527 | 2470.8333333333335 | 1205.7666666666667 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 2.0697681597876088 | 2234.866666666667 | 1079.7666666666667 |
| BASE/blocker/dIWtxg | 2.0805021023232975 | 2259.633333333333 | 1086.1 |
| BASE/chickentoetictac/l57rfQ | 2.0808274778510016 | 3178.5333333333333 | 1527.5333333333333 |
| DRESDEN/stratego/Z2wovg | 2.096426969651667 | 467.4021731884541 | 222.95180321311912 |
| STANFORD/tictactoe7/-bE9-A | 2.1143603746440003 | 2400.4333333333334 | 1135.3 |
| BASE/skirmishHoles/AUCxCA | 2.137263322230131 | 33.09779348043464 | 15.486062543710661 |
| DRESDEN/Zhadu/9zpQ5w | 2.137627675109129 | 54.772613693153424 | 25.623084099693457 |
| DRESDEN/chickentoetictac/cxYaRQ | 2.175093086896057 | 3232.3333333333335 | 1486.0666666666666 |
| BASE/pawnWhopping/Ypc_6Q | 2.1822950632422873 | 578.6140461984601 | 265.14015265140154 |
| STANFORD/untwistycomplex/HTWEwg | 2.1936849484980856 | 5423.666666666667 | 2472.4 |
| BASE/lightsOn/MsXu3A | 2.251592680201425 | 5171.833333333333 | 2296.9666666666667 |
| BASE/duplicateStateLarge/dcjyuw | 2.2650492490310077 | 623.3 | 275.1816545563629 |
| DRESDEN/connectfoursuicide/M9CNQg | 2.2698816143686513 | 672.9218052129858 | 296.45678477384087 |
| BASE/survival/YVIjJA | 2.27589070634859 | 15620.5 | 6863.466666666666 |
| BASE/hidato19/rRHSmA | 2.3122577519379846 | 318.15606146461784 | 137.59541348621713 |
| DRESDEN/tictactoe_3player/ESLQQQ | 2.315555717474071 | 587.9 | 253.89153694876836 |
| BASE/othelloSuicide/B442jg | 2.328327154943018 | 4.457158062799361 | 1.9143177767509407 |
| DRESDEN/mimikry/GJEhwA | 2.3559915665190805 | 372.3333333333333 | 158.03678528588566 |
| DRESDEN/connectfour/5tc-Mg | 2.363242625652073 | 659.1780273990867 | 278.92947606985734 |
| BASE/blocks/xIV5hQ | 2.3690598693264238 | 6369.533333333334 | 2688.633333333333 |
| DRESDEN/blocks/vg0DRw | 2.375159324087278 | 6273.666666666667 | 2641.366666666667 |
| BASE/blocksWorld/SEdXLQ | 2.3836433879620063 | 6457.766666666666 | 2709.2 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 2.413286551511413 | 4172.733333333334 | 1729.0666666666666 |
| BASE/blocksWorldSerial/Wyg96Q | 2.446098562628337 | 2859.0 | 1168.8 |
| BASE/connectFourSuicide/c8p9Kw | 2.447413502542409 | 636.3666666666667 | 260.01599893340443 |
| BASE/othelloHoles/c0qAzw | 2.458017056477536 | 4.751691140075895 | 1.9331400193314001 |
| STANFORD/tictictoe/rpt_Dw | 2.474059048906919 | 1829.5666666666666 | 739.5 |
| STANFORD/breakthrough/d5j0cQ | 2.4968183622573012 | 472.91756941435284 | 189.4080789228103 |
| BASE/duplicateStateMedium/U163eQ | 2.511903116423196 | 1891.4 | 752.9749008366388 |
| BASE/snake_2009_big/-oRfVw | 2.5426386280951125 | 343.2218926035799 | 134.98650134986502 |
| BASE/connect4/50bOyw | 2.544962396433541 | 268.9397726893977 | 105.67534242010197 |
| BASE/mineClearingSmall/frsbvw | 2.5671319930931835 | 192.22692576914102 | 74.88003199146894 |
| DRESDEN/connect4/T0-rHQ | 2.5721142857142856 | 267.0 | 103.80565182617968 |
| BASE/ticTicToe/c1OobQ | 2.5962376295305862 | 1812.2 | 698.0100663311223 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 2.598951331002958 | 2577.4666666666667 | 991.7333333333333 |
| BASE/duplicateStateSmall/bCPAXw | 2.603732177609695 | 6288.1 | 2415.0333333333333 |
| BASE/circlesolitaire/azuQFQ | 2.604493302096474 | 4335.7 | 1664.7 |
| DRESDEN/circlesolitaire/ruUilQ | 2.614497100579884 | 4358.366666666667 | 1667.0 |
| DRESDEN/snake_2009_big/DgC1NQ | 2.6254001667500417 | 349.8666666666667 | 133.26222459251358 |
| BASE/toetictac/mTThmg | 2.643713615431402 | 4056.866666666667 | 1534.5333333333333 |
| DRESDEN/toetictac/mJtxCA | 2.6541970802919708 | 4072.6 | 1534.4 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 2.67644726407613 | 112.46251249583472 | 42.01932689103632 |
| DRESDEN/babel/WdSW4A | 2.6868117647058822 | 237.46666666666667 | 88.38232353529294 |
| BASE/connectFour/WAIKTw | 2.696440414971378 | 670.1329867013299 | 248.52504916502784 |
| DRESDEN/snake_2009/zIYLVw | 2.7024625632852373 | 446.536897540164 | 165.23333333333332 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 2.709049665711557 | 756.3666666666667 | 279.2 |
| DRESDEN/buttons/ADUaHw | 2.7093264072791476 | 10640.066666666668 | 3927.2 |
| BASE/blockerSerial/3eqDuw | 2.7114852894444943 | 1004.9333333333333 | 370.62097930068995 |
| BASE/tictactoe_3d_2player/IUC1rQ | 2.7373361835313013 | 122.72515165655624 | 44.83378855505962 |
| BASE/snake_2009/7l-qAQ | 2.740583516716482 | 449.15169494350187 | 163.88907406172922 |
| STANFORD/dualhunter/1rPZjQ | 2.742729933488312 | 943.8333333333334 | 344.12186260457986 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 2.750071325709445 | 72.06666666666666 | 26.205380927011188 |
| BASE/buttons/hTcUjw | 2.7521765850660658 | 10747.8 | 3905.2 |
| BASE/incredible/8Qh-6Q | 2.756740491092923 | 2290.3 | 830.8 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 2.7767272727272725 | 127.23697803845769 | 45.822641383677144 |
| DRESDEN/statespacesmall/h-NqjA | 2.7987211419720786 | 8914.3 | 3185.133333333333 |
| BASE/stateSpaceSmall/Q7osKA | 2.800073571916548 | 8880.433333333332 | 3171.5 |
| BASE/tictactoe_3player/GtM71g | 2.8043582759173207 | 583.4 | 208.03333333333333 |
| DRESDEN/troublemaker01/C-lPWw | 2.808007994263658 | 12270.433333333332 | 4369.8 |
| STANFORD/connectfour/VMpZkQ | 2.853180214438885 | 665.2 | 233.14335233143353 |
| BASE/skirmishFinal1/ecWTnQ | 2.867195454259364 | 41.28486221718703 | 14.399040063995734 |
| BASE/troublemaker02/DI83KA | 2.8784636313007277 | 10509.366666666667 | 3651.0333333333333 |
| BASE/skirmishFinal2/gdB62Q | 2.8916854746448624 | 42.313586992736724 | 14.632845571814272 |
| DRESDEN/skirmishfinal/hzq8ww | 2.908976637221124 | 43.481158164795254 | 14.947235260827592 |
| BASE/onestep/xi53wA | 2.922589667275412 | 21177.766666666666 | 7246.233333333334 |
| BASE/tictactoe_3d_6player/d7KSwg | 2.9709884834024036 | 118.77624475104979 | 39.97869578243068 |
| BASE/skirmishFinal3/-Olhfw | 2.9737652608078524 | 47.62380857161901 | 16.014649575495255 |
| BASE/troublemaker01/s3tlEQ | 2.978527607361963 | 13076.133333333333 | 4390.133333333333 |
| DRESDEN/cube_2x2x2/fp-34Q | 3.028050029926874 | 1292.8333333333333 | 426.95243491883605 |
| BASE/connectFour_9x6/B9TtMw | 3.04862936827957 | 604.6666666666666 | 198.3404978506448 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 3.080886788658757 | 4085.6666666666665 | 1326.1333333333334 |
| DRESDEN/blocks2player/3ev8nQ | 3.114114228916584 | 5430.6 | 1743.8666666666666 |
| BASE/blocks2player/wnTLOQ | 3.1736621299560777 | 5371.0 | 1692.3666666666666 |
| DRESDEN/troublemaker02/iZLVuA | 3.201954426490161 | 11948.733333333334 | 3731.7 |
| DRESDEN/capture_the_king/EQ229Q | 3.303035040997788 | 47.08273633001233 | 14.25438596491228 |
| BASE/pentagoSuicide/SBgNhw | 3.339789290012033 | 246.63333333333333 | 73.84697414022928 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 3.360991732353784 | 672.3775874137528 | 200.0533297780148 |
| BASE/pentago/86NgKw | 3.4359649170031408 | 255.26666666666668 | 74.2925707429257 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 3.542410686099184 | 726.4757841405286 | 205.07949205079493 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 3.5593642984486182 | 710.8763041231958 | 199.72001866542232 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 3.6738883029385327 | 209.77902209779023 | 57.1 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 3.686636291913215 | 768.3666666666667 | 208.4194387040864 |
| BASE/skirmish/Y_psYQ | 3.7048929154315022 | 28.944475901808612 | 7.8125 |
| DRESDEN/grid_game/U7_Yeg | 3.714291118701964 | 724.8333333333334 | 195.14715195147153 |
| BASE/hodgepodge/9yjRkw | 3.7526171358877933 | 3692.2 | 983.9 |
| BASE/connectFourLarge/aU644A | 3.7534790780018996 | 477.31742275257494 | 127.16666666666667 |
| BASE/firefighter/WJmoPw | 3.7592215721190536 | 3940.6666666666665 | 1048.2666666666667 |
| DRESDEN/logistics/fPru1Q | 3.7706214689265534 | 1112.3333333333333 | 295.0 |
| DRESDEN/firefighter/WJmoPw | 3.841946088099934 | 3895.733333333333 | 1014.0 |
| BASE/crisscross/ICagEg | 3.8740960743801653 | 812.5 | 209.72634245525148 |
| DRESDEN/3pttc/uwYBZw | 3.9279145748775184 | 866.5711142961901 | 220.61862542497167 |
| DRESDEN/crisscross/GsY16g | 3.9505568372640245 | 820.7666666666667 | 207.75974134195528 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 3.956424871307709 | 642.811906269791 | 162.47292117980336 |
| DRESDEN/8puzzle/8fKC2w | 3.9585998792999395 | 3279.7 | 828.5 |
| BASE/snakeParallel/RCVNtw | 4.010241783885395 | 2062.131262291257 | 514.2161927935736 |
| BASE/coloredtrails/EZvr7g | 4.042407108239095 | 2001.8 | 495.2 |
| DRESDEN/backgammon/mqCW0Q | 4.067046512178439 | 202.9729369417411 | 49.906716417910445 |
| BASE/switches/tPUoCg | 4.149258199720577 | 8315.666666666666 | 2004.1333333333334 |
| BASE/dualConnect4/WbCQkg | 4.209840339826985 | 478.9840338655378 | 113.77724455108978 |
| BASE/hidato37/pBrqxw | 4.284053283063996 | 76.65900076659001 | 17.894035321559482 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 4.33929159764989 | 681.0333333333333 | 156.94574056792428 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 4.415602315067758 | 649.9116696110129 | 147.18528147185282 |
| DRESDEN/3pffa/0YrmQw | 4.4533399037715355 | 956.3333333333334 | 214.74519214745192 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 4.495945045045046 | 665.3333333333334 | 147.985201479852 |
| DRESDEN/Thief_Police/CX18rA | 4.651444943581763 | 4383.366666666667 | 942.3666666666667 |
| STANFORD/untwistycorridor/EDPPAQ | 4.660348305620875 | 13014.333333333334 | 2792.5666666666666 |
| BASE/rubiksCube/9tNO9Q | 4.661961758527434 | 390.6203126562448 | 83.78882815624583 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 4.662538341373766 | 676.4666666666667 | 145.0854914508549 |
| DRESDEN/small_dominion/yB5GJA | 4.673518216421968 | 1.8270799347471451 | 0.3909431503502199 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 4.700535890565505 | 4444.2 | 945.4666666666667 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 4.753777935438098 | 4466.966666666666 | 939.6666666666666 |
| BASE/untwistycomplex2/EDPPAQ | 4.766330499757628 | 13438.033333333333 | 2819.366666666667 |
| BASE/aipsrovers01/4C4jsw | 4.775278652155714 | 1901.1666666666667 | 398.12685398126854 |
| STANFORD/pentago/ZxzLmg | 4.775704862060733 | 367.5088327444837 | 76.95384102649558 |
| BASE/brawl/6Ymo_Q | 4.783484623131298 | 57.845456665889174 | 12.092744353387967 |
| DRESDEN/aipsrovers01/qS47Mw | 4.8201336675020885 | 1923.2333333333333 | 399.0 |
| STANFORD/hunter/14dD-g | 4.858248562582928 | 2196.9 | 452.2 |
| DRESDEN/catch_me/ghGWrA | 4.858788594325784 | 4526.933333333333 | 931.7 |
| DRESDEN/brawl/2kXtfQ | 4.866698863636364 | 57.0 | 11.712251281027484 |
| BASE/englishDraughts/jFkQxg | 5.057723301115188 | 455.3181560614646 | 90.02433090024331 |
| BASE/cittaceot/fDxhXg | 5.216482184487408 | 517.249425019166 | 99.1567509915675 |
| BASE/pegEuro/5awwhg | 5.223591767116972 | 349.6550114996167 | 66.93766034718288 |
| BASE/connect5/d-BVQg | 5.2609633357296905 | 243.93333333333334 | 46.36666666666667 |
| DRESDEN/oisters_farm/pTQMLg | 5.286085398626456 | 5901.033333333334 | 1116.3333333333333 |
| DRESDEN/chinesecheckers1/Y-ftaA | 5.369914894123245 | 1003.0666666666667 | 186.79377354088197 |
| STANFORD/bestbuttonsandlights/nm0wEA | 5.52317312079006 | 6860.333333333333 | 1242.1 |
| DRESDEN/frogs_and_toads/GjchhQ | 5.647379973503449 | 476.684110529649 | 84.40801093005432 |
| BASE/escortLatch/mX9BjQ | 5.721272079775296 | 478.58404719842673 | 83.6499366793308 |
| BASE/queens08lg/Ru7eqQ | 5.835216964089559 | 233.99220025999134 | 40.1 |
| STANFORD/threepuzzle/41ibjA | 5.96976034559605 | 5804.0 | 972.2333333333333 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 5.996080818842509 | 5252.766666666666 | 876.0333333333333 |
| DRESDEN/chomp/-LcqYQ | 5.996393798219584 | 1347.1 | 224.65168988734084 |
| BASE/chomp/-LcqYQ | 6.00910196868009 | 1342.9 | 223.4776522347765 |
| BASE/maze/cCX3qQ | 6.0347798112668 | 11255.266666666666 | 1865.0666666666666 |
| BASE/connectFourLarger/qKi60A | 6.12044353640416 | 274.46666666666664 | 44.84424454439447 |
| BASE/breakthroughSmall/HJ0tIA | 6.2116388952965185 | 562.2479250691644 | 90.51523028727588 |
| STANFORD/3puzzle/41ibjA | 6.251328337874659 | 6117.966666666666 | 978.6666666666666 |
| BASE/peg/fJHVWw | 6.271282129857859 | 422.9192360254658 | 67.43744377436444 |
| BASE/breakthroughSuicideSmall/XSbJog | 6.327181823829047 | 565.7666666666667 | 89.41843026162306 |
| DRESDEN/chinesecheckers3/QsCb2A | 6.464882768954151 | 718.9666666666667 | 111.2110911151103 |
| STANFORD/buttonsandlights/eyhJpA | 6.531189229618549 | 21830.5 | 3342.5 |
| STANFORD/8puzzle/jNiGtw | 6.576573610745325 | 3329.5 | 506.26666666666665 |
| DRESDEN/chinesecheckers4/-oVNYg | 6.582576162479958 | 410.53333333333336 | 62.36666666666667 |
| BASE/tron_10x10/7ZTgDg | 6.599041113549095 | 1603.9 | 243.0504633024465 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 6.661262194125021 | 8148.5 | 1223.2666666666667 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 6.748624408495654 | 8176.633333333333 | 1211.6 |
| BASE/eightPuzzle/vLrgFg | 6.803139124502303 | 3379.233333333333 | 496.7167761074631 |
| STANFORD/eightpuzzle/W_aWbA | 6.822341388676092 | 3265.4 | 478.6333333333333 |
| BASE/hex/T1MK8g | 6.897970603839568 | 171.46095130162328 | 24.856723977075838 |
| DRESDEN/point_grab/r5DPmQ | 7.003311338312426 | 9658.266666666666 | 1379.1 |
| BASE/hexPie/48CH6Q | 7.006515219427361 | 168.95540297313514 | 24.11404209965361 |
| DRESDEN/knightwar/7hhAqg | 7.063410385369039 | 1081.3 | 153.08469153084692 |
| BASE/checkLines/Vop7oQ | 7.081756749435665 | 1045.6 | 147.646980402613 |
| STANFORD/hex/MTqWcw | 7.180154516264728 | 171.16096130128994 | 23.838060993474496 |
| BASE/gt_dollar/TGjqRw | 7.1960843222672874 | 4790.433333333333 | 665.7 |
| BASE/endgame/jYjfOA | 7.326943454545454 | 268.46666666666664 | 36.6410179540988 |
| STANFORD/alquerquezero/uVgA_A | 7.817215392034182 | 519.1160294656845 | 66.4067706250833 |
| DRESDEN/chinesecheckers2/06E6-Q | 7.975336540817463 | 795.5666666666667 | 99.75336621783762 |
| DRESDEN/4pttc/9pB9AQ | 8.380967342342341 | 702.7666666666667 | 83.85269121813032 |
| BASE/reversi/d8UMeA | 8.398899573461517 | 15.527330762069424 | 1.8487339473771087 |
| BASE/beatMania/qUHwvQ | 8.442104981830195 | 4258.9 | 504.4831838938702 |
| BASE/minichess/8NQEiA | 8.716568104193687 | 896.0333333333333 | 102.79657344755175 |
| BASE/asteroidsSerial/id2QkA | 8.734740643825997 | 2625.866666666667 | 300.62331255624815 |
| BASE/reversiSuicide/9OxJlg | 8.79703513842686 | 15.963473971872292 | 1.8146425154244614 |
| DRESDEN/minichess/c7GMFw | 8.865362045507858 | 839.7333333333333 | 94.72070390614584 |
| STANFORD/pilgrimage/ObRZnQ | 9.042270065493234 | 397.3068462102527 | 43.938838735467534 |
| DRESDEN/endgame/IJhh3Q | 9.462165836904806 | 230.66924410078656 | 24.378059746228395 |
| DRESDEN/chinesecheckers6/yTbPDA | 9.798435601458081 | 537.5 | 54.85569552756115 |
| STANFORD/freeforall/Lfp40Q | 9.883085596379127 | 824.6333333333333 | 83.4388537154282 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 10.000244751548104 | 2206.8333333333335 | 220.67793220677933 |
| BASE/asteroidsParallel/WauZiA | 10.132231914982114 | 2706.5666666666666 | 267.1244291856938 |
| BASE/hallway/ckCJOw | 10.279562801995366 | 181.06378724255148 | 17.61395797955582 |
| DRESDEN/breakthrough/z4hK7Q | 10.469366297599516 | 372.08759708009734 | 35.54060355739124 |
| DRESDEN/hallway/0H4l-Q | 10.476321611779987 | 182.20903879482736 | 17.392463265918103 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 10.643737110834536 | 376.58744708509715 | 35.381130063965884 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 10.683767096378148 | 386.53333333333336 | 36.17949828430556 |
| DRESDEN/god/2EDD5w | 10.788788688022423 | 50.37816945990071 | 4.669492648032852 |
| BASE/god/qF06gw | 11.057123749560743 | 50.34149591870732 | 4.552856335781463 |
| BASE/ttcc4_2player_small/Cv72TA | 11.06749098402885 | 716.0666666666667 | 64.7 |
| DRESDEN/skirmish3/3LU8Nw | 11.605765841291515 | 198.65342310512634 | 17.11678710579773 |
| DRESDEN/skirmish/RjGQYQ | 11.677956051562168 | 196.64700196647001 | 16.83916270092183 |
| BASE/breakthroughSuicide/wZDpIg | 11.719928440344875 | 371.8752083194454 | 31.730160317301603 |
| BASE/breakthrough/TGxk-g | 11.732133639709382 | 371.48761707943066 | 31.664114004128653 |
| BASE/breakthroughHoles/nZk0Sg | 12.080444456214689 | 379.96666666666664 | 31.453037017292505 |
| DRESDEN/quad_5x5/JAEP5g | 12.091541168191416 | 70.19704433497537 | 5.8054670912951165 |
| BASE/breakthroughWalls/vOZaYA | 12.134106360492506 | 384.4205193160228 | 31.680991405156906 |
| DRESDEN/knightazons/02I8BQ | 12.158322942643391 | 162.5 | 13.365330133653302 |
| STANFORD/skirmish/w4V6Vw | 12.177518908472994 | 29.08739546196648 | 2.388614271970275 |
| DRESDEN/skirmish2/iPpWhQ | 12.253900722113476 | 211.1122221111222 | 17.22816488386817 |
| DRESDEN/racetrackcorridor/O0DoTA | 12.419685227707618 | 720.8333333333334 | 58.039581528619976 |
| BASE/asteroids/BKCmPQ | 12.451632784865177 | 5725.9 | 459.8513382887237 |
| BASE/knightazons/apnJBQ | 12.454510717299577 | 163.73333333333332 | 13.146508686680423 |
| STANFORD/madness/UO_B3A | 12.490911512971659 | 28.84071002764179 | 2.3089355806972987 |
| BASE/crissrace/ERWGDA | 12.561260534262486 | 600.4666666666667 | 47.80305806322662 |
| BASE/shmup/ssTNlg | 12.588121117166212 | 1847.5666666666666 | 146.77064587082583 |
| BASE/choicethroughalt/tt71Lg | 12.604398007687815 | 306.5026830650268 | 24.317121918720854 |
| DRESDEN/crissrace/KWb9bw | 12.728003805832172 | 607.2464251191627 | 47.70947859403631 |
| BASE/queens16ug/gT-ylw | 12.740067793385112 | 84.13052898236725 | 6.603617056578729 |
| BASE/racetrackcorridor/_RkdUg | 12.805617707747139 | 758.2666666666667 | 59.213595468177274 |
| BASE/2pffa/6oHijA | 12.857907780847146 | 930.6333333333333 | 72.37828651404578 |
| BASE/quad_5x5/JAEP5g | 12.921449900199601 | 71.73333333333333 | 5.551492586929061 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 12.964284668640659 | 7.067724060125427 | 0.5451688419972421 |
| BASE/wallmaze/uxNQ9g | 13.210018549127641 | 319.53333333333336 | 24.1887119344306 |
| BASE/4pffa/Q3ADlg | 13.210056925876867 | 723.1092296923435 | 54.739297018157586 |
| BASE/2pffa_zerosum/o0_uZA | 13.574701711229947 | 846.1 | 62.329178054796344 |
| BASE/copolymer_4_pie/IN5_jA | 13.579692092189433 | 777.1074297523415 | 57.225703239568055 |
| BASE/3pffa/pR0dzA | 13.619552682403434 | 846.2 | 62.13126229125696 |
| BASE/point_grab/V_osUg | 13.790457285067873 | 9650.7 | 699.8100063331223 |
| BASE/chineseCheckers4/avfBcQ | 14.070917998882058 | 838.9 | 59.619422134835204 |
| DRESDEN/bidding-tictactoe/yW5vTA | 14.456812352941176 | 1965.7333333333333 | 135.97280543891222 |
| DRESDEN/pawntoqueen/f_x6Aw | 15.041977611940297 | 19.48960554371002 | 1.2956810631229236 |
| BASE/pawnToQueen/-O1_JA | 15.066206794972507 | 18.88992537313433 | 1.2537943777220535 |
| BASE/copolymer_4/2LDVhQ | 15.099880214541122 | 844.3333333333334 | 55.91655836582358 |
| BASE/tttcc4/8Bs2lg | 15.258234578513651 | 426.35245491816937 | 27.942449876773463 |
| BASE/gt_centipede/9fRMpw | 15.293365253077974 | 7452.966666666666 | 487.3333333333333 |
| DRESDEN/tttcc4/sAvtFg | 15.350079777512914 | 429.23333333333335 | 27.96293827489668 |
| BASE/biddingTicTacToe/8mESVw | 15.4122760800843 | 1950.1666666666667 | 126.53333333333333 |
| BASE/ttcc4/Le0qjQ | 15.605761403045257 | 423.8858704709843 | 27.162139643392766 |
| DRESDEN/knightstour/cGISAA | 16.008358810149826 | 8523.633333333333 | 532.4489183693877 |
| STANFORD/chinook/osFbPA | 16.02783178545211 | 344.2885237158761 | 21.480667399340593 |
| BASE/chinook/XQh0IQ | 16.100277352245865 | 378.06666666666666 | 23.481997135529426 |
| BASE/queens12ug/u6Bkmg | 16.386592496529243 | 217.17828217178283 | 13.253413253413253 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 16.434709143574995 | 400.88663711209625 | 24.392682195341397 |
| DRESDEN/knightthrough/J7Fc_Q | 16.586398231170076 | 555.348155061498 | 33.482142857142854 |
| BASE/chineseCheckers2/eCMR3Q | 16.86553281351527 | 1730.0 | 102.5760655846969 |
| BASE/chess_200/XsTpYA | 16.920810140435083 | 53.763082461169255 | 3.177335010260144 |
| BASE/chineseCheckers1/gqtwHw | 16.98143083996024 | 2277.7 | 134.1288623712543 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 17.821772298850576 | 516.3666666666667 | 28.97392346887801 |
| DRESDEN/Goldrush/VeWczQ | 17.902904416006646 | 775.740808639712 | 43.3304446370242 |
| BASE/dotsAndBoxes/EHwA_w | 18.09079049242424 | 530.4333333333333 | 29.32062772798454 |
| BASE/checkersTorusNoKings/pwb6oQ | 18.527093513500397 | 435.98973435989734 | 23.532548915036166 |
| BASE/checkersTorus/2vm1EQ | 19.103013888188617 | 376.24158389440703 | 19.695404405638683 |
| BASE/checkersBarrelNoKings/rnKNeg | 19.161074238227148 | 460.8666666666667 | 24.052235325471383 |
| BASE/ruleDepthLinear/OUBJpQ | 19.48682875350083 | 16003.233333333334 | 821.2333333333333 |
| BASE/chineseCheckers3/-1rZdQ | 19.78084350533808 | 1481.8 | 74.91086007531074 |
| BASE/chineseCheckers6/rREH3A | 20.27860164305107 | 911.0029665677811 | 44.924348463640605 |
| BASE/queens06ug/7Lq3tw | 20.373543926739927 | 1544.6333333333334 | 75.81564301662945 |
| BASE/ttcc4_2player/_aH_Mw | 20.845140906463843 | 428.93807079528034 | 20.577364898611528 |
| BASE/queens08ug/kJ_ZFQ | 21.13201095152603 | 784.4666666666667 | 37.122196674331036 |
| STANFORD/ttcc4/Cx9SGw | 21.91097696639441 | 468.1177294090197 | 21.364530213645303 |
| DRESDEN/gt_prisoner/huCp4w | 24.015491955932013 | 4819.266666666666 | 200.67324356752434 |
| DRESDEN/pacman3p/rBnk8Q | 26.122527844577466 | 619.9126695776807 | 23.730960237309603 |
| BASE/roshambo2/KNPokQ | 26.355706889078377 | 8242.033333333333 | 312.72290923635876 |
| DRESDEN/roshambo2/jgSlkQ | 26.425238045411742 | 8418.2 | 318.56666666666666 |
| BASE/sheepAndWolf/g4THrg | 26.462798216276475 | 526.6666666666666 | 19.902153293174027 |
| BASE/ttcc4_2player_alt/ZEJvYA | 26.684524695652172 | 511.3 | 19.160918391149323 |
| BASE/2pttc/unkkYA | 27.267925379609547 | 837.8666666666667 | 30.72718789575418 |
| STANFORD/knightstourmedium/x1wu8Q | 27.443959243085878 | 8798.533333333333 | 320.6 |
| DRESDEN/gt_chicken/CeuKtw | 28.005780689184583 | 4559.666666666667 | 162.8116251166511 |
| BASE/gt_coordination/IVMOzA | 28.01063879817113 | 5717.333333333333 | 204.11292204112922 |
| BASE/skirmishNew/sibw2g | 28.390388880906904 | 151.95653623091795 | 5.352393617021277 |
| BASE/pacman2p/4LEdQg | 29.644429387331254 | 633.1666666666666 | 21.358706500765187 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 30.10548178812707 | 2326.5333333333333 | 77.2793921620901 |
| BASE/pacman3p/wW7UVQ | 30.166747335423196 | 641.0333333333333 | 21.24966693312017 |
| BASE/kitten_escapes_from_fire/uW-YiA | 30.2183114131229 | 2296.8333333333335 | 76.00799733422193 |
| BASE/knightsTour/mvtVIg | 30.429092236203633 | 8221.666666666666 | 270.19099363354553 |
| STANFORD/knightstour/cEwgNA | 30.7516905920038 | 8640.2 | 280.96666666666664 |
| BASE/amazons_8x8/7SOsIw | 31.24663683866355 | 295.4371229543712 | 9.455005493225022 |
| BASE/bomberman2p/4CClwA | 32.019002375296914 | 898.6666666666666 | 28.066666666666666 |
| DRESDEN/bomberman2p/x4h6jQ | 32.68003756862745 | 925.5333333333333 | 28.32106087362143 |
| BASE/gt_prisoner/klthDw | 33.51567716103555 | 5091.3 | 151.9080153307782 |
| BASE/knightwar/DVGY4Q | 34.18843687943263 | 1070.6666666666667 | 31.316631130063964 |
| BASE/speedChess/bPnisA | 34.4970138456094 | 171.25524965002333 | 4.964349970013993 |
| BASE/3pttc/0sol9g | 34.503454185935745 | 748.6750441651945 | 21.698553429771348 |
| BASE/gt_staghunt/xPjLRA | 34.909259092854086 | 5438.5 | 155.78961402573162 |
| BASE/gt_chicken/gmepTQ | 36.48829423110644 | 4623.666666666667 | 126.71643780829223 |
| BASE/mummymaze2p/vpjDdA | 36.50423725802546 | 552.7815739475351 | 15.142942723067195 |
| DRESDEN/mummymaze2p/k-8edg | 37.37343207964602 | 562.1 | 15.040095830699098 |
| DRESDEN/connect5/1kYzSg | 37.71183858784893 | 251.96666666666667 | 6.681367870190567 |
| DRESDEN/smallest/9kaGFw | 37.97372301814709 | 1324.4 | 34.87674883411059 |
| BASE/mummyMaze2p_2007/YGA3Vw | 39.65551831664813 | 1187.4333333333334 | 29.94370982246944 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 40.78888845265589 | 1177.4 | 28.86570447651745 |
| STANFORD/platformjumpers/HEQskA | 43.689428534200374 | 238.858704709843 | 5.467196819085487 |
| BASE/4pttc/AL1k2Q | 43.97240481392053 | 626.2124595846805 | 14.241032807612964 |
| BASE/knightThrough/gcwFjA | 46.25217295830773 | 534.1821939268691 | 11.549342652687635 |
| DRESDEN/Runners/3bOCQw | 47.044973544973544 | 11262.566666666668 | 239.4 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 49.791717345678364 | 110.655601106556 | 2.222369643094069 |
| BASE/battle/8oAvhQ | 49.85847832366731 | 48.03013132457836 | 0.9633292659430993 |
| DRESDEN/battle/8oAvhQ | 50.145103135725954 | 48.385484354693595 | 0.9649094593290662 |
| BASE/smallest_4player/ADDROA | 55.84330086100861 | 2017.2666666666667 | 36.123700346574246 |
| BASE/amazonsSuicide_10x10/XIbQkg | 57.029041954022986 | 220.23333333333332 | 3.8617750848924697 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 57.351930871003304 | 1733.7666666666667 | 30.230310302303103 |
| DRESDEN/smallest_4player/ADDROA | 57.66559789569992 | 2099.9 | 36.41512577044811 |
| BASE/amazons_10x10/Bun8dA | 58.845059523809525 | 218.23333333333332 | 3.7086092715231787 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 60.918199765258215 | 1728.8666666666666 | 28.380133906265613 |
| DRESDEN/ghostmaze2p/HY0UwA | 63.715253065326635 | 2111.5333333333333 | 33.14015454303224 |
| BASE/checkers-mustjump-torus/uSApKQ | 63.72480108712777 | 93.08758832155712 | 1.4607748746721556 |
| BASE/ghostMaze2p/W-NU-w | 70.35452720861173 | 2105.0333333333333 | 29.920367840602406 |
| DRESDEN/battlebrushes/QHXV4A | 74.5161769136374 | 20.10449044375372 | 0.2698003477426704 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 75.25375514337354 | 96.51724712547909 | 1.282557221783741 |
| DRESDEN/four_way_battle/xSOQXA | 77.24511955613215 | 132.65782281181254 | 1.7173618679612932 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 79.15952351137844 | 97.63007899736675 | 1.2333333333333334 |
| BASE/knightsTourLarge/M8jgLA | 79.24669725118483 | 8354.4 | 105.42269002731331 |
| BASE/four_way_battle/xSOQXA | 80.47192134644226 | 135.97733711048159 | 1.6897488569345969 |
| BASE/amazonsTorus_10x10/Uxc08g | 81.95801985815604 | 128.36666666666667 | 1.5662490002665956 |
| BASE/gt_attrition/kD_SCA | 87.12284907395245 | 19.99868645737554 | 0.2295458271847844 |
| BASE/checkers-mustjump/T-8UuQ | 93.97842528056083 | 118.3960534648845 | 1.2598216357789345 |
| DRESDEN/snake_2008/E56l3A | 96.94257685963844 | 493.65021165961133 | 5.092191972309126 |
| BASE/snake_2008_tweaked/bX0NJQ | 97.13714213912168 | 490.21699276690777 | 5.0466482950961185 |
| BASE/snake_2008/i6K26g | 99.4322579598224 | 502.28325722475915 | 5.051512130275839 |
| BASE/kalaha5x2x3/WviNsw | 100.64569191919192 | 1658.1666666666667 | 16.475287069395907 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 102.86519337016576 | 620.0 | 6.027306027306027 |
| STANFORD/knightstourbig/TQUI2g | 107.53213084642233 | 8214.633333333333 | 76.3923607639236 |
| BASE/wargame02/BkVqqQ | 125.30075174300752 | 273.77262273772624 | 2.1849240242327936 |
| DRESDEN/nim4/F5YAYg | 136.5061335125448 | 4228.166666666667 | 30.97418817651957 |
| DRESDEN/nim3/sG_axA | 137.24161725239617 | 4291.8 | 31.27185533020282 |
| BASE/nim4/twk16w | 137.5388131616595 | 4271.733333333334 | 31.05838443081845 |
| DRESDEN/hitori/S8Gsyg | 138.08387817702146 | 37.996603283492625 | 0.27517045280826735 |
| BASE/nim3/1OwUqw | 139.3842518918919 | 4295.533333333334 | 30.81792437114776 |
| BASE/hitori/S8Gsyg | 149.7671625472136 | 39.85819362533961 | 0.2661343978709248 |
| DRESDEN/knightfight/4_Ly4w | 154.71088853333333 | 1932.5333333333333 | 12.4912561207155 |
| BASE/knightfight/SJRkAg | 162.26209492151432 | 1952.0333333333333 | 12.030125299920021 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 173.4144932990691 | 97.23749541804125 | 0.5607230028365987 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 173.80420120465632 | 97.16437306321015 | 0.5590450195665757 |
| DRESDEN/nim2/z5_exA | 186.32939226519338 | 5620.0 | 30.161639726712213 |
| BASE/nim2/eF2Qqw | 188.64618315098468 | 5743.4 | 30.44535491822391 |
| BASE/wargame03/klXI8w | 190.5075894295587 | 394.62017932735574 | 2.0714144801736043 |
| BASE/nim1/hin2Qw | 196.13556989247311 | 5674.666666666667 | 28.932368921035966 |
| BASE/gt_ultimatum/GE-uOA | 205.208463507109 | 4328.6 | 21.093671898430472 |
| BASE/crossers3/O0rORg | 209.44030833333332 | 693.1666666666666 | 3.3096144299189145 |
| DRESDEN/gt_ultimatum/pAiiQw | 209.84076611694152 | 4660.333333333333 | 22.208903539439948 |
| DRESDEN/nim1/M9BALA | 215.03008455284552 | 6163.966666666666 | 28.66560127846584 |
| DRESDEN/crossers3/xiPTxg | 220.62791700680273 | 718.4666666666667 | 3.256463082341995 |
| BASE/quarto/EwBMVQ | 223.30264853333333 | 924.6333333333333 | 4.140718166158739 |
| DRESDEN/quartosuicide/WIU1oQ | 226.53551733333336 | 937.8333333333334 | 4.139895343445717 |
| BASE/wargame01/_GZFZg | 227.9293595959596 | 495.43333333333334 | 2.1736266631537347 |
| DRESDEN/quarto/OQzRYQ | 229.46383278688526 | 930.3 | 4.054233683370995 |
| DRESDEN/hanoi/RQ0jiA | 232.7102362204724 | 4925.7 | 21.166666666666668 |
| BASE/hanoi/iGLsJg | 234.6358066666667 | 4926.366666666667 | 20.995800839832032 |
| BASE/quartoSuicide/-23jUg | 235.5319225 | 935.3 | 3.9710116152089743 |
| BASE/checkers/rOC3Xg | 292.8998076875698 | 220.9259691343622 | 0.7542714721411472 |
| BASE/knightmove/jBaJEw | 315.0862877637131 | 826.3666666666667 | 2.6226678175419957 |
| DRESDEN/knightmove/97Ipcw | 319.0998864978903 | 830.6333333333333 | 2.603051171373027 |
| BASE/checkers-newgoals/0XkFiA | 323.6341264814983 | 143.12856238125397 | 0.4422542330048016 |
| BASE/skirmishZeroSum/zh4hcw | 337.3313765818265 | 152.70279277477837 | 0.4526788889966696 |
| BASE/kalaha6x2x4/XS81Mg | 339.2648495238096 | 1578.1333333333334 | 4.651626407947636 |
| BASE/checkersSmall/SYmq8w | 370.89968333333337 | 292.7 | 0.7891621728265158 |
| BASE/guess/SPpk1A | 420.23071212121215 | 1076.8333333333333 | 2.5624812805750605 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 427.64731875017856 | 92.42717152189854 | 0.2161294306533284 |
| DRESDEN/max_knights/hCipiA | 432.27859428571423 | 501.46666666666664 | 1.1600543568327202 |
| DRESDEN/guess/PhxGhg | 438.80126324911674 | 1100.659956002933 | 2.508333608369913 |
| BASE/max_knights/2fq3Ag | 459.5588888888889 | 502.3333333333333 | 1.093077177873468 |
| DRESDEN/cylinder-checkers/clOO3Q | 466.9939446462896 | 131.12896236792108 | 0.28079371022089106 |
| BASE/cylinder-checkers/hlldmw | 470.45860551926404 | 131.9824023463538 | 0.2805398834200929 |
| DRESDEN/checkers-mustjump/HUr33w | 509.0750995105414 | 116.81775763231569 | 0.22947057859367317 |
| DRESDEN/checkers-newgoals/IJOqXQ | 512.9429539521191 | 143.4760873187802 | 0.2797115862754848 |
| BASE/checkersTiny/Lr48cg | 532.9772384398781 | 407.3530882303923 | 0.7642973448974845 |
| BASE/ad_game_2x2/D0aWqg | 610.4121518314165 | 17.948547497174765 | 0.029403981299067895 |
| DRESDEN/pancakes88/aD3E7g | 865.119993442623 | 8786.6 | 10.156510156510157 |
| DRESDEN/pancakes/hl9aiQ | 1086.692081028939 | 11245.133333333333 | 10.348040194316896 |
| DRESDEN/pancakes6/SZXMyQ | 1104.8514502679527 | 11437.233333333334 | 10.35182904503545 |
| DRESDEN/merrills/aYEzwA | 1107.9526249251448 | 20.892940315390245 | 0.018857250612860643 |
| BASE/pancakes/yUgbXw | 1162.3290755395685 | 10738.7 | 9.23894981721502 |
| BASE/merrills/pku8Tg | 1178.7498419879578 | 21.190246498785804 | 0.0179768817300951 |
| BASE/pancakes6/QZTdnw | 1222.6974396593673 | 11157.633333333333 | 9.125424631985613 |
| BASE/blobwars/0XT15Q | 1426.2970169649702 | 207.5459120754591 | 0.1455138092604988 |
| DRESDEN/blobwars/ZaMluQ | 1492.6927271515233 | 211.28591427238183 | 0.1415468236892764 |
| BASE/hanoi_6_disks/MeubgQ | 1691.4209374999998 | 3605.0 | 2.131344078859731 |
| DRESDEN/hanoi_6_disks/MeubgQ | 1817.2555185185186 | 3776.3333333333335 | 2.0780420226275687 |
| DRESDEN/fizzbuzz/t1xHzQ | 1821.2664 | 11864.533333333333 | 6.514441453119288 |
| BASE/racer4/0vs7Ww | 2304.2729909003037 | 665.0778307389754 | 0.28862805464691166 |
| BASE/colonelBlotto/jip21A | 3098.254763636364 | 1130.9 | 0.3650119458455004 |
| DRESDEN/checkers/jIDMIg | 4929.67838693551 | 142.47625395767372 | 0.028901734104046242 |
| BASE/pancakes88/l2Xaig | 7156.751555555556 | 8486.266666666666 | 1.1857707509881423 |
| BASE/colonelBlottoVariant2/jruwGw | 9073.088746666666 | 4364.3 | 0.4810159055926116 |
| BASE/colonelBlottoVariant/X-n-KQ | 10564.000557142857 | 4909.9 | 0.46477657526060684 |
| BASE/gt_tinfoil/Q8DyKg | 13266.912213333333 | 6631.466666666666 | 0.49985004498650404 |
| DRESDEN/hanoi7/51zz5Q | 15511.876814814817 | 4323.533333333334 | 0.2787240631774543 |
| BASE/solitaireChineseCheckers/-ET6gw | 15761.752199999999 | 1016.1333333333333 | 0.06446829771459885 |
| BASE/hanoi7_bugfix/3gdnFw | 15961.66574074074 | 4524.566666666667 | 0.28346456692913385 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 16045.804262962964 | 4508.233333333334 | 0.2809602597321512 |
| DRESDEN/racer/vk_ZBA | 18137.742000000002 | 1499.4 | 0.08266740148801323 |
| BASE/racer/QQYQNw | 19214.24272222222 | 1527.5666666666666 | 0.07950178879024777 |
| DRESDEN/twisty-passages/j7NPyg | 20207.709600000002 | 1065.1333333333334 | 0.052709255745308874 |
| BASE/twisty-passages/DiZmmg | 21813.731200000002 | 1153.4333333333334 | 0.05287648054145516 |
| DRESDEN/kalaha_2009/gcC8uA | 33212.4129 | 1579.4 | 0.047554509356349715 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 34867.032633333336 | 9010.733333333334 | 0.2584313218762114 |
| BASE/kalaha_2009/dRiN3g | 35501.7043 | 1635.5333333333333 | 0.04606914979384055 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 39232.5003 | 3027.9 | 0.07717835918808366 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 39587.238066666665 | 3043.5333333333333 | 0.07688167909587146 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 39907.6889 | 2267.9333333333334 | 0.05682948313585088 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 66215.38 | 3410.0 | 0.051498609537542483 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | Infinity | 598.6469372792109 | 0.0 |
| DRESDEN/farmers/S_ASnw | Infinity | 552.5666666666667 | 0.0 |
| BASE/amazonsSuicide/dE1QEQ | Infinity | 1.3609055000497892 | 0.0 |
| BASE/amazons/RKKZjw | Infinity | 0.8538587848932676 | 0.0 |
Games with errors:
| Game | PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 error message | REKKURA_GENERIC_FORWARD_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 |