Game-by-game performance:
| Game | Perf ratio | ALLOY_TUPLE_PROVER:2 states per second | PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 states per second |
| BASE/quad/tw-Ufg | 0.3968457173023624 | 0.5939025999736043 | 1.4965579167913798 |
| DRESDEN/guess/PhxGhg | 1.37353956756102 | 1511.8 | 1100.659956002933 |
| BASE/guess/SPpk1A | 1.3977402878811331 | 1505.1333333333334 | 1076.8333333333333 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 1.4755834151499132 | 3256.366666666667 | 2206.8333333333335 |
| BASE/blocks2player/wnTLOQ | 1.8778688015887792 | 10086.033333333333 | 5371.0 |
| DRESDEN/blocks2player/3ev8nQ | 1.881873089529702 | 10219.7 | 5430.6 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 1.8931030684020915 | 13.379930104842735 | 7.067724060125427 |
| BASE/ticTacHeavenFC/mrletw | 1.8980721848701796 | 477.31742275257494 | 251.47485251474853 |
| BASE/asteroidsSerial/id2QkA | 1.9074464303848886 | 5008.7 | 2625.866666666667 |
| BASE/onestep/xi53wA | 1.9286500150314874 | 40844.5 | 21177.766666666666 |
| BASE/coloredtrails/EZvr7g | 1.9741232890398643 | 3951.8 | 2001.8 |
| BASE/ticTacHeaven/18n58A | 1.9769426268413974 | 510.1829939002033 | 258.06666666666666 |
| BASE/beatMania/qUHwvQ | 1.9803000774847965 | 8433.9 | 4258.9 |
| BASE/switches/tPUoCg | 1.996211969375075 | 16599.833333333332 | 8315.666666666666 |
| BASE/survival/YVIjJA | 2.003439924031454 | 31294.733333333334 | 15620.5 |
| BASE/blocksWorldSerial/Wyg96Q | 2.006027748630057 | 5735.233333333334 | 2859.0 |
| BASE/point_grab/V_osUg | 2.0631076847620724 | 19910.433333333334 | 9650.7 |
| BASE/eightPuzzle/vLrgFg | 2.0631109620525367 | 6971.733333333334 | 3379.233333333333 |
| STANFORD/8puzzle/jNiGtw | 2.084867597737398 | 6941.566666666667 | 3329.5 |
| BASE/firefighter/WJmoPw | 2.0859330062595163 | 8219.966666666667 | 3940.6666666666665 |
| STANFORD/untwistycorridor/EDPPAQ | 2.1009194990139077 | 27342.066666666666 | 13014.333333333334 |
| BASE/untwistycomplex2/EDPPAQ | 2.1089246690363916 | 28339.8 | 13438.033333333333 |
| STANFORD/buttonsandlights/eyhJpA | 2.1116282265637527 | 46097.9 | 21830.5 |
| DRESDEN/firefighter/WJmoPw | 2.1364398658361283 | 8323.0 | 3895.733333333333 |
| DRESDEN/Runners/3bOCQw | 2.145029108225774 | 24158.533333333333 | 11262.566666666668 |
| STANFORD/eightpuzzle/W_aWbA | 2.1473938874257366 | 7012.1 | 3265.4 |
| BASE/asteroidsParallel/WauZiA | 2.149389755779154 | 5817.466666666666 | 2706.5666666666666 |
| DRESDEN/8puzzle/8fKC2w | 2.164354463314734 | 7098.433333333333 | 3279.7 |
| BASE/battle/8oAvhQ | 2.1675776924315624 | 104.10904122371447 | 48.03013132457836 |
| DRESDEN/racer/vk_ZBA | 2.1678004535147393 | 3250.4 | 1499.4 |
| DRESDEN/battle/8oAvhQ | 2.1730822568268717 | 105.14563753915884 | 48.385484354693595 |
| BASE/racer/QQYQNw | 2.1961070984354203 | 3354.7 | 1527.5666666666666 |
| DRESDEN/point_grab/r5DPmQ | 2.209609729834201 | 21341.0 | 9658.266666666666 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 2.2133013611358194 | 18097.353686175178 | 8176.633333333333 |
| BASE/toetictac/mTThmg | 2.2136788654626725 | 8980.6 | 4056.866666666667 |
| DRESDEN/Goldrush/VeWczQ | 2.223680874833498 | 1725.0 | 775.740808639712 |
| DRESDEN/oisters_farm/pTQMLg | 2.2253729572786685 | 13132.0 | 5901.033333333334 |
| BASE/asteroids/BKCmPQ | 2.252495968610466 | 12897.566666666668 | 5725.9 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 2.2528154466057146 | 18357.066666666666 | 8148.5 |
| BASE/gt_centipede/9fRMpw | 2.269141147373082 | 16911.833333333332 | 7452.966666666666 |
| BASE/biddingTicTacToe/8mESVw | 2.28706948124092 | 4460.166666666667 | 1950.1666666666667 |
| DRESDEN/toetictac/mJtxCA | 2.291198088035489 | 9331.133333333333 | 4072.6 |
| BASE/hodgepodge/9yjRkw | 2.3096166693750795 | 8527.566666666668 | 3692.2 |
| DRESDEN/buttons/ADUaHw | 2.311392159196997 | 24593.366666666665 | 10640.066666666668 |
| BASE/blocksWorld/SEdXLQ | 2.317612384054343 | 14966.6 | 6457.766666666666 |
| STANFORD/knightstourbig/TQUI2g | 2.3323540511039242 | 19159.433333333334 | 8214.633333333333 |
| BASE/knightsTourLarge/M8jgLA | 2.3347976315873473 | 19505.833333333332 | 8354.4 |
| BASE/queens06ug/7Lq3tw | 2.335527309609616 | 3607.5333333333333 | 1544.6333333333334 |
| BASE/buttons/hTcUjw | 2.3458723335628378 | 25212.966666666667 | 10747.8 |
| BASE/maze/cCX3qQ | 2.350443348003009 | 26454.866666666665 | 11255.266666666666 |
| BASE/ruleDepthLinear/OUBJpQ | 2.3573819457317997 | 37725.73333333333 | 16003.233333333334 |
| BASE/racer4/0vs7Ww | 2.3595233431898293 | 1569.2666666666667 | 665.0778307389754 |
| BASE/ticTicToe/c1OobQ | 2.362303645660891 | 4280.966666666666 | 1812.2 |
| BASE/blocks/xIV5hQ | 2.370974325696283 | 15102.0 | 6369.533333333334 |
| BASE/haystack/UkweGA | 2.3821983201401897 | 44679.4 | 18755.533333333333 |
| DRESDEN/blocks/vg0DRw | 2.384267573455183 | 14958.1 | 6273.666666666667 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 2.3953914220818135 | 21584.233333333334 | 9010.733333333334 |
| STANFORD/bestbuttonsandlights/nm0wEA | 2.418512220008746 | 16591.8 | 6860.333333333333 |
| BASE/colonelBlottoVariant/X-n-KQ | 2.4213527770423027 | 11888.6 | 4909.9 |
| BASE/lightsOut/5P1ZBw | 2.4249387482366918 | 2177.4333333333334 | 897.9333333333333 |
| BASE/kalaha_2009/dRiN3g | 2.4260995393959157 | 3967.9666666666667 | 1635.5333333333333 |
| DRESDEN/troublemaker02/iZLVuA | 2.4282071739821793 | 29014.0 | 11948.733333333334 |
| DRESDEN/lightson2x2/gBHuig | 2.442058202084333 | 7974.866666666667 | 3265.633333333333 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 2.4453013534878343 | 4227.6 | 1728.8666666666666 |
| BASE/troublemaker01/s3tlEQ | 2.4458428077617236 | 31982.166666666668 | 13076.133333333333 |
| DRESDEN/tictictoe/LAUtwg | 2.450108860105539 | 4426.366666666667 | 1806.6 |
| STANFORD/tictictoe/rpt_Dw | 2.455900304261483 | 4493.233333333334 | 1829.5666666666666 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 2.456520292501867 | 11074.566666666668 | 4508.233333333334 |
| BASE/eotcitcit/V_9_bg | 2.4595421829784074 | 4419.633333333333 | 1796.9333333333334 |
| BASE/breakthroughWalls/vOZaYA | 2.463621526633718 | 947.0666666666667 | 384.4205193160228 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 2.465215156457232 | 12949.2 | 5252.766666666666 |
| STANFORD/knightstourmedium/x1wu8Q | 2.4682257649002106 | 21716.766666666666 | 8798.533333333333 |
| BASE/nim2/eF2Qqw | 2.4703079476732714 | 14187.966666666667 | 5743.4 |
| BASE/kalaha6x2x4/XS81Mg | 2.47699814126394 | 3909.0333333333333 | 1578.1333333333334 |
| DRESDEN/kalaha_2009/gcC8uA | 2.4816808070575322 | 3919.5666666666666 | 1579.4 |
| DRESDEN/breakthrough/z4hK7Q | 2.481942443787512 | 923.5 | 372.08759708009734 |
| DRESDEN/knightstour/cGISAA | 2.489423524396873 | 21218.933333333334 | 8523.633333333333 |
| BASE/hanoi7_bugfix/3gdnFw | 2.4935352925142 | 11282.166666666666 | 4524.566666666667 |
| BASE/pancakes6/QZTdnw | 2.494743508928118 | 27835.433333333334 | 11157.633333333333 |
| DRESDEN/hanoi_6_disks/MeubgQ | 2.500441345220231 | 9442.5 | 3776.3333333333335 |
| DRESDEN/chickentoetictac/cxYaRQ | 2.5047540476436008 | 8096.2 | 3232.3333333333335 |
| STANFORD/knightstour/cEwgNA | 2.5048378509756715 | 21642.3 | 8640.2 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 2.505719723915175 | 4344.333333333333 | 1733.7666666666667 |
| BASE/stateSpaceSmall/Q7osKA | 2.5073701358417195 | 22266.533333333333 | 8880.433333333332 |
| BASE/colonelBlottoVariant2/jruwGw | 2.5108570293823367 | 10958.133333333333 | 4364.3 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 2.51182039211629 | 6474.133333333333 | 2577.4666666666667 |
| DRESDEN/knightwar/7hhAqg | 2.5164154258762603 | 2721.0 | 1081.3 |
| DRESDEN/bidding-tictactoe/yW5vTA | 2.522977006036763 | 4959.5 | 1965.7333333333333 |
| DRESDEN/lightsout/XgLpzQ | 2.523868778280543 | 2231.1 | 884.0 |
| BASE/four_way_battle/xSOQXA | 2.525658545256585 | 343.4323234343232 | 135.97733711048159 |
| DRESDEN/hanoi/RQ0jiA | 2.5258609605402955 | 12441.633333333333 | 4925.7 |
| BASE/gt_dollar/TGjqRw | 2.530446097430295 | 12121.933333333332 | 4790.433333333333 |
| DRESDEN/nim1/M9BALA | 2.5315300212525487 | 15604.266666666666 | 6163.966666666666 |
| DRESDEN/pancakes/hl9aiQ | 2.5348091322468385 | 28504.266666666666 | 11245.133333333333 |
| BASE/hanoi_6_disks/MeubgQ | 2.53497919556172 | 9138.6 | 3605.0 |
| DRESDEN/pancakes88/aD3E7g | 2.535724853754581 | 22280.4 | 8786.6 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 2.5371707794889953 | 955.4666666666667 | 376.58744708509715 |
| BASE/hanoi/iGLsJg | 2.5422860661339324 | 12524.233333333334 | 4926.366666666667 |
| BASE/pearls/6k_mEQ | 2.542882627886044 | 31264.233333333334 | 12294.8 |
| DRESDEN/pancakes6/SZXMyQ | 2.543933993360865 | 29095.566666666666 | 11437.233333333334 |
| DRESDEN/crissrace/KWb9bw | 2.544216981373733 | 1544.9666666666667 | 607.2464251191627 |
| STANFORD/chinook/osFbPA | 2.546229063800949 | 876.6374454184861 | 344.2885237158761 |
| DRESDEN/latenttictactoe/kITHKg | 2.5478417515416063 | 3677.3 | 1443.3 |
| BASE/crissrace/ERWGDA | 2.5499611413345176 | 1531.1666666666667 | 600.4666666666667 |
| BASE/incredible/8Qh-6Q | 2.5503063645228425 | 5840.966666666666 | 2290.3 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 2.5593853296661706 | 3381.0333333333333 | 1321.0333333333333 |
| BASE/knightwar/DVGY4Q | 2.564476961394769 | 2745.7 | 1070.6666666666667 |
| BASE/breakthrough/TGxk-g | 2.570117071930612 | 954.7666666666667 | 371.48761707943066 |
| BASE/chinook/XQh0IQ | 2.570622465173691 | 971.8666666666667 | 378.06666666666666 |
| DRESDEN/grid_game2/kypTYQ | 2.5713351854878246 | 524.4491850271658 | 203.95986800439985 |
| DRESDEN/nim2/z5_exA | 2.5783570581257416 | 14490.366666666667 | 5620.0 |
| BASE/breakthroughSuicide/wZDpIg | 2.584020961429297 | 960.9333333333333 | 371.8752083194454 |
| DRESDEN/statespacesmall/h-NqjA | 2.5886534369870136 | 23076.033333333333 | 8914.3 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 2.5887564891682913 | 7878.966666666666 | 3043.5333333333333 |
| BASE/chickentoetictac/l57rfQ | 2.5899681194680984 | 8232.3 | 3178.5333333333333 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 2.592051500632 | 5878.6 | 2267.9333333333334 |
| BASE/pancakes88/l2Xaig | 2.6091763948025832 | 22142.166666666668 | 8486.266666666666 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 2.6104859041943618 | 7593.033333333334 | 2908.6666666666665 |
| BASE/lightsOn/MsXu3A | 2.624871902291257 | 13575.4 | 5171.833333333333 |
| BASE/circlesolitaire/azuQFQ | 2.6251970077880546 | 11382.066666666668 | 4335.7 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 2.6252738421568305 | 7949.066666666667 | 3027.9 |
| DRESDEN/hanoi7/51zz5Q | 2.6349359320309005 | 11392.233333333334 | 4323.533333333334 |
| DRESDEN/fizzbuzz/t1xHzQ | 2.635240605052594 | 31265.9 | 11864.533333333333 |
| DRESDEN/four_way_battle/xSOQXA | 2.6386181072026806 | 350.03333333333336 | 132.65782281181254 |
| BASE/knightsTour/mvtVIg | 2.641504155686195 | 21717.566666666666 | 8221.666666666666 |
| DRESDEN/troublemaker01/C-lPWw | 2.643590419246264 | 32438.0 | 12270.433333333332 |
| BASE/checkLines/Vop7oQ | 2.644095893904616 | 2764.6666666666665 | 1045.6 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 2.6488700334502733 | 10822.4 | 4085.6666666666665 |
| BASE/roshambo2/KNPokQ | 2.65301038174237 | 21866.2 | 8242.033333333333 |
| BASE/nim4/twk16w | 2.6537471128035457 | 11336.1 | 4271.733333333334 |
| BASE/kalaha5x2x3/WviNsw | 2.654337119308473 | 4401.333333333333 | 1658.1666666666667 |
| BASE/nim3/1OwUqw | 2.654633495258641 | 11403.066666666668 | 4295.533333333334 |
| BASE/gt_tinfoil/Q8DyKg | 2.657154777223741 | 17620.833333333332 | 6631.466666666666 |
| BASE/double_tictactoe_dengji/zgaSbA | 2.659422871392946 | 3483.6666666666665 | 1309.9333333333334 |
| BASE/tictactoe_orthogonal/WRzlVw | 2.6602863172303657 | 7773.8 | 2922.1666666666665 |
| BASE/quartoSuicide/-23jUg | 2.663672974803094 | 2491.3333333333335 | 935.3 |
| DRESDEN/roshambo2/jgSlkQ | 2.6658747317320404 | 22441.866666666665 | 8418.2 |
| DRESDEN/circlesolitaire/ruUilQ | 2.6698916260678693 | 11636.366666666667 | 4358.366666666667 |
| DRESDEN/knightfight/4_Ly4w | 2.6766765558162 | 5172.766666666666 | 1932.5333333333333 |
| BASE/pancakes/yUgbXw | 2.677353869649026 | 28751.3 | 10738.7 |
| BASE/dualConnect4/WbCQkg | 2.6781686012526094 | 1282.8 | 478.9840338655378 |
| STANFORD/3puzzle/41ibjA | 2.680394902445802 | 16398.566666666666 | 6117.966666666666 |
| DRESDEN/nim3/sG_axA | 2.6813535890147104 | 11507.833333333334 | 4291.8 |
| BASE/breakthroughSmall/HJ0tIA | 2.681557250414987 | 1507.7 | 562.2479250691644 |
| DRESDEN/blobwars/ZaMluQ | 2.6818110112005047 | 566.6288914072395 | 211.28591427238183 |
| DRESDEN/nim4/F5YAYg | 2.6869880562891715 | 11361.033333333333 | 4228.166666666667 |
| BASE/nim1/hin2Qw | 2.6966047932330826 | 15302.333333333334 | 5674.666666666667 |
| DRESDEN/quarto/OQzRYQ | 2.7001684044573437 | 2511.9666666666667 | 930.3 |
| BASE/pawnWhopping/Ypc_6Q | 2.701916202930276 | 1563.3666666666666 | 578.6140461984601 |
| BASE/knightfight/SJRkAg | 2.702822697699834 | 5276.0 | 1952.0333333333333 |
| DRESDEN/gt_ultimatum/pAiiQw | 2.7231528502968314 | 12690.8 | 4660.333333333333 |
| BASE/breakthroughSuicideSmall/XSbJog | 2.735756790196194 | 1547.8 | 565.7666666666667 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 2.7450733137829912 | 9360.7 | 3410.0 |
| DRESDEN/ticblock/Z2yNWQ | 2.745777287761852 | 4150.7 | 1511.6666666666667 |
| BASE/tron_10x10/7ZTgDg | 2.7501091090466985 | 4410.9 | 1603.9 |
| BASE/shmup/ssTNlg | 2.755768849116856 | 5091.466666666666 | 1847.5666666666666 |
| DRESDEN/eotcatcit/mQUxzA | 2.7642509631879415 | 6552.933333333333 | 2370.6 |
| BASE/sum15/QZ07Kg | 2.769230769230769 | 7868.4 | 2841.366666666667 |
| DRESDEN/quartosuicide/WIU1oQ | 2.7725608672472006 | 2600.2 | 937.8333333333334 |
| BASE/eotcatcit/AfZSzA | 2.772904635554862 | 6514.2 | 2349.233333333333 |
| BASE/quarto/EwBMVQ | 2.7735318504632467 | 2564.5 | 924.6333333333333 |
| DRESDEN/sum15/CsgWKg | 2.773658246656761 | 7777.8 | 2804.1666666666665 |
| DRESDEN/pawn_whopping/4ogBkg | 2.778916812482586 | 1662.2 | 598.1467284423852 |
| BASE/chickentictactoe/DSlZCA | 2.783697704939023 | 5797.7 | 2082.733333333333 |
| BASE/tictactoe2/bhrDoQ | 2.7878771248645164 | 6773.333333333333 | 2429.5666666666666 |
| BASE/blobwars/0XT15Q | 2.7891693851626713 | 578.8807039765342 | 207.5459120754591 |
| BASE/checkersSmall/SYmq8w | 2.790684432297005 | 816.8333333333334 | 292.7 |
| STANFORD/tictactoe5/WFRReg | 2.792578792113026 | 6595.233333333334 | 2361.7 |
| BASE/ticblock/T21C1g | 2.794158987974387 | 4174.566666666667 | 1494.0333333333333 |
| BASE/gt_ultimatum/GE-uOA | 2.7944601025735802 | 12096.1 | 4328.6 |
| BASE/blocker/dIWtxg | 2.795143754886486 | 6316.0 | 2259.633333333333 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 2.7977074300647384 | 1570.1666666666667 | 561.2333333333333 |
| BASE/gt_staghunt/xPjLRA | 2.805185253286752 | 15256.0 | 5438.5 |
| BASE/duplicateStateSmall/bCPAXw | 2.807154254332257 | 17651.666666666668 | 6288.1 |
| BASE/checkers/rOC3Xg | 2.8115570307785154 | 621.1459618012733 | 220.9259691343622 |
| DRESDEN/tictactoe/BTTzPw | 2.812146359864202 | 6958.0 | 2474.266666666667 |
| BASE/troublemaker02/DI83KA | 2.813740758244233 | 29570.633333333335 | 10509.366666666667 |
| STANFORD/trifecta/ss1kyQ | 2.8140576675034326 | 6763.4 | 2403.4333333333334 |
| STANFORD/tictactoe3/X7myng | 2.8207264143759994 | 6174.1 | 2188.8333333333335 |
| BASE/crisscross/ICagEg | 2.821374358974359 | 2292.366666666667 | 812.5 |
| DRESDEN/tictactoe-init1/3ltIBQ | 2.8383206358810744 | 6879.9 | 2423.9333333333334 |
| DRESDEN/chinesecheckers6/yTbPDA | 2.841860465116279 | 1527.5 | 537.5 |
| STANFORD/threepuzzle/41ibjA | 2.8438490696071677 | 16505.7 | 5804.0 |
| BASE/queens08ug/kJ_ZFQ | 2.84392793405286 | 2230.9666666666667 | 784.4666666666667 |
| STANFORD/tictactoe7/-bE9-A | 2.846736005998917 | 6833.4 | 2400.4333333333334 |
| BASE/ticTacToe/JRFsaQ | 2.8534637436762225 | 7050.433333333333 | 2470.8333333333335 |
| DRESDEN/chickentictactoe/Ipbo-g | 2.8600865913603957 | 5857.266666666666 | 2047.9333333333334 |
| BASE/dotsAndBoxes/EHwA_w | 2.8691635769496644 | 1521.9 | 530.4333333333333 |
| BASE/blockerSerial/3eqDuw | 2.8697094334615896 | 2883.866666666667 | 1004.9333333333333 |
| DRESDEN/blocker/S815zQ | 2.8783894823336076 | 6422.166666666667 | 2231.1666666666665 |
| DRESDEN/crossers3/xiPTxg | 2.901781571866011 | 2084.8333333333335 | 718.4666666666667 |
| BASE/tictactoe-init1/7M19vA | 2.9047924506785265 | 6792.566666666667 | 2338.4 |
| BASE/chineseCheckers6/rREH3A | 2.904820398082763 | 2646.3 | 911.0029665677811 |
| BASE/gt_coordination/IVMOzA | 2.9190298507462686 | 16689.066666666666 | 5717.333333333333 |
| DRESDEN/crisscross/GsY16g | 2.919506152783982 | 2396.233333333333 | 820.7666666666667 |
| BASE/chineseCheckers4/avfBcQ | 2.921325545357015 | 2450.7 | 838.9 |
| STANFORD/tictactoe/ss1kyQ | 2.9254874750421274 | 6886.5 | 2353.9666666666667 |
| BASE/sheepAndWolf/g4THrg | 2.9324050632911396 | 1544.4 | 526.6666666666666 |
| BASE/lightsOnParallel/SC6enA | 2.940492810907838 | 5405.9 | 1838.4333333333334 |
| DRESDEN/doubletictactoe/lJzgmQ | 2.943557928148896 | 3400.3 | 1155.1666666666667 |
| DRESDEN/bunk_t/7-tPfA | 2.945078972352484 | 3412.266666666667 | 1158.6333333333334 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 2.95055633445694 | 6594.1 | 2234.866666666667 |
| DRESDEN/chinesecheckers3/QsCb2A | 2.956140757568733 | 2125.366666666667 | 718.9666666666667 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 2.9578464915111997 | 1527.3333333333333 | 516.3666666666667 |
| BASE/4pffa/Q3ADlg | 2.9578749362342895 | 2138.866666666667 | 723.1092296923435 |
| DRESDEN/snake_2008/E56l3A | 2.972415079900968 | 1467.3333333333333 | 493.65021165961133 |
| BASE/bunk_t/xbpfIA | 2.973877337060982 | 3403.9 | 1144.6 |
| BASE/snakeAssemblit/UO4sdg | 2.982346178124075 | 1007.9 | 337.9554014866171 |
| DRESDEN/tictactoelarge/IwXcbg | 2.985976368159204 | 3200.9666666666667 | 1072.0 |
| BASE/gt_prisoner/klthDw | 2.998670935386509 | 15267.133333333333 | 5091.3 |
| DRESDEN/minichess/c7GMFw | 2.999444268021594 | 2518.733333333333 | 839.7333333333333 |
| DRESDEN/logistics/fPru1Q | 3.0022774947557687 | 3339.5333333333333 | 1112.3333333333333 |
| BASE/ticTacToeLarge/TZC0dg | 3.006634499396864 | 3157.1666666666665 | 1050.0666666666666 |
| BASE/3pffa/pR0dzA | 3.0070117387536435 | 2544.5333333333333 | 846.2 |
| BASE/ticTacToeLargeSuicide/727_8g | 3.0106173071502393 | 3204.2 | 1064.3 |
| BASE/doubletictactoe/HH1htg | 3.017835321501309 | 3457.4333333333334 | 1145.6666666666667 |
| BASE/withConviction/3Xm54A | 3.019696718972896 | 1340.6 | 443.9518682710576 |
| BASE/2pffa/6oHijA | 3.0202371145098317 | 2810.733333333333 | 930.6333333333333 |
| DRESDEN/aipsrovers01/qS47Mw | 3.02083297225159 | 5809.766666666666 | 1923.2333333333333 |
| BASE/snake_2008/i6K26g | 3.0346090804521424 | 1524.2333333333333 | 502.28325722475915 |
| BASE/cylinder-checkers/hlldmw | 3.0367684848484853 | 400.8 | 131.9824023463538 |
| BASE/doubletoetictac/fu35bg | 3.0428159980997056 | 3415.9666666666667 | 1122.6333333333334 |
| BASE/crossers3/O0rORg | 3.045251262322674 | 2110.866666666667 | 693.1666666666666 |
| BASE/checkersTiny/Lr48cg | 3.0536162261680717 | 1243.9 | 407.3530882303923 |
| DRESDEN/smallest_4player/ADDROA | 3.055240725748845 | 6415.7 | 2099.9 |
| DRESDEN/sheep_and_wolf/enAIzQ | 3.0593950385387654 | 1574.4666666666667 | 514.6333333333333 |
| DRESDEN/tttcc4/sAvtFg | 3.060262483497709 | 1313.5666666666666 | 429.23333333333335 |
| DRESDEN/cylinder-checkers/clOO3Q | 3.064159074733096 | 401.8 | 131.12896236792108 |
| BASE/copolymer_4_pie/IN5_jA | 3.0686447913985875 | 2384.6666666666665 | 777.1074297523415 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 3.0711352942182106 | 1995.9666666666667 | 649.9116696110129 |
| BASE/pentago/86NgKw | 3.0803081744580827 | 786.3 | 255.26666666666668 |
| BASE/queens08lg/Ru7eqQ | 3.0907013105413106 | 723.2 | 233.99220025999134 |
| DRESDEN/gt_prisoner/huCp4w | 3.0977534617991673 | 14928.9 | 4819.266666666666 |
| BASE/smallest_4player/ADDROA | 3.099226676360752 | 6251.966666666666 | 2017.2666666666667 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 3.099949899799599 | 2062.5 | 665.3333333333334 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 3.1016592433067403 | 2112.3333333333335 | 681.0333333333333 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 3.1028257471264364 | 1994.5333333333333 | 642.811906269791 |
| BASE/numbertictactoe/rvJ-iQ | 3.1062769596906143 | 4176.7 | 1344.6 |
| DRESDEN/3pffa/0YrmQw | 3.1070059254095503 | 2971.3333333333335 | 956.3333333333334 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 3.1073300022941046 | 2257.4 | 726.4757841405286 |
| BASE/hexPie/48CH6Q | 3.1118665483001244 | 525.7666666666667 | 168.95540297313514 |
| BASE/ttcc4_2player_small/Cv72TA | 3.1153989386463086 | 2230.8333333333335 | 716.0666666666667 |
| DRESDEN/tictactoeparallel/yk_DSg | 3.1178830652514864 | 2849.4333333333334 | 913.9 |
| BASE/snake_2008_tweaked/bX0NJQ | 3.124126708370164 | 1531.5 | 490.21699276690777 |
| BASE/ticTacToeParallel/ymRGPw | 3.1284452865262935 | 2917.0666666666666 | 932.4333333333333 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 3.138811742349131 | 2110.4666666666667 | 672.3775874137528 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 3.138865992798577 | 2411.8 | 768.3666666666667 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 3.1440117558995277 | 664.511182960568 | 211.35772845430913 |
| DRESDEN/doubletoetictac/V89gKQ | 3.1459576126382682 | 3498.2 | 1111.9666666666667 |
| DRESDEN/lightsout2/LFtfyQ | 3.147636336692353 | 2832.0333333333333 | 899.7333333333333 |
| BASE/tttcc4/8Bs2lg | 3.1507578245120267 | 1343.3333333333333 | 426.35245491816937 |
| BASE/racetrackcorridor/_RkdUg | 3.1509583260066822 | 2389.266666666667 | 758.2666666666667 |
| BASE/aipsrovers01/4C4jsw | 3.1530113088454454 | 5994.4 | 1901.1666666666667 |
| DRESDEN/gt_chicken/CeuKtw | 3.15547920169603 | 14387.933333333332 | 4559.666666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 3.1615177823806797 | 2391.266666666667 | 756.3666666666667 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 3.1653857192971264 | 3308.5666666666666 | 1045.2333333333333 |
| BASE/chineseCheckers3/-1rZdQ | 3.1718180591172898 | 4700.0 | 1481.8 |
| DRESDEN/chinesecheckers2/06E6-Q | 3.172371894247287 | 2523.8333333333335 | 795.5666666666667 |
| BASE/copolymer_4/2LDVhQ | 3.173430714567706 | 2679.4333333333334 | 844.3333333333334 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 3.180719382554245 | 1456.1333333333334 | 457.8 |
| STANFORD/hunter/14dD-g | 3.182833386438466 | 6992.366666666667 | 2196.9 |
| DRESDEN/connectfoursuicide/M9CNQg | 3.1892264203279015 | 2146.1 | 672.9218052129858 |
| BASE/4pttc/AL1k2Q | 3.1928993151292566 | 1999.4333333333334 | 626.2124595846805 |
| DRESDEN/stratego/Z2wovg | 3.193466823551784 | 1492.6333333333334 | 467.4021731884541 |
| BASE/gt_chicken/gmepTQ | 3.1996395357220098 | 14794.066666666668 | 4623.666666666667 |
| DRESDEN/racetrackcorridor/O0DoTA | 3.2102196531791907 | 2314.0333333333333 | 720.8333333333334 |
| BASE/checkers-newgoals/0XkFiA | 3.2136609144542767 | 459.96666666666664 | 143.12856238125397 |
| BASE/connectFourLarge/aU644A | 3.2154703072625694 | 1534.8 | 477.31742275257494 |
| DRESDEN/catch_me/ghGWrA | 3.2167029924599433 | 14561.8 | 4526.933333333333 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 3.217015374876917 | 2286.9 | 710.8763041231958 |
| DRESDEN/3pttc/uwYBZw | 3.218316366643588 | 2788.9 | 866.5711142961901 |
| DRESDEN/4pttc/9pB9AQ | 3.220414552008727 | 2263.2 | 702.7666666666667 |
| BASE/ticTacToeSerial/Amrwqw | 3.220894917999595 | 3181.6 | 987.8 |
| BASE/chineseCheckers2/eCMR3Q | 3.223391136801541 | 5576.466666666666 | 1730.0 |
| DRESDEN/checkers/jIDMIg | 3.226268615984406 | 459.6666666666667 | 142.47625395767372 |
| BASE/3pttc/0sol9g | 3.231575593250523 | 2419.4 | 748.6750441651945 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 3.232383955849019 | 2186.6 | 676.4666666666667 |
| DRESDEN/checkers-newgoals/IJOqXQ | 3.2366684176729534 | 464.3845205159828 | 143.4760873187802 |
| DRESDEN/tpeg/h-Scbg | 3.2383830480026856 | 1500.5666666666666 | 463.3691087260849 |
| BASE/catcha_mouse/cHv4dw | 3.241147750511247 | 2007.5 | 619.3793540215327 |
| DRESDEN/grid_game/U7_Yeg | 3.244286042768452 | 2351.5666666666666 | 724.8333333333334 |
| STANFORD/connectfour/VMpZkQ | 3.24664261375025 | 2159.6666666666665 | 665.2 |
| DRESDEN/knightthrough/J7Fc_Q | 3.2507535742152327 | 1805.3 | 555.348155061498 |
| BASE/connectFour_9x6/B9TtMw | 3.2518743109151047 | 1966.3 | 604.6666666666666 |
| BASE/2pffa_zerosum/o0_uZA | 3.256983020131584 | 2755.733333333333 | 846.1 |
| DRESDEN/peg/Vo31eg | 3.2612392724982286 | 1380.7 | 423.3666666666667 |
| DRESDEN/peg_bugfixed/u_B7MA | 3.264632442550994 | 1404.8333333333333 | 430.3189893670211 |
| STANFORD/platformjumpers/HEQskA | 3.2655595869383194 | 780.007333088897 | 238.858704709843 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 3.2662094315162298 | 14590.04865693528 | 4466.966666666666 |
| BASE/ttcc4/Le0qjQ | 3.2668384655710203 | 1384.7666666666667 | 423.8858704709843 |
| BASE/connectFour/WAIKTw | 3.2695002984183827 | 2191.0 | 670.1329867013299 |
| DRESDEN/catcha_mouse/cHv4dw | 3.275313669381466 | 1983.9666666666667 | 605.7333333333333 |
| BASE/pegEuro/5awwhg | 3.2834268891007303 | 1148.0666666666666 | 349.6550114996167 |
| BASE/peg/fJHVWw | 3.2834480322614548 | 1388.6333333333334 | 422.9192360254658 |
| DRESDEN/connectfour/5tc-Mg | 3.2841406165722766 | 2164.8333333333335 | 659.1780273990867 |
| DRESDEN/quad/JPe6fg | 3.2988292876513 | 4.9606455453403 | 1.5037593984962405 |
| DRESDEN/blocksworldparallel/2JfVaw | 3.307143146058326 | 5450.833333333333 | 1648.2 |
| STANFORD/alquerquezero/uVgA_A | 3.310820514960832 | 1718.7 | 519.1160294656845 |
| BASE/choicethroughalt/tt71Lg | 3.310900869943454 | 1014.8 | 306.5026830650268 |
| BASE/pentagoSuicide/SBgNhw | 3.318015948101095 | 818.3333333333334 | 246.63333333333333 |
| DRESDEN/snake_2009/zIYLVw | 3.322532452539126 | 1483.6333333333334 | 446.536897540164 |
| BASE/snakeParallel/RCVNtw | 3.3234224506729597 | 6853.333333333333 | 2062.131262291257 |
| BASE/knightThrough/gcwFjA | 3.332633235575523 | 1780.2333333333333 | 534.1821939268691 |
| STANFORD/nineboardtictactoe/y28P-A | 3.3337706001558844 | 712.8 | 213.81195213811952 |
| BASE/snake_2009/7l-qAQ | 3.342152217687075 | 1501.1333333333334 | 449.15169494350187 |
| STANFORD/ttcc4/Cx9SGw | 3.342606432165575 | 1564.7333333333333 | 468.1177294090197 |
| DRESDEN/cube_2x2x2/fp-34Q | 3.3442052339822097 | 4323.5 | 1292.8333333333333 |
| BASE/ttcc4_2player_alt/ZEJvYA | 3.3495664645674426 | 1712.6333333333334 | 511.3 |
| BASE/chineseCheckers1/gqtwHw | 3.3556218992843663 | 7643.1 | 2277.7 |
| BASE/blocksWorldParallel/RseaAQ | 3.357644108276062 | 1416.7666666666667 | 421.9526015799473 |
| BASE/connectFourSuicide/c8p9Kw | 3.3631030328427003 | 2140.1666666666665 | 636.3666666666667 |
| BASE/2pttc/unkkYA | 3.364974538510503 | 2819.4 | 837.8666666666667 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 3.3733030316667416 | 14991.633333333333 | 4444.2 |
| DRESDEN/chinesecheckers1/Y-ftaA | 3.3846204971420972 | 3395.0 | 1003.0666666666667 |
| BASE/tpeg/QNs7Lw | 3.3868226876350898 | 1514.7 | 447.23333333333335 |
| DRESDEN/knightmove/97Ipcw | 3.3870941851599183 | 2813.4333333333334 | 830.6333333333333 |
| DRESDEN/tictactoe_3player/ESLQQQ | 3.3987639621250785 | 1998.1333333333334 | 587.9 |
| BASE/hallway/ckCJOw | 3.404325124240751 | 616.4 | 181.06378724255148 |
| DRESDEN/pentago_2008/hLjVpQ | 3.406711548812175 | 815.7666666666667 | 239.45868471050966 |
| BASE/knightazons/apnJBQ | 3.4072561316360033 | 557.8814039532016 | 163.73333333333332 |
| BASE/tictactoe_3player/GtM71g | 3.407382013484173 | 1987.8666666666666 | 583.4 |
| DRESDEN/connect5/1kYzSg | 3.4087842307183487 | 858.9 | 251.96666666666667 |
| DRESDEN/Thief_Police/CX18rA | 3.414871369799469 | 14968.633333333333 | 4383.366666666667 |
| STANFORD/duikoshi/tpw1sw | 3.4178898766453036 | 1653.2333333333333 | 483.7 |
| DRESDEN/chinesecheckers4/-oVNYg | 3.4240012991230917 | 1405.6666666666667 | 410.53333333333336 |
| BASE/nineBoardTicTacToe/wRmqqA | 3.426367656444372 | 703.8666666666667 | 205.4264857838072 |
| DRESDEN/hallway/0H4l-Q | 3.4337850131089565 | 625.6666666666666 | 182.20903879482736 |
| DRESDEN/knightazons/02I8BQ | 3.4354871794871795 | 558.2666666666667 | 162.5 |
| BASE/escortLatch/mX9BjQ | 3.4385461508102337 | 1645.6333333333334 | 478.58404719842673 |
| STANFORD/freeforall/Lfp40Q | 3.4473099155180082 | 2842.766666666667 | 824.6333333333333 |
| BASE/ttcc4_2player/_aH_Mw | 3.449992980547569 | 1479.8333333333333 | 428.93807079528034 |
| BASE/connect5/d-BVQg | 3.4555889587318935 | 842.9333333333333 | 243.93333333333334 |
| DRESDEN/smallest/9kaGFw | 3.4654686398872445 | 4589.666666666667 | 1324.4 |
| STANFORD/sukoshi/4LYZZQ | 3.466703192708074 | 4640.066666666667 | 1338.4666666666667 |
| BASE/solitaireChineseCheckers/-ET6gw | 3.4698530376591 | 3525.8333333333335 | 1016.1333333333333 |
| BASE/hex/T1MK8g | 3.472705177553136 | 595.4333333333333 | 171.46095130162328 |
| BASE/breakthroughHoles/nZk0Sg | 3.474164400385999 | 1320.0666666666666 | 379.96666666666664 |
| BASE/futoshiki4/BaCwSw | 3.4758391737366288 | 1570.5 | 451.8333333333333 |
| BASE/knightmove/jBaJEw | 3.4813843733613004 | 2876.9 | 826.3666666666667 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 3.4847291465093964 | 385.6047984005331 | 110.655601106556 |
| STANFORD/dualhunter/1rPZjQ | 3.4871622814762495 | 3291.3 | 943.8333333333334 |
| STANFORD/breakthrough/d5j0cQ | 3.4905307818814024 | 1650.7333333333333 | 472.91756941435284 |
| STANFORD/multipletictactoe/_bkafQ | 3.4948313238084174 | 1002.8666666666667 | 286.95710142995233 |
| DRESDEN/chomp/-LcqYQ | 3.5155024373345216 | 4735.733333333334 | 1347.1 |
| BASE/minichess/8NQEiA | 3.5256872884193298 | 3159.133333333333 | 896.0333333333333 |
| BASE/breakthroughSmallHoles/bxclRw | 3.529114771907786 | 1685.5666666666666 | 477.61741275290825 |
| BASE/checkersTorusNoKings/pwb6oQ | 3.5393799709502334 | 1543.1333333333334 | 435.98973435989734 |
| BASE/checkersTorus/2vm1EQ | 3.5405443125442946 | 1332.1 | 376.24158389440703 |
| BASE/checkersBarrelNoKings/rnKNeg | 3.5508462317373066 | 1636.4666666666667 | 460.8666666666667 |
| STANFORD/hex/MTqWcw | 3.5574700876338854 | 608.9 | 171.16096130128994 |
| DRESDEN/babel/WdSW4A | 3.5592363840539023 | 845.2 | 237.46666666666667 |
| BASE/connectFourLarger/qKi60A | 3.5603622539761997 | 977.2007599746676 | 274.46666666666664 |
| DRESDEN/snake_2009_big/DgC1NQ | 3.5747903963414633 | 1250.7 | 349.8666666666667 |
| BASE/chomp/-LcqYQ | 3.5893960831037304 | 4820.2 | 1342.9 |
| BASE/3pConnectFour/PqXOFQ | 3.6258161284630313 | 1369.8333333333333 | 377.8 |
| DRESDEN/brain_teaser_extended/ZDp94A | 3.6284453038069353 | 6630.5 | 1827.3666666666666 |
| DRESDEN/endgame/IJhh3Q | 3.6343758150796313 | 838.3387220425985 | 230.66924410078656 |
| DRESDEN/frogs_and_toads/GjchhQ | 3.642943607673123 | 1736.5333333333333 | 476.684110529649 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 3.645645102863051 | 1136.0666666666666 | 311.6229459018033 |
| BASE/cittaceot/fDxhXg | 3.651687642307858 | 1888.8333333333333 | 517.249425019166 |
| DRESDEN/javastrike/whONTQ | 3.6543708943911066 | 723.2 | 197.9 |
| BASE/snake_2009_big/-oRfVw | 3.656332420446085 | 1254.9333333333334 | 343.2218926035799 |
| BASE/conn4/va9Y7A | 3.6581237417118744 | 1078.8666666666666 | 294.923502549915 |
| BASE/connectFourSimultaneous/7ITr3g | 3.6723498511904764 | 1041.9333333333334 | 283.7238758708043 |
| BASE/wallmaze/uxNQ9g | 3.6826622157312747 | 1176.7333333333333 | 319.53333333333336 |
| DRESDEN/farmers/S_ASnw | 3.6905350787235323 | 2039.2666666666667 | 552.5666666666667 |
| BASE/futoshiki5/TJ4BZg | 3.6944064318607355 | 811.0333333333333 | 219.53007832027996 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 3.7093611901000525 | 1487.0333333333333 | 400.88663711209625 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 3.721494188820723 | 1941.0666666666666 | 521.5826139128695 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 3.7393316333015565 | 784.4333333333333 | 209.77902209779023 |
| STANFORD/pilgrimage/ObRZnQ | 3.7440415324384784 | 1487.5333333333333 | 397.3068462102527 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 3.744653328734046 | 1447.4333333333334 | 386.53333333333336 |
| BASE/brain_teaser_extended/ZDp94A | 3.7684316167041465 | 6758.933333333333 | 1793.5666666666666 |
| BASE/tictactoe_3d_small_6player/g_9lww | 3.77327802641633 | 1152.2333333333333 | 305.3666666666667 |
| BASE/tictactoe_3d_6player/d7KSwg | 3.7780008268809016 | 448.73675088327445 | 118.77624475104979 |
| BASE/hidato19/rRHSmA | 3.7891257761480706 | 1205.5333333333333 | 318.15606146461784 |
| BASE/coins/QnGtnQ | 3.7960276995305167 | 1401.4 | 369.17538830744616 |
| BASE/mineClearingSmall/frsbvw | 3.8135483035662685 | 733.0666666666667 | 192.22692576914102 |
| DRESDEN/connect4/T0-rHQ | 3.819725343320849 | 1019.8666666666667 | 267.0 |
| BASE/connect4/50bOyw | 3.8215495476515056 | 1027.7666666666667 | 268.9397726893977 |
| STANFORD/pentago/ZxzLmg | 3.8341028599068867 | 1409.0666666666666 | 367.5088327444837 |
| DRESDEN/coins/QwFP9w | 3.850210109637168 | 1412.4666666666667 | 366.8544381853938 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 3.8555913978494623 | 2390.4666666666667 | 620.0 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 3.877141956559115 | 9020.3 | 2326.5333333333333 |
| DRESDEN/quad_7x7/q-JOXg | 3.8797973534729953 | 34.80610816266727 | 8.971114981433407 |
| BASE/tictactoex9/BI26ow | 3.889104719957968 | 1000.6666444451852 | 257.3 |
| BASE/skirmishZeroSum/zh4hcw | 3.899513924050633 | 595.4666666666667 | 152.70279277477837 |
| DRESDEN/tictactoex9/rFkD4w | 3.9071993033648793 | 990.7666666666667 | 253.57464253574642 |
| DRESDEN/skirmish2/iPpWhQ | 3.923663561730345 | 828.3333333333334 | 211.1122221111222 |
| BASE/checkers-mustjump-torus/uSApKQ | 3.9330821207976685 | 366.12112929569014 | 93.08758832155712 |
| BASE/majorities/ibJzSQ | 3.942907041666667 | 525.6333333333333 | 133.31111481419762 |
| DRESDEN/mimikry/GJEhwA | 3.945478961504029 | 1469.0333333333333 | 372.3333333333333 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 3.9457629528256324 | 1633.7 | 414.0390640623958 |
| BASE/endgame/jYjfOA | 3.950211075242116 | 1060.5 | 268.46666666666664 |
| BASE/snake2p/I3wWPQ | 3.9625832263167693 | 946.2333333333333 | 238.7920402653245 |
| STANFORD/triplesukoshi/Iu9mbA | 3.967931567287591 | 1412.9333333333334 | 356.0881303956535 |
| DRESDEN/backgammon/mqCW0Q | 3.9750783798576905 | 806.8333333333334 | 202.9729369417411 |
| BASE/kitten_escapes_from_fire/uW-YiA | 3.979130687177998 | 9139.4 | 2296.8333333333335 |
| BASE/colonelBlotto/jip21A | 3.993928139829634 | 4516.733333333334 | 1130.9 |
| DRESDEN/skirmish3/3LU8Nw | 3.9957361633109616 | 793.7666666666667 | 198.65342310512634 |
| BASE/speedChess/bPnisA | 4.002407720254314 | 685.4333333333333 | 171.25524965002333 |
| BASE/quad_5x5/JAEP5g | 4.008428153467181 | 287.5379128753791 | 71.73333333333333 |
| BASE/factoringGeorgeForman/HGRorQ | 4.013514320997491 | 13433.5 | 3347.0666666666666 |
| BASE/tictactoe_3d_small_2player/oOryKA | 4.01387577524222 | 1606.4333333333334 | 400.2199926669111 |
| BASE/hidato37/pBrqxw | 4.025485730185806 | 308.5897136762108 | 76.65900076659001 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 4.028832959976062 | 426.5191160294657 | 105.86666666666666 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 4.04370092181632 | 394.78684043865206 | 97.63007899736675 |
| BASE/futoshiki6/JmvXNA | 4.045517936507936 | 509.6333333333333 | 125.9748050389922 |
| BASE/checkers-mustjump/T-8UuQ | 4.0474322072072075 | 479.2 | 118.3960534648845 |
| DRESDEN/Zhadu/9zpQ5w | 4.0623160220972965 | 222.50366617784294 | 54.772613693153424 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 4.068318617283951 | 457.53333333333336 | 112.46251249583472 |
| DRESDEN/skirmish/RjGQYQ | 4.071593559322034 | 800.6666666666666 | 196.64700196647001 |
| BASE/rubiksCube/9tNO9Q | 4.093318451517479 | 1598.9333333333334 | 390.6203126562448 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 4.111182320441989 | 396.8 | 96.51724712547909 |
| BASE/skirmishNew/sibw2g | 4.119242365826235 | 625.9458018066065 | 151.95653623091795 |
| BASE/coins_atomic/AA3SSw | 4.123502798546964 | 1415.186160461318 | 343.2 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 4.124912100237361 | 381.2539582013933 | 92.42717152189854 |
| DRESDEN/quad_5x5/JAEP5g | 4.17430062272778 | 293.0235658811373 | 70.19704433497537 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 4.21031000685401 | 409.4 | 97.23749541804125 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 4.210936738779947 | 409.1530282323923 | 97.16437306321015 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 4.21678435162119 | 536.5308979401374 | 127.23697803845769 |
| BASE/quad_7x7/q-JOXg | 4.229793215930789 | 35.214506274226395 | 8.325349367339522 |
| BASE/englishDraughts/jFkQxg | 4.234548174719375 | 1928.0666666666666 | 455.3181560614646 |
| BASE/max_knights/2fq3Ag | 4.23550099535501 | 2127.633333333333 | 502.3333333333333 |
| DRESDEN/max_knights/hCipiA | 4.262961978197287 | 2137.733333333333 | 501.46666666666664 |
| DRESDEN/checkers-mustjump/HUr33w | 4.317551345696624 | 504.3666666666667 | 116.81775763231569 |
| DRESDEN/battlesnakes1509/-qZrLw | 4.351491569390402 | 2236.6666666666665 | 514.0 |
| STANFORD/selectivesukoshi/3xmXYg | 4.381901970195623 | 221.81854543030465 | 50.62152164494951 |
| BASE/tictactoe_3d_2player/IUC1rQ | 4.430224714828897 | 543.7 | 122.72515165655624 |
| BASE/amazons_8x8/7SOsIw | 4.447646886281589 | 1314.0 | 295.4371229543712 |
| BASE/ticTacToeNoVars/XT03NA | 4.52729004225939 | 5070.866666666667 | 1120.0666666666666 |
| BASE/lightsOnSimul4/9FeASw | 4.581319182292206 | 1474.0666666666666 | 321.7559414686177 |
| BASE/amazonsSuicide_10x10/XIbQkg | 4.6452247616164675 | 1023.0333333333333 | 220.23333333333332 |
| BASE/amazons_10x10/Bun8dA | 4.690239804490607 | 1023.5666666666667 | 218.23333333333332 |
| STANFORD/multiplesukoshi/vLSQPg | 4.7040027708930365 | 229.78468102126524 | 48.848755456332675 |
| BASE/pacman3p/wW7UVQ | 4.778482658208102 | 3063.1666666666665 | 641.0333333333333 |
| DRESDEN/pacman3p/rBnk8Q | 4.781426178442127 | 2964.0666666666666 | 619.9126695776807 |
| DRESDEN/battlesnakes2011/93VtTw | 4.804741990983532 | 2320.9333333333334 | 483.05056498116727 |
| BASE/pacman2p/4LEdQg | 4.831113450908134 | 3058.9 | 633.1666666666666 |
| BASE/zhadu/DlA8iQ | 4.848611656583598 | 55.06299580027998 | 11.356445865387817 |
| DRESDEN/blockerparallel/dVQgSg | 4.849446507237257 | 1284.1666666666667 | 264.8068526480685 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 4.899765855880961 | 353.10979268048794 | 72.06666666666666 |
| DRESDEN/golden_rectangle/1uloXw | 4.899852420470262 | 551.0333333333333 | 112.45916938870742 |
| BASE/duplicateStateMedium/U163eQ | 4.924870466321243 | 9314.9 | 1891.4 |
| DRESDEN/towerworld/HCX34w | 4.938260902366988 | 109.89267382174522 | 22.25331467785995 |
| BASE/queens12ug/u6Bkmg | 4.968728867403314 | 1079.1 | 217.17828217178283 |
| DRESDEN/pawntoqueen/f_x6Aw | 4.985231184017931 | 97.16018932071195 | 19.48960554371002 |
| BASE/blockerParallel/7-nDJA | 5.046696149843913 | 1293.3 | 256.26666666666665 |
| DRESDEN/ghostmaze2p/HY0UwA | 5.072743346067629 | 10711.266666666666 | 2111.5333333333333 |
| BASE/lightsOnSimultaneous/_VN6lw | 5.084825870646766 | 2044.1 | 402.0 |
| BASE/othelloSuicide/B442jg | 5.103635527607591 | 22.747710241465445 | 4.457158062799361 |
| BASE/golden_rectangle/_nYzfw | 5.119491274770778 | 576.9666666666667 | 112.7 |
| BASE/pawnToQueen/-O1_JA | 5.125164267558011 | 96.8139705392255 | 18.88992537313433 |
| DRESDEN/slidingpieces/s9_44g | 5.128470691934773 | 775.740808639712 | 151.26162461251292 |
| STANFORD/untwistycomplex/HTWEwg | 5.22883658041915 | 28359.466666666667 | 5423.666666666667 |
| DRESDEN/cubicup/SBn_lw | 5.239936785686135 | 738.5333333333333 | 140.94317613731045 |
| BASE/cubicup/4wNWJA | 5.296455938697318 | 737.2666666666667 | 139.2 |
| BASE/chess_200/XsTpYA | 5.311398361530127 | 285.5571480950635 | 53.763082461169255 |
| BASE/slidingpieces/uFJWEw | 5.314199094161529 | 775.5666666666667 | 145.94234294284286 |
| BASE/god/qF06gw | 5.375590998544063 | 270.61529231384577 | 50.34149591870732 |
| BASE/ghostMaze2p/W-NU-w | 5.406628556950801 | 11381.133333333333 | 2105.0333333333333 |
| BASE/othelloHoles/c0qAzw | 5.432857879114249 | 25.815262649478697 | 4.751691140075895 |
| BASE/othello-comp2007/86ZoMw | 5.447932911428039 | 23.487141954156826 | 4.311202493864827 |
| BASE/twisty-passages/DiZmmg | 5.478426726006416 | 6319.0 | 1153.4333333333334 |
| DRESDEN/god/2EDD5w | 5.534143121693122 | 278.8 | 50.37816945990071 |
| STANFORD/duidoku/3SoMaA | 5.566634319116748 | 85.15247458756873 | 15.296940611877625 |
| STANFORD/skirmish/w4V6Vw | 5.691662212973506 | 165.55562962469168 | 29.08739546196648 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 5.737883972610366 | 3434.9666666666667 | 598.6469372792109 |
| STANFORD/madness/UO_B3A | 5.7987058354015675 | 167.23879353441095 | 28.84071002764179 |
| BASE/sudokuGrade1/tDRNRw | 5.806330981787309 | 94.31132735695004 | 16.242843829050727 |
| BASE/stateSpaceMedium/3bUoIw | 5.848938430170804 | 15968.966666666667 | 2730.233333333333 |
| BASE/amazonsTorus_10x10/Uxc08g | 5.910672552583744 | 758.7333333333333 | 128.36666666666667 |
| DRESDEN/twisty-passages/j7NPyg | 5.92464167240408 | 6310.533333333334 | 1065.1333333333334 |
| BASE/simultaneousWin2/PfjRjw | 5.926935910712231 | 1717.0333333333333 | 289.7 |
| BASE/sudokuGrade3/eI8dvg | 5.9477330163216795 | 92.9240409292404 | 15.623438488956994 |
| BASE/qyshinsu/R08Lzw | 5.952670061394005 | 549.2666666666667 | 92.27231830450864 |
| BASE/skirmishHoles/AUCxCA | 5.957703927492447 | 197.18685420971934 | 33.09779348043464 |
| BASE/wargame01/_GZFZg | 5.9757787795196124 | 2960.6 | 495.43333333333334 |
| BASE/sudokuGrade4/DTy07w | 6.003797204751922 | 95.26666666666667 | 15.867735604271315 |
| BASE/brawl/6Ymo_Q | 6.006809984639016 | 347.46666666666664 | 57.845456665889174 |
| BASE/cubicup_3player/e2yA_g | 6.007397066392132 | 379.9540015332822 | 63.24769235895898 |
| BASE/sudokuGrade5/BQfUQA | 6.009138172760497 | 97.16342788573714 | 16.16927837109492 |
| DRESDEN/statespacemedium/dVJZ_w | 6.017078772478499 | 16417.8 | 2728.5333333333333 |
| BASE/skirmishFinal3/-Olhfw | 6.040894648041706 | 287.690410319656 | 47.62380857161901 |
| BASE/sudokuGrade2/u80Tfw | 6.083482094101528 | 95.19365375641624 | 15.647889199627114 |
| DRESDEN/brawl/2kXtfQ | 6.090822015374413 | 347.17685487634157 | 57.0 |
| DRESDEN/cubicup_3player/awDtsQ | 6.09750812567714 | 375.16248375162485 | 61.5271806152718 |
| STANFORD/sudoku/oJ1qyQ | 6.142151594202899 | 93.96666666666667 | 15.29865637887455 |
| DRESDEN/skirmishfinal/hzq8ww | 6.188681296830335 | 269.09103029899 | 43.481158164795254 |
| DRESDEN/capture_the_king/EQ229Q | 6.211846968169425 | 292.47075292470754 | 47.08273633001233 |
| BASE/sudokuGrade6E/ihYFZA | 6.270652641187064 | 91.74525943946412 | 14.63089485085819 |
| BASE/blokbox_simple/JBx4bg | 6.281825212683682 | 4.739807756049055 | 0.7545271629778671 |
| BASE/skirmishFinal2/gdB62Q | 6.282826919150272 | 265.8489434037731 | 42.313586992736724 |
| BASE/skirmish/Y_psYQ | 6.289365714030612 | 182.04239434742036 | 28.944475901808612 |
| BASE/sudokuGrade6H/ieE_9A | 6.360910369046923 | 92.96356788107063 | 14.614821226446502 |
| BASE/skirmishFinal1/ecWTnQ | 6.496918679519938 | 268.22439252024935 | 41.28486221718703 |
| BASE/cephalopodMicro/9l2D3g | 6.538466231916563 | 115.6961434618846 | 17.694691592522243 |
| BASE/strangeSkirmish/gc1zKA | 6.553888280370693 | 168.87185469088485 | 25.766666666666666 |
| BASE/wargame03/klXI8w | 6.617755849311598 | 2611.5 | 394.62017932735574 |
| DRESDEN/CephalopodMicro/H3XQfg | 6.680346066445773 | 116.90215942415355 | 17.499416686110465 |
| BASE/wargame02/BkVqqQ | 6.9905942902361815 | 1913.8333333333333 | 273.77262273772624 |
| BASE/queens16ug/gT-ylw | 7.128367670364502 | 599.7133428885704 | 84.13052898236725 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 7.132535028997779 | 29762.166666666668 | 4172.733333333334 |
| BASE/slaughter/cOch8A | 7.163492159521752 | 154.99716732762354 | 21.637095968842583 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 7.3373564096836015 | 29.082550469718168 | 3.963627885287946 |
| BASE/hitori/S8Gsyg | 7.588899725886935 | 302.47983467768813 | 39.85819362533961 |
| DRESDEN/hitori/S8Gsyg | 8.025086021250335 | 304.92600986535126 | 37.996603283492625 |
| BASE/reversiSuicide/9OxJlg | 8.199870987778345 | 130.89842708611036 | 15.963473971872292 |
| BASE/reversi/d8UMeA | 8.263343762368153 | 128.30767179897353 | 15.527330762069424 |
| BASE/duplicateStateLarge/dcjyuw | 8.845874110915023 | 5513.633333333333 | 623.3 |
| BASE/mummyMaze2p_2007/YGA3Vw | 9.528113859023664 | 11314.0 | 1187.4333333333334 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 9.634703584168506 | 11343.9 | 1177.4 |
| DRESDEN/bomberman2p/x4h6jQ | 11.248397320463877 | 10410.766666666666 | 925.5333333333333 |
| DRESDEN/statespacelarge/8-y5HQ | 11.40753848876305 | 10744.0 | 941.8333333333334 |
| BASE/amazonsSuicide/dE1QEQ | 11.507611481436822 | 15.660771757523474 | 1.3609055000497892 |
| BASE/bomberman2p/4CClwA | 11.677188427299704 | 10493.9 | 898.6666666666666 |
| BASE/stateSpaceLarge/0Ge_CQ | 12.154012259682363 | 11632.2 | 957.0666666666667 |
| DRESDEN/battlebrushes/QHXV4A | 13.857683207251643 | 278.60165961275703 | 20.10449044375372 |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | 14.027563854778432 | 875.7 | 62.4270906242709 |
| DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | 14.996099298045912 | 878.0666666666667 | 58.5530042989969 |
| DRESDEN/amazons/dNB28A | 15.66933017108295 | 151.8978904922185 | 9.693961952026468 |
| DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | 16.572081193838255 | 860.5 | 51.92467922012998 |
| BASE/amazons/RKKZjw | 16.95686070686071 | 14.478764478764479 | 0.8538587848932676 |
| DRESDEN/mummymaze2p/k-8edg | 17.47690209334045 | 9823.766666666666 | 562.1 |
| BASE/mummymaze2p/vpjDdA | 18.91995047033285 | 10458.6 | 552.7815739475351 |
| BASE/mummymaze1p/PT_EXA | 23.983847810480974 | 15591.1 | 650.0666666666667 |
| DRESDEN/mummymaze1p/AekgaQ | 24.781829387293925 | 16084.233333333334 | 649.0333333333333 |
| BASE/queens31lg/0gID-A | 25.318181818181817 | 18.553679091302755 | 0.732820359081976 |
| BASE/merrills/pku8Tg | 26.35873294019451 | 558.5480483983868 | 21.190246498785804 |
| DRESDEN/merrills/aYEzwA | 27.762838690939603 | 580.0473317556082 | 20.892940315390245 |
| BASE/battlebrushes/arCwyA | 34.67593548886716 | 296.6901103296557 | 8.55608092894593 |
| DRESDEN/small_dominion/yB5GJA | 60.65539279405393 | 110.82225110822252 | 1.8270799347471451 |
| BASE/ad_game_2x2/D0aWqg | 102.17911320987655 | 1833.9666666666667 | 17.948547497174765 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 144.85223184543636 | 41.33910726182545 | 0.2853881278538813 |
| BASE/queens/HyJJnQ | 213.5026371428571 | 956.4 | 4.479569961283717 |
| DRESDEN/queens/mW2wHQ | 231.77579333333335 | 944.8666666666667 | 4.076640847941296 |
| BASE/ruleDepthExponential/UamhHQ | 232.0729409500799 | 2147.568959632629 | 9.253853339560953 |
| BASE/gt_attrition/kD_SCA | 300.63307805145047 | 6012.266666666666 | 19.99868645737554 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 1413.0173316001733 | 931.240209312402 | 0.659043727551323 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 1666.9460466666667 | 856.7333333333333 | 0.5139538469445444 |
| DRESDEN/satlike_20v_91c/yeuENQ | 1672.4673330001665 | 900.2165583874729 | 0.5382565869149823 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 1965.8117439264172 | 868.4640250608192 | 0.4417839234830245 |
Games with errors:
| Game | ALLOY_TUPLE_PROVER:2 error message | PALAMEDES_JAVA_PROVER_USEOPT_TRUE: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/gt_two_thirds_4p/DStnxQ | Exception of type NullPointerException | |
| BASE/nonogram_10x10_1/0Xc62g | Exception of type NullPointerException | |
| DRESDEN/minichess-evilconjuncts/th24Tw | Exception of type NullPointerException | |
| BASE/gt_two_thirds_2p/1APDGg | Exception of type NullPointerException | |
| BASE/alexChess/LNo83g | Exception of type StackOverflowError | |
| BASE/minichess-evilconjuncts/4OpQzw | Exception of type NullPointerException | |
| STANFORD/rainbow/_4qNSQ | Exception of type NullPointerException | |
| BASE/nonogram_5x5_1/qLKEZw | Exception of type NullPointerException | |
| BASE/sudoku/NTaNkw | Exception of type NullPointerException | |
| BASE/amazonsTorus/soxT8g | Test process timed out after 240 seconds | |
| BASE/gt_two_thirds_6p/867v3Q | Exception of type NullPointerException | |
| STANFORD/dualrainbow/G3OnRQ | Exception of type NullPointerException |