Game-by-game performance:
| Game | Perf ratio | PALAMEDES_JAVA_ECLIPSE:0.6.1 states per second | REKKURA_BACKWARD_PROVER_OSTD:1.0.0 states per second |
| BASE/queens08lg/Ru7eqQ | 4.235069055116114E-5 | 0.024117306579201234 | 569.4666666666667 |
| BASE/queens08ug/kJ_ZFQ | 0.009352634052472953 | 8.598188238906802 | 919.3333333333334 |
| DRESDEN/golden_rectangle/1uloXw | 0.009598242692389744 | 4.216047538425787 | 439.25202493250225 |
| BASE/queens06ug/7Lq3tw | 0.021444010548864745 | 25.168120380850922 | 1173.6666666666667 |
| BASE/quad/tw-Ufg | 0.05450441994184846 | 10.087558677630922 | 185.07780999033622 |
| DRESDEN/quad/JPe6fg | 0.07201073854960266 | 13.062312562479173 | 181.39395353488217 |
| BASE/quad_7x7/q-JOXg | 0.11972721758480892 | 78.15931323617488 | 652.8115729475684 |
| DRESDEN/quad_7x7/q-JOXg | 0.13226038830732229 | 86.5439046318804 | 654.3448551714943 |
| BASE/golden_rectangle/_nYzfw | 0.1440542703906269 | 63.04775234096438 | 437.6666666666667 |
| BASE/simultaneousWin2/PfjRjw | 0.20580652385009868 | 209.5247617143238 | 1018.0666666666667 |
| BASE/sudokuGrade6H/ieE_9A | 0.2413979463159791 | 44.665177827405756 | 185.0271657611413 |
| BASE/sudokuGrade6E/ihYFZA | 0.2494351638532255 | 44.174967518406234 | 177.1 |
| STANFORD/sudoku/oJ1qyQ | 0.28952489187310415 | 53.85948540194641 | 186.02713242891903 |
| BASE/zhadu/DlA8iQ | 0.29150905083169804 | 11.481629392971247 | 39.386871042985675 |
| BASE/sudokuGrade3/eI8dvg | 0.29814110836859425 | 56.36666666666667 | 189.06036465451152 |
| BASE/sudokuGrade4/DTy07w | 0.30598279072017004 | 57.590401599733376 | 188.21451188214513 |
| STANFORD/duidoku/3SoMaA | 0.311490258372214 | 50.41316806610689 | 161.84508732169044 |
| BASE/sudokuGrade5/BQfUQA | 0.31696000211299624 | 58.79412058794121 | 185.4938168727709 |
| BASE/sudokuGrade2/u80Tfw | 0.3198788321514414 | 60.28912131103857 | 188.47487001733103 |
| BASE/sudokuGrade1/tDRNRw | 0.3338742623328722 | 64.36666666666666 | 192.78714752349845 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 0.38493180342065386 | 177.8 | 461.9 |
| STANFORD/multiplesukoshi/vLSQPg | 0.6352430446739533 | 241.61722551829877 | 380.3539882003933 |
| STANFORD/selectivesukoshi/3xmXYg | 0.6497783194478813 | 262.56666666666666 | 404.08653044898506 |
| BASE/majorities/ibJzSQ | 0.714956876216444 | 288.8948140247967 | 404.0730617958803 |
| BASE/battlebrushes/arCwyA | 0.7261088286616747 | 93.79762772513419 | 129.17847025495752 |
| STANFORD/multipletictactoe/_bkafQ | 0.7610277612638647 | 614.4333333333333 | 807.3730875637478 |
| BASE/cittaceot/fDxhXg | 0.8245201020974579 | 238.32538915369489 | 289.04739684021064 |
| BASE/cubicup_3player/e2yA_g | 0.846385172043898 | 341.9 | 403.953201559948 |
| DRESDEN/cubicup_3player/awDtsQ | 0.8484750704736387 | 337.76666666666665 | 398.0867304423186 |
| BASE/quad_5x5/JAEP5g | 0.890269869611475 | 188.69495703151023 | 211.95253649756683 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 0.8927362521502692 | 200.86565673381057 | 225.0 |
| BASE/doubletictactoe/HH1htg | 0.895536371545205 | 1784.2666666666667 | 1992.4 |
| DRESDEN/bunk_t/7-tPfA | 0.8965225341143807 | 1765.1333333333334 | 1968.8666666666666 |
| DRESDEN/doubletictactoe/lJzgmQ | 0.9068832120520117 | 1773.8333333333333 | 1955.9666666666667 |
| BASE/futoshiki6/JmvXNA | 0.9142374313476974 | 504.91650278324056 | 552.2815906136462 |
| BASE/doubletoetictac/fu35bg | 0.9227945674782821 | 1759.8 | 1907.0333333333333 |
| DRESDEN/quad_5x5/JAEP5g | 0.9247450050935561 | 195.1325076574777 | 211.0122321101223 |
| STANFORD/triplesukoshi/Iu9mbA | 0.9455943228858664 | 1225.9 | 1296.4333333333334 |
| BASE/bunk_t/xbpfIA | 0.9466444641029644 | 1819.1666666666667 | 1921.7 |
| BASE/conn4/va9Y7A | 0.9497794193085052 | 1234.3333333333333 | 1299.6 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 0.9648617298546909 | 12.35726575942437 | 12.807291839925485 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 0.9777325482784521 | 1345.0666666666666 | 1375.7 |
| DRESDEN/grid_game2/kypTYQ | 0.9883658492930016 | 1656.6 | 1676.1 |
| DRESDEN/doubletoetictac/V89gKQ | 0.993925518361921 | 1794.4 | 1805.3666666666666 |
| BASE/tictactoex9/BI26ow | 0.9990791528205948 | 831.8 | 832.5666666666667 |
| DRESDEN/blocker/S815zQ | 1.0121099047273545 | 3905.8333333333335 | 3859.1 |
| BASE/blokbox_simple/JBx4bg | 1.0209146175483168 | 7.281553398058253 | 7.132382349020131 |
| DRESDEN/tictactoex9/rFkD4w | 1.0228493512932815 | 825.1666666666666 | 806.7333333333333 |
| DRESDEN/slidingpieces/s9_44g | 1.0271112751732907 | 834.7333333333333 | 812.7 |
| DRESDEN/catcha_mouse/cHv4dw | 1.0338117313938315 | 1241.3666666666666 | 1200.7666666666667 |
| BASE/lightsOnSimultaneous/_VN6lw | 1.0370880605078336 | 1279.7666666666667 | 1234.0 |
| BASE/wallmaze/uxNQ9g | 1.044020474639367 | 747.8666666666667 | 716.3333333333334 |
| BASE/catcha_mouse/cHv4dw | 1.0479220290944848 | 1207.8 | 1152.5666666666666 |
| BASE/slidingpieces/uFJWEw | 1.056636060100167 | 843.9 | 798.6666666666666 |
| BASE/hallway/ckCJOw | 1.077973094650206 | 291.03333333333336 | 269.98200119992 |
| DRESDEN/hallway/0H4l-Q | 1.0795200110856256 | 292.89023699210026 | 271.31524565028997 |
| BASE/blockerSerial/3eqDuw | 1.089033734354956 | 1047.0333333333333 | 961.4333333333333 |
| DRESDEN/lightsout2/LFtfyQ | 1.0893318151584501 | 3220.9 | 2956.766666666667 |
| BASE/withConviction/3Xm54A | 1.0964681304811437 | 1679.5333333333333 | 1531.7666666666667 |
| BASE/lightsOnSimul4/9FeASw | 1.0985995101425612 | 1166.2 | 1061.5333333333333 |
| DRESDEN/lightsout/XgLpzQ | 1.1032094149229406 | 3068.4666666666667 | 2781.4 |
| STANFORD/dualrainbow/G3OnRQ | 1.168594046403035 | 4271.133333333333 | 3654.9333333333334 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 1.1799142748630025 | 724.9 | 614.3666666666667 |
| BASE/futoshiki5/TJ4BZg | 1.2034716729800607 | 963.7 | 800.7666666666667 |
| BASE/ticTacToeSerial/Amrwqw | 1.2448363473322372 | 1388.2 | 1115.1666666666667 |
| BASE/tictactoe_3d_small_6player/g_9lww | 1.2560076547439039 | 743.9752008266391 | 592.3333333333334 |
| BASE/blocker/dIWtxg | 1.3034741702048702 | 3980.766666666667 | 3053.9666666666667 |
| STANFORD/dualhunter/1rPZjQ | 1.3121680607220418 | 2034.1666666666667 | 1550.2333333333333 |
| BASE/colonelBlotto/jip21A | 1.3160511968096653 | 6.710071751262291 | 5.098640362569982 |
| BASE/blocks2player/wnTLOQ | 1.3445170743504207 | 6300.9 | 4686.366666666667 |
| BASE/copolymer_4/2LDVhQ | 1.3573527611117913 | 1478.0666666666666 | 1088.9333333333334 |
| BASE/lightsOut/5P1ZBw | 1.357581378914359 | 3073.7 | 2264.1 |
| BASE/copolymer_4_pie/IN5_jA | 1.3653706275209945 | 1376.5666666666666 | 1008.2 |
| BASE/ticTacHeaven/18n58A | 1.3810161860863974 | 858.9 | 621.9333333333333 |
| BASE/hidato37/pBrqxw | 1.3877776029851896 | 87.73040898636712 | 63.21647560650493 |
| DRESDEN/blocks2player/3ev8nQ | 1.399695527252455 | 6527.9 | 4663.8 |
| BASE/sum15/QZ07Kg | 1.447817750182615 | 7399.7 | 5110.933333333333 |
| DRESDEN/racetrackcorridor/O0DoTA | 1.4557922819674596 | 1291.4333333333334 | 887.1 |
| DRESDEN/sum15/CsgWKg | 1.4659826682498343 | 7449.0 | 5081.233333333334 |
| BASE/tictactoe_3d_6player/d7KSwg | 1.4681666077596702 | 207.30569257432342 | 141.2003865764655 |
| DRESDEN/firefighter/WJmoPw | 1.4692851891579186 | 4063.7 | 2765.766666666667 |
| BASE/ticTacHeavenFC/mrletw | 1.4741692464660883 | 842.4385853804873 | 571.4666666666667 |
| DRESDEN/connect4/T0-rHQ | 1.4755925930394198 | 834.6443570428638 | 565.6333333333333 |
| DRESDEN/chickentoetictac/cxYaRQ | 1.4785070586622808 | 5753.166666666667 | 3891.2 |
| BASE/chickentoetictac/l57rfQ | 1.5132595031427716 | 5898.433333333333 | 3897.8333333333335 |
| BASE/firefighter/WJmoPw | 1.5265766902119071 | 4034.233333333333 | 2642.6666666666665 |
| BASE/connect4/50bOyw | 1.5282817852069903 | 841.4719509349688 | 550.6 |
| DRESDEN/latenttictactoe/kITHKg | 1.546058257373142 | 2832.5333333333333 | 1832.1 |
| DRESDEN/sheep_and_wolf/enAIzQ | 1.5482757759747818 | 960.4666666666667 | 620.3459884670511 |
| BASE/racetrackcorridor/_RkdUg | 1.5594205963205754 | 1474.9 | 945.8 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 1.566060242182997 | 201.49303472638806 | 128.66237792073596 |
| DRESDEN/blockerparallel/dVQgSg | 1.572908943092455 | 1075.03083230559 | 683.4666666666667 |
| BASE/coloredtrails/EZvr7g | 1.587940880799093 | 2474.7 | 1558.4333333333334 |
| BASE/god/qF06gw | 1.6342719618464436 | 63.06818181818182 | 38.59099543439864 |
| BASE/cubicup/4wNWJA | 1.6387996495327104 | 748.1417286090464 | 456.5181160627979 |
| BASE/hidato19/rRHSmA | 1.646344889588133 | 976.6341121962602 | 593.213559548015 |
| BASE/blockerParallel/7-nDJA | 1.6561541607033328 | 1079.9973334222193 | 652.111596280124 |
| STANFORD/duikoshi/tpw1sw | 1.6590986601705238 | 2270.2 | 1368.3333333333333 |
| BASE/tictactoe_orthogonal/WRzlVw | 1.6591860275957941 | 7479.5 | 4507.933333333333 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 1.6741188673831962 | 7585.6 | 4531.1 |
| DRESDEN/cubicup/SBn_lw | 1.6846384880228555 | 766.5666666666667 | 455.03333333333336 |
| DRESDEN/point_grab/r5DPmQ | 1.6866557243703337 | 7741.3 | 4589.733333333334 |
| BASE/factoringGeorgeForman/HGRorQ | 1.69872569809152 | 8571.6 | 5045.9 |
| DRESDEN/small_dominion/yB5GJA | 1.766333838255275 | 38.1964101368677 | 21.624683459949352 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 1.802752215550528 | 3532.733333333333 | 1959.6333333333334 |
| DRESDEN/chickentictactoe/Ipbo-g | 1.8040999245684872 | 5421.2 | 3004.9333333333334 |
| BASE/toetictac/mTThmg | 1.8051123779092988 | 8285.766666666666 | 4590.166666666667 |
| BASE/lightsOnParallel/SC6enA | 1.8117977179324816 | 4864.133333333333 | 2684.7 |
| DRESDEN/tictactoe_3player/ESLQQQ | 1.8175956738768717 | 1747.8 | 961.6 |
| BASE/brain_teaser_extended/ZDp94A | 1.829320656341052 | 5964.5 | 3260.5 |
| DRESDEN/toetictac/mJtxCA | 1.836145288440286 | 8307.333333333334 | 4524.333333333333 |
| DRESDEN/towerworld/HCX34w | 1.8437180796731358 | 60.1325915314655 | 32.61485158410234 |
| DRESDEN/brain_teaser_extended/ZDp94A | 1.8472923252319013 | 5941.2 | 3216.1666666666665 |
| BASE/othelloHoles/c0qAzw | 1.847327561764592 | 38.12092156079371 | 20.635713097021135 |
| BASE/othello-comp2007/86ZoMw | 1.85744199877732 | 37.26894254787677 | 20.064660200646603 |
| DRESDEN/tictactoelarge/IwXcbg | 1.8802861240337192 | 3583.7 | 1905.9333333333334 |
| DRESDEN/god/2EDD5w | 1.895833828595362 | 69.6263706962637 | 36.72598813570619 |
| DRESDEN/javastrike/whONTQ | 1.9014173794589257 | 530.3156561447952 | 278.9054427890544 |
| BASE/othelloSuicide/B442jg | 1.910100223597527 | 37.46541781940602 | 19.614372772986112 |
| BASE/stateSpaceLarge/0Ge_CQ | 1.9389578163771712 | 7162.833333333333 | 3694.1666666666665 |
| BASE/double_tictactoe_dengji/zgaSbA | 1.9668746021642265 | 2574.9666666666667 | 1309.1666666666667 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 1.9679911982191747 | 2563.8333333333335 | 1302.7666666666667 |
| DRESDEN/statespacelarge/8-y5HQ | 1.9795107033639143 | 7120.3 | 3597.0 |
| STANFORD/breakthrough/d5j0cQ | 1.9813094489063252 | 1784.4333333333334 | 900.6333333333333 |
| DRESDEN/snake_2009_big/DgC1NQ | 1.9821770126934448 | 759.9666666666667 | 383.4 |
| BASE/dotsAndBoxes/EHwA_w | 1.983255124252024 | 1565.0666666666666 | 789.1403619879337 |
| BASE/futoshiki4/BaCwSw | 1.9872831818290269 | 2776.4333333333334 | 1397.1 |
| BASE/snake_2009_big/-oRfVw | 1.9924948240165632 | 769.9 | 386.4 |
| DRESDEN/ticblock/Z2yNWQ | 1.99845745525486 | 2936.6 | 1469.4333333333334 |
| BASE/ticblock/T21C1g | 2.000678441393971 | 2948.9333333333334 | 1473.9666666666667 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 2.0105618614510545 | 5437.966666666666 | 2704.7 |
| BASE/incredible/8Qh-6Q | 2.0190433286919487 | 4930.1 | 2441.8 |
| BASE/breakthroughSmallHoles/bxclRw | 2.0351875965236355 | 2240.266666666667 | 1100.7666666666667 |
| STANFORD/rainbow/_4qNSQ | 2.0516076831070147 | 11663.8 | 5685.2 |
| DRESDEN/roshambo2/jgSlkQ | 2.054727023939542 | 10911.833333333334 | 5310.6 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 2.0698556445682885 | 8913.833333333334 | 4306.5 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 2.0868151872399445 | 1604.9 | 769.0666666666667 |
| BASE/roshambo2/KNPokQ | 2.0908825804161224 | 10994.0 | 5258.066666666667 |
| BASE/tictactoe_3player/GtM71g | 2.1140871466500077 | 1804.8666666666666 | 853.7333333333333 |
| BASE/ticTacToeLarge/TZC0dg | 2.133724281880529 | 3577.9 | 1676.8333333333333 |
| BASE/chickentictactoe/DSlZCA | 2.1431287138684665 | 5674.433333333333 | 2647.733333333333 |
| BASE/stateSpaceMedium/3bUoIw | 2.1573490473289625 | 11922.733333333334 | 5526.566666666667 |
| BASE/ticTacToeLargeSuicide/727_8g | 2.1803002978663044 | 3586.6666666666665 | 1645.0333333333333 |
| DRESDEN/lightson2x2/gBHuig | 2.181517747858017 | 5941.0 | 2723.3333333333335 |
| DRESDEN/tictactoeparallel/yk_DSg | 2.1861803236578474 | 2836.9333333333334 | 1297.6666666666667 |
| DRESDEN/stratego/Z2wovg | 2.196796153719607 | 1483.6666666666667 | 675.3774874170861 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 2.19734662649272 | 4643.066666666667 | 2113.0333333333333 |
| DRESDEN/eotcatcit/mQUxzA | 2.220797329143755 | 7538.866666666667 | 3394.6666666666665 |
| DRESDEN/tictactoe/BTTzPw | 2.253217387936127 | 7756.1 | 3442.233333333333 |
| DRESDEN/peg_bugfixed/u_B7MA | 2.257144122989677 | 1698.2 | 752.3666666666667 |
| DRESDEN/peg/Vo31eg | 2.265760308700139 | 1683.2333333333333 | 742.9 |
| BASE/eotcatcit/AfZSzA | 2.2763346141268803 | 7425.1 | 3261.866666666667 |
| DRESDEN/statespacemedium/dVJZ_w | 2.2963194635574347 | 12236.933333333332 | 5328.933333333333 |
| BASE/nim3/1OwUqw | 2.3085509737889454 | 3267.6 | 1415.4333333333334 |
| DRESDEN/chomp/-LcqYQ | 2.310554180293804 | 4262.433333333333 | 1844.7666666666667 |
| BASE/chomp/-LcqYQ | 2.3187861891486166 | 4325.0 | 1865.2 |
| DRESDEN/nim3/sG_axA | 2.3309501187648456 | 3271.1 | 1403.3333333333333 |
| BASE/nim4/twk16w | 2.3390437289764536 | 3245.0333333333333 | 1387.3333333333333 |
| BASE/lightsOn/MsXu3A | 2.3518102927620075 | 12330.933333333332 | 5243.166666666667 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 2.380495882173515 | 1821.0 | 764.9666666666667 |
| BASE/point_grab/V_osUg | 2.383527074018877 | 7996.733333333334 | 3355.0 |
| BASE/eotcitcit/V_9_bg | 2.3951243283110313 | 6061.9 | 2530.9333333333334 |
| BASE/circlesolitaire/azuQFQ | 2.3992310574589055 | 9818.133333333333 | 4092.2 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 2.406705912464807 | 9089.566666666668 | 3776.766666666667 |
| DRESDEN/circlesolitaire/ruUilQ | 2.4116118203964576 | 9866.466666666667 | 4091.233333333333 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 2.415174574753805 | 4676.1 | 1936.1333333333334 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 2.45947410173558 | 12711.3 | 5168.3 |
| DRESDEN/nim4/F5YAYg | 2.465246968352558 | 3334.0 | 1352.4 |
| BASE/numbertictactoe/rvJ-iQ | 2.485450182778556 | 5144.633333333333 | 2069.9 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 2.5342095573731687 | 12847.766666666666 | 5069.733333333334 |
| DRESDEN/knightwar/7hhAqg | 2.544572586553232 | 1435.6 | 564.1811939602013 |
| BASE/3pConnectFour/PqXOFQ | 2.5610526315789475 | 1946.4 | 760.0 |
| DRESDEN/tictictoe/LAUtwg | 2.5621166718010477 | 6099.033333333334 | 2380.4666666666667 |
| STANFORD/tictactoe/ss1kyQ | 2.589177639177639 | 7472.366666666667 | 2886.0 |
| DRESDEN/battlesnakes2011/93VtTw | 2.607062289949818 | 1887.6 | 724.0333333333333 |
| STANFORD/trifecta/ss1kyQ | 2.6071501951921103 | 7613.4 | 2920.2 |
| STANFORD/bestbuttonsandlights/nm0wEA | 2.612663572269511 | 12871.2 | 4926.466666666666 |
| DRESDEN/grid_game/U7_Yeg | 2.614791833987005 | 1488.9 | 569.4143528549048 |
| DRESDEN/CephalopodMicro/H3XQfg | 2.6182289623030823 | 219.79267357754742 | 83.94707901489653 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 2.6273169942376313 | 790.5069831005633 | 300.8799413372442 |
| DRESDEN/mimikry/GJEhwA | 2.657145896552667 | 2159.8333333333335 | 812.8395720142662 |
| DRESDEN/battlesnakes1509/-qZrLw | 2.6640516843562527 | 1924.3333333333333 | 722.3333333333334 |
| DRESDEN/cube_2x2x2/fp-34Q | 2.6654505161883137 | 3287.5666666666666 | 1233.4 |
| BASE/ticTacToe/JRFsaQ | 2.668616500662099 | 7725.2 | 2894.8333333333335 |
| BASE/crisscross/ICagEg | 2.669740543919975 | 2277.4666666666667 | 853.0666666666667 |
| BASE/tictactoe_3d_small_2player/oOryKA | 2.680137072171842 | 2137.766666666667 | 797.6333333333333 |
| BASE/ticTacToeParallel/ymRGPw | 2.707231153525908 | 2817.866666666667 | 1040.8666666666666 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 2.7088596934478693 | 2144.3333333333335 | 791.6 |
| BASE/hexPie/48CH6Q | 2.7471087124132616 | 356.2762482501167 | 129.69135390973935 |
| STANFORD/tictictoe/rpt_Dw | 2.7477960216132074 | 6119.433333333333 | 2227.0333333333333 |
| DRESDEN/backgammon/mqCW0Q | 2.7756357479578253 | 856.9666666666667 | 308.74608359442703 |
| DRESDEN/tpeg/h-Scbg | 2.787710756469209 | 2061.233333333333 | 739.4 |
| BASE/ticTicToe/c1OobQ | 2.791619200098525 | 6044.6 | 2165.266666666667 |
| BASE/tpeg/QNs7Lw | 2.801412260993168 | 2036.5333333333333 | 726.9666666666667 |
| DRESDEN/crisscross/GsY16g | 2.831120792404751 | 2296.133333333333 | 811.0333333333333 |
| BASE/cephalopodMicro/9l2D3g | 2.884266666666667 | 221.86666666666667 | 76.92307692307692 |
| BASE/snake_2009/7l-qAQ | 2.919998529757704 | 1379.1666666666667 | 472.3175894136862 |
| BASE/nim2/eF2Qqw | 2.9212933864096655 | 4183.0 | 1431.9 |
| DRESDEN/nim2/z5_exA | 2.921810893657156 | 4130.466666666666 | 1413.6666666666667 |
| BASE/beatMania/qUHwvQ | 2.9302124962588687 | 5547.966666666666 | 1893.3666666666666 |
| DRESDEN/snake_2009/zIYLVw | 3.0282441098061823 | 1400.9666666666667 | 462.6333333333333 |
| BASE/hex/T1MK8g | 3.0679333680374805 | 392.87380841277246 | 128.05812945803612 |
| STANFORD/hex/MTqWcw | 3.097197222936488 | 401.5 | 129.63333333333333 |
| BASE/tictactoe2/bhrDoQ | 3.1423986125032375 | 9300.766666666666 | 2959.766666666667 |
| BASE/aipsrovers01/4C4jsw | 3.1566926446328005 | 3699.4333333333334 | 1171.9333333333334 |
| STANFORD/nineboardtictactoe/y28P-A | 3.1919845898656964 | 1988.5 | 622.9666666666667 |
| DRESDEN/bidding-tictactoe/yW5vTA | 3.214093243174539 | 4214.533333333334 | 1311.2666666666667 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 3.264355887453152 | 648.3666666666667 | 198.62009199386708 |
| BASE/nineBoardTicTacToe/wRmqqA | 3.2697497279651797 | 2003.2666666666667 | 612.6666666666666 |
| DRESDEN/aipsrovers01/qS47Mw | 3.3048921246559533 | 3722.3 | 1126.3 |
| DRESDEN/oisters_farm/pTQMLg | 3.309359399057528 | 9457.266666666666 | 2857.733333333333 |
| DRESDEN/logistics/fPru1Q | 3.316833924394477 | 2930.5333333333333 | 883.5333333333333 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 3.3356073333910086 | 2570.3333333333335 | 770.5743141895271 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 3.387657540199913 | 259.81601226584894 | 76.69488700753283 |
| DRESDEN/smallest/9kaGFw | 3.4222081448816524 | 2017.6666666666667 | 589.580347321756 |
| DRESDEN/pawn_whopping/4ogBkg | 3.5002437389555787 | 3829.5 | 1094.0666666666666 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 3.5053561360646492 | 3730.4 | 1064.2 |
| STANFORD/hunter/14dD-g | 3.550412383456849 | 7920.733333333334 | 2230.9333333333334 |
| BASE/biddingTicTacToe/8mESVw | 3.5644282609309283 | 4209.233333333334 | 1180.9 |
| DRESDEN/chinesecheckers3/QsCb2A | 3.5716356424023705 | 1352.5333333333333 | 378.68737708743043 |
| BASE/untwistycomplex2/EDPPAQ | 3.577127659574468 | 22909.833333333332 | 6404.533333333334 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 3.57787426097973 | 9037.233333333334 | 2525.866666666667 |
| STANFORD/untwistycorridor/EDPPAQ | 3.578548218002014 | 22869.666666666668 | 6390.766666666666 |
| DRESDEN/8puzzle/8fKC2w | 3.591881632300924 | 8326.7 | 2318.2 |
| DRESDEN/catch_me/ghGWrA | 3.6303956358243736 | 9139.4 | 2517.4666666666667 |
| DRESDEN/Goldrush/VeWczQ | 3.64914088011642 | 1978.1333333333334 | 542.0819306023133 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 3.6623137071442895 | 9133.2 | 2493.8333333333335 |
| DRESDEN/Thief_Police/CX18rA | 3.7011283021417474 | 9130.066666666668 | 2466.8333333333335 |
| BASE/connectFourSimultaneous/7ITr3g | 3.718836876759499 | 1775.9333333333334 | 477.5507483083897 |
| DRESDEN/chinesecheckers1/Y-ftaA | 3.752543395313843 | 2327.5 | 620.2459918002734 |
| DRESDEN/3pffa/0YrmQw | 3.8322978892871364 | 3207.633333333333 | 837.0 |
| BASE/qyshinsu/R08Lzw | 3.8627634319365023 | 812.7729075697476 | 210.4122921041229 |
| DRESDEN/knightmove/97Ipcw | 4.015997655237422 | 1514.7333333333333 | 377.17485500966603 |
| BASE/nim1/hin2Qw | 4.036039409328123 | 5748.8 | 1424.3666666666666 |
| DRESDEN/chinesecheckers4/-oVNYg | 4.112156930042354 | 938.5 | 228.2257258091397 |
| BASE/knightmove/jBaJEw | 4.117580349099099 | 1543.7666666666667 | 374.9208359721343 |
| BASE/ticTacToeNoVars/XT03NA | 4.132522243837101 | 8638.9 | 2090.4666666666667 |
| DRESDEN/nim1/M9BALA | 4.1407827080556086 | 5798.2 | 1400.2666666666667 |
| BASE/tron_10x10/7ZTgDg | 4.240945171634337 | 5378.366666666667 | 1268.2 |
| DRESDEN/crissrace/KWb9bw | 4.302626382306476 | 1452.5666666666666 | 337.6 |
| DRESDEN/3pttc/uwYBZw | 4.416290676781792 | 3686.866666666667 | 834.8333333333334 |
| BASE/crissrace/ERWGDA | 4.451435048896899 | 1481.8333333333333 | 332.8889037032099 |
| BASE/snakeAssemblit/UO4sdg | 4.4688322991403275 | 2304.5 | 515.6828105729809 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 4.6342231470004 | 679.1773607546415 | 146.55689620691953 |
| STANFORD/8puzzle/jNiGtw | 4.656438183034719 | 8351.166666666666 | 1793.4666666666667 |
| DRESDEN/hanoi/RQ0jiA | 4.658555102693199 | 7772.333333333333 | 1668.4 |
| BASE/pegEuro/5awwhg | 4.67754069310468 | 1454.6666666666667 | 310.9896336788774 |
| BASE/eightPuzzle/vLrgFg | 4.698134229708804 | 8292.833333333334 | 1765.1333333333334 |
| BASE/pawnWhopping/Ypc_6Q | 4.69954580512469 | 3655.9333333333334 | 777.9333333333333 |
| STANFORD/eightpuzzle/W_aWbA | 4.718698671046738 | 8426.966666666667 | 1785.8666666666666 |
| BASE/4pffa/Q3ADlg | 4.725229230989137 | 2203.7 | 466.36890873941735 |
| DRESDEN/chinesecheckers6/yTbPDA | 4.80114462772495 | 824.5666666666667 | 171.74376749766697 |
| BASE/duplicateStateMedium/U163eQ | 4.802435637559255 | 10029.566666666668 | 2088.4333333333334 |
| BASE/escortLatch/mX9BjQ | 4.847689463955638 | 2185.5 | 450.8333333333333 |
| BASE/hanoi/iGLsJg | 4.8917410024515355 | 7915.0 | 1618.0333333333333 |
| DRESDEN/snake_2008/E56l3A | 4.895812582045845 | 1616.0 | 330.07799480034663 |
| BASE/snake_2008/i6K26g | 4.920104386229047 | 1633.912202926569 | 332.0889303689877 |
| BASE/tictactoe_3d_2player/IUC1rQ | 4.9238424292977445 | 688.5666666666667 | 139.8433594400933 |
| DRESDEN/connectfoursuicide/M9CNQg | 4.988877302745916 | 3349.0333333333333 | 671.3 |
| BASE/snake_2008_tweaked/bX0NJQ | 5.012673385889632 | 1674.4 | 334.03333333333336 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 5.015408132088297 | 3115.133333333333 | 621.1126295790141 |
| BASE/smallest_4player/ADDROA | 5.031668132783925 | 3622.633333333333 | 719.9666666666667 |
| DRESDEN/chinesecheckers2/06E6-Q | 5.072681030542281 | 1627.6 | 320.85597146761774 |
| DRESDEN/smallest_4player/ADDROA | 5.149104847194582 | 3708.4333333333334 | 720.2093263557881 |
| DRESDEN/pentago_2008/hLjVpQ | 5.229410258598618 | 2042.4333333333334 | 390.56666666666666 |
| BASE/peg/fJHVWw | 5.286835885854342 | 1677.6333333333334 | 317.3227559081364 |
| DRESDEN/connectfour/5tc-Mg | 5.467292677780122 | 3454.6 | 631.8666666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 5.473982863303638 | 3215.6 | 587.4333333333333 |
| STANFORD/alquerquezero/uVgA_A | 5.515475779542055 | 1597.8333333333333 | 289.7 |
| BASE/connectFour/WAIKTw | 5.519439201941225 | 3411.9333333333334 | 618.1666666666666 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 5.581542715594216 | 3229.6666666666665 | 578.6333333333333 |
| BASE/dualConnect4/WbCQkg | 5.586566158148996 | 1952.9333333333334 | 349.57669488700753 |
| BASE/connectFourSuicide/c8p9Kw | 5.617601351031481 | 3427.9333333333334 | 610.2129929002367 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 5.8454869964303935 | 3056.8 | 522.9333333333333 |
| DRESDEN/fizzbuzz/t1xHzQ | 5.970986920332938 | 5021.6 | 841.0 |
| BASE/3pffa/pR0dzA | 6.019248873141768 | 3086.1666666666665 | 512.7162427919069 |
| STANFORD/connectfour/VMpZkQ | 6.086431654254383 | 3459.5 | 568.3954403039797 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 6.122672581837736 | 3036.233333333333 | 495.9 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 6.134032416415855 | 2921.133333333333 | 476.2174594180194 |
| BASE/chineseCheckers4/avfBcQ | 6.277153897274162 | 1857.4333333333334 | 295.9037429590374 |
| BASE/chineseCheckers6/rREH3A | 6.327388414185961 | 1530.3333333333333 | 241.85860471317622 |
| BASE/breakthroughSuicideSmall/XSbJog | 6.336816057189991 | 2304.7 | 363.7 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 6.401326366559486 | 3185.3 | 497.6 |
| BASE/breakthroughSmall/HJ0tIA | 6.419753120040627 | 2247.266666666667 | 350.0549981667278 |
| BASE/connectFour_9x6/B9TtMw | 6.4545097782719605 | 3289.4333333333334 | 509.6333333333333 |
| BASE/2pffa/6oHijA | 6.59383705276853 | 3829.133333333333 | 580.7139762007934 |
| BASE/rubiksCube/9tNO9Q | 6.83019748095164 | 1464.1666666666667 | 214.36666666666667 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 6.929767517476833 | 2841.6666666666665 | 410.06666666666666 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 6.9482959160846445 | 2883.774415038997 | 415.03333333333336 |
| BASE/minichess-evilconjuncts/4OpQzw | 6.948416227652597 | 1459.5333333333333 | 210.05266315578962 |
| BASE/duplicateStateLarge/dcjyuw | 6.981841812839329 | 5200.833333333333 | 744.9085030498983 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 7.004969383911756 | 1446.3333333333333 | 206.47247033728837 |
| BASE/sheepAndWolf/g4THrg | 7.017075709957462 | 929.4356854771507 | 132.45342132453422 |
| STANFORD/chinook/osFbPA | 7.048983131633395 | 626.4457851404953 | 88.87037654115295 |
| BASE/2pffa_zerosum/o0_uZA | 7.0651837669198425 | 3937.766666666667 | 557.3480883970534 |
| BASE/asteroidsSerial/id2QkA | 7.087624250022387 | 5276.5 | 744.4666666666667 |
| BASE/chinook/XQh0IQ | 7.127381998424224 | 682.6439118696044 | 95.77765188122771 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 7.159118644067797 | 3519.9 | 491.6666666666667 |
| DRESDEN/Runners/3bOCQw | 7.221424396760457 | 8649.1 | 1197.7 |
| BASE/shmup/ssTNlg | 7.508508091793724 | 4809.7 | 640.5666666666667 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 7.624921728240451 | 3653.1 | 479.1 |
| BASE/mineClearingSmall/frsbvw | 8.136531948617462 | 2076.0333333333333 | 255.14965668955404 |
| STANFORD/freeforall/Lfp40Q | 8.164524841063175 | 3866.733333333333 | 473.6017598826745 |
| BASE/kalaha5x2x3/WviNsw | 8.209700104589167 | 3575.633333333333 | 435.5376308246117 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 8.210146203980978 | 3107.266666666667 | 378.46666666666664 |
| BASE/knightwar/DVGY4Q | 8.22023442481974 | 1380.6333333333334 | 167.95546963535764 |
| DRESDEN/4pttc/9pB9AQ | 8.343353373413494 | 2498.0 | 299.4 |
| BASE/connectFourLarge/aU644A | 8.345518749566063 | 2671.0333333333333 | 320.0559981333956 |
| DRESDEN/pancakes88/aD3E7g | 8.497970342142326 | 10257.9 | 1207.1 |
| BASE/asteroids/BKCmPQ | 8.676119084458199 | 10841.1 | 1249.5333333333333 |
| BASE/pentagoSuicide/SBgNhw | 8.75572074041685 | 2002.4333333333334 | 228.7 |
| DRESDEN/pancakes/hl9aiQ | 8.801214267644827 | 11597.066666666668 | 1317.6666666666667 |
| BASE/asteroidsParallel/WauZiA | 8.835279683736992 | 6481.266666666666 | 733.5666666666667 |
| BASE/pentago/86NgKw | 8.884931053378347 | 2017.6333333333334 | 227.08486100926604 |
| DRESDEN/capture_the_king/EQ229Q | 8.894544530364643 | 407.772815145657 | 45.845272206303726 |
| DRESDEN/pancakes6/SZXMyQ | 8.973459163682977 | 11277.766666666666 | 1256.791440285324 |
| STANFORD/pilgrimage/ObRZnQ | 9.162102655841476 | 2219.366666666667 | 242.23333333333332 |
| BASE/checkLines/Vop7oQ | 9.600563720555668 | 3179.0666666666666 | 331.1333333333333 |
| BASE/englishDraughts/jFkQxg | 9.665752768038782 | 2481.0333333333333 | 256.6828878074795 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 9.687494120739506 | 3685.2 | 380.40797280181323 |
| STANFORD/pentago/ZxzLmg | 9.774801464590285 | 2343.0333333333333 | 239.70137315024664 |
| BASE/chineseCheckers3/-1rZdQ | 9.940241149044509 | 3600.5666666666666 | 362.22125929135694 |
| BASE/brawl/6Ymo_Q | 10.113017493749005 | 397.5401639890674 | 39.309747484842426 |
| DRESDEN/brawl/2kXtfQ | 10.29535864978903 | 406.62600406626007 | 39.496050394960506 |
| BASE/snakeParallel/RCVNtw | 10.460844838001503 | 23666.266666666666 | 2262.366666666667 |
| BASE/skirmishHoles/AUCxCA | 10.524380249554367 | 327.93333333333334 | 31.159396140900455 |
| BASE/chess_200/XsTpYA | 10.711599468423517 | 131.39562014599514 | 12.266666666666667 |
| BASE/breakthroughHoles/nZk0Sg | 11.04568228630278 | 1430.0 | 129.46235125495818 |
| DRESDEN/frogs_and_toads/GjchhQ | 11.128521254667664 | 2483.266666666667 | 223.14435223144352 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 11.203308559098538 | 1557.6333333333334 | 139.03333333333333 |
| BASE/racer/QQYQNw | 11.264378420199396 | 216.49278357388087 | 19.21923922456865 |
| BASE/chineseCheckers2/eCMR3Q | 11.33030525682987 | 5654.2 | 499.03333333333336 |
| BASE/endgame/jYjfOA | 11.396986505013508 | 821.20595980134 | 72.05465755707382 |
| DRESDEN/breakthrough/z4hK7Q | 11.755328840073224 | 1569.4666666666667 | 133.51108148641893 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 11.824825530283668 | 1542.3 | 130.42898570047666 |
| BASE/breakthrough/TGxk-g | 11.907157061414875 | 1531.3 | 128.6033258906255 |
| BASE/breakthroughSuicide/wZDpIg | 12.01665404996215 | 1587.4 | 132.1 |
| DRESDEN/racer/vk_ZBA | 12.027820664474925 | 218.14909854367315 | 18.137042830044262 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 12.105893207242532 | 125.53723138430784 | 10.369927211087845 |
| DRESDEN/skirmish3/3LU8Nw | 12.183290888888887 | 730.9 | 59.992001066524466 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 12.48976071829405 | 123.53333333333333 | 9.89076861595844 |
| BASE/breakthroughWalls/vOZaYA | 12.559411825354134 | 1556.1666666666667 | 123.90442230146299 |
| BASE/checkers-mustjump-torus/uSApKQ | 12.560712878787879 | 110.2 | 8.773387391578877 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 12.745982210894258 | 514.4780247242678 | 40.36393713813069 |
| BASE/kalaha6x2x4/XS81Mg | 12.776848830250273 | 3130.866666666667 | 245.0421624504216 |
| DRESDEN/knightthrough/J7Fc_Q | 12.986973927392738 | 1617.3666666666666 | 124.53760789149199 |
| DRESDEN/bomberman2p/x4h6jQ | 13.016376143451144 | 1669.2333333333333 | 128.24101846297407 |
| BASE/guess/SPpk1A | 13.22599941642351 | 3172.6 | 239.8760123987601 |
| DRESDEN/pacman3p/rBnk8Q | 13.239884267352185 | 858.3 | 64.8268506482685 |
| DRESDEN/guess/PhxGhg | 13.29292651248061 | 3141.9 | 236.35878804039865 |
| BASE/chineseCheckers1/gqtwHw | 13.369705793130173 | 10733.733333333334 | 802.8399053364888 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 13.384637196854415 | 518.5629540758515 | 38.74314607479397 |
| DRESDEN/Zhadu/9zpQ5w | 13.513517886178862 | 553.6666666666666 | 40.971320075946835 |
| DRESDEN/amazons/dNB28A | 13.568003957787022 | 164.38401812789496 | 12.115563839701771 |
| BASE/bomberman2p/4CClwA | 13.638447702060223 | 1721.0 | 126.18738126187381 |
| BASE/pacman3p/wW7UVQ | 14.086824268077601 | 887.2333333333333 | 62.98320447880565 |
| BASE/pancakes6/QZTdnw | 14.325555460238483 | 11132.866666666667 | 777.1333333333333 |
| BASE/checkersSmall/SYmq8w | 14.34755325399777 | 1285.6333333333334 | 89.60645139791396 |
| BASE/pancakes/yUgbXw | 14.884043390779459 | 11342.633333333333 | 762.0666666666667 |
| BASE/checkers/rOC3Xg | 15.151492837616184 | 923.3666666666667 | 60.94228975076636 |
| BASE/checkers-mustjump/T-8UuQ | 15.4036507727595 | 180.05466302246518 | 11.689090182496336 |
| BASE/knightazons/apnJBQ | 15.405071967100755 | 749.2 | 48.63333333333333 |
| BASE/connectFourLarger/qKi60A | 15.446113678096308 | 1830.5666666666666 | 118.51309040037306 |
| DRESDEN/knightazons/02I8BQ | 15.605550068965519 | 753.9666666666667 | 48.31400773024124 |
| BASE/choicethroughalt/tt71Lg | 15.621516913319239 | 1477.5 | 94.58108378324336 |
| BASE/checkersTiny/Lr48cg | 15.865603644646926 | 2089.5 | 131.7 |
| BASE/strangeSkirmish/gc1zKA | 15.920998215503582 | 413.7390840610626 | 25.987006496751626 |
| DRESDEN/mummymaze2p/k-8edg | 16.55283301540719 | 751.9 | 45.4242484836366 |
| DRESDEN/skirmish2/iPpWhQ | 16.610865689992725 | 756.6747775074164 | 45.55300076643674 |
| BASE/pacman2p/4LEdQg | 16.755162967094257 | 1001.2 | 59.75471572352196 |
| DRESDEN/skirmish/RjGQYQ | 16.99309589041096 | 744.0 | 43.78248700519792 |
| BASE/mummymaze2p/vpjDdA | 17.15015106853353 | 775.5 | 45.21826057980673 |
| BASE/gt_coordination/IVMOzA | 17.23124039317657 | 12959.041525028328 | 752.0666666666667 |
| BASE/skirmish/Y_psYQ | 17.421222378937472 | 411.6666666666667 | 23.63018264231436 |
| DRESDEN/gt_prisoner/huCp4w | 17.88976442307168 | 11533.146685331467 | 644.6785107163095 |
| BASE/skirmishFinal3/-Olhfw | 18.111515919420437 | 575.4474850838305 | 31.772463864650636 |
| DRESDEN/knightstour/cGISAA | 18.230852606671245 | 39807.066666666666 | 2183.5 |
| BASE/skirmishFinal2/gdB62Q | 18.57624341360906 | 550.9483017232759 | 29.65875766462277 |
| DRESDEN/gt_ultimatum/pAiiQw | 18.86903961237223 | 6316.933333333333 | 334.7776814879008 |
| DRESDEN/ghostmaze2p/HY0UwA | 19.37692043438614 | 2597.0666666666666 | 134.02886570447652 |
| BASE/ttcc4_2player_small/Cv72TA | 19.409871244635195 | 4221.0 | 217.46666666666667 |
| BASE/ghostMaze2p/W-NU-w | 19.644328012279356 | 2559.4 | 130.28697130286972 |
| DRESDEN/skirmishfinal/hzq8ww | 19.66060178946416 | 559.4480183993867 | 28.45528455284553 |
| BASE/skirmishFinal1/ecWTnQ | 20.17665569620253 | 531.0 | 26.317542807648746 |
| BASE/gt_ultimatum/GE-uOA | 20.201274160457835 | 6236.133333333333 | 308.7 |
| BASE/checkers-newgoals/0XkFiA | 20.329550639386188 | 529.8 | 26.060585863298563 |
| BASE/2pttc/unkkYA | 20.588420273471147 | 4249.166666666667 | 206.38624091727218 |
| DRESDEN/pawntoqueen/f_x6Aw | 20.78694246439355 | 100.05997600959616 | 4.813597583242041 |
| BASE/pawnToQueen/-O1_JA | 20.84836115810957 | 103.31955739234769 | 4.955763985897692 |
| BASE/ttcc4/Le0qjQ | 21.488092514124293 | 2027.8 | 94.36854381872709 |
| DRESDEN/minichess/c7GMFw | 21.705519617224883 | 4384.8 | 202.0131320201313 |
| DRESDEN/endgame/IJhh3Q | 22.174058664313034 | 837.1333333333333 | 37.75282396454633 |
| STANFORD/platformjumpers/HEQskA | 22.223934375 | 568.8 | 25.594028060119307 |
| BASE/crossers3/O0rORg | 22.350031695906434 | 1061.1666666666667 | 47.47942558224769 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 22.49928350256578 | 2289.0666666666666 | 101.73953612370035 |
| BASE/tttcc4/8Bs2lg | 22.58478183908046 | 2073.9666666666667 | 91.83027232425586 |
| DRESDEN/tttcc4/sAvtFg | 22.616613958028307 | 2058.9333333333334 | 91.03632122625791 |
| BASE/mummyMaze2p_2007/YGA3Vw | 22.669838694321655 | 2221.733333333333 | 98.00393215368723 |
| BASE/racer4/0vs7Ww | 23.075953509883004 | 368.2210592980234 | 15.956916325920016 |
| BASE/twisty-passages/DiZmmg | 23.782831079717457 | 1571.2 | 66.0644645178494 |
| DRESDEN/crossers3/xiPTxg | 23.863946240337313 | 1131.8333333333333 | 47.428590474285905 |
| BASE/gt_staghunt/xPjLRA | 24.00491684105308 | 12814.197633727712 | 533.8155394820172 |
| DRESDEN/twisty-passages/j7NPyg | 24.026652272727272 | 1549.9 | 64.50753032120485 |
| BASE/knightThrough/gcwFjA | 24.372313877551022 | 1591.9 | 65.31591575579846 |
| BASE/gt_prisoner/klthDw | 24.90555591741028 | 12745.833333333334 | 511.76666666666665 |
| STANFORD/ttcc4/Cx9SGw | 25.028677618364416 | 2325.5333333333333 | 92.91475038325669 |
| BASE/3pttc/0sol9g | 25.24890402771065 | 3482.4333333333334 | 137.92413839077395 |
| BASE/4pttc/AL1k2Q | 25.459954179856958 | 2412.4333333333334 | 94.75403279562725 |
| BASE/knightsTour/mvtVIg | 25.72892741061755 | 39579.666666666664 | 1538.3333333333333 |
| DRESDEN/gt_chicken/CeuKtw | 25.925167437109554 | 12341.696654671465 | 476.0507983067231 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 26.629149503546103 | 2293.9333333333334 | 86.14369501466275 |
| BASE/ttcc4_2player/_aH_Mw | 26.681318703241892 | 2495.733333333333 | 93.53860508514113 |
| DRESDEN/babel/WdSW4A | 26.82703026369168 | 2203.7 | 82.14476139696082 |
| STANFORD/knightstour/cEwgNA | 27.434259789455137 | 41522.666666666664 | 1513.5333333333333 |
| BASE/knightsTourLarge/M8jgLA | 29.17329102970868 | 16857.3 | 577.8333333333334 |
| BASE/gt_chicken/gmepTQ | 29.45309941520468 | 12591.2 | 427.5 |
| BASE/checkersBarrelNoKings/rnKNeg | 29.52107412692452 | 2620.4 | 88.76370787640413 |
| BASE/ttcc4_2player_alt/ZEJvYA | 29.551498593272175 | 2683.366666666667 | 90.80306564478506 |
| BASE/nonogram_10x10_1/0Xc62g | 30.696777742410994 | 771.8152123191787 | 25.143199680298387 |
| BASE/checkersTorusNoKings/pwb6oQ | 31.66718972310969 | 2643.0666666666666 | 83.4638845371821 |
| DRESDEN/connect5/1kYzSg | 32.09355799676898 | 661.8 | 20.620960756879207 |
| STANFORD/knightstourbig/TQUI2g | 34.47957947872978 | 15345.2 | 445.05183160561313 |
| DRESDEN/satlike_20v_91c/yeuENQ | 36.14437913654523 | 1491.1345153979469 | 41.254948930365636 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 36.57599629032258 | 1501.1 | 41.040577215860196 |
| BASE/hanoi7_bugfix/3gdnFw | 37.01809669534611 | 6309.3 | 170.43826028995167 |
| BASE/amazons_8x8/7SOsIw | 37.17023430915946 | 1862.1666666666667 | 50.09833005566481 |
| BASE/connect5/d-BVQg | 37.658764996907856 | 674.4666666666667 | 17.909951819239076 |
| BASE/blobwars/0XT15Q | 37.908998290598284 | 688.9333333333333 | 18.173345759552657 |
| DRESDEN/blobwars/ZaMluQ | 38.18548960522014 | 704.2431918936036 | 18.442691168148073 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 38.29011579818032 | 6172.366666666667 | 161.2 |
| BASE/checkersTorus/2vm1EQ | 38.612938819226756 | 2462.766666666667 | 63.78086574027792 |
| DRESDEN/hanoi7/51zz5Q | 40.299891657638135 | 6199.466666666666 | 153.83333333333334 |
| BASE/skirmishNew/sibw2g | 43.07674411764705 | 1024.1 | 23.77384876635701 |
| STANFORD/knightstourmedium/x1wu8Q | 43.97776516053408 | 80038.06666666667 | 1819.9666666666667 |
| BASE/speedChess/bPnisA | 47.68253754184601 | 1106.5333333333333 | 23.206259364075244 |
| BASE/skirmishZeroSum/zh4hcw | 49.302943193997855 | 1021.5333333333333 | 20.71952031978681 |
| BASE/amazonsSuicide_10x10/XIbQkg | 67.1293215926493 | 1460.5 | 21.75651362697408 |
| BASE/nonogram_5x5_1/qLKEZw | 68.37867109894408 | 5826.2 | 85.20493168943685 |
| STANFORD/skirmish/w4V6Vw | 68.4998944217687 | 559.2666666666667 | 8.164489469474807 |
| BASE/amazons_10x10/Bun8dA | 69.81954702194358 | 1483.0 | 21.24047008689283 |
| DRESDEN/battle/8oAvhQ | 70.93356282063326 | 257.9914002866571 | 3.6370850416611558 |
| BASE/battle/8oAvhQ | 72.01979438419794 | 263.44032263440323 | 3.657887736100027 |
| BASE/colonelBlottoVariant2/jruwGw | 95.60906088992974 | 4080.4666666666667 | 42.67866066966517 |
| BASE/amazonsTorus_10x10/Uxc08g | 97.09271493055554 | 1240.9666666666667 | 12.781254160564506 |
| STANFORD/madness/UO_B3A | 97.33759868995634 | 741.7 | 7.61987156024357 |
| DRESDEN/quartosuicide/WIU1oQ | 101.61059827089338 | 2348.4 | 23.111762355135205 |
| BASE/quarto/EwBMVQ | 102.00400327868851 | 2281.0333333333333 | 22.362194227821103 |
| BASE/knightfight/SJRkAg | 102.52157702182284 | 5323.4 | 51.92467922012998 |
| BASE/gt_tinfoil/Q8DyKg | 103.03680580908917 | 12041.166666666666 | 116.86277124095864 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 103.80385539053805 | 111.54435779510764 | 1.0745685444480626 |
| DRESDEN/quarto/OQzRYQ | 104.33685694444445 | 2334.266666666667 | 22.37240736425076 |
| BASE/quartoSuicide/-23jUg | 105.2618672745694 | 2308.6666666666665 | 21.93260224659178 |
| DRESDEN/four_way_battle/xSOQXA | 105.4997768781857 | 688.9437018766041 | 6.530285866595588 |
| DRESDEN/knightfight/4_Ly4w | 106.33265124892336 | 5486.033333333334 | 51.59312091721104 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 107.35736018518519 | 127.63333333333334 | 1.188864304349262 |
| BASE/four_way_battle/xSOQXA | 108.94433752181502 | 692.0666666666667 | 6.352479462533675 |
| DRESDEN/hanoi_6_disks/MeubgQ | 110.80907351120116 | 32810.566666666666 | 296.1 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 112.32181428571428 | 128.03333333333333 | 1.1398794984530207 |
| BASE/hanoi_6_disks/MeubgQ | 112.51724932566962 | 33276.63333333333 | 295.7469502033198 |
| BASE/colonelBlottoVariant/X-n-KQ | 118.85270846763878 | 5159.933333333333 | 43.414520374504384 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 122.53324468085107 | 19.9468085106383 | 0.16278691193228065 |
| BASE/gt_two_thirds_2p/1APDGg | 124.85403 | 330.4 | 2.6462902318811814 |
| BASE/kalaha_2009/dRiN3g | 134.45232386888276 | 3231.8333333333335 | 24.037021007424176 |
| DRESDEN/kalaha_2009/gcC8uA | 137.08328541374473 | 3255.3 | 23.746877601998335 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 138.75913170528074 | 88639.33333333333 | 638.8 |
| BASE/kitten_escapes_from_fire/uW-YiA | 140.19011861108194 | 88999.06666666667 | 634.8455051498283 |
| BASE/amazonsSuicide/dE1QEQ | 152.0380907960199 | 13.526119402985074 | 0.08896533317517274 |
| BASE/amazons/RKKZjw | 161.84438446843484 | 13.561242169798748 | 0.0837918610172332 |
| DRESDEN/checkers-mustjump/HUr33w | 162.16959523809524 | 184.43333333333334 | 1.1372867587327375 |
| BASE/cylinder-checkers/hlldmw | 173.53241558614715 | 478.0507316422786 | 2.7548209366391183 |
| DRESDEN/cylinder-checkers/clOO3Q | 190.43176216216216 | 468.23333333333335 | 2.4587985114300905 |
| BASE/onestep/xi53wA | 191.6288582485616 | 2862079.2 | 14935.533333333333 |
| DRESDEN/max_knights/hCipiA | 193.64562944983817 | 1327.2666666666667 | 6.854100815172185 |
| BASE/max_knights/2fq3Ag | 201.47870193236716 | 1387.5666666666666 | 6.8869148617626506 |
| DRESDEN/checkers-newgoals/IJOqXQ | 211.61988106889945 | 539.3820205993134 | 2.5488248924197285 |
| BASE/solitaireChineseCheckers/-ET6gw | 226.53127060185184 | 3232.633333333333 | 14.270141710435041 |
| BASE/survival/YVIjJA | 267.14201742927884 | 2740503.1 | 10258.6 |
| DRESDEN/checkers/jIDMIg | 273.8300488022948 | 615.9794673510883 | 2.249495517549373 |
| BASE/gt_attrition/kD_SCA | 312.9736193978719 | 369.12102929902335 | 1.1793998165378063 |
| BASE/switches/tPUoCg | 360.37835018109087 | 2222213.033333333 | 6166.333333333333 |
| BASE/haystack/UkweGA | 361.9825254282055 | 4842433.3 | 13377.533333333333 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 364.35940655526986 | 9439.3 | 25.90656321800806 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 370.7554901870131 | 2138468.2333333334 | 5767.866666666667 |
| BASE/pancakes88/l2Xaig | 400.3019002638523 | 10105.2 | 25.24394711426383 |
| BASE/troublemaker01/s3tlEQ | 414.6844994468191 | 4572781.266666667 | 11027.133333333333 |
| DRESDEN/troublemaker01/C-lPWw | 415.908586004883 | 4690312.033333333 | 11277.266666666666 |
| STANFORD/buttonsandlights/eyhJpA | 417.929130203516 | 4111879.3333333335 | 9838.7 |
| BASE/troublemaker02/DI83KA | 445.1185520946608 | 4134216.6 | 9287.9 |
| DRESDEN/troublemaker02/iZLVuA | 446.8303445518256 | 4171950.6666666665 | 9336.766666666666 |
| DRESDEN/statespacesmall/h-NqjA | 459.8581662058719 | 3930882.933333333 | 8548.033333333333 |
| BASE/stateSpaceSmall/Q7osKA | 472.4913426024847 | 4127810.3666666667 | 8736.266666666666 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 479.5081607799853 | 7239.366666666667 | 15.097483752707882 |
| DRESDEN/buttons/ADUaHw | 512.5248957021896 | 4152374.2 | 8101.8 |
| BASE/buttons/hTcUjw | 531.4525140377743 | 4164461.9 | 7836.0 |
| BASE/wargame01/_GZFZg | 532.5499040650407 | 2174.9 | 4.083936516368949 |
| BASE/snake2p/I3wWPQ | 611.1451809557796 | 685032.6333333333 | 1120.9 |
| STANFORD/sukoshi/4LYZZQ | 623.763186986734 | 1579867.4 | 2532.8 |
| BASE/blocksWorld/SEdXLQ | 642.4762646402205 | 4441459.833333333 | 6913.033333333334 |
| DRESDEN/blocks/vg0DRw | 657.967784087321 | 4514996.866666666 | 6862.033333333334 |
| BASE/blocks/xIV5hQ | 658.3081888781704 | 4504012.966666667 | 6841.8 |
| DRESDEN/hitori/S8Gsyg | 668.261005882353 | 742.3666666666667 | 1.1108932888976017 |
| BASE/duplicateStateSmall/bCPAXw | 691.4168811686623 | 4163505.033333333 | 6021.7 |
| BASE/hitori/S8Gsyg | 709.2082868071064 | 747.6417452751575 | 1.0541920606160435 |
| STANFORD/tictactoe7/-bE9-A | 737.2012463171678 | 2101809.9 | 2851.0666666666666 |
| BASE/pearls/6k_mEQ | 767.292355493246 | 6749998.733333333 | 8797.166666666666 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 770.1105824299067 | 13711.7 | 17.804845580404685 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 827.7486087098887 | 14022.166666666666 | 16.940127134156487 |
| BASE/hodgepodge/9yjRkw | 911.1290859944681 | 2898848.3 | 3181.6 |
| DRESDEN/battlebrushes/QHXV4A | 923.9976000799974 | 338.0553981533949 | 0.36586177077097054 |
| BASE/maze/cCX3qQ | 943.3986516357206 | 5690580.666666667 | 6032.0 |
| BASE/wargame03/klXI8w | 1040.3548547619048 | 3389.5666666666666 | 3.258087037468001 |
| DRESDEN/blocksworldparallel/2JfVaw | 1208.6261178848786 | 3148914.2 | 2605.366666666667 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 1213.9944892778994 | 18478.4 | 15.221156408206769 |
| DRESDEN/tictactoe-init1/3ltIBQ | 1228.830427524295 | 3704964.7 | 3015.0333333333333 |
| BASE/tictactoe-init1/7M19vA | 1285.4776420460985 | 3781275.3333333335 | 2941.5333333333333 |
| STANFORD/threepuzzle/41ibjA | 1361.1873994587331 | 4794918.733333333 | 3522.6 |
| BASE/gt_dollar/TGjqRw | 1380.2641765165574 | 3767937.1666666665 | 2729.866666666667 |
| BASE/wargame02/BkVqqQ | 1394.148326388889 | 5564.166666666667 | 3.991086573319586 |
| STANFORD/tictactoe5/WFRReg | 1483.0158465387822 | 3852628.0 | 2597.8333333333335 |
| STANFORD/3puzzle/41ibjA | 1547.2488248289553 | 5299378.8 | 3425.0333333333333 |
| STANFORD/tictactoe3/X7myng | 1664.1348766154229 | 4030479.2 | 2421.9666666666667 |
| BASE/blocksWorldSerial/Wyg96Q | 1666.9476937495815 | 4980061.8 | 2987.5333333333333 |
| BASE/blocksWorldParallel/RseaAQ | 1842.2130939529952 | 3242479.2666666666 | 1760.1 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 1843.8068133333334 | 4591.0 | 2.489957172736629 |
| BASE/gt_centipede/9fRMpw | 1984.884854195763 | 3931990.7333333334 | 1980.9666666666667 |
| DRESDEN/farmers/S_ASnw | 2034.4152357723576 | 2736.133333333333 | 1.3449237329834345 |
| BASE/coins_atomic/AA3SSw | 2331.1664285887223 | 3209472.2333333334 | 1376.7666666666667 |
| BASE/coins/QnGtnQ | 2518.0300998433827 | 3429892.7333333334 | 1362.1333333333334 |
| DRESDEN/coins/QwFP9w | 2547.1483475630084 | 3311547.566666667 | 1300.1 |
| BASE/ruleDepthLinear/OUBJpQ | 2727.8875859442337 | 4536204.266666667 | 1662.9 |
| BASE/minichess/8NQEiA | 13645.781710037174 | 3058929.4 | 224.16666666666666 |
| BASE/ad_game_2x2/D0aWqg | 2827032.8697807016 | 1765675.8333333333 | 0.6245685546168765 |
| BASE/merrills/pku8Tg | Infinity | 179.16069464351187 | 0.0 |
| DRESDEN/merrills/aYEzwA | Infinity | 174.9491717494917 | 0.0 |
Games with errors:
| Game | PALAMEDES_JAVA_ECLIPSE:0.6.1 error message | REKKURA_BACKWARD_PROVER_OSTD: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 | |
| 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 | |
| BASE/ruleDepthExponential/UamhHQ | Exception of type NullPointerException | Test process timed out after 240 seconds |