Game-by-game performance:
| Game | Perf ratio | ALLOY_TUPLE_PROVER:2 states per second | PALAMEDES_JAVA_ECLIPSE:0.6.1 states per second |
| BASE/coins/QnGtnQ | 4.0858420625826766E-4 | 1401.4 | 3429892.7333333334 |
| DRESDEN/coins/QwFP9w | 4.265276696866008E-4 | 1412.4666666666667 | 3311547.566666667 |
| BASE/blocksWorldParallel/RseaAQ | 4.369393140709674E-4 | 1416.7666666666667 | 3242479.2666666666 |
| BASE/coins_atomic/AA3SSw | 4.409404592329239E-4 | 1415.186160461318 | 3209472.2333333334 |
| BASE/minichess/8NQEiA | 0.0010327578444057366 | 3159.133333333333 | 3058929.4 |
| BASE/ad_game_2x2/D0aWqg | 0.001038676880571226 | 1833.9666666666667 | 1765675.8333333333 |
| BASE/blocksWorldSerial/Wyg96Q | 0.0011516389883622195 | 5735.233333333334 | 4980061.8 |
| BASE/snake2p/I3wWPQ | 0.0013812967255720518 | 946.2333333333333 | 685032.6333333333 |
| STANFORD/tictactoe3/X7myng | 0.0015318525896374803 | 6174.1 | 4030479.2 |
| STANFORD/tictactoe5/WFRReg | 0.0017118790948239314 | 6595.233333333334 | 3852628.0 |
| DRESDEN/blocksworldparallel/2JfVaw | 0.0017310199602559298 | 5450.833333333333 | 3148914.2 |
| BASE/tictactoe-init1/7M19vA | 0.0017963692320386436 | 6792.566666666667 | 3781275.3333333335 |
| DRESDEN/tictactoe-init1/3ltIBQ | 0.0018569407692332397 | 6879.9 | 3704964.7 |
| STANFORD/sukoshi/4LYZZQ | 0.0029369975395825416 | 4640.066666666667 | 1579867.4 |
| BASE/hodgepodge/9yjRkw | 0.002941708493910036 | 8527.566666666668 | 2898848.3 |
| STANFORD/3puzzle/41ibjA | 0.0030944318731596743 | 16398.566666666666 | 5299378.8 |
| BASE/gt_dollar/TGjqRw | 0.0032171272495122552 | 12121.933333333332 | 3767937.1666666665 |
| STANFORD/tictactoe7/-bE9-A | 0.0032511979318396015 | 6833.4 | 2101809.9 |
| DRESDEN/blocks/vg0DRw | 0.0033129812581782084 | 14958.1 | 4514996.866666666 |
| BASE/blocks/xIV5hQ | 0.0033530098851328794 | 15102.0 | 4504012.966666667 |
| BASE/blocksWorld/SEdXLQ | 0.0033697479120885143 | 14966.6 | 4441459.833333333 |
| STANFORD/threepuzzle/41ibjA | 0.003442331542608974 | 16505.7 | 4794918.733333333 |
| BASE/duplicateStateSmall/bCPAXw | 0.004239616987453144 | 17651.666666666668 | 4163505.033333333 |
| BASE/gt_centipede/9fRMpw | 0.004301086772652787 | 16911.833333333332 | 3931990.7333333334 |
| BASE/pearls/6k_mEQ | 0.0046317391407708014 | 31264.233333333334 | 6749998.733333333 |
| BASE/maze/cCX3qQ | 0.004648887032149384 | 26454.866666666665 | 5690580.666666667 |
| BASE/stateSpaceSmall/Q7osKA | 0.005394272351545606 | 22266.533333333333 | 4127810.3666666667 |
| DRESDEN/statespacesmall/h-NqjA | 0.005870445323530707 | 23076.033333333333 | 3930882.933333333 |
| DRESDEN/buttons/ADUaHw | 0.00592272408076003 | 24593.366666666665 | 4152374.2 |
| BASE/buttons/hTcUjw | 0.006054315604776374 | 25212.966666666667 | 4164461.9 |
| DRESDEN/troublemaker01/C-lPWw | 0.0069159577805203735 | 32438.0 | 4690312.033333333 |
| DRESDEN/troublemaker02/iZLVuA | 0.006954540529881626 | 29014.0 | 4171950.6666666665 |
| BASE/troublemaker01/s3tlEQ | 0.006994029410459884 | 31982.166666666668 | 4572781.266666667 |
| BASE/troublemaker02/DI83KA | 0.007152657007214701 | 29570.633333333335 | 4134216.6 |
| BASE/switches/tPUoCg | 0.007469955888267598 | 16599.833333333332 | 2222213.033333333 |
| BASE/ruleDepthLinear/OUBJpQ | 0.00831658609612289 | 37725.73333333333 | 4536204.266666667 |
| BASE/haystack/UkweGA | 0.009226642316374292 | 44679.4 | 4842433.3 |
| STANFORD/buttonsandlights/eyhJpA | 0.011210907777935767 | 46097.9 | 4111879.3333333335 |
| BASE/survival/YVIjJA | 0.011419338782478784 | 31294.733333333334 | 2740503.1 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 0.01391751638053325 | 29762.166666666668 | 2138468.2333333334 |
| BASE/onestep/xi53wA | 0.014270918848087781 | 40844.5 | 2862079.2 |
| BASE/quad/tw-Ufg | 0.05887476038088169 | 0.5939025999736043 | 10.087558677630922 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 0.10176407764799675 | 9020.3 | 88639.33333333333 |
| BASE/kitten_escapes_from_fire/uW-YiA | 0.10269096454944096 | 9139.4 | 88999.06666666667 |
| BASE/nonogram_5x5_1/qLKEZw | 0.12733285274564324 | 741.8666666666667 | 5826.2 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 0.16356890027962973 | 29.082550469718168 | 177.8 |
| BASE/nonogram_10x10_1/0Xc62g | 0.18060114009328035 | 139.3907072861809 | 771.8152123191787 |
| STANFORD/madness/UO_B3A | 0.22548037418688274 | 167.23879353441095 | 741.7 |
| STANFORD/knightstourmedium/x1wu8Q | 0.2713304752488607 | 21716.766666666666 | 80038.06666666667 |
| BASE/hanoi_6_disks/MeubgQ | 0.2746251373586471 | 9138.6 | 33276.63333333333 |
| DRESDEN/hanoi_6_disks/MeubgQ | 0.2877883852458101 | 9442.5 | 32810.566666666666 |
| BASE/snakeParallel/RCVNtw | 0.2895823591384643 | 6853.333333333333 | 23666.266666666666 |
| STANFORD/skirmish/w4V6Vw | 0.29602270167724104 | 165.55562962469168 | 559.2666666666667 |
| DRESDEN/grid_game2/kypTYQ | 0.3165816642684811 | 524.4491850271658 | 1656.6 |
| BASE/minichess-evilconjuncts/4OpQzw | 0.3262121199136082 | 476.11746275124165 | 1459.5333333333333 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 0.32819832486339723 | 474.68417719409354 | 1446.3333333333333 |
| BASE/wargame02/BkVqqQ | 0.3439568668563726 | 1913.8333333333333 | 5564.166666666667 |
| BASE/nineBoardTicTacToe/wRmqqA | 0.35135944623781157 | 703.8666666666667 | 2003.2666666666667 |
| BASE/mineClearingSmall/frsbvw | 0.35310929496957344 | 733.0666666666667 | 2076.0333333333333 |
| STANFORD/nineboardtictactoe/y28P-A | 0.35846115162182546 | 712.8 | 1988.5 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 0.3649155315544031 | 664.511182960568 | 1821.0 |
| DRESDEN/quad/JPe6fg | 0.3797677877950572 | 4.9606455453403 | 13.062312562479173 |
| DRESDEN/babel/WdSW4A | 0.3835367790534102 | 845.2 | 2203.7 |
| BASE/pentago/86NgKw | 0.38971402137818234 | 786.3 | 2017.6333333333334 |
| BASE/battle/8oAvhQ | 0.3951902282180042 | 104.10904122371447 | 263.44032263440323 |
| DRESDEN/pentago_2008/hLjVpQ | 0.3994092014427235 | 815.7666666666667 | 2042.4333333333334 |
| DRESDEN/Zhadu/9zpQ5w | 0.40187296720862664 | 222.50366617784294 | 553.6666666666666 |
| DRESDEN/quad_7x7/q-JOXg | 0.40217862032822654 | 34.80610816266727 | 86.5439046318804 |
| BASE/hitori/S8Gsyg | 0.404578578696626 | 302.47983467768813 | 747.6417452751575 |
| DRESDEN/battle/8oAvhQ | 0.4075548154796259 | 105.14563753915884 | 257.9914002866571 |
| BASE/strangeSkirmish/gc1zKA | 0.4081602662076796 | 168.87185469088485 | 413.7390840610626 |
| BASE/pentagoSuicide/SBgNhw | 0.4086694521665307 | 818.3333333333334 | 2002.4333333333334 |
| DRESDEN/hitori/S8Gsyg | 0.4107485203161303 | 304.92600986535126 | 742.3666666666667 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 0.4209110729859175 | 1570.1666666666667 | 3730.4 |
| BASE/pawnWhopping/Ypc_6Q | 0.42762450081146625 | 1563.3666666666666 | 3655.9333333333334 |
| DRESDEN/pawn_whopping/4ogBkg | 0.43405144274709495 | 1662.2 | 3829.5 |
| BASE/snakeAssemblit/UO4sdg | 0.43736168366239964 | 1007.9 | 2304.5 |
| BASE/skirmish/Y_psYQ | 0.442208245378349 | 182.04239434742036 | 411.6666666666667 |
| BASE/quad_7x7/q-JOXg | 0.450547795472797 | 35.214506274226395 | 78.15931323617488 |
| BASE/guess/SPpk1A | 0.47441635672109106 | 1505.1333333333334 | 3172.6 |
| DRESDEN/skirmishfinal/hzq8ww | 0.48099380362249755 | 269.09103029899 | 559.4480183993867 |
| DRESDEN/guess/PhxGhg | 0.4811738120245711 | 1511.8 | 3141.9 |
| BASE/skirmishFinal2/gdB62Q | 0.48252974475507265 | 265.8489434037731 | 550.9483017232759 |
| BASE/four_way_battle/xSOQXA | 0.4962416772483237 | 343.4323234343232 | 692.0666666666667 |
| BASE/skirmishFinal3/-Olhfw | 0.4999420759962928 | 287.690410319656 | 575.4474850838305 |
| BASE/skirmishFinal1/ecWTnQ | 0.505130682712334 | 268.22439252024935 | 531.0 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 0.506575244609923 | 9360.7 | 18478.4 |
| DRESDEN/four_way_battle/xSOQXA | 0.50807247730095 | 350.03333333333336 | 688.9437018766041 |
| STANFORD/knightstour/cEwgNA | 0.5212165243080085 | 21642.3 | 41522.666666666664 |
| BASE/cephalopodMicro/9l2D3g | 0.5214669927669078 | 115.6961434618846 | 221.86666666666667 |
| BASE/ttcc4_2player_small/Cv72TA | 0.5285082523888495 | 2230.8333333333335 | 4221.0 |
| DRESDEN/CephalopodMicro/H3XQfg | 0.5318746868189309 | 116.90215942415355 | 219.79267357754742 |
| DRESDEN/knightstour/cGISAA | 0.5330443840792087 | 21218.933333333334 | 39807.066666666666 |
| BASE/connectFourLarger/qKi60A | 0.5338241855753233 | 977.2007599746676 | 1830.5666666666666 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 0.539551357733176 | 426.5191160294657 | 790.5069831005633 |
| BASE/checkersTorus/2vm1EQ | 0.5408957405627816 | 1332.1 | 2462.766666666667 |
| BASE/knightsTour/mvtVIg | 0.5487051432132661 | 21717.566666666666 | 39579.666666666664 |
| BASE/futoshiki4/BaCwSw | 0.565653776427791 | 1570.5 | 2776.4333333333334 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 0.5665153676565945 | 1456.1333333333334 | 2570.3333333333335 |
| BASE/ticTacHeavenFC/mrletw | 0.5665901717179711 | 477.31742275257494 | 842.4385853804873 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 0.5666448857448602 | 1994.5333333333333 | 3519.9 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 0.5668928957721703 | 7949.066666666667 | 14022.166666666666 |
| DRESDEN/minichess/c7GMFw | 0.5744237669525025 | 2518.733333333333 | 4384.8 |
| BASE/connectFourLarge/aU644A | 0.5746090776353721 | 1534.8 | 2671.0333333333333 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 0.5746163252307639 | 7878.966666666666 | 13711.7 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 0.5782303614281935 | 2112.3333333333335 | 3653.1 |
| BASE/skirmishZeroSum/zh4hcw | 0.5829145728643217 | 595.4666666666667 | 1021.5333333333333 |
| BASE/checkersTorusNoKings/pwb6oQ | 0.5838420017151794 | 1543.1333333333334 | 2643.0666666666666 |
| BASE/connectFourSimultaneous/7ITr3g | 0.5866961973047037 | 1041.9333333333334 | 1775.9333333333334 |
| BASE/ticTacToeNoVars/XT03NA | 0.5869805955233498 | 5070.866666666667 | 8638.9 |
| DRESDEN/breakthrough/z4hK7Q | 0.5884164472007476 | 923.5 | 1569.4666666666667 |
| BASE/ttcc4_2player/_aH_Mw | 0.5929452933005663 | 1479.8333333333333 | 2495.733333333333 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 0.5933463584065993 | 2186.6 | 3685.2 |
| BASE/ticTacHeaven/18n58A | 0.593995801490515 | 510.1829939002033 | 858.9 |
| BASE/checkersTiny/Lr48cg | 0.5953098827470688 | 1243.9 | 2089.5 |
| BASE/connectFour_9x6/B9TtMw | 0.5977625325537327 | 1966.3 | 3289.4333333333334 |
| BASE/skirmishHoles/AUCxCA | 0.6013016493486054 | 197.18685420971934 | 327.93333333333334 |
| STANFORD/pentago/ZxzLmg | 0.6013856681509724 | 1409.0666666666666 | 2343.0333333333333 |
| DRESDEN/satlike_20v_91c/yeuENQ | 0.603712508222122 | 900.2165583874729 | 1491.1345153979469 |
| BASE/breakthroughSuicide/wZDpIg | 0.6053504682709672 | 960.9333333333333 | 1587.4 |
| BASE/othelloSuicide/B442jg | 0.6071655293186875 | 22.747710241465445 | 37.46541781940602 |
| BASE/breakthroughWalls/vOZaYA | 0.6085894827032238 | 947.0666666666667 | 1556.1666666666667 |
| BASE/skirmishNew/sibw2g | 0.611215508062305 | 625.9458018066065 | 1024.1 |
| BASE/amazonsTorus_10x10/Uxc08g | 0.6114050874318407 | 758.7333333333333 | 1240.9666666666667 |
| BASE/speedChess/bPnisA | 0.6194421014580069 | 685.4333333333333 | 1106.5333333333333 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 0.6195076617173486 | 955.4666666666667 | 1542.3 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 0.6203718668392526 | 931.240209312402 | 1501.1 |
| BASE/breakthrough/TGxk-g | 0.6235007292278891 | 954.7666666666667 | 1531.3 |
| STANFORD/connectfour/VMpZkQ | 0.6242713301536831 | 2159.6666666666665 | 3459.5 |
| BASE/connectFourSuicide/c8p9Kw | 0.6243314728018825 | 2140.1666666666665 | 3427.9333333333334 |
| BASE/checkersBarrelNoKings/rnKNeg | 0.6245102528875999 | 1636.4666666666667 | 2620.4 |
| DRESDEN/connectfour/5tc-Mg | 0.6266523861903935 | 2164.8333333333335 | 3454.6 |
| BASE/othello-comp2007/86ZoMw | 0.630206824998712 | 23.487141954156826 | 37.26894254787677 |
| BASE/checkersSmall/SYmq8w | 0.6353548186367289 | 816.8333333333334 | 1285.6333333333334 |
| DRESDEN/tttcc4/sAvtFg | 0.6379840694210595 | 1313.5666666666666 | 2058.9333333333334 |
| BASE/ttcc4_2player_alt/ZEJvYA | 0.6382405187513198 | 1712.6333333333334 | 2683.366666666667 |
| DRESDEN/connectfoursuicide/M9CNQg | 0.6408117765325317 | 2146.1 | 3349.0333333333333 |
| BASE/connectFour/WAIKTw | 0.6421579163328709 | 2191.0 | 3411.9333333333334 |
| BASE/tttcc4/8Bs2lg | 0.6477121136630289 | 1343.3333333333333 | 2073.9666666666667 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 0.6482460984044872 | 1487.0333333333333 | 2293.9333333333334 |
| BASE/blokbox_simple/JBx4bg | 0.6509335984974035 | 4.739807756049055 | 7.281553398058253 |
| BASE/dualConnect4/WbCQkg | 0.6568580596709224 | 1282.8 | 1952.9333333333334 |
| BASE/2pttc/unkkYA | 0.6635183369288096 | 2819.4 | 4249.166666666667 |
| STANFORD/pilgrimage/ObRZnQ | 0.670251272885658 | 1487.5333333333333 | 2219.366666666667 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 0.6707804959227824 | 13.379930104842735 | 19.9468085106383 |
| BASE/breakthroughSmall/HJ0tIA | 0.6709039129015989 | 1507.7 | 2247.266666666667 |
| BASE/breakthroughSuicideSmall/XSbJog | 0.6715841541198421 | 1547.8 | 2304.7 |
| BASE/checkers/rOC3Xg | 0.6726969731792426 | 621.1459618012733 | 923.3666666666667 |
| STANFORD/ttcc4/Cx9SGw | 0.6728492388842703 | 1564.7333333333333 | 2325.5333333333333 |
| BASE/qyshinsu/R08Lzw | 0.6757935230752407 | 549.2666666666667 | 812.7729075697476 |
| BASE/othelloHoles/c0qAzw | 0.6771940864102552 | 25.815262649478697 | 38.12092156079371 |
| DRESDEN/mimikry/GJEhwA | 0.680160506211899 | 1469.0333333333333 | 2159.8333333333335 |
| BASE/ttcc4/Le0qjQ | 0.6828911463983957 | 1384.7666666666667 | 2027.8 |
| BASE/choicethroughalt/tt71Lg | 0.6868358714043993 | 1014.8 | 1477.5 |
| BASE/amazons_10x10/Bun8dA | 0.6902000449539223 | 1023.5666666666667 | 1483.0 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 0.6921368940155728 | 1995.9666666666667 | 2883.774415038997 |
| BASE/3pttc/0sol9g | 0.6947440965608339 | 2419.4 | 3482.4333333333334 |
| DRESDEN/frogs_and_toads/GjchhQ | 0.6992939407769335 | 1736.5333333333333 | 2483.266666666667 |
| BASE/2pffa_zerosum/o0_uZA | 0.6998213877578661 | 2755.733333333333 | 3937.766666666667 |
| BASE/amazonsSuicide_10x10/XIbQkg | 0.7004678762980714 | 1023.0333333333333 | 1460.5 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 0.7013396318525114 | 3256.366666666667 | 4643.066666666667 |
| BASE/3pConnectFour/PqXOFQ | 0.7037779147828469 | 1369.8333333333333 | 1946.4 |
| BASE/amazons_8x8/7SOsIw | 0.7056296428891077 | 1314.0 | 1862.1666666666667 |
| BASE/ticTicToe/c1OobQ | 0.708229935259019 | 4280.966666666666 | 6044.6 |
| BASE/lightsOut/5P1ZBw | 0.7084078905987355 | 2177.4333333333334 | 3073.7 |
| BASE/chineseCheckers1/gqtwHw | 0.7120635255828975 | 7643.1 | 10733.733333333334 |
| DRESDEN/capture_the_king/EQ229Q | 0.7172394580061366 | 292.47075292470754 | 407.772815145657 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 0.7224821416345254 | 2110.4666666666667 | 2921.133333333333 |
| DRESDEN/tictictoe/LAUtwg | 0.7257488891682288 | 4426.366666666667 | 6099.033333333334 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 0.7258064516129032 | 2062.5 | 2841.6666666666665 |
| DRESDEN/lightsout/XgLpzQ | 0.7271058291872161 | 2231.1 | 3068.4666666666667 |
| DRESDEN/tpeg/h-Scbg | 0.7279945663599463 | 1500.5666666666666 | 2061.233333333333 |
| STANFORD/duikoshi/tpw1sw | 0.7282324611634805 | 1653.2333333333333 | 2270.2 |
| BASE/tictactoe2/bhrDoQ | 0.7282553767968949 | 6773.333333333333 | 9300.766666666666 |
| BASE/eotcitcit/V_9_bg | 0.729083840600032 | 4419.633333333333 | 6061.9 |
| BASE/2pffa/6oHijA | 0.7340390340721138 | 2810.733333333333 | 3829.133333333333 |
| STANFORD/tictictoe/rpt_Dw | 0.7342564398664365 | 4493.233333333334 | 6119.433333333333 |
| STANFORD/freeforall/Lfp40Q | 0.7351856002482717 | 2842.766666666667 | 3866.733333333333 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 0.7384846898717613 | 2257.4 | 3056.8 |
| DRESDEN/knightazons/02I8BQ | 0.7404394535567442 | 558.2666666666667 | 753.9666666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 0.7436455612223744 | 2391.266666666667 | 3215.6 |
| BASE/tpeg/QNs7Lw | 0.7437639125310986 | 1514.7 | 2036.5333333333333 |
| BASE/knightazons/apnJBQ | 0.7446361504981334 | 557.8814039532016 | 749.2 |
| DRESDEN/farmers/S_ASnw | 0.7453096827639979 | 2039.2666666666667 | 2736.133333333333 |
| DRESDEN/checkers/jIDMIg | 0.746236994949495 | 459.6666666666667 | 615.9794673510883 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 0.748195745298773 | 3434.9666666666667 | 4591.0 |
| BASE/tictactoe_3d_small_2player/oOryKA | 0.7514540096362247 | 1606.4333333333334 | 2137.766666666667 |
| BASE/breakthroughSmallHoles/bxclRw | 0.7523955481490298 | 1685.5666666666666 | 2240.266666666667 |
| BASE/escortLatch/mX9BjQ | 0.7529779608022573 | 1645.6333333333334 | 2185.5 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 0.7532029817646866 | 2286.9 | 3036.233333333333 |
| DRESDEN/3pttc/uwYBZw | 0.7564417843516626 | 2788.9 | 3686.866666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 0.7571657300725206 | 2411.8 | 3185.3 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 0.7618684905953677 | 1633.7 | 2144.3333333333335 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 0.7693149391748374 | 2390.4666666666667 | 3107.266666666667 |
| BASE/wargame03/klXI8w | 0.7704524668836724 | 2611.5 | 3389.5666666666666 |
| BASE/englishDraughts/jFkQxg | 0.7771224355443296 | 1928.0666666666666 | 2481.0333333333333 |
| BASE/pegEuro/5awwhg | 0.7892300641613198 | 1148.0666666666666 | 1454.6666666666667 |
| BASE/tictactoe_3d_2player/IUC1rQ | 0.7896112697874812 | 543.7 | 688.5666666666667 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 0.7899717053937014 | 536.5308979401374 | 679.1773607546415 |
| BASE/withConviction/3Xm54A | 0.7981979121184456 | 1340.6 | 1679.5333333333333 |
| DRESDEN/blobwars/ZaMluQ | 0.8045926434640568 | 566.6288914072395 | 704.2431918936036 |
| BASE/numbertictactoe/rvJ-iQ | 0.8118557202003382 | 4176.7 | 5144.633333333333 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 0.8120323601051658 | 5878.6 | 7239.366666666667 |
| BASE/tron_10x10/7ZTgDg | 0.8201188712806241 | 4410.9 | 5378.366666666667 |
| DRESDEN/peg/Vo31eg | 0.8202665504881478 | 1380.7 | 1683.2333333333333 |
| DRESDEN/battlebrushes/QHXV4A | 0.8241301903019448 | 278.60165961275703 | 338.0553981533949 |
| BASE/3pffa/pR0dzA | 0.8244964087055139 | 2544.5333333333333 | 3086.1666666666665 |
| DRESDEN/peg_bugfixed/u_B7MA | 0.8272484591528284 | 1404.8333333333333 | 1698.2 |
| BASE/peg/fJHVWw | 0.8277335134812931 | 1388.6333333333334 | 1677.6333333333334 |
| BASE/4pttc/AL1k2Q | 0.8288035593384273 | 1999.4333333333334 | 2412.4333333333334 |
| STANFORD/8puzzle/jNiGtw | 0.8312092122857087 | 6941.566666666667 | 8351.166666666666 |
| STANFORD/eightpuzzle/W_aWbA | 0.8321024963510002 | 7012.1 | 8426.966666666667 |
| BASE/cylinder-checkers/hlldmw | 0.8384047413192023 | 400.8 | 478.0507316422786 |
| BASE/blobwars/0XT15Q | 0.8402564892246964 | 578.8807039765342 | 688.9333333333333 |
| BASE/eightPuzzle/vLrgFg | 0.8406937717306108 | 6971.733333333334 | 8292.833333333334 |
| BASE/futoshiki5/TJ4BZg | 0.8415827885579883 | 811.0333333333333 | 963.7 |
| STANFORD/selectivesukoshi/3xmXYg | 0.8448084756771791 | 221.81854543030465 | 262.56666666666666 |
| DRESDEN/8puzzle/8fKC2w | 0.8524905825036728 | 7098.433333333333 | 8326.7 |
| DRESDEN/brawl/2kXtfQ | 0.8537989489225307 | 347.17685487634157 | 406.62600406626007 |
| DRESDEN/cylinder-checkers/clOO3Q | 0.8581191713533138 | 401.8 | 468.23333333333335 |
| DRESDEN/checkers-newgoals/IJOqXQ | 0.8609566184649611 | 464.3845205159828 | 539.3820205993134 |
| BASE/checkers-newgoals/0XkFiA | 0.8681892538064678 | 459.96666666666664 | 529.8 |
| DRESDEN/eotcatcit/mQUxzA | 0.869219953485493 | 6552.933333333333 | 7538.866666666667 |
| BASE/checkLines/Vop7oQ | 0.8696472759300423 | 2764.6666666666665 | 3179.0666666666666 |
| DRESDEN/Goldrush/VeWczQ | 0.8720342410353195 | 1725.0 | 1978.1333333333334 |
| BASE/brawl/6Ymo_Q | 0.8740416645705821 | 347.46666666666664 | 397.5401639890674 |
| BASE/conn4/va9Y7A | 0.8740480691331353 | 1078.8666666666666 | 1234.3333333333333 |
| BASE/eotcatcit/AfZSzA | 0.8773215175553191 | 6514.2 | 7425.1 |
| DRESDEN/lightsout2/LFtfyQ | 0.8792676995042793 | 2832.0333333333333 | 3220.9 |
| BASE/ticTacToeLarge/TZC0dg | 0.8824077438348379 | 3157.1666666666665 | 3577.9 |
| STANFORD/hunter/14dD-g | 0.8827928390468895 | 6992.366666666667 | 7920.733333333334 |
| STANFORD/trifecta/ss1kyQ | 0.888354742953214 | 6763.4 | 7613.4 |
| DRESDEN/tictactoelarge/IwXcbg | 0.8932016258801425 | 3200.9666666666667 | 3583.7 |
| BASE/ticTacToeLargeSuicide/727_8g | 0.893364312267658 | 3204.2 | 3586.6666666666665 |
| DRESDEN/tictactoe/BTTzPw | 0.8971003468237903 | 6958.0 | 7756.1 |
| BASE/asteroidsParallel/WauZiA | 0.897581748423662 | 5817.466666666666 | 6481.266666666666 |
| DRESDEN/4pttc/9pB9AQ | 0.9060048038430744 | 2263.2 | 2498.0 |
| DRESDEN/snake_2008/E56l3A | 0.908003300330033 | 1467.3333333333333 | 1616.0 |
| BASE/ticTacToe/JRFsaQ | 0.9126538255751739 | 7050.433333333333 | 7725.2 |
| BASE/snake_2008_tweaked/bX0NJQ | 0.9146559961777353 | 1531.5 | 1674.4 |
| BASE/slidingpieces/uFJWEw | 0.9190267409250702 | 775.5666666666667 | 843.9 |
| DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | 0.9190757618911991 | 860.5 | 936.2666666666667 |
| STANFORD/tictactoe/ss1kyQ | 0.9215955676693238 | 6886.5 | 7472.366666666667 |
| BASE/breakthroughHoles/nZk0Sg | 0.9231235431235431 | 1320.0666666666666 | 1430.0 |
| DRESDEN/amazons/dNB28A | 0.924042934478205 | 151.8978904922185 | 164.38401812789496 |
| STANFORD/breakthrough/d5j0cQ | 0.9250742532643416 | 1650.7333333333333 | 1784.4333333333334 |
| DRESDEN/3pffa/0YrmQw | 0.9263319789252721 | 2971.3333333333335 | 3207.633333333333 |
| BASE/duplicateStateMedium/U163eQ | 0.9287440135333197 | 9314.9 | 10029.566666666668 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 0.9292516424490145 | 1447.4333333333334 | 1557.6333333333334 |
| DRESDEN/slidingpieces/s9_44g | 0.9293276998319367 | 775.740808639712 | 834.7333333333333 |
| BASE/snake_2008/i6K26g | 0.9328734619909287 | 1524.2333333333333 | 1633.912202926569 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 0.9365458285369214 | 3308.5666666666666 | 3532.733333333333 |
| BASE/pawnToQueen/-O1_JA | 0.9370343135673941 | 96.8139705392255 | 103.31955739234769 |
| DRESDEN/backgammon/mqCW0Q | 0.9414990859232175 | 806.8333333333334 | 856.9666666666667 |
| DRESDEN/knightfight/4_Ly4w | 0.9428974182925124 | 5172.766666666666 | 5486.033333333334 |
| BASE/asteroidsSerial/id2QkA | 0.9492466597176158 | 5008.7 | 5276.5 |
| STANFORD/multiplesukoshi/vLSQPg | 0.9510277279624776 | 229.78468102126524 | 241.61722551829877 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 0.9516688474879015 | 1527.3333333333333 | 1604.9 |
| DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | 0.9531026097443319 | 878.0666666666667 | 921.2719152056529 |
| DRESDEN/cubicup/SBn_lw | 0.9634300126103403 | 738.5333333333333 | 766.5666666666667 |
| BASE/4pffa/Q3ADlg | 0.9705797824870295 | 2138.866666666667 | 2203.7 |
| DRESDEN/pawntoqueen/f_x6Aw | 0.9710195144499525 | 97.16018932071195 | 100.05997600959616 |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | 0.9714169501553025 | 875.7 | 901.4666666666667 |
| BASE/dotsAndBoxes/EHwA_w | 0.9724186403135118 | 1521.9 | 1565.0666666666666 |
| BASE/cubicup/4wNWJA | 0.9854639013885794 | 737.2666666666667 | 748.1417286090464 |
| BASE/chineseCheckers2/eCMR3Q | 0.9862521075778476 | 5576.466666666666 | 5654.2 |
| BASE/knightfight/SJRkAg | 0.991095916143818 | 5276.0 | 5323.4 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 1.0009799268789987 | 7593.033333333334 | 7585.6 |
| DRESDEN/endgame/IJhh3Q | 1.0014399005048162 | 838.3387220425985 | 837.1333333333333 |
| DRESDEN/tictactoeparallel/yk_DSg | 1.0044061662828405 | 2849.4333333333334 | 2836.9333333333334 |
| DRESDEN/stratego/Z2wovg | 1.006043585711076 | 1492.6333333333334 | 1483.6666666666667 |
| BASE/crisscross/ICagEg | 1.0065423570048593 | 2292.366666666667 | 2277.4666666666667 |
| BASE/futoshiki6/JmvXNA | 1.0093418030983188 | 509.6333333333333 | 504.91650278324056 |
| BASE/slaughter/cOch8A | 1.0190817481911096 | 154.99716732762354 | 152.09493016899438 |
| BASE/chickentictactoe/DSlZCA | 1.0217231676584446 | 5797.7 | 5674.433333333333 |
| BASE/crissrace/ERWGDA | 1.0332920931278822 | 1531.1666666666667 | 1481.8333333333333 |
| BASE/ticTacToeParallel/ymRGPw | 1.0352039367843284 | 2917.0666666666666 | 2817.866666666667 |
| BASE/tictactoe_orthogonal/WRzlVw | 1.0393475499699178 | 7773.8 | 7479.5 |
| DRESDEN/crisscross/GsY16g | 1.0435950293246616 | 2396.233333333333 | 2296.133333333333 |
| DRESDEN/sum15/CsgWKg | 1.0441401530406766 | 7777.8 | 7449.0 |
| BASE/shmup/ssTNlg | 1.0585830024048624 | 5091.466666666666 | 4809.7 |
| DRESDEN/snake_2009/zIYLVw | 1.0590068762045255 | 1483.6333333333334 | 1400.9666666666667 |
| BASE/biddingTicTacToe/8mESVw | 1.0596149734314246 | 4460.166666666667 | 4209.233333333334 |
| BASE/duplicateStateLarge/dcjyuw | 1.060144207659029 | 5513.633333333333 | 5200.833333333333 |
| BASE/sum15/QZ07Kg | 1.0633404056921227 | 7868.4 | 7399.7 |
| DRESDEN/crissrace/KWb9bw | 1.0636115381967552 | 1544.9666666666667 | 1452.5666666666666 |
| BASE/amazons/RKKZjw | 1.0676576892793108 | 14.478764478764479 | 13.561242169798748 |
| STANFORD/alquerquezero/uVgA_A | 1.0756441013872953 | 1718.7 | 1597.8333333333333 |
| DRESDEN/quarto/OQzRYQ | 1.0761266921802706 | 2511.9666666666667 | 2334.266666666667 |
| DRESDEN/skirmish/RjGQYQ | 1.0761648745519712 | 800.6666666666666 | 744.0 |
| BASE/quartoSuicide/-23jUg | 1.0791221484262201 | 2491.3333333333335 | 2308.6666666666665 |
| DRESDEN/chickentictactoe/Ipbo-g | 1.0804372955557195 | 5857.266666666666 | 5421.2 |
| BASE/toetictac/mTThmg | 1.0838586652613116 | 8980.6 | 8285.766666666666 |
| DRESDEN/skirmish3/3LU8Nw | 1.0860126784329822 | 793.7666666666667 | 730.9 |
| BASE/snake_2009/7l-qAQ | 1.0884350453172205 | 1501.1333333333334 | 1379.1666666666667 |
| BASE/solitaireChineseCheckers/-ET6gw | 1.0907000484641005 | 3525.8333333333335 | 3232.633333333333 |
| BASE/rubiksCube/9tNO9Q | 1.0920432555492317 | 1598.9333333333334 | 1464.1666666666667 |
| DRESDEN/skirmish2/iPpWhQ | 1.0947019220886012 | 828.3333333333334 | 756.6747775074164 |
| BASE/lightsOn/MsXu3A | 1.1009223416448606 | 13575.4 | 12330.933333333332 |
| BASE/tictactoe_3player/GtM71g | 1.1013925313042514 | 1987.8666666666666 | 1804.8666666666666 |
| DRESDEN/quartosuicide/WIU1oQ | 1.107221938340998 | 2600.2 | 2348.4 |
| DRESDEN/cubicup_3player/awDtsQ | 1.110714942519367 | 375.16248375162485 | 337.76666666666665 |
| DRESDEN/chomp/-LcqYQ | 1.1110398598609559 | 4735.733333333334 | 4262.433333333333 |
| BASE/cubicup_3player/e2yA_g | 1.1113015546454585 | 379.9540015332822 | 341.9 |
| BASE/lightsOnParallel/SC6enA | 1.1113798963844193 | 5405.9 | 4864.133333333333 |
| BASE/chomp/-LcqYQ | 1.1144971098265894 | 4820.2 | 4325.0 |
| DRESDEN/brain_teaser_extended/ZDp94A | 1.1160203325927422 | 6630.5 | 5941.2 |
| DRESDEN/knightthrough/J7Fc_Q | 1.1161971105294615 | 1805.3 | 1617.3666666666666 |
| BASE/knightThrough/gcwFjA | 1.1183072638566074 | 1780.2333333333333 | 1591.9 |
| DRESDEN/toetictac/mJtxCA | 1.1232405103924243 | 9331.133333333333 | 8307.333333333334 |
| BASE/quarto/EwBMVQ | 1.1242711636538996 | 2564.5 | 2281.0333333333333 |
| BASE/brain_teaser_extended/ZDp94A | 1.133193617794171 | 6758.933333333333 | 5964.5 |
| DRESDEN/logistics/fPru1Q | 1.1395650393557486 | 3339.5333333333333 | 2930.5333333333333 |
| DRESDEN/tictactoe_3player/ESLQQQ | 1.1432276766983256 | 1998.1333333333334 | 1747.8 |
| STANFORD/triplesukoshi/Iu9mbA | 1.1525681812002067 | 1412.9333333333334 | 1225.9 |
| BASE/knightsTourLarge/M8jgLA | 1.1571149195501849 | 19505.833333333332 | 16857.3 |
| BASE/amazonsSuicide/dE1QEQ | 1.1578170568320802 | 15.660771757523474 | 13.526119402985074 |
| BASE/circlesolitaire/azuQFQ | 1.1592902927915694 | 11382.066666666668 | 9818.133333333333 |
| DRESDEN/battlesnakes1509/-qZrLw | 1.162307292568855 | 2236.6666666666665 | 1924.3333333333333 |
| DRESDEN/gt_chicken/CeuKtw | 1.1657986528041382 | 14387.933333333332 | 12341.696654671465 |
| BASE/gt_chicken/gmepTQ | 1.1749528771417075 | 14794.066666666668 | 12591.2 |
| DRESDEN/bidding-tictactoe/yW5vTA | 1.1767613654338953 | 4959.5 | 4214.533333333334 |
| DRESDEN/circlesolitaire/ruUilQ | 1.1793853929471543 | 11636.366666666667 | 9866.466666666667 |
| BASE/incredible/8Qh-6Q | 1.1847562253639208 | 5840.966666666666 | 4930.1 |
| BASE/asteroids/BKCmPQ | 1.1896916979519299 | 12897.566666666668 | 10841.1 |
| BASE/gt_staghunt/xPjLRA | 1.1905544487502926 | 15256.0 | 12814.197633727712 |
| DRESDEN/blockerparallel/dVQgSg | 1.19453938257059 | 1284.1666666666667 | 1075.03083230559 |
| STANFORD/untwistycorridor/EDPPAQ | 1.1955603492253202 | 27342.066666666666 | 22869.666666666668 |
| BASE/blockerParallel/7-nDJA | 1.1975029566988673 | 1293.3 | 1079.9973334222193 |
| BASE/gt_prisoner/klthDw | 1.1978136645962731 | 15267.133333333333 | 12745.833333333334 |
| DRESDEN/tictactoex9/rFkD4w | 1.2006867299535449 | 990.7666666666667 | 825.1666666666666 |
| BASE/tictactoex9/BI26ow | 1.2030135182077244 | 1000.6666444451852 | 831.8 |
| DRESDEN/kalaha_2009/gcC8uA | 1.204056973755619 | 3919.5666666666666 | 3255.3 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 1.2098606755436738 | 784.4333333333333 | 648.3666666666667 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 1.2126039757507403 | 6594.1 | 5437.966666666666 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 1.2141128956864797 | 10822.4 | 8913.833333333334 |
| BASE/connect4/50bOyw | 1.2213914742193173 | 1027.7666666666667 | 841.4719509349688 |
| DRESDEN/connect4/T0-rHQ | 1.221917644396523 | 1019.8666666666667 | 834.6443570428638 |
| BASE/kalaha_2009/dRiN3g | 1.2277757722654838 | 3967.9666666666667 | 3231.8333333333335 |
| DRESDEN/battlesnakes2011/93VtTw | 1.2295684113865932 | 2320.9333333333334 | 1887.6 |
| BASE/kalaha5x2x3/WviNsw | 1.2309241253297785 | 4401.333333333333 | 3575.633333333333 |
| BASE/hidato19/rRHSmA | 1.2343756154721273 | 1205.5333333333333 | 976.6341121962602 |
| BASE/untwistycomplex2/EDPPAQ | 1.23701467346627 | 28339.8 | 22909.833333333332 |
| BASE/kalaha6x2x4/XS81Mg | 1.2485467282754508 | 3909.0333333333333 | 3130.866666666667 |
| STANFORD/knightstourbig/TQUI2g | 1.248561982465744 | 19159.433333333334 | 15345.2 |
| BASE/connect5/d-BVQg | 1.2497776020559452 | 842.9333333333333 | 674.4666666666667 |
| BASE/lightsOnSimul4/9FeASw | 1.2639913108100382 | 1474.0666666666666 | 1166.2 |
| BASE/gt_coordination/IVMOzA | 1.287831868925984 | 16689.066666666666 | 12959.041525028328 |
| STANFORD/bestbuttonsandlights/nm0wEA | 1.2890639567406301 | 16591.8 | 12871.2 |
| BASE/endgame/jYjfOA | 1.29139345293664 | 1060.5 | 821.20595980134 |
| DRESDEN/gt_prisoner/huCp4w | 1.2944342430836722 | 14928.9 | 11533.146685331467 |
| DRESDEN/connect5/1kYzSg | 1.2978241160471442 | 858.9 | 661.8 |
| DRESDEN/latenttictactoe/kITHKg | 1.2982371493127471 | 3677.3 | 2832.5333333333333 |
| BASE/chineseCheckers3/-1rZdQ | 1.3053500837831082 | 4700.0 | 3600.5666666666666 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 1.308989575807617 | 4227.6 | 3229.6666666666665 |
| DRESDEN/cube_2x2x2/fp-34Q | 1.3151064110233506 | 4323.5 | 3287.5666666666666 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 1.3187414678541245 | 3381.0333333333333 | 2563.8333333333335 |
| BASE/chineseCheckers4/avfBcQ | 1.3194013244082334 | 2450.7 | 1857.4333333333334 |
| BASE/stateSpaceMedium/3bUoIw | 1.339371285108001 | 15968.966666666667 | 11922.733333333334 |
| DRESDEN/statespacemedium/dVJZ_w | 1.3416596750819922 | 16417.8 | 12236.933333333332 |
| DRESDEN/lightson2x2/gBHuig | 1.3423441620378163 | 7974.866666666667 | 5941.0 |
| BASE/double_tictactoe_dengji/zgaSbA | 1.352897772139445 | 3483.6666666666665 | 2574.9666666666667 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 1.3590763309813982 | 353.10979268048794 | 259.81601226584894 |
| BASE/wargame01/_GZFZg | 1.3612579888730516 | 2960.6 | 2174.9 |
| DRESDEN/javastrike/whONTQ | 1.3637161030798242 | 723.2 | 530.3156561447952 |
| DRESDEN/queens/mW2wHQ | 1.3650197438120002 | 944.8666666666667 | 692.2 |
| STANFORD/platformjumpers/HEQskA | 1.3713209090873717 | 780.007333088897 | 568.8 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 1.3845155863504486 | 6474.133333333333 | 4676.1 |
| DRESDEN/oisters_farm/pTQMLg | 1.388561881868616 | 13132.0 | 9457.266666666666 |
| BASE/queens/HyJJnQ | 1.3899142566487428 | 956.4 | 688.1 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 1.3945898516917414 | 4344.333333333333 | 3115.133333333333 |
| BASE/chickentoetictac/l57rfQ | 1.3956756878945256 | 8232.3 | 5898.433333333333 |
| STANFORD/chinook/osFbPA | 1.3993827817388529 | 876.6374454184861 | 626.4457851404953 |
| DRESDEN/chickentoetictac/cxYaRQ | 1.407259769981749 | 8096.2 | 5753.166666666667 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 1.4085991873691546 | 18097.353686175178 | 12847.766666666666 |
| STANFORD/rainbow/_4qNSQ | 1.4105208708425498 | 16452.033333333333 | 11663.8 |
| DRESDEN/ticblock/Z2yNWQ | 1.4134373084519511 | 4150.7 | 2936.6 |
| BASE/ticblock/T21C1g | 1.415619206944884 | 4174.566666666667 | 2948.9333333333334 |
| BASE/chinook/XQh0IQ | 1.4236802669270834 | 971.8666666666667 | 682.6439118696044 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 1.4246223692365239 | 12949.2 | 9089.566666666668 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 1.4431007137192704 | 1941.0666666666666 | 1345.0666666666666 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 1.444153364853844 | 18357.066666666666 | 12711.3 |
| DRESDEN/chinesecheckers1/Y-ftaA | 1.4586466165413534 | 3395.0 | 2327.5 |
| BASE/gt_tinfoil/Q8DyKg | 1.4633825625977548 | 17620.833333333332 | 12041.166666666666 |
| BASE/sudokuGrade1/tDRNRw | 1.4652200003669091 | 94.31132735695004 | 64.36666666666666 |
| BASE/hexPie/48CH6Q | 1.475727526740886 | 525.7666666666667 | 356.2762482501167 |
| DRESDEN/chinesecheckers4/-oVNYg | 1.4977801456224473 | 1405.6666666666667 | 938.5 |
| DRESDEN/quad_5x5/JAEP5g | 1.5016645324698583 | 293.0235658811373 | 195.1325076574777 |
| DRESDEN/statespacelarge/8-y5HQ | 1.508925185736556 | 10744.0 | 7120.3 |
| BASE/hex/T1MK8g | 1.51558419162354 | 595.4333333333333 | 392.87380841277246 |
| STANFORD/hex/MTqWcw | 1.5165628891656289 | 608.9 | 401.5 |
| BASE/beatMania/qUHwvQ | 1.5201785639183125 | 8433.9 | 5547.966666666666 |
| BASE/quad_5x5/JAEP5g | 1.523824045956687 | 287.5379128753791 | 188.69495703151023 |
| BASE/max_knights/2fq3Ag | 1.533355754678454 | 2127.633333333333 | 1387.5666666666666 |
| BASE/tictactoe_3d_small_6player/g_9lww | 1.5487523402031063 | 1152.2333333333333 | 743.9752008266391 |
| DRESDEN/chinesecheckers2/06E6-Q | 1.5506471696567545 | 2523.8333333333335 | 1627.6 |
| DRESDEN/aipsrovers01/qS47Mw | 1.5608002220849115 | 5809.766666666666 | 3722.3 |
| DRESDEN/blocks2player/3ev8nQ | 1.5655417515586945 | 10219.7 | 6527.9 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 1.5672046719087689 | 1136.0666666666666 | 724.9 |
| BASE/factoringGeorgeForman/HGRorQ | 1.5672103224602174 | 13433.5 | 8571.6 |
| DRESDEN/chinesecheckers3/QsCb2A | 1.5713968848580442 | 2125.366666666667 | 1352.5333333333333 |
| BASE/wallmaze/uxNQ9g | 1.5734533784988411 | 1176.7333333333333 | 747.8666666666667 |
| BASE/sudokuGrade2/u80Tfw | 1.5789524160636068 | 95.19365375641624 | 60.28912131103857 |
| DRESDEN/grid_game/U7_Yeg | 1.5793986612040207 | 2351.5666666666666 | 1488.9 |
| BASE/hanoi/iGLsJg | 1.582341545588545 | 12524.233333333334 | 7915.0 |
| BASE/blocker/dIWtxg | 1.5866290413069508 | 6316.0 | 3980.766666666667 |
| DRESDEN/catch_me/ghGWrA | 1.5932993413134342 | 14561.8 | 9139.4 |
| BASE/coloredtrails/EZvr7g | 1.5968804299511055 | 3951.8 | 2474.7 |
| BASE/lightsOnSimultaneous/_VN6lw | 1.5972442893235745 | 2044.1 | 1279.7666666666667 |
| DRESDEN/catcha_mouse/cHv4dw | 1.598211648451975 | 1983.9666666666667 | 1241.3666666666666 |
| BASE/blocks2player/wnTLOQ | 1.6007289963867595 | 10086.033333333333 | 6300.9 |
| DRESDEN/hanoi/RQ0jiA | 1.600759102800532 | 12441.633333333333 | 7772.333333333333 |
| DRESDEN/max_knights/hCipiA | 1.6106283590336028 | 2137.733333333333 | 1327.2666666666667 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 1.6144375295833842 | 14590.04865693528 | 9037.233333333334 |
| STANFORD/dualhunter/1rPZjQ | 1.6180090126997133 | 3291.3 | 2034.1666666666667 |
| BASE/racetrackcorridor/_RkdUg | 1.6199516351391055 | 2389.266666666667 | 1474.9 |
| BASE/aipsrovers01/4C4jsw | 1.6203562707802095 | 5994.4 | 3699.4333333333334 |
| BASE/stateSpaceLarge/0Ge_CQ | 1.6239663075598578 | 11632.2 | 7162.833333333333 |
| BASE/snake_2009_big/-oRfVw | 1.6299952374767288 | 1254.9333333333334 | 769.9 |
| STANFORD/multipletictactoe/_bkafQ | 1.6321814137687845 | 1002.8666666666667 | 614.4333333333333 |
| DRESDEN/sheep_and_wolf/enAIzQ | 1.6392725758311932 | 1574.4666666666667 | 960.4666666666667 |
| DRESDEN/Thief_Police/CX18rA | 1.6394878460179187 | 14968.633333333333 | 9130.066666666668 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 1.641443670710521 | 14991.633333333333 | 9133.2 |
| DRESDEN/blocker/S815zQ | 1.6442500533390227 | 6422.166666666667 | 3905.8333333333335 |
| DRESDEN/snake_2009_big/DgC1NQ | 1.6457300758805211 | 1250.7 | 759.9666666666667 |
| BASE/sudokuGrade3/eI8dvg | 1.6485637066098238 | 92.9240409292404 | 56.36666666666667 |
| BASE/sudokuGrade5/BQfUQA | 1.65260449368241 | 97.16342788573714 | 58.79412058794121 |
| BASE/sudokuGrade4/DTy07w | 1.6542108410493828 | 95.26666666666667 | 57.590401599733376 |
| BASE/sheepAndWolf/g4THrg | 1.6616534356620285 | 1544.4 | 929.4356854771507 |
| BASE/catcha_mouse/cHv4dw | 1.662112932604736 | 2007.5 | 1207.8 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 1.6652476727115715 | 856.7333333333333 | 514.4780247242678 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 1.674751384060086 | 868.4640250608192 | 518.5629540758515 |
| STANFORD/duidoku/3SoMaA | 1.689091914951826 | 85.15247458756873 | 50.41316806610689 |
| BASE/smallest_4player/ADDROA | 1.725807193662069 | 6251.966666666666 | 3622.633333333333 |
| BASE/chineseCheckers6/rREH3A | 1.7292311043345678 | 2646.3 | 1530.3333333333333 |
| DRESDEN/smallest_4player/ADDROA | 1.7300297520066874 | 6415.7 | 3708.4333333333334 |
| BASE/copolymer_4_pie/IN5_jA | 1.7323292248831634 | 2384.6666666666665 | 1376.5666666666666 |
| STANFORD/sudoku/oJ1qyQ | 1.7446632838283829 | 93.96666666666667 | 53.85948540194641 |
| STANFORD/dualrainbow/G3OnRQ | 1.744798414160176 | 7452.266666666666 | 4271.133333333333 |
| BASE/hanoi7_bugfix/3gdnFw | 1.7881804109277837 | 11282.166666666666 | 6309.3 |
| DRESDEN/racetrackcorridor/O0DoTA | 1.7918333634463 | 2314.0333333333333 | 1291.4333333333334 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 1.7942172370403573 | 11074.566666666668 | 6172.366666666667 |
| BASE/copolymer_4/2LDVhQ | 1.8127959947679402 | 2679.4333333333334 | 1478.0666666666666 |
| BASE/majorities/ibJzSQ | 1.8194626826642055 | 525.6333333333333 | 288.8948140247967 |
| DRESDEN/towerworld/HCX34w | 1.8275060333004578 | 109.89267382174522 | 60.1325915314655 |
| DRESDEN/hanoi7/51zz5Q | 1.8376150636613904 | 11392.233333333334 | 6199.466666666666 |
| DRESDEN/crossers3/xiPTxg | 1.8419967604182008 | 2084.8333333333335 | 1131.8333333333333 |
| DRESDEN/chinesecheckers6/yTbPDA | 1.8524881756073897 | 1527.5 | 824.5666666666667 |
| DRESDEN/knightmove/97Ipcw | 1.857378636503675 | 2813.4333333333334 | 1514.7333333333333 |
| BASE/knightmove/jBaJEw | 1.8635588279748667 | 2876.9 | 1543.7666666666667 |
| BASE/bunk_t/xbpfIA | 1.8711314704535043 | 3403.9 | 1819.1666666666667 |
| DRESDEN/knightwar/7hhAqg | 1.8953747561994987 | 2721.0 | 1435.6 |
| DRESDEN/doubletictactoe/lJzgmQ | 1.9169219205111343 | 3400.3 | 1773.8333333333333 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 1.91971492125974 | 385.6047984005331 | 200.86565673381057 |
| DRESDEN/bunk_t/7-tPfA | 1.9331495260037013 | 3412.266666666667 | 1765.1333333333334 |
| BASE/doubletictactoe/HH1htg | 1.9377335226423555 | 3457.4333333333334 | 1784.2666666666667 |
| BASE/gt_ultimatum/GE-uOA | 1.9396795022556714 | 12096.1 | 6236.133333333333 |
| BASE/doubletoetictac/fu35bg | 1.9411107322801835 | 3415.9666666666667 | 1759.8 |
| DRESDEN/doubletoetictac/V89gKQ | 1.9495095853767275 | 3498.2 | 1794.4 |
| BASE/knightwar/DVGY4Q | 1.9887249812887802 | 2745.7 | 1380.6333333333334 |
| BASE/roshambo2/KNPokQ | 1.9889212297616883 | 21866.2 | 10994.0 |
| BASE/crossers3/O0rORg | 1.9891942830218312 | 2110.866666666667 | 1061.1666666666667 |
| DRESDEN/gt_ultimatum/pAiiQw | 2.0090128121240265 | 12690.8 | 6316.933333333333 |
| BASE/firefighter/WJmoPw | 2.0375536037413142 | 8219.966666666667 | 4034.233333333333 |
| DRESDEN/firefighter/WJmoPw | 2.048133474419864 | 8323.0 | 4063.7 |
| DRESDEN/roshambo2/jgSlkQ | 2.0566540911243143 | 22441.866666666665 | 10911.833333333334 |
| BASE/sudokuGrade6E/ihYFZA | 2.076860823977673 | 91.74525943946412 | 44.174967518406234 |
| BASE/sudokuGrade6H/ieE_9A | 2.0813432835820893 | 92.96356788107063 | 44.665177827405756 |
| BASE/hallway/ckCJOw | 2.1179704501202608 | 616.4 | 291.03333333333336 |
| DRESDEN/hallway/0H4l-Q | 2.136181366412503 | 625.6666666666666 | 292.89023699210026 |
| BASE/tictactoe_3d_6player/d7KSwg | 2.1646137417205416 | 448.73675088327445 | 207.30569257432342 |
| DRESDEN/pancakes88/aD3E7g | 2.172023513584652 | 22280.4 | 10257.9 |
| BASE/chess_200/XsTpYA | 2.1732623033992895 | 285.5571480950635 | 131.39562014599514 |
| BASE/pancakes88/l2Xaig | 2.1911656045072503 | 22142.166666666668 | 10105.2 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 2.2707153820707906 | 457.53333333333336 | 201.49303472638806 |
| DRESDEN/smallest/9kaGFw | 2.274739798447051 | 4589.666666666667 | 2017.6666666666667 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 2.2866349552756384 | 21584.233333333334 | 9439.3 |
| BASE/ticTacToeSerial/Amrwqw | 2.2918887768333094 | 3181.6 | 1388.2 |
| BASE/colonelBlottoVariant/X-n-KQ | 2.3040220157883176 | 11888.6 | 5159.933333333333 |
| DRESDEN/pancakes/hl9aiQ | 2.4578859021821606 | 28504.266666666666 | 11597.066666666668 |
| BASE/point_grab/V_osUg | 2.4898208435111004 | 19910.433333333334 | 7996.733333333334 |
| BASE/pancakes6/QZTdnw | 2.500293425472924 | 27835.433333333334 | 11132.866666666667 |
| BASE/pancakes/yUgbXw | 2.5347993852103716 | 28751.3 | 11342.633333333333 |
| DRESDEN/pancakes6/SZXMyQ | 2.579905004832517 | 29095.566666666666 | 11277.766666666666 |
| BASE/checkers-mustjump/T-8UuQ | 2.6614139948167344 | 479.2 | 180.05466302246518 |
| BASE/nim1/hin2Qw | 2.661830874849244 | 15302.333333333334 | 5748.8 |
| BASE/colonelBlottoVariant2/jruwGw | 2.685509827307334 | 10958.133333333333 | 4080.4666666666667 |
| DRESDEN/nim1/M9BALA | 2.691226012670599 | 15604.266666666666 | 5798.2 |
| BASE/sudoku/NTaNkw | 2.7217621729049353 | 273.8726127387261 | 100.62327100623271 |
| DRESDEN/checkers-mustjump/HUr33w | 2.7346828122176037 | 504.3666666666667 | 184.43333333333334 |
| BASE/blockerSerial/3eqDuw | 2.7543217344242463 | 2883.866666666667 | 1047.0333333333333 |
| DRESDEN/point_grab/r5DPmQ | 2.7567721183780503 | 21341.0 | 7741.3 |
| DRESDEN/Runners/3bOCQw | 2.7931846473428834 | 24158.533333333333 | 8649.1 |
| DRESDEN/small_dominion/yB5GJA | 2.901378708394781 | 110.82225110822252 | 38.1964101368677 |
| BASE/pacman2p/4LEdQg | 3.055233719536556 | 3058.9 | 1001.2 |
| BASE/merrills/pku8Tg | 3.1175813953488376 | 558.5480483983868 | 179.16069464351187 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 3.160815286624204 | 396.8 | 125.53723138430784 |
| BASE/battlebrushes/arCwyA | 3.16308756975262 | 296.6901103296557 | 93.79762772513419 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 3.1956758258192575 | 409.1530282323923 | 128.03333333333333 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 3.19579201650285 | 394.78684043865206 | 123.53333333333333 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 3.20762601201358 | 409.4 | 127.63333333333334 |
| DRESDEN/merrills/aYEzwA | 3.3155191645386766 | 580.0473317556082 | 174.9491717494917 |
| BASE/checkers-mustjump-torus/uSApKQ | 3.3223332966941026 | 366.12112929569014 | 110.2 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 3.3453280091753177 | 41.33910726182545 | 12.35726575942437 |
| BASE/nim2/eF2Qqw | 3.3918160809626268 | 14187.966666666667 | 4183.0 |
| DRESDEN/nim4/F5YAYg | 3.407628474305139 | 11361.033333333333 | 3334.0 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 3.417958252103677 | 381.2539582013933 | 111.54435779510764 |
| BASE/pacman3p/wW7UVQ | 3.45249276777999 | 3063.1666666666665 | 887.2333333333333 |
| DRESDEN/pacman3p/rBnk8Q | 3.4534156666278304 | 2964.0666666666666 | 858.3 |
| BASE/nim3/1OwUqw | 3.489737625984413 | 11403.066666666668 | 3267.6 |
| BASE/nim4/twk16w | 3.493369354192561 | 11336.1 | 3245.0333333333333 |
| DRESDEN/nim2/z5_exA | 3.5081669545007026 | 14490.366666666667 | 4130.466666666666 |
| BASE/hidato37/pBrqxw | 3.5174772036474167 | 308.5897136762108 | 87.73040898636712 |
| DRESDEN/nim3/sG_axA | 3.5180316509227274 | 11507.833333333334 | 3271.1 |
| DRESDEN/god/2EDD5w | 4.0042299664911445 | 278.8 | 69.6263706962637 |
| BASE/twisty-passages/DiZmmg | 4.021766802443992 | 6319.0 | 1571.2 |
| DRESDEN/twisty-passages/j7NPyg | 4.071574510183453 | 6310.533333333334 | 1549.9 |
| DRESDEN/ghostmaze2p/HY0UwA | 4.124371085327035 | 10711.266666666666 | 2597.0666666666666 |
| BASE/racer4/0vs7Ww | 4.261751540388039 | 1569.2666666666667 | 368.2210592980234 |
| BASE/god/qF06gw | 4.290837067318636 | 270.61529231384577 | 63.06818181818182 |
| BASE/ghostMaze2p/W-NU-w | 4.446797426480164 | 11381.133333333333 | 2559.4 |
| BASE/zhadu/DlA8iQ | 4.795747529874819 | 55.06299580027998 | 11.481629392971247 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 4.955687907735322 | 11343.9 | 2289.0666666666666 |
| BASE/mummyMaze2p_2007/YGA3Vw | 5.092420332473145 | 11314.0 | 2221.733333333333 |
| BASE/mummymaze1p/PT_EXA | 5.717937433527708 | 15591.1 | 2726.7 |
| DRESDEN/mummymaze1p/AekgaQ | 5.917672308069659 | 16084.233333333334 | 2718.0 |
| BASE/bomberman2p/4CClwA | 6.097559558396281 | 10493.9 | 1721.0 |
| DRESDEN/fizzbuzz/t1xHzQ | 6.226282459773777 | 31265.9 | 5021.6 |
| DRESDEN/bomberman2p/x4h6jQ | 6.236855242925894 | 10410.766666666666 | 1669.2333333333333 |
| BASE/cittaceot/fDxhXg | 7.925438997668997 | 1888.8333333333333 | 238.32538915369489 |
| BASE/simultaneousWin2/PfjRjw | 8.194894576109432 | 1717.0333333333333 | 209.5247617143238 |
| BASE/golden_rectangle/_nYzfw | 9.151264640591966 | 576.9666666666667 | 63.04775234096438 |
| BASE/gt_two_thirds_2p/1APDGg | 12.773002421307506 | 4220.2 | 330.4 |
| DRESDEN/mummymaze2p/k-8edg | 13.065256904730239 | 9823.766666666666 | 751.9 |
| BASE/mummymaze2p/vpjDdA | 13.486266924564797 | 10458.6 | 775.5 |
| DRESDEN/racer/vk_ZBA | 14.89990113046135 | 3250.4 | 218.14909854367315 |
| BASE/racer/QQYQNw | 15.495666620477289 | 3354.7 | 216.49278357388087 |
| BASE/gt_attrition/kD_SCA | 16.288063235205588 | 6012.266666666666 | 369.12102929902335 |
| BASE/gt_two_thirds_4p/DStnxQ | 19.172050897398982 | 2218.9666666666667 | 115.73966074582597 |
| BASE/gt_two_thirds_6p/867v3Q | 31.48632979306906 | 1402.8666666666666 | 44.554785390562515 |
| DRESDEN/golden_rectangle/1uloXw | 130.69903228346456 | 551.0333333333333 | 4.216047538425787 |
| BASE/queens06ug/7Lq3tw | 143.33741569664903 | 3607.5333333333333 | 25.168120380850922 |
| BASE/queens08ug/kJ_ZFQ | 259.46939107142856 | 2230.9666666666667 | 8.598188238906802 |
| BASE/colonelBlotto/jip21A | 673.1274270627063 | 4516.733333333334 | 6.710071751262291 |
| BASE/queens08lg/Ru7eqQ | 29986.764800000004 | 723.2 | 0.024117306579201234 |
Games with errors:
| Game | ALLOY_TUPLE_PROVER:2 error message | PALAMEDES_JAVA_ECLIPSE:0.6.1 error message |
| DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | |
| BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | |
| BASE/reversi/d8UMeA | Test process timed out after 240 seconds | |
| BASE/ruleDepthExponential/UamhHQ | Exception of type NullPointerException | |
| BASE/queens12ug/u6Bkmg | Test process timed out after 240 seconds | |
| BASE/reversiSuicide/9OxJlg | Test process timed out after 240 seconds | |
| BASE/amazonsTorus/soxT8g | Exception of type NullPointerException | |
| STANFORD/untwistycomplex/HTWEwg | Exception of type NullPointerException | |
| BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | |
| BASE/queens16ug/gT-ylw | Test process timed out after 240 seconds | |
| BASE/alexChess/LNo83g | Exception of type NullPointerException |