Game-by-game performance:
| Game | Perf ratio | PALAMEDES_JAVA_ECLIPSE:0.6.1 states per second | REKKURA_BACKWARD_PROVER:1.0.0 states per second |
| BASE/queens08lg/Ru7eqQ | 4.411164476137282E-5 | 0.024117306579201234 | 546.7333333333333 |
| DRESDEN/golden_rectangle/1uloXw | 0.008901171161176077 | 4.216047538425787 | 473.6508783040565 |
| BASE/queens08ug/kJ_ZFQ | 0.009185117229897236 | 8.598188238906802 | 936.1 |
| BASE/queens06ug/7Lq3tw | 0.02159426888103897 | 25.168120380850922 | 1165.5 |
| BASE/quad/tw-Ufg | 0.05399281674235448 | 10.087558677630922 | 186.83149511845656 |
| DRESDEN/quad/JPe6fg | 0.07272622492570516 | 13.062312562479173 | 179.60938541527796 |
| BASE/quad_7x7/q-JOXg | 0.12149745567569546 | 78.15931323617488 | 643.3 |
| DRESDEN/quad_7x7/q-JOXg | 0.1351122574394469 | 86.5439046318804 | 640.5333333333333 |
| BASE/golden_rectangle/_nYzfw | 0.13774363661384156 | 63.04775234096438 | 457.7180760641312 |
| BASE/simultaneousWin2/PfjRjw | 0.16024838372032413 | 209.5247617143238 | 1307.5 |
| BASE/sudokuGrade6H/ieE_9A | 0.24340696363708858 | 44.665177827405756 | 183.5 |
| BASE/sudokuGrade6E/ihYFZA | 0.25038601936892224 | 44.174967518406234 | 176.42745241825273 |
| STANFORD/sudoku/oJ1qyQ | 0.2893078893569189 | 53.85948540194641 | 186.16666666666666 |
| BASE/sudokuGrade4/DTy07w | 0.2977787052726648 | 57.590401599733376 | 193.4 |
| BASE/zhadu/DlA8iQ | 0.3046743247938577 | 11.481629392971247 | 37.68492602958816 |
| BASE/sudokuGrade2/u80Tfw | 0.30545673688220215 | 60.28912131103857 | 197.3736835088655 |
| BASE/sudokuGrade3/eI8dvg | 0.30556559450668597 | 56.36666666666667 | 184.46666666666667 |
| BASE/sudokuGrade5/BQfUQA | 0.3105087132547087 | 58.79412058794121 | 189.34773189347732 |
| STANFORD/duidoku/3SoMaA | 0.31356697923373494 | 50.41316806610689 | 160.77320446592233 |
| BASE/sudokuGrade1/tDRNRw | 0.3396771093520961 | 64.36666666666666 | 189.49368354388187 |
| BASE/cittaceot/fDxhXg | 0.35352856381580533 | 238.32538915369489 | 674.1333333333333 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 0.3764947628458499 | 177.8 | 472.25092496916767 |
| STANFORD/selectivesukoshi/3xmXYg | 0.6462914341975714 | 262.56666666666666 | 406.26666666666665 |
| STANFORD/multiplesukoshi/vLSQPg | 0.648948825673633 | 241.61722551829877 | 372.32092263591215 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 0.7211124424620983 | 12.35726575942437 | 17.13639237347353 |
| BASE/majorities/ibJzSQ | 0.7446878778565127 | 288.8948140247967 | 387.94080394640355 |
| DRESDEN/cubicup_3player/awDtsQ | 0.81515550997426 | 337.76666666666665 | 414.3585641435856 |
| BASE/cubicup_3player/e2yA_g | 0.8618453873298605 | 341.9 | 396.70688620758614 |
| BASE/lightsOnSimultaneous/_VN6lw | 0.864648784992005 | 1279.7666666666667 | 1480.1 |
| DRESDEN/doubletictactoe/lJzgmQ | 0.8742114601130241 | 1773.8333333333333 | 2029.0666666666666 |
| DRESDEN/bunk_t/7-tPfA | 0.8856664994146178 | 1765.1333333333334 | 1993.0 |
| BASE/doubletoetictac/fu35bg | 0.9026312639983586 | 1759.8 | 1949.6333333333334 |
| BASE/doubletictactoe/HH1htg | 0.913275664977564 | 1784.2666666666667 | 1953.7 |
| BASE/lightsOnSimul4/9FeASw | 0.914475403837106 | 1166.2 | 1275.2666666666667 |
| DRESDEN/doubletoetictac/V89gKQ | 0.9190739602540463 | 1794.4 | 1952.4 |
| BASE/quad_5x5/JAEP5g | 0.9261270727656472 | 188.69495703151023 | 203.74629203746292 |
| DRESDEN/quad_5x5/JAEP5g | 0.9294974959867149 | 195.1325076574777 | 209.93333333333334 |
| STANFORD/triplesukoshi/Iu9mbA | 0.9336396638826129 | 1225.9 | 1313.0333333333333 |
| BASE/futoshiki6/JmvXNA | 0.9388286334056398 | 504.91650278324056 | 537.8154061531283 |
| BASE/battlebrushes/arCwyA | 0.9389136286276757 | 93.79762772513419 | 99.90016638935109 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 0.9435685453240203 | 200.86565673381057 | 212.87871212878713 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 0.9542638225417396 | 1345.0666666666666 | 1409.5333333333333 |
| BASE/bunk_t/xbpfIA | 0.9554112250971606 | 1819.1666666666667 | 1904.0666666666666 |
| BASE/catcha_mouse/cHv4dw | 0.9901623216920806 | 1207.8 | 1219.8 |
| STANFORD/multipletictactoe/_bkafQ | 0.9931573275862069 | 614.4333333333333 | 618.6666666666666 |
| DRESDEN/blocker/S815zQ | 1.0011534518113465 | 3905.8333333333335 | 3901.3333333333335 |
| BASE/blokbox_simple/JBx4bg | 1.0041195332680146 | 7.281553398058253 | 7.25167986161932 |
| DRESDEN/catcha_mouse/cHv4dw | 1.021925251083914 | 1241.3666666666666 | 1214.7333333333333 |
| DRESDEN/slidingpieces/s9_44g | 1.0391217731673583 | 834.7333333333333 | 803.3065564481184 |
| BASE/slidingpieces/uFJWEw | 1.0471522521404641 | 843.9 | 805.9 |
| BASE/wallmaze/uxNQ9g | 1.0511969577711144 | 747.8666666666667 | 711.4429519016032 |
| DRESDEN/grid_game2/kypTYQ | 1.0565051020408163 | 1656.6 | 1568.0 |
| DRESDEN/hallway/0H4l-Q | 1.05800206017616 | 292.89023699210026 | 276.8333333333333 |
| BASE/conn4/va9Y7A | 1.0675776970535662 | 1234.3333333333333 | 1156.2 |
| BASE/hallway/ckCJOw | 1.06860629869865 | 291.03333333333336 | 272.3485100993267 |
| BASE/blockerSerial/3eqDuw | 1.0863219782120006 | 1047.0333333333333 | 963.8333333333334 |
| BASE/withConviction/3Xm54A | 1.0981887927464529 | 1679.5333333333333 | 1529.3666666666666 |
| DRESDEN/lightsout2/LFtfyQ | 1.1053296173863312 | 3220.9 | 2913.9724018398774 |
| DRESDEN/lightsout/XgLpzQ | 1.1071634754161455 | 3068.4666666666667 | 2771.4666666666667 |
| STANFORD/dualrainbow/G3OnRQ | 1.1298696717986703 | 4271.133333333333 | 3780.2 |
| BASE/tictactoe_3d_small_6player/g_9lww | 1.1365919450424795 | 743.9752008266391 | 654.5666666666667 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 1.1454832762707399 | 724.9 | 632.8333333333334 |
| BASE/ticTacToeSerial/Amrwqw | 1.2008996799215663 | 1388.2 | 1155.9666666666667 |
| BASE/ticTacHeaven/18n58A | 1.2221115537848606 | 858.9 | 702.8 |
| BASE/futoshiki5/TJ4BZg | 1.2294705507123114 | 963.7 | 783.8333333333334 |
| DRESDEN/connect4/T0-rHQ | 1.2440049041775594 | 834.6443570428638 | 670.9333333333333 |
| BASE/blocker/dIWtxg | 1.2537584512661153 | 3980.766666666667 | 3175.0666666666666 |
| BASE/lightsOnParallel/SC6enA | 1.2591595478470963 | 4864.133333333333 | 3863.0 |
| BASE/connect4/50bOyw | 1.2796106309838333 | 841.4719509349688 | 657.6 |
| DRESDEN/tictactoex9/rFkD4w | 1.2890543636742344 | 825.1666666666666 | 640.1333333333333 |
| BASE/tictactoex9/BI26ow | 1.297524958402662 | 831.8 | 641.0666666666667 |
| BASE/colonelBlotto/jip21A | 1.3003253238236478 | 6.710071751262291 | 5.1603022938376 |
| STANFORD/dualhunter/1rPZjQ | 1.31352375212553 | 2034.1666666666667 | 1548.6333333333334 |
| BASE/ticTacHeavenFC/mrletw | 1.3197911227154047 | 842.4385853804873 | 638.3120562647912 |
| BASE/factoringGeorgeForman/HGRorQ | 1.3386431784107946 | 8571.6 | 6403.2 |
| DRESDEN/lightson2x2/gBHuig | 1.353354341470823 | 5941.0 | 4389.833333333333 |
| BASE/blocks2player/wnTLOQ | 1.3546147065779006 | 6300.9 | 4651.433333333333 |
| BASE/lightsOut/5P1ZBw | 1.3682984374768143 | 3073.7 | 2246.366666666667 |
| DRESDEN/blocks2player/3ev8nQ | 1.3933320526776374 | 6527.9 | 4685.1 |
| BASE/hidato37/pBrqxw | 1.439229590834306 | 87.73040898636712 | 60.956507248791866 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 1.4480591345694025 | 3532.733333333333 | 2439.633333333333 |
| DRESDEN/tictactoelarge/IwXcbg | 1.4488376794016575 | 3583.7 | 2473.5 |
| DRESDEN/firefighter/WJmoPw | 1.4557058760313801 | 4063.7 | 2791.5666666666666 |
| BASE/firefighter/WJmoPw | 1.4613257667230137 | 4034.233333333333 | 2760.6666666666665 |
| BASE/sum15/QZ07Kg | 1.4695454154282044 | 7399.7 | 5035.366666666667 |
| DRESDEN/sum15/CsgWKg | 1.476335817345806 | 7449.0 | 5045.6 |
| DRESDEN/racetrackcorridor/O0DoTA | 1.48548751965032 | 1291.4333333333334 | 869.3666666666667 |
| DRESDEN/chickentoetictac/cxYaRQ | 1.4919264215203225 | 5753.166666666667 | 3856.2 |
| DRESDEN/latenttictactoe/kITHKg | 1.5408438956282073 | 2832.5333333333333 | 1838.3 |
| BASE/coloredtrails/EZvr7g | 1.5459145427286356 | 2474.7 | 1600.8 |
| BASE/chickentoetictac/l57rfQ | 1.5543189923229626 | 5898.433333333333 | 3794.866666666667 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 1.5560488862941086 | 201.49303472638806 | 129.4901699433522 |
| BASE/racetrackcorridor/_RkdUg | 1.556896551724138 | 1474.9 | 947.3333333333334 |
| DRESDEN/sheep_and_wolf/enAIzQ | 1.576052095753797 | 960.4666666666667 | 609.4130195660144 |
| DRESDEN/blockerparallel/dVQgSg | 1.5930060258816556 | 1075.03083230559 | 674.844171860938 |
| BASE/hidato19/rRHSmA | 1.6028788974171349 | 976.6341121962602 | 609.3 |
| BASE/blockerParallel/7-nDJA | 1.6134614811347332 | 1079.9973334222193 | 669.3666666666667 |
| BASE/cubicup/4wNWJA | 1.6192286929540187 | 748.1417286090464 | 462.03586427571497 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 1.6508543588778009 | 4676.1 | 2832.5333333333333 |
| DRESDEN/cubicup/SBn_lw | 1.6549366724237191 | 766.5666666666667 | 463.2 |
| BASE/tictactoe_3d_6player/d7KSwg | 1.655742512671186 | 207.30569257432342 | 125.20406463434949 |
| STANFORD/duikoshi/tpw1sw | 1.6964156724039154 | 2270.2 | 1338.2333333333333 |
| DRESDEN/chickentictactoe/Ipbo-g | 1.7389017192712344 | 5421.2 | 3117.6 |
| BASE/ticTacToeLarge/TZC0dg | 1.7623965585183239 | 3577.9 | 2030.1333333333334 |
| BASE/othelloHoles/c0qAzw | 1.7640764826430162 | 38.12092156079371 | 21.609562814237673 |
| DRESDEN/tictactoe_3player/ESLQQQ | 1.796669407894737 | 1747.8 | 972.8 |
| DRESDEN/point_grab/r5DPmQ | 1.798281001974525 | 7741.3 | 4304.833333333333 |
| BASE/tictactoe_orthogonal/WRzlVw | 1.8136811135000566 | 7479.5 | 4123.933333333333 |
| BASE/ticTacToeLargeSuicide/727_8g | 1.8141354194766657 | 3586.6666666666665 | 1977.0666666666666 |
| BASE/brain_teaser_extended/ZDp94A | 1.8156404740644534 | 5964.5 | 3285.0666666666666 |
| DRESDEN/towerworld/HCX34w | 1.8177240684793552 | 60.1325915314655 | 33.08125395609155 |
| BASE/toetictac/mTThmg | 1.8184631366409647 | 8285.766666666666 | 4556.466666666666 |
| DRESDEN/brain_teaser_extended/ZDp94A | 1.8342698363692498 | 5941.2 | 3239.0 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 1.8524418908331155 | 5437.966666666666 | 2935.5666666666666 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 1.8547303905587795 | 7585.6 | 4089.866666666667 |
| DRESDEN/toetictac/mJtxCA | 1.8601422611006206 | 8307.333333333334 | 4465.966666666666 |
| BASE/othelloSuicide/B442jg | 1.8652559010885374 | 37.46541781940602 | 20.085939842110523 |
| BASE/othello-comp2007/86ZoMw | 1.8674845961698585 | 37.26894254787677 | 19.956760352569432 |
| DRESDEN/statespacelarge/8-y5HQ | 1.8754247183908552 | 7120.3 | 3796.633333333333 |
| BASE/ticblock/T21C1g | 1.8838610762121761 | 2948.9333333333334 | 1565.3666666666666 |
| BASE/double_tictactoe_dengji/zgaSbA | 1.8857777560785078 | 2574.9666666666667 | 1365.4666666666667 |
| DRESDEN/ticblock/Z2yNWQ | 1.9013272903852378 | 2936.6 | 1544.5 |
| DRESDEN/small_dominion/yB5GJA | 1.9048080211277494 | 38.1964101368677 | 20.052629825788614 |
| BASE/stateSpaceLarge/0Ge_CQ | 1.9263731633631855 | 7162.833333333333 | 3718.3 |
| DRESDEN/javastrike/whONTQ | 1.9393625445704712 | 530.3156561447952 | 273.4484367708819 |
| DRESDEN/snake_2009_big/DgC1NQ | 1.9523685534052635 | 759.9666666666667 | 389.2536915436152 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 1.9550850258000563 | 2563.8333333333335 | 1311.3666666666666 |
| BASE/copolymer_4_pie/IN5_jA | 1.9562766461392704 | 1376.5666666666666 | 703.6666666666666 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 1.958037093715449 | 8913.833333333334 | 4552.433333333333 |
| BASE/dotsAndBoxes/EHwA_w | 1.961072592097569 | 1565.0666666666666 | 798.0666666666667 |
| BASE/copolymer_4/2LDVhQ | 1.9622958799840686 | 1478.0666666666666 | 753.2333333333333 |
| STANFORD/breakthrough/d5j0cQ | 1.96971815438958 | 1784.4333333333334 | 905.9333333333333 |
| STANFORD/rainbow/_4qNSQ | 1.9758547672153361 | 11663.8 | 5903.166666666667 |
| BASE/futoshiki4/BaCwSw | 1.9851991324451226 | 2776.4333333333334 | 1398.5666666666666 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 2.015260543278085 | 1604.9 | 796.3734542181927 |
| BASE/snake_2009_big/-oRfVw | 2.0196747114375655 | 769.9 | 381.2 |
| BASE/roshambo2/KNPokQ | 2.0361898764654676 | 10994.0 | 5399.3 |
| BASE/breakthroughSmallHoles/bxclRw | 2.046466307359703 | 2240.266666666667 | 1094.7 |
| BASE/tictactoe_3player/GtM71g | 2.0632549632282893 | 1804.8666666666666 | 874.7666666666667 |
| BASE/chickentictactoe/DSlZCA | 2.0636053968215484 | 5674.433333333333 | 2749.766666666667 |
| BASE/incredible/8Qh-6Q | 2.083874603733709 | 4930.1 | 2365.8333333333335 |
| BASE/lightsOn/MsXu3A | 2.0904020569039075 | 12330.933333333332 | 5898.833333333333 |
| DRESDEN/roshambo2/jgSlkQ | 2.1021891716595706 | 10911.833333333334 | 5190.7 |
| DRESDEN/tictactoe/BTTzPw | 2.1035202863961815 | 7756.1 | 3687.2 |
| BASE/eotcatcit/AfZSzA | 2.111402843601896 | 7425.1 | 3516.6666666666665 |
| DRESDEN/tictactoeparallel/yk_DSg | 2.139036895546396 | 2836.9333333333334 | 1326.2666666666667 |
| DRESDEN/eotcatcit/mQUxzA | 2.1762215422512172 | 7538.866666666667 | 3464.2 |
| DRESDEN/stratego/Z2wovg | 2.2093715874118933 | 1483.6666666666667 | 671.5333333333333 |
| DRESDEN/chomp/-LcqYQ | 2.210194275442478 | 4262.433333333333 | 1928.5333333333333 |
| BASE/stateSpaceMedium/3bUoIw | 2.210478827281042 | 11922.733333333334 | 5393.733333333334 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 2.2528222545689793 | 4643.066666666667 | 2061.0 |
| DRESDEN/statespacemedium/dVJZ_w | 2.2621051723500485 | 12236.933333333332 | 5409.533333333334 |
| DRESDEN/peg/Vo31eg | 2.2695280898876407 | 1683.2333333333333 | 741.6666666666666 |
| DRESDEN/peg_bugfixed/u_B7MA | 2.3400854347526527 | 1698.2 | 725.7 |
| BASE/eotcitcit/V_9_bg | 2.348602644901333 | 6061.9 | 2581.0666666666666 |
| BASE/chomp/-LcqYQ | 2.361323433063988 | 4325.0 | 1831.6 |
| BASE/nim4/twk16w | 2.3614554275318373 | 3245.0333333333333 | 1374.1666666666667 |
| BASE/point_grab/V_osUg | 2.370034478330024 | 7996.733333333334 | 3374.1 |
| DRESDEN/nim3/sG_axA | 2.382794289044289 | 3271.1 | 1372.8 |
| BASE/tictactoe2/bhrDoQ | 2.389018271486549 | 9300.766666666666 | 3893.133333333333 |
| DRESDEN/circlesolitaire/ruUilQ | 2.404246505243151 | 9866.466666666667 | 4103.766666666666 |
| BASE/circlesolitaire/azuQFQ | 2.410560688769038 | 9818.133333333333 | 4072.9666666666667 |
| BASE/nim3/1OwUqw | 2.4115129151291512 | 3267.6 | 1355.0 |
| DRESDEN/nim4/F5YAYg | 2.414600584216498 | 3334.0 | 1380.7666666666667 |
| DRESDEN/tictictoe/LAUtwg | 2.4148211693282304 | 6099.033333333334 | 2525.6666666666665 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 2.4228046033083506 | 1821.0 | 751.6082797240092 |
| STANFORD/tictactoe/ss1kyQ | 2.4268284761616075 | 7472.366666666667 | 3079.0666666666666 |
| DRESDEN/CephalopodMicro/H3XQfg | 2.4440326167531508 | 219.79267357754742 | 89.93033565547815 |
| BASE/ticTacToe/JRFsaQ | 2.4624505928853755 | 7725.2 | 3137.2 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 2.4713116611232455 | 9089.566666666668 | 3678.0333333333333 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 2.474849107486837 | 12847.766666666666 | 5191.333333333333 |
| BASE/3pConnectFour/PqXOFQ | 2.489427012278308 | 1946.4 | 781.8666666666667 |
| STANFORD/trifecta/ss1kyQ | 2.515440528634361 | 7613.4 | 3026.6666666666665 |
| BASE/numbertictactoe/rvJ-iQ | 2.543071346185533 | 5144.633333333333 | 2023.0 |
| STANFORD/bestbuttonsandlights/nm0wEA | 2.555550408016043 | 12871.2 | 5036.566666666667 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 2.556268350561074 | 12711.3 | 4972.6 |
| DRESDEN/grid_game/U7_Yeg | 2.6054013065795614 | 1488.9 | 571.4666666666667 |
| BASE/tictactoe_3d_small_2player/oOryKA | 2.6223632402447836 | 2137.766666666667 | 815.2061597946736 |
| DRESDEN/knightwar/7hhAqg | 2.6281808750839075 | 1435.6 | 546.2333333333333 |
| DRESDEN/battlesnakes2011/93VtTw | 2.649387105829512 | 1887.6 | 712.4666666666667 |
| DRESDEN/mimikry/GJEhwA | 2.6591291500800263 | 2159.8333333333335 | 812.2333333333333 |
| DRESDEN/battlesnakes1509/-qZrLw | 2.6730564430244943 | 1924.3333333333333 | 719.9 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 2.6746216530849827 | 2144.3333333333335 | 801.7333333333333 |
| DRESDEN/cube_2x2x2/fp-34Q | 2.69024303756035 | 3287.5666666666666 | 1222.0333333333333 |
| BASE/ticTacToeParallel/ymRGPw | 2.7035082669736803 | 2817.866666666667 | 1042.3 |
| STANFORD/tictictoe/rpt_Dw | 2.70999217631342 | 6119.433333333333 | 2258.1 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 2.7344632768361583 | 790.5069831005633 | 289.09036365454483 |
| BASE/ticTicToe/c1OobQ | 2.735401927805349 | 6044.6 | 2209.766666666667 |
| DRESDEN/backgammon/mqCW0Q | 2.744140993346853 | 856.9666666666667 | 312.28959034698846 |
| STANFORD/nineboardtictactoe/y28P-A | 2.767442939320839 | 1988.5 | 718.5333333333333 |
| BASE/hexPie/48CH6Q | 2.8218057022175294 | 356.2762482501167 | 126.25824945003666 |
| BASE/nineBoardTicTacToe/wRmqqA | 2.824286855585319 | 2003.2666666666667 | 709.3 |
| BASE/cephalopodMicro/9l2D3g | 2.8409917769241715 | 221.86666666666667 | 78.0947936804213 |
| DRESDEN/tpeg/h-Scbg | 2.8522601476014757 | 2061.233333333333 | 722.6666666666666 |
| BASE/beatMania/qUHwvQ | 2.877824846546209 | 5547.966666666666 | 1927.8333333333333 |
| BASE/tpeg/QNs7Lw | 2.893351013449517 | 2036.5333333333333 | 703.8666666666667 |
| BASE/snake_2009/7l-qAQ | 2.9039163391353173 | 1379.1666666666667 | 474.93333333333334 |
| DRESDEN/nim2/z5_exA | 2.955540714592377 | 4130.466666666666 | 1397.5333333333333 |
| BASE/nim2/eF2Qqw | 2.9605775355651494 | 4183.0 | 1412.9 |
| BASE/hex/T1MK8g | 2.997048785611089 | 392.87380841277246 | 131.0868913108689 |
| BASE/god/qF06gw | 3.0359648164335664 | 63.06818181818182 | 20.77368666355949 |
| DRESDEN/snake_2009/zIYLVw | 3.041273586589484 | 1400.9666666666667 | 460.6513116229459 |
| STANFORD/hex/MTqWcw | 3.051013551165147 | 401.5 | 131.59561347955068 |
| DRESDEN/bidding-tictactoe/yW5vTA | 3.2241744230524034 | 4214.533333333334 | 1307.1666666666667 |
| BASE/connectFourSimultaneous/7ITr3g | 3.2510373443983402 | 1775.9333333333334 | 546.2666666666667 |
| BASE/aipsrovers01/4C4jsw | 3.2699764289923396 | 3699.4333333333334 | 1131.3333333333333 |
| DRESDEN/aipsrovers01/qS47Mw | 3.285058688553526 | 3722.3 | 1133.1 |
| DRESDEN/logistics/fPru1Q | 3.311212383714361 | 2930.5333333333333 | 885.0333333333333 |
| DRESDEN/god/2EDD5w | 3.330202701598205 | 69.6263706962637 | 20.90754735825815 |
| DRESDEN/oisters_farm/pTQMLg | 3.339705484208915 | 9457.266666666666 | 2831.766666666667 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 3.40575773177667 | 259.81601226584894 | 76.2872854524246 |
| DRESDEN/pawn_whopping/4ogBkg | 3.4263346257083205 | 3829.5 | 1117.6666666666667 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 3.4304653438918056 | 2570.3333333333335 | 749.2666666666667 |
| DRESDEN/smallest/9kaGFw | 3.4638054363376254 | 2017.6666666666667 | 582.5 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 3.499327725837216 | 3730.4 | 1066.0333333333333 |
| STANFORD/untwistycorridor/EDPPAQ | 3.5094656183982367 | 22869.666666666668 | 6516.566666666667 |
| DRESDEN/connectfoursuicide/M9CNQg | 3.5198640695067263 | 3349.0333333333333 | 951.4666666666667 |
| BASE/untwistycomplex2/EDPPAQ | 3.556856819040423 | 22909.833333333332 | 6441.033333333334 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 3.585443410670121 | 9133.2 | 2547.3 |
| DRESDEN/Thief_Police/CX18rA | 3.595127777704858 | 9130.066666666668 | 2539.5666666666666 |
| DRESDEN/chinesecheckers1/Y-ftaA | 3.614812212041207 | 2327.5 | 643.8785373820873 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 3.627031799756519 | 9037.233333333334 | 2491.633333333333 |
| DRESDEN/connectfour/5tc-Mg | 3.6376974376974376 | 3454.6 | 949.6666666666666 |
| DRESDEN/catch_me/ghGWrA | 3.642598078941425 | 9139.4 | 2509.0333333333333 |
| STANFORD/hunter/14dD-g | 3.6777898158179854 | 7920.733333333334 | 2153.6666666666665 |
| BASE/biddingTicTacToe/8mESVw | 3.685951136927523 | 4209.233333333334 | 1141.9666666666667 |
| DRESDEN/8puzzle/8fKC2w | 3.694242742424467 | 8326.7 | 2253.9666666666667 |
| DRESDEN/knightmove/97Ipcw | 3.6969992461221395 | 1514.7333333333333 | 409.7196760107996 |
| BASE/ticTacToeNoVars/XT03NA | 3.8332076141456275 | 8638.9 | 2253.7 |
| BASE/qyshinsu/R08Lzw | 3.842071143188142 | 812.7729075697476 | 211.54551211545513 |
| DRESDEN/Goldrush/VeWczQ | 3.8531345366402636 | 1978.1333333333334 | 513.3828872370921 |
| DRESDEN/3pffa/0YrmQw | 3.857956139999198 | 3207.633333333333 | 831.4333333333333 |
| STANFORD/connectfour/VMpZkQ | 3.8875154511742895 | 3459.5 | 889.9 |
| BASE/connectFourSuicide/c8p9Kw | 3.8999582843490463 | 3427.9333333333334 | 878.9666666666667 |
| BASE/connectFour/WAIKTw | 3.9615295301493925 | 3411.9333333333334 | 861.2666666666667 |
| BASE/knightmove/jBaJEw | 4.006101874117003 | 1543.7666666666667 | 385.353821539282 |
| BASE/nim1/hin2Qw | 4.041998687541015 | 5748.8 | 1422.2666666666667 |
| DRESDEN/nim1/M9BALA | 4.056387295368686 | 5798.2 | 1429.4 |
| BASE/connectFour_9x6/B9TtMw | 4.091504622911398 | 3289.4333333333334 | 803.9666666666667 |
| BASE/dualConnect4/WbCQkg | 4.1298338572871875 | 1952.9333333333334 | 472.8842371920936 |
| BASE/tron_10x10/7ZTgDg | 4.228275681341719 | 5378.366666666667 | 1272.0 |
| DRESDEN/3pttc/uwYBZw | 4.412062706928877 | 3686.866666666667 | 835.6333333333333 |
| BASE/pawnWhopping/Ypc_6Q | 4.525976973548467 | 3655.9333333333334 | 807.7666666666667 |
| BASE/snakeAssemblit/UO4sdg | 4.52631923530182 | 2304.5 | 509.1333333333333 |
| BASE/checkLines/Vop7oQ | 4.550342512722646 | 3179.0666666666666 | 698.6433785540482 |
| BASE/eightPuzzle/vLrgFg | 4.563355222128472 | 8292.833333333334 | 1817.2666666666667 |
| STANFORD/eightpuzzle/W_aWbA | 4.564232943378286 | 8426.966666666667 | 1846.3051231625614 |
| STANFORD/8puzzle/jNiGtw | 4.597562989741801 | 8351.166666666666 | 1816.4333333333334 |
| BASE/pegEuro/5awwhg | 4.610491161349391 | 1454.6666666666667 | 315.51229918005464 |
| DRESDEN/hanoi/RQ0jiA | 4.629879671180652 | 7772.333333333333 | 1678.7333333333333 |
| BASE/connectFourLarge/aU644A | 4.800850757893476 | 2671.0333333333333 | 556.3666666666667 |
| BASE/duplicateStateMedium/U163eQ | 4.839512328502726 | 10029.566666666668 | 2072.4333333333334 |
| BASE/hanoi/iGLsJg | 4.871868524179814 | 7915.0 | 1624.6333333333334 |
| BASE/4pffa/Q3ADlg | 4.898889107883817 | 2203.7 | 449.8366775548297 |
| DRESDEN/snake_2008/E56l3A | 4.910688949660691 | 1616.0 | 329.07806146256917 |
| BASE/snake_2008/i6K26g | 4.927027841994169 | 1633.912202926569 | 331.6222792573581 |
| BASE/escortLatch/mX9BjQ | 4.98740176466114 | 2185.5 | 438.20411972535163 |
| BASE/rubiksCube/9tNO9Q | 5.009694343065694 | 1464.1666666666667 | 292.26666666666665 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 5.037951482479784 | 3115.133333333333 | 618.3333333333334 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 5.053402981805369 | 679.1773607546415 | 134.4 |
| BASE/smallest_4player/ADDROA | 5.062776477073337 | 3622.633333333333 | 715.542815239492 |
| BASE/snake_2008_tweaked/bX0NJQ | 5.099177748451934 | 1674.4 | 328.3666666666667 |
| DRESDEN/pentago_2008/hLjVpQ | 5.102001867887871 | 2042.4333333333334 | 400.31998933368885 |
| DRESDEN/smallest_4player/ADDROA | 5.147503817147088 | 3708.4333333333334 | 720.4333333333333 |
| BASE/tictactoe_3d_2player/IUC1rQ | 5.1551447022621435 | 688.5666666666667 | 133.56883393874762 |
| BASE/peg/fJHVWw | 5.222108075672685 | 1677.6333333333334 | 321.2559581347288 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 5.351603239764784 | 3215.6 | 600.8666666666667 |
| BASE/pentago/86NgKw | 5.353410951917692 | 2017.6333333333334 | 376.88743708543046 |
| BASE/pentagoSuicide/SBgNhw | 5.381136011584855 | 2002.4333333333334 | 372.1209293023566 |
| STANFORD/alquerquezero/uVgA_A | 5.590925802814711 | 1597.8333333333333 | 285.7904736508783 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 5.627904275092937 | 3229.6666666666665 | 573.8666666666667 |
| STANFORD/pentago/ZxzLmg | 5.766949137200208 | 2343.0333333333333 | 406.28645711809605 |
| BASE/3pffa/pR0dzA | 5.773211947371702 | 3086.1666666666665 | 534.5666666666667 |
| DRESDEN/fizzbuzz/t1xHzQ | 5.872529528710093 | 5021.6 | 855.1 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 6.083582089552238 | 2921.133333333333 | 480.1666666666667 |
| BASE/chineseCheckers4/avfBcQ | 6.153773443021201 | 1857.4333333333334 | 301.83648301836485 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 6.161393143488456 | 3036.233333333333 | 492.7835738808706 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 6.176391217672414 | 3056.8 | 494.9168361054632 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 6.192791874791874 | 1446.3333333333333 | 233.55109659356043 |
| BASE/breakthroughSmall/HJ0tIA | 6.253037216348235 | 2247.266666666667 | 359.38802039932 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 6.339325991773916 | 3185.3 | 502.46666666666664 |
| BASE/minichess-evilconjuncts/4OpQzw | 6.350398839738941 | 1459.5333333333333 | 229.83333333333334 |
| BASE/breakthroughSuicideSmall/XSbJog | 6.373454640980735 | 2304.7 | 361.6092260515966 |
| BASE/chineseCheckers6/rREH3A | 6.395932014488715 | 1530.3333333333333 | 239.26666666666668 |
| BASE/2pffa/6oHijA | 6.596646376478695 | 3829.133333333333 | 580.4666666666667 |
| BASE/duplicateStateLarge/dcjyuw | 6.62189118071471 | 5200.833333333333 | 785.4 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 6.8988253223283165 | 2841.6666666666665 | 411.90587294180386 |
| STANFORD/chinook/osFbPA | 6.951138808193573 | 626.4457851404953 | 90.12131715771231 |
| BASE/2pffa_zerosum/o0_uZA | 7.0953115775775775 | 3937.766666666667 | 554.9815006166461 |
| BASE/shmup/ssTNlg | 7.115642568300622 | 4809.7 | 675.9333333333333 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 7.15304805502976 | 2883.774415038997 | 403.1532282257258 |
| BASE/sheepAndWolf/g4THrg | 7.2179835786473 | 929.4356854771507 | 128.76666666666668 |
| BASE/chinook/XQh0IQ | 7.221197939382275 | 682.6439118696044 | 94.53333333333333 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 7.3571378805824565 | 3519.9 | 478.43333333333334 |
| DRESDEN/Runners/3bOCQw | 7.36239820673609 | 8649.1 | 1174.7666666666667 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 7.636333131270902 | 3653.1 | 478.3840538648712 |
| BASE/asteroidsSerial/id2QkA | 7.7266071167081565 | 5276.5 | 682.9 |
| BASE/mineClearingSmall/frsbvw | 7.732225454169253 | 2076.0333333333333 | 268.4910502983234 |
| BASE/knightwar/DVGY4Q | 7.81048463134075 | 1380.6333333333334 | 176.76666666666668 |
| STANFORD/freeforall/Lfp40Q | 7.994624396967608 | 3866.733333333333 | 483.6666666666667 |
| BASE/kalaha5x2x3/WviNsw | 8.18527020194313 | 3575.633333333333 | 436.83754416372244 |
| DRESDEN/pancakes88/aD3E7g | 8.208289989597503 | 10257.9 | 1249.7 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 8.254038185467211 | 3107.266666666667 | 376.4541181960601 |
| DRESDEN/4pttc/9pB9AQ | 8.330646731880835 | 2498.0 | 299.8566714442852 |
| BASE/asteroids/BKCmPQ | 8.51796658111152 | 10841.1 | 1272.7333333333333 |
| DRESDEN/pancakes6/SZXMyQ | 8.614681468656107 | 11277.766666666666 | 1309.1333333333334 |
| BASE/connectFourLarger/qKi60A | 8.678702681205225 | 1830.5666666666666 | 210.92630245658478 |
| BASE/asteroidsParallel/WauZiA | 8.898764302059496 | 6481.266666666666 | 728.3333333333334 |
| DRESDEN/capture_the_king/EQ229Q | 9.094909125919589 | 407.772815145657 | 44.83528196928817 |
| DRESDEN/pancakes/hl9aiQ | 9.206456734585869 | 11597.066666666668 | 1259.6666666666667 |
| STANFORD/pilgrimage/ObRZnQ | 9.284391815393196 | 2219.366666666667 | 239.0427623904276 |
| BASE/englishDraughts/jFkQxg | 9.58640606567933 | 2481.0333333333333 | 258.8074525880745 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 9.640711998604813 | 3685.2 | 382.25392486917104 |
| BASE/chineseCheckers3/-1rZdQ | 9.823626824906027 | 3600.5666666666666 | 366.5211159628012 |
| BASE/brawl/6Ymo_Q | 10.190404015764164 | 397.5401639890674 | 39.01122697138288 |
| DRESDEN/brawl/2kXtfQ | 10.305084356429223 | 406.62600406626007 | 39.45877491168433 |
| DRESDEN/frogs_and_toads/GjchhQ | 10.31788530674422 | 2483.266666666667 | 240.67593240675933 |
| BASE/skirmishHoles/AUCxCA | 10.339545098039217 | 327.93333333333334 | 31.71641791044776 |
| BASE/snakeParallel/RCVNtw | 10.384951804233037 | 23666.266666666666 | 2278.9 |
| BASE/chess_200/XsTpYA | 10.871087217202954 | 131.39562014599514 | 12.086704624912596 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 11.023590469450342 | 1557.6333333333334 | 141.3 |
| BASE/breakthroughHoles/nZk0Sg | 11.225238095238096 | 1430.0 | 127.39150723285114 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 11.31384520782396 | 1542.3 | 136.31970136319703 |
| BASE/endgame/jYjfOA | 11.340805176106032 | 821.20595980134 | 72.41160985037823 |
| BASE/chineseCheckers2/eCMR3Q | 11.392706024581905 | 5654.2 | 496.3 |
| DRESDEN/breakthrough/z4hK7Q | 11.684543027295286 | 1569.4666666666667 | 134.319901343199 |
| DRESDEN/skirmish3/3LU8Nw | 11.751978938906753 | 730.9 | 62.193780621937805 |
| BASE/breakthrough/TGxk-g | 11.85256225490196 | 1531.3 | 129.19569347688412 |
| BASE/racer/QQYQNw | 11.950879210889047 | 216.49278357388087 | 18.115218115218116 |
| DRESDEN/racer/vk_ZBA | 11.982646827866917 | 218.14909854367315 | 18.20541835851694 |
| DRESDEN/knightthrough/J7Fc_Q | 12.03736476473993 | 1617.3666666666666 | 134.3621879270691 |
| BASE/breakthroughWalls/vOZaYA | 12.047741935483872 | 1556.1666666666667 | 129.16666666666666 |
| BASE/breakthroughSuicide/wZDpIg | 12.484495307994758 | 1587.4 | 127.14971337155046 |
| DRESDEN/pacman3p/rBnk8Q | 12.545896103263518 | 858.3 | 68.41280949048618 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 12.608803628117913 | 123.53333333333333 | 9.797387363369769 |
| DRESDEN/bomberman2p/x4h6jQ | 12.66060317660937 | 1669.2333333333333 | 131.84469255124145 |
| BASE/kalaha6x2x4/XS81Mg | 12.660618798580222 | 3130.866666666667 | 247.2917569414353 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 12.839384389437933 | 125.53723138430784 | 9.777511723037016 |
| BASE/checkers-mustjump-torus/uSApKQ | 12.904119844357977 | 110.2 | 8.539908287366252 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 12.987841320624764 | 518.5629540758515 | 39.926800865080686 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 13.035586951451135 | 514.4780247242678 | 39.46719289590528 |
| BASE/chineseCheckers1/gqtwHw | 13.306830860779371 | 10733.733333333334 | 806.6333333333333 |
| DRESDEN/Zhadu/9zpQ5w | 13.456117408906882 | 553.6666666666666 | 41.146093619856735 |
| DRESDEN/guess/PhxGhg | 13.570872991649871 | 3141.9 | 231.51789880674622 |
| BASE/bomberman2p/4CClwA | 13.669579030976966 | 1721.0 | 125.9 |
| BASE/guess/SPpk1A | 13.673491251257003 | 3172.6 | 232.0255991466951 |
| BASE/pancakes6/QZTdnw | 14.00595487712824 | 11132.866666666667 | 794.8666666666667 |
| BASE/pacman3p/wW7UVQ | 14.2246442485755 | 887.2333333333333 | 62.37297171225802 |
| DRESDEN/amazons/dNB28A | 14.296168347563363 | 164.38401812789496 | 11.498466871083856 |
| BASE/pancakes/yUgbXw | 14.301042279566277 | 11342.633333333333 | 793.1333333333333 |
| BASE/checkersSmall/SYmq8w | 14.824804970535487 | 1285.6333333333334 | 86.72177043060925 |
| BASE/checkers/rOC3Xg | 14.91102985288841 | 923.3666666666667 | 61.92507665644581 |
| BASE/knightazons/apnJBQ | 14.992490933333334 | 749.2 | 49.971682713129226 |
| BASE/choicethroughalt/tt71Lg | 15.171427104722794 | 1477.5 | 97.38701506465804 |
| DRESDEN/knightazons/02I8BQ | 15.326569015356819 | 753.9666666666667 | 49.19344087455006 |
| BASE/checkers-mustjump/T-8UuQ | 15.530232084144583 | 180.05466302246518 | 11.593816631130064 |
| BASE/checkersTiny/Lr48cg | 15.703178732464929 | 2089.5 | 133.06223125895804 |
| BASE/strangeSkirmish/gc1zKA | 16.241828017565712 | 413.7390840610626 | 25.473677200226433 |
| BASE/pacman2p/4LEdQg | 16.267467244179752 | 1001.2 | 61.5461512829057 |
| BASE/skirmish/Y_psYQ | 16.463377718597425 | 411.6666666666667 | 25.004994339748286 |
| DRESDEN/mummymaze2p/k-8edg | 16.531884835164835 | 751.9 | 45.48180727708917 |
| DRESDEN/skirmish2/iPpWhQ | 16.773143849414765 | 756.6747775074164 | 45.112280935563405 |
| BASE/mummymaze2p/vpjDdA | 17.104304922850844 | 775.5 | 45.33946298887334 |
| BASE/ttcc4_2player_small/Cv72TA | 17.148062559241705 | 4221.0 | 246.1502566495567 |
| BASE/gt_coordination/IVMOzA | 17.17794475746067 | 12959.041525028328 | 754.4 |
| DRESDEN/skirmish/RjGQYQ | 17.55945283018868 | 744.0 | 42.37034076146697 |
| BASE/skirmishFinal3/-Olhfw | 17.724255187386976 | 575.4474850838305 | 32.46666666666667 |
| DRESDEN/gt_ultimatum/pAiiQw | 18.090331895125367 | 6316.933333333333 | 349.1883603879871 |
| DRESDEN/knightstour/cGISAA | 18.373340308014217 | 39807.066666666666 | 2166.5666666666666 |
| DRESDEN/gt_prisoner/huCp4w | 18.383058851696383 | 11533.146685331467 | 627.3790873637546 |
| BASE/checkers-newgoals/0XkFiA | 18.792870212765955 | 529.8 | 28.191542537238828 |
| DRESDEN/tttcc4/sAvtFg | 18.979506810035844 | 2058.9333333333334 | 108.48191968005332 |
| DRESDEN/ghostmaze2p/HY0UwA | 19.215731491985203 | 2597.0666666666666 | 135.1531513515315 |
| BASE/ttcc4/Le0qjQ | 19.601195618556698 | 2027.8 | 103.4528729502733 |
| BASE/ghostMaze2p/W-NU-w | 19.716250834403084 | 2559.4 | 129.81169805032494 |
| BASE/2pttc/unkkYA | 19.79557427536232 | 4249.166666666667 | 214.65235650956603 |
| DRESDEN/pawntoqueen/f_x6Aw | 19.818458143058564 | 100.05997600959616 | 5.048827476250581 |
| BASE/skirmishFinal2/gdB62Q | 19.904416262739097 | 550.9483017232759 | 27.679701552195056 |
| DRESDEN/minichess/c7GMFw | 19.96181863429439 | 4384.8 | 219.65934468851037 |
| BASE/tttcc4/8Bs2lg | 20.044336779388082 | 2073.9666666666667 | 103.46895931220634 |
| DRESDEN/skirmishfinal/hzq8ww | 20.093284928779887 | 559.4480183993867 | 27.84253646839406 |
| BASE/skirmishFinal1/ecWTnQ | 20.131738636363636 | 531.0 | 26.376261364771704 |
| BASE/gt_ultimatum/GE-uOA | 20.650824753495215 | 6236.133333333333 | 301.97986800879943 |
| BASE/pawnToQueen/-O1_JA | 20.697662533884372 | 103.31955739234769 | 4.991846650470897 |
| BASE/crossers3/O0rORg | 21.55526224328594 | 1061.1666666666667 | 49.23005132991134 |
| STANFORD/platformjumpers/HEQskA | 22.32075294117647 | 568.8 | 25.48301132578281 |
| BASE/mummyMaze2p_2007/YGA3Vw | 22.331955421552205 | 2221.733333333333 | 99.4867351019864 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 22.804028685258963 | 2289.0666666666666 | 100.37992401519696 |
| DRESDEN/crossers3/xiPTxg | 23.061584408237156 | 1131.8333333333333 | 49.07873254922867 |
| DRESDEN/endgame/IJhh3Q | 23.195472822406895 | 837.1333333333333 | 36.09037589976006 |
| BASE/gt_prisoner/klthDw | 23.304180887372016 | 12745.833333333334 | 546.9333333333333 |
| DRESDEN/twisty-passages/j7NPyg | 23.506164022233452 | 1549.9 | 65.93589658159526 |
| BASE/knightThrough/gcwFjA | 23.608593079584775 | 1591.9 | 67.4288380774615 |
| BASE/gt_staghunt/xPjLRA | 23.930896975338108 | 12814.197633727712 | 535.4666666666667 |
| BASE/3pttc/0sol9g | 23.94681752616701 | 3482.4333333333334 | 145.42363842410506 |
| STANFORD/ttcc4/Cx9SGw | 24.087773121620067 | 2325.5333333333333 | 96.5441397007365 |
| BASE/racer4/0vs7Ww | 24.519766857734453 | 368.2210592980234 | 15.017314864144913 |
| BASE/twisty-passages/DiZmmg | 24.966101694915256 | 1571.2 | 62.93333333333333 |
| DRESDEN/gt_chicken/CeuKtw | 25.08644892202344 | 12341.696654671465 | 491.96666666666664 |
| BASE/knightsTour/mvtVIg | 25.39165579624917 | 39579.666666666664 | 1558.7666666666667 |
| BASE/4pttc/AL1k2Q | 26.382912500000003 | 2412.4333333333334 | 91.4392348961978 |
| DRESDEN/babel/WdSW4A | 26.817045133819953 | 2203.7 | 82.17534739578126 |
| BASE/ttcc4_2player/_aH_Mw | 26.850833416995336 | 2495.733333333333 | 92.94807705125642 |
| STANFORD/knightstour/cEwgNA | 26.97561609424401 | 41522.666666666664 | 1539.2666666666667 |
| BASE/nonogram_10x10_1/0Xc62g | 27.27231753177239 | 771.8152123191787 | 28.30031629765274 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 27.38936317814034 | 2293.9333333333334 | 83.75270788201966 |
| BASE/knightsTourLarge/M8jgLA | 28.107367159450895 | 16857.3 | 599.7466751108296 |
| BASE/ttcc4_2player_alt/ZEJvYA | 28.271453721910117 | 2683.366666666667 | 94.91435046324068 |
| BASE/gt_chicken/gmepTQ | 29.02758779681857 | 12591.2 | 433.76666666666665 |
| BASE/checkersBarrelNoKings/rnKNeg | 30.30373949903661 | 2620.4 | 86.47117627457514 |
| BASE/checkersTorusNoKings/pwb6oQ | 30.6959871001032 | 2643.0666666666666 | 86.10463178940353 |
| STANFORD/knightstourbig/TQUI2g | 32.74224751066856 | 15345.2 | 468.6666666666667 |
| DRESDEN/connect5/1kYzSg | 33.2828864321608 | 661.8 | 19.884092725819343 |
| DRESDEN/hanoi7/51zz5Q | 35.457262269665776 | 6199.466666666666 | 174.8433542194374 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 36.30697154152781 | 6172.366666666667 | 170.00499916680553 |
| BASE/connect5/d-BVQg | 37.07096092796093 | 674.4666666666667 | 18.193935354881706 |
| BASE/amazons_8x8/7SOsIw | 37.21109875721261 | 1862.1666666666667 | 50.04331312054374 |
| DRESDEN/satlike_20v_91c/yeuENQ | 38.03277585587458 | 1491.1345153979469 | 39.20656543841579 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 39.054481034482755 | 1501.1 | 38.43605036447979 |
| BASE/checkersTorus/2vm1EQ | 39.234330537862704 | 2462.766666666667 | 62.770707003398414 |
| BASE/blobwars/0XT15Q | 39.362192902408104 | 688.9333333333333 | 17.502412404751606 |
| DRESDEN/blobwars/ZaMluQ | 39.50606855160903 | 704.2431918936036 | 17.826202852192456 |
| BASE/hanoi7_bugfix/3gdnFw | 40.016701902748416 | 6309.3 | 157.66666666666666 |
| BASE/skirmishNew/sibw2g | 43.180486095505614 | 1024.1 | 23.716731621198495 |
| STANFORD/knightstourmedium/x1wu8Q | 44.80076871408314 | 80038.06666666667 | 1786.5333333333333 |
| BASE/skirmishZeroSum/zh4hcw | 47.28329943502825 | 1021.5333333333333 | 21.604527296937416 |
| BASE/speedChess/bPnisA | 47.538191702432044 | 1106.5333333333333 | 23.276723276723278 |
| BASE/amazonsSuicide_10x10/XIbQkg | 63.19713976945245 | 1460.5 | 23.11022311022311 |
| BASE/amazons_10x10/Bun8dA | 64.32325252525253 | 1483.0 | 23.05542617605962 |
| BASE/nonogram_5x5_1/qLKEZw | 65.18522870991796 | 5826.2 | 89.37914486619789 |
| DRESDEN/battle/8oAvhQ | 67.7709757500837 | 257.9914002866571 | 3.8068125393094774 |
| STANFORD/skirmish/w4V6Vw | 68.66653306122448 | 559.2666666666667 | 8.144676041355009 |
| BASE/battle/8oAvhQ | 70.70079658700796 | 263.44032263440323 | 3.7261294829995344 |
| DRESDEN/quarto/OQzRYQ | 89.9726456140351 | 2334.266666666667 | 25.944181709185372 |
| BASE/amazonsTorus_10x10/Uxc08g | 92.745279933665 | 1240.9666666666667 | 13.380375449340967 |
| STANFORD/madness/UO_B3A | 97.44448122270744 | 741.7 | 7.611513660838928 |
| BASE/colonelBlottoVariant2/jruwGw | 97.48936602972398 | 4080.4666666666667 | 41.855505198613706 |
| BASE/knightfight/SJRkAg | 97.6000025656689 | 5323.4 | 54.54303135308033 |
| DRESDEN/quartosuicide/WIU1oQ | 97.88587833333334 | 2348.4 | 23.99120322548399 |
| BASE/quarto/EwBMVQ | 101.29340182445759 | 2281.0333333333333 | 22.519071254871914 |
| BASE/gt_tinfoil/Q8DyKg | 101.33832356241234 | 12041.166666666666 | 118.82145118821451 |
| DRESDEN/knightfight/4_Ly4w | 103.90214646464648 | 5486.033333333334 | 52.8 |
| DRESDEN/four_way_battle/xSOQXA | 104.33169547614744 | 688.9437018766041 | 6.60339792938678 |
| BASE/quartoSuicide/-23jUg | 107.11214219474496 | 2308.6666666666665 | 21.55373442601106 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 109.7416570449351 | 111.54435779510764 | 1.016426768090757 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 110.50858666666667 | 127.63333333333334 | 1.1549630411826821 |
| BASE/four_way_battle/xSOQXA | 113.11152644927536 | 692.0666666666667 | 6.118445116882254 |
| DRESDEN/hanoi_6_disks/MeubgQ | 113.19570038715118 | 32810.566666666666 | 289.85700476650777 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 113.63334901960785 | 128.03333333333333 | 1.1267232237539766 |
| BASE/hanoi_6_disks/MeubgQ | 115.7850846671306 | 33276.63333333333 | 287.4 |
| BASE/colonelBlottoVariant/X-n-KQ | 121.74521949685536 | 5159.933333333333 | 42.38304678128748 |
| BASE/gt_two_thirds_2p/1APDGg | 122.72116543209876 | 330.4 | 2.6922821245762147 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 132.30718085106383 | 19.9468085106383 | 0.15076134479119555 |
| BASE/kitten_escapes_from_fire/uW-YiA | 138.728670892653 | 88999.06666666667 | 641.5333333333333 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 140.64526365896228 | 88639.33333333333 | 630.2333333333333 |
| BASE/kalaha_2009/dRiN3g | 146.42203569632983 | 3231.8333333333335 | 22.07204208003196 |
| DRESDEN/kalaha_2009/gcC8uA | 147.8920711043873 | 3255.3 | 22.01132201132201 |
| DRESDEN/chinesecheckers2/06E6-Q | 149.09411463414634 | 1627.6 | 10.916594555015642 |
| DRESDEN/checkers-mustjump/HUr33w | 151.82352612612613 | 184.43333333333334 | 1.2147875763346248 |
| BASE/amazonsSuicide/dE1QEQ | 157.7912002487562 | 13.526119402985074 | 0.08572163328285282 |
| BASE/amazons/RKKZjw | 185.51327246879026 | 13.561242169798748 | 0.0731011964229148 |
| BASE/onestep/xi53wA | 186.0498459378291 | 2862079.2 | 15383.4 |
| DRESDEN/cylinder-checkers/clOO3Q | 186.9544802631579 | 468.23333333333335 | 2.5045312242544076 |
| BASE/cylinder-checkers/hlldmw | 191.30952879348465 | 478.0507316422786 | 2.4988338775238224 |
| DRESDEN/checkers-newgoals/IJOqXQ | 198.40049396727426 | 539.3820205993134 | 2.718652609243419 |
| DRESDEN/max_knights/hCipiA | 200.37724857621438 | 1327.2666666666667 | 6.623839163865127 |
| BASE/max_knights/2fq3Ag | 204.618470751634 | 1387.5666666666666 | 6.78123857328059 |
| BASE/solitaireChineseCheckers/-ET6gw | 233.77476381172838 | 3232.633333333333 | 13.827982458948178 |
| BASE/survival/YVIjJA | 259.07736545891134 | 2740503.1 | 10577.933333333332 |
| DRESDEN/checkers/jIDMIg | 260.27301437369925 | 615.9794673510883 | 2.3666666666666667 |
| BASE/gt_attrition/kD_SCA | 317.6655578147395 | 369.12102929902335 | 1.1619800139437602 |
| BASE/switches/tPUoCg | 351.3732126009982 | 2222213.033333333 | 6324.366666666667 |
| BASE/haystack/UkweGA | 352.2888456697763 | 4842433.3 | 13745.633333333333 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 370.17787612662 | 2138468.2333333334 | 5776.866666666667 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 370.86317814136123 | 9439.3 | 25.45224372855382 |
| BASE/troublemaker01/s3tlEQ | 410.50516784267256 | 4572781.266666667 | 11139.4 |
| DRESDEN/troublemaker01/C-lPWw | 414.69019958032726 | 4690312.033333333 | 11310.4 |
| STANFORD/buttonsandlights/eyhJpA | 417.48075998889936 | 4111879.3333333335 | 9849.266666666666 |
| BASE/pancakes88/l2Xaig | 423.0231213389121 | 10105.2 | 23.888055972013994 |
| DRESDEN/troublemaker02/iZLVuA | 441.3703944027535 | 4171950.6666666665 | 9452.266666666666 |
| BASE/troublemaker02/DI83KA | 445.0929937951503 | 4134216.6 | 9288.433333333332 |
| DRESDEN/statespacesmall/h-NqjA | 456.0771018730155 | 3930882.933333333 | 8618.9 |
| BASE/stateSpaceSmall/Q7osKA | 456.58588662994345 | 4127810.3666666667 | 9040.6 |
| BASE/wargame01/_GZFZg | 481.9322529411765 | 2174.9 | 4.512874966817096 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 501.30112081413216 | 7239.366666666667 | 14.441153961334974 |
| BASE/buttons/hTcUjw | 518.8843355179546 | 4164461.9 | 8025.8 |
| DRESDEN/buttons/ADUaHw | 527.258831297458 | 4152374.2 | 7875.4 |
| STANFORD/sukoshi/4LYZZQ | 606.0019946043395 | 1579867.4 | 2607.0333333333333 |
| BASE/blocksWorld/SEdXLQ | 628.058161129756 | 4441459.833333333 | 7071.733333333334 |
| BASE/snake2p/I3wWPQ | 633.956843631428 | 685032.6333333333 | 1080.5666666666666 |
| BASE/blocks/xIV5hQ | 643.5100964881367 | 4504012.966666667 | 6999.133333333333 |
| DRESDEN/blocks/vg0DRw | 649.9422081256027 | 4514996.866666666 | 6946.766666666666 |
| DRESDEN/hitori/S8Gsyg | 662.0818950980391 | 742.3666666666667 | 1.121261088942387 |
| BASE/hitori/S8Gsyg | 664.8074377912893 | 747.6417452751575 | 1.1245989481692191 |
| STANFORD/tictactoe7/-bE9-A | 669.8924526698255 | 2101809.9 | 3137.5333333333333 |
| BASE/duplicateStateSmall/bCPAXw | 687.3948918044334 | 4163505.033333333 | 6056.933333333333 |
| BASE/pearls/6k_mEQ | 713.4827548543262 | 6749998.733333333 | 9460.633333333333 |
| DRESDEN/battlebrushes/QHXV4A | 771.3216845152781 | 338.0553981533949 | 0.43828068747456406 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 782.1658395291203 | 14022.166666666666 | 17.92735754748417 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 803.9019738281249 | 13711.7 | 17.056432806982478 |
| BASE/hodgepodge/9yjRkw | 876.3321409137628 | 2898848.3 | 3307.9333333333334 |
| BASE/maze/cCX3qQ | 940.887331007534 | 5690580.666666667 | 6048.1 |
| DRESDEN/chinesecheckers4/-oVNYg | 1022.3281607142857 | 938.5 | 0.9180026884364447 |
| BASE/wargame03/klXI8w | 1049.3329632302405 | 3389.5666666666666 | 3.2302107962303106 |
| DRESDEN/tictactoe-init1/3ltIBQ | 1082.4939713357746 | 3704964.7 | 3422.6192460251323 |
| BASE/tictactoe-init1/7M19vA | 1143.461685785134 | 3781275.3333333335 | 3306.866666666667 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 1151.4880132780083 | 18478.4 | 16.047409774936742 |
| DRESDEN/blocksworldparallel/2JfVaw | 1235.9831220316366 | 3148914.2 | 2547.7 |
| BASE/wargame02/BkVqqQ | 1240.5206543209877 | 5564.166666666667 | 4.485347863645425 |
| STANFORD/tictactoe5/WFRReg | 1305.3561021887917 | 3852628.0 | 2951.4 |
| BASE/gt_dollar/TGjqRw | 1380.5676127897602 | 3767937.1666666665 | 2729.266666666667 |
| STANFORD/threepuzzle/41ibjA | 1419.118839035555 | 4794918.733333333 | 3378.8 |
| STANFORD/tictactoe3/X7myng | 1435.8330879209616 | 4030479.2 | 2807.0666666666666 |
| STANFORD/3puzzle/41ibjA | 1518.8963685522933 | 5299378.8 | 3488.9666666666667 |
| BASE/blocksWorldSerial/Wyg96Q | 1688.5763014534684 | 4980061.8 | 2949.266666666667 |
| DRESDEN/chinesecheckers3/QsCb2A | 1794.8705391304347 | 1352.5333333333333 | 0.7535548129218269 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 1845.582 | 4591.0 | 2.487562189054726 |
| BASE/blocksWorldParallel/RseaAQ | 1918.5132635149794 | 3242479.2666666666 | 1690.1 |
| BASE/gt_centipede/9fRMpw | 1986.4224104541704 | 3931990.7333333334 | 1979.4333333333334 |
| DRESDEN/farmers/S_ASnw | 2077.272426666667 | 2736.133333333333 | 1.3171759747102212 |
| BASE/coins_atomic/AA3SSw | 2361.526709506524 | 3209472.2333333334 | 1359.0666666666666 |
| DRESDEN/coins/QwFP9w | 2443.8263062087967 | 3311547.566666667 | 1355.0666666666666 |
| BASE/coins/QnGtnQ | 2494.951311769555 | 3429892.7333333334 | 1374.7333333333333 |
| BASE/ruleDepthLinear/OUBJpQ | 2743.616620632649 | 4536204.266666667 | 1653.3666666666666 |
| BASE/minichess/8NQEiA | 11729.414740465236 | 3058929.4 | 260.79130695643477 |
| BASE/crisscross/ICagEg | 38449.331 | 2277.4666666666667 | 0.059232933511032135 |
| DRESDEN/crisscross/GsY16g | 38502.7118 | 2296.133333333333 | 0.05963562632316546 |
| DRESDEN/crissrace/KWb9bw | 44407.86813333333 | 1452.5666666666666 | 0.03270966897814994 |
| BASE/crissrace/ERWGDA | 45960.54266666666 | 1481.8333333333333 | 0.03224142378127418 |
| BASE/ad_game_2x2/D0aWqg | 3925097.3774999995 | 1765675.8333333333 | 0.449842555105713 |
| BASE/merrills/pku8Tg | Infinity | 179.16069464351187 | 0.0 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Infinity | 648.3666666666667 | 0.0 |
| DRESDEN/merrills/aYEzwA | Infinity | 174.9491717494917 | 0.0 |
| DRESDEN/chinesecheckers6/yTbPDA | Infinity | 824.5666666666667 | 0.0 |
Games with errors:
| Game | PALAMEDES_JAVA_ECLIPSE:0.6.1 error message | REKKURA_BACKWARD_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/queens/HyJJnQ | IllegalArgumentException: too many occurrences: 2147484126 | |
| BASE/gt_two_thirds_4p/DStnxQ | Test process timed out after 240 seconds | |
| 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 | |
| BASE/gt_two_thirds_6p/867v3Q | Test process timed out after 240 seconds | |
| DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | |
| DRESDEN/queens/mW2wHQ | IllegalArgumentException: too many occurrences: 2147484126 | |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | |
| BASE/slaughter/cOch8A | Test process timed out after 240 seconds |