Game-by-game performance:
| Game | Perf ratio | PALAMEDES_JAVA_ECLIPSE:0.6.1 states per second | REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per second |
| BASE/queens08lg/Ru7eqQ | 6.014290917506542E-4 | 0.024117306579201234 | 40.1 |
| DRESDEN/golden_rectangle/1uloXw | 0.06578831954526396 | 4.216047538425787 | 64.0850468224081 |
| BASE/queens08ug/kJ_ZFQ | 0.23161851962419588 | 8.598188238906802 | 37.122196674331036 |
| BASE/queens06ug/7Lq3tw | 0.3319647420959093 | 25.168120380850922 | 75.81564301662945 |
| BASE/sudokuGrade6H/ieE_9A | 0.3582049358935652 | 44.665177827405756 | 124.69168722085195 |
| BASE/sudokuGrade6E/ihYFZA | 0.36263357740691127 | 44.174967518406234 | 121.81709105452606 |
| STANFORD/sudoku/oJ1qyQ | 0.4366241936002697 | 53.85948540194641 | 123.3543312335433 |
| BASE/simultaneousWin2/PfjRjw | 0.44619196310274195 | 209.5247617143238 | 469.58434718842705 |
| BASE/sudokuGrade3/eI8dvg | 0.45944728787467176 | 56.36666666666667 | 122.68364218104253 |
| BASE/sudokuGrade5/BQfUQA | 0.4747039827771798 | 58.79412058794121 | 123.85428123854281 |
| BASE/sudokuGrade4/DTy07w | 0.4791374482511373 | 57.590401599733376 | 120.19599346688443 |
| BASE/sudokuGrade2/u80Tfw | 0.49041907083264985 | 60.28912131103857 | 122.93388429752066 |
| BASE/sudokuGrade1/tDRNRw | 0.5182319738842679 | 64.36666666666666 | 124.20435231779251 |
| BASE/zhadu/DlA8iQ | 0.5206624084244665 | 11.481629392971247 | 22.051965356429047 |
| BASE/golden_rectangle/_nYzfw | 0.6275907981863349 | 63.04775234096438 | 100.45996933537764 |
| STANFORD/duidoku/3SoMaA | 0.651571742821677 | 50.41316806610689 | 77.37163040218587 |
| BASE/doubletictactoe/HH1htg | 1.3678830624552794 | 1784.2666666666667 | 1304.4 |
| DRESDEN/doubletictactoe/lJzgmQ | 1.3969758223295619 | 1773.8333333333333 | 1269.7666666666667 |
| DRESDEN/bunk_t/7-tPfA | 1.4016039808369287 | 1765.1333333333334 | 1259.3666666666666 |
| DRESDEN/doubletoetictac/V89gKQ | 1.4081456485913837 | 1794.4 | 1274.3 |
| BASE/doubletoetictac/fu35bg | 1.4229038083173866 | 1759.8 | 1236.7666666666667 |
| BASE/bunk_t/xbpfIA | 1.4654940923737918 | 1819.1666666666667 | 1241.3333333333333 |
| BASE/blokbox_simple/JBx4bg | 1.4730729132729525 | 7.281553398058253 | 4.943104535049597 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 1.616686909090909 | 177.8 | 109.97800439912018 |
| DRESDEN/blocker/S815zQ | 1.8836001800411524 | 3905.8333333333335 | 2073.6 |
| DRESDEN/cubicup_3player/awDtsQ | 1.90137918699187 | 337.76666666666665 | 177.64298093587522 |
| BASE/cubicup_3player/e2yA_g | 1.9284985523594658 | 341.9 | 177.28818078794748 |
| STANFORD/multiplesukoshi/vLSQPg | 1.9377817741848484 | 241.61722551829877 | 124.68753124687531 |
| STANFORD/selectivesukoshi/3xmXYg | 1.9972109533468558 | 262.56666666666666 | 131.46666666666667 |
| DRESDEN/latenttictactoe/kITHKg | 2.2321573984081535 | 2832.5333333333333 | 1268.9666666666667 |
| BASE/cittaceot/fDxhXg | 2.403521563286826 | 238.32538915369489 | 99.1567509915675 |
| BASE/ticblock/T21C1g | 2.4406312072390204 | 2948.9333333333334 | 1208.2666666666667 |
| BASE/ticTacHeaven/18n58A | 2.507332772209789 | 858.9 | 342.5552481583947 |
| DRESDEN/blockerparallel/dVQgSg | 2.538843184221656 | 1075.03083230559 | 423.43333333333334 |
| BASE/lightsOnSimultaneous/_VN6lw | 2.5440153569219897 | 1279.7666666666667 | 503.0498983367221 |
| BASE/ticTacToeSerial/Amrwqw | 2.548246955883253 | 1388.2 | 544.7666666666667 |
| BASE/blockerParallel/7-nDJA | 2.5760057242804897 | 1079.9973334222193 | 419.2526915769474 |
| BASE/factoringGeorgeForman/HGRorQ | 2.5875747147255934 | 8571.6 | 3312.6 |
| DRESDEN/tictactoex9/rFkD4w | 2.5880815473078935 | 825.1666666666666 | 318.8333333333333 |
| DRESDEN/tictactoeparallel/yk_DSg | 2.608914229660965 | 2836.9333333333334 | 1087.4 |
| BASE/tictactoex9/BI26ow | 2.6340333333333334 | 831.8 | 315.7894736842105 |
| BASE/conn4/va9Y7A | 2.6527688229815887 | 1234.3333333333333 | 465.3 |
| DRESDEN/ticblock/Z2yNWQ | 2.7928607659142783 | 2936.6 | 1051.4666666666667 |
| BASE/ticTacHeavenFC/mrletw | 2.809939105483204 | 842.4385853804873 | 299.80670532560157 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 2.8177742522635754 | 1345.0666666666666 | 477.35075497483416 |
| DRESDEN/sheep_and_wolf/enAIzQ | 2.8200196189730544 | 960.4666666666667 | 340.58864704509847 |
| BASE/blockerSerial/3eqDuw | 2.825078427316605 | 1047.0333333333333 | 370.62097930068995 |
| BASE/majorities/ibJzSQ | 2.8357431090749343 | 288.8948140247967 | 101.87622887992802 |
| BASE/double_tictactoe_dengji/zgaSbA | 2.855775201163235 | 2574.9666666666667 | 901.6699443351888 |
| BASE/withConviction/3Xm54A | 2.8672395151653105 | 1679.5333333333333 | 585.7666666666667 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 2.8858997448596733 | 2563.8333333333335 | 888.4 |
| DRESDEN/chickentictactoe/Ipbo-g | 2.9430520620328986 | 5421.2 | 1842.0333333333333 |
| STANFORD/multipletictactoe/_bkafQ | 3.0408469866930603 | 614.4333333333333 | 202.05993133562214 |
| DRESDEN/lightsout/XgLpzQ | 3.111088580215621 | 3068.4666666666667 | 986.3 |
| BASE/catcha_mouse/cHv4dw | 3.186072962279082 | 1207.8 | 379.0873637545415 |
| BASE/lightsOnSimul4/9FeASw | 3.203659573299148 | 1166.2 | 364.0211992933569 |
| DRESDEN/slidingpieces/s9_44g | 3.218459675277385 | 834.7333333333333 | 259.3580213992867 |
| BASE/sum15/QZ07Kg | 3.2309338068347206 | 7399.7 | 2290.266666666667 |
| BASE/slidingpieces/uFJWEw | 3.2723075998449014 | 843.9 | 257.8914036198793 |
| DRESDEN/catcha_mouse/cHv4dw | 3.279630392156862 | 1241.3666666666666 | 378.508099460036 |
| DRESDEN/sum15/CsgWKg | 3.309686018957346 | 7449.0 | 2250.6666666666665 |
| DRESDEN/lightsout2/LFtfyQ | 3.316185050449585 | 3220.9 | 971.2666666666667 |
| BASE/quad_7x7/q-JOXg | 3.324206371873404 | 78.15931323617488 | 23.51217237819296 |
| BASE/lightsOnParallel/SC6enA | 3.336244541484716 | 4864.133333333333 | 1457.9666666666667 |
| DRESDEN/towerworld/HCX34w | 3.3486824998301827 | 60.1325915314655 | 17.957089552238806 |
| BASE/cubicup/4wNWJA | 3.372762718534789 | 748.1417286090464 | 221.81866648895405 |
| DRESDEN/cubicup/SBn_lw | 3.4531181031031033 | 766.5666666666667 | 221.99260024665844 |
| DRESDEN/eotcatcit/mQUxzA | 3.495286372206596 | 7538.866666666667 | 2156.866666666667 |
| BASE/eotcatcit/AfZSzA | 3.5677584688075603 | 7425.1 | 2081.1666666666665 |
| DRESDEN/lightson2x2/gBHuig | 3.643667586629868 | 5941.0 | 1630.5 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 3.6436881722231527 | 724.9 | 198.94677198946772 |
| BASE/blocker/dIWtxg | 3.6651935058159166 | 3980.766666666667 | 1086.1 |
| DRESDEN/quad_7x7/q-JOXg | 3.689179798299333 | 86.5439046318804 | 23.458847050983007 |
| BASE/blocks2player/wnTLOQ | 3.7231293454925054 | 6300.9 | 1692.3666666666666 |
| BASE/tictactoe_3d_small_6player/g_9lww | 3.7328147032780064 | 743.9752008266391 | 199.30675909878684 |
| DRESDEN/blocks2player/3ev8nQ | 3.7433481152993346 | 6527.9 | 1743.8666666666666 |
| STANFORD/triplesukoshi/Iu9mbA | 3.7592762956148422 | 1225.9 | 326.1 |
| BASE/futoshiki6/JmvXNA | 3.8012547051442915 | 504.91650278324056 | 132.82890570314322 |
| DRESDEN/grid_game2/kypTYQ | 3.8122003988647695 | 1656.6 | 434.55218159394684 |
| BASE/firefighter/WJmoPw | 3.8484800305265834 | 4034.233333333333 | 1048.2666666666667 |
| BASE/chickentoetictac/l57rfQ | 3.861410552961201 | 5898.433333333333 | 1527.5333333333333 |
| BASE/brain_teaser_extended/ZDp94A | 3.868613927745227 | 5964.5 | 1541.7666666666667 |
| DRESDEN/chickentoetictac/cxYaRQ | 3.8714054999775698 | 5753.166666666667 | 1486.0666666666666 |
| DRESDEN/tictactoelarge/IwXcbg | 3.991349866349866 | 3583.7 | 897.8666666666667 |
| DRESDEN/tictactoe/BTTzPw | 3.9930498352553543 | 7756.1 | 1942.4 |
| DRESDEN/firefighter/WJmoPw | 4.007593688362919 | 4063.7 | 1014.0 |
| DRESDEN/brain_teaser_extended/ZDp94A | 4.0383360522022835 | 5941.2 | 1471.2 |
| STANFORD/duikoshi/tpw1sw | 4.042378917378917 | 2270.2 | 561.6 |
| BASE/tictactoe_orthogonal/WRzlVw | 4.079653097216415 | 7479.5 | 1833.3666666666666 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 4.134292565947242 | 7585.6 | 1834.8 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 4.346165318898941 | 12.35726575942437 | 2.843257182530499 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 4.366070692922468 | 3532.733333333333 | 809.1333333333333 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 4.467009938929469 | 3730.4 | 835.1 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 4.715077977951062 | 4676.1 | 991.7333333333333 |
| BASE/lightsOut/5P1ZBw | 4.734511151614725 | 3073.7 | 649.2116929435686 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 4.795246607564557 | 201.49303472638806 | 42.01932689103632 |
| STANFORD/dualrainbow/G3OnRQ | 4.852090275674038 | 4271.133333333333 | 880.2666666666667 |
| BASE/quad/tw-Ufg | 4.863644362429195 | 10.087558677630922 | 2.074074074074074 |
| DRESDEN/javastrike/whONTQ | 4.876856234733947 | 530.3156561447952 | 108.7412936981371 |
| BASE/futoshiki5/TJ4BZg | 4.879808623017213 | 963.7 | 197.487252974306 |
| BASE/hidato37/pBrqxw | 4.902773880225097 | 87.73040898636712 | 17.894035321559482 |
| DRESDEN/peg/Vo31eg | 4.914877515004055 | 1683.2333333333333 | 342.4771681887874 |
| DRESDEN/peg_bugfixed/u_B7MA | 4.942704346138921 | 1698.2 | 343.57709486034264 |
| BASE/coloredtrails/EZvr7g | 4.997374798061389 | 2474.7 | 495.2 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 5.036242398048961 | 5437.966666666666 | 1079.7666666666667 |
| BASE/stateSpaceLarge/0Ge_CQ | 5.120576671035387 | 7162.833333333333 | 1398.8333333333333 |
| DRESDEN/pawn_whopping/4ogBkg | 5.163138735337737 | 3829.5 | 741.7 |
| BASE/chickentictactoe/DSlZCA | 5.169541451563923 | 5674.433333333333 | 1097.6666666666667 |
| BASE/tictactoe_3d_6player/d7KSwg | 5.185404088780391 | 207.30569257432342 | 39.97869578243068 |
| DRESDEN/statespacelarge/8-y5HQ | 5.2093403243506895 | 7120.3 | 1366.8333333333333 |
| BASE/lightsOn/MsXu3A | 5.368355367223439 | 12330.933333333332 | 2296.9666666666667 |
| BASE/toetictac/mTThmg | 5.3995351464071595 | 8285.766666666666 | 1534.5333333333333 |
| DRESDEN/toetictac/mJtxCA | 5.4140597844977405 | 8307.333333333334 | 1534.4 |
| DRESDEN/tictictoe/LAUtwg | 5.558725240004861 | 6099.033333333334 | 1097.2 |
| DRESDEN/point_grab/r5DPmQ | 5.613298528025524 | 7741.3 | 1379.1 |
| BASE/ticTacToeParallel/ymRGPw | 5.622053459244974 | 2817.866666666667 | 501.2166261124629 |
| BASE/eotcitcit/V_9_bg | 5.636005826386091 | 6061.9 | 1075.5666666666666 |
| BASE/tictactoe2/bhrDoQ | 5.6664771227229345 | 9300.766666666666 | 1641.3666666666666 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 5.684901209082867 | 2570.3333333333335 | 452.1333333333333 |
| DRESDEN/snake_2009_big/DgC1NQ | 5.702791387360348 | 759.9666666666667 | 133.26222459251358 |
| BASE/snake_2009_big/-oRfVw | 5.703533259259259 | 769.9 | 134.98650134986502 |
| BASE/circlesolitaire/azuQFQ | 5.8978394505516505 | 9818.133333333333 | 1664.7 |
| STANFORD/dualhunter/1rPZjQ | 5.911181147488054 | 2034.1666666666667 | 344.12186260457986 |
| DRESDEN/circlesolitaire/ruUilQ | 5.918696260747851 | 9866.466666666667 | 1667.0 |
| BASE/incredible/8Qh-6Q | 5.9341598459316325 | 4930.1 | 830.8 |
| DRESDEN/tpeg/h-Scbg | 5.958469840046251 | 2061.233333333333 | 345.93333333333334 |
| BASE/tpeg/QNs7Lw | 6.057106823964839 | 2036.5333333333333 | 336.2221259291357 |
| BASE/ticTacToeLarge/TZC0dg | 6.0704105870376655 | 3577.9 | 589.4 |
| BASE/stateSpaceMedium/3bUoIw | 6.0721840251252015 | 11922.733333333334 | 1963.5 |
| DRESDEN/statespacemedium/dVJZ_w | 6.095304509530451 | 12236.933333333332 | 2007.6 |
| BASE/ticTacToeLargeSuicide/727_8g | 6.1139837490766515 | 3586.6666666666665 | 586.6333333333333 |
| STANFORD/tictactoe/ss1kyQ | 6.14133472138513 | 7472.366666666667 | 1216.7333333333333 |
| STANFORD/trifecta/ss1kyQ | 6.214589220514215 | 7613.4 | 1225.0849943337112 |
| BASE/numbertictactoe/rvJ-iQ | 6.315016366612111 | 5144.633333333333 | 814.6666666666666 |
| DRESDEN/quad/JPe6fg | 6.401797250378905 | 13.062312562479173 | 2.0404133482524847 |
| BASE/ticTacToe/JRFsaQ | 6.40687805822022 | 7725.2 | 1205.7666666666667 |
| BASE/ticTacToeNoVars/XT03NA | 6.480471094218844 | 8638.9 | 1333.0666666666666 |
| DRESDEN/stratego/Z2wovg | 6.6546520157472475 | 1483.6666666666667 | 222.95180321311912 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 6.721672028956364 | 8913.833333333334 | 1326.1333333333334 |
| DRESDEN/tictactoe_3player/ESLQQQ | 6.884041985033478 | 1747.8 | 253.89153694876836 |
| BASE/breakthroughSmallHoles/bxclRw | 6.999841755189892 | 2240.266666666667 | 320.04533031131257 |
| BASE/hidato19/rRHSmA | 7.0978682170542635 | 976.6341121962602 | 137.59541348621713 |
| DRESDEN/battlesnakes2011/93VtTw | 7.345971206225681 | 1887.6 | 256.95717380436594 |
| DRESDEN/grid_game/U7_Yeg | 7.629627105038429 | 1488.9 | 195.14715195147153 |
| DRESDEN/battlesnakes1509/-qZrLw | 7.638518699832407 | 1924.3333333333333 | 251.92493583547216 |
| DRESDEN/cube_2x2x2/fp-34Q | 7.700077099435292 | 3287.5666666666666 | 426.95243491883605 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 7.928882438316401 | 1821.0 | 229.66666666666666 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 7.946880790611489 | 2144.3333333333335 | 269.8333333333333 |
| BASE/connect4/50bOyw | 7.962803163577929 | 841.4719509349688 | 105.67534242010197 |
| BASE/tictactoe_3d_small_2player/oOryKA | 7.980711796913888 | 2137.766666666667 | 267.8666666666667 |
| STANFORD/rainbow/_4qNSQ | 8.031813799752099 | 11663.8 | 1452.2 |
| DRESDEN/connect4/T0-rHQ | 8.040451963448557 | 834.6443570428638 | 103.80565182617968 |
| BASE/untwistycomplex2/EDPPAQ | 8.125879334602333 | 22909.833333333332 | 2819.366666666667 |
| BASE/futoshiki4/BaCwSw | 8.140713099426636 | 2776.4333333333334 | 341.0552981567281 |
| STANFORD/untwistycorridor/EDPPAQ | 8.189479212671737 | 22869.666666666668 | 2792.5666666666666 |
| STANFORD/tictictoe/rpt_Dw | 8.275095785440612 | 6119.433333333333 | 739.5 |
| BASE/snake_2009/7l-qAQ | 8.415244729170904 | 1379.1666666666667 | 163.88907406172922 |
| DRESDEN/oisters_farm/pTQMLg | 8.471722902358913 | 9457.266666666666 | 1116.3333333333333 |
| DRESDEN/CephalopodMicro/H3XQfg | 8.476708445622506 | 219.79267357754742 | 25.92901183136144 |
| DRESDEN/snake_2009/zIYLVw | 8.478716965906798 | 1400.9666666666667 | 165.23333333333332 |
| BASE/ticTicToe/c1OobQ | 8.659760498543527 | 6044.6 | 698.0100663311223 |
| BASE/tictactoe_3player/GtM71g | 8.675853228649254 | 1804.8666666666666 | 208.03333333333333 |
| BASE/connectFourSimultaneous/7ITr3g | 9.172853112985598 | 1775.9333333333334 | 193.607518997467 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 9.24126375374554 | 790.5069831005633 | 85.54100436535705 |
| BASE/aipsrovers01/4C4jsw | 9.292096969443282 | 3699.4333333333334 | 398.12685398126854 |
| DRESDEN/aipsrovers01/qS47Mw | 9.329072681704261 | 3722.3 | 399.0 |
| DRESDEN/knightwar/7hhAqg | 9.377815545395165 | 1435.6 | 153.08469153084692 |
| STANFORD/breakthrough/d5j0cQ | 9.421104651299197 | 1784.4333333333334 | 189.4080789228103 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 9.61748847108904 | 9037.233333333334 | 939.6666666666666 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 9.659991538570019 | 9133.2 | 945.4666666666667 |
| DRESDEN/Thief_Police/CX18rA | 9.688443988539493 | 9130.066666666668 | 942.3666666666667 |
| DRESDEN/catch_me/ghGWrA | 9.809380701942684 | 9139.4 | 931.7 |
| BASE/3pConnectFour/PqXOFQ | 9.832941437952519 | 1946.4 | 197.9468719794687 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 9.914605438841138 | 259.81601226584894 | 26.205380927011188 |
| DRESDEN/logistics/fPru1Q | 9.934011299435028 | 2930.5333333333333 | 295.0 |
| DRESDEN/8puzzle/8fKC2w | 10.050331925165963 | 8326.7 | 828.5 |
| BASE/nineBoardTicTacToe/wRmqqA | 10.098806923206183 | 2003.2666666666667 | 198.36666666666667 |
| STANFORD/nineboardtictactoe/y28P-A | 10.150925387102264 | 1988.5 | 195.8934702176594 |
| STANFORD/bestbuttonsandlights/nm0wEA | 10.362450688350375 | 12871.2 | 1242.1 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 10.375822837791562 | 9089.566666666668 | 876.0333333333333 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 10.391274728868058 | 12711.3 | 1223.2666666666667 |
| BASE/cephalopodMicro/9l2D3g | 10.49097406824147 | 221.86666666666667 | 21.148338106973956 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 10.603967205898536 | 12847.766666666666 | 1211.6 |
| BASE/crisscross/ICagEg | 10.859230366603095 | 2277.4666666666667 | 209.72634245525148 |
| BASE/snakeAssemblit/UO4sdg | 10.985369161105815 | 2304.5 | 209.77902209779023 |
| BASE/beatMania/qUHwvQ | 10.99732725250523 | 5547.966666666666 | 504.4831838938702 |
| DRESDEN/crisscross/GsY16g | 11.0518684635542 | 2296.133333333333 | 207.75974134195528 |
| DRESDEN/connectfoursuicide/M9CNQg | 11.296868566824076 | 3349.0333333333333 | 296.45678477384087 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 11.354932866316403 | 648.3666666666667 | 57.1 |
| BASE/point_grab/V_osUg | 11.427006274509804 | 7996.733333333334 | 699.8100063331223 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 11.517191977077363 | 3215.6 | 279.2 |
| DRESDEN/chinesecheckers3/QsCb2A | 12.161856517830387 | 1352.5333333333333 | 111.2110911151103 |
| DRESDEN/connectfour/5tc-Mg | 12.385209511291672 | 3454.6 | 278.92947606985734 |
| DRESDEN/chinesecheckers1/Y-ftaA | 12.460265435403283 | 2327.5 | 186.79377354088197 |
| BASE/connectFourSuicide/c8p9Kw | 13.1835477331966 | 3427.9333333333334 | 260.01599893340443 |
| BASE/duplicateStateMedium/U163eQ | 13.31992162756382 | 10029.566666666668 | 752.9749008366388 |
| DRESDEN/mimikry/GJEhwA | 13.666649378030781 | 2159.8333333333335 | 158.03678528588566 |
| BASE/qyshinsu/R08Lzw | 13.712516047104218 | 812.7729075697476 | 59.272339574865065 |
| BASE/connectFour/WAIKTw | 13.728730141273248 | 3411.9333333333334 | 248.52504916502784 |
| BASE/pawnWhopping/Ypc_6Q | 13.788682313010685 | 3655.9333333333334 | 265.14015265140154 |
| BASE/god/qF06gw | 13.852442767086927 | 63.06818181818182 | 4.552856335781463 |
| BASE/connect5/d-BVQg | 14.546369518332135 | 674.4666666666667 | 46.36666666666667 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 14.601773120071085 | 2921.133333333333 | 200.0533297780148 |
| BASE/hexPie/48CH6Q | 14.774638228537988 | 356.2762482501167 | 24.11404209965361 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 14.789177346057713 | 1446.3333333333333 | 97.79674010866304 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 14.821872773937839 | 679.1773607546415 | 45.822641383677144 |
| STANFORD/connectfour/VMpZkQ | 14.838510150107219 | 3459.5 | 233.14335233143353 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 14.905439687957095 | 3056.8 | 205.07949205079493 |
| DRESDEN/god/2EDD5w | 14.91090701804524 | 69.6263706962637 | 4.669492648032852 |
| DRESDEN/3pffa/0YrmQw | 14.936927347508924 | 3207.633333333333 | 214.74519214745192 |
| BASE/minichess-evilconjuncts/4OpQzw | 15.012628773854416 | 1459.5333333333333 | 97.22037061725104 |
| DRESDEN/chinesecheckers6/yTbPDA | 15.031559781287973 | 824.5666666666667 | 54.85569552756115 |
| DRESDEN/pentago_2008/hLjVpQ | 15.040009818360334 | 2042.4333333333334 | 135.8 |
| DRESDEN/chinesecheckers4/-oVNYg | 15.048102618920364 | 938.5 | 62.36666666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 15.202448676012459 | 3036.233333333333 | 199.72001866542232 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 15.283123396769552 | 3185.3 | 208.4194387040864 |
| BASE/tictactoe_3d_2player/IUC1rQ | 15.358208370480439 | 688.5666666666667 | 44.83378855505962 |
| BASE/hex/T1MK8g | 15.805534501453252 | 392.87380841277246 | 24.856723977075838 |
| DRESDEN/chinesecheckers2/06E6-Q | 16.316241363180755 | 1627.6 | 99.75336621783762 |
| STANFORD/8puzzle/jNiGtw | 16.495588622596784 | 8351.166666666666 | 506.26666666666665 |
| BASE/hallway/ckCJOw | 16.52288109640832 | 291.03333333333336 | 17.61395797955582 |
| BASE/connectFour_9x6/B9TtMw | 16.58477904905914 | 3289.4333333333334 | 198.3404978506448 |
| BASE/eightPuzzle/vLrgFg | 16.695295452511967 | 8292.833333333334 | 496.7167761074631 |
| DRESDEN/3pttc/uwYBZw | 16.711493236641992 | 3686.866666666667 | 220.61862542497167 |
| DRESDEN/hallway/0H4l-Q | 16.840066442229702 | 292.89023699210026 | 17.392463265918103 |
| STANFORD/hex/MTqWcw | 16.842812849162012 | 401.5 | 23.838060993474496 |
| BASE/othello-comp2007/86ZoMw | 16.96640375444705 | 37.26894254787677 | 2.196631831192172 |
| BASE/dualConnect4/WbCQkg | 17.164533567662566 | 1952.9333333333334 | 113.77724455108978 |
| DRESDEN/backgammon/mqCW0Q | 17.171369470404986 | 856.9666666666667 | 49.906716417910445 |
| BASE/rubiksCube/9tNO9Q | 17.474485547600107 | 1464.1666666666667 | 83.78882815624583 |
| STANFORD/hunter/14dD-g | 17.515995872033024 | 7920.733333333334 | 452.2 |
| BASE/asteroidsSerial/id2QkA | 17.55186567246923 | 5276.5 | 300.62331255624815 |
| STANFORD/eightpuzzle/W_aWbA | 17.606309631589944 | 8426.966666666667 | 478.6333333333333 |
| BASE/colonelBlotto/jip21A | 18.38315657236731 | 6.710071751262291 | 0.3650119458455004 |
| BASE/duplicateStateLarge/dcjyuw | 18.899636829780363 | 5200.833333333333 | 275.1816545563629 |
| DRESDEN/chomp/-LcqYQ | 18.973520009891196 | 4262.433333333333 | 224.65168988734084 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 19.202370495495494 | 2841.6666666666665 | 147.985201479852 |
| BASE/chomp/-LcqYQ | 19.353165548098435 | 4325.0 | 223.4776522347765 |
| BASE/othelloSuicide/B442jg | 19.57115912228213 | 37.46541781940602 | 1.9143177767509407 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 19.592817883699055 | 2883.774415038997 | 147.18528147185282 |
| BASE/battlebrushes/arCwyA | 19.683071418012773 | 93.79762772513419 | 4.765395894428153 |
| BASE/othelloHoles/c0qAzw | 19.719689820491272 | 38.12092156079371 | 1.9331400193314001 |
| BASE/connectFourLarge/aU644A | 21.004193971166448 | 2671.0333333333333 | 127.16666666666667 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 21.040013472285153 | 4643.066666666667 | 220.67793220677933 |
| BASE/skirmishHoles/AUCxCA | 21.176030537634407 | 327.93333333333334 | 15.486062543710661 |
| BASE/checkLines/Vop7oQ | 21.5315386606471 | 3179.0666666666666 | 147.646980402613 |
| DRESDEN/Zhadu/9zpQ5w | 21.608119635890766 | 553.6666666666666 | 25.623084099693457 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 21.66453323076923 | 3519.9 | 162.47292117980336 |
| BASE/pegEuro/5awwhg | 21.73166285050606 | 1454.6666666666667 | 66.93766034718288 |
| BASE/tron_10x10/7ZTgDg | 22.128600758822454 | 5378.366666666667 | 243.0504633024465 |
| DRESDEN/racetrackcorridor/O0DoTA | 22.250907041714505 | 1291.4333333333334 | 58.039581528619976 |
| BASE/endgame/jYjfOA | 22.41220374472366 | 821.20595980134 | 36.6410179540988 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 23.27619715438522 | 3653.1 | 156.94574056792428 |
| BASE/asteroids/BKCmPQ | 23.575227681936795 | 10841.1 | 459.8513382887237 |
| BASE/copolymer_4_pie/IN5_jA | 24.055041506503592 | 1376.5666666666666 | 57.225703239568055 |
| STANFORD/alquerquezero/uVgA_A | 24.061301555444054 | 1597.8333333333333 | 66.4067706250833 |
| BASE/asteroidsParallel/WauZiA | 24.263099733799184 | 6481.266666666666 | 267.1244291856938 |
| BASE/breakthroughSmall/HJ0tIA | 24.82749764359352 | 2247.266666666667 | 90.51523028727588 |
| BASE/peg/fJHVWw | 24.87688203227932 | 1677.6333333333334 | 67.43744377436444 |
| BASE/racetrackcorridor/_RkdUg | 24.908131119864944 | 1474.9 | 59.213595468177274 |
| DRESDEN/babel/WdSW4A | 24.933718778280543 | 2203.7 | 88.38232353529294 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 25.40019655410062 | 3685.2 | 145.0854914508549 |
| BASE/breakthroughSuicideSmall/XSbJog | 25.774328550130452 | 2304.7 | 89.41843026162306 |
| BASE/escortLatch/mX9BjQ | 26.12673824701195 | 2185.5 | 83.6499366793308 |
| BASE/copolymer_4/2LDVhQ | 26.43343420738975 | 1478.0666666666666 | 55.91655836582358 |
| BASE/pentagoSuicide/SBgNhw | 27.115983513838746 | 2002.4333333333334 | 73.84697414022928 |
| BASE/pentago/86NgKw | 27.157942081650965 | 2017.6333333333334 | 74.2925707429257 |
| BASE/englishDraughts/jFkQxg | 27.559586486486484 | 2481.0333333333333 | 90.02433090024331 |
| BASE/mineClearingSmall/frsbvw | 27.724792286010977 | 2076.0333333333333 | 74.88003199146894 |
| DRESDEN/capture_the_king/EQ229Q | 28.606831339449165 | 407.772815145657 | 14.25438596491228 |
| BASE/strangeSkirmish/gc1zKA | 28.88764772270996 | 413.7390840610626 | 14.322352862805182 |
| DRESDEN/amazons/dNB28A | 28.9738848326009 | 164.38401812789496 | 5.673523556735236 |
| BASE/chinook/XQh0IQ | 29.070947753278205 | 682.6439118696044 | 23.481997135529426 |
| STANFORD/chinook/osFbPA | 29.163236574284735 | 626.4457851404953 | 21.480667399340593 |
| DRESDEN/frogs_and_toads/GjchhQ | 29.41979842084485 | 2483.266666666667 | 84.40801093005432 |
| DRESDEN/4pttc/9pB9AQ | 29.790337837837836 | 2498.0 | 83.85269121813032 |
| DRESDEN/crissrace/KWb9bw | 30.446081354748603 | 1452.5666666666666 | 47.70947859403631 |
| STANFORD/pentago/ZxzLmg | 30.447256460228093 | 2343.0333333333333 | 76.95384102649558 |
| BASE/wallmaze/uxNQ9g | 30.918002938475666 | 747.8666666666667 | 24.1887119344306 |
| DRESDEN/bidding-tictactoe/yW5vTA | 30.995413529411767 | 4214.533333333334 | 135.97280543891222 |
| BASE/crissrace/ERWGDA | 30.998714169570267 | 1481.8333333333333 | 47.80305806322662 |
| BASE/chineseCheckers4/avfBcQ | 31.154836239985094 | 1857.4333333333334 | 59.619422134835204 |
| BASE/shmup/ssTNlg | 32.770176702997276 | 4809.7 | 146.77064587082583 |
| BASE/brawl/6Ymo_Q | 32.87427174276536 | 397.5401639890674 | 12.092744353387967 |
| BASE/biddingTicTacToe/8mESVw | 33.26580611169653 | 4209.233333333334 | 126.53333333333333 |
| DRESDEN/quad_5x5/JAEP5g | 33.61185320472576 | 195.1325076574777 | 5.8054670912951165 |
| BASE/quad_5x5/JAEP5g | 33.98995028396342 | 188.69495703151023 | 5.551492586929061 |
| BASE/chineseCheckers6/rREH3A | 34.064675074183974 | 1530.3333333333333 | 44.924348463640605 |
| DRESDEN/roshambo2/jgSlkQ | 34.252903630846504 | 10911.833333333334 | 318.56666666666666 |
| DRESDEN/endgame/IJhh3Q | 34.339621038251366 | 837.1333333333333 | 24.378059746228395 |
| DRESDEN/brawl/2kXtfQ | 34.71800547218005 | 406.62600406626007 | 11.712251281027484 |
| BASE/roshambo2/KNPokQ | 35.15572308676189 | 10994.0 | 312.72290923635876 |
| BASE/skirmishFinal3/-Olhfw | 35.93256801349865 | 575.4474850838305 | 16.014649575495255 |
| DRESDEN/Runners/3bOCQw | 36.12823725981621 | 8649.1 | 239.4 |
| DRESDEN/pacman3p/rBnk8Q | 36.16794227528089 | 858.3 | 23.730960237309603 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 36.588313516896115 | 19.9468085106383 | 0.5451688419972421 |
| BASE/skirmishFinal1/ecWTnQ | 36.87745833333333 | 531.0 | 14.399040063995734 |
| DRESDEN/skirmishfinal/hzq8ww | 37.428193818929124 | 559.4480183993867 | 14.947235260827592 |
| BASE/skirmishFinal2/gdB62Q | 37.651480637813215 | 550.9483017232759 | 14.632845571814272 |
| BASE/4pffa/Q3ADlg | 40.258098295800366 | 2203.7 | 54.739297018157586 |
| BASE/connectFourLarger/qKi60A | 40.820548662704304 | 1830.5666666666666 | 44.84424454439447 |
| BASE/chess_200/XsTpYA | 41.35403403219893 | 131.39562014599514 | 3.177335010260144 |
| BASE/pacman3p/wW7UVQ | 41.75281128526646 | 887.2333333333333 | 21.24966693312017 |
| DRESDEN/skirmish3/3LU8Nw | 42.700770622568086 | 730.9 | 17.11678710579773 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 43.052927961939844 | 1557.6333333333334 | 36.17949828430556 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 43.59103276836158 | 1542.3 | 35.381130063965884 |
| DRESDEN/skirmish2/iPpWhQ | 43.92079960970998 | 756.6747775074164 | 17.22816488386817 |
| BASE/knightwar/DVGY4Q | 44.08626609929079 | 1380.6333333333334 | 31.316631130063964 |
| DRESDEN/breakthrough/z4hK7Q | 44.15982030615433 | 1569.4666666666667 | 35.54060355739124 |
| DRESDEN/skirmish/RjGQYQ | 44.18271936758893 | 744.0 | 16.83916270092183 |
| BASE/breakthroughHoles/nZk0Sg | 45.46460805084746 | 1430.0 | 31.453037017292505 |
| DRESDEN/Goldrush/VeWczQ | 45.65227405128205 | 1978.1333333333334 | 43.3304446370242 |
| BASE/snakeParallel/RCVNtw | 46.02396229122102 | 23666.266666666666 | 514.2161927935736 |
| DRESDEN/minichess/c7GMFw | 46.29188571428572 | 4384.8 | 94.72070390614584 |
| STANFORD/freeforall/Lfp40Q | 46.34211954206602 | 3866.733333333333 | 83.4388537154282 |
| BASE/sheepAndWolf/g4THrg | 46.70025759453503 | 929.4356854771507 | 19.902153293174027 |
| BASE/pacman2p/4LEdQg | 46.875497819314646 | 1001.2 | 21.358706500765187 |
| BASE/chineseCheckers3/-1rZdQ | 48.064681983985764 | 3600.5666666666666 | 74.91086007531074 |
| DRESDEN/knightthrough/J7Fc_Q | 48.305351111111115 | 1617.3666666666666 | 33.482142857142854 |
| BASE/breakthrough/TGxk-g | 48.36074048370137 | 1531.3 | 31.664114004128653 |
| BASE/breakthroughWalls/vOZaYA | 49.11988538380652 | 1556.1666666666667 | 31.680991405156906 |
| BASE/3pffa/pR0dzA | 49.67172004649499 | 3086.1666666666665 | 62.13126229125696 |
| DRESDEN/mummymaze2p/k-8edg | 49.99303252212389 | 751.9 | 15.040095830699098 |
| BASE/breakthroughSuicide/wZDpIg | 50.02811155462185 | 1587.4 | 31.730160317301603 |
| STANFORD/pilgrimage/ObRZnQ | 50.510362370482696 | 2219.366666666667 | 43.938838735467534 |
| BASE/mummymaze2p/vpjDdA | 51.21197472527472 | 775.5 | 15.142942723067195 |
| BASE/skirmish/Y_psYQ | 52.693333333333335 | 411.6666666666667 | 7.8125 |
| BASE/2pffa/6oHijA | 52.9044485267035 | 3829.133333333333 | 72.37828651404578 |
| BASE/dotsAndBoxes/EHwA_w | 53.377665757575755 | 1565.0666666666666 | 29.32062772798454 |
| BASE/chineseCheckers2/eCMR3Q | 55.12202059779077 | 5654.2 | 102.5760655846969 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 55.39118655172414 | 1604.9 | 28.97392346887801 |
| DRESDEN/knightazons/02I8BQ | 56.412124438902744 | 753.9666666666667 | 13.365330133653302 |
| BASE/knightazons/apnJBQ | 56.98851443037975 | 749.2 | 13.146508686680423 |
| DRESDEN/gt_prisoner/huCp4w | 57.472269248743615 | 11533.146685331467 | 200.67324356752434 |
| DRESDEN/smallest/9kaGFw | 57.851340337472145 | 2017.6666666666667 | 34.87674883411059 |
| DRESDEN/bomberman2p/x4h6jQ | 58.93964709803922 | 1669.2333333333333 | 28.32106087362143 |
| BASE/choicethroughalt/tt71Lg | 60.75965753424657 | 1477.5 | 24.317121918720854 |
| BASE/bomberman2p/4CClwA | 61.318289786223275 | 1721.0 | 28.066666666666666 |
| BASE/2pffa_zerosum/o0_uZA | 63.1769387878788 | 3937.766666666667 | 62.329178054796344 |
| BASE/gt_coordination/IVMOzA | 63.489569378743454 | 12959.041525028328 | 204.11292204112922 |
| BASE/ttcc4_2player_small/Cv72TA | 65.23956723338485 | 4221.0 | 64.7 |
| BASE/nonogram_10x10_1/0Xc62g | 68.60021481802593 | 771.8152123191787 | 11.250915385127488 |
| DRESDEN/tttcc4/sAvtFg | 73.63079348430672 | 2058.9333333333334 | 27.96293827489668 |
| BASE/mummyMaze2p_2007/YGA3Vw | 74.19699651464589 | 2221.733333333333 | 29.94370982246944 |
| BASE/tttcc4/8Bs2lg | 74.22279276916964 | 2073.9666666666667 | 27.942449876773463 |
| BASE/ttcc4/Le0qjQ | 74.65538527607362 | 2027.8 | 27.162139643392766 |
| DRESDEN/knightstour/cGISAA | 74.76222655982639 | 39807.066666666666 | 532.4489183693877 |
| BASE/checkers-mustjump-torus/uSApKQ | 75.43941363636364 | 110.2 | 1.4607748746721556 |
| DRESDEN/gt_chicken/CeuKtw | 75.80353458070884 | 12341.696654671465 | 162.8116251166511 |
| DRESDEN/pawntoqueen/f_x6Aw | 77.22577635612421 | 100.05997600959616 | 1.2956810631229236 |
| DRESDEN/ghostmaze2p/HY0UwA | 78.36616040201005 | 2597.0666666666666 | 33.14015454303224 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 79.30056474210932 | 2289.0666666666666 | 28.86570447651745 |
| BASE/chineseCheckers1/gqtwHw | 80.0255302518224 | 10733.733333333334 | 134.1288623712543 |
| BASE/gt_staghunt/xPjLRA | 82.25322152483928 | 12814.197633727712 | 155.78961402573162 |
| BASE/pawnToQueen/-O1_JA | 82.40550382755984 | 103.31955739234769 | 1.2537943777220535 |
| BASE/gt_prisoner/klthDw | 83.90494277460876 | 12745.833333333334 | 151.9080153307782 |
| BASE/ghostMaze2p/W-NU-w | 85.54039220489977 | 2559.4 | 29.920367840602406 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 90.38354954046152 | 200.86565673381057 | 2.222369643094069 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 94.04186530054645 | 2293.9333333333334 | 24.392682195341397 |
| DRESDEN/small_dominion/yB5GJA | 97.70323409592949 | 38.1964101368677 | 0.3909431503502199 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 97.88041363933418 | 125.53723138430784 | 1.282557221783741 |
| DRESDEN/connect5/1kYzSg | 99.05157339901477 | 661.8 | 6.681367870190567 |
| BASE/gt_chicken/gmepTQ | 99.3651669647554 | 12591.2 | 126.71643780829223 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 100.16216216216216 | 123.53333333333333 | 1.2333333333333334 |
| BASE/smallest_4player/ADDROA | 100.28411537515375 | 3622.633333333333 | 36.123700346574246 |
| DRESDEN/smallest_4player/ADDROA | 101.83771866422691 | 3708.4333333333334 | 36.41512577044811 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 103.04668732083792 | 3115.133333333333 | 30.230310302303103 |
| STANFORD/platformjumpers/HEQskA | 104.0386909090909 | 568.8 | 5.467196819085487 |
| BASE/nim4/twk16w | 104.48171702432045 | 3245.0333333333333 | 31.05838443081845 |
| DRESDEN/nim3/sG_axA | 104.60204440894569 | 3271.1 | 31.27185533020282 |
| BASE/nim3/1OwUqw | 106.02920432432431 | 3267.6 | 30.81792437114776 |
| DRESDEN/nim4/F5YAYg | 107.63801075268816 | 3334.0 | 30.97418817651957 |
| STANFORD/ttcc4/Cx9SGw | 108.85019750390015 | 2325.5333333333333 | 21.364530213645303 |
| BASE/checkersBarrelNoKings/rnKNeg | 108.94621495844876 | 2620.4 | 24.052235325471383 |
| BASE/checkersTorusNoKings/pwb6oQ | 112.3153584513692 | 2643.0666666666666 | 23.532548915036166 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 113.8002617370892 | 3229.6666666666665 | 28.380133906265613 |
| BASE/nonogram_5x5_1/qLKEZw | 116.5589572 | 5826.2 | 49.985004498650405 |
| BASE/ttcc4_2player/_aH_Mw | 121.28537087378639 | 2495.733333333333 | 20.577364898611528 |
| BASE/checkersTorus/2vm1EQ | 125.04270620417374 | 2462.766666666667 | 19.695404405638683 |
| DRESDEN/nim2/z5_exA | 136.94436721915284 | 4130.466666666666 | 30.161639726712213 |
| BASE/nim2/eF2Qqw | 137.39370131291028 | 4183.0 | 30.44535491822391 |
| BASE/knightThrough/gcwFjA | 137.83468443804037 | 1591.9 | 11.549342652687635 |
| BASE/2pttc/unkkYA | 138.2868709327549 | 4249.166666666667 | 30.72718789575418 |
| BASE/ttcc4_2player_alt/ZEJvYA | 140.0437396521739 | 2683.366666666667 | 19.160918391149323 |
| BASE/checkers-mustjump/T-8UuQ | 142.92075791438467 | 180.05466302246518 | 1.2598216357789345 |
| BASE/knightsTour/mvtVIg | 146.4877349699811 | 39579.666666666664 | 270.19099363354553 |
| STANFORD/knightstour/cEwgNA | 147.78502787993833 | 41522.666666666664 | 280.96666666666664 |
| BASE/knightsTourLarge/M8jgLA | 159.90200966824642 | 16857.3 | 105.42269002731331 |
| BASE/3pttc/0sol9g | 160.49149749103944 | 3482.4333333333334 | 21.698553429771348 |
| BASE/4pttc/AL1k2Q | 169.4001668224299 | 2412.4333333333334 | 14.241032807612964 |
| BASE/skirmishNew/sibw2g | 191.33495652173912 | 1024.1 | 5.352393617021277 |
| BASE/amazons_8x8/7SOsIw | 196.95035269953055 | 1862.1666666666667 | 9.455005493225022 |
| BASE/nim1/hin2Qw | 198.697867281106 | 5748.8 | 28.932368921035966 |
| STANFORD/knightstourbig/TQUI2g | 200.8734884816754 | 15345.2 | 76.3923607639236 |
| DRESDEN/nim1/M9BALA | 202.2703080139373 | 5798.2 | 28.66560127846584 |
| BASE/kalaha5x2x3/WviNsw | 217.03010808080805 | 3575.633333333333 | 16.475287069395907 |
| BASE/speedChess/bPnisA | 222.89591588366892 | 1106.5333333333333 | 4.964349970013993 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 227.62278823529414 | 127.63333333333334 | 0.5607230028365987 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 229.02150784313724 | 128.03333333333333 | 0.5590450195665757 |
| STANFORD/skirmish/w4V6Vw | 234.1385435185185 | 559.2666666666667 | 2.388614271970275 |
| STANFORD/knightstourmedium/x1wu8Q | 249.65086296527343 | 80038.06666666667 | 320.6 |
| DRESDEN/battle/8oAvhQ | 267.37368754374853 | 257.9914002866571 | 0.9649094593290662 |
| BASE/battle/8oAvhQ | 273.4686175826862 | 263.44032263440323 | 0.9633292659430993 |
| DRESDEN/gt_ultimatum/pAiiQw | 284.432471964018 | 6316.933333333333 | 22.208903539439948 |
| BASE/gt_ultimatum/GE-uOA | 295.6400082148499 | 6236.133333333333 | 21.093671898430472 |
| DRESDEN/snake_2008/E56l3A | 317.34860130718954 | 1616.0 | 5.092191972309126 |
| BASE/crossers3/O0rORg | 320.63150833333333 | 1061.1666666666667 | 3.3096144299189145 |
| STANFORD/madness/UO_B3A | 321.23027 | 741.7 | 2.3089355806972987 |
| BASE/snake_2008/i6K26g | 323.45011964513463 | 1633.912202926569 | 5.051512130275839 |
| BASE/snake_2008_tweaked/bX0NJQ | 331.78456315789475 | 1674.4 | 5.0466482950961185 |
| DRESDEN/crossers3/xiPTxg | 347.56522789115644 | 1131.8333333333333 | 3.256463082341995 |
| BASE/haystack/UkweGA | 356.11014992253837 | 4842433.3 | 13598.133333333333 |
| DRESDEN/hanoi/RQ0jiA | 367.19685039370074 | 7772.333333333333 | 21.166666666666668 |
| BASE/hanoi/iGLsJg | 376.9801428571429 | 7915.0 | 20.995800839832032 |
| BASE/amazonsSuicide_10x10/XIbQkg | 378.1939568965517 | 1460.5 | 3.8617750848924697 |
| BASE/onestep/xi53wA | 394.974750100052 | 2862079.2 | 7246.233333333334 |
| BASE/survival/YVIjJA | 399.2884693837905 | 2740503.1 | 6863.466666666666 |
| BASE/amazons_10x10/Bun8dA | 399.8803571428572 | 1483.0 | 3.7086092715231787 |
| DRESDEN/four_way_battle/xSOQXA | 401.16396825234034 | 688.9437018766041 | 1.7173618679612932 |
| BASE/four_way_battle/xSOQXA | 409.56776732026145 | 692.0666666666667 | 1.6897488569345969 |
| DRESDEN/knightfight/4_Ly4w | 439.1898845333333 | 5486.033333333334 | 12.4912561207155 |
| BASE/knightfight/SJRkAg | 442.5057817174515 | 5323.4 | 12.030125299920021 |
| BASE/pearls/6k_mEQ | 470.87977100124175 | 6749998.733333333 | 14334.866666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 515.5315911602211 | 3107.266666666667 | 6.027306027306027 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 516.0998086097067 | 111.54435779510764 | 0.2161294306533284 |
| BASE/quarto/EwBMVQ | 550.8786741333333 | 2281.0333333333333 | 4.140718166158739 |
| DRESDEN/quartosuicide/WIU1oQ | 567.2607168000001 | 2348.4 | 4.139895343445717 |
| DRESDEN/quarto/OQzRYQ | 575.7602666666668 | 2334.266666666667 | 4.054233683370995 |
| BASE/quartoSuicide/-23jUg | 581.3799833333334 | 2308.6666666666665 | 3.9710116152089743 |
| DRESDEN/knightmove/97Ipcw | 581.9068599156118 | 1514.7333333333333 | 2.603051171373027 |
| BASE/knightmove/jBaJEw | 588.6245510548523 | 1543.7666666666667 | 2.6226678175419957 |
| BASE/kalaha6x2x4/XS81Mg | 673.0692433333334 | 3130.866666666667 | 4.651626407947636 |
| DRESDEN/fizzbuzz/t1xHzQ | 770.8412204081633 | 5021.6 | 6.514441453119288 |
| BASE/amazonsTorus_10x10/Uxc08g | 792.3176113475178 | 1240.9666666666667 | 1.5662490002665956 |
| DRESDEN/checkers-mustjump/HUr33w | 803.7341190476191 | 184.43333333333334 | 0.22947057859367317 |
| BASE/wargame01/_GZFZg | 1000.5858121212121 | 2174.9 | 2.1736266631537347 |
| DRESDEN/pancakes88/aD3E7g | 1009.982744262295 | 10257.9 | 10.156510156510157 |
| BASE/troublemaker01/s3tlEQ | 1041.604188179554 | 4572781.266666667 | 4390.133333333333 |
| DRESDEN/buttons/ADUaHw | 1057.3370849460175 | 4152374.2 | 3927.2 |
| BASE/buttons/hTcUjw | 1066.3888917340983 | 4164461.9 | 3905.2 |
| DRESDEN/troublemaker01/C-lPWw | 1073.347071566967 | 4690312.033333333 | 4369.8 |
| DRESDEN/pancakes6/SZXMyQ | 1089.4467651661307 | 11277.766666666666 | 10.35182904503545 |
| BASE/switches/tPUoCg | 1108.8149657374759 | 2222213.033333333 | 2004.1333333333334 |
| DRESDEN/troublemaker02/iZLVuA | 1117.9759001706104 | 4171950.6666666665 | 3731.7 |
| DRESDEN/pancakes/hl9aiQ | 1120.7017414790998 | 11597.066666666668 | 10.348040194316896 |
| BASE/troublemaker02/DI83KA | 1132.3415106225634 | 4134216.6 | 3651.0333333333333 |
| DRESDEN/max_knights/hCipiA | 1144.1417885714286 | 1327.2666666666667 | 1.1600543568327202 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 1146.998324565186 | 88639.33333333333 | 77.2793921620901 |
| BASE/coins_atomic/AA3SSw | 1148.715291282406 | 3209472.2333333334 | 2793.9666666666667 |
| BASE/kitten_escapes_from_fire/uW-YiA | 1170.9171375127867 | 88999.06666666667 | 76.00799733422193 |
| BASE/checkers-newgoals/0XkFiA | 1197.9534857142858 | 529.8 | 0.4422542330048016 |
| DRESDEN/coins/QwFP9w | 1203.9218483016034 | 3311547.566666667 | 2750.633333333333 |
| BASE/pancakes6/QZTdnw | 1219.983410705596 | 11132.866666666667 | 9.125424631985613 |
| BASE/checkers/rOC3Xg | 1224.1834681159419 | 923.3666666666667 | 0.7542714721411472 |
| STANFORD/sukoshi/4LYZZQ | 1224.7350577534303 | 1579867.4 | 1289.9666666666667 |
| BASE/pancakes/yUgbXw | 1227.6972553956834 | 11342.633333333333 | 9.23894981721502 |
| STANFORD/buttonsandlights/eyhJpA | 1230.1808027923212 | 4111879.3333333335 | 3342.5 |
| DRESDEN/statespacesmall/h-NqjA | 1234.1344998639513 | 3930882.933333333 | 3185.133333333333 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 1236.776044879704 | 2138468.2333333334 | 1729.0666666666666 |
| BASE/guess/SPpk1A | 1238.0968493506493 | 3172.6 | 2.5624812805750605 |
| BASE/coins/QnGtnQ | 1248.1868821039097 | 3429892.7333333334 | 2747.9 |
| DRESDEN/guess/PhxGhg | 1252.584580263158 | 3141.9 | 2.508333608369913 |
| DRESDEN/battlebrushes/QHXV4A | 1252.9835524001053 | 338.0553981533949 | 0.2698003477426704 |
| BASE/max_knights/2fq3Ag | 1269.4132626262626 | 1387.5666666666666 | 1.093077177873468 |
| BASE/racer4/0vs7Ww | 1275.763230114552 | 368.2210592980234 | 0.28862805464691166 |
| BASE/stateSpaceSmall/Q7osKA | 1301.5325135319774 | 4127810.3666666667 | 3171.5 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 1359.7584927458952 | 518.5629540758515 | 0.3813640119494057 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 1404.38469530869 | 514.4780247242678 | 0.36633696339960703 |
| BASE/gt_attrition/kD_SCA | 1608.0493983533881 | 369.12102929902335 | 0.2295458271847844 |
| BASE/checkersSmall/SYmq8w | 1629.1117055555558 | 1285.6333333333334 | 0.7891621728265158 |
| BASE/wargame03/klXI8w | 1636.3536603174603 | 3389.5666666666666 | 2.0714144801736043 |
| BASE/blocksWorld/SEdXLQ | 1639.3990230818445 | 4441459.833333333 | 2709.2 |
| DRESDEN/cylinder-checkers/clOO3Q | 1667.5349777777778 | 468.23333333333335 | 0.28079371022089106 |
| BASE/blocks/xIV5hQ | 1675.2053583605054 | 4504012.966666667 | 2688.633333333333 |
| BASE/cylinder-checkers/hlldmw | 1704.0383913128821 | 478.0507316422786 | 0.2805398834200929 |
| DRESDEN/blocks/vg0DRw | 1709.3411996315037 | 4514996.866666666 | 2641.366666666667 |
| BASE/duplicateStateSmall/bCPAXw | 1723.9948516928682 | 4163505.033333333 | 2415.0333333333333 |
| STANFORD/tictactoe7/-bE9-A | 1851.3255527173435 | 2101809.9 | 1135.3 |
| DRESDEN/checkers-newgoals/IJOqXQ | 1928.3506549781675 | 539.3820205993134 | 0.2797115862754848 |
| BASE/skirmishZeroSum/zh4hcw | 2256.6401 | 1021.5333333333333 | 0.4526788889966696 |
| BASE/snake2p/I3wWPQ | 2270.149567285246 | 685032.6333333333 | 301.7566081130629 |
| BASE/wargame02/BkVqqQ | 2546.617916666667 | 5564.166666666667 | 2.1849240242327936 |
| DRESDEN/tictactoe-init1/3ltIBQ | 2629.8727285633167 | 3704964.7 | 1408.8 |
| DRESDEN/racer/vk_ZBA | 2638.876928716633 | 218.14909854367315 | 0.08266740148801323 |
| DRESDEN/hitori/S8Gsyg | 2697.842951851852 | 742.3666666666667 | 0.27517045280826735 |
| BASE/racer/QQYQNw | 2723.118396053465 | 216.49278357388087 | 0.07950178879024777 |
| BASE/tictactoe-init1/7M19vA | 2729.637133644545 | 3781275.3333333335 | 1385.2666666666667 |
| BASE/checkersTiny/Lr48cg | 2733.8836304347824 | 2089.5 | 0.7642973448974845 |
| BASE/hitori/S8Gsyg | 2809.2638578714045 | 747.6417452751575 | 0.2661343978709248 |
| BASE/hodgepodge/9yjRkw | 2946.283463766643 | 2898848.3 | 983.9 |
| BASE/maze/cCX3qQ | 3051.140620531885 | 5690580.666666667 | 1865.0666666666666 |
| STANFORD/tictactoe3/X7myng | 3183.129995261412 | 4030479.2 | 1266.2 |
| STANFORD/tictactoe5/WFRReg | 3306.4092001373156 | 3852628.0 | 1165.2 |
| DRESDEN/blocksworldparallel/2JfVaw | 3731.530494548902 | 3148914.2 | 843.8666666666667 |
| DRESDEN/satlike_20v_91c/yeuENQ | 4077.710668880513 | 1491.1345153979469 | 0.36567933246900036 |
| BASE/blocksWorldSerial/Wyg96Q | 4260.833162217659 | 4980061.8 | 1168.8 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 4602.3726 | 1501.1 | 0.32615786040443573 |
| BASE/blobwars/0XT15Q | 4734.487653333334 | 688.9333333333333 | 0.1455138092604988 |
| STANFORD/threepuzzle/41ibjA | 4931.860047313745 | 4794918.733333333 | 972.2333333333333 |
| DRESDEN/blobwars/ZaMluQ | 4975.337302089931 | 704.2431918936036 | 0.1415468236892764 |
| STANFORD/3puzzle/41ibjA | 5414.8965940054495 | 5299378.8 | 978.6666666666666 |
| BASE/ruleDepthLinear/OUBJpQ | 5523.6484961643055 | 4536204.266666667 | 821.2333333333333 |
| BASE/blocksWorldParallel/RseaAQ | 5656.004446727523 | 3242479.2666666666 | 573.2808906369787 |
| BASE/gt_dollar/TGjqRw | 5660.112913724901 | 3767937.1666666665 | 665.7 |
| BASE/gt_centipede/9fRMpw | 8068.380437756498 | 3931990.7333333334 | 487.3333333333333 |
| BASE/colonelBlottoVariant2/jruwGw | 8483.01816888889 | 4080.4666666666667 | 0.4810159055926116 |
| BASE/pancakes88/l2Xaig | 8522.052 | 10105.2 | 1.1857707509881423 |
| DRESDEN/merrills/aYEzwA | 9277.554577875546 | 174.9491717494917 | 0.018857250612860643 |
| BASE/merrills/pku8Tg | 9966.171960934635 | 179.16069464351187 | 0.0179768817300951 |
| BASE/colonelBlottoVariant/X-n-KQ | 11101.965133333335 | 5159.933333333333 | 0.46477657526060684 |
| BASE/hanoi_6_disks/MeubgQ | 15612.98040208333 | 33276.63333333333 | 2.131344078859731 |
| DRESDEN/hanoi_6_disks/MeubgQ | 15789.173803703703 | 32810.566666666666 | 2.0780420226275687 |
| DRESDEN/checkers/jIDMIg | 21312.889570347656 | 615.9794673510883 | 0.028901734104046242 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 21968.824603703702 | 6172.366666666667 | 0.2809602597321512 |
| DRESDEN/hanoi7/51zz5Q | 22242.30874074074 | 6199.466666666666 | 0.2787240631774543 |
| BASE/hanoi7_bugfix/3gdnFw | 22257.808333333334 | 6309.3 | 0.28346456692913385 |
| BASE/gt_tinfoil/Q8DyKg | 24089.55803333333 | 12041.166666666666 | 0.49985004498650404 |
| DRESDEN/twisty-passages/j7NPyg | 29404.702800000003 | 1549.9 | 0.052709255745308874 |
| BASE/twisty-passages/DiZmmg | 29714.5344 | 1571.2 | 0.05287648054145516 |
| BASE/minichess/8NQEiA | 29757.114438845652 | 3058929.4 | 102.79657344755175 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 36525.37135 | 9439.3 | 0.2584313218762114 |
| BASE/solitaireChineseCheckers/-ET6gw | 50142.991949999996 | 3232.633333333333 | 0.06446829771459885 |
| DRESDEN/kalaha_2009/gcC8uA | 68454.07605 | 3255.3 | 0.047554509356349715 |
| BASE/kalaha_2009/dRiN3g | 70151.79025 | 3231.8333333333335 | 0.04606914979384055 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 127387.51555 | 7239.366666666667 | 0.05682948313585088 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 178348.0819 | 13711.7 | 0.07688167909587146 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 181685.21349999998 | 14022.166666666666 | 0.07717835918808366 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 358813.57120000006 | 18478.4 | 0.051498609537542483 |
| BASE/ad_game_2x2/D0aWqg | 6.004886941583333E7 | 1765675.8333333333 | 0.029403981299067895 |
| BASE/amazons/RKKZjw | Infinity | 13.561242169798748 | 0.0 |
| DRESDEN/farmers/S_ASnw | Infinity | 2736.133333333333 | 0.0 |
| BASE/amazonsSuicide/dE1QEQ | Infinity | 13.526119402985074 | 0.0 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | Infinity | 4591.0 | 0.0 |
| BASE/gt_two_thirds_2p/1APDGg | Infinity | 330.4 | 0.0 |
Games with errors:
| Game | PALAMEDES_JAVA_ECLIPSE:0.6.1 error message | REKKURA_GENERIC_FORWARD_PROVER_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 |