Game-by-game performance:
| Game | Perf ratio | PALAMEDES_JAVA_ECLIPSE:0.6.1 states per second | REKKURA_GENERIC_FORWARD_PROVER:1.0.0 states per second |
| BASE/queens08lg/Ru7eqQ | 5.732586388077595E-4 | 0.024117306579201234 | 42.070550614569804 |
| DRESDEN/golden_rectangle/1uloXw | 0.06570901727161063 | 4.216047538425787 | 64.16238917405506 |
| BASE/queens08ug/kJ_ZFQ | 0.23242994260958336 | 8.598188238906802 | 36.99260147970406 |
| BASE/queens06ug/7Lq3tw | 0.33764884253451816 | 25.168120380850922 | 74.53933557695511 |
| BASE/sudokuGrade6H/ieE_9A | 0.36016626194875295 | 44.665177827405756 | 124.01266455590735 |
| BASE/sudokuGrade6E/ihYFZA | 0.36362845690597 | 44.174967518406234 | 121.48380215971204 |
| BASE/simultaneousWin2/PfjRjw | 0.4305893171276691 | 209.5247617143238 | 486.6 |
| STANFORD/sudoku/oJ1qyQ | 0.44590125290137916 | 53.85948540194641 | 120.78792120787921 |
| BASE/sudokuGrade3/eI8dvg | 0.4608704541326067 | 56.36666666666667 | 122.30479554770554 |
| BASE/sudokuGrade4/DTy07w | 0.4736999973688596 | 57.590401599733376 | 121.57568486302739 |
| BASE/sudokuGrade5/BQfUQA | 0.47468816089327565 | 58.79412058794121 | 123.8584094393707 |
| BASE/sudokuGrade2/u80Tfw | 0.49297735853160757 | 60.28912131103857 | 122.2959234692177 |
| BASE/zhadu/DlA8iQ | 0.5035802365338266 | 11.481629392971247 | 22.8 |
| BASE/sudokuGrade1/tDRNRw | 0.5300753133864031 | 64.36666666666666 | 121.42928569047699 |
| BASE/golden_rectangle/_nYzfw | 0.5986743217541067 | 63.04775234096438 | 105.3122708791575 |
| STANFORD/duidoku/3SoMaA | 0.6557208210488381 | 50.41316806610689 | 76.88206085246776 |
| BASE/cittaceot/fDxhXg | 1.057328844620355 | 238.32538915369489 | 225.40327956272498 |
| DRESDEN/doubletictactoe/lJzgmQ | 1.3660634064946733 | 1773.8333333333333 | 1298.5 |
| DRESDEN/bunk_t/7-tPfA | 1.3755000259753754 | 1765.1333333333334 | 1283.2666666666667 |
| BASE/doubletictactoe/HH1htg | 1.387131047707896 | 1784.2666666666667 | 1286.3 |
| BASE/doubletoetictac/fu35bg | 1.3983683848069077 | 1759.8 | 1258.4666666666667 |
| BASE/bunk_t/xbpfIA | 1.4034974926064034 | 1819.1666666666667 | 1296.1666666666667 |
| DRESDEN/doubletoetictac/V89gKQ | 1.4557845205257183 | 1794.4 | 1232.6 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 1.6469143562828035 | 177.8 | 107.95946936870875 |
| BASE/blokbox_simple/JBx4bg | 1.7717076417162543 | 7.281553398058253 | 4.1099068642073515 |
| DRESDEN/cubicup_3player/awDtsQ | 1.8586459586696011 | 337.76666666666665 | 181.72727575747476 |
| BASE/quad/tw-Ufg | 1.88461911468609 | 10.087558677630922 | 5.352571561554573 |
| STANFORD/multiplesukoshi/vLSQPg | 1.9674920179450721 | 241.61722551829877 | 122.80467890825474 |
| STANFORD/selectivesukoshi/3xmXYg | 1.9708594279042615 | 262.56666666666666 | 133.22445170321978 |
| BASE/cubicup_3player/e2yA_g | 1.9860649951597287 | 341.9 | 172.14945172149453 |
| DRESDEN/latenttictactoe/kITHKg | 2.313342226335992 | 2832.5333333333333 | 1224.4333333333334 |
| BASE/ticTacHeaven/18n58A | 2.316759575615896 | 858.9 | 370.73333333333335 |
| DRESDEN/ticblock/Z2yNWQ | 2.4238705772299567 | 2936.6 | 1211.5333333333333 |
| DRESDEN/quad/JPe6fg | 2.428703189471822 | 13.062312562479173 | 5.3783074931111186 |
| BASE/lightsOnSimultaneous/_VN6lw | 2.517162510107301 | 1279.7666666666667 | 508.4163861204627 |
| BASE/blockerParallel/7-nDJA | 2.533817158259684 | 1079.9973334222193 | 426.23333333333335 |
| DRESDEN/blockerparallel/dVQgSg | 2.539927547645299 | 1075.03083230559 | 423.2525582480584 |
| BASE/factoringGeorgeForman/HGRorQ | 2.5443068033403256 | 8571.6 | 3368.9333333333334 |
| DRESDEN/tictactoeparallel/yk_DSg | 2.5483726083181124 | 2836.9333333333334 | 1113.2333333333333 |
| BASE/ticTacHeavenFC/mrletw | 2.629333911924118 | 842.4385853804873 | 320.4 |
| BASE/double_tictactoe_dengji/zgaSbA | 2.7074512827702226 | 2574.9666666666667 | 951.0666666666667 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 2.842785844781026 | 1345.0666666666666 | 473.15089497016766 |
| BASE/withConviction/3Xm54A | 2.867498266181046 | 1679.5333333333333 | 585.713809539682 |
| DRESDEN/sheep_and_wolf/enAIzQ | 2.873641168844121 | 960.4666666666667 | 334.23333333333335 |
| BASE/ticTacToeSerial/Amrwqw | 2.883273331487123 | 1388.2 | 481.46666666666664 |
| BASE/majorities/ibJzSQ | 2.9041429428616667 | 288.8948140247967 | 99.47678874929183 |
| BASE/ticblock/T21C1g | 2.9355277565782925 | 2948.9333333333334 | 1004.5666666666667 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 2.9407379086216787 | 2563.8333333333335 | 871.8333333333334 |
| DRESDEN/chickentictactoe/Ipbo-g | 2.947692753833327 | 5421.2 | 1839.1333333333334 |
| BASE/blockerSerial/3eqDuw | 2.9526359682927596 | 1047.0333333333333 | 354.60969268715417 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 3.0412649219467403 | 3532.733333333333 | 1161.6 |
| DRESDEN/lightsout/XgLpzQ | 3.082130779790404 | 3068.4666666666667 | 995.5666666666667 |
| BASE/lightsOnSimul4/9FeASw | 3.113949127803489 | 1166.2 | 374.50836610892605 |
| DRESDEN/tictactoelarge/IwXcbg | 3.1398323647089748 | 3583.7 | 1141.3666666666666 |
| DRESDEN/blocker/S815zQ | 3.1566540948275867 | 3905.8333333333335 | 1237.3333333333333 |
| BASE/conn4/va9Y7A | 3.1917974774464173 | 1234.3333333333333 | 386.7204426519116 |
| BASE/catcha_mouse/cHv4dw | 3.223486148919135 | 1207.8 | 374.68751041631947 |
| DRESDEN/catcha_mouse/cHv4dw | 3.2260048510048507 | 1241.3666666666666 | 384.8 |
| DRESDEN/slidingpieces/s9_44g | 3.2320598864223027 | 834.7333333333333 | 258.26666666666665 |
| DRESDEN/sum15/CsgWKg | 3.25705790616665 | 7449.0 | 2287.0333333333333 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 3.273483058498742 | 12.35726575942437 | 3.7749594357429053 |
| DRESDEN/lightsout2/LFtfyQ | 3.3029225773372075 | 3220.9 | 975.1666666666666 |
| BASE/slidingpieces/uFJWEw | 3.3217905799002887 | 843.9 | 254.0497300179988 |
| BASE/cubicup/4wNWJA | 3.3345713861239044 | 748.1417286090464 | 224.35918802706576 |
| BASE/lightsOnParallel/SC6enA | 3.381941225549272 | 4864.133333333333 | 1438.2666666666667 |
| BASE/sum15/QZ07Kg | 3.410419099121244 | 7399.7 | 2169.733333333333 |
| DRESDEN/cubicup/SBn_lw | 3.4252308608876976 | 766.5666666666667 | 223.8 |
| DRESDEN/tictactoex9/rFkD4w | 3.467688074893776 | 825.1666666666666 | 237.95873470884302 |
| DRESDEN/towerworld/HCX34w | 3.5050878935593457 | 60.1325915314655 | 17.155801325826975 |
| BASE/tictactoex9/BI26ow | 3.518116452840829 | 831.8 | 236.43333333333334 |
| DRESDEN/lightson2x2/gBHuig | 3.543903602958721 | 5941.0 | 1676.4 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 3.5447432762836186 | 724.9 | 204.5 |
| BASE/blocks2player/wnTLOQ | 3.609107398568019 | 6300.9 | 1745.8333333333333 |
| BASE/tictactoe_3d_small_6player/g_9lww | 3.722605733022153 | 743.9752008266391 | 199.8533431104593 |
| BASE/futoshiki6/JmvXNA | 3.79211883592199 | 504.91650278324056 | 133.1489134782029 |
| DRESDEN/blocks2player/3ev8nQ | 3.7966887032046683 | 6527.9 | 1719.3666666666666 |
| BASE/blocker/dIWtxg | 3.8573320413436694 | 3980.766666666667 | 1032.0 |
| DRESDEN/brain_teaser_extended/ZDp94A | 3.8690602817635185 | 5941.2 | 1535.5666666666666 |
| DRESDEN/chickentoetictac/cxYaRQ | 3.87758082271798 | 5753.166666666667 | 1483.7 |
| BASE/eotcatcit/AfZSzA | 3.8843008352660124 | 7425.1 | 1911.5666666666666 |
| STANFORD/duikoshi/tpw1sw | 3.8911043821059246 | 2270.2 | 583.4333333333333 |
| DRESDEN/grid_game2/kypTYQ | 3.9018145077720203 | 1656.6 | 424.57169522031865 |
| DRESDEN/tictactoe/BTTzPw | 3.911033045349111 | 7756.1 | 1983.1333333333334 |
| BASE/brain_teaser_extended/ZDp94A | 3.924443469678693 | 5964.5 | 1519.8333333333333 |
| STANFORD/triplesukoshi/Iu9mbA | 3.9447316280566285 | 1225.9 | 310.7689231076892 |
| STANFORD/multipletictactoe/_bkafQ | 3.949590102827763 | 614.4333333333333 | 155.56888622275545 |
| BASE/tictactoe2/bhrDoQ | 3.9544636403577145 | 9300.766666666666 | 2351.9666666666667 |
| BASE/firefighter/WJmoPw | 4.012964620842866 | 4034.233333333333 | 1005.3 |
| DRESDEN/firefighter/WJmoPw | 4.05181467694762 | 4063.7 | 1002.9333333333333 |
| DRESDEN/eotcatcit/mQUxzA | 4.1345106211838685 | 7538.866666666667 | 1823.4 |
| BASE/chickentoetictac/l57rfQ | 4.142643099613719 | 5898.433333333333 | 1423.8333333333333 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 4.437650259395166 | 4676.1 | 1053.7333333333333 |
| BASE/quad_7x7/q-JOXg | 4.589374155873634 | 78.15931323617488 | 17.03049491751375 |
| BASE/lightsOut/5P1ZBw | 4.6400140894681225 | 3073.7 | 662.4333333333333 |
| STANFORD/dualrainbow/G3OnRQ | 4.6416953450461875 | 4271.133333333333 | 920.1666666666666 |
| DRESDEN/connect4/T0-rHQ | 4.7626159460549715 | 834.6443570428638 | 175.24914175249143 |
| DRESDEN/peg/Vo31eg | 4.767783843152064 | 1683.2333333333333 | 353.0431304579695 |
| BASE/coloredtrails/EZvr7g | 4.8083549222797926 | 2474.7 | 514.6666666666666 |
| BASE/tictactoe_3d_6player/d7KSwg | 4.828870643334511 | 207.30569257432342 | 42.93047130191321 |
| BASE/connect4/50bOyw | 4.83250382848392 | 841.4719509349688 | 174.12752908236394 |
| DRESDEN/javastrike/whONTQ | 4.862307360740787 | 530.3156561447952 | 109.06666666666666 |
| DRESDEN/peg_bugfixed/u_B7MA | 4.877082136703044 | 1698.2 | 348.2 |
| DRESDEN/quad_7x7/q-JOXg | 4.942545428026021 | 86.5439046318804 | 17.509986684420774 |
| BASE/chickentictactoe/DSlZCA | 4.95987996037527 | 5674.433333333333 | 1144.0666666666666 |
| BASE/futoshiki5/TJ4BZg | 4.96392357081545 | 963.7 | 194.14078122916945 |
| BASE/hidato37/pBrqxw | 4.986039217722358 | 87.73040898636712 | 17.595210377515382 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 5.045399215544836 | 3730.4 | 739.3666666666667 |
| DRESDEN/statespacelarge/8-y5HQ | 5.139279183909152 | 7120.3 | 1385.4666666666667 |
| BASE/ticTacToeLarge/TZC0dg | 5.149711087123393 | 3577.9 | 694.7768407719743 |
| BASE/ticTacToeLargeSuicide/727_8g | 5.1668667466986795 | 3586.6666666666665 | 694.1666666666666 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 5.226971260132646 | 5437.966666666666 | 1040.3666666666666 |
| BASE/stateSpaceLarge/0Ge_CQ | 5.2499328137597425 | 7162.833333333333 | 1364.3666666666666 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 5.275038418726958 | 201.49303472638806 | 38.197453503099794 |
| BASE/lightsOn/MsXu3A | 5.388687380733877 | 12330.933333333332 | 2288.3 |
| DRESDEN/toetictac/mJtxCA | 5.478205438199284 | 8307.333333333334 | 1516.4333333333334 |
| DRESDEN/snake_2009_big/DgC1NQ | 5.536794544277158 | 759.9666666666667 | 137.25751616558895 |
| BASE/toetictac/mTThmg | 5.545657363407179 | 8285.766666666666 | 1494.1 |
| BASE/snake_2009_big/-oRfVw | 5.555019215969216 | 769.9 | 138.59538015399485 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 5.620262390670555 | 2570.3333333333335 | 457.3333333333333 |
| BASE/ticTacToeParallel/ymRGPw | 5.65950324697061 | 2817.866666666667 | 497.9 |
| DRESDEN/pawn_whopping/4ogBkg | 5.709045393559928 | 3829.5 | 670.7776407453085 |
| DRESDEN/point_grab/r5DPmQ | 5.755470744219474 | 7741.3 | 1345.0333333333333 |
| BASE/tictactoe_orthogonal/WRzlVw | 5.757447463628666 | 7479.5 | 1299.1 |
| BASE/tpeg/QNs7Lw | 5.78380093398965 | 2036.5333333333333 | 352.1098593427105 |
| DRESDEN/circlesolitaire/ruUilQ | 5.867308912147162 | 9866.466666666667 | 1681.6 |
| BASE/incredible/8Qh-6Q | 5.879198632587351 | 4930.1 | 838.5666666666667 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 5.942964587903479 | 7585.6 | 1276.4 |
| STANFORD/dualhunter/1rPZjQ | 5.9492137031260155 | 2034.1666666666667 | 341.9219359354688 |
| BASE/circlesolitaire/azuQFQ | 5.951345672027802 | 9818.133333333333 | 1649.7333333333333 |
| BASE/stateSpaceMedium/3bUoIw | 5.983705835117774 | 11922.733333333334 | 1992.5333333333333 |
| BASE/ticTacToeNoVars/XT03NA | 6.000486212405362 | 8638.9 | 1439.7 |
| DRESDEN/tpeg/h-Scbg | 6.129758128469469 | 2061.233333333333 | 336.26666666666665 |
| STANFORD/tictactoe/ss1kyQ | 6.183174734519377 | 7472.366666666667 | 1208.5 |
| DRESDEN/statespacemedium/dVJZ_w | 6.213849252695543 | 12236.933333333332 | 1969.3 |
| BASE/eotcitcit/V_9_bg | 6.2919766114244196 | 6061.9 | 963.4333333333333 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 6.304132582097645 | 8913.833333333334 | 1413.9666666666667 |
| STANFORD/trifecta/ss1kyQ | 6.313633348076073 | 7613.4 | 1205.8666666666666 |
| DRESDEN/tictictoe/LAUtwg | 6.331614644612085 | 6099.033333333334 | 963.2666666666667 |
| BASE/numbertictactoe/rvJ-iQ | 6.409426910299003 | 5144.633333333333 | 802.6666666666666 |
| BASE/ticTacToe/JRFsaQ | 6.434092171016101 | 7725.2 | 1200.6666666666667 |
| DRESDEN/stratego/Z2wovg | 6.717476607304558 | 1483.6666666666667 | 220.86666666666667 |
| DRESDEN/tictactoe_3player/ESLQQQ | 6.797704900181488 | 1747.8 | 257.11619225384976 |
| BASE/hidato19/rRHSmA | 7.1047526673132895 | 976.6341121962602 | 137.46208459718008 |
| BASE/breakthroughSmallHoles/bxclRw | 7.134087704773026 | 2240.266666666667 | 314.0228659044698 |
| DRESDEN/battlesnakes2011/93VtTw | 7.485284536082474 | 1887.6 | 252.17478252174783 |
| DRESDEN/connectfour/5tc-Mg | 7.62212252702802 | 3454.6 | 453.23333333333335 |
| DRESDEN/grid_game/U7_Yeg | 7.635097521791147 | 1488.9 | 195.00733235568592 |
| DRESDEN/battlesnakes1509/-qZrLw | 7.650410813676119 | 1924.3333333333333 | 251.53333333333333 |
| BASE/connectFourSimultaneous/7ITr3g | 7.72592807424594 | 1775.9333333333334 | 229.86666666666667 |
| STANFORD/rainbow/_4qNSQ | 7.814417794452633 | 11663.8 | 1492.6 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 7.9620319148936165 | 1821.0 | 228.71046228710463 |
| BASE/tictactoe_3d_small_2player/oOryKA | 8.060753211009175 | 2137.766666666667 | 265.20681265206815 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 8.081658291457288 | 2144.3333333333335 | 265.3333333333333 |
| DRESDEN/cube_2x2x2/fp-34Q | 8.086438268973245 | 3287.5666666666666 | 406.55311489617014 |
| BASE/futoshiki4/BaCwSw | 8.088539175891759 | 2776.4333333333334 | 343.25522482583915 |
| BASE/untwistycomplex2/EDPPAQ | 8.179162203974771 | 22909.833333333332 | 2801.0 |
| STANFORD/untwistycorridor/EDPPAQ | 8.39099859353024 | 22869.666666666668 | 2725.5 |
| DRESDEN/snake_2009/zIYLVw | 8.419832118055556 | 1400.9666666666667 | 166.38890740617293 |
| BASE/snake_2009/7l-qAQ | 8.539107855275828 | 1379.1666666666667 | 161.51179842687642 |
| DRESDEN/CephalopodMicro/H3XQfg | 8.559941127773042 | 219.79267357754742 | 25.676890798281548 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 8.711253412375543 | 790.5069831005633 | 90.74549271836571 |
| STANFORD/tictictoe/rpt_Dw | 8.751215559157213 | 6119.433333333333 | 699.2666666666667 |
| BASE/ticTicToe/c1OobQ | 8.757751376412633 | 6044.6 | 690.2 |
| DRESDEN/oisters_farm/pTQMLg | 8.811391658126029 | 9457.266666666666 | 1073.3 |
| BASE/tictactoe_3player/GtM71g | 8.955386053690534 | 1804.8666666666666 | 201.5397946940408 |
| STANFORD/nineboardtictactoe/y28P-A | 9.22167259236358 | 1988.5 | 215.63333333333333 |
| BASE/aipsrovers01/4C4jsw | 9.270522839403052 | 3699.4333333333334 | 399.05336488783706 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 9.317695982403684 | 9037.233333333334 | 969.9 |
| STANFORD/breakthrough/d5j0cQ | 9.409200931458699 | 1784.4333333333334 | 189.64770189647703 |
| DRESDEN/knightwar/7hhAqg | 9.412027010489512 | 1435.6 | 152.5282490583647 |
| DRESDEN/Thief_Police/CX18rA | 9.454677252329997 | 9130.066666666668 | 965.6666666666666 |
| DRESDEN/aipsrovers01/qS47Mw | 9.465078826919818 | 3722.3 | 393.26666666666665 |
| BASE/nineBoardTicTacToe/wRmqqA | 9.497155499367889 | 2003.2666666666667 | 210.93333333333334 |
| DRESDEN/catch_me/ghGWrA | 9.49844107254209 | 9139.4 | 962.2 |
| BASE/connectFour/WAIKTw | 9.573644961965332 | 3411.9333333333334 | 356.3881203959868 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 9.595377341971634 | 9133.2 | 951.8333333333334 |
| STANFORD/connectfour/VMpZkQ | 9.600832562442184 | 3459.5 | 360.3333333333333 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 9.737748444735393 | 259.81601226584894 | 26.681323073848308 |
| BASE/connectFour_9x6/B9TtMw | 9.906272779896943 | 3289.4333333333334 | 332.0555981467284 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 10.066336889512348 | 9089.566666666668 | 902.9666666666667 |
| BASE/dualConnect4/WbCQkg | 10.144704247460757 | 1952.9333333333334 | 192.50766564458073 |
| DRESDEN/8puzzle/8fKC2w | 10.204289215686275 | 8326.7 | 816.0 |
| DRESDEN/logistics/fPru1Q | 10.205671627007158 | 2930.5333333333333 | 287.14752349843343 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 10.2673325973991 | 12711.3 | 1238.0333333333333 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 10.398559326606593 | 12847.766666666666 | 1235.5333333333333 |
| BASE/3pConnectFour/PqXOFQ | 10.440889111389238 | 1946.4 | 186.4209052729818 |
| STANFORD/bestbuttonsandlights/nm0wEA | 10.495392895001496 | 12871.2 | 1226.3666666666666 |
| BASE/cephalopodMicro/9l2D3g | 10.542879324894514 | 221.86666666666667 | 21.044219499200853 |
| BASE/point_grab/V_osUg | 10.659468586154803 | 7996.733333333334 | 750.2 |
| BASE/checkLines/Vop7oQ | 10.744930148715637 | 3179.0666666666666 | 295.8666666666667 |
| BASE/snakeAssemblit/UO4sdg | 11.219246795391854 | 2304.5 | 205.4059458738835 |
| BASE/beatMania/qUHwvQ | 11.36140259158134 | 5547.966666666666 | 488.3170560981301 |
| BASE/connectFourLarge/aU644A | 11.41543334283001 | 2671.0333333333333 | 233.98440103993067 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 11.755531473132692 | 3215.6 | 273.53931273539314 |
| DRESDEN/chinesecheckers1/Y-ftaA | 12.404925830520519 | 2327.5 | 187.62707909736343 |
| BASE/duplicateStateMedium/U163eQ | 12.6822760800843 | 10029.566666666668 | 790.8333333333334 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 12.80154326450344 | 1446.3333333333333 | 112.9811698050325 |
| BASE/minichess-evilconjuncts/4OpQzw | 13.036296238960007 | 1459.5333333333333 | 111.95920271981868 |
| DRESDEN/connectfoursuicide/M9CNQg | 13.106489568658144 | 3349.0333333333333 | 255.524815839472 |
| BASE/qyshinsu/R08Lzw | 13.479719609125244 | 812.7729075697476 | 60.29598026798214 |
| BASE/pawnWhopping/Ypc_6Q | 13.616139044072005 | 3655.9333333333334 | 268.5 |
| BASE/tictactoe_3d_2player/IUC1rQ | 14.320564264264265 | 688.5666666666667 | 48.08236979774083 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 14.406858644309278 | 2921.133333333333 | 202.75990800306656 |
| DRESDEN/mimikry/GJEhwA | 14.469629298794104 | 2159.8333333333335 | 149.26666666666668 |
| BASE/hexPie/48CH6Q | 14.745905353436207 | 356.2762482501167 | 24.161029093211585 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 14.78445057620516 | 3036.233333333333 | 205.36666666666667 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 14.895763518377 | 679.1773607546415 | 45.59533721898418 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 14.962310327949094 | 3056.8 | 204.3 |
| DRESDEN/pentago_2008/hLjVpQ | 15.011034403070392 | 2042.4333333333334 | 136.06213126229125 |
| DRESDEN/3pffa/0YrmQw | 15.033432276206842 | 3207.633333333333 | 213.36666666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 15.402804642166345 | 3185.3 | 206.8 |
| BASE/hex/T1MK8g | 16.149804442260926 | 392.87380841277246 | 24.326846174353506 |
| BASE/eightPuzzle/vLrgFg | 16.352917893606765 | 8292.833333333334 | 507.1164294523516 |
| BASE/pentagoSuicide/SBgNhw | 16.356385751883113 | 2002.4333333333334 | 122.42517165522298 |
| STANFORD/hex/MTqWcw | 16.50275 | 401.5 | 24.32927845359107 |
| BASE/pentago/86NgKw | 16.69122916092271 | 2017.6333333333334 | 120.8798533577737 |
| DRESDEN/hallway/0H4l-Q | 16.69196466379647 | 292.89023699210026 | 17.546780315642273 |
| DRESDEN/3pttc/uwYBZw | 16.72412666061889 | 3686.866666666667 | 220.45196986867543 |
| STANFORD/8puzzle/jNiGtw | 16.757073105477893 | 8351.166666666666 | 498.3666666666667 |
| BASE/hallway/ckCJOw | 16.957353851132687 | 291.03333333333336 | 17.162662045522712 |
| BASE/othello-comp2007/86ZoMw | 16.979956097191735 | 37.26894254787677 | 2.1948786165613567 |
| STANFORD/hunter/14dD-g | 17.304829648509564 | 7920.733333333334 | 457.7180760641312 |
| DRESDEN/backgammon/mqCW0Q | 17.355020625281153 | 856.9666666666667 | 49.3786026055376 |
| STANFORD/eightpuzzle/W_aWbA | 17.36087075951106 | 8426.966666666667 | 485.4 |
| BASE/god/qF06gw | 17.477408256880736 | 63.06818181818182 | 3.608554591802953 |
| BASE/rubiksCube/9tNO9Q | 17.50697489039458 | 1464.1666666666667 | 83.63333333333334 |
| BASE/asteroidsSerial/id2QkA | 17.699636963327368 | 5276.5 | 298.1134591027265 |
| STANFORD/pentago/ZxzLmg | 18.435875808425102 | 2343.0333333333333 | 127.0909696767744 |
| BASE/connectFourLarger/qKi60A | 18.58629160744501 | 1830.5666666666666 | 98.4901509849015 |
| BASE/colonelBlotto/jip21A | 18.6515594424178 | 6.710071751262291 | 0.3597592883307169 |
| BASE/duplicateStateLarge/dcjyuw | 18.825410231660232 | 5200.833333333333 | 276.26666666666665 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 19.040907520777957 | 2883.774415038997 | 151.4515215145152 |
| BASE/chomp/-LcqYQ | 19.29145480225989 | 4325.0 | 224.19252691576946 |
| DRESDEN/chomp/-LcqYQ | 19.378278895792292 | 4262.433333333333 | 219.9593346888437 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 19.396508189262967 | 2841.6666666666665 | 146.50403252682796 |
| BASE/connectFourSuicide/c8p9Kw | 19.838238413065845 | 3427.9333333333334 | 172.7942401919936 |
| BASE/othelloHoles/c0qAzw | 20.032544280197097 | 38.12092156079371 | 1.9029495718363463 |
| BASE/othelloSuicide/B442jg | 20.164423090658882 | 37.46541781940602 | 1.8579960185799602 |
| DRESDEN/god/2EDD5w | 20.519301011075363 | 69.6263706962637 | 3.3932135728542914 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 20.74479316952097 | 4643.066666666667 | 223.8184121058596 |
| BASE/skirmishHoles/AUCxCA | 21.18167240143369 | 327.93333333333334 | 15.481937739304145 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 21.53426586460033 | 3519.9 | 163.45576961535897 |
| DRESDEN/Zhadu/9zpQ5w | 21.605239705244905 | 553.6666666666666 | 25.626499600106637 |
| BASE/pegEuro/5awwhg | 21.670488579940418 | 1454.6666666666667 | 67.12662067126621 |
| BASE/tron_10x10/7ZTgDg | 21.707385981434143 | 5378.366666666667 | 247.76666666666668 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 21.715931484049932 | 3653.1 | 168.22211852543163 |
| DRESDEN/racetrackcorridor/O0DoTA | 22.1686204805492 | 1291.4333333333334 | 58.25501566353396 |
| BASE/endgame/jYjfOA | 22.34603415909104 | 821.20595980134 | 36.749516892117015 |
| BASE/asteroids/BKCmPQ | 23.959997053189923 | 10841.1 | 452.46666666666664 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 24.252479842070628 | 3685.2 | 151.9514715195147 |
| STANFORD/alquerquezero/uVgA_A | 24.27169510548523 | 1597.8333333333333 | 65.8311389620346 |
| BASE/asteroidsParallel/WauZiA | 24.32907907907908 | 6481.266666666666 | 266.4 |
| BASE/breakthroughSmall/HJ0tIA | 24.668952530796442 | 2247.266666666667 | 91.09696343455218 |
| BASE/peg/fJHVWw | 25.09592276503822 | 1677.6333333333334 | 66.84884030925086 |
| BASE/racetrackcorridor/_RkdUg | 25.156263125000002 | 1474.9 | 58.62953462806889 |
| BASE/breakthroughSuicideSmall/XSbJog | 25.19385533697632 | 2304.7 | 91.47865498050454 |
| DRESDEN/babel/WdSW4A | 25.250413631156928 | 2203.7 | 87.27381785464361 |
| BASE/escortLatch/mX9BjQ | 25.84610031533307 | 2185.5 | 84.55821084558211 |
| BASE/englishDraughts/jFkQxg | 27.96894413974455 | 2481.0333333333333 | 88.70672131693826 |
| BASE/copolymer_4_pie/IN5_jA | 28.09413371882086 | 1376.5666666666666 | 48.9983667211093 |
| DRESDEN/capture_the_king/EQ229Q | 28.11013700004098 | 407.772815145657 | 14.506254990684056 |
| STANFORD/chinook/osFbPA | 28.915621194603293 | 626.4457851404953 | 21.664614463043694 |
| BASE/copolymer_4/2LDVhQ | 29.518063251275226 | 1478.0666666666666 | 50.073294243070364 |
| DRESDEN/amazons/dNB28A | 29.896969696969695 | 164.38401812789496 | 5.498350494851545 |
| BASE/chinook/XQh0IQ | 30.137724820937343 | 682.6439118696044 | 22.65081109889744 |
| DRESDEN/4pttc/9pB9AQ | 30.201443996776796 | 2498.0 | 82.71127699280191 |
| BASE/mineClearingSmall/frsbvw | 30.332929097695555 | 2076.0333333333333 | 68.44157142381127 |
| DRESDEN/frogs_and_toads/GjchhQ | 30.630017536648857 | 2483.266666666667 | 81.07297567477508 |
| DRESDEN/bidding-tictactoe/yW5vTA | 30.64883002100501 | 4214.533333333334 | 137.51041493084486 |
| BASE/strangeSkirmish/gc1zKA | 30.806622073003243 | 413.7390840610626 | 13.430199620088645 |
| BASE/battlebrushes/arCwyA | 30.9542478924561 | 93.79762772513419 | 3.0302021244713795 |
| BASE/shmup/ssTNlg | 31.16436285097192 | 4809.7 | 154.33333333333334 |
| BASE/wallmaze/uxNQ9g | 31.723067419962337 | 747.8666666666667 | 23.57485348961108 |
| BASE/chineseCheckers4/avfBcQ | 31.864167943586814 | 1857.4333333333334 | 58.29222770297294 |
| DRESDEN/endgame/IJhh3Q | 33.19006966094232 | 837.1333333333333 | 25.22240362509579 |
| BASE/biddingTicTacToe/8mESVw | 33.30311668424754 | 4209.233333333334 | 126.39157389507366 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 33.95306674048816 | 200.86565673381057 | 5.915979792608349 |
| BASE/brawl/6Ymo_Q | 34.103266925062144 | 397.5401639890674 | 11.656952539550375 |
| DRESDEN/brawl/2kXtfQ | 34.376506011370694 | 406.62600406626007 | 11.828601892576303 |
| BASE/chineseCheckers6/rREH3A | 34.47500925925926 | 1530.3333333333333 | 44.38964241676942 |
| BASE/roshambo2/KNPokQ | 35.03250069038768 | 10994.0 | 313.8228725709143 |
| DRESDEN/roshambo2/jgSlkQ | 35.10366970476804 | 10911.833333333334 | 310.84594360375974 |
| BASE/skirmishFinal3/-Olhfw | 35.57709996772398 | 575.4474850838305 | 16.17465969980364 |
| BASE/skirmishFinal1/ecWTnQ | 36.32330296127563 | 531.0 | 14.618714618714618 |
| DRESDEN/Runners/3bOCQw | 36.70820458339227 | 8649.1 | 235.6176254916339 |
| BASE/skirmishFinal2/gdB62Q | 36.90246805761237 | 550.9483017232759 | 14.929849701736261 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 36.94618272841051 | 19.9468085106383 | 0.5398882113821138 |
| DRESDEN/skirmishfinal/hzq8ww | 38.18995609237268 | 559.4480183993867 | 14.649087761353043 |
| DRESDEN/pacman3p/rBnk8Q | 38.25165489614243 | 858.3 | 22.438244889806246 |
| DRESDEN/minichess/c7GMFw | 38.9772992 | 4384.8 | 112.49625012499584 |
| BASE/chess_200/XsTpYA | 40.16591568159849 | 131.39562014599514 | 3.2713214155899943 |
| BASE/4pffa/Q3ADlg | 40.67629034440344 | 2203.7 | 54.17652350648053 |
| BASE/pacman3p/wW7UVQ | 40.72183939857289 | 887.2333333333333 | 21.787653662924342 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 42.84419679193401 | 1557.6333333333334 | 36.35575993868506 |
| DRESDEN/skirmish2/iPpWhQ | 43.55373633139431 | 756.6747775074164 | 17.373360846701726 |
| DRESDEN/skirmish3/3LU8Nw | 43.59535149105367 | 730.9 | 16.76554896340244 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 43.68492 | 1542.3 | 35.3050892619238 |
| DRESDEN/breakthrough/z4hK7Q | 44.21032863849765 | 1569.4666666666667 | 35.5 |
| BASE/snakeParallel/RCVNtw | 45.11584164707377 | 23666.266666666666 | 524.5666666666667 |
| DRESDEN/skirmish/RjGQYQ | 45.40819512195122 | 744.0 | 16.38470760623418 |
| BASE/knightwar/DVGY4Q | 45.4866398097329 | 1380.6333333333334 | 30.352502165656027 |
| BASE/breakthroughHoles/nZk0Sg | 46.29374325782093 | 1430.0 | 30.889703432189272 |
| BASE/pacman2p/4LEdQg | 46.33442526964561 | 1001.2 | 21.608123855501916 |
| STANFORD/freeforall/Lfp40Q | 46.790591666666664 | 3866.733333333333 | 82.63912029323559 |
| BASE/sheepAndWolf/g4THrg | 47.24867298557617 | 929.4356854771507 | 19.671148981493808 |
| DRESDEN/Goldrush/VeWczQ | 47.259432271762215 | 1978.1333333333334 | 41.856900056653444 |
| DRESDEN/knightthrough/J7Fc_Q | 47.89893589743589 | 1617.3666666666666 | 33.76623376623377 |
| BASE/breakthrough/TGxk-g | 48.42070642781876 | 1531.3 | 31.624900026659557 |
| BASE/chineseCheckers3/-1rZdQ | 48.73513961810254 | 3600.5666666666666 | 73.88029858704346 |
| DRESDEN/mummymaze2p/k-8edg | 49.50503004385965 | 751.9 | 15.188355594044566 |
| BASE/3pffa/pR0dzA | 49.58518210206994 | 3086.1666666666665 | 62.239696131676276 |
| BASE/breakthroughWalls/vOZaYA | 49.838853255069374 | 1556.1666666666667 | 31.223966143490287 |
| BASE/breakthroughSuicide/wZDpIg | 50.00393284365163 | 1587.4 | 31.74550299800133 |
| STANFORD/pilgrimage/ObRZnQ | 51.08117466768916 | 2219.366666666667 | 43.44783926964982 |
| BASE/skirmish/Y_psYQ | 51.1249173553719 | 411.6666666666667 | 8.052172755706396 |
| BASE/mummymaze2p/vpjDdA | 51.2786563876652 | 775.5 | 15.123251165889407 |
| BASE/dotsAndBoxes/EHwA_w | 53.28679365079365 | 1565.0666666666666 | 29.37062937062937 |
| BASE/2pffa/6oHijA | 54.11469024964673 | 3829.133333333333 | 70.7595907075959 |
| BASE/chineseCheckers2/eCMR3Q | 54.41850153944836 | 5654.2 | 103.90216268452798 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 54.866376309794994 | 1604.9 | 29.251066098081022 |
| DRESDEN/gt_prisoner/huCp4w | 56.57577940701679 | 11533.146685331467 | 203.85307646156923 |
| DRESDEN/bomberman2p/x4h6jQ | 58.026651216685984 | 1669.2333333333333 | 28.766666666666666 |
| BASE/knightazons/apnJBQ | 59.20454421052632 | 749.2 | 12.654434047087815 |
| DRESDEN/knightazons/02I8BQ | 60.27722872340426 | 753.9666666666667 | 12.508316699933467 |
| BASE/choicethroughalt/tt71Lg | 60.28240149456522 | 1477.5 | 24.509640680675346 |
| BASE/bomberman2p/4CClwA | 60.38779906542056 | 1721.0 | 28.49913437208683 |
| DRESDEN/smallest/9kaGFw | 61.67444025797692 | 2017.6666666666667 | 32.7147949495286 |
| BASE/2pffa_zerosum/o0_uZA | 62.19184322807018 | 3937.766666666667 | 63.31644894694748 |
| BASE/gt_coordination/IVMOzA | 63.63909735649858 | 12959.041525028328 | 203.63333333333333 |
| BASE/ttcc4_2player_small/Cv72TA | 63.74198590840464 | 4221.0 | 66.22008931547023 |
| BASE/nonogram_10x10_1/0Xc62g | 64.18039019005381 | 771.8152123191787 | 12.025717045870948 |
| DRESDEN/tttcc4/sAvtFg | 68.40766098191214 | 2058.9333333333334 | 30.097993467102192 |
| BASE/ttcc4/Le0qjQ | 68.58856324689967 | 2027.8 | 29.564695686954202 |
| BASE/tttcc4/8Bs2lg | 70.80743989381872 | 2073.9666666666667 | 29.290236587804067 |
| DRESDEN/knightstour/cGISAA | 74.56834217920698 | 39807.066666666666 | 533.8333333333334 |
| BASE/checkers-mustjump-torus/uSApKQ | 75.53959545454546 | 110.2 | 1.458837571698551 |
| BASE/mummyMaze2p_2007/YGA3Vw | 76.54649322617679 | 2221.733333333333 | 29.02462594554967 |
| DRESDEN/gt_chicken/CeuKtw | 76.62168593490944 | 12341.696654671465 | 161.0731544742543 |
| DRESDEN/pawntoqueen/f_x6Aw | 79.6135098592142 | 100.05997600959616 | 1.2568215644121052 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 80.06931095571096 | 2289.0666666666666 | 28.58856457417033 |
| DRESDEN/ghostmaze2p/HY0UwA | 80.45814379084968 | 2597.0666666666666 | 32.278481012658226 |
| BASE/pawnToQueen/-O1_JA | 80.59190398545151 | 103.31955739234769 | 1.282009138424115 |
| BASE/chineseCheckers1/gqtwHw | 81.2012610186586 | 10733.733333333334 | 132.1867813218678 |
| BASE/gt_prisoner/klthDw | 82.3484029572208 | 12745.833333333334 | 154.7793627516331 |
| BASE/ghostMaze2p/W-NU-w | 83.5505002173913 | 2559.4 | 30.632970399227517 |
| BASE/gt_staghunt/xPjLRA | 85.94651088966356 | 12814.197633727712 | 149.09503016566114 |
| BASE/quad_5x5/JAEP5g | 94.6839845224613 | 188.69495703151023 | 1.992892018467466 |
| DRESDEN/small_dominion/yB5GJA | 95.97484653723623 | 38.1964101368677 | 0.39798355001326613 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 96.44785811965811 | 123.53333333333333 | 1.2808302407304017 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 96.85496296296296 | 2293.9333333333334 | 23.68421052631579 |
| DRESDEN/smallest_4player/ADDROA | 96.86143843922251 | 3708.4333333333334 | 38.28596181400153 |
| DRESDEN/quad_5x5/JAEP5g | 97.15999434558312 | 195.1325076574777 | 2.008362690547526 |
| BASE/gt_chicken/gmepTQ | 98.22838398335934 | 12591.2 | 128.18290894547394 |
| BASE/smallest_4player/ADDROA | 99.64399972502291 | 3622.633333333333 | 36.35575993868506 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 102.60123992058026 | 125.53723138430784 | 1.2235449735449735 |
| BASE/nim4/twk16w | 103.65810202127659 | 3245.0333333333333 | 31.305158690511874 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 104.1280147735709 | 3115.133333333333 | 29.916380717593363 |
| STANFORD/ttcc4/Cx9SGw | 104.20471900497512 | 2325.5333333333333 | 22.316967557124777 |
| BASE/nim3/1OwUqw | 104.60500298507463 | 3267.6 | 31.23751165578793 |
| DRESDEN/nim4/F5YAYg | 105.8800783068783 | 3334.0 | 31.488454233447737 |
| BASE/connect5/d-BVQg | 105.97601640488656 | 674.4666666666667 | 6.364333077871447 |
| DRESDEN/nim3/sG_axA | 106.02814956803455 | 3271.1 | 30.851241046143596 |
| STANFORD/platformjumpers/HEQskA | 106.47865341614906 | 568.8 | 5.3419157901722025 |
| BASE/checkersBarrelNoKings/rnKNeg | 108.9897673130194 | 2620.4 | 24.04262404262404 |
| DRESDEN/connect5/1kYzSg | 110.97398784530387 | 661.8 | 5.963559685018615 |
| BASE/checkersTorusNoKings/pwb6oQ | 114.66402369942197 | 2643.0666666666666 | 23.050531294760333 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 117.09882004830918 | 3229.6666666666665 | 27.58069351453982 |
| BASE/nonogram_5x5_1/qLKEZw | 120.08534478021977 | 5826.2 | 48.51716094635122 |
| BASE/ttcc4_2player/_aH_Mw | 120.09516794871794 | 2495.733333333333 | 20.781296832850433 |
| BASE/checkersTorus/2vm1EQ | 127.54159028735634 | 2462.766666666667 | 19.309518260811664 |
| DRESDEN/nim2/z5_exA | 136.2872441025641 | 4130.466666666666 | 30.30706720841937 |
| BASE/2pttc/unkkYA | 136.75667381207575 | 4249.166666666667 | 31.071000399627014 |
| BASE/ttcc4_2player_alt/ZEJvYA | 138.00499628995433 | 2683.366666666667 | 19.44398202097553 |
| BASE/knightThrough/gcwFjA | 138.03061242774567 | 1591.9 | 11.532948901703277 |
| BASE/nim2/eF2Qqw | 139.49375444444445 | 4183.0 | 29.98700563089328 |
| BASE/knightsTour/mvtVIg | 142.62656005284651 | 39579.666666666664 | 277.5055827750558 |
| BASE/checkers-mustjump/T-8UuQ | 145.05772246762496 | 180.05466302246518 | 1.2412621676357223 |
| STANFORD/knightstour/cEwgNA | 149.2110486685032 | 41522.666666666664 | 278.2814479034731 |
| BASE/knightsTourLarge/M8jgLA | 157.723774181478 | 16857.3 | 106.87862427514497 |
| BASE/3pttc/0sol9g | 162.23056278467908 | 3482.4333333333334 | 21.465951134962168 |
| BASE/4pttc/AL1k2Q | 168.58420751937985 | 2412.4333333333334 | 14.309960398016573 |
| BASE/skirmishNew/sibw2g | 185.97285843373493 | 1024.1 | 5.506717531929009 |
| BASE/nim1/hin2Qw | 191.09826090808417 | 5748.8 | 30.082952993303795 |
| DRESDEN/nim1/M9BALA | 196.68673694915253 | 5798.2 | 29.479364444888578 |
| BASE/amazons_8x8/7SOsIw | 197.1995158450704 | 1862.1666666666667 | 9.44305901911887 |
| STANFORD/knightstourbig/TQUI2g | 200.42955611667392 | 15345.2 | 76.56156256249584 |
| BASE/kalaha5x2x3/WviNsw | 217.6929705882353 | 3575.633333333333 | 16.42512077294686 |
| BASE/speedChess/bPnisA | 218.82424649122805 | 1106.5333333333333 | 5.0567217804983535 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 232.1922156862745 | 128.03333333333333 | 0.5514109633473889 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 233.47139803921573 | 127.63333333333334 | 0.5466765282824709 |
| STANFORD/skirmish/w4V6Vw | 234.23175462962965 | 559.2666666666667 | 2.3876637373569887 |
| STANFORD/knightstourmedium/x1wu8Q | 246.30444538585155 | 80038.06666666667 | 324.95583480550647 |
| DRESDEN/battle/8oAvhQ | 272.4922962338037 | 257.9914002866571 | 0.9467841984982044 |
| DRESDEN/gt_ultimatum/pAiiQw | 274.0928327552987 | 6316.933333333333 | 23.046692866182642 |
| BASE/battle/8oAvhQ | 283.4147442398617 | 263.44032263440323 | 0.9295222919363941 |
| BASE/gt_ultimatum/GE-uOA | 298.6182889952153 | 6236.133333333333 | 20.883293365307754 |
| DRESDEN/snake_2008/E56l3A | 317.44366013071897 | 1616.0 | 5.090667110297788 |
| BASE/snake_2008/i6K26g | 320.81278750403305 | 1633.912202926569 | 5.0930395126660235 |
| STANFORD/madness/UO_B3A | 321.52695 | 741.7 | 2.306805074971165 |
| BASE/crossers3/O0rORg | 326.8285051020408 | 1061.1666666666667 | 3.246860815690952 |
| BASE/snake_2008_tweaked/bX0NJQ | 332.3463684210526 | 1674.4 | 5.038117335101094 |
| BASE/haystack/UkweGA | 340.06249839066464 | 4842433.3 | 14239.833333333334 |
| DRESDEN/crossers3/xiPTxg | 348.2812857142857 | 1131.8333333333333 | 3.2497678737233056 |
| DRESDEN/hanoi/RQ0jiA | 362.8821446345256 | 7772.333333333333 | 21.418340494986843 |
| BASE/amazonsSuicide_10x10/XIbQkg | 366.5003041666667 | 1460.5 | 3.9849898714840766 |
| BASE/hanoi/iGLsJg | 370.7208190327613 | 7915.0 | 21.35029810478633 |
| BASE/survival/YVIjJA | 378.1916969501817 | 2740503.1 | 7246.333333333333 |
| BASE/onestep/xi53wA | 381.21071231952266 | 2862079.2 | 7507.866666666667 |
| BASE/amazons_10x10/Bun8dA | 396.17098230088493 | 1483.0 | 3.7433332229105245 |
| BASE/four_way_battle/xSOQXA | 417.09473866666673 | 692.0666666666667 | 1.659255326209597 |
| DRESDEN/four_way_battle/xSOQXA | 417.5549988333722 | 688.9437018766041 | 1.649947201689546 |
| BASE/knightfight/SJRkAg | 437.3042196721311 | 5323.4 | 12.173218918379565 |
| DRESDEN/chinesecheckers2/06E6-Q | 444.32000363636365 | 1627.6 | 3.6631256452096306 |
| DRESDEN/knightfight/4_Ly4w | 453.96548007346195 | 5486.033333333334 | 12.084692722551434 |
| BASE/pearls/6k_mEQ | 454.32916771368053 | 6749998.733333333 | 14857.066666666668 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 507.84552613286866 | 111.54435779510764 | 0.21964229683087544 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 520.9677818518519 | 3107.266666666667 | 5.964412339706418 |
| DRESDEN/quartosuicide/WIU1oQ | 578.8998491803279 | 2348.4 | 4.056660238079404 |
| BASE/quartoSuicide/-23jUg | 579.8985888888889 | 2308.6666666666665 | 3.9811558622520073 |
| DRESDEN/quarto/OQzRYQ | 582.7757168044078 | 2334.266666666667 | 4.0054288457082325 |
| BASE/quarto/EwBMVQ | 594.6811212643678 | 2281.0333333333333 | 3.8357251504530123 |
| DRESDEN/knightmove/97Ipcw | 600.2330140350878 | 1514.7333333333333 | 2.5235755080355955 |
| BASE/knightmove/jBaJEw | 621.2117066666667 | 1543.7666666666667 | 2.485089463220676 |
| BASE/kalaha6x2x4/XS81Mg | 685.1153014492754 | 3130.866666666667 | 4.569839062189549 |
| DRESDEN/fizzbuzz/t1xHzQ | 775.9015794871796 | 5021.6 | 6.471954862263525 |
| DRESDEN/checkers-mustjump/HUr33w | 808.4239952380952 | 184.43333333333334 | 0.2281393605579637 |
| BASE/amazonsTorus_10x10/Uxc08g | 809.6767949275362 | 1240.9666666666667 | 1.532669176690101 |
| BASE/wargame01/_GZFZg | 982.7301880597015 | 2174.9 | 2.213120169122019 |
| DRESDEN/pancakes88/aD3E7g | 1004.7395863192181 | 10257.9 | 10.209511140671767 |
| BASE/troublemaker01/s3tlEQ | 1038.0652576937337 | 4572781.266666667 | 4405.1 |
| DRESDEN/troublemaker01/C-lPWw | 1040.0804290138742 | 4690312.033333333 | 4509.566666666667 |
| BASE/switches/tPUoCg | 1055.0649817209237 | 2222213.033333333 | 2106.233333333333 |
| BASE/buttons/hTcUjw | 1061.4962020799348 | 4164461.9 | 3923.2 |
| DRESDEN/buttons/ADUaHw | 1062.7040035488521 | 4152374.2 | 3907.366666666667 |
| DRESDEN/pancakes6/SZXMyQ | 1106.1056640522875 | 11277.766666666666 | 10.195921631347462 |
| DRESDEN/troublemaker02/iZLVuA | 1109.06973859105 | 4171950.6666666665 | 3761.6666666666665 |
| DRESDEN/pancakes/hl9aiQ | 1121.7085607717042 | 11597.066666666668 | 10.33875203616901 |
| BASE/coins_atomic/AA3SSw | 1123.515641956149 | 3209472.2333333334 | 2856.633333333333 |
| BASE/troublemaker02/DI83KA | 1130.7619889865432 | 4134216.6 | 3656.133333333333 |
| DRESDEN/coins/QwFP9w | 1162.9530470816849 | 3311547.566666667 | 2847.5333333333333 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 1171.7182710719528 | 88639.33333333333 | 75.64901522977972 |
| BASE/kitten_escapes_from_fire/uW-YiA | 1188.5950118380063 | 88999.06666666667 | 74.8775367389783 |
| BASE/checkers-newgoals/0XkFiA | 1199.240142857143 | 529.8 | 0.4417797412432944 |
| STANFORD/buttonsandlights/eyhJpA | 1201.4139623670576 | 4111879.3333333335 | 3422.5333333333333 |
| BASE/coins/QnGtnQ | 1207.9071913225177 | 3429892.7333333334 | 2839.5333333333333 |
| BASE/pancakes6/QZTdnw | 1214.656478060606 | 11132.866666666667 | 9.165444607385682 |
| DRESDEN/statespacesmall/h-NqjA | 1215.0856035939496 | 3930882.933333333 | 3235.0666666666666 |
| BASE/checkers/rOC3Xg | 1220.2089768115943 | 923.3666666666667 | 0.7567283016384813 |
| BASE/pancakes/yUgbXw | 1223.1342884109918 | 11342.633333333333 | 9.273416206873629 |
| DRESDEN/guess/PhxGhg | 1229.2173701298702 | 3141.9 | 2.5560165975103732 |
| BASE/stateSpaceSmall/Q7osKA | 1251.041177956256 | 4127810.3666666667 | 3299.5 |
| BASE/max_knights/2fq3Ag | 1251.911619607843 | 1387.5666666666666 | 1.1083583257269527 |
| BASE/guess/SPpk1A | 1257.4767078947368 | 3172.6 | 2.5229890781130697 |
| DRESDEN/chinesecheckers4/-oVNYg | 1259.3037826086957 | 938.5 | 0.7452530620180157 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 1268.2174317004706 | 2138468.2333333334 | 1686.2 |
| DRESDEN/max_knights/hCipiA | 1272.2680541666666 | 1327.2666666666667 | 1.04322879311469 |
| STANFORD/sukoshi/4LYZZQ | 1295.0440461227388 | 1579867.4 | 1219.9333333333334 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 1312.7335532526963 | 514.4780247242678 | 0.3919135177504164 |
| BASE/racer4/0vs7Ww | 1327.3141784162751 | 368.2210592980234 | 0.27741816164231553 |
| BASE/gt_attrition/kD_SCA | 1492.4486017132763 | 369.12102929902335 | 0.24732578989674148 |
| BASE/blocksWorld/SEdXLQ | 1629.9333928658803 | 4441459.833333333 | 2724.9333333333334 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 1641.3554622408851 | 518.5629540758515 | 0.3159358018450651 |
| BASE/checkersSmall/SYmq8w | 1668.0556819444446 | 1285.6333333333334 | 0.77073766016892 |
| BASE/blocks/xIV5hQ | 1672.282042079208 | 4504012.966666667 | 2693.3333333333335 |
| BASE/wargame03/klXI8w | 1675.7795333333333 | 3389.5666666666666 | 2.022680549108031 |
| BASE/cylinder-checkers/hlldmw | 1676.0989818857888 | 478.0507316422786 | 0.2852162890191729 |
| DRESDEN/blocks/vg0DRw | 1682.7329490396799 | 4514996.866666666 | 2683.133333333333 |
| DRESDEN/cylinder-checkers/clOO3Q | 1689.5419444444447 | 468.23333333333335 | 0.27713625866050806 |
| BASE/duplicateStateSmall/bCPAXw | 1781.4580682887868 | 4163505.033333333 | 2337.133333333333 |
| STANFORD/tictactoe7/-bE9-A | 1846.4463673899675 | 2101809.9 | 1138.3 |
| DRESDEN/battlebrushes/QHXV4A | 1908.4917502749909 | 338.0553981533949 | 0.1771322292091046 |
| DRESDEN/checkers-newgoals/IJOqXQ | 1965.088563714543 | 539.3820205993134 | 0.274482295891915 |
| BASE/skirmishZeroSum/zh4hcw | 2215.9976666666666 | 1021.5333333333333 | 0.4609812314784327 |
| BASE/snake2p/I3wWPQ | 2296.4553581405744 | 685032.6333333333 | 298.3 |
| DRESDEN/hitori/S8Gsyg | 2515.220751851852 | 742.3666666666667 | 0.2951497064900141 |
| BASE/wargame02/BkVqqQ | 2538.440277777778 | 5564.166666666667 | 2.191962803055463 |
| BASE/hitori/S8Gsyg | 2582.520730790455 | 747.6417452751575 | 0.28950077200205865 |
| DRESDEN/tictactoe-init1/3ltIBQ | 2625.028128099759 | 3704964.7 | 1411.4 |
| BASE/checkersTiny/Lr48cg | 2654.6226874999998 | 2089.5 | 0.7871175100849431 |
| DRESDEN/racer/vk_ZBA | 2715.9562768687306 | 218.14909854367315 | 0.08032128514056225 |
| BASE/racer/QQYQNw | 2724.3451884937167 | 216.49278357388087 | 0.07946598855689765 |
| BASE/tictactoe-init1/7M19vA | 2794.045812807882 | 3781275.3333333335 | 1353.3333333333333 |
| BASE/hodgepodge/9yjRkw | 2910.003312698678 | 2898848.3 | 996.1666666666666 |
| BASE/maze/cCX3qQ | 3136.51582795936 | 5690580.666666667 | 1814.3 |
| STANFORD/tictactoe3/X7myng | 3187.073354595535 | 4030479.2 | 1264.6333333333334 |
| STANFORD/tictactoe5/WFRReg | 3227.3774153914887 | 3852628.0 | 1193.7333333333333 |
| DRESDEN/blocksworldparallel/2JfVaw | 3399.943350728811 | 3148914.2 | 926.1666666666666 |
| DRESDEN/chinesecheckers3/QsCb2A | 3534.6204444444447 | 1352.5333333333333 | 0.3826530612244898 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 3914.8687999999997 | 1501.1 | 0.3834355828220859 |
| DRESDEN/satlike_20v_91c/yeuENQ | 4248.106676685533 | 1491.1345153979469 | 0.3510115514710575 |
| BASE/blocksWorldSerial/Wyg96Q | 4738.854125035683 | 4980061.8 | 1050.9 |
| STANFORD/threepuzzle/41ibjA | 4898.439079207246 | 4794918.733333333 | 978.8666666666667 |
| BASE/blobwars/0XT15Q | 4934.002746666666 | 688.9333333333333 | 0.13962970203021588 |
| DRESDEN/blobwars/ZaMluQ | 5054.635085497151 | 704.2431918936036 | 0.13932621840777998 |
| STANFORD/3puzzle/41ibjA | 5338.886560548055 | 5299378.8 | 992.6 |
| BASE/ruleDepthLinear/OUBJpQ | 5492.215998062798 | 4536204.266666667 | 825.9333333333333 |
| BASE/blocksWorldParallel/RseaAQ | 5615.979331447375 | 3242479.2666666666 | 577.3666666666667 |
| BASE/gt_dollar/TGjqRw | 5713.901582166507 | 3767937.1666666665 | 659.4333333333333 |
| BASE/gt_centipede/9fRMpw | 8178.017332224071 | 3931990.7333333334 | 480.8 |
| DRESDEN/merrills/aYEzwA | 8911.910808919109 | 174.9491717494917 | 0.01963093835885355 |
| BASE/pancakes88/l2Xaig | 8921.405541176471 | 10105.2 | 1.1326914748309291 |
| BASE/colonelBlottoVariant2/jruwGw | 9330.569957142858 | 4080.4666666666667 | 0.43732233780026863 |
| BASE/merrills/pku8Tg | 10109.500516649445 | 179.16069464351187 | 0.017722012511740833 |
| BASE/colonelBlottoVariant/X-n-KQ | 11349.641933333332 | 5159.933333333333 | 0.45463401961421057 |
| DRESDEN/hanoi_6_disks/MeubgQ | 16409.658075555555 | 32810.566666666666 | 1.999466808850973 |
| BASE/hanoi_6_disks/MeubgQ | 17673.978904093565 | 33276.63333333333 | 1.8828037259694788 |
| DRESDEN/checkers/jIDMIg | 21575.91280290657 | 615.9794673510883 | 0.028549404744911067 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 21885.154744444444 | 6172.366666666667 | 0.2820344081978001 |
| DRESDEN/hanoi7/51zz5Q | 21992.263585185185 | 6199.466666666666 | 0.28189306856265856 |
| BASE/hanoi7_bugfix/3gdnFw | 22954.635466666667 | 6309.3 | 0.2748595162472514 |
| BASE/gt_tinfoil/Q8DyKg | 24518.223566666664 | 12041.166666666666 | 0.4911108928396032 |
| BASE/minichess/8NQEiA | 26651.0556261324 | 3058929.4 | 114.77704459108179 |
| BASE/twisty-passages/DiZmmg | 29844.1584 | 1571.2 | 0.052646818815973044 |
| DRESDEN/twisty-passages/j7NPyg | 30042.486650000003 | 1549.9 | 0.051590270075063845 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 34786.96693333333 | 9439.3 | 0.27134587554269174 |
| BASE/crisscross/ICagEg | 40935.18586666667 | 2277.4666666666667 | 0.05563591854901524 |
| DRESDEN/crisscross/GsY16g | 41395.839799999994 | 2296.133333333333 | 0.05546773164711429 |
| BASE/solitaireChineseCheckers/-ET6gw | 50472.72055 | 3232.633333333333 | 0.06404713869407884 |
| DRESDEN/crissrace/KWb9bw | 51917.6378 | 1452.5666666666666 | 0.027978288847854065 |
| BASE/crissrace/ERWGDA | 52044.95033333333 | 1481.8333333333333 | 0.02847218267752406 |
| BASE/kalaha_2009/dRiN3g | 73008.73091666667 | 3231.8333333333335 | 0.04426639516610965 |
| DRESDEN/kalaha_2009/gcC8uA | 74228.97825 | 3255.3 | 0.04385484047801776 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 145837.0415 | 7239.366666666667 | 0.04964010920824026 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 186134.9143888889 | 14022.166666666666 | 0.07533335007407779 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 190962.84590000001 | 13711.7 | 0.07180297264306743 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 323880.156 | 18478.4 | 0.057053202110968475 |
| BASE/ad_game_2x2/D0aWqg | 6.624109456333333E7 | 1765675.8333333333 | 0.02665529374133703 |
| BASE/amazonsSuicide/dE1QEQ | Infinity | 13.526119402985074 | 0.0 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | Infinity | 4591.0 | 0.0 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Infinity | 648.3666666666667 | 0.0 |
| DRESDEN/chinesecheckers6/yTbPDA | Infinity | 824.5666666666667 | 0.0 |
| BASE/amazons/RKKZjw | Infinity | 13.561242169798748 | 0.0 |
| DRESDEN/farmers/S_ASnw | Infinity | 2736.133333333333 | 0.0 |
| BASE/gt_two_thirds_2p/1APDGg | Infinity | 330.4 | 0.0 |
Games with errors:
| Game | PALAMEDES_JAVA_ECLIPSE:0.6.1 error message | REKKURA_GENERIC_FORWARD_PROVER:1.0.0 error message |
| BASE/reversiSuicide/9OxJlg | Test process timed out after 240 seconds | |
| BASE/alexChess/LNo83g | Exception of type NullPointerException | |
| BASE/queens12ug/u6Bkmg | Test process timed out after 240 seconds | |
| BASE/amazonsTorus/soxT8g | Exception of type NullPointerException | |
| STANFORD/untwistycomplex/HTWEwg | Exception of type NullPointerException | |
| BASE/queens16ug/gT-ylw | Test process timed out after 240 seconds | |
| BASE/reversi/d8UMeA | Test process timed out after 240 seconds | |
| BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | |
| BASE/ruleDepthExponential/UamhHQ | 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/gt_two_thirds_4p/DStnxQ | Test process timed out after 240 seconds | |
| BASE/queens/HyJJnQ | IllegalArgumentException: too many occurrences: 2147483765 | |
| BASE/mummymaze1p/PT_EXA | Test process timed out after 240 seconds | |
| DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | |
| BASE/sudoku/NTaNkw | Test process timed out after 240 seconds | |
| DRESDEN/queens/mW2wHQ | IllegalArgumentException: too many occurrences: 2147483765 | |
| BASE/gt_two_thirds_6p/867v3Q | Test process timed out after 240 seconds | |
| DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | |
| BASE/slaughter/cOch8A | Test process timed out after 240 seconds |