Game-by-game performance:
| Game | Perf ratio | ALLOY_TUPLE_PROVER:2 states per second | PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 states per second |
| BASE/quad/tw-Ufg | 0.6631516431305265 | 0.5939025999736043 | 0.8955758552749418 |
| BASE/onestep/xi53wA | 1.019373618502438 | 40844.5 | 40068.23333333333 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 1.0612588536913918 | 3256.366666666667 | 3068.4 |
| BASE/survival/YVIjJA | 1.0699688186650378 | 31294.733333333334 | 29248.266666666666 |
| DRESDEN/blocks2player/3ev8nQ | 1.191801749271137 | 10219.7 | 8575.0 |
| BASE/haystack/UkweGA | 1.270722275575241 | 44679.4 | 35160.63333333333 |
| DRESDEN/blocks/vg0DRw | 1.2908675628327901 | 14958.1 | 11587.633333333333 |
| BASE/blocks2player/wnTLOQ | 1.3035317330392377 | 10086.033333333333 | 7737.466666666666 |
| BASE/blocksWorld/SEdXLQ | 1.3149127585176854 | 14966.6 | 11382.2 |
| BASE/switches/tPUoCg | 1.3224921526033173 | 16599.833333333332 | 12551.933333333332 |
| BASE/blocks/xIV5hQ | 1.3410807738757724 | 15102.0 | 11261.066666666668 |
| DRESDEN/troublemaker01/C-lPWw | 1.3685610940163249 | 32438.0 | 23702.266666666666 |
| BASE/troublemaker01/s3tlEQ | 1.393250872719458 | 31982.166666666668 | 22955.066666666666 |
| BASE/troublemaker02/DI83KA | 1.3986523025791977 | 29570.633333333335 | 21142.233333333334 |
| DRESDEN/troublemaker02/iZLVuA | 1.4138824997076138 | 29014.0 | 20520.8 |
| STANFORD/buttonsandlights/eyhJpA | 1.4236637488637451 | 46097.9 | 32379.766666666666 |
| DRESDEN/firefighter/WJmoPw | 1.4527164616763053 | 8323.0 | 5729.266666666666 |
| BASE/hodgepodge/9yjRkw | 1.4807288260182554 | 8527.566666666668 | 5759.033333333334 |
| BASE/pearls/6k_mEQ | 1.4914410381746392 | 31264.233333333334 | 20962.433333333334 |
| BASE/firefighter/WJmoPw | 1.4917638091550873 | 8219.966666666667 | 5510.233333333334 |
| BASE/toetictac/mTThmg | 1.540209120584486 | 8980.6 | 5830.766666666666 |
| STANFORD/untwistycorridor/EDPPAQ | 1.5481548868320525 | 27342.066666666666 | 17661.066666666666 |
| BASE/blocksWorldSerial/Wyg96Q | 1.56658988063262 | 5735.233333333334 | 3660.9666666666667 |
| DRESDEN/toetictac/mJtxCA | 1.5686971140375456 | 9331.133333333333 | 5948.333333333333 |
| DRESDEN/buttons/ADUaHw | 1.5765955582717732 | 24593.366666666665 | 15599.033333333333 |
| BASE/untwistycomplex2/EDPPAQ | 1.5919626105225315 | 28339.8 | 17801.8 |
| BASE/maze/cCX3qQ | 1.6030111271124647 | 26454.866666666665 | 16503.233333333334 |
| BASE/buttons/hTcUjw | 1.6304263010297013 | 25212.966666666667 | 15464.033333333333 |
| STANFORD/8puzzle/jNiGtw | 1.6382953615708982 | 6941.566666666667 | 4237.066666666667 |
| BASE/eightPuzzle/vLrgFg | 1.6407810403935013 | 6971.733333333334 | 4249.033333333334 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 1.6430237900603253 | 18357.066666666666 | 11172.733333333334 |
| BASE/incredible/8Qh-6Q | 1.6562287334593573 | 5840.966666666666 | 3526.6666666666665 |
| BASE/coloredtrails/EZvr7g | 1.6625390904373922 | 3951.8 | 2376.9666666666667 |
| DRESDEN/8puzzle/8fKC2w | 1.6674470684039089 | 7098.433333333333 | 4257.066666666667 |
| BASE/gt_centipede/9fRMpw | 1.6694855856715551 | 16911.833333333332 | 10129.966666666667 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 1.680998871693646 | 18097.353686175178 | 10765.833333333334 |
| DRESDEN/oisters_farm/pTQMLg | 1.6933154528574377 | 13132.0 | 7755.2 |
| STANFORD/3puzzle/41ibjA | 1.720231622159359 | 16398.566666666666 | 9532.766666666666 |
| STANFORD/threepuzzle/41ibjA | 1.721764982005946 | 16505.7 | 9586.5 |
| STANFORD/eightpuzzle/W_aWbA | 1.7237076064601242 | 7012.1 | 4068.0333333333333 |
| DRESDEN/chickentoetictac/cxYaRQ | 1.7434178414539607 | 8096.2 | 4643.866666666667 |
| BASE/chickentoetictac/l57rfQ | 1.7689541804846254 | 8232.3 | 4653.766666666666 |
| STANFORD/bestbuttonsandlights/nm0wEA | 1.7707804890196484 | 16591.8 | 9369.766666666666 |
| DRESDEN/latenttictactoe/kITHKg | 1.7913872334897616 | 3677.3 | 2052.766666666667 |
| BASE/ruleDepthLinear/OUBJpQ | 1.895279769171385 | 37725.73333333333 | 19905.1 |
| BASE/tron_10x10/7ZTgDg | 1.9001579551981618 | 4410.9 | 2321.3333333333335 |
| DRESDEN/lightson2x2/gBHuig | 1.9077107088748906 | 7974.866666666667 | 4180.333333333333 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 1.9192420463736857 | 7593.033333333334 | 3956.266666666667 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 1.926538709517433 | 6474.133333333333 | 3360.5 |
| BASE/tictactoe_orthogonal/WRzlVw | 1.9804850708244168 | 7773.8 | 3925.2 |
| DRESDEN/blocksworldparallel/2JfVaw | 1.9941829977683196 | 5450.833333333333 | 2733.366666666667 |
| DRESDEN/pancakes88/aD3E7g | 1.9945392858101998 | 22280.4 | 11170.7 |
| STANFORD/hunter/14dD-g | 2.0191645009144286 | 6992.366666666667 | 3463.0 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 2.0253378378378377 | 12949.2 | 6393.6 |
| BASE/ticTicToe/c1OobQ | 2.0356152224564514 | 4280.966666666666 | 2103.0333333333333 |
| BASE/pancakes6/QZTdnw | 2.0378870849906057 | 27835.433333333334 | 13658.967436589674 |
| BASE/gt_dollar/TGjqRw | 2.041073132401639 | 12121.933333333332 | 5939.0 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 2.0432987614540328 | 10822.4 | 5296.533333333334 |
| BASE/pancakes/yUgbXw | 2.049078253432793 | 28751.3 | 14031.333333333334 |
| BASE/eotcitcit/V_9_bg | 2.0510960196773045 | 4419.633333333333 | 2154.766666666667 |
| DRESDEN/pancakes/hl9aiQ | 2.086960766129426 | 28504.266666666666 | 13658.266666666666 |
| DRESDEN/pancakes6/SZXMyQ | 2.0997471740505795 | 29095.566666666666 | 13856.7 |
| DRESDEN/tictictoe/LAUtwg | 2.114304365824921 | 4426.366666666667 | 2093.5333333333333 |
| BASE/pancakes88/l2Xaig | 2.1150558005508415 | 22142.166666666668 | 10468.833333333334 |
| BASE/blocker/dIWtxg | 2.13787656549701 | 6316.0 | 2954.3333333333335 |
| DRESDEN/tictactoe/BTTzPw | 2.1494326255740677 | 6958.0 | 3237.133333333333 |
| STANFORD/tictictoe/rpt_Dw | 2.1531003418202728 | 4493.233333333334 | 2086.866666666667 |
| DRESDEN/eotcatcit/mQUxzA | 2.1785017730496454 | 6552.933333333333 | 3008.0 |
| BASE/chickentictactoe/DSlZCA | 2.1813085518642534 | 5797.7 | 2657.9 |
| DRESDEN/chickentictactoe/Ipbo-g | 2.19296625399361 | 5857.266666666666 | 2670.9333333333334 |
| BASE/eotcatcit/AfZSzA | 2.1941213454888397 | 6514.2 | 2968.9333333333334 |
| BASE/ticTacToe/JRFsaQ | 2.210559869569307 | 7050.433333333333 | 3189.4333333333334 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 2.225831495566857 | 6594.1 | 2962.5333333333333 |
| BASE/lightsOn/MsXu3A | 2.230814736911296 | 13575.4 | 6085.4 |
| DRESDEN/racetrackcorridor/O0DoTA | 2.2456895157377152 | 2314.0333333333333 | 1030.4333333333334 |
| BASE/circlesolitaire/azuQFQ | 2.252075899776416 | 11382.066666666668 | 5054.033333333334 |
| BASE/sheepAndWolf/g4THrg | 2.266510126210743 | 1544.4 | 681.4 |
| STANFORD/trifecta/ss1kyQ | 2.26766954267066 | 6763.4 | 2982.5333333333333 |
| STANFORD/multipletictactoe/_bkafQ | 2.2891057313856766 | 1002.8666666666667 | 438.1041263915739 |
| DRESDEN/circlesolitaire/ruUilQ | 2.2932416275800453 | 11636.366666666667 | 5074.2 |
| DRESDEN/blocker/S815zQ | 2.302126896881348 | 6422.166666666667 | 2789.6666666666665 |
| BASE/beatMania/qUHwvQ | 2.3083386552321867 | 8433.9 | 3653.6666666666665 |
| STANFORD/tictactoe/ss1kyQ | 2.3301414360154293 | 6886.5 | 2955.4 |
| DRESDEN/sheep_and_wolf/enAIzQ | 2.3650898491221044 | 1574.4666666666667 | 665.7111429619013 |
| DRESDEN/sum15/CsgWKg | 2.37217246322296 | 7777.8 | 3278.766666666667 |
| BASE/sum15/QZ07Kg | 2.4106371462709735 | 7868.4 | 3264.0333333333333 |
| STANFORD/dualhunter/1rPZjQ | 2.471007782977552 | 3291.3 | 1331.9666666666667 |
| DRESDEN/hallway/0H4l-Q | 2.4724217158412363 | 625.6666666666666 | 253.05823139228693 |
| DRESDEN/tictactoe-init1/3ltIBQ | 2.4788561545944776 | 6879.9 | 2775.4333333333334 |
| BASE/lightsOnParallel/SC6enA | 2.4825796773107185 | 5405.9 | 2177.5333333333333 |
| BASE/hallway/ckCJOw | 2.493606849130376 | 616.4 | 247.19213464422597 |
| BASE/tictactoe-init1/7M19vA | 2.5718703065641844 | 6792.566666666667 | 2641.1 |
| BASE/stateSpaceSmall/Q7osKA | 2.586955932413435 | 22266.533333333333 | 8607.233333333334 |
| BASE/point_grab/V_osUg | 2.5971372543904274 | 19910.433333333334 | 7666.3 |
| BASE/asteroidsParallel/WauZiA | 2.6105634750871314 | 5817.466666666666 | 2228.4333333333334 |
| STANFORD/tictactoe7/-bE9-A | 2.6295118134475772 | 6833.4 | 2598.733333333333 |
| DRESDEN/statespacesmall/h-NqjA | 2.6393925760995547 | 23076.033333333333 | 8742.933333333332 |
| DRESDEN/snake_2009/zIYLVw | 2.6685652617063376 | 1483.6333333333334 | 555.9666666666667 |
| BASE/snake_2009/7l-qAQ | 2.670105537768291 | 1501.1333333333334 | 562.2 |
| BASE/roshambo2/KNPokQ | 2.6775703795618653 | 21866.2 | 8166.433333333333 |
| BASE/withConviction/3Xm54A | 2.704276492738031 | 1340.6 | 495.73333333333335 |
| DRESDEN/logistics/fPru1Q | 2.708534969855903 | 3339.5333333333333 | 1232.9666666666667 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 2.754028898872862 | 1941.0666666666666 | 704.809839672011 |
| BASE/asteroidsSerial/id2QkA | 2.775569388772928 | 5008.7 | 1804.5666666666666 |
| DRESDEN/roshambo2/jgSlkQ | 2.7967614766935154 | 22441.866666666665 | 8024.233333333334 |
| BASE/snakeParallel/RCVNtw | 2.797012529418967 | 6853.333333333333 | 2450.233333333333 |
| STANFORD/breakthrough/d5j0cQ | 2.8308934911017114 | 1650.7333333333333 | 583.1138962034598 |
| DRESDEN/snake_2009_big/DgC1NQ | 2.8425000000000002 | 1250.7 | 440.0 |
| BASE/lightsOut/5P1ZBw | 2.8437159897261766 | 2177.4333333333334 | 765.7 |
| DRESDEN/snake_2008/E56l3A | 2.852979088356016 | 1467.3333333333333 | 514.3161894603513 |
| DRESDEN/tictactoex9/rFkD4w | 2.8578012466749994 | 990.7666666666667 | 346.6884437185427 |
| BASE/snake_2009_big/-oRfVw | 2.864150242170661 | 1254.9333333333334 | 438.1520615979467 |
| DRESDEN/point_grab/r5DPmQ | 2.8748540637629096 | 21341.0 | 7423.333333333333 |
| BASE/snake_2008_tweaked/bX0NJQ | 2.884905186487505 | 1531.5 | 530.8666666666667 |
| BASE/duplicateStateSmall/bCPAXw | 2.90069018404908 | 17651.666666666668 | 6085.333333333333 |
| BASE/tictactoex9/BI26ow | 2.908175319637092 | 1000.6666444451852 | 344.0874550059992 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 2.9135260712441924 | 2257.4 | 774.8 |
| DRESDEN/lightsout/XgLpzQ | 2.9360442163442557 | 2231.1 | 759.9 |
| BASE/snake_2008/i6K26g | 2.9471851142906247 | 1524.2333333333333 | 517.1827605746475 |
| BASE/kalaha5x2x3/WviNsw | 2.95709038788856 | 4401.333333333333 | 1488.4 |
| BASE/asteroids/BKCmPQ | 2.976063932068332 | 12897.566666666668 | 4333.766666666666 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 2.981825674840305 | 2411.8 | 808.8333333333334 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 2.9862215376930443 | 2391.266666666667 | 800.7666666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 3.0103992979376923 | 2286.9 | 759.6666666666666 |
| DRESDEN/cube_2x2x2/fp-34Q | 3.010514344072045 | 4323.5 | 1436.1333333333334 |
| STANFORD/tictactoe5/WFRReg | 3.0633709048120394 | 6595.233333333334 | 2152.9333333333334 |
| BASE/kalaha6x2x4/XS81Mg | 3.0792721352799073 | 3909.0333333333333 | 1269.4666666666667 |
| BASE/tictactoe2/bhrDoQ | 3.1835558062292413 | 6773.333333333333 | 2127.6 |
| BASE/dualConnect4/WbCQkg | 3.331482236842105 | 1282.8 | 385.0538315389487 |
| DRESDEN/frogs_and_toads/GjchhQ | 3.3378867589270453 | 1736.5333333333333 | 520.2493250224993 |
| BASE/kalaha_2009/dRiN3g | 3.3568044667531445 | 3967.9666666666667 | 1182.0666666666666 |
| DRESDEN/4pttc/9pB9AQ | 3.3598032163887375 | 2263.2 | 673.6108796373454 |
| BASE/ticTacHeavenFC/mrletw | 3.3710893868032366 | 477.31742275257494 | 141.59144655763913 |
| DRESDEN/kalaha_2009/gcC8uA | 3.407429945811238 | 3919.5666666666666 | 1150.3 |
| STANFORD/tictactoe3/X7myng | 3.554802802034354 | 6174.1 | 1736.8333333333333 |
| BASE/tictactoe_3player/GtM71g | 3.7061146360153256 | 1987.8666666666666 | 536.3748458692971 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 3.7272283262089236 | 29762.166666666668 | 7985.066666666667 |
| BASE/ticTacToeParallel/ymRGPw | 3.7345623693082404 | 2917.0666666666666 | 781.1 |
| DRESDEN/lightsout2/LFtfyQ | 3.7399744684597436 | 2832.0333333333333 | 757.2333333333333 |
| DRESDEN/connectfoursuicide/M9CNQg | 3.7401533635413036 | 2146.1 | 573.8 |
| DRESDEN/grid_game/U7_Yeg | 3.740958744299501 | 2351.5666666666666 | 628.6 |
| BASE/connectFourSuicide/c8p9Kw | 3.7642692247562097 | 2140.1666666666665 | 568.5477150761641 |
| BASE/racetrackcorridor/_RkdUg | 3.7930145659152648 | 2389.266666666667 | 629.9123362554582 |
| DRESDEN/tictactoeparallel/yk_DSg | 3.8110154630290065 | 2849.4333333333334 | 747.6834877674821 |
| BASE/connectFour/WAIKTw | 3.862858762704894 | 2191.0 | 567.1965077143524 |
| BASE/catcha_mouse/cHv4dw | 3.869635537136983 | 2007.5 | 518.7827072430919 |
| DRESDEN/catcha_mouse/cHv4dw | 3.8703992716868254 | 1983.9666666666667 | 512.6 |
| DRESDEN/tictactoe_3player/ESLQQQ | 3.8847772751819933 | 1998.1333333333334 | 514.3495216826105 |
| DRESDEN/connectfour/5tc-Mg | 3.886362276344923 | 2164.8333333333335 | 557.0333333333333 |
| DRESDEN/chinesecheckers2/06E6-Q | 3.9003515084393623 | 2523.8333333333335 | 647.078430718976 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 3.904426165295731 | 664.511182960568 | 170.19432685577146 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 3.9379495909065954 | 2390.4666666666667 | 607.0333333333333 |
| DRESDEN/chinesecheckers3/QsCb2A | 3.958967177863322 | 2125.366666666667 | 536.8487717076098 |
| DRESDEN/chinesecheckers1/Y-ftaA | 4.0367008838333795 | 3395.0 | 841.0333333333333 |
| STANFORD/connectfour/VMpZkQ | 4.048362909272681 | 2159.6666666666665 | 533.4666666666667 |
| STANFORD/nineboardtictactoe/y28P-A | 4.04837478705281 | 712.8 | 176.07065489085153 |
| DRESDEN/chinesecheckers6/yTbPDA | 4.097737637485469 | 1527.5 | 372.76666666666665 |
| BASE/connectFour_9x6/B9TtMw | 4.1035826086956515 | 1966.3 | 479.1666666666667 |
| BASE/nineBoardTicTacToe/wRmqqA | 4.109907330997794 | 703.8666666666667 | 171.26095796806774 |
| BASE/hexPie/48CH6Q | 4.142638277763193 | 525.7666666666667 | 126.91590030654405 |
| DRESDEN/quad/JPe6fg | 4.151389963943704 | 4.9606455453403 | 1.194936054773285 |
| BASE/connect5/d-BVQg | 4.156069986305122 | 842.9333333333333 | 202.8198120125325 |
| BASE/snakeAssemblit/UO4sdg | 4.1670144274493595 | 1007.9 | 241.87581241875813 |
| BASE/knightfight/SJRkAg | 4.171300566609567 | 5276.0 | 1264.8333333333333 |
| BASE/3pConnectFour/PqXOFQ | 4.190374222494137 | 1369.8333333333333 | 326.9 |
| DRESDEN/knightfight/4_Ly4w | 4.198359830285322 | 5172.766666666666 | 1232.0922635912136 |
| DRESDEN/stratego/Z2wovg | 4.200008688176077 | 1492.6333333333334 | 355.38815372820903 |
| DRESDEN/minichess/c7GMFw | 4.231268899092843 | 2518.733333333333 | 595.2666666666667 |
| BASE/factoringGeorgeForman/HGRorQ | 4.236093592330979 | 13433.5 | 3171.2 |
| BASE/numbertictactoe/rvJ-iQ | 4.247923517645862 | 4176.7 | 983.2333333333333 |
| DRESDEN/connect5/1kYzSg | 4.251009599208312 | 858.9 | 202.04612103439084 |
| BASE/ticTacToeLargeSuicide/727_8g | 4.28330808305855 | 3204.2 | 748.0666666666667 |
| BASE/majorities/ibJzSQ | 4.296107734204793 | 525.6333333333333 | 122.35105957616953 |
| BASE/ticTacToeLarge/TZC0dg | 4.300340522133939 | 3157.1666666666665 | 734.1666666666666 |
| DRESDEN/Runners/3bOCQw | 4.357416414653063 | 24158.533333333333 | 5544.233333333334 |
| DRESDEN/tictactoelarge/IwXcbg | 4.357625811135817 | 3200.9666666666667 | 734.5666666666667 |
| BASE/pawnWhopping/Ypc_6Q | 4.397243577723607 | 1563.3666666666666 | 355.53333333333336 |
| BASE/connectFourLarge/aU644A | 4.435706540795684 | 1534.8 | 346.01026598226787 |
| BASE/dotsAndBoxes/EHwA_w | 4.446532917802883 | 1521.9 | 342.26666666666665 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 4.447224320241692 | 1570.1666666666667 | 353.06666666666666 |
| DRESDEN/pawn_whopping/4ogBkg | 4.470431393993725 | 1662.2 | 371.82093930202325 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 4.472365428005665 | 14590.04865693528 | 3262.266666666667 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 4.477937824792494 | 3308.5666666666666 | 738.8594473885945 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 4.496132456828885 | 1527.3333333333333 | 339.69936339699365 |
| BASE/breakthroughSmallHoles/bxclRw | 4.513449265143401 | 1685.5666666666666 | 373.4542181927269 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 4.516549840326176 | 14991.633333333333 | 3319.266666666667 |
| DRESDEN/catch_me/ghGWrA | 4.5348793754930865 | 14561.8 | 3211.0666666666666 |
| BASE/ticTacToeNoVars/XT03NA | 4.542430576291431 | 5070.866666666667 | 1116.3333333333333 |
| STANFORD/untwistycomplex/HTWEwg | 4.609796272214998 | 28359.466666666667 | 6152.0 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 4.621362969823262 | 1995.9666666666667 | 431.9 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 4.631986375599938 | 1994.5333333333333 | 430.6 |
| BASE/wallmaze/uxNQ9g | 4.636613702828124 | 1176.7333333333333 | 253.7915402819906 |
| BASE/hex/T1MK8g | 4.637485834198684 | 595.4333333333333 | 128.3957201426619 |
| BASE/blobwars/0XT15Q | 4.651659054470608 | 578.8807039765342 | 124.44607336820711 |
| DRESDEN/3pffa/0YrmQw | 4.662865512371188 | 2971.3333333333335 | 637.2333333333333 |
| DRESDEN/Thief_Police/CX18rA | 4.67219834985902 | 14968.633333333333 | 3203.766666666667 |
| DRESDEN/3pttc/uwYBZw | 4.704886689534949 | 2788.9 | 592.7666666666667 |
| DRESDEN/blobwars/ZaMluQ | 4.710289102551563 | 566.6288914072395 | 120.29599013366222 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 4.71678451804987 | 2112.3333333333335 | 447.8333333333333 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 4.734608444604836 | 2186.6 | 461.8333333333333 |
| BASE/4pttc/AL1k2Q | 4.759044747699144 | 1999.4333333333334 | 420.1333333333333 |
| BASE/minichess/8NQEiA | 4.772263803289695 | 3159.133333333333 | 661.9779340688643 |
| STANFORD/hex/MTqWcw | 4.775845464052288 | 608.9 | 127.49575014166194 |
| BASE/connectFourSimultaneous/7ITr3g | 4.7804666055045875 | 1041.9333333333334 | 217.95640871825634 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 4.794281729428173 | 2062.5 | 430.2 |
| BASE/chineseCheckers6/rREH3A | 4.932832111345843 | 2646.3 | 536.4666666666667 |
| BASE/chineseCheckers1/gqtwHw | 4.936340150699677 | 7643.1 | 1548.3333333333333 |
| BASE/mineClearingSmall/frsbvw | 4.95650214108632 | 733.0666666666667 | 147.9 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 4.969087307068487 | 2110.4666666666667 | 424.7191760274658 |
| BASE/ticTacHeaven/18n58A | 4.990544506031953 | 510.1829939002033 | 102.22992566914436 |
| DRESDEN/bunk_t/7-tPfA | 5.0185312285518195 | 3412.266666666667 | 679.9333333333333 |
| BASE/lightsOnSimul4/9FeASw | 5.04702122803013 | 1474.0666666666666 | 292.06666666666666 |
| DRESDEN/ghostmaze2p/HY0UwA | 5.0531993521095755 | 10711.266666666666 | 2119.7 |
| BASE/bunk_t/xbpfIA | 5.192829900839055 | 3403.9 | 655.5 |
| BASE/chineseCheckers2/eCMR3Q | 5.197564234007518 | 5576.466666666666 | 1072.9 |
| DRESDEN/doubletictactoe/lJzgmQ | 5.199235474006117 | 3400.3 | 654.0 |
| STANFORD/sukoshi/4LYZZQ | 5.215685277881853 | 4640.066666666667 | 889.6370120995966 |
| DRESDEN/doubletoetictac/V89gKQ | 5.217300521998508 | 3498.2 | 670.5 |
| DRESDEN/knightwar/7hhAqg | 5.229340166559897 | 2721.0 | 520.3333333333334 |
| BASE/knightwar/DVGY4Q | 5.2548285267857135 | 2745.7 | 522.5099136925589 |
| BASE/doubletictactoe/HH1htg | 5.283633029392288 | 3457.4333333333334 | 654.3666666666667 |
| BASE/doubletoetictac/fu35bg | 5.301277740416947 | 3415.9666666666667 | 644.3666666666667 |
| BASE/blocksWorldParallel/RseaAQ | 5.31353919239905 | 1416.7666666666667 | 266.6333333333333 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 5.349935697399527 | 955.4666666666667 | 178.5940468651045 |
| BASE/chineseCheckers3/-1rZdQ | 5.3542948279790386 | 4700.0 | 877.8 |
| DRESDEN/breakthrough/z4hK7Q | 5.397788233002142 | 923.5 | 171.0885940937271 |
| BASE/ghostMaze2p/W-NU-w | 5.454740070933316 | 11381.133333333333 | 2086.4666666666667 |
| BASE/lightsOnSimultaneous/_VN6lw | 5.509887160826595 | 2044.1 | 370.9876337455418 |
| BASE/breakthroughSmall/HJ0tIA | 5.581503911648569 | 1507.7 | 270.12432918902704 |
| BASE/shmup/ssTNlg | 5.589899359560841 | 5091.466666666666 | 910.8333333333334 |
| BASE/breakthroughSuicide/wZDpIg | 5.592799767216295 | 960.9333333333333 | 171.8161517181615 |
| BASE/connectFourLarger/qKi60A | 5.6184361824453815 | 977.2007599746676 | 173.92753574880837 |
| BASE/breakthrough/TGxk-g | 5.630814776226984 | 954.7666666666667 | 169.56101463284557 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 5.6403027436140025 | 7949.066666666667 | 1409.3333333333333 |
| BASE/breakthroughWalls/vOZaYA | 5.644585061581248 | 947.0666666666667 | 167.78322167783222 |
| BASE/breakthroughSuicideSmall/XSbJog | 5.655662331019364 | 1547.8 | 273.6726327367263 |
| DRESDEN/twisty-passages/j7NPyg | 5.6774928774928775 | 6310.533333333334 | 1111.5 |
| BASE/max_knights/2fq3Ag | 5.795979990314477 | 2127.633333333333 | 367.0877637412086 |
| BASE/twisty-passages/DiZmmg | 5.8091502466828056 | 6319.0 | 1087.7666666666667 |
| DRESDEN/max_knights/hCipiA | 5.935949648278415 | 2137.733333333333 | 360.1333333333333 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 5.944580444234724 | 5878.6 | 988.90073995067 |
| BASE/tictactoe_3d_small_2player/oOryKA | 5.956768368145676 | 1606.4333333333334 | 269.68202119858677 |
| STANFORD/pilgrimage/ObRZnQ | 5.991270649304157 | 1487.5333333333333 | 248.28344777014865 |
| BASE/double_tictactoe_dengji/zgaSbA | 5.997704447632711 | 3483.6666666666665 | 580.8333333333334 |
| BASE/snake2p/I3wWPQ | 6.019897943172181 | 946.2333333333333 | 157.1842815718428 |
| BASE/crissrace/ERWGDA | 6.03664317276983 | 1531.1666666666667 | 253.64538251548038 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 6.068779844001487 | 1633.7 | 269.1974403412878 |
| DRESDEN/mimikry/GJEhwA | 6.1222305968421535 | 1469.0333333333333 | 239.9506699553363 |
| BASE/conn4/va9Y7A | 6.172417569285532 | 1078.8666666666666 | 174.78834744350377 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 6.1935030835928435 | 3381.0333333333333 | 545.9 |
| BASE/minichess-evilconjuncts/4OpQzw | 6.280564860292203 | 476.11746275124165 | 75.80806397867377 |
| DRESDEN/battlebrushes/QHXV4A | 6.370677126556649 | 278.60165961275703 | 43.73187560414653 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 6.4443209811558315 | 474.68417719409354 | 73.65930073659301 |
| BASE/escortLatch/mX9BjQ | 6.453050747179018 | 1645.6333333333334 | 255.01633224451703 |
| DRESDEN/crissrace/KWb9bw | 6.4618074678191375 | 1544.9666666666667 | 239.0920302656578 |
| DRESDEN/crossers3/xiPTxg | 6.476410195347554 | 2084.8333333333335 | 321.9118725418305 |
| BASE/gt_coordination/IVMOzA | 6.51162064794704 | 16689.066666666666 | 2562.9666666666667 |
| DRESDEN/chinesecheckers4/-oVNYg | 6.568535825545172 | 1405.6666666666667 | 214.0 |
| DRESDEN/blockerparallel/dVQgSg | 6.597626141552512 | 1284.1666666666667 | 194.64071457139048 |
| BASE/blockerParallel/7-nDJA | 6.615786291560102 | 1293.3 | 195.48696753549763 |
| DRESDEN/aipsrovers01/qS47Mw | 6.621571309171036 | 5809.766666666666 | 877.4 |
| BASE/crossers3/O0rORg | 6.716088662636547 | 2110.866666666667 | 314.3 |
| BASE/4pffa/Q3ADlg | 6.721512279599176 | 2138.866666666667 | 318.2121191920539 |
| BASE/crisscross/ICagEg | 6.7654697491392035 | 2292.366666666667 | 338.8333333333333 |
| DRESDEN/endgame/IJhh3Q | 6.806765899864681 | 838.3387220425985 | 123.16256124795841 |
| BASE/aipsrovers01/4C4jsw | 6.99922139020783 | 5994.4 | 856.4381187293757 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 7.02225193107546 | 7878.966666666666 | 1122.0 |
| BASE/ruleDepthExponential/UamhHQ | 7.0388884628112125 | 2147.568959632629 | 305.10058100493416 |
| BASE/cubicup/4wNWJA | 7.079883327999999 | 737.2666666666667 | 104.13542603885502 |
| BASE/chineseCheckers4/avfBcQ | 7.116542445068241 | 2450.7 | 344.3666666666667 |
| BASE/endgame/jYjfOA | 7.156108974358974 | 1060.5 | 148.1950601646612 |
| BASE/hanoi_6_disks/MeubgQ | 7.273253037618719 | 9138.6 | 1256.4666666666667 |
| DRESDEN/cubicup/SBn_lw | 7.293928286153171 | 738.5333333333333 | 101.25316624450073 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 7.3321819206894325 | 536.5308979401374 | 73.17479349853451 |
| BASE/qyshinsu/R08Lzw | 7.344850653594771 | 549.2666666666667 | 74.78255073816109 |
| BASE/breakthroughHoles/nZk0Sg | 7.3600892275289596 | 1320.0666666666666 | 179.35470968602093 |
| BASE/tictactoe_3d_2player/IUC1rQ | 7.398362012692656 | 543.7 | 73.48923978945966 |
| STANFORD/knightstourmedium/x1wu8Q | 7.444642510255619 | 21716.766666666666 | 2917.1 |
| BASE/checkLines/Vop7oQ | 7.468284230746144 | 2764.6666666666665 | 370.1876604113196 |
| DRESDEN/crisscross/GsY16g | 7.495755652869009 | 2396.233333333333 | 319.67868808746084 |
| DRESDEN/knightstour/cGISAA | 7.537095361007838 | 21218.933333333334 | 2815.266666666667 |
| DRESDEN/hanoi_6_disks/MeubgQ | 7.564287430906033 | 9442.5 | 1248.3 |
| BASE/ttcc4_2player_small/Cv72TA | 7.572062639061735 | 2230.8333333333335 | 294.6136924205053 |
| BASE/3pttc/0sol9g | 7.598871377721943 | 2419.4 | 318.38938702043265 |
| BASE/3pffa/pR0dzA | 7.7472182937554965 | 2544.5333333333333 | 328.44477034864343 |
| BASE/futoshiki4/BaCwSw | 7.768601896125309 | 1570.5 | 202.1599280023999 |
| BASE/knightsTour/mvtVIg | 7.820983134265649 | 21717.566666666666 | 2776.8333333333335 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 7.945499279765923 | 784.4333333333333 | 98.72675154989668 |
| DRESDEN/brain_teaser_extended/ZDp94A | 7.983049622762661 | 6630.5 | 830.5723142561915 |
| STANFORD/knightstour/cEwgNA | 8.010622941111153 | 21642.3 | 2701.7 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 8.024536166543484 | 1447.4333333333334 | 180.3759498733502 |
| BASE/checkersBarrelNoKings/rnKNeg | 8.160843827570922 | 1636.4666666666667 | 200.5266491116963 |
| BASE/rubiksCube/9tNO9Q | 8.178687127024723 | 1598.9333333333334 | 195.5 |
| BASE/checkersTorus/2vm1EQ | 8.241767807795421 | 1332.1 | 161.62794573514216 |
| BASE/brain_teaser_extended/ZDp94A | 8.353988134475939 | 6758.933333333333 | 809.0666666666667 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 8.355122332956508 | 9360.7 | 1120.3546312035462 |
| BASE/duplicateStateMedium/U163eQ | 8.388275199615777 | 9314.9 | 1110.4666666666667 |
| STANFORD/pentago/ZxzLmg | 8.50057568690524 | 1409.0666666666666 | 165.76132235811644 |
| DRESDEN/ticblock/Z2yNWQ | 8.62094987538078 | 4150.7 | 481.46666666666664 |
| BASE/knightazons/apnJBQ | 8.735095051459314 | 557.8814039532016 | 63.86666666666667 |
| BASE/checkersTorusNoKings/pwb6oQ | 8.83957916507573 | 1543.1333333333334 | 174.5709048491918 |
| BASE/ticblock/T21C1g | 8.856599573344647 | 4174.566666666667 | 471.35095496816774 |
| DRESDEN/knightazons/02I8BQ | 8.9203760028399 | 558.2666666666667 | 62.58331111703546 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 8.93112934347478 | 1487.0333333333333 | 166.500033326668 |
| DRESDEN/connect4/T0-rHQ | 8.946198830409356 | 1019.8666666666667 | 114.0 |
| DRESDEN/hanoi/RQ0jiA | 8.982480206001973 | 12441.633333333333 | 1385.1 |
| BASE/gt_prisoner/klthDw | 9.020462826193993 | 15267.133333333333 | 1692.5 |
| BASE/gt_staghunt/xPjLRA | 9.038271653698803 | 15256.0 | 1687.9333333333334 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 9.088158248253627 | 9020.3 | 992.5333333333333 |
| BASE/solitaireChineseCheckers/-ET6gw | 9.107542620974685 | 3525.8333333333335 | 387.1333333333333 |
| BASE/choicethroughalt/tt71Lg | 9.11315306794373 | 1014.8 | 111.35553111355532 |
| DRESDEN/gt_prisoner/huCp4w | 9.12487266207571 | 14928.9 | 1636.0666666666666 |
| BASE/cubicup_3player/e2yA_g | 9.210968896621056 | 379.9540015332822 | 41.25016660002665 |
| BASE/connect4/50bOyw | 9.232667984031936 | 1027.7666666666667 | 111.31849086788428 |
| BASE/hanoi/iGLsJg | 9.247526458282058 | 12524.233333333334 | 1354.3333333333333 |
| BASE/kitten_escapes_from_fire/uW-YiA | 9.307556521148754 | 9139.4 | 981.9333333333333 |
| DRESDEN/cubicup_3player/awDtsQ | 9.374376467432358 | 375.16248375162485 | 40.019993335554815 |
| BASE/tttcc4/8Bs2lg | 9.374585562533923 | 1343.3333333333333 | 143.29522349255024 |
| BASE/2pffa_zerosum/o0_uZA | 9.53714516860845 | 2755.733333333333 | 288.9474035064329 |
| DRESDEN/tttcc4/sAvtFg | 9.537663875443691 | 1313.5666666666666 | 137.72415172321845 |
| BASE/pentago/86NgKw | 9.607523086319217 | 786.3 | 81.84211403245693 |
| STANFORD/platformjumpers/HEQskA | 9.61784627729836 | 780.007333088897 | 81.1 |
| BASE/ttcc4/Le0qjQ | 9.698861772486774 | 1384.7666666666667 | 142.77620396600565 |
| BASE/2pffa/6oHijA | 9.710688791647474 | 2810.733333333333 | 289.4473701753216 |
| BASE/quartoSuicide/-23jUg | 9.759728388613215 | 2491.3333333333335 | 255.26666666666668 |
| DRESDEN/quarto/OQzRYQ | 9.778319964534408 | 2511.9666666666667 | 256.89143695210157 |
| DRESDEN/bomberman2p/x4h6jQ | 9.816538848378174 | 10410.766666666666 | 1060.5333333333333 |
| BASE/bomberman2p/4CClwA | 9.848187193042826 | 10493.9 | 1065.5666666666666 |
| BASE/2pttc/unkkYA | 9.85344827586207 | 2819.4 | 286.1333333333333 |
| BASE/stateSpaceMedium/3bUoIw | 9.91676499203047 | 15968.966666666667 | 1610.3 |
| BASE/biddingTicTacToe/8mESVw | 9.95483453594188 | 4460.166666666667 | 448.04026129849353 |
| STANFORD/duikoshi/tpw1sw | 10.00307847684345 | 1653.2333333333333 | 165.2724545909015 |
| DRESDEN/statespacemedium/dVJZ_w | 10.052534900808228 | 16417.8 | 1633.2 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 10.106180254396676 | 426.5191160294657 | 42.203790679857434 |
| BASE/knightThrough/gcwFjA | 10.267654882737409 | 1780.2333333333333 | 173.3826617338266 |
| DRESDEN/javastrike/whONTQ | 10.278278730459498 | 723.2 | 70.36197586827545 |
| DRESDEN/brawl/2kXtfQ | 10.335055440748393 | 347.17685487634157 | 33.59216182890659 |
| STANFORD/freeforall/Lfp40Q | 10.34680159327106 | 2842.766666666667 | 274.74835010999266 |
| BASE/quarto/EwBMVQ | 10.454893939393939 | 2564.5 | 245.2918236058798 |
| STANFORD/multiplesukoshi/vLSQPg | 10.465140563719626 | 229.78468102126524 | 21.95715190084297 |
| DRESDEN/knightthrough/J7Fc_Q | 10.495645514435187 | 1805.3 | 172.0046658890185 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 10.506545006114962 | 3434.9666666666667 | 326.93589230974277 |
| DRESDEN/quartosuicide/WIU1oQ | 10.513258124494744 | 2600.2 | 247.32580225932222 |
| DRESDEN/pentago_2008/hLjVpQ | 10.519779172038389 | 815.7666666666667 | 77.54598773660358 |
| DRESDEN/mummymaze2p/k-8edg | 10.561675745412844 | 9823.766666666666 | 930.1333333333333 |
| BASE/brawl/6Ymo_Q | 10.613816480162765 | 347.46666666666664 | 32.73720318380125 |
| DRESDEN/gt_chicken/CeuKtw | 10.720995504334219 | 14387.933333333332 | 1342.0333333333333 |
| BASE/pentagoSuicide/SBgNhw | 10.742146398366872 | 818.3333333333334 | 76.17968541722207 |
| BASE/futoshiki5/TJ4BZg | 10.793756703621582 | 811.0333333333333 | 75.13911565759221 |
| DRESDEN/bidding-tictactoe/yW5vTA | 10.793973086688428 | 4959.5 | 459.46936870875277 |
| BASE/ttcc4_2player_alt/ZEJvYA | 10.948007670999361 | 1712.6333333333334 | 156.43333333333334 |
| BASE/skirmishZeroSum/zh4hcw | 11.087796195202648 | 595.4666666666667 | 53.704690831556505 |
| BASE/gt_chicken/gmepTQ | 11.268521809780127 | 14794.066666666668 | 1312.8666666666666 |
| BASE/mummymaze2p/vpjDdA | 11.335187861271677 | 10458.6 | 922.6666666666666 |
| BASE/englishDraughts/jFkQxg | 11.559539753579752 | 1928.0666666666666 | 166.7944146365848 |
| BASE/skirmishNew/sibw2g | 11.601068393458329 | 625.9458018066065 | 53.95587549156836 |
| BASE/speedChess/bPnisA | 11.754985828571428 | 685.4333333333333 | 58.31000932960149 |
| DRESDEN/skirmish/RjGQYQ | 11.92297965260546 | 800.6666666666666 | 67.15323601946277 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 12.009289716247968 | 11074.566666666668 | 922.1666666666666 |
| DRESDEN/skirmish2/iPpWhQ | 12.023456700532174 | 828.3333333333334 | 68.8931106889311 |
| DRESDEN/hanoi7/51zz5Q | 12.154308474696824 | 11392.233333333334 | 937.3 |
| BASE/checkersTiny/Lr48cg | 12.193145867363608 | 1243.9 | 102.01633061156474 |
| BASE/hanoi7_bugfix/3gdnFw | 12.325297694912784 | 11282.166666666666 | 915.3666666666667 |
| DRESDEN/skirmish3/3LU8Nw | 12.550546715841236 | 793.7666666666667 | 63.24558480506498 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 12.716369196205692 | 13.379930104842735 | 1.0521816328543714 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 12.968251402099916 | 29.082550469718168 | 2.242596134819603 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 13.067236650561554 | 353.10979268048794 | 27.022529867882458 |
| STANFORD/ttcc4/Cx9SGw | 13.156649649761839 | 1564.7333333333333 | 118.93098737045553 |
| BASE/slidingpieces/uFJWEw | 13.21810469430248 | 775.5666666666667 | 58.674574351114515 |
| DRESDEN/slidingpieces/s9_44g | 13.223275181003336 | 775.740808639712 | 58.6648011193284 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 13.265715153355604 | 1456.1333333333334 | 109.76666666666667 |
| BASE/tictactoe_3d_small_6player/g_9lww | 13.301888777735025 | 1152.2333333333333 | 86.62178376216505 |
| DRESDEN/tpeg/h-Scbg | 13.471873808098943 | 1500.5666666666666 | 111.38514864684709 |
| BASE/futoshiki6/JmvXNA | 13.518576156793397 | 509.6333333333333 | 37.69874337522083 |
| DRESDEN/battlesnakes1509/-qZrLw | 13.605935387942687 | 2236.6666666666665 | 164.38904073061795 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 13.627803305344527 | 1136.0666666666666 | 83.36388787040433 |
| BASE/tpeg/QNs7Lw | 13.733920852221216 | 1514.7 | 110.2889711028897 |
| BASE/ttcc4_2player/_aH_Mw | 13.864772017489068 | 1479.8333333333333 | 106.73333333333333 |
| BASE/peg/fJHVWw | 13.922986201135986 | 1388.6333333333334 | 99.73674564297377 |
| DRESDEN/chomp/-LcqYQ | 13.98029109274564 | 4735.733333333334 | 338.7435427428762 |
| BASE/amazons_10x10/Bun8dA | 14.04256710867246 | 1023.5666666666667 | 72.89028129582722 |
| DRESDEN/towerworld/HCX34w | 14.147038060710482 | 109.89267382174522 | 7.7678927101314565 |
| DRESDEN/battlesnakes2011/93VtTw | 14.203468216738052 | 2320.9333333333334 | 163.40609898350274 |
| DRESDEN/pacman3p/rBnk8Q | 14.245371819104063 | 2964.0666666666666 | 208.07225703239567 |
| BASE/amazonsSuicide_10x10/XIbQkg | 14.3181722170398 | 1023.0333333333333 | 71.4499950011664 |
| BASE/amazons_8x8/7SOsIw | 14.441004395604395 | 1314.0 | 90.99090090990902 |
| DRESDEN/peg/Vo31eg | 14.447506103941404 | 1380.7 | 95.56666666666666 |
| BASE/knightsTourLarge/M8jgLA | 14.496370797929002 | 19505.833333333332 | 1345.5666666666666 |
| BASE/chomp/-LcqYQ | 14.517217146872802 | 4820.2 | 332.03333333333336 |
| DRESDEN/peg_bugfixed/u_B7MA | 14.525163393062256 | 1404.8333333333333 | 96.71721379770038 |
| BASE/pacman3p/wW7UVQ | 14.556955990284598 | 3063.1666666666665 | 210.4263191226959 |
| BASE/pegEuro/5awwhg | 14.598446016949152 | 1148.0666666666666 | 78.6430737445433 |
| DRESDEN/checkers/jIDMIg | 14.609511652542373 | 459.6666666666667 | 31.463520314635204 |
| DRESDEN/babel/WdSW4A | 14.702070260869565 | 845.2 | 57.488502299540094 |
| STANFORD/chinook/osFbPA | 15.127667107281972 | 876.6374454184861 | 57.949281882102035 |
| BASE/pacman2p/4LEdQg | 15.198244451805232 | 3058.9 | 201.26666666666668 |
| DRESDEN/checkers-newgoals/IJOqXQ | 15.593762087125059 | 464.3845205159828 | 29.78014656895403 |
| DRESDEN/backgammon/mqCW0Q | 15.729318063677713 | 806.8333333333334 | 51.294870512948705 |
| DRESDEN/capture_the_king/EQ229Q | 15.895494537345543 | 292.47075292470754 | 18.39960073199135 |
| BASE/four_way_battle/xSOQXA | 16.049309295446363 | 343.4323234343232 | 21.398573428438105 |
| BASE/chinook/XQh0IQ | 16.264809295408067 | 971.8666666666667 | 59.75272436431499 |
| BASE/amazonsTorus_10x10/Uxc08g | 16.489548239266764 | 758.7333333333333 | 46.01298485100716 |
| STANFORD/knightstourbig/TQUI2g | 16.52910220279519 | 19159.433333333334 | 1159.1333333333334 |
| BASE/duplicateStateLarge/dcjyuw | 16.612886776472163 | 5513.633333333333 | 331.88893703543215 |
| BASE/coins_atomic/AA3SSw | 16.631347580227544 | 1415.186160461318 | 85.09149085091491 |
| DRESDEN/coins/QwFP9w | 16.65001948153967 | 1412.4666666666667 | 84.83273357323738 |
| BASE/blockerSerial/3eqDuw | 16.655370856592878 | 2883.866666666667 | 173.1493517314935 |
| BASE/ticTacToeSerial/Amrwqw | 16.692412659555867 | 3181.6 | 190.60156640559907 |
| BASE/mummyMaze2p_2007/YGA3Vw | 16.789960330415 | 11314.0 | 673.8550763282448 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 16.855720653789003 | 11343.9 | 673.0 |
| BASE/coins/QnGtnQ | 16.899599758842445 | 1401.4 | 82.9250408292504 |
| BASE/checkersSmall/SYmq8w | 16.959042791234143 | 816.8333333333334 | 48.16506116462784 |
| BASE/checkers-newgoals/0XkFiA | 17.12719553349876 | 459.96666666666664 | 26.855924296947887 |
| STANFORD/alquerquezero/uVgA_A | 17.676037024340076 | 1718.7 | 97.23333333333333 |
| DRESDEN/four_way_battle/xSOQXA | 17.7460406970208 | 350.03333333333336 | 19.724587546567324 |
| BASE/tictactoe_3d_6player/d7KSwg | 17.784083571002796 | 448.73675088327445 | 25.232492250258325 |
| DRESDEN/cylinder-checkers/clOO3Q | 18.028147384155456 | 401.8 | 22.287370490055636 |
| BASE/cylinder-checkers/hlldmw | 18.986161514195587 | 400.8 | 21.11011220990244 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 19.36288810531265 | 457.53333333333336 | 23.62939510081653 |
| DRESDEN/knightmove/97Ipcw | 19.422788840312933 | 2813.4333333333334 | 144.8521814485218 |
| BASE/skirmishFinal3/-Olhfw | 20.20420176025285 | 287.690410319656 | 14.239137667176792 |
| BASE/checkers/rOC3Xg | 20.327797506713427 | 621.1459618012733 | 30.55648117294235 |
| BASE/knightmove/jBaJEw | 20.969357847424686 | 2876.9 | 137.19542681910602 |
| BASE/skirmishFinal2/gdB62Q | 22.034617949963557 | 265.8489434037731 | 12.065057992267697 |
| DRESDEN/statespacelarge/8-y5HQ | 22.18001651527663 | 10744.0 | 484.4 |
| STANFORD/madness/UO_B3A | 23.187620189261853 | 167.23879353441095 | 7.2124173230963535 |
| BASE/strangeSkirmish/gc1zKA | 23.253189606013674 | 168.87185469088485 | 7.262309281098008 |
| BASE/stateSpaceLarge/0Ge_CQ | 23.629063050985174 | 11632.2 | 492.28359054698177 |
| DRESDEN/skirmishfinal/hzq8ww | 23.89814954886119 | 269.09103029899 | 11.259910720234526 |
| BASE/battle/8oAvhQ | 24.719749118906375 | 104.10904122371447 | 4.211573536726911 |
| DRESDEN/battle/8oAvhQ | 25.031285081566367 | 105.14563753915884 | 4.200568895944962 |
| BASE/skirmishHoles/AUCxCA | 25.162212349685163 | 197.18685420971934 | 7.836626265980408 |
| DRESDEN/CephalopodMicro/H3XQfg | 25.35767632228528 | 116.90215942415355 | 4.610129017279692 |
| BASE/skirmishFinal1/ecWTnQ | 25.650452415917346 | 268.22439252024935 | 10.456906886905555 |
| BASE/othelloSuicide/B442jg | 25.89868936380177 | 22.747710241465445 | 0.878334417696812 |
| BASE/gt_tinfoil/Q8DyKg | 26.49306509137683 | 17620.833333333332 | 665.1111629612346 |
| STANFORD/skirmish/w4V6Vw | 27.048550748790657 | 165.55562962469168 | 6.120683919898876 |
| BASE/pawnToQueen/-O1_JA | 27.354923096377608 | 96.8139705392255 | 3.5391790427678367 |
| DRESDEN/pawntoqueen/f_x6Aw | 27.39735731013571 | 97.16018932071195 | 3.546334349728225 |
| STANFORD/triplesukoshi/Iu9mbA | 27.525592813852814 | 1412.9333333333334 | 51.33162227925736 |
| BASE/othelloHoles/c0qAzw | 27.903628379674455 | 25.815262649478697 | 0.9251579148854718 |
| BASE/cephalopodMicro/9l2D3g | 28.2149304700596 | 115.6961434618846 | 4.1005291005291005 |
| BASE/othello-comp2007/86ZoMw | 28.316098339931468 | 23.487141954156826 | 0.8294625082946251 |
| BASE/skirmish/Y_psYQ | 30.659396996601576 | 182.04239434742036 | 5.937572561117192 |
| BASE/smallest_4player/ADDROA | 31.0744287552463 | 6251.966666666666 | 201.19329355688143 |
| DRESDEN/smallest_4player/ADDROA | 31.878739880755216 | 6415.7 | 201.25324978334777 |
| STANFORD/selectivesukoshi/3xmXYg | 36.05570529532265 | 221.81854543030465 | 6.152106680855309 |
| DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | 36.493277654662975 | 878.0666666666667 | 24.061052421101742 |
| BASE/sudokuGrade1/tDRNRw | 36.804390941259 | 94.31132735695004 | 2.562502053286902 |
| BASE/sudokuGrade2/u80Tfw | 40.43182848842941 | 95.19365375641624 | 2.354423663615864 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 42.25902722852511 | 4344.333333333333 | 102.80249258555767 |
| DRESDEN/Zhadu/9zpQ5w | 42.983144127791505 | 222.50366617784294 | 5.1765330501725515 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 43.670162065404476 | 4227.6 | 96.80751799520128 |
| BASE/sudokuGrade3/eI8dvg | 45.05167332729093 | 92.9240409292404 | 2.0626101999401176 |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | 45.935790202702705 | 875.7 | 19.063566690281444 |
| BASE/sudokuGrade4/DTy07w | 46.18435806451613 | 95.26666666666667 | 2.062747446518282 |
| BASE/sudokuGrade5/BQfUQA | 46.788046218565206 | 97.16342788573714 | 2.076672050631242 |
| STANFORD/duidoku/3SoMaA | 46.83076456954144 | 85.15247458756873 | 1.818302036498281 |
| DRESDEN/grid_game2/kypTYQ | 48.01428224750232 | 524.4491850271658 | 10.922774651170535 |
| DRESDEN/Goldrush/VeWczQ | 48.06935933147632 | 1725.0 | 35.88564574170332 |
| STANFORD/sudoku/oJ1qyQ | 48.71847643678161 | 93.96666666666667 | 1.9287685810249078 |
| BASE/quad_7x7/q-JOXg | 48.71992155087877 | 35.214506274226395 | 0.7227948065854638 |
| BASE/hidato19/rRHSmA | 50.92403394280356 | 1205.5333333333333 | 23.673170406872213 |
| BASE/sudokuGrade6E/ihYFZA | 54.56725738353359 | 91.74525943946412 | 1.6813243662700466 |
| BASE/slaughter/cOch8A | 55.389344867150044 | 154.99716732762354 | 2.7983210073955624 |
| BASE/sudokuGrade6H/ieE_9A | 55.90026933742732 | 92.96356788107063 | 1.6630254018978055 |
| DRESDEN/hitori/S8Gsyg | 66.16675042848003 | 304.92600986535126 | 4.6084477156687225 |
| BASE/wargame02/BkVqqQ | 67.05339517697394 | 1913.8333333333333 | 28.54193032704989 |
| DRESDEN/amazons/dNB28A | 67.08078899237236 | 151.8978904922185 | 2.2644022644022646 |
| BASE/hitori/S8Gsyg | 72.93877741483901 | 302.47983467768813 | 4.147037356512508 |
| DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | 73.46183569405099 | 860.5 | 11.713565171223786 |
| DRESDEN/smallest/9kaGFw | 74.91294885745376 | 4589.666666666667 | 61.266666666666666 |
| DRESDEN/quad_7x7/q-JOXg | 75.69509558129246 | 34.80610816266727 | 0.4598198588082551 |
| BASE/wargame03/klXI8w | 76.16240524781341 | 2611.5 | 34.28857047650783 |
| BASE/amazons/RKKZjw | 78.22393822393822 | 14.478764478764479 | 0.18509378084896347 |
| BASE/god/qF06gw | 85.0154854259716 | 270.61529231384577 | 3.183129414105242 |
| BASE/amazonsSuicide/dE1QEQ | 88.89054049570325 | 15.660771757523474 | 0.17618040873854826 |
| BASE/zhadu/DlA8iQ | 89.78166367856177 | 55.06299580027998 | 0.6132989025177534 |
| BASE/cittaceot/fDxhXg | 90.41396305156832 | 1888.8333333333333 | 20.890947256188984 |
| BASE/blokbox_simple/JBx4bg | 90.60379516075571 | 4.739807756049055 | 0.05231356752373728 |
| BASE/wargame01/_GZFZg | 91.76332342621258 | 2960.6 | 32.26343477392289 |
| BASE/simultaneousWin2/PfjRjw | 99.65103513862024 | 1717.0333333333333 | 17.230461589735043 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 100.85470199354276 | 41.33910726182545 | 0.4098877538151091 |
| BASE/hidato37/pBrqxw | 104.19236961764196 | 308.5897136762108 | 2.961730449251248 |
| DRESDEN/checkers-mustjump/HUr33w | 104.53607885057471 | 504.3666666666667 | 4.824809503210994 |
| BASE/checkers-mustjump/T-8UuQ | 105.11619270072991 | 479.2 | 4.558764807666711 |
| DRESDEN/god/2EDD5w | 113.20787027027026 | 278.8 | 2.46272630457934 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 117.7074811791988 | 409.1530282323923 | 3.4760154930976266 |
| BASE/quad_5x5/JAEP5g | 122.63300292193003 | 287.5379128753791 | 2.344702535405008 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 125.78188367346938 | 409.4 | 3.2548407452921055 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 130.95272087912087 | 396.8 | 3.0301012253596165 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 131.63509216359455 | 394.78684043865206 | 2.9991002699190243 |
| BASE/mummymaze1p/PT_EXA | 155.00694350563288 | 15591.1 | 100.58323612731212 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 156.9408416979708 | 381.2539582013933 | 2.4292845257903495 |
| BASE/merrills/pku8Tg | 158.1473988250236 | 558.5480483983868 | 3.5318193820966464 |
| DRESDEN/mummymaze1p/AekgaQ | 162.598159344115 | 16084.233333333334 | 98.92014398080256 |
| DRESDEN/merrills/aYEzwA | 164.78816366498478 | 580.0473317556082 | 3.519957494852892 |
| BASE/checkers-mustjump-torus/uSApKQ | 166.73489065515997 | 366.12112929569014 | 2.1958279269388163 |
| DRESDEN/quad_5x5/JAEP5g | 173.44741072733476 | 293.0235658811373 | 1.6894087069525665 |
| DRESDEN/small_dominion/yB5GJA | 211.74632536746327 | 110.82225110822252 | 0.5233727240172988 |
| DRESDEN/farmers/S_ASnw | 228.88124839506173 | 2039.2666666666667 | 8.909714889123547 |
| DRESDEN/guess/PhxGhg | 233.82506666666666 | 1511.8 | 6.4655172413793105 |
| BASE/guess/SPpk1A | 254.58615605214152 | 1505.1333333333334 | 5.912078475410378 |
| BASE/copolymer_4_pie/IN5_jA | 261.67800243309 | 2384.6666666666665 | 9.112981009079721 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 300.15872999598423 | 385.6047984005331 | 1.2846696093286778 |
| BASE/copolymer_4/2LDVhQ | 303.440788471178 | 2679.4333333333334 | 8.830168636303279 |
| BASE/chess_200/XsTpYA | 313.04202359921334 | 285.5571480950635 | 0.9122006841505131 |
| BASE/battlebrushes/arCwyA | 326.16393050056223 | 296.6901103296557 | 0.9096349491322562 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 351.80776188665584 | 21584.233333333334 | 61.35235111807245 |
| BASE/nim4/twk16w | 435.14968005115094 | 11336.1 | 26.05103604503964 |
| DRESDEN/nim4/F5YAYg | 441.39010746011206 | 11361.033333333333 | 25.739211507725095 |
| DRESDEN/nim3/sG_axA | 443.0958442307692 | 11507.833333333334 | 25.971431425432026 |
| BASE/nim3/1OwUqw | 464.03373730803975 | 11403.066666666668 | 24.573787959509858 |
| BASE/nim2/eF2Qqw | 543.3593101615646 | 14187.966666666667 | 26.111573688592838 |
| DRESDEN/nim2/z5_exA | 587.7997656756756 | 14490.366666666667 | 24.651875541341862 |
| DRESDEN/nim1/M9BALA | 600.0150221084081 | 15604.266666666666 | 26.00645999134228 |
| BASE/golden_rectangle/_nYzfw | 604.9594977011495 | 576.9666666666667 | 0.9537277600552504 |
| BASE/nim1/hin2Qw | 611.0758909574469 | 15302.333333333334 | 25.041625041625043 |
| BASE/gt_ultimatum/GE-uOA | 788.9432495670997 | 12096.1 | 15.332028009159393 |
| DRESDEN/gt_ultimatum/pAiiQw | 814.0551623931624 | 12690.8 | 15.58960692871419 |
| BASE/colonelBlottoVariant/X-n-KQ | 1166.5203104575164 | 11888.6 | 10.191507077435471 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 1710.8536300000003 | 856.7333333333333 | 0.5007636645884974 |
| BASE/racer4/0vs7Ww | 2089.51268115942 | 1569.2666666666667 | 0.7510204081632653 |
| BASE/colonelBlottoVariant2/jruwGw | 2759.9885155555553 | 10958.133333333333 | 3.9703546850185285 |
| DRESDEN/fizzbuzz/t1xHzQ | 2875.02858440367 | 31265.9 | 10.874987528684027 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 4011.4801686498013 | 931.240209312402 | 0.23214378986344142 |
| BASE/queens08ug/kJ_ZFQ | 5268.833413636364 | 2230.9666666666667 | 0.4234270646881075 |
| DRESDEN/satlike_20v_91c/yeuENQ | 5795.0090621355985 | 900.2165583874729 | 0.15534342547787522 |
| DRESDEN/queens/mW2wHQ | 5827.37068 | 944.8666666666667 | 0.16214288030612575 |
| BASE/ad_game_2x2/D0aWqg | 7706.327933333334 | 1833.9666666666667 | 0.23798191337458352 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 8734.490085646683 | 868.4640250608192 | 0.09942927595601249 |
| BASE/queens06ug/7Lq3tw | 12339.26713888889 | 3607.5333333333333 | 0.2923620416615909 |
| DRESDEN/racer/vk_ZBA | 28585.6428 | 3250.4 | 0.11370743078060151 |
| BASE/racer/QQYQNw | 31448.63515 | 3354.7 | 0.10667235585897915 |
| BASE/gt_attrition/kD_SCA | 60701.84835555555 | 6012.266666666666 | 0.09904585823236159 |
| BASE/colonelBlotto/jip21A | 980131.1333333334 | 4516.733333333334 | 0.004608294930875576 |
| DRESDEN/golden_rectangle/1uloXw | Infinity | 551.0333333333333 | 0.0 |
Games with errors:
| Game | ALLOY_TUPLE_PROVER:2 error message | PALAMEDES_JAVA_PROVER_USEOPT_FALSE: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/queens08lg/Ru7eqQ | Test process timed out after 240 seconds | |
| BASE/nonogram_10x10_1/0Xc62g | Exception of type NullPointerException | |
| BASE/reversiSuicide/9OxJlg | Test process timed out after 240 seconds | |
| BASE/queens31lg/0gID-A | Test process timed out after 240 seconds | |
| BASE/amazonsTorus/soxT8g | Exception of type StackOverflowError | |
| STANFORD/rainbow/_4qNSQ | Exception of type NullPointerException | |
| BASE/gt_two_thirds_4p/DStnxQ | Exception of type NullPointerException | |
| BASE/reversi/d8UMeA | Test process timed out after 240 seconds | |
| BASE/queens12ug/u6Bkmg | Test process timed out after 240 seconds | |
| BASE/gt_two_thirds_2p/1APDGg | Exception of type NullPointerException | |
| BASE/alexChess/LNo83g | Exception of type StackOverflowError | |
| BASE/queens/HyJJnQ | Test process timed out after 240 seconds | |
| BASE/queens16ug/gT-ylw | Test process timed out after 240 seconds | |
| BASE/nonogram_5x5_1/qLKEZw | Exception of type NullPointerException | |
| BASE/sudoku/NTaNkw | Exception of type NullPointerException | |
| BASE/gt_two_thirds_6p/867v3Q | Exception of type NullPointerException | |
| STANFORD/dualrainbow/G3OnRQ | Exception of type NullPointerException |