Game-by-game performance:
| Game | Perf ratio | PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per second | REKKURA_GENERIC_FORWARD_PROVER:1.0.0 states per second |
| DRESDEN/ggp-course2013_michal13/jWKddg | 0.03671403637369835 | 3.963627885287946 | 107.95946936870875 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 0.07560031643034527 | 0.2853881278538813 | 3.7749594357429053 |
| BASE/sudokuGrade6H/ieE_9A | 0.11784942512752682 | 14.614821226446502 | 124.01266455590735 |
| BASE/coins_atomic/AA3SSw | 0.12014142522083104 | 343.2 | 2856.633333333333 |
| BASE/sudokuGrade6E/ihYFZA | 0.12043494351307246 | 14.63089485085819 | 121.48380215971204 |
| STANFORD/sudoku/oJ1qyQ | 0.12665717089828177 | 15.29865637887455 | 120.78792120787921 |
| BASE/sudokuGrade3/eI8dvg | 0.12774183071883718 | 15.623438488956994 | 122.30479554770554 |
| BASE/sudokuGrade2/u80Tfw | 0.12795102858490406 | 15.647889199627114 | 122.2959234692177 |
| DRESDEN/coins/QwFP9w | 0.12883235953412092 | 366.8544381853938 | 2847.5333333333333 |
| BASE/coins/QnGtnQ | 0.13001269749986366 | 369.17538830744616 | 2839.5333333333333 |
| BASE/sudokuGrade4/DTy07w | 0.1305173449950014 | 15.867735604271315 | 121.57568486302739 |
| BASE/sudokuGrade5/BQfUQA | 0.13054647192938368 | 16.16927837109492 | 123.8584094393707 |
| BASE/sudokuGrade1/tDRNRw | 0.13376380941953084 | 16.242843829050727 | 121.42928569047699 |
| BASE/blokbox_simple/JBx4bg | 0.1835874115661712 | 0.7545271629778671 | 4.1099068642073515 |
| STANFORD/duidoku/3SoMaA | 0.1989663185698361 | 15.296940611877625 | 76.88206085246776 |
| BASE/quad/tw-Ufg | 0.27959605949793737 | 1.4965579167913798 | 5.352571561554573 |
| DRESDEN/quad/JPe6fg | 0.27959714100064975 | 1.5037593984962405 | 5.3783074931111186 |
| DRESDEN/cubicup_3player/awDtsQ | 0.33856877212743386 | 61.5271806152718 | 181.72727575747476 |
| BASE/cubicup_3player/e2yA_g | 0.3673999058752848 | 63.24769235895898 | 172.14945172149453 |
| STANFORD/selectivesukoshi/3xmXYg | 0.3799717018743496 | 50.62152164494951 | 133.22445170321978 |
| STANFORD/multiplesukoshi/vLSQPg | 0.39777601220574615 | 48.848755456332675 | 122.80467890825474 |
| DRESDEN/grid_game2/kypTYQ | 0.4803896969593346 | 203.95986800439985 | 424.57169522031865 |
| BASE/quad_7x7/q-JOXg | 0.4888495259628617 | 8.325349367339522 | 17.03049491751375 |
| BASE/zhadu/DlA8iQ | 0.49808973093806214 | 11.356445865387817 | 22.8 |
| DRESDEN/quad_7x7/q-JOXg | 0.5123427643388965 | 8.971114981433407 | 17.509986684420774 |
| BASE/slidingpieces/uFJWEw | 0.5744636805262623 | 145.94234294284286 | 254.0497300179988 |
| DRESDEN/slidingpieces/s9_44g | 0.5856800126968751 | 151.26162461251292 | 258.26666666666665 |
| BASE/simultaneousWin2/PfjRjw | 0.5953555281545416 | 289.7 | 486.6 |
| BASE/blockerParallel/7-nDJA | 0.6012356299366544 | 256.26666666666665 | 426.23333333333335 |
| BASE/cubicup/4wNWJA | 0.6204336948447482 | 139.2 | 224.35918802706576 |
| DRESDEN/blockerparallel/dVQgSg | 0.6256473764604429 | 264.8068526480685 | 423.2525582480584 |
| DRESDEN/cubicup/SBn_lw | 0.6297729049924505 | 140.94317613731045 | 223.8 |
| DRESDEN/statespacelarge/8-y5HQ | 0.6797950149167549 | 941.8333333333334 | 1385.4666666666667 |
| DRESDEN/CephalopodMicro/H3XQfg | 0.6815239751411659 | 17.499416686110465 | 25.676890798281548 |
| BASE/queens31lg/0gID-A | 0.6934770660537624 | 0.732820359081976 | 1.0567333729608348 |
| BASE/ticTacHeaven/18n58A | 0.6960978241323502 | 258.06666666666666 | 370.73333333333335 |
| BASE/stateSpaceLarge/0Ge_CQ | 0.7014732110136572 | 957.0666666666667 | 1364.3666666666666 |
| BASE/blocksWorldParallel/RseaAQ | 0.730822588037551 | 421.9526015799473 | 577.3666666666667 |
| BASE/withConviction/3Xm54A | 0.7579672205781925 | 443.9518682710576 | 585.713809539682 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.7590730805644471 | 561.2333333333333 | 739.3666666666667 |
| BASE/conn4/va9Y7A | 0.7626271332528874 | 294.923502549915 | 386.7204426519116 |
| BASE/ticTacToeNoVars/XT03NA | 0.777986154522933 | 1120.0666666666666 | 1439.7 |
| BASE/ticTacHeavenFC/mrletw | 0.7848778168375423 | 251.47485251474853 | 320.4 |
| BASE/lightsOnSimultaneous/_VN6lw | 0.7906904871172884 | 402.0 | 508.4163861204627 |
| BASE/snake2p/I3wWPQ | 0.8005096891227773 | 238.7920402653245 | 298.3 |
| DRESDEN/tictactoeparallel/yk_DSg | 0.820942000778513 | 913.9 | 1113.2333333333333 |
| BASE/pearls/6k_mEQ | 0.8275388591736367 | 12294.8 | 14857.066666666668 |
| STANFORD/duikoshi/tpw1sw | 0.8290578757927213 | 483.7 | 583.4333333333333 |
| BASE/cephalopodMicro/9l2D3g | 0.8408338258016266 | 17.694691592522243 | 21.044219499200853 |
| BASE/lightsOnSimul4/9FeASw | 0.859142199709992 | 321.7559414686177 | 374.50836610892605 |
| BASE/bunk_t/xbpfIA | 0.883065449402083 | 1144.6 | 1296.1666666666667 |
| DRESDEN/lightsout/XgLpzQ | 0.8879365185656409 | 884.0 | 995.5666666666667 |
| DRESDEN/doubletictactoe/lJzgmQ | 0.8896162238480299 | 1155.1666666666667 | 1298.5 |
| BASE/doubletictactoe/HH1htg | 0.8906683251703854 | 1145.6666666666667 | 1286.3 |
| DRESDEN/pawn_whopping/4ogBkg | 0.8917213277678393 | 598.1467284423852 | 670.7776407453085 |
| BASE/doubletoetictac/fu35bg | 0.8920644170154156 | 1122.6333333333334 | 1258.4666666666667 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 0.8998220844811755 | 1045.2333333333333 | 1161.6 |
| DRESDEN/doubletoetictac/V89gKQ | 0.9021309968089135 | 1111.9666666666667 | 1232.6 |
| DRESDEN/bunk_t/7-tPfA | 0.9028780715881345 | 1158.6333333333334 | 1283.2666666666667 |
| DRESDEN/lightsout2/LFtfyQ | 0.9226457015894719 | 899.7333333333333 | 975.1666666666666 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 0.9241279403693728 | 211.35772845430913 | 228.71046228710463 |
| DRESDEN/tictactoelarge/IwXcbg | 0.9392249058146667 | 1072.0 | 1141.3666666666666 |
| BASE/futoshiki6/JmvXNA | 0.9461196621751995 | 125.9748050389922 | 133.1489134782029 |
| BASE/nineBoardTicTacToe/wRmqqA | 0.9738929477740544 | 205.4264857838072 | 210.93333333333334 |
| STANFORD/nineboardtictactoe/y28P-A | 0.9915533411877548 | 213.81195213811952 | 215.63333333333333 |
| BASE/factoringGeorgeForman/HGRorQ | 0.9935093204575137 | 3347.0666666666666 | 3368.9333333333334 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 1.0010204081632654 | 457.8 | 457.3333333333333 |
| BASE/tictactoe2/bhrDoQ | 1.0329936648762028 | 2429.5666666666666 | 2351.9666666666667 |
| DRESDEN/tictactoex9/rFkD4w | 1.0656244362956897 | 253.57464253574642 | 237.95873470884302 |
| BASE/golden_rectangle/_nYzfw | 1.0701506962025318 | 112.7 | 105.3122708791575 |
| BASE/tictactoex9/BI26ow | 1.0882560270689412 | 257.3 | 236.43333333333334 |
| STANFORD/sukoshi/4LYZZQ | 1.0971637794414995 | 1338.4666666666667 | 1219.9333333333334 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 1.1023599859105317 | 521.5826139128695 | 473.15089497016766 |
| DRESDEN/chickentictactoe/Ipbo-g | 1.1135317359625911 | 2047.9333333333334 | 1839.1333333333334 |
| BASE/futoshiki5/TJ4BZg | 1.130777763076683 | 219.53007832027996 | 194.14078122916945 |
| STANFORD/triplesukoshi/Iu9mbA | 1.1458292767332467 | 356.0881303956535 | 310.7689231076892 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 1.1666327824703147 | 105.86666666666666 | 90.74549271836571 |
| DRESDEN/latenttictactoe/kITHKg | 1.1787493534424087 | 1443.3 | 1224.4333333333334 |
| BASE/brain_teaser_extended/ZDp94A | 1.1801074679241146 | 1793.5666666666666 | 1519.8333333333333 |
| DRESDEN/brain_teaser_extended/ZDp94A | 1.1900275685414723 | 1827.3666666666666 | 1535.5666666666666 |
| DRESDEN/peg/Vo31eg | 1.1991924786002013 | 423.3666666666667 | 353.0431304579695 |
| DRESDEN/sum15/CsgWKg | 1.2261153459357828 | 2804.1666666666665 | 2287.0333333333333 |
| BASE/eotcatcit/AfZSzA | 1.2289570509355328 | 2349.233333333333 | 1911.5666666666666 |
| BASE/connectFourSimultaneous/7ITr3g | 1.2342976038463065 | 283.7238758708043 | 229.86666666666667 |
| DRESDEN/peg_bugfixed/u_B7MA | 1.2358385679696184 | 430.3189893670211 | 348.2 |
| DRESDEN/tictactoe/BTTzPw | 1.2476552257370492 | 2474.266666666667 | 1983.1333333333334 |
| DRESDEN/ticblock/Z2yNWQ | 1.2477301491223245 | 1511.6666666666667 | 1211.5333333333333 |
| BASE/tpeg/QNs7Lw | 1.2701528272119147 | 447.23333333333335 | 352.1098593427105 |
| BASE/lightsOnParallel/SC6enA | 1.278228423101882 | 1838.4333333333334 | 1438.2666666666667 |
| DRESDEN/towerworld/HCX34w | 1.2971305889605396 | 22.25331467785995 | 17.155801325826975 |
| DRESDEN/eotcatcit/mQUxzA | 1.3000987166831193 | 2370.6 | 1823.4 |
| BASE/sum15/QZ07Kg | 1.3095464880476866 | 2841.366666666667 | 2169.733333333333 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 1.3113960699662504 | 0.5139538469445444 | 0.3919135177504164 |
| BASE/futoshiki4/BaCwSw | 1.3163188806888069 | 451.8333333333333 | 343.25522482583915 |
| BASE/haystack/UkweGA | 1.317117475625885 | 18755.533333333333 | 14239.833333333334 |
| BASE/majorities/ibJzSQ | 1.3401228215174634 | 133.31111481419762 | 99.47678874929183 |
| BASE/lightsOut/5P1ZBw | 1.355507472450058 | 897.9333333333333 | 662.4333333333333 |
| BASE/stateSpaceMedium/3bUoIw | 1.3702322002141327 | 2730.233333333333 | 1992.5333333333333 |
| BASE/double_tictactoe_dengji/zgaSbA | 1.3773307163886164 | 1309.9333333333334 | 951.0666666666667 |
| DRESDEN/tpeg/h-Scbg | 1.3779810925636942 | 463.3691087260849 | 336.26666666666665 |
| DRESDEN/statespacemedium/dVJZ_w | 1.385534623131739 | 2728.5333333333333 | 1969.3 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 1.398334474608469 | 0.4417839234830245 | 0.3159358018450651 |
| DRESDEN/connectfour/5tc-Mg | 1.4543899994096197 | 659.1780273990867 | 453.23333333333335 |
| BASE/ticblock/T21C1g | 1.487241596708365 | 1494.0333333333333 | 1004.5666666666667 |
| BASE/tictactoe_3d_small_2player/oOryKA | 1.509086394367894 | 400.2199926669111 | 265.20681265206815 |
| BASE/ticTacToeLarge/TZC0dg | 1.5113725804388152 | 1050.0666666666666 | 694.7768407719743 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 1.5152360925253296 | 1321.0333333333333 | 871.8333333333334 |
| BASE/breakthroughSmallHoles/bxclRw | 1.520963804267063 | 477.61741275290825 | 314.0228659044698 |
| DRESDEN/connect4/T0-rHQ | 1.523545264359072 | 267.0 | 175.24914175249143 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 1.5238285863168866 | 311.6229459018033 | 204.5 |
| BASE/tictactoe_3d_small_6player/g_9lww | 1.5279537580609297 | 305.3666666666667 | 199.8533431104593 |
| BASE/qyshinsu/R08Lzw | 1.5303228821292805 | 92.27231830450864 | 60.29598026798214 |
| BASE/ticTacToeLargeSuicide/727_8g | 1.5332052821128452 | 1064.3 | 694.1666666666666 |
| DRESDEN/satlike_20v_91c/yeuENQ | 1.5334440837037924 | 0.5382565869149823 | 0.3510115514710575 |
| DRESDEN/sheep_and_wolf/enAIzQ | 1.5397426947242445 | 514.6333333333333 | 334.23333333333335 |
| BASE/connect4/50bOyw | 1.5444988745127528 | 268.9397726893977 | 174.12752908236394 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 1.560448733903502 | 414.0390640623958 | 265.3333333333333 |
| DRESDEN/catcha_mouse/cHv4dw | 1.5741510741510742 | 605.7333333333333 | 384.8 |
| BASE/snakeAssemblit/UO4sdg | 1.6453048622755897 | 337.9554014866171 | 205.4059458738835 |
| BASE/catcha_mouse/cHv4dw | 1.653055777955698 | 619.3793540215327 | 374.68751041631947 |
| BASE/numbertictactoe/rvJ-iQ | 1.6751661129568105 | 1344.6 | 802.6666666666666 |
| DRESDEN/tictactoe-init1/3ltIBQ | 1.7173964385243965 | 2423.9333333333334 | 1411.4 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 1.7187860414538503 | 0.659043727551323 | 0.3834355828220859 |
| BASE/tictactoe-init1/7M19vA | 1.727881773399015 | 2338.4 | 1353.3333333333333 |
| STANFORD/tictactoe3/X7myng | 1.7308047128284878 | 2188.8333333333335 | 1264.6333333333334 |
| DRESDEN/golden_rectangle/1uloXw | 1.7527272727272727 | 112.45916938870742 | 64.16238917405506 |
| DRESDEN/pentago_2008/hLjVpQ | 1.7599216070553652 | 239.45868471050966 | 136.06213126229125 |
| DRESDEN/amazons/dNB28A | 1.7630672982931046 | 9.693961952026468 | 5.498350494851545 |
| DRESDEN/blocksworldparallel/2JfVaw | 1.7795933057405076 | 1648.2 | 926.1666666666666 |
| DRESDEN/blocker/S815zQ | 1.8032058189655171 | 2231.1666666666665 | 1237.3333333333333 |
| DRESDEN/javastrike/whONTQ | 1.8144865525672373 | 197.9 | 109.06666666666666 |
| BASE/chickentictactoe/DSlZCA | 1.8204650078666744 | 2082.733333333333 | 1144.0666666666666 |
| BASE/connectFour_9x6/B9TtMw | 1.8209801913939638 | 604.6666666666666 | 332.0555981467284 |
| STANFORD/multipletictactoe/_bkafQ | 1.8445661494231254 | 286.95710142995233 | 155.56888622275545 |
| STANFORD/connectfour/VMpZkQ | 1.8460684551341353 | 665.2 | 360.3333333333333 |
| BASE/eotcitcit/V_9_bg | 1.86513510708231 | 1796.9333333333334 | 963.4333333333333 |
| BASE/ticTacToeParallel/ymRGPw | 1.8727321416616456 | 932.4333333333333 | 497.9 |
| DRESDEN/tictictoe/LAUtwg | 1.8754931137102913 | 1806.6 | 963.2666666666667 |
| BASE/connectFour/WAIKTw | 1.8803460282479048 | 670.1329867013299 | 356.3881203959868 |
| DRESDEN/battlesnakes2011/93VtTw | 1.915538739245303 | 483.05056498116727 | 252.17478252174783 |
| BASE/strangeSkirmish/gc1zKA | 1.9185617038875105 | 25.766666666666666 | 13.430199620088645 |
| STANFORD/tictactoe/ss1kyQ | 1.9478416770100675 | 2353.9666666666667 | 1208.5 |
| DRESDEN/lightson2x2/gBHuig | 1.9480036586335796 | 3265.633333333333 | 1676.4 |
| BASE/othello-comp2007/86ZoMw | 1.964209984704778 | 4.311202493864827 | 2.1948786165613567 |
| STANFORD/tictactoe5/WFRReg | 1.978415056405674 | 2361.7 | 1193.7333333333333 |
| STANFORD/trifecta/ss1kyQ | 1.9931169836355598 | 2403.4333333333334 | 1205.8666666666666 |
| BASE/pentagoSuicide/SBgNhw | 2.0145639168708596 | 246.63333333333333 | 122.42517165522298 |
| BASE/3pConnectFour/PqXOFQ | 2.0265967459324155 | 377.8 | 186.4209052729818 |
| BASE/connectFourLarge/aU644A | 2.039954033820905 | 477.31742275257494 | 233.98440103993067 |
| DRESDEN/battlesnakes1509/-qZrLw | 2.0434667373442883 | 514.0 | 251.53333333333333 |
| BASE/ticTacToeSerial/Amrwqw | 2.0516477430074773 | 987.8 | 481.46666666666664 |
| BASE/ticTacToe/JRFsaQ | 2.05788450860633 | 2470.8333333333335 | 1200.6666666666667 |
| STANFORD/tictactoe7/-bE9-A | 2.108787958651791 | 2400.4333333333334 | 1138.3 |
| BASE/pentago/86NgKw | 2.1117387188677514 | 255.26666666666668 | 120.8798533577737 |
| DRESDEN/stratego/Z2wovg | 2.116218713500396 | 467.4021731884541 | 220.86666666666667 |
| DRESDEN/Zhadu/9zpQ5w | 2.1373427720470066 | 54.772613693153424 | 25.626499600106637 |
| BASE/skirmishHoles/AUCxCA | 2.1378327466340954 | 33.09779348043464 | 15.481937739304145 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 2.1481528948127266 | 2234.866666666667 | 1040.3666666666666 |
| BASE/pawnWhopping/Ypc_6Q | 2.154987136679553 | 578.6140461984601 | 268.5 |
| BASE/survival/YVIjJA | 2.1556419338516033 | 15620.5 | 7246.333333333333 |
| DRESDEN/chickentoetictac/cxYaRQ | 2.178562602502752 | 3232.3333333333335 | 1483.7 |
| BASE/blocker/dIWtxg | 2.189567183462532 | 2259.633333333333 | 1032.0 |
| STANFORD/untwistycomplex/HTWEwg | 2.1938919975729796 | 5423.666666666667 | 2472.1666666666665 |
| BASE/chickentoetictac/l57rfQ | 2.232377384993562 | 3178.5333333333333 | 1423.8333333333333 |
| BASE/tictactoe_orthogonal/WRzlVw | 2.249377774356606 | 2922.1666666666665 | 1299.1 |
| BASE/duplicateStateLarge/dcjyuw | 2.256153474903475 | 623.3 | 276.26666666666665 |
| BASE/lightsOn/MsXu3A | 2.260120322218823 | 5171.833333333333 | 2288.3 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 2.2788049723179773 | 2908.6666666666665 | 1276.4 |
| DRESDEN/tictactoe_3player/ESLQQQ | 2.2865148820326677 | 587.9 | 257.11619225384976 |
| BASE/cittaceot/fDxhXg | 2.294773288226387 | 517.249425019166 | 225.40327956272498 |
| BASE/hidato19/rRHSmA | 2.3145004849660524 | 318.15606146461784 | 137.46208459718008 |
| DRESDEN/blocks/vg0DRw | 2.338186697145129 | 6273.666666666667 | 2683.133333333333 |
| BASE/blocks/xIV5hQ | 2.3649257425742576 | 6369.533333333334 | 2693.3333333333335 |
| BASE/blocksWorld/SEdXLQ | 2.3698806086999067 | 6457.766666666666 | 2724.9333333333334 |
| BASE/duplicateStateMedium/U163eQ | 2.391654373024236 | 1891.4 | 790.8333333333334 |
| BASE/othelloSuicide/B442jg | 2.3989061430852274 | 4.457158062799361 | 1.8579960185799602 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 2.4460331519676073 | 2577.4666666666667 | 1053.7333333333333 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 2.4746372514134345 | 4172.733333333334 | 1686.2 |
| BASE/snake_2009_big/-oRfVw | 2.4764309764309766 | 343.2218926035799 | 138.59538015399485 |
| BASE/dualConnect4/WbCQkg | 2.4881296662225756 | 478.9840338655378 | 192.50766564458073 |
| STANFORD/breakthrough/d5j0cQ | 2.4936635914127994 | 472.91756941435284 | 189.64770189647703 |
| DRESDEN/mimikry/GJEhwA | 2.494417150513622 | 372.3333333333333 | 149.26666666666668 |
| BASE/othelloHoles/c0qAzw | 2.497013694109883 | 4.751691140075895 | 1.9029495718363463 |
| DRESDEN/snake_2009_big/DgC1NQ | 2.548980022664724 | 349.8666666666667 | 137.25751616558895 |
| BASE/tictactoe_3d_2player/IUC1rQ | 2.5523939891648713 | 122.72515165655624 | 48.08236979774083 |
| DRESDEN/circlesolitaire/ruUilQ | 2.5917974944497306 | 4358.366666666667 | 1681.6 |
| STANFORD/tictictoe/rpt_Dw | 2.6164076651730386 | 1829.5666666666666 | 699.2666666666667 |
| BASE/ticTicToe/c1OobQ | 2.625615763546798 | 1812.2 | 690.2 |
| BASE/circlesolitaire/azuQFQ | 2.6281217166410733 | 4335.7 | 1649.7333333333333 |
| DRESDEN/connectfoursuicide/M9CNQg | 2.633489052725644 | 672.9218052129858 | 255.524815839472 |
| DRESDEN/snake_2009/zIYLVw | 2.68369391025641 | 446.536897540164 | 166.38890740617293 |
| DRESDEN/toetictac/mJtxCA | 2.6856439452223415 | 4072.6 | 1516.4333333333334 |
| BASE/duplicateStateSmall/bCPAXw | 2.690518298770574 | 6288.1 | 2337.133333333333 |
| BASE/stateSpaceSmall/Q7osKA | 2.691448199222104 | 8880.433333333332 | 3299.5 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 2.7010154806491884 | 72.06666666666666 | 26.681323073848308 |
| BASE/toetictac/mTThmg | 2.7152577917586957 | 4056.866666666667 | 1494.1 |
| BASE/blocksWorldSerial/Wyg96Q | 2.7205252640593773 | 2859.0 | 1050.9 |
| DRESDEN/babel/WdSW4A | 2.7209382206949217 | 237.46666666666667 | 87.27381785464361 |
| DRESDEN/troublemaker01/C-lPWw | 2.720978364513959 | 12270.433333333332 | 4509.566666666667 |
| DRESDEN/buttons/ADUaHw | 2.72307862925585 | 10640.066666666668 | 3907.366666666667 |
| BASE/incredible/8Qh-6Q | 2.7312080136741264 | 2290.3 | 838.5666666666667 |
| BASE/buttons/hTcUjw | 2.739549347471452 | 10747.8 | 3923.2 |
| DRESDEN/statespacesmall/h-NqjA | 2.7555228125128797 | 8914.3 | 3235.0666666666666 |
| STANFORD/dualhunter/1rPZjQ | 2.760376665366868 | 943.8333333333334 | 341.9219359354688 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 2.7651113805288166 | 756.3666666666667 | 273.53931273539314 |
| BASE/tictactoe_3d_6player/d7KSwg | 2.7667118750163007 | 118.77624475104979 | 42.93047130191321 |
| BASE/snake_2009/7l-qAQ | 2.780921885077348 | 449.15169494350187 | 161.51179842687642 |
| BASE/connectFourLarger/qKi60A | 2.7867422673434854 | 274.46666666666664 | 98.4901509849015 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 2.7905699529617913 | 127.23697803845769 | 45.59533721898418 |
| BASE/mineClearingSmall/frsbvw | 2.8086281739326635 | 192.22692576914102 | 68.44157142381127 |
| BASE/onestep/xi53wA | 2.820743575627342 | 21177.766666666666 | 7507.866666666667 |
| BASE/battlebrushes/arCwyA | 2.823600729419508 | 8.55608092894593 | 3.0302021244713795 |
| BASE/skirmishFinal1/ecWTnQ | 2.824110278774776 | 41.28486221718703 | 14.618714618714618 |
| BASE/blockerSerial/3eqDuw | 2.833913889149983 | 1004.9333333333333 | 354.60969268715417 |
| BASE/skirmishFinal2/gdB62Q | 2.834160278774667 | 42.313586992736724 | 14.929849701736261 |
| BASE/troublemaker02/DI83KA | 2.8744484154480143 | 10509.366666666667 | 3656.133333333333 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 2.889507060515335 | 4085.6666666666665 | 1413.9666666666667 |
| STANFORD/pentago/ZxzLmg | 2.891699022197681 | 367.5088327444837 | 127.0909696767744 |
| BASE/tictactoe_3player/GtM71g | 2.8947136762030756 | 583.4 | 201.5397946940408 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 2.9442410993892087 | 112.46251249583472 | 38.197453503099794 |
| BASE/skirmishFinal3/-Olhfw | 2.944346864509128 | 47.62380857161901 | 16.17465969980364 |
| DRESDEN/skirmishfinal/hzq8ww | 2.9681819696313414 | 43.481158164795254 | 14.649087761353043 |
| BASE/troublemaker01/s3tlEQ | 2.9684078303178887 | 13076.133333333333 | 4405.1 |
| BASE/blocks2player/wnTLOQ | 3.0764677804295943 | 5371.0 | 1745.8333333333333 |
| DRESDEN/blocks2player/3ev8nQ | 3.158488590760164 | 5430.6 | 1719.3666666666666 |
| DRESDEN/troublemaker02/iZLVuA | 3.1764466105449713 | 11948.733333333334 | 3761.6666666666665 |
| DRESDEN/cube_2x2x2/fp-34Q | 3.1799862944439887 | 1292.8333333333333 | 406.55311489617014 |
| DRESDEN/capture_the_king/EQ229Q | 3.2456851448047033 | 47.08273633001233 | 14.506254990684056 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 3.31612691106362 | 672.3775874137528 | 202.75990800306656 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 3.461497991185826 | 710.8763041231958 | 205.36666666666667 |
| BASE/checkLines/Vop7oQ | 3.5340243352861647 | 1045.6 | 295.8666666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 3.555926500932592 | 726.4757841405286 | 204.3 |
| BASE/skirmish/Y_psYQ | 3.5946168543510577 | 28.944475901808612 | 8.052172755706396 |
| BASE/connectFourSuicide/c8p9Kw | 3.6828002250514404 | 636.3666666666667 | 172.7942401919936 |
| BASE/hodgepodge/9yjRkw | 3.7064078969382632 | 3692.2 | 996.1666666666666 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 3.715506125080593 | 768.3666666666667 | 206.8 |
| DRESDEN/grid_game/U7_Yeg | 3.7169542528342734 | 724.8333333333334 | 195.00733235568592 |
| DRESDEN/logistics/fPru1Q | 3.87373472625266 | 1112.3333333333333 | 287.14752349843343 |
| DRESDEN/firefighter/WJmoPw | 3.8843392714703535 | 3895.733333333333 | 1002.9333333333333 |
| BASE/coloredtrails/EZvr7g | 3.8895077720207256 | 2001.8 | 514.6666666666666 |
| BASE/firefighter/WJmoPw | 3.9198912430783515 | 3940.6666666666665 | 1005.3 |
| DRESDEN/3pttc/uwYBZw | 3.930883969022421 | 866.5711142961901 | 220.45196986867543 |
| BASE/snakeParallel/RCVNtw | 3.931113799881661 | 2062.131262291257 | 524.5666666666667 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 3.9326351574033995 | 642.811906269791 | 163.45576961535897 |
| BASE/switches/tPUoCg | 3.948122240334246 | 8315.666666666666 | 2106.233333333333 |
| DRESDEN/8puzzle/8fKC2w | 4.019240196078431 | 3279.7 | 816.0 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 4.048417290799815 | 681.0333333333333 | 168.22211852543163 |
| DRESDEN/backgammon/mqCW0Q | 4.110544370062399 | 202.9729369417411 | 49.3786026055376 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 4.291219151263033 | 649.9116696110129 | 151.4515215145152 |
| BASE/hidato37/pBrqxw | 4.356810695742021 | 76.65900076659001 | 17.595210377515382 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 4.451859925422242 | 676.4666666666667 | 151.9514715195147 |
| DRESDEN/3pffa/0YrmQw | 4.482112169973441 | 956.3333333333334 | 213.36666666666667 |
| DRESDEN/Thief_Police/CX18rA | 4.539212978943735 | 4383.366666666667 | 965.6666666666666 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 4.541399454049136 | 665.3333333333334 | 146.50403252682796 |
| DRESDEN/small_dominion/yB5GJA | 4.59084284937466 | 1.8270799347471451 | 0.39798355001326613 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 4.605595078530432 | 4466.966666666666 | 969.9 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 4.669094729469444 | 4444.2 | 951.8333333333334 |
| BASE/rubiksCube/9tNO9Q | 4.670629485726322 | 390.6203126562448 | 83.63333333333334 |
| DRESDEN/catch_me/ghGWrA | 4.704773782304441 | 4526.933333333333 | 962.2 |
| BASE/aipsrovers01/4C4jsw | 4.764191544158592 | 1901.1666666666667 | 399.05336488783706 |
| STANFORD/untwistycorridor/EDPPAQ | 4.775025989115147 | 13014.333333333334 | 2725.5 |
| BASE/untwistycomplex2/EDPPAQ | 4.797584196120433 | 13438.033333333333 | 2801.0 |
| STANFORD/hunter/14dD-g | 4.799679354791728 | 2196.9 | 457.7180760641312 |
| DRESDEN/brawl/2kXtfQ | 4.818828169014084 | 57.0 | 11.828601892576303 |
| DRESDEN/aipsrovers01/qS47Mw | 4.890405153415833 | 1923.2333333333333 | 393.26666666666665 |
| BASE/brawl/6Ymo_Q | 4.962313818266636 | 57.845456665889174 | 11.656952539550375 |
| BASE/englishDraughts/jFkQxg | 5.132848439236849 | 455.3181560614646 | 88.70672131693826 |
| BASE/pegEuro/5awwhg | 5.208887442911122 | 349.6550114996167 | 67.12662067126621 |
| DRESDEN/chinesecheckers1/Y-ftaA | 5.34606556522769 | 1003.0666666666667 | 187.62707909736343 |
| DRESDEN/oisters_farm/pTQMLg | 5.498027889064878 | 5901.033333333334 | 1073.3 |
| BASE/queens08lg/Ru7eqQ | 5.561900114018369 | 233.99220025999134 | 42.070550614569804 |
| STANFORD/bestbuttonsandlights/nm0wEA | 5.594031148922291 | 6860.333333333333 | 1226.3666666666666 |
| BASE/escortLatch/mX9BjQ | 5.659817567242569 | 478.58404719842673 | 84.55821084558211 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 5.81723208682491 | 5252.766666666666 | 902.9666666666667 |
| DRESDEN/frogs_and_toads/GjchhQ | 5.879691803121564 | 476.684110529649 | 81.07297567477508 |
| STANFORD/threepuzzle/41ibjA | 5.929306000136212 | 5804.0 | 978.8666666666667 |
| BASE/chomp/-LcqYQ | 5.989940960451978 | 1342.9 | 224.19252691576946 |
| DRESDEN/chomp/-LcqYQ | 6.124313850583421 | 1347.1 | 219.9593346888437 |
| STANFORD/3puzzle/41ibjA | 6.163577137484048 | 6117.966666666666 | 992.6 |
| BASE/breakthroughSmall/HJ0tIA | 6.171972191730699 | 562.2479250691644 | 91.09696343455218 |
| BASE/breakthroughSuicideSmall/XSbJog | 6.184685015179114 | 565.7666666666667 | 91.47865498050454 |
| BASE/maze/cCX3qQ | 6.203641441143508 | 11255.266666666666 | 1814.3 |
| BASE/peg/fJHVWw | 6.326500715180548 | 422.9192360254658 | 66.84884030925086 |
| STANFORD/buttonsandlights/eyhJpA | 6.378462347578791 | 21830.5 | 3422.5333333333333 |
| BASE/tron_10x10/7ZTgDg | 6.473429301762411 | 1603.9 | 247.76666666666668 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 6.581809859723756 | 8148.5 | 1238.0333333333333 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 6.617897803917336 | 8176.633333333333 | 1235.5333333333333 |
| BASE/eightPuzzle/vLrgFg | 6.663624243021777 | 3379.233333333333 | 507.1164294523516 |
| STANFORD/8puzzle/jNiGtw | 6.680824025148819 | 3329.5 | 498.3666666666667 |
| STANFORD/eightpuzzle/W_aWbA | 6.727235269880511 | 3265.4 | 485.4 |
| BASE/hexPie/48CH6Q | 6.992889347606711 | 168.95540297313514 | 24.161029093211585 |
| STANFORD/hex/MTqWcw | 7.035184443623568 | 171.16096130128994 | 24.32927845359107 |
| BASE/hex/T1MK8g | 7.048219488574126 | 171.46095130162328 | 24.326846174353506 |
| DRESDEN/knightwar/7hhAqg | 7.089178605769231 | 1081.3 | 152.5282490583647 |
| DRESDEN/point_grab/r5DPmQ | 7.180689450075587 | 9658.266666666666 | 1345.0333333333333 |
| BASE/gt_dollar/TGjqRw | 7.264469494010009 | 4790.433333333333 | 659.4333333333333 |
| BASE/endgame/jYjfOA | 7.3053114536113615 | 268.46666666666664 | 36.749516892117015 |
| DRESDEN/minichess/c7GMFw | 7.46454510617284 | 839.7333333333333 | 112.49625012499584 |
| BASE/minichess/8NQEiA | 7.80672944250871 | 896.0333333333333 | 114.77704459108179 |
| STANFORD/alquerquezero/uVgA_A | 7.885569620253165 | 519.1160294656845 | 65.8311389620346 |
| BASE/reversiSuicide/9OxJlg | 8.285593456021438 | 15.963473971872292 | 1.9266542652139251 |
| DRESDEN/4pttc/9pB9AQ | 8.49662455009401 | 702.7666666666667 | 82.71127699280191 |
| BASE/reversi/d8UMeA | 8.62924349224389 | 15.527330762069424 | 1.7993849375122686 |
| BASE/beatMania/qUHwvQ | 8.721587638225255 | 4258.9 | 488.3170560981301 |
| BASE/asteroidsSerial/id2QkA | 8.808279487179487 | 2625.866666666667 | 298.1134591027265 |
| STANFORD/pilgrimage/ObRZnQ | 9.144455809285516 | 397.3068462102527 | 43.44783926964982 |
| DRESDEN/endgame/IJhh3Q | 9.145410862875703 | 230.66924410078656 | 25.22240362509579 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 9.859927575080667 | 2206.8333333333335 | 223.8184121058596 |
| STANFORD/freeforall/Lfp40Q | 9.978728360215053 | 824.6333333333333 | 82.63912029323559 |
| BASE/asteroidsParallel/WauZiA | 10.159784784784785 | 2706.5666666666666 | 266.4 |
| DRESDEN/hallway/0H4l-Q | 10.384186472796669 | 182.20903879482736 | 17.546780315642273 |
| DRESDEN/breakthrough/z4hK7Q | 10.481340762819643 | 372.08759708009734 | 35.5 |
| BASE/hallway/ckCJOw | 10.549866143276198 | 181.06378724255148 | 17.162662045522712 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 10.631969569202568 | 386.53333333333336 | 36.35575993868506 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 10.666661803097128 | 376.58744708509715 | 35.3050892619238 |
| BASE/ttcc4_2player_small/Cv72TA | 10.813435530951185 | 716.0666666666667 | 66.22008931547023 |
| BASE/breakthroughSuicide/wZDpIg | 11.714264169726915 | 371.8752083194454 | 31.74550299800133 |
| BASE/breakthrough/TGxk-g | 11.746681152075402 | 371.48761707943066 | 31.624900026659557 |
| DRESDEN/skirmish3/3LU8Nw | 11.848906560636182 | 198.65342310512634 | 16.76554896340244 |
| BASE/shmup/ssTNlg | 11.971274298056155 | 1847.5666666666666 | 154.33333333333334 |
| DRESDEN/skirmish/RjGQYQ | 12.001862144408866 | 196.64700196647001 | 16.38470760623418 |
| DRESDEN/skirmish2/iPpWhQ | 12.151490087262026 | 211.1122221111222 | 17.373360846701726 |
| STANFORD/skirmish/w4V6Vw | 12.182366807716656 | 29.08739546196648 | 2.3876637373569887 |
| BASE/breakthroughHoles/nZk0Sg | 12.30075476447321 | 379.96666666666664 | 30.889703432189272 |
| BASE/breakthroughWalls/vOZaYA | 12.311713302192667 | 384.4205193160228 | 31.223966143490287 |
| DRESDEN/racetrackcorridor/O0DoTA | 12.3737557208238 | 720.8333333333334 | 58.25501566353396 |
| STANFORD/madness/UO_B3A | 12.502447796982716 | 28.84071002764179 | 2.306805074971165 |
| BASE/choicethroughalt/tt71Lg | 12.505392757825666 | 306.5026830650268 | 24.509640680675346 |
| BASE/asteroids/BKCmPQ | 12.654854869603653 | 5725.9 | 452.46666666666664 |
| BASE/queens16ug/gT-ylw | 12.8190156774808 | 84.13052898236725 | 6.562947662990972 |
| BASE/point_grab/V_osUg | 12.864169554785391 | 9650.7 | 750.2 |
| BASE/racetrackcorridor/_RkdUg | 12.933185833333333 | 758.2666666666667 | 58.62953462806889 |
| BASE/knightazons/apnJBQ | 12.938811228070175 | 163.73333333333332 | 12.654434047087815 |
| DRESDEN/knightazons/02I8BQ | 12.991356382978724 | 162.5 | 12.508316699933467 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 13.091087953248792 | 7.067724060125427 | 0.5398882113821138 |
| BASE/2pffa/6oHijA | 13.152045171926519 | 930.6333333333333 | 70.7595907075959 |
| BASE/4pffa/Q3ADlg | 13.347280018915317 | 723.1092296923435 | 54.17652350648053 |
| BASE/2pffa_zerosum/o0_uZA | 13.363036210526316 | 846.1 | 63.31644894694748 |
| BASE/wallmaze/uxNQ9g | 13.55399020715631 | 319.53333333333336 | 23.57485348961108 |
| BASE/3pffa/pR0dzA | 13.595824732334048 | 846.2 | 62.239696131676276 |
| BASE/god/qF06gw | 13.950598401105259 | 50.34149591870732 | 3.608554591802953 |
| DRESDEN/tttcc4/sAvtFg | 14.26119431524548 | 429.23333333333335 | 30.097993467102192 |
| DRESDEN/bidding-tictactoe/yW5vTA | 14.29515963806754 | 1965.7333333333333 | 137.51041493084486 |
| BASE/ttcc4/Le0qjQ | 14.337569206167386 | 423.8858704709843 | 29.564695686954202 |
| BASE/chineseCheckers4/avfBcQ | 14.391283933676386 | 838.9 | 58.29222770297294 |
| BASE/tttcc4/8Bs2lg | 14.55612875096048 | 426.35245491816937 | 29.290236587804067 |
| BASE/pawnToQueen/-O1_JA | 14.734626148105624 | 18.88992537313433 | 1.282009138424115 |
| DRESDEN/god/2EDD5w | 14.846742882006033 | 50.37816945990071 | 3.3932135728542914 |
| BASE/biddingTicTacToe/8mESVw | 15.42956232419128 | 1950.1666666666667 | 126.39157389507366 |
| BASE/gt_centipede/9fRMpw | 15.501178591236826 | 7452.966666666666 | 480.8 |
| DRESDEN/pawntoqueen/f_x6Aw | 15.5070585161598 | 19.48960554371002 | 1.2568215644121052 |
| BASE/copolymer_4_pie/IN5_jA | 15.85986394557823 | 777.1074297523415 | 48.9983667211093 |
| STANFORD/chinook/osFbPA | 15.891744775942184 | 344.2885237158761 | 21.664614463043694 |
| DRESDEN/knightstour/cGISAA | 15.966843584139868 | 8523.633333333333 | 533.8333333333334 |
| BASE/chess_200/XsTpYA | 16.43466832850874 | 53.763082461169255 | 3.2713214155899943 |
| DRESDEN/knightthrough/J7Fc_Q | 16.446849207590517 | 555.348155061498 | 33.76623376623377 |
| BASE/chineseCheckers2/eCMR3Q | 16.650279025016037 | 1730.0 | 103.90216268452798 |
| BASE/chinook/XQh0IQ | 16.691087352941175 | 378.06666666666666 | 22.65081109889744 |
| BASE/copolymer_4/2LDVhQ | 16.861948990907074 | 844.3333333333334 | 50.073294243070364 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 16.926324678066283 | 400.88663711209625 | 23.68421052631579 |
| BASE/queens12ug/u6Bkmg | 17.027230958366307 | 217.17828217178283 | 12.754762221926201 |
| BASE/chineseCheckers1/gqtwHw | 17.230921104387292 | 2277.7 | 132.1867813218678 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 17.652917843583904 | 516.3666666666667 | 29.251066098081022 |
| BASE/dotsAndBoxes/EHwA_w | 18.05999206349206 | 530.4333333333333 | 29.37062937062937 |
| DRESDEN/Goldrush/VeWczQ | 18.533164366920253 | 775.740808639712 | 41.856900056653444 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 18.704526551090208 | 110.655601106556 | 5.915979792608349 |
| BASE/checkersTorusNoKings/pwb6oQ | 18.914519964188553 | 435.98973435989734 | 23.050531294760333 |
| BASE/checkersBarrelNoKings/rnKNeg | 19.16873407202216 | 460.8666666666667 | 24.04262404262404 |
| BASE/ruleDepthLinear/OUBJpQ | 19.37593833239164 | 16003.233333333334 | 825.9333333333333 |
| BASE/checkersTorus/2vm1EQ | 19.484773199028112 | 376.24158389440703 | 19.309518260811664 |
| BASE/chineseCheckers3/-1rZdQ | 20.056767884528643 | 1481.8 | 73.88029858704346 |
| BASE/chineseCheckers6/rREH3A | 20.52287238573529 | 911.0029665677811 | 44.38964241676942 |
| BASE/ttcc4_2player/_aH_Mw | 20.64058245475943 | 428.93807079528034 | 20.781296832850433 |
| BASE/queens06ug/7Lq3tw | 20.72239202801371 | 1544.6333333333334 | 74.53933557695511 |
| STANFORD/ttcc4/Cx9SGw | 20.975866376593416 | 468.1177294090197 | 22.316967557124777 |
| BASE/queens08ug/kJ_ZFQ | 21.206042162162163 | 784.4666666666667 | 36.99260147970406 |
| DRESDEN/gt_prisoner/huCp4w | 23.640882690211466 | 4819.266666666666 | 203.85307646156923 |
| BASE/roshambo2/KNPokQ | 26.263328946716232 | 8242.033333333333 | 313.8228725709143 |
| BASE/ttcc4_2player_alt/ZEJvYA | 26.296053938356163 | 511.3 | 19.44398202097553 |
| BASE/sheepAndWolf/g4THrg | 26.77355893965031 | 526.6666666666666 | 19.671148981493808 |
| BASE/2pttc/unkkYA | 26.966195355484103 | 837.8666666666667 | 31.071000399627014 |
| STANFORD/knightstourmedium/x1wu8Q | 27.076089704927 | 8798.533333333333 | 324.95583480550647 |
| DRESDEN/roshambo2/jgSlkQ | 27.081582286081925 | 8418.2 | 310.84594360375974 |
| BASE/skirmishNew/sibw2g | 27.5947577390423 | 151.95653623091795 | 5.506717531929009 |
| DRESDEN/pacman3p/rBnk8Q | 27.627502624294323 | 619.9126695776807 | 22.438244889806246 |
| BASE/gt_coordination/IVMOzA | 28.07660828286135 | 5717.333333333333 | 203.63333333333333 |
| DRESDEN/gt_chicken/CeuKtw | 28.30804848610249 | 4559.666666666667 | 161.0731544742543 |
| BASE/pacman2p/4LEdQg | 29.30225089881869 | 633.1666666666666 | 21.608123855501916 |
| BASE/pacman3p/wW7UVQ | 29.421861722731908 | 641.0333333333333 | 21.787653662924342 |
| BASE/knightsTour/mvtVIg | 29.627031587797262 | 8221.666666666666 | 277.5055827750558 |
| BASE/kitten_escapes_from_fire/uW-YiA | 30.674531152647976 | 2296.8333333333335 | 74.8775367389783 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 30.754310895741554 | 2326.5333333333333 | 75.64901522977972 |
| STANFORD/knightstour/cEwgNA | 31.048422613486647 | 8640.2 | 278.2814479034731 |
| BASE/amazons_8x8/7SOsIw | 31.28616715793209 | 295.4371229543712 | 9.44305901911887 |
| BASE/bomberman2p/4CClwA | 31.5331214953271 | 898.6666666666666 | 28.49913437208683 |
| DRESDEN/bomberman2p/x4h6jQ | 32.173812282734644 | 925.5333333333333 | 28.766666666666666 |
| BASE/gt_prisoner/klthDw | 32.893920155038764 | 5091.3 | 154.7793627516331 |
| BASE/speedChess/bPnisA | 33.866852297566126 | 171.25524965002333 | 5.0567217804983535 |
| BASE/3pttc/0sol9g | 34.87732919254658 | 748.6750441651945 | 21.465951134962168 |
| DRESDEN/quad_5x5/JAEP5g | 34.95237422272471 | 70.19704433497537 | 2.008362690547526 |
| BASE/knightwar/DVGY4Q | 35.274412001463595 | 1070.6666666666667 | 30.352502165656027 |
| BASE/quad_5x5/JAEP5g | 35.99459111111111 | 71.73333333333333 | 1.992892018467466 |
| BASE/gt_chicken/gmepTQ | 36.07085144739123 | 4623.666666666667 | 128.18290894547394 |
| BASE/gt_staghunt/xPjLRA | 36.476735636038455 | 5438.5 | 149.09503016566114 |
| BASE/mummymaze2p/vpjDdA | 36.551768391861245 | 552.7815739475351 | 15.123251165889407 |
| DRESDEN/mummymaze2p/k-8edg | 37.008614692982455 | 562.1 | 15.188355594044566 |
| BASE/connect5/d-BVQg | 38.32818464223386 | 243.93333333333334 | 6.364333077871447 |
| DRESDEN/smallest/9kaGFw | 40.483212627291245 | 1324.4 | 32.7147949495286 |
| BASE/mummyMaze2p_2007/YGA3Vw | 40.91123639494834 | 1187.4333333333334 | 29.02462594554967 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 41.18429930069931 | 1177.4 | 28.58856457417033 |
| DRESDEN/connect5/1kYzSg | 42.251051381215476 | 251.96666666666667 | 5.963559685018615 |
| BASE/4pttc/AL1k2Q | 43.7606004606048 | 626.2124595846805 | 14.309960398016573 |
| STANFORD/platformjumpers/HEQskA | 44.71405280279477 | 238.858704709843 | 5.3419157901722025 |
| BASE/knightThrough/gcwFjA | 46.31791907514451 | 534.1821939268691 | 11.532948901703277 |
| DRESDEN/Runners/3bOCQw | 47.800187456971756 | 11262.566666666668 | 235.6176254916339 |
| DRESDEN/battle/8oAvhQ | 51.105082268422926 | 48.385484354693595 | 0.9467841984982044 |
| BASE/battle/8oAvhQ | 51.67184449608121 | 48.03013132457836 | 0.9295222919363941 |
| DRESDEN/smallest_4player/ADDROA | 54.847779721496956 | 2099.9 | 38.28596181400153 |
| BASE/amazonsSuicide_10x10/XIbQkg | 55.26571972222222 | 220.23333333333332 | 3.9849898714840766 |
| BASE/smallest_4player/ADDROA | 55.48685187901008 | 2017.2666666666667 | 36.35575993868506 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 57.953757275426874 | 1733.7666666666667 | 29.916380717593363 |
| BASE/amazons_10x10/Bun8dA | 58.29920029498525 | 218.23333333333332 | 3.7433332229105245 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 62.68394468599034 | 1728.8666666666666 | 27.58069351453982 |
| BASE/checkers-mustjump-torus/uSApKQ | 63.8094261674201 | 93.08758832155712 | 1.458837571698551 |
| DRESDEN/ghostmaze2p/HY0UwA | 65.41613071895425 | 2111.5333333333333 | 32.278481012658226 |
| BASE/ghostMaze2p/W-NU-w | 68.71789793478261 | 2105.0333333333333 | 30.632970399227517 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 76.22405834335436 | 97.63007899736675 | 1.2808302407304017 |
| BASE/knightsTourLarge/M8jgLA | 78.16717380729654 | 8354.4 | 106.87862427514497 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 78.8832852182294 | 96.51724712547909 | 1.2235449735449735 |
| DRESDEN/four_way_battle/xSOQXA | 80.40125324978334 | 132.65782281181254 | 1.649947201689546 |
| BASE/gt_attrition/kD_SCA | 80.85968901878366 | 19.99868645737554 | 0.24732578989674148 |
| BASE/four_way_battle/xSOQXA | 81.95082152974504 | 135.97733711048159 | 1.659255326209597 |
| BASE/ruleDepthExponential/UamhHQ | 82.58370066557683 | 9.253853339560953 | 0.1120542342493767 |
| BASE/amazonsTorus_10x10/Uxc08g | 83.7536688405797 | 128.36666666666667 | 1.532669176690101 |
| BASE/checkers-mustjump/T-8UuQ | 95.38359949405195 | 118.3960534648845 | 1.2412621676357223 |
| DRESDEN/snake_2008/E56l3A | 96.97161510738313 | 493.65021165961133 | 5.090667110297788 |
| BASE/snake_2008_tweaked/bX0NJQ | 97.30162284064214 | 490.21699276690777 | 5.038117335101094 |
| BASE/snake_2008/i6K26g | 98.62151196267313 | 502.28325722475915 | 5.0930395126660235 |
| BASE/kalaha5x2x3/WviNsw | 100.95308823529413 | 1658.1666666666667 | 16.42512077294686 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 103.94988888888889 | 620.0 | 5.964412339706418 |
| STANFORD/knightstourbig/TQUI2g | 107.29448379045131 | 8214.633333333333 | 76.56156256249584 |
| DRESDEN/battlebrushes/QHXV4A | 113.49990080021162 | 20.10449044375372 | 0.1771322292091046 |
| BASE/wargame02/BkVqqQ | 124.8983889489839 | 273.77262273772624 | 2.191962803055463 |
| DRESDEN/hitori/S8Gsyg | 128.7367137692823 | 37.996603283492625 | 0.2951497064900141 |
| DRESDEN/nim4/F5YAYg | 134.27672998236332 | 4228.166666666667 | 31.488454233447737 |
| BASE/nim4/twk16w | 136.45461361702127 | 4271.733333333334 | 31.305158690511874 |
| BASE/nim3/1OwUqw | 137.51202018479034 | 4295.533333333334 | 31.23751165578793 |
| BASE/hitori/S8Gsyg | 137.67905815828422 | 39.85819362533961 | 0.28950077200205865 |
| DRESDEN/nim3/sG_axA | 139.1127181425486 | 4291.8 | 30.851241046143596 |
| DRESDEN/knightfight/4_Ly4w | 159.9158023875115 | 1932.5333333333333 | 12.084692722551434 |
| BASE/knightfight/SJRkAg | 160.35473825136611 | 1952.0333333333333 | 12.173218918379565 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 176.21044832580992 | 97.16437306321015 | 0.5514109633473889 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 177.87025853028405 | 97.23749541804125 | 0.5466765282824709 |
| DRESDEN/nim2/z5_exA | 185.4352967032967 | 5620.0 | 30.30706720841937 |
| BASE/nim1/hin2Qw | 188.63396382428942 | 5674.666666666667 | 30.082952993303795 |
| BASE/nim2/eF2Qqw | 191.52962688888888 | 5743.4 | 29.98700563089328 |
| BASE/wargame03/klXI8w | 195.09762898613764 | 394.62017932735574 | 2.022680549108031 |
| DRESDEN/gt_ultimatum/pAiiQw | 202.21267148362233 | 4660.333333333333 | 23.046692866182642 |
| BASE/gt_ultimatum/GE-uOA | 207.27573588516748 | 4328.6 | 20.883293365307754 |
| DRESDEN/nim1/M9BALA | 209.09428621468925 | 6163.966666666666 | 29.479364444888578 |
| BASE/crossers3/O0rORg | 213.48826020408163 | 693.1666666666666 | 3.246860815690952 |
| DRESDEN/chinesecheckers2/06E6-Q | 217.18246757575758 | 795.5666666666667 | 3.6631256452096306 |
| DRESDEN/crossers3/xiPTxg | 221.08245714285715 | 718.4666666666667 | 3.2497678737233056 |
| BASE/wargame01/_GZFZg | 223.8619213930348 | 495.43333333333334 | 2.213120169122019 |
| DRESDEN/hanoi/RQ0jiA | 229.97580046656296 | 4925.7 | 21.418340494986843 |
| BASE/hanoi/iGLsJg | 230.7399476339054 | 4926.366666666667 | 21.35029810478633 |
| DRESDEN/quartosuicide/WIU1oQ | 231.18360382513663 | 937.8333333333334 | 4.056660238079404 |
| DRESDEN/quarto/OQzRYQ | 232.25977438016528 | 930.3 | 4.0054288457082325 |
| BASE/quartoSuicide/-23jUg | 234.93177166666663 | 935.3 | 3.9811558622520073 |
| BASE/quarto/EwBMVQ | 241.05828678160918 | 924.6333333333333 | 3.8357251504530123 |
| BASE/checkers/rOC3Xg | 291.9488654726002 | 220.9259691343622 | 0.7567283016384813 |
| BASE/checkers-newgoals/0XkFiA | 323.9817244187099 | 143.12856238125397 | 0.4417797412432944 |
| DRESDEN/knightmove/97Ipcw | 329.14938771929826 | 830.6333333333333 | 2.5235755080355955 |
| BASE/skirmishZeroSum/zh4hcw | 331.2559868978585 | 152.70279277477837 | 0.4609812314784327 |
| BASE/knightmove/jBaJEw | 332.52994666666666 | 826.3666666666667 | 2.485089463220676 |
| BASE/kalaha6x2x4/XS81Mg | 345.33674202898555 | 1578.1333333333334 | 4.569839062189549 |
| BASE/checkersSmall/SYmq8w | 379.76605416666666 | 292.7 | 0.77073766016892 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 420.80770805755805 | 92.42717152189854 | 0.21964229683087544 |
| BASE/guess/SPpk1A | 426.8085592105263 | 1076.8333333333333 | 2.5229890781130697 |
| DRESDEN/guess/PhxGhg | 430.61533992971897 | 1100.659956002933 | 2.5560165975103732 |
| BASE/max_knights/2fq3Ag | 453.222862745098 | 502.3333333333333 | 1.1083583257269527 |
| BASE/cylinder-checkers/hlldmw | 462.74496733768825 | 131.9824023463538 | 0.2852162890191729 |
| DRESDEN/cylinder-checkers/clOO3Q | 473.1570058775819 | 131.12896236792108 | 0.27713625866050806 |
| DRESDEN/max_knights/hCipiA | 480.68714166666666 | 501.46666666666664 | 1.04322879311469 |
| DRESDEN/checkers-mustjump/HUr33w | 512.0456082046203 | 116.81775763231569 | 0.2281393605579637 |
| BASE/checkersTiny/Lr48cg | 517.5251255513705 | 407.3530882303923 | 0.7871175100849431 |
| DRESDEN/checkers-newgoals/IJOqXQ | 522.715269677276 | 143.4760873187802 | 0.274482295891915 |
| DRESDEN/chinesecheckers4/-oVNYg | 550.8643362318841 | 410.53333333333336 | 0.7452530620180157 |
| BASE/ad_game_2x2/D0aWqg | 673.3577079040085 | 17.948547497174765 | 0.02665529374133703 |
| DRESDEN/pancakes88/aD3E7g | 860.6288664495114 | 8786.6 | 10.209511140671767 |
| DRESDEN/merrills/aYEzwA | 1064.2863796659792 | 20.892940315390245 | 0.01963093835885355 |
| DRESDEN/pancakes/hl9aiQ | 1087.6683466237942 | 11245.133333333333 | 10.33875203616901 |
| DRESDEN/pancakes6/SZXMyQ | 1121.7459045751634 | 11437.233333333334 | 10.195921631347462 |
| BASE/pancakes/yUgbXw | 1158.0090616487457 | 10738.7 | 9.273416206873629 |
| BASE/merrills/pku8Tg | 1195.7020391869867 | 21.190246498785804 | 0.017722012511740833 |
| BASE/pancakes6/QZTdnw | 1217.3586564848486 | 11157.633333333333 | 9.165444607385682 |
| BASE/blobwars/0XT15Q | 1486.4023131020228 | 207.5459120754591 | 0.13962970203021588 |
| DRESDEN/blobwars/ZaMluQ | 1516.4835210985934 | 211.28591427238183 | 0.13932621840777998 |
| DRESDEN/fizzbuzz/t1xHzQ | 1833.2225094017092 | 11864.533333333333 | 6.471954862263525 |
| DRESDEN/chinesecheckers3/QsCb2A | 1878.8995555555557 | 718.9666666666667 | 0.3826530612244898 |
| DRESDEN/hanoi_6_disks/MeubgQ | 1888.6701777777778 | 3776.3333333333335 | 1.999466808850973 |
| BASE/hanoi_6_disks/MeubgQ | 1914.6977192982456 | 3605.0 | 1.8828037259694788 |
| BASE/racer4/0vs7Ww | 2397.38388720376 | 665.0778307389754 | 0.27741816164231553 |
| BASE/colonelBlotto/jip21A | 3143.4907636363637 | 1130.9 | 0.3597592883307169 |
| DRESDEN/checkers/jIDMIg | 4990.515747375438 | 142.47625395767372 | 0.028549404744911067 |
| BASE/pancakes88/l2Xaig | 7492.12548627451 | 8486.266666666666 | 1.1326914748309291 |
| BASE/colonelBlottoVariant2/jruwGw | 9979.595421428572 | 4364.3 | 0.43732233780026863 |
| BASE/colonelBlottoVariant/X-n-KQ | 10799.675757142855 | 4909.9 | 0.45463401961421057 |
| BASE/gt_tinfoil/Q8DyKg | 13502.992426666666 | 6631.466666666666 | 0.4911108928396032 |
| BASE/crisscross/ICagEg | 14603.875 | 812.5 | 0.05563591854901524 |
| DRESDEN/crisscross/GsY16g | 14797.19185 | 820.7666666666667 | 0.05546773164711429 |
| DRESDEN/hanoi7/51zz5Q | 15337.494303703706 | 4323.533333333334 | 0.28189306856265856 |
| BASE/solitaireChineseCheckers/-ET6gw | 15865.3978 | 1016.1333333333333 | 0.06404713869407884 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 15984.692655555556 | 4508.233333333334 | 0.2820344081978001 |
| BASE/hanoi7_bugfix/3gdnFw | 16461.378992592592 | 4524.566666666667 | 0.2748595162472514 |
| DRESDEN/racer/vk_ZBA | 18667.530000000002 | 1499.4 | 0.08032128514056225 |
| BASE/racer/QQYQNw | 19222.89893333333 | 1527.5666666666666 | 0.07946598855689765 |
| DRESDEN/twisty-passages/j7NPyg | 20646.01196666667 | 1065.1333333333334 | 0.051590270075063845 |
| BASE/crissrace/ERWGDA | 21089.590266666666 | 600.4666666666667 | 0.02847218267752406 |
| DRESDEN/crissrace/KWb9bw | 21704.201726609113 | 607.2464251191627 | 0.027978288847854065 |
| BASE/twisty-passages/DiZmmg | 21908.889450000002 | 1153.4333333333334 | 0.052646818815973044 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 33207.555911111114 | 9010.733333333334 | 0.27134587554269174 |
| DRESDEN/kalaha_2009/gcC8uA | 36014.2685 | 1579.4 | 0.04385484047801776 |
| BASE/kalaha_2009/dRiN3g | 36947.515766666664 | 1635.5333333333333 | 0.04426639516610965 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 40193.3539 | 3027.9 | 0.07533335007407779 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 42387.288733333335 | 3043.5333333333333 | 0.07180297264306743 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 45687.517 | 2267.9333333333334 | 0.04964010920824026 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 59768.775 | 3410.0 | 0.057053202110968475 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Infinity | 209.77902209779023 | 0.0 |
| DRESDEN/chinesecheckers6/yTbPDA | Infinity | 537.5 | 0.0 |
| 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: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/queens/mW2wHQ | IllegalArgumentException: too many occurrences: 2147483765 | |
| 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 | |
| DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | |
| BASE/queens/HyJJnQ | IllegalArgumentException: too many occurrences: 2147483765 | |
| BASE/mummymaze1p/PT_EXA | Test process timed out after 240 seconds | |
| DRESDEN/vacuumcleaner_obstacles_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 |