Game-by-game performance:
| Game | Perf ratio | ALLOY_TUPLE_PROVER:2 states per second | REKKURA_BACKWARD_PROVER:1.0.0 states per second |
| BASE/quad/tw-Ufg | 0.0031788141479949777 | 0.5939025999736043 | 186.83149511845656 |
| DRESDEN/quad/JPe6fg | 0.0276190775547208 | 4.9606455453403 | 179.60938541527796 |
| DRESDEN/quad_7x7/q-JOXg | 0.05433926128642892 | 34.80610816266727 | 640.5333333333333 |
| BASE/quad_7x7/q-JOXg | 0.054740410810238456 | 35.214506274226395 | 643.3 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 0.06158283431973566 | 29.082550469718168 | 472.25092496916767 |
| DRESDEN/grid_game2/kypTYQ | 0.33447014351222304 | 524.4491850271658 | 1568.0 |
| BASE/sudokuGrade2/u80Tfw | 0.4823016527030585 | 95.19365375641624 | 197.3736835088655 |
| BASE/sudokuGrade4/DTy07w | 0.4925887624956911 | 95.26666666666667 | 193.4 |
| BASE/queens31lg/0gID-A | 0.49576157479316274 | 18.553679091302755 | 37.424600926450495 |
| BASE/sudokuGrade1/tDRNRw | 0.49770169428950894 | 94.31132735695004 | 189.49368354388187 |
| BASE/sudokuGrade3/eI8dvg | 0.5037443490923766 | 92.9240409292404 | 184.46666666666667 |
| STANFORD/sudoku/oJ1qyQ | 0.5047448522829007 | 93.96666666666667 | 186.16666666666666 |
| BASE/sudokuGrade6H/ieE_9A | 0.5066134489431642 | 92.96356788107063 | 183.5 |
| BASE/sudokuGrade5/BQfUQA | 0.5131480948522745 | 97.16342788573714 | 189.34773189347732 |
| BASE/sudokuGrade6E/ihYFZA | 0.5200169144990295 | 91.74525943946412 | 176.42745241825273 |
| STANFORD/duidoku/3SoMaA | 0.5296434494195689 | 85.15247458756873 | 160.77320446592233 |
| STANFORD/selectivesukoshi/3xmXYg | 0.5459924813676682 | 221.81854543030465 | 406.26666666666665 |
| STANFORD/multiplesukoshi/vLSQPg | 0.6171683272443131 | 229.78468102126524 | 372.32092263591215 |
| BASE/blokbox_simple/JBx4bg | 0.6536151411116821 | 4.739807756049055 | 7.25167986161932 |
| BASE/ticTacHeaven/18n58A | 0.7259291319012569 | 510.1829939002033 | 702.8 |
| BASE/ticTacHeavenFC/mrletw | 0.7477806788511749 | 477.31742275257494 | 638.3120562647912 |
| DRESDEN/lightsout/XgLpzQ | 0.8050250168382564 | 2231.1 | 2771.4666666666667 |
| BASE/blocksWorldParallel/RseaAQ | 0.8382738693962882 | 1416.7666666666667 | 1690.1 |
| BASE/snake2p/I3wWPQ | 0.8756825122620848 | 946.2333333333333 | 1080.5666666666666 |
| BASE/withConviction/3Xm54A | 0.876572001482095 | 1340.6 | 1529.3666666666666 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 0.8841190296687215 | 664.511182960568 | 751.6082797240092 |
| DRESDEN/cubicup_3player/awDtsQ | 0.9054054054054055 | 375.16248375162485 | 414.3585641435856 |
| BASE/conn4/va9Y7A | 0.9331142247592688 | 1078.8666666666666 | 1156.2 |
| BASE/futoshiki6/JmvXNA | 0.9475989856419791 | 509.6333333333333 | 537.8154061531283 |
| BASE/cubicup_3player/e2yA_g | 0.9577701188036913 | 379.9540015332822 | 396.70688620758614 |
| BASE/slidingpieces/uFJWEw | 0.962360921536998 | 775.5666666666667 | 805.9 |
| DRESDEN/slidingpieces/s9_44g | 0.9656846473029046 | 775.740808639712 | 803.3065564481184 |
| BASE/lightsOut/5P1ZBw | 0.9693134098024958 | 2177.4333333333334 | 2246.366666666667 |
| DRESDEN/lightsout2/LFtfyQ | 0.9718806298732247 | 2832.0333333333333 | 2913.9724018398774 |
| STANFORD/nineboardtictactoe/y28P-A | 0.9920207830766375 | 712.8 | 718.5333333333333 |
| BASE/nineBoardTicTacToe/wRmqqA | 0.9923398655951878 | 703.8666666666667 | 709.3 |
| BASE/coins/QnGtnQ | 1.0193977013723874 | 1401.4 | 1374.7333333333333 |
| BASE/futoshiki5/TJ4BZg | 1.0347012545183925 | 811.0333333333333 | 783.8333333333334 |
| BASE/coins_atomic/AA3SSw | 1.0412926717806226 | 1415.186160461318 | 1359.0666666666666 |
| DRESDEN/coins/QwFP9w | 1.0423595395060514 | 1412.4666666666667 | 1355.0666666666666 |
| STANFORD/triplesukoshi/Iu9mbA | 1.0760833692975553 | 1412.9333333333334 | 1313.0333333333333 |
| BASE/futoshiki4/BaCwSw | 1.122935386228758 | 1570.5 | 1398.5666666666666 |
| BASE/othelloSuicide/B442jg | 1.1325190864992274 | 22.747710241465445 | 20.085939842110523 |
| BASE/lightsOnSimul4/9FeASw | 1.1558889643996026 | 1474.0666666666666 | 1275.2666666666667 |
| DRESDEN/golden_rectangle/1uloXw | 1.1633744569551958 | 551.0333333333333 | 473.6508783040565 |
| BASE/othello-comp2007/86ZoMw | 1.1769015380862082 | 23.487141954156826 | 19.956760352569432 |
| BASE/othelloHoles/c0qAzw | 1.1946221620212538 | 25.815262649478697 | 21.609562814237673 |
| STANFORD/duikoshi/tpw1sw | 1.235384960271004 | 1653.2333333333333 | 1338.2333333333333 |
| BASE/golden_rectangle/_nYzfw | 1.2605284712107971 | 576.9666666666667 | 457.7180760641312 |
| DRESDEN/tictactoelarge/IwXcbg | 1.2941041708779732 | 3200.9666666666667 | 2473.5 |
| DRESDEN/CephalopodMicro/H3XQfg | 1.2999190826108342 | 116.90215942415355 | 89.93033565547815 |
| BASE/simultaneousWin2/PfjRjw | 1.3132186105799872 | 1717.0333333333333 | 1307.5 |
| BASE/queens08lg/Ru7eqQ | 1.322765516400439 | 723.2 | 546.7333333333333 |
| BASE/majorities/ibJzSQ | 1.3549318039923248 | 525.6333333333333 | 387.94080394640355 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 1.3561737419557585 | 3308.5666666666666 | 2439.633333333333 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 1.3770988033864635 | 1941.0666666666666 | 1409.5333333333333 |
| BASE/lightsOnSimultaneous/_VN6lw | 1.3810553340990475 | 2044.1 | 1480.1 |
| DRESDEN/quad_5x5/JAEP5g | 1.3957934227427944 | 293.0235658811373 | 209.93333333333334 |
| BASE/lightsOnParallel/SC6enA | 1.3994046078177582 | 5405.9 | 3863.0 |
| BASE/quad_5x5/JAEP5g | 1.4112547030917715 | 287.5379128753791 | 203.74629203746292 |
| BASE/zhadu/DlA8iQ | 1.4611411405464216 | 55.06299580027998 | 37.68492602958816 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 1.4729057878115133 | 1570.1666666666667 | 1066.0333333333333 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 1.4753833736884585 | 426.5191160294657 | 289.09036365454483 |
| BASE/cephalopodMicro/9l2D3g | 1.4814834383881612 | 115.6961434618846 | 78.0947936804213 |
| DRESDEN/pawn_whopping/4ogBkg | 1.487205487623024 | 1662.2 | 1117.6666666666667 |
| DRESDEN/connect4/T0-rHQ | 1.5200715421303659 | 1019.8666666666667 | 670.9333333333333 |
| BASE/breakthroughSmallHoles/bxclRw | 1.5397521390944244 | 1685.5666666666666 | 1094.7 |
| DRESDEN/sum15/CsgWKg | 1.5415015062628825 | 7777.8 | 5045.6 |
| DRESDEN/tictactoex9/rFkD4w | 1.547750468652364 | 990.7666666666667 | 640.1333333333333 |
| BASE/ticTacToeLarge/TZC0dg | 1.555152370944437 | 3157.1666666666665 | 2030.1333333333334 |
| BASE/tictactoex9/BI26ow | 1.5609400651703178 | 1000.6666444451852 | 641.0666666666667 |
| BASE/sum15/QZ07Kg | 1.5626270182244257 | 7868.4 | 5035.366666666667 |
| BASE/connect4/50bOyw | 1.5629055150040552 | 1027.7666666666667 | 657.6 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 1.5799935306485526 | 3256.366666666667 | 2061.0 |
| DRESDEN/cubicup/SBn_lw | 1.5944156591824985 | 738.5333333333333 | 463.2 |
| BASE/cubicup/4wNWJA | 1.5956914249987977 | 737.2666666666667 | 462.03586427571497 |
| BASE/ticTacToeLargeSuicide/727_8g | 1.6206838413811706 | 3204.2 | 1977.0666666666666 |
| STANFORD/multipletictactoe/_bkafQ | 1.621012931034483 | 1002.8666666666667 | 618.6666666666666 |
| DRESDEN/catcha_mouse/cHv4dw | 1.633252840129521 | 1983.9666666666667 | 1214.7333333333333 |
| BASE/catcha_mouse/cHv4dw | 1.645761600262338 | 2007.5 | 1219.8 |
| DRESDEN/blocker/S815zQ | 1.6461466165413534 | 6422.166666666667 | 3901.3333333333335 |
| BASE/wallmaze/uxNQ9g | 1.6540094046726639 | 1176.7333333333333 | 711.4429519016032 |
| DRESDEN/doubletictactoe/lJzgmQ | 1.675795111052701 | 3400.3 | 2029.0666666666666 |
| DRESDEN/bunk_t/7-tPfA | 1.712125773540726 | 3412.266666666667 | 1993.0 |
| BASE/eotcitcit/V_9_bg | 1.7123282363880565 | 4419.633333333333 | 2581.0666666666666 |
| BASE/tictactoe2/bhrDoQ | 1.7398154014761031 | 6773.333333333333 | 3893.133333333333 |
| BASE/3pConnectFour/PqXOFQ | 1.7520037517053204 | 1369.8333333333333 | 781.8666666666667 |
| BASE/doubletoetictac/fu35bg | 1.7521072338388415 | 3415.9666666666667 | 1949.6333333333334 |
| DRESDEN/tictictoe/LAUtwg | 1.7525537811798866 | 4426.366666666667 | 2525.6666666666665 |
| BASE/tictactoe_3d_small_6player/g_9lww | 1.7602994347405407 | 1152.2333333333333 | 654.5666666666667 |
| BASE/doubletictactoe/HH1htg | 1.7696848714405147 | 3457.4333333333334 | 1953.7 |
| STANFORD/sukoshi/4LYZZQ | 1.7798263671350578 | 4640.066666666667 | 2607.0333333333333 |
| BASE/bunk_t/xbpfIA | 1.787700010503834 | 3403.9 | 1904.0666666666666 |
| DRESDEN/doubletoetictac/V89gKQ | 1.7917434951854125 | 3498.2 | 1952.4 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 1.7952067421648668 | 1136.0666666666666 | 632.8333333333334 |
| DRESDEN/mimikry/GJEhwA | 1.8086346288012476 | 1469.0333333333333 | 812.2333333333333 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 1.8113826156898694 | 385.6047984005331 | 212.87871212878713 |
| DRESDEN/lightson2x2/gBHuig | 1.8166672994418924 | 7974.866666666667 | 4389.833333333333 |
| STANFORD/breakthrough/d5j0cQ | 1.8221355508131578 | 1650.7333333333333 | 905.9333333333333 |
| BASE/eotcatcit/AfZSzA | 1.8523791469194313 | 6514.2 | 3516.6666666666665 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 1.856547890721784 | 7593.033333333334 | 4089.866666666667 |
| DRESDEN/peg/Vo31eg | 1.86161797752809 | 1380.7 | 741.6666666666666 |
| DRESDEN/chickentictactoe/Ipbo-g | 1.8787742708066033 | 5857.266666666666 | 3117.6 |
| BASE/tictactoe_orthogonal/WRzlVw | 1.8850450217429962 | 7773.8 | 4123.933333333333 |
| DRESDEN/tictactoe/BTTzPw | 1.8870687784768931 | 6958.0 | 3687.2 |
| DRESDEN/eotcatcit/mQUxzA | 1.891615187729731 | 6552.933333333333 | 3464.2 |
| DRESDEN/blockerparallel/dVQgSg | 1.9029084345879022 | 1284.1666666666667 | 674.844171860938 |
| BASE/dotsAndBoxes/EHwA_w | 1.906983543563612 | 1521.9 | 798.0666666666667 |
| BASE/connectFourSimultaneous/7ITr3g | 1.9073712472540885 | 1041.9333333333334 | 546.2666666666667 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 1.9178606786092973 | 1527.3333333333333 | 796.3734542181927 |
| BASE/blockerParallel/7-nDJA | 1.9321248941785767 | 1293.3 | 669.3666666666667 |
| BASE/pawnWhopping/Ypc_6Q | 1.935418643997854 | 1563.3666666666666 | 807.7666666666667 |
| DRESDEN/peg_bugfixed/u_B7MA | 1.9358320701851084 | 1404.8333333333333 | 725.7 |
| BASE/ticTicToe/c1OobQ | 1.9372935302369778 | 4280.966666666666 | 2209.766666666667 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 1.943411335528072 | 1456.1333333333334 | 749.2666666666667 |
| BASE/blocksWorldSerial/Wyg96Q | 1.9446303035782906 | 5735.233333333334 | 2949.266666666667 |
| BASE/tictactoe_3d_small_2player/oOryKA | 1.970585371604585 | 1606.4333333333334 | 815.2061597946736 |
| BASE/toetictac/mTThmg | 1.970957028106574 | 8980.6 | 4556.466666666666 |
| STANFORD/dualrainbow/G3OnRQ | 1.9713948115619986 | 7452.266666666666 | 3780.2 |
| BASE/hidato19/rRHSmA | 1.9785546255265607 | 1205.5333333333333 | 609.3 |
| BASE/snakeAssemblit/UO4sdg | 1.9796386015451093 | 1007.9 | 509.1333333333333 |
| BASE/blocker/dIWtxg | 1.9892495695628438 | 6316.0 | 3175.0666666666666 |
| STANFORD/tictictoe/rpt_Dw | 1.989829207445788 | 4493.233333333334 | 2258.1 |
| DRESDEN/latenttictactoe/kITHKg | 2.000380786596312 | 3677.3 | 1838.3 |
| DRESDEN/tictactoe-init1/3ltIBQ | 2.010127187822598 | 6879.9 | 3422.6192460251323 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 2.0324639195343503 | 474.68417719409354 | 233.55109659356043 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 2.0377099617495427 | 1633.7 | 801.7333333333333 |
| DRESDEN/pentago_2008/hLjVpQ | 2.0377864918123785 | 815.7666666666667 | 400.31998933368885 |
| DRESDEN/brain_teaser_extended/ZDp94A | 2.047082432849645 | 6630.5 | 3239.0 |
| DRESDEN/tictactoe_3player/ESLQQQ | 2.0540021929824563 | 1998.1333333333334 | 972.8 |
| BASE/tictactoe-init1/7M19vA | 2.054079390359454 | 6792.566666666667 | 3306.866666666667 |
| BASE/brain_teaser_extended/ZDp94A | 2.0574721974186216 | 6758.933333333333 | 3285.0666666666666 |
| BASE/numbertictactoe/rvJ-iQ | 2.0646070192782995 | 4176.7 | 2023.0 |
| BASE/minichess-evilconjuncts/4OpQzw | 2.0715770678081578 | 476.11746275124165 | 229.83333333333334 |
| DRESDEN/tpeg/h-Scbg | 2.076429889298893 | 1500.5666666666666 | 722.6666666666666 |
| BASE/pentago/86NgKw | 2.0862993101618468 | 786.3 | 376.88743708543046 |
| DRESDEN/toetictac/mJtxCA | 2.089387142761179 | 9331.133333333333 | 4465.966666666666 |
| BASE/factoringGeorgeForman/HGRorQ | 2.097935407296352 | 13433.5 | 6403.2 |
| DRESDEN/chickentoetictac/cxYaRQ | 2.099528032778383 | 8096.2 | 3856.2 |
| BASE/chickentictactoe/DSlZCA | 2.108433442837574 | 5797.7 | 2749.766666666667 |
| BASE/blocksWorld/SEdXLQ | 2.116397677137147 | 14966.6 | 7071.733333333334 |
| STANFORD/dualhunter/1rPZjQ | 2.125293269334252 | 3291.3 | 1548.6333333333334 |
| DRESDEN/blocksworldparallel/2JfVaw | 2.1395114547762035 | 5450.833333333333 | 2547.7 |
| DRESDEN/tictactoeparallel/yk_DSg | 2.1484618477933046 | 2849.4333333333334 | 1326.2666666666667 |
| BASE/tpeg/QNs7Lw | 2.151970070089032 | 1514.7 | 703.8666666666667 |
| DRESDEN/blocks/vg0DRw | 2.1532463544190823 | 14958.1 | 6946.766666666666 |
| BASE/blocks/xIV5hQ | 2.1576957147075353 | 15102.0 | 6999.133333333333 |
| BASE/blocks2player/wnTLOQ | 2.1683710397511877 | 10086.033333333333 | 4651.433333333333 |
| BASE/chickentoetictac/l57rfQ | 2.1693252288178764 | 8232.3 | 3794.866666666667 |
| STANFORD/tictactoe7/-bE9-A | 2.177952956675095 | 6833.4 | 3137.5333333333333 |
| DRESDEN/blocks2player/3ev8nQ | 2.1813195022518195 | 10219.7 | 4685.1 |
| BASE/pentagoSuicide/SBgNhw | 2.1991059058879734 | 818.3333333333334 | 372.1209293023566 |
| STANFORD/tictactoe3/X7myng | 2.199484634018905 | 6174.1 | 2807.0666666666666 |
| BASE/queens16ug/gT-ylw | 2.2144000000000004 | 599.7133428885704 | 270.8243058564714 |
| DRESDEN/stratego/Z2wovg | 2.2227241139680336 | 1492.6333333333334 | 671.5333333333333 |
| STANFORD/trifecta/ss1kyQ | 2.2346035242290747 | 6763.4 | 3026.6666666666665 |
| STANFORD/tictactoe5/WFRReg | 2.234611822637844 | 6595.233333333334 | 2951.4 |
| STANFORD/tictactoe/ss1kyQ | 2.2365543671242367 | 6886.5 | 3079.0666666666666 |
| BASE/queens12ug/u6Bkmg | 2.2445399708798446 | 1079.1 | 480.76666666666665 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 2.246278401671455 | 6594.1 | 2935.5666666666666 |
| BASE/ticTacToe/JRFsaQ | 2.2473649538866933 | 7050.433333333333 | 3137.2 |
| BASE/ticTacToeNoVars/XT03NA | 2.250018488115839 | 5070.866666666667 | 2253.7 |
| DRESDEN/connectfoursuicide/M9CNQg | 2.255570347533632 | 2146.1 | 951.4666666666667 |
| DRESDEN/hallway/0H4l-Q | 2.2600842865743527 | 625.6666666666666 | 276.8333333333333 |
| BASE/hallway/ckCJOw | 2.2632765634561256 | 616.4 | 272.3485100993267 |
| BASE/tictactoe_3player/GtM71g | 2.272453606676066 | 1987.8666666666666 | 874.7666666666667 |
| DRESDEN/connectfour/5tc-Mg | 2.27957177957178 | 2164.8333333333335 | 949.6666666666666 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 2.2856335906608924 | 6474.133333333333 | 2832.5333333333333 |
| BASE/lightsOn/MsXu3A | 2.301370327465883 | 13575.4 | 5898.833333333333 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 2.377278085712403 | 10822.4 | 4552.433333333333 |
| BASE/queens08ug/kJ_ZFQ | 2.383256774561122 | 2230.9666666666667 | 936.1 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 2.4123576515332816 | 41.33910726182545 | 17.13639237347353 |
| STANFORD/connectfour/VMpZkQ | 2.426864441697569 | 2159.6666666666665 | 889.9 |
| BASE/connectFourSuicide/c8p9Kw | 2.434866699533543 | 2140.1666666666665 | 878.9666666666667 |
| BASE/connectFour_9x6/B9TtMw | 2.445748165346822 | 1966.3 | 803.9666666666667 |
| DRESDEN/chomp/-LcqYQ | 2.4556139380530975 | 4735.733333333334 | 1928.5333333333333 |
| BASE/stateSpaceSmall/Q7osKA | 2.4629486243538405 | 22266.533333333333 | 9040.6 |
| BASE/coloredtrails/EZvr7g | 2.46864067966017 | 3951.8 | 1600.8 |
| BASE/incredible/8Qh-6Q | 2.4688834096512853 | 5840.966666666666 | 2365.8333333333335 |
| BASE/racetrackcorridor/_RkdUg | 2.522097114707952 | 2389.266666666667 | 947.3333333333334 |
| BASE/connectFour/WAIKTw | 2.543927548571871 | 2191.0 | 861.2666666666667 |
| BASE/double_tictactoe_dengji/zgaSbA | 2.5512645249487353 | 3483.6666666666665 | 1365.4666666666667 |
| BASE/hodgepodge/9yjRkw | 2.5779137024123826 | 8527.566666666668 | 3307.9333333333334 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 2.578251696703185 | 3381.0333333333333 | 1311.3666666666666 |
| DRESDEN/sheep_and_wolf/enAIzQ | 2.583578978650477 | 1574.4666666666667 | 609.4130195660144 |
| DRESDEN/backgammon/mqCW0Q | 2.583606236880492 | 806.8333333333334 | 312.28959034698846 |
| BASE/qyshinsu/R08Lzw | 2.596446793760832 | 549.2666666666667 | 211.54551211545513 |
| BASE/switches/tPUoCg | 2.6247423984483294 | 16599.833333333332 | 6324.366666666667 |
| BASE/chomp/-LcqYQ | 2.631688141515615 | 4820.2 | 1831.6 |
| DRESDEN/javastrike/whONTQ | 2.644739931740615 | 723.2 | 273.4484367708819 |
| BASE/onestep/xi53wA | 2.655102253077993 | 40844.5 | 15383.4 |
| DRESDEN/racetrackcorridor/O0DoTA | 2.6617460986925345 | 2314.0333333333333 | 869.3666666666667 |
| BASE/ticblock/T21C1g | 2.6668299227018166 | 4174.566666666667 | 1565.3666666666666 |
| DRESDEN/statespacesmall/h-NqjA | 2.6773756898598817 | 23076.033333333333 | 8618.9 |
| DRESDEN/ticblock/Z2yNWQ | 2.687406927808352 | 4150.7 | 1544.5 |
| BASE/dualConnect4/WbCQkg | 2.712714654260943 | 1282.8 | 472.8842371920936 |
| BASE/mineClearingSmall/frsbvw | 2.7303206786674945 | 733.0666666666667 | 268.4910502983234 |
| BASE/ticTacToeSerial/Amrwqw | 2.7523284985149514 | 3181.6 | 1155.9666666666667 |
| BASE/connectFourLarge/aU644A | 2.7586124258582467 | 1534.8 | 556.3666666666667 |
| STANFORD/rainbow/_4qNSQ | 2.7869843869109796 | 16452.033333333333 | 5903.166666666667 |
| BASE/circlesolitaire/azuQFQ | 2.7945396066749053 | 11382.066666666668 | 4072.9666666666667 |
| BASE/ticTacToeParallel/ymRGPw | 2.7986824011001312 | 2917.0666666666666 | 1042.3 |
| BASE/cittaceot/fDxhXg | 2.801869066455696 | 1888.8333333333333 | 674.1333333333333 |
| DRESDEN/statespacelarge/8-y5HQ | 2.8298755915328493 | 10744.0 | 3796.633333333333 |
| DRESDEN/circlesolitaire/ruUilQ | 2.835533209328016 | 11636.366666666667 | 4103.766666666666 |
| DRESDEN/troublemaker01/C-lPWw | 2.867979912293111 | 32438.0 | 11310.4 |
| BASE/troublemaker01/s3tlEQ | 2.871085217037423 | 31982.166666666668 | 11139.4 |
| BASE/duplicateStateSmall/bCPAXw | 2.9142910603825922 | 17651.666666666668 | 6056.933333333333 |
| BASE/survival/YVIjJA | 2.958492207047376 | 31294.733333333334 | 10577.933333333332 |
| BASE/stateSpaceMedium/3bUoIw | 2.960651867599436 | 15968.966666666667 | 5393.733333333334 |
| BASE/battlebrushes/arCwyA | 2.9698660277835285 | 296.6901103296557 | 99.90016638935109 |
| BASE/firefighter/WJmoPw | 2.9775295822265155 | 8219.966666666667 | 2760.6666666666665 |
| DRESDEN/firefighter/WJmoPw | 2.9814799336095623 | 8323.0 | 2791.5666666666666 |
| BASE/blockerSerial/3eqDuw | 2.992080235172056 | 2883.866666666667 | 963.8333333333334 |
| BASE/snakeParallel/RCVNtw | 3.0072988430090537 | 6853.333333333333 | 2278.9 |
| DRESDEN/statespacemedium/dVJZ_w | 3.03497529053646 | 16417.8 | 5409.533333333334 |
| DRESDEN/troublemaker02/iZLVuA | 3.0695282965637873 | 29014.0 | 9452.266666666666 |
| BASE/queens06ug/7Lq3tw | 3.0952666952666954 | 3607.5333333333333 | 1165.5 |
| DRESDEN/battlesnakes1509/-qZrLw | 3.1069129971755336 | 2236.6666666666665 | 719.9 |
| DRESDEN/buttons/ADUaHw | 3.1228085769188443 | 24593.366666666665 | 7875.4 |
| BASE/stateSpaceLarge/0Ge_CQ | 3.128365113089315 | 11632.2 | 3718.3 |
| BASE/buttons/hTcUjw | 3.141489529600372 | 25212.966666666667 | 8025.8 |
| DRESDEN/8puzzle/8fKC2w | 3.1493071473993997 | 7098.433333333333 | 2253.9666666666667 |
| BASE/snake_2009/7l-qAQ | 3.1607243121841666 | 1501.1333333333334 | 474.93333333333334 |
| BASE/alexChess/LNo83g | 3.1660337763565503 | 46.83388294860264 | 14.792603698150925 |
| BASE/troublemaker02/DI83KA | 3.183597520931051 | 29570.633333333335 | 9288.433333333332 |
| DRESDEN/snake_2009_big/DgC1NQ | 3.2130716475423875 | 1250.7 | 389.2536915436152 |
| DRESDEN/snake_2009/zIYLVw | 3.2207296406174626 | 1483.6333333333334 | 460.6513116229459 |
| STANFORD/hunter/14dD-g | 3.246726512923696 | 6992.366666666667 | 2153.6666666666665 |
| BASE/haystack/UkweGA | 3.2504431710434103 | 44679.4 | 13745.633333333333 |
| DRESDEN/battlesnakes2011/93VtTw | 3.2576026948629173 | 2320.9333333333334 | 712.4666666666667 |
| BASE/snake_2009_big/-oRfVw | 3.292060160895418 | 1254.9333333333334 | 381.2 |
| STANFORD/bestbuttonsandlights/nm0wEA | 3.294267920607292 | 16591.8 | 5036.566666666667 |
| BASE/pearls/6k_mEQ | 3.3046660019237613 | 31264.233333333334 | 9460.633333333333 |
| DRESDEN/towerworld/HCX34w | 3.3219017020214765 | 109.89267382174522 | 33.08125395609155 |
| DRESDEN/3pttc/uwYBZw | 3.337468586700706 | 2788.9 | 835.6333333333333 |
| DRESDEN/Goldrush/VeWczQ | 3.3600652512660694 | 1725.0 | 513.3828872370921 |
| BASE/copolymer_4_pie/IN5_jA | 3.388915206063477 | 2384.6666666666665 | 703.6666666666666 |
| BASE/tron_10x10/7ZTgDg | 3.4676886792452826 | 4410.9 | 1272.0 |
| STANFORD/pentago/ZxzLmg | 3.4681605600678207 | 1409.0666666666666 | 406.28645711809605 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 3.4860704416672363 | 18097.353686175178 | 5191.333333333333 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 3.520685873791247 | 12949.2 | 3678.0333333333333 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 3.533344141362155 | 457.53333333333336 | 129.4901699433522 |
| DRESDEN/cube_2x2x2/fp-34Q | 3.5379558659065493 | 4323.5 | 1222.0333333333333 |
| BASE/copolymer_4/2LDVhQ | 3.5572421117847504 | 2679.4333333333334 | 753.2333333333333 |
| DRESDEN/3pffa/0YrmQw | 3.5737481457723614 | 2971.3333333333335 | 831.4333333333333 |
| BASE/reversi/d8UMeA | 3.5825982263274727 | 128.30767179897353 | 35.814139262415125 |
| BASE/tictactoe_3d_6player/d7KSwg | 3.584042995678947 | 448.73675088327445 | 125.20406463434949 |
| BASE/pegEuro/5awwhg | 3.638738235086978 | 1148.0666666666666 | 315.51229918005464 |
| BASE/reversiSuicide/9OxJlg | 3.6710225545830166 | 130.89842708611036 | 35.65721134638434 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 3.691643539932161 | 18357.066666666666 | 4972.6 |
| BASE/escortLatch/mX9BjQ | 3.7554036104561246 | 1645.6333333333334 | 438.20411972535163 |
| DRESDEN/logistics/fPru1Q | 3.773341870362698 | 3339.5333333333333 | 885.0333333333333 |
| DRESDEN/bidding-tictactoe/yW5vTA | 3.7940838964681878 | 4959.5 | 1307.1666666666667 |
| STANFORD/eightpuzzle/W_aWbA | 3.797909626112545 | 7012.1 | 1846.3051231625614 |
| STANFORD/8puzzle/jNiGtw | 3.82153671113721 | 6941.566666666667 | 1816.4333333333334 |
| BASE/eightPuzzle/vLrgFg | 3.836384313437764 | 6971.733333333334 | 1817.2666666666667 |
| BASE/biddingTicTacToe/8mESVw | 3.9056890160249864 | 4460.166666666667 | 1141.9666666666667 |
| BASE/checkLines/Vop7oQ | 3.957192970737913 | 2764.6666666666665 | 698.6433785540482 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 3.9796959946743597 | 2391.266666666667 | 600.8666666666667 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 3.992045371578403 | 536.5308979401374 | 134.4 |
| BASE/roshambo2/KNPokQ | 4.049821273127998 | 21866.2 | 5399.3 |
| BASE/tictactoe_3d_2player/IUC1rQ | 4.070560354291418 | 543.7 | 133.56883393874762 |
| DRESDEN/grid_game/U7_Yeg | 4.114967335510966 | 2351.5666666666666 | 571.4666666666667 |
| BASE/hexPie/48CH6Q | 4.164216349876804 | 525.7666666666667 | 126.25824945003666 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 4.168884553751829 | 1994.5333333333333 | 478.43333333333334 |
| BASE/breakthroughSmall/HJ0tIA | 4.195187135967354 | 1507.7 | 359.38802039932 |
| STANFORD/untwistycorridor/EDPPAQ | 4.19577794032645 | 27342.066666666666 | 6516.566666666667 |
| BASE/breakthroughSuicideSmall/XSbJog | 4.280311143884228 | 1547.8 | 361.6092260515966 |
| BASE/peg/fJHVWw | 4.322513865255586 | 1388.6333333333334 | 321.2559581347288 |
| DRESDEN/roshambo2/jgSlkQ | 4.32347596021089 | 22441.866666666665 | 5190.7 |
| BASE/maze/cCX3qQ | 4.37407891183457 | 26454.866666666665 | 6048.1 |
| BASE/beatMania/qUHwvQ | 4.374807642431054 | 8433.9 | 1927.8333333333333 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 4.395279416869142 | 2110.4666666666667 | 480.1666666666667 |
| BASE/untwistycomplex2/EDPPAQ | 4.399884076571564 | 28339.8 | 6441.033333333334 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 4.4155596664808625 | 2112.3333333333335 | 478.3840538648712 |
| BASE/gt_dollar/TGjqRw | 4.441461686900022 | 12121.933333333332 | 2729.266666666667 |
| DRESDEN/snake_2008/E56l3A | 4.45892177318613 | 1467.3333333333333 | 329.07806146256917 |
| BASE/duplicateStateMedium/U163eQ | 4.494668103517604 | 9314.9 | 2072.4333333333334 |
| BASE/hex/T1MK8g | 4.542279760996695 | 595.4333333333333 | 131.0868913108689 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 4.561170352909483 | 2257.4 | 494.9168361054632 |
| BASE/snake_2008/i6K26g | 4.596293520286796 | 1524.2333333333333 | 331.6222792573581 |
| STANFORD/hex/MTqWcw | 4.6270539260385 | 608.9 | 131.59561347955068 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 4.628684722314565 | 353.10979268048794 | 76.2872854524246 |
| BASE/connectFourLarger/qKi60A | 4.632901390644753 | 977.2007599746676 | 210.92630245658478 |
| DRESDEN/oisters_farm/pTQMLg | 4.637387732040069 | 13132.0 | 2831.766666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 4.6407796875 | 2286.9 | 492.7835738808706 |
| BASE/snake_2008_tweaked/bX0NJQ | 4.663993503197645 | 1531.5 | 328.3666666666667 |
| STANFORD/buttonsandlights/eyhJpA | 4.680338299298087 | 46097.9 | 9849.266666666666 |
| STANFORD/3puzzle/41ibjA | 4.7001213348747 | 16398.566666666666 | 3488.9666666666667 |
| BASE/4pffa/Q3ADlg | 4.754762724757953 | 2138.866666666667 | 449.8366775548297 |
| BASE/3pffa/pR0dzA | 4.7599925173037345 | 2544.5333333333333 | 534.5666666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 4.799920392729203 | 2411.8 | 502.46666666666664 |
| BASE/2pffa/6oHijA | 4.842195934305731 | 2810.733333333333 | 580.4666666666667 |
| STANFORD/threepuzzle/41ibjA | 4.885077542322718 | 16505.7 | 3378.8 |
| BASE/nonogram_10x10_1/0Xc62g | 4.925411639224051 | 139.3907072861809 | 28.30031629765274 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 4.950888463552432 | 1995.9666666666667 | 403.1532282257258 |
| DRESDEN/point_grab/r5DPmQ | 4.957450927252314 | 21341.0 | 4304.833333333333 |
| BASE/2pffa_zerosum/o0_uZA | 4.965450794794794 | 2755.733333333333 | 554.9815006166461 |
| DRESDEN/knightwar/7hhAqg | 4.981387685360346 | 2721.0 | 546.2333333333333 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 5.007211927496359 | 2062.5 | 411.90587294180386 |
| BASE/hidato37/pBrqxw | 5.06245727657447 | 308.5897136762108 | 60.956507248791866 |
| DRESDEN/aipsrovers01/qS47Mw | 5.127320330656312 | 5809.766666666666 | 1133.1 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 5.151956654703242 | 29762.166666666668 | 5776.866666666667 |
| DRESDEN/chinesecheckers1/Y-ftaA | 5.272733602526272 | 3395.0 | 643.8785373820873 |
| BASE/aipsrovers01/4C4jsw | 5.298526812021214 | 5994.4 | 1131.3333333333333 |
| DRESDEN/Zhadu/9zpQ5w | 5.407649830225066 | 222.50366617784294 | 41.146093619856735 |
| BASE/rubiksCube/9tNO9Q | 5.47080291970803 | 1598.9333333333334 | 292.26666666666665 |
| DRESDEN/small_dominion/yB5GJA | 5.526569436079648 | 110.82225110822252 | 20.052629825788614 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 5.720281356818974 | 2186.6 | 382.25392486917104 |
| DRESDEN/catch_me/ghGWrA | 5.803749119846953 | 14561.8 | 2509.0333333333333 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 5.85561625851929 | 14590.04865693528 | 2491.633333333333 |
| STANFORD/freeforall/Lfp40Q | 5.877532736044108 | 2842.766666666667 | 483.6666666666667 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 5.8853033931352146 | 14991.633333333333 | 2547.3 |
| DRESDEN/Thief_Police/CX18rA | 5.894168296428525 | 14968.633333333333 | 2539.5666666666666 |
| BASE/point_grab/V_osUg | 5.9009612439860515 | 19910.433333333334 | 3374.1 |
| STANFORD/alquerquezero/uVgA_A | 6.013846361091672 | 1718.7 | 285.7904736508783 |
| BASE/skirmishHoles/AUCxCA | 6.217185520965269 | 197.18685420971934 | 31.71641791044776 |
| STANFORD/pilgrimage/ObRZnQ | 6.222875432236475 | 1487.5333333333333 | 239.0427623904276 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 6.349954884599493 | 2390.4666666666667 | 376.4541181960601 |
| BASE/guess/SPpk1A | 6.48692790307906 | 1505.1333333333334 | 232.0255991466951 |
| DRESDEN/capture_the_king/EQ229Q | 6.523227692089632 | 292.47075292470754 | 44.83528196928817 |
| DRESDEN/guess/PhxGhg | 6.529948689893463 | 1511.8 | 231.51789880674622 |
| BASE/strangeSkirmish/gc1zKA | 6.629268847348971 | 168.87185469088485 | 25.473677200226433 |
| DRESDEN/knightmove/97Ipcw | 6.866727418917454 | 2813.4333333333334 | 409.7196760107996 |
| DRESDEN/breakthrough/z4hK7Q | 6.87537729528536 | 923.5 | 134.319901343199 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 7.009013789731051 | 955.4666666666667 | 136.31970136319703 |
| BASE/duplicateStateLarge/dcjyuw | 7.020159578983108 | 5513.633333333333 | 785.4 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 7.02587601078167 | 4344.333333333333 | 618.3333333333334 |
| DRESDEN/frogs_and_toads/GjchhQ | 7.215234676637585 | 1736.5333333333333 | 240.67593240675933 |
| BASE/skirmish/Y_psYQ | 7.2802413739419745 | 182.04239434742036 | 25.004994339748286 |
| BASE/breakthroughWalls/vOZaYA | 7.332129032258066 | 947.0666666666667 | 129.16666666666666 |
| BASE/asteroidsSerial/id2QkA | 7.334455996485576 | 5008.7 | 682.9 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 7.366868029739777 | 4227.6 | 573.8666666666667 |
| BASE/breakthrough/TGxk-g | 7.390081209150326 | 954.7666666666667 | 129.19569347688412 |
| DRESDEN/hanoi/RQ0jiA | 7.4113220285135615 | 12441.633333333333 | 1678.7333333333333 |
| BASE/englishDraughts/jFkQxg | 7.449811229877656 | 1928.0666666666666 | 258.8074525880745 |
| BASE/knightmove/jBaJEw | 7.4656065132773985 | 2876.9 | 385.353821539282 |
| BASE/shmup/ssTNlg | 7.532498273991518 | 5091.466666666666 | 675.9333333333333 |
| DRESDEN/4pttc/9pB9AQ | 7.547605958203645 | 2263.2 | 299.8566714442852 |
| BASE/breakthroughSuicide/wZDpIg | 7.557495080821319 | 960.9333333333333 | 127.14971337155046 |
| BASE/hanoi/iGLsJg | 7.708959970454871 | 12524.233333333334 | 1624.6333333333334 |
| DRESDEN/smallest/9kaGFw | 7.87925608011445 | 4589.666666666667 | 582.5 |
| BASE/asteroidsParallel/WauZiA | 7.987368421052631 | 5817.466666666666 | 728.3333333333334 |
| BASE/chineseCheckers4/avfBcQ | 8.119296830830388 | 2450.7 | 301.83648301836485 |
| DRESDEN/nim4/F5YAYg | 8.228061704849962 | 11361.033333333333 | 1380.7666666666667 |
| BASE/nim4/twk16w | 8.249436021831412 | 11336.1 | 1374.1666666666667 |
| BASE/nonogram_5x5_1/qLKEZw | 8.300221128511062 | 741.8666666666667 | 89.37914486619789 |
| DRESDEN/nim3/sG_axA | 8.382745726495727 | 11507.833333333334 | 1372.8 |
| BASE/nim3/1OwUqw | 8.415547355473555 | 11403.066666666668 | 1355.0 |
| BASE/gt_centipede/9fRMpw | 8.543775154505497 | 16911.833333333332 | 1979.4333333333334 |
| BASE/smallest_4player/ADDROA | 8.737376064036273 | 6251.966666666666 | 715.542815239492 |
| DRESDEN/brawl/2kXtfQ | 8.798470192077284 | 347.17685487634157 | 39.45877491168433 |
| BASE/skirmishFinal3/-Olhfw | 8.861100933870308 | 287.690410319656 | 32.46666666666667 |
| DRESDEN/smallest_4player/ADDROA | 8.905334752232454 | 6415.7 | 720.4333333333333 |
| BASE/brawl/6Ymo_Q | 8.906837688585254 | 347.46666666666664 | 39.01122697138288 |
| BASE/ttcc4_2player_small/Cv72TA | 9.062892575039495 | 2230.8333333333335 | 246.1502566495567 |
| BASE/checkersTiny/Lr48cg | 9.34825748997996 | 1243.9 | 133.06223125895804 |
| BASE/checkersSmall/SYmq8w | 9.419011273379452 | 816.8333333333334 | 86.72177043060925 |
| BASE/chineseCheckers1/gqtwHw | 9.475308897061863 | 7643.1 | 806.6333333333333 |
| BASE/skirmishFinal2/gdB62Q | 9.604472898758214 | 265.8489434037731 | 27.679701552195056 |
| STANFORD/untwistycomplex/HTWEwg | 9.620988352369107 | 28359.466666666667 | 2947.6666666666665 |
| DRESDEN/skirmishfinal/hzq8ww | 9.664745545164443 | 269.09103029899 | 27.84253646839406 |
| STANFORD/chinook/osFbPA | 9.727303961662816 | 876.6374454184861 | 90.12131715771231 |
| DRESDEN/knightstour/cGISAA | 9.793805867963137 | 21218.933333333334 | 2166.5666666666666 |
| BASE/checkers/rOC3Xg | 10.03060464902336 | 621.1459618012733 | 61.92507665644581 |
| BASE/nim2/eF2Qqw | 10.041734494066576 | 14187.966666666667 | 1412.9 |
| BASE/kalaha5x2x3/WviNsw | 10.075446563914745 | 4401.333333333333 | 436.83754416372244 |
| BASE/asteroids/BKCmPQ | 10.133754124980358 | 12897.566666666668 | 1272.7333333333333 |
| BASE/skirmishFinal1/ecWTnQ | 10.169158881572637 | 268.22439252024935 | 26.376261364771704 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 10.243689549422033 | 1447.4333333333334 | 141.3 |
| BASE/chinook/XQh0IQ | 10.280677009873061 | 971.8666666666667 | 94.53333333333333 |
| DRESDEN/babel/WdSW4A | 10.285323114355233 | 845.2 | 82.17534739578126 |
| BASE/breakthroughHoles/nZk0Sg | 10.362281562881563 | 1320.0666666666666 | 127.39150723285114 |
| DRESDEN/nim2/z5_exA | 10.368530267614368 | 14490.366666666667 | 1397.5333333333333 |
| BASE/choicethroughalt/tt71Lg | 10.420280355920601 | 1014.8 | 97.38701506465804 |
| BASE/nim1/hin2Qw | 10.759116902596794 | 15302.333333333334 | 1422.2666666666667 |
| DRESDEN/nim1/M9BALA | 10.916655006762744 | 15604.266666666666 | 1429.4 |
| BASE/chineseCheckers6/rREH3A | 11.060044580663137 | 2646.3 | 239.26666666666668 |
| BASE/knightazons/apnJBQ | 11.1639507349755 | 557.8814039532016 | 49.971682713129226 |
| BASE/chineseCheckers2/eCMR3Q | 11.236080327758748 | 5576.466666666666 | 496.3 |
| DRESDEN/knightazons/02I8BQ | 11.348396386630531 | 558.2666666666667 | 49.19344087455006 |
| DRESDEN/minichess/c7GMFw | 11.466543055134041 | 2518.733333333333 | 219.65934468851037 |
| BASE/sheepAndWolf/g4THrg | 11.993787212011389 | 1544.4 | 128.76666666666668 |
| DRESDEN/tttcc4/sAvtFg | 12.108622990271376 | 1313.5666666666666 | 108.48191968005332 |
| BASE/minichess/8NQEiA | 12.11364508350375 | 3159.133333333333 | 260.79130695643477 |
| STANFORD/knightstourmedium/x1wu8Q | 12.15581386670647 | 21716.766666666666 | 1786.5333333333333 |
| DRESDEN/skirmish3/3LU8Nw | 12.762798124330118 | 793.7666666666667 | 62.193780621937805 |
| BASE/chineseCheckers3/-1rZdQ | 12.823272098945072 | 4700.0 | 366.5211159628012 |
| BASE/tttcc4/8Bs2lg | 12.982959742351046 | 1343.3333333333333 | 103.46895931220634 |
| BASE/god/qF06gw | 13.026830369428364 | 270.61529231384577 | 20.77368666355949 |
| BASE/2pttc/unkkYA | 13.13472652173913 | 2819.4 | 214.65235650956603 |
| DRESDEN/amazons/dNB28A | 13.210273351676879 | 151.8978904922185 | 11.498466871083856 |
| DRESDEN/god/2EDD5w | 13.3348974522293 | 278.8 | 20.90754735825815 |
| BASE/ttcc4/Le0qjQ | 13.385482946735394 | 1384.7666666666667 | 103.4528729502733 |
| DRESDEN/knightthrough/J7Fc_Q | 13.436071768791862 | 1805.3 | 134.3621879270691 |
| BASE/knightsTour/mvtVIg | 13.932532130102858 | 21717.566666666666 | 1558.7666666666667 |
| STANFORD/knightstour/cEwgNA | 14.060136861709038 | 21642.3 | 1539.2666666666667 |
| BASE/kitten_escapes_from_fire/uW-YiA | 14.246181024628495 | 9139.4 | 641.5333333333333 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 14.312635531813612 | 9020.3 | 630.2333333333333 |
| BASE/endgame/jYjfOA | 14.645441555453289 | 1060.5 | 72.41160985037823 |
| BASE/knightwar/DVGY4Q | 15.53290590231944 | 2745.7 | 176.76666666666668 |
| BASE/kalaha6x2x4/XS81Mg | 15.807374178910004 | 3909.0333333333333 | 247.2917569414353 |
| BASE/ttcc4_2player/_aH_Mw | 15.921075295804947 | 1479.8333333333333 | 92.94807705125642 |
| STANFORD/ttcc4/Cx9SGw | 16.207439811299047 | 1564.7333333333333 | 96.5441397007365 |
| BASE/checkers-newgoals/0XkFiA | 16.315767966903074 | 459.96666666666664 | 28.191542537238828 |
| BASE/3pttc/0sol9g | 16.63691010772404 | 2419.4 | 145.42363842410506 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 17.755047818012997 | 1487.0333333333333 | 83.75270788201966 |
| DRESDEN/pancakes88/aD3E7g | 17.828598863727294 | 22280.4 | 1249.7 |
| BASE/checkersTorusNoKings/pwb6oQ | 17.921606553147576 | 1543.1333333333334 | 86.10463178940353 |
| BASE/ttcc4_2player_alt/ZEJvYA | 18.043987289325845 | 1712.6333333333334 | 94.91435046324068 |
| DRESDEN/skirmish2/iPpWhQ | 18.361592811422945 | 828.3333333333334 | 45.112280935563405 |
| DRESDEN/skirmish/RjGQYQ | 18.896866352201258 | 800.6666666666666 | 42.37034076146697 |
| BASE/checkersBarrelNoKings/rnKNeg | 18.9249960179833 | 1636.4666666666667 | 86.47117627457514 |
| DRESDEN/pawntoqueen/f_x6Aw | 19.244109603219435 | 97.16018932071195 | 5.048827476250581 |
| BASE/pawnToQueen/-O1_JA | 19.394420004887913 | 96.8139705392255 | 4.991846650470897 |
| STANFORD/skirmish/w4V6Vw | 20.326852631593265 | 165.55562962469168 | 8.144676041355009 |
| DRESDEN/Runners/3bOCQw | 20.564537638680022 | 24158.533333333333 | 1174.7666666666667 |
| BASE/checkersTorus/2vm1EQ | 21.221682271762205 | 1332.1 | 62.770707003398414 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 21.707480833333335 | 856.7333333333333 | 39.46719289590528 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 21.7514052276691 | 868.4640250608192 | 39.926800865080686 |
| BASE/4pttc/AL1k2Q | 21.866251785714287 | 1999.4333333333334 | 91.4392348961978 |
| STANFORD/madness/UO_B3A | 21.971818088542744 | 167.23879353441095 | 7.611513660838928 |
| BASE/gt_coordination/IVMOzA | 22.122304701307883 | 16689.066666666666 | 754.4 |
| DRESDEN/pancakes6/SZXMyQ | 22.22505983602383 | 29095.566666666666 | 1309.1333333333334 |
| DRESDEN/pancakes/hl9aiQ | 22.62842021698862 | 28504.266666666666 | 1259.6666666666667 |
| BASE/ruleDepthLinear/OUBJpQ | 22.817523840245155 | 37725.73333333333 | 1653.3666666666666 |
| DRESDEN/satlike_20v_91c/yeuENQ | 22.96086250659981 | 900.2165583874729 | 39.20656543841579 |
| DRESDEN/endgame/IJhh3Q | 23.22887199543333 | 838.3387220425985 | 36.09037589976006 |
| BASE/chess_200/XsTpYA | 23.625724046113064 | 285.5571480950635 | 12.086704624912596 |
| DRESDEN/gt_prisoner/huCp4w | 23.795660870258207 | 14928.9 | 627.3790873637546 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 24.22830130780025 | 931.240209312402 | 38.43605036447979 |
| BASE/amazons_8x8/7SOsIw | 26.25725432756325 | 1314.0 | 50.04331312054374 |
| BASE/skirmishNew/sibw2g | 26.39258274724176 | 625.9458018066065 | 23.716731621198495 |
| BASE/knightThrough/gcwFjA | 26.401661130334485 | 1780.2333333333333 | 67.4288380774615 |
| BASE/skirmishZeroSum/zh4hcw | 27.562124293785313 | 595.4666666666667 | 21.604527296937416 |
| DRESDEN/battle/8oAvhQ | 27.62038751669956 | 105.14563753915884 | 3.8068125393094774 |
| BASE/gt_prisoner/klthDw | 27.914066309117505 | 15267.133333333333 | 546.9333333333333 |
| BASE/battle/8oAvhQ | 27.94026393841437 | 104.10904122371447 | 3.7261294829995344 |
| BASE/gt_staghunt/xPjLRA | 28.491035856573703 | 15256.0 | 535.4666666666667 |
| DRESDEN/gt_chicken/CeuKtw | 29.24574835693475 | 14387.933333333332 | 491.96666666666664 |
| BASE/speedChess/bPnisA | 29.447157367668094 | 685.4333333333333 | 23.276723276723278 |
| STANFORD/platformjumpers/HEQskA | 30.608915214808743 | 780.007333088897 | 25.48301132578281 |
| DRESDEN/blobwars/ZaMluQ | 31.78629212881135 | 566.6288914072395 | 17.826202852192456 |
| BASE/hanoi_6_disks/MeubgQ | 31.797494780793322 | 9138.6 | 287.4 |
| BASE/knightsTourLarge/M8jgLA | 32.52345388947553 | 19505.833333333332 | 599.7466751108296 |
| DRESDEN/hanoi_6_disks/MeubgQ | 32.576407831186756 | 9442.5 | 289.85700476650777 |
| BASE/blobwars/0XT15Q | 33.0743380163627 | 578.8807039765342 | 17.502412404751606 |
| BASE/gt_chicken/gmepTQ | 34.10604779835549 | 14794.066666666668 | 433.76666666666665 |
| BASE/pancakes6/QZTdnw | 35.018996896754174 | 27835.433333333334 | 794.8666666666667 |
| BASE/pancakes/yUgbXw | 36.25027317811213 | 28751.3 | 793.1333333333333 |
| DRESDEN/gt_ultimatum/pAiiQw | 36.343708552882774 | 12690.8 | 349.1883603879871 |
| DRESDEN/fizzbuzz/t1xHzQ | 36.56402759911121 | 31265.9 | 855.1 |
| BASE/gt_ultimatum/GE-uOA | 40.055981479028695 | 12096.1 | 301.97986800879943 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 40.2951139723914 | 394.78684043865206 | 9.797387363369769 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 40.58292244897959 | 396.8 | 9.777511723037016 |
| STANFORD/knightstourbig/TQUI2g | 40.88072546230441 | 19159.433333333334 | 468.6666666666667 |
| BASE/checkers-mustjump/T-8UuQ | 41.33237701149425 | 479.2 | 11.593816631130064 |
| DRESDEN/crossers3/xiPTxg | 42.47936377008373 | 2084.8333333333335 | 49.07873254922867 |
| BASE/checkers-mustjump-torus/uSApKQ | 42.871787023441634 | 366.12112929569014 | 8.539908287366252 |
| BASE/crossers3/O0rORg | 42.87760442338073 | 2110.866666666667 | 49.23005132991134 |
| DRESDEN/connect5/1kYzSg | 43.195332663316584 | 858.9 | 19.884092725819343 |
| DRESDEN/pacman3p/rBnk8Q | 43.326194154895276 | 2964.0666666666666 | 68.41280949048618 |
| BASE/amazonsSuicide_10x10/XIbQkg | 44.267566282420745 | 1023.0333333333333 | 23.11022311022311 |
| BASE/amazons_10x10/Bun8dA | 44.39591178451178 | 1023.5666666666667 | 23.05542617605962 |
| BASE/connect5/d-BVQg | 46.330456654456654 | 842.9333333333333 | 18.193935354881706 |
| BASE/pacman3p/wW7UVQ | 49.11048139245014 | 3063.1666666666665 | 62.37297171225802 |
| BASE/pacman2p/4LEdQg | 49.70091445587439 | 3058.9 | 61.5461512829057 |
| DRESDEN/four_way_battle/xSOQXA | 53.00806298157454 | 350.03333333333336 | 6.60339792938678 |
| BASE/four_way_battle/xSOQXA | 56.130653601306534 | 343.4323234343232 | 6.118445116882254 |
| BASE/amazonsTorus_10x10/Uxc08g | 56.704935986733 | 758.7333333333333 | 13.380375449340967 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 65.1425941645429 | 11074.566666666668 | 170.00499916680553 |
| DRESDEN/hanoi7/51zz5Q | 65.15679926293049 | 11392.233333333334 | 174.8433542194374 |
| BASE/hanoi7_bugfix/3gdnFw | 71.55708245243129 | 11282.166666666666 | 157.66666666666666 |
| DRESDEN/bomberman2p/x4h6jQ | 78.96234930064038 | 10410.766666666666 | 131.84469255124145 |
| DRESDEN/ghostmaze2p/HY0UwA | 79.25280734895192 | 10711.266666666666 | 135.1531513515315 |
| BASE/bomberman2p/4CClwA | 83.35107227958697 | 10493.9 | 125.9 |
| BASE/ghostMaze2p/W-NU-w | 87.67417347026102 | 11381.133333333333 | 129.81169805032494 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 88.74907638542186 | 13.379930104842735 | 0.15076134479119555 |
| DRESDEN/twisty-passages/j7NPyg | 95.70709826511707 | 6310.533333333334 | 65.93589658159526 |
| BASE/knightfight/SJRkAg | 96.7309639584606 | 5276.0 | 54.54303135308033 |
| DRESDEN/quarto/OQzRYQ | 96.82196551133933 | 2511.9666666666667 | 25.944181709185372 |
| DRESDEN/knightfight/4_Ly4w | 97.96906565656566 | 5172.766666666666 | 52.8 |
| BASE/twisty-passages/DiZmmg | 100.40783898305085 | 6319.0 | 62.93333333333333 |
| BASE/racer4/0vs7Ww | 104.4971541759054 | 1569.2666666666667 | 15.017314864144913 |
| DRESDEN/quartosuicide/WIU1oQ | 108.38139194444443 | 2600.2 | 23.99120322548399 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 113.00964920318725 | 11343.9 | 100.37992401519696 |
| BASE/mummyMaze2p_2007/YGA3Vw | 113.72370385259632 | 11314.0 | 99.4867351019864 |
| BASE/quarto/EwBMVQ | 113.88125073964497 | 2564.5 | 22.519071254871914 |
| BASE/quartoSuicide/-23jUg | 115.58708500772798 | 2491.3333333333335 | 21.55373442601106 |
| BASE/gt_tinfoil/Q8DyKg | 148.29673562412341 | 17620.833333333332 | 118.82145118821451 |
| BASE/cylinder-checkers/hlldmw | 160.394816 | 400.8 | 2.4988338775238224 |
| DRESDEN/cylinder-checkers/clOO3Q | 160.42922368421054 | 401.8 | 2.5045312242544076 |
| DRESDEN/checkers-newgoals/IJOqXQ | 170.81421838784235 | 464.3845205159828 | 2.718652609243419 |
| DRESDEN/kalaha_2009/gcC8uA | 178.07047957639938 | 3919.5666666666666 | 22.01132201132201 |
| DRESDEN/racer/vk_ZBA | 178.5402530164534 | 3250.4 | 18.20541835851694 |
| BASE/kalaha_2009/dRiN3g | 179.7734279537456 | 3967.9666666666667 | 22.07204208003196 |
| BASE/amazonsSuicide/dE1QEQ | 182.69334306601633 | 15.660771757523474 | 0.08572163328285282 |
| BASE/racer/QQYQNw | 185.1868400735294 | 3354.7 | 18.115218115218116 |
| DRESDEN/checkers/jIDMIg | 194.22535211267606 | 459.6666666666667 | 2.3666666666666667 |
| BASE/amazons/RKKZjw | 198.0646718146718 | 14.478764478764479 | 0.0731011964229148 |
| DRESDEN/mummymaze2p/k-8edg | 215.99332249084247 | 9823.766666666666 | 45.48180727708917 |
| BASE/mummymaze2p/vpjDdA | 230.67322174871418 | 10458.6 | 45.33946298887334 |
| DRESDEN/chinesecheckers2/06E6-Q | 231.19236686991871 | 2523.8333333333335 | 10.916594555015642 |
| BASE/solitaireChineseCheckers/-ET6gw | 254.9781462191358 | 3525.8333333333335 | 13.827982458948178 |
| BASE/colonelBlottoVariant2/jruwGw | 261.80865053078554 | 10958.133333333333 | 41.855505198613706 |
| BASE/hitori/S8Gsyg | 268.9668482885454 | 302.47983467768813 | 1.1245989481692191 |
| DRESDEN/hitori/S8Gsyg | 271.949158739619 | 304.92600986535126 | 1.121261088942387 |
| BASE/colonelBlottoVariant/X-n-KQ | 280.50366603773585 | 11888.6 | 42.38304678128748 |
| BASE/amazonsTorus/soxT8g | 302.2085 | 5.5 | 0.018199355742806705 |
| BASE/max_knights/2fq3Ag | 313.7529096405229 | 2127.633333333333 | 6.78123857328059 |
| DRESDEN/max_knights/hCipiA | 322.7332790619765 | 2137.733333333333 | 6.623839163865127 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 354.4702171428571 | 409.4 | 1.1549630411826821 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 363.13534646884324 | 409.1530282323923 | 1.1267232237539766 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 375.09240229626755 | 381.2539582013933 | 1.016426768090757 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 407.07273225806455 | 5878.6 | 14.441153961334974 |
| DRESDEN/checkers-mustjump/HUr33w | 415.1891873873874 | 504.3666666666667 | 1.2147875763346248 |
| BASE/wargame02/BkVqqQ | 426.68559753086413 | 1913.8333333333333 | 4.485347863645425 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 443.4042577447336 | 7949.066666666667 | 17.92735754748417 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 461.935198046875 | 7878.966666666666 | 17.056432806982478 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 583.3153219917014 | 9360.7 | 16.047409774936742 |
| DRESDEN/battlebrushes/QHXV4A | 635.6694866435927 | 278.60165961275703 | 0.43828068747456406 |
| BASE/wargame01/_GZFZg | 656.0341294117646 | 2960.6 | 4.512874966817096 |
| BASE/wargame03/klXI8w | 808.4611701030929 | 2611.5 | 3.2302107962303106 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 848.0287067626526 | 21584.233333333334 | 25.45224372855382 |
| BASE/colonelBlotto/jip21A | 875.2846395698925 | 4516.733333333334 | 5.1603022938376 |
| BASE/pancakes88/l2Xaig | 926.9137133891213 | 22142.166666666668 | 23.888055972013994 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | 1380.8566 | 3434.9666666666667 | 2.487562189054726 |
| DRESDEN/chinesecheckers4/-oVNYg | 1531.2228214285715 | 1405.6666666666667 | 0.9180026884364447 |
| DRESDEN/farmers/S_ASnw | 1548.2112533333334 | 2039.2666666666667 | 1.3171759747102212 |
| BASE/gt_two_thirds_2p/1APDGg | 1567.5177432098765 | 4220.2 | 2.6922821245762147 |
| DRESDEN/chinesecheckers3/QsCb2A | 2820.4539739130437 | 2125.366666666667 | 0.7535548129218269 |
| BASE/ad_game_2x2/D0aWqg | 4076.9078999999997 | 1833.9666666666667 | 0.449842555105713 |
| BASE/ruleDepthExponential/UamhHQ | 4892.4688856087905 | 2147.568959632629 | 0.43895403524173826 |
| BASE/gt_attrition/kD_SCA | 5174.156693333333 | 6012.266666666666 | 1.1619800139437602 |
| BASE/crisscross/ICagEg | 38700.88025 | 2292.366666666667 | 0.059232933511032135 |
| DRESDEN/crisscross/GsY16g | 40181.23865 | 2396.233333333333 | 0.05963562632316546 |
| DRESDEN/crissrace/KWb9bw | 47232.72093333334 | 1544.9666666666667 | 0.03270966897814994 |
| BASE/crissrace/ERWGDA | 47490.66533333333 | 1531.1666666666667 | 0.03224142378127418 |
| BASE/merrills/pku8Tg | Infinity | 558.5480483983868 | 0.0 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Infinity | 784.4333333333333 | 0.0 |
| DRESDEN/chinesecheckers6/yTbPDA | Infinity | 1527.5 | 0.0 |
| DRESDEN/merrills/aYEzwA | Infinity | 580.0473317556082 | 0.0 |
Games with errors:
| Game | ALLOY_TUPLE_PROVER:2 error message | REKKURA_BACKWARD_PROVER:1.0.0 error message |
| BASE/sudoku/NTaNkw | Test process timed out after 240 seconds | |
| DRESDEN/vacuumcleaner_obstacles_3/4NjSmw | Test process timed out after 240 seconds | |
| BASE/gt_two_thirds_6p/867v3Q | Test process timed out after 240 seconds | |
| BASE/queens/HyJJnQ | IllegalArgumentException: too many occurrences: 2147484126 | |
| DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | |
| BASE/gt_two_thirds_4p/DStnxQ | Test process timed out after 240 seconds | |
| DRESDEN/queens/mW2wHQ | IllegalArgumentException: too many occurrences: 2147484126 | |
| BASE/mummymaze1p/PT_EXA | Test process timed out after 240 seconds | |
| DRESDEN/vacuumcleaner_obstacles_6/NVwsZw | Test process timed out after 240 seconds | |
| DRESDEN/vacuumcleaner_obstacles_5/fXBV4g | Test process timed out after 240 seconds | |
| BASE/slaughter/cOch8A | Test process timed out after 240 seconds | |
| DRESDEN/laikLee_hex/ZeP3QQ | Test process timed out after 240 seconds | Test process timed out after 240 seconds |
| BASE/laikLee_hex/zbyscQ | Test process timed out after 240 seconds | Test process timed out after 240 seconds |