Game-by-game performance:
| Game | Perf ratio | ALLOY_TUPLE_PROVER:2 states per second | REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per second |
| DRESDEN/ggp-course2013_michal13/jWKddg | 0.26443969981647375 | 29.082550469718168 | 109.97800439912018 |
| BASE/quad/tw-Ufg | 0.28634589641584496 | 0.5939025999736043 | 2.074074074074074 |
| BASE/coins_atomic/AA3SSw | 0.5065150480659462 | 1415.186160461318 | 2793.9666666666667 |
| BASE/coins/QnGtnQ | 0.5099894464864079 | 1401.4 | 2747.9 |
| DRESDEN/coins/QwFP9w | 0.5135059804408681 | 1412.4666666666667 | 2750.633333333333 |
| BASE/sudokuGrade6H/ieE_9A | 0.7455474374680249 | 92.96356788107063 | 124.69168722085195 |
| BASE/sudokuGrade6E/ihYFZA | 0.753139470375289 | 91.74525943946412 | 121.81709105452606 |
| BASE/sudokuGrade3/eI8dvg | 0.7574281238904996 | 92.9240409292404 | 122.68364218104253 |
| BASE/sudokuGrade1/tDRNRw | 0.759323852964851 | 94.31132735695004 | 124.20435231779251 |
| STANFORD/sudoku/oJ1qyQ | 0.7617621994055661 | 93.96666666666667 | 123.3543312335433 |
| BASE/sudokuGrade2/u80Tfw | 0.7743483767748817 | 95.19365375641624 | 122.93388429752066 |
| BASE/sudokuGrade5/BQfUQA | 0.7844979351065047 | 97.16342788573714 | 123.85428123854281 |
| BASE/sudokuGrade4/DTy07w | 0.7925943612497689 | 95.26666666666667 | 120.19599346688443 |
| BASE/blokbox_simple/JBx4bg | 0.9588726522858166 | 4.739807756049055 | 4.943104535049597 |
| STANFORD/duidoku/3SoMaA | 1.1005645628111649 | 85.15247458756873 | 77.37163040218587 |
| DRESDEN/grid_game2/kypTYQ | 1.2068727467975762 | 524.4491850271658 | 434.55218159394684 |
| DRESDEN/quad_7x7/q-JOXg | 1.4837092414227908 | 34.80610816266727 | 23.458847050983007 |
| BASE/ticTacHeaven/18n58A | 1.4893451396321884 | 510.1829939002033 | 342.5552481583947 |
| BASE/quad_7x7/q-JOXg | 1.4977138525441869 | 35.214506274226395 | 23.51217237819296 |
| BASE/ticTacHeavenFC/mrletw | 1.5920838802927704 | 477.31742275257494 | 299.80670532560157 |
| STANFORD/selectivesukoshi/3xmXYg | 1.687260741102723 | 221.81854543030465 | 131.46666666666667 |
| STANFORD/multiplesukoshi/vLSQPg | 1.8428841979901154 | 229.78468102126524 | 124.68753124687531 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 1.880213946433561 | 1570.1666666666667 | 835.1 |
| DRESDEN/cubicup_3player/awDtsQ | 2.1118902743871955 | 375.16248375162485 | 177.64298093587522 |
| BASE/cubicup_3player/e2yA_g | 2.1431434393685906 | 379.9540015332822 | 177.28818078794748 |
| BASE/pearls/6k_mEQ | 2.1809922659436434 | 31264.233333333334 | 14334.866666666667 |
| DRESDEN/pawn_whopping/4ogBkg | 2.241067817176756 | 1662.2 | 741.7 |
| DRESDEN/lightsout/XgLpzQ | 2.262090641792558 | 2231.1 | 986.3 |
| BASE/withConviction/3Xm54A | 2.288624594548455 | 1340.6 | 585.7666666666667 |
| BASE/conn4/va9Y7A | 2.3186474675836375 | 1078.8666666666666 | 465.3 |
| DRESDEN/quad/JPe6fg | 2.431196379688877 | 4.9606455453403 | 2.0404133482524847 |
| BASE/blocksWorldParallel/RseaAQ | 2.4713307033354655 | 1416.7666666666667 | 573.2808906369787 |
| BASE/zhadu/DlA8iQ | 2.4969654591003096 | 55.06299580027998 | 22.051965356429047 |
| DRESDEN/tictactoeparallel/yk_DSg | 2.62040953957452 | 2849.4333333333334 | 1087.4 |
| BASE/doubletictactoe/HH1htg | 2.6505928651742816 | 3457.4333333333334 | 1304.4 |
| DRESDEN/doubletictactoe/lJzgmQ | 2.677893576247605 | 3400.3 | 1269.7666666666667 |
| DRESDEN/bunk_t/7-tPfA | 2.70951007119981 | 3412.266666666667 | 1259.3666666666666 |
| BASE/bunk_t/xbpfIA | 2.7421321160042966 | 3403.9 | 1241.3333333333333 |
| DRESDEN/doubletoetictac/V89gKQ | 2.745193439535431 | 3498.2 | 1274.3 |
| BASE/doubletoetictac/fu35bg | 2.7620138533272245 | 3415.9666666666667 | 1236.7666666666667 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 2.893372349610601 | 664.511182960568 | 229.66666666666666 |
| DRESDEN/latenttictactoe/kITHKg | 2.8978696577267593 | 3677.3 | 1268.9666666666667 |
| DRESDEN/lightsout2/LFtfyQ | 2.915814400439289 | 2832.0333333333333 | 971.2666666666667 |
| STANFORD/duikoshi/tpw1sw | 2.9437915479582144 | 1653.2333333333333 | 561.6 |
| DRESDEN/slidingpieces/s9_44g | 2.991003727027374 | 775.740808639712 | 259.3580213992867 |
| BASE/slidingpieces/uFJWEw | 3.0073381887897983 | 775.5666666666667 | 257.8914036198793 |
| DRESDEN/blockerparallel/dVQgSg | 3.0327481697236873 | 1284.1666666666667 | 423.43333333333334 |
| DRESDEN/eotcatcit/mQUxzA | 3.0381726578678947 | 6552.933333333333 | 2156.866666666667 |
| BASE/blockerParallel/7-nDJA | 3.0847744712990934 | 1293.3 | 419.2526915769474 |
| DRESDEN/blocker/S815zQ | 3.097109696502058 | 6422.166666666667 | 2073.6 |
| DRESDEN/tictactoex9/rFkD4w | 3.107475169890225 | 990.7666666666667 | 318.8333333333333 |
| BASE/eotcatcit/AfZSzA | 3.1300712741250902 | 6514.2 | 2081.1666666666665 |
| BASE/snake2p/I3wWPQ | 3.135750163849921 | 946.2333333333333 | 301.7566081130629 |
| BASE/tictactoex9/BI26ow | 3.168777707409753 | 1000.6666444451852 | 315.7894736842105 |
| DRESDEN/chickentictactoe/Ipbo-g | 3.1797832105825083 | 5857.266666666666 | 1842.0333333333333 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 3.220583898554999 | 1456.1333333333334 | 452.1333333333333 |
| BASE/haystack/UkweGA | 3.2857009785656857 | 44679.4 | 13598.133333333333 |
| BASE/cubicup/4wNWJA | 3.3237359070652444 | 737.2666666666667 | 221.81866648895405 |
| DRESDEN/cubicup/SBn_lw | 3.3268376176176178 | 738.5333333333333 | 221.99260024665844 |
| BASE/lightsOut/5P1ZBw | 3.3539650579315774 | 2177.4333333333334 | 649.2116929435686 |
| BASE/sum15/QZ07Kg | 3.4355824649240256 | 7868.4 | 2290.266666666667 |
| BASE/ticblock/T21C1g | 3.4550044140366367 | 4174.566666666667 | 1208.2666666666667 |
| DRESDEN/sum15/CsgWKg | 3.4557760663507113 | 7777.8 | 2250.6666666666665 |
| BASE/nineBoardTicTacToe/wRmqqA | 3.5483112082003023 | 703.8666666666667 | 198.36666666666667 |
| DRESDEN/tictactoelarge/IwXcbg | 3.5650801900801903 | 3200.9666666666667 | 897.8666666666667 |
| DRESDEN/tictactoe/BTTzPw | 3.582166392092257 | 6958.0 | 1942.4 |
| STANFORD/sukoshi/4LYZZQ | 3.597043851262306 | 4640.066666666667 | 1289.9666666666667 |
| STANFORD/nineboardtictactoe/y28P-A | 3.638712404287902 | 712.8 | 195.8934702176594 |
| BASE/simultaneousWin2/PfjRjw | 3.6564960983342796 | 1717.0333333333333 | 469.58434718842705 |
| BASE/lightsOnParallel/SC6enA | 3.7078351128283678 | 5405.9 | 1457.9666666666667 |
| BASE/ticTacToeNoVars/XT03NA | 3.8039107821564317 | 5070.866666666667 | 1333.0666666666666 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 3.805755665616089 | 3381.0333333333333 | 888.4 |
| BASE/futoshiki6/JmvXNA | 3.836765278126307 | 509.6333333333333 | 132.82890570314322 |
| BASE/double_tictactoe_dengji/zgaSbA | 3.8635719073848165 | 3483.6666666666665 | 901.6699443351888 |
| DRESDEN/ticblock/Z2yNWQ | 3.9475336038549327 | 4150.7 | 1051.4666666666667 |
| DRESDEN/peg/Vo31eg | 4.031509625304136 | 1380.7 | 342.4771681887874 |
| DRESDEN/tictictoe/LAUtwg | 4.034238668124924 | 4426.366666666667 | 1097.2 |
| BASE/lightsOnSimul4/9FeASw | 4.049397863443518 | 1474.0666666666666 | 364.0211992933569 |
| BASE/factoringGeorgeForman/HGRorQ | 4.055273803055003 | 13433.5 | 3312.6 |
| BASE/lightsOnSimultaneous/_VN6lw | 4.063414000795123 | 2044.1 | 503.0498983367221 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 4.066332034541349 | 1941.0666666666666 | 477.35075497483416 |
| DRESDEN/peg_bugfixed/u_B7MA | 4.088844554391411 | 1404.8333333333333 | 343.57709486034264 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 4.089025294553844 | 3308.5666666666666 | 809.1333333333333 |
| BASE/futoshiki5/TJ4BZg | 4.106762948588143 | 811.0333333333333 | 197.487252974306 |
| BASE/eotcitcit/V_9_bg | 4.109120773545728 | 4419.633333333333 | 1075.5666666666666 |
| BASE/tictactoe2/bhrDoQ | 4.126642432119575 | 6773.333333333333 | 1641.3666666666666 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 4.138343870358259 | 7593.033333333334 | 1834.8 |
| BASE/tictactoe_orthogonal/WRzlVw | 4.2401774513190675 | 7773.8 | 1833.3666666666666 |
| STANFORD/triplesukoshi/Iu9mbA | 4.3328222426658485 | 1412.9333333333334 | 326.1 |
| DRESDEN/tpeg/h-Scbg | 4.337733667373289 | 1500.5666666666666 | 345.93333333333334 |
| BASE/brain_teaser_extended/ZDp94A | 4.383888612630532 | 6758.933333333333 | 1541.7666666666667 |
| BASE/tpeg/QNs7Lw | 4.505057470010906 | 1514.7 | 336.2221259291357 |
| DRESDEN/brain_teaser_extended/ZDp94A | 4.506865144100054 | 6630.5 | 1471.2 |
| DRESDEN/CephalopodMicro/H3XQfg | 4.5085466497708575 | 116.90215942415355 | 25.92901183136144 |
| BASE/survival/YVIjJA | 4.559610303830912 | 31294.733333333334 | 6863.466666666666 |
| BASE/futoshiki4/BaCwSw | 4.604825107505864 | 1570.5 | 341.0552981567281 |
| DRESDEN/sheep_and_wolf/enAIzQ | 4.6227808246884585 | 1574.4666666666667 | 340.58864704509847 |
| BASE/snakeAssemblit/UO4sdg | 4.804579551954242 | 1007.9 | 209.77902209779023 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 4.8537832310838445 | 474.68417719409354 | 97.79674010866304 |
| STANFORD/tictactoe3/X7myng | 4.876085926393935 | 6174.1 | 1266.2 |
| DRESDEN/tictactoe-init1/3ltIBQ | 4.883517887563884 | 6879.9 | 1408.8 |
| DRESDEN/lightson2x2/gBHuig | 4.891055913319023 | 7974.866666666667 | 1630.5 |
| BASE/minichess-evilconjuncts/4OpQzw | 4.8973014577950815 | 476.11746275124165 | 97.22037061725104 |
| BASE/tictactoe-init1/7M19vA | 4.903436161509216 | 6792.566666666667 | 1385.2666666666667 |
| BASE/blocksWorldSerial/Wyg96Q | 4.906941592516541 | 5735.233333333334 | 1168.8 |
| STANFORD/multipletictactoe/_bkafQ | 4.9632139337952275 | 1002.8666666666667 | 202.05993133562214 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 4.986136405503793 | 426.5191160294657 | 85.54100436535705 |
| BASE/numbertictactoe/rvJ-iQ | 5.126882160392799 | 4176.7 | 814.6666666666666 |
| BASE/majorities/ibJzSQ | 5.159528764584015 | 525.6333333333333 | 101.87622887992802 |
| DRESDEN/catcha_mouse/cHv4dw | 5.241543495362216 | 1983.9666666666667 | 378.508099460036 |
| BASE/breakthroughSmallHoles/bxclRw | 5.266649774352565 | 1685.5666666666666 | 320.04533031131257 |
| BASE/chickentictactoe/DSlZCA | 5.281840267233525 | 5797.7 | 1097.6666666666667 |
| BASE/catcha_mouse/cHv4dw | 5.295613074826343 | 2007.5 | 379.0873637545415 |
| BASE/ticTacToeLarge/TZC0dg | 5.356577310259021 | 3157.1666666666665 | 589.4 |
| BASE/connectFourSimultaneous/7ITr3g | 5.381678039823263 | 1041.9333333333334 | 193.607518997467 |
| BASE/chickentoetictac/l57rfQ | 5.389276829747304 | 8232.3 | 1527.5333333333333 |
| DRESDEN/chickentoetictac/cxYaRQ | 5.448073213404514 | 8096.2 | 1486.0666666666666 |
| BASE/ticTacToeLargeSuicide/727_8g | 5.4620148872095005 | 3204.2 | 586.6333333333333 |
| BASE/cephalopodMicro/9l2D3g | 5.4706966985614915 | 115.6961434618846 | 21.148338106973956 |
| STANFORD/trifecta/ss1kyQ | 5.520759809549721 | 6763.4 | 1225.0849943337112 |
| BASE/blocksWorld/SEdXLQ | 5.524361435109996 | 14966.6 | 2709.2 |
| BASE/blocks/xIV5hQ | 5.6169801262103425 | 15102.0 | 2688.633333333333 |
| BASE/onestep/xi53wA | 5.636652605721593 | 40844.5 | 7246.233333333334 |
| STANFORD/tictactoe/ss1kyQ | 5.6598268588022576 | 6886.5 | 1216.7333333333333 |
| STANFORD/tictactoe5/WFRReg | 5.660172788648587 | 6595.233333333334 | 1165.2 |
| DRESDEN/blocks/vg0DRw | 5.663015358211027 | 14958.1 | 2641.366666666667 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 5.710405126486848 | 1136.0666666666666 | 198.94677198946772 |
| BASE/golden_rectangle/_nYzfw | 5.743249480203495 | 576.9666666666667 | 100.45996933537764 |
| BASE/tictactoe_3d_small_6player/g_9lww | 5.781205507246376 | 1152.2333333333333 | 199.30675909878684 |
| BASE/blocker/dIWtxg | 5.81530245833717 | 6316.0 | 1086.1 |
| BASE/ticTacToeParallel/ymRGPw | 5.819971873822349 | 2917.0666666666666 | 501.2166261124629 |
| BASE/ticTacToeSerial/Amrwqw | 5.840298598788472 | 3181.6 | 544.7666666666667 |
| BASE/ticTacToe/JRFsaQ | 5.847261769828325 | 7050.433333333333 | 1205.7666666666667 |
| BASE/toetictac/mTThmg | 5.852332956816405 | 8980.6 | 1534.5333333333333 |
| DRESDEN/blocks2player/3ev8nQ | 5.860367765119658 | 10219.7 | 1743.8666666666666 |
| BASE/pawnWhopping/Ypc_6Q | 5.896378390949088 | 1563.3666666666666 | 265.14015265140154 |
| BASE/lightsOn/MsXu3A | 5.910142361665384 | 13575.4 | 2296.9666666666667 |
| BASE/blocks2player/wnTLOQ | 5.959721100628312 | 10086.033333333333 | 1692.3666666666666 |
| BASE/tictactoe_3d_small_2player/oOryKA | 5.997137879542061 | 1606.4333333333334 | 267.8666666666667 |
| DRESDEN/pentago_2008/hLjVpQ | 6.007118311242022 | 815.7666666666667 | 135.8 |
| STANFORD/tictactoe7/-bE9-A | 6.019025808156434 | 6833.4 | 1135.3 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 6.054478072884497 | 1633.7 | 269.8333333333333 |
| STANFORD/tictictoe/rpt_Dw | 6.076042370971377 | 4493.233333333334 | 739.5 |
| DRESDEN/toetictac/mJtxCA | 6.0812912756343405 | 9331.133333333333 | 1534.4 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 6.106967554718612 | 6594.1 | 1079.7666666666667 |
| DRESDEN/towerworld/HCX34w | 6.119737472047318 | 109.89267382174522 | 17.957089552238806 |
| BASE/ticTicToe/c1OobQ | 6.133101617242092 | 4280.966666666666 | 698.0100663311223 |
| DRESDEN/buttons/ADUaHw | 6.262315814490392 | 24593.366666666665 | 3927.2 |
| BASE/buttons/hTcUjw | 6.456254907985934 | 25212.966666666667 | 3905.2 |
| DRESDEN/blocksworldparallel/2JfVaw | 6.45935376836783 | 5450.833333333333 | 843.8666666666667 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 6.528098951331002 | 6474.133333333333 | 991.7333333333333 |
| DRESDEN/javastrike/whONTQ | 6.6506473797119225 | 723.2 | 108.7412936981371 |
| DRESDEN/stratego/Z2wovg | 6.694869975581802 | 1492.6333333333334 | 222.95180321311912 |
| BASE/circlesolitaire/azuQFQ | 6.837308023467692 | 11382.066666666668 | 1664.7 |
| BASE/3pConnectFour/PqXOFQ | 6.920207021384071 | 1369.8333333333333 | 197.9468719794687 |
| DRESDEN/circlesolitaire/ruUilQ | 6.9804239152169565 | 11636.366666666667 | 1667.0 |
| BASE/stateSpaceSmall/Q7osKA | 7.0208208523832045 | 22266.533333333333 | 3171.5 |
| BASE/incredible/8Qh-6Q | 7.030532819772107 | 5840.966666666666 | 830.8 |
| DRESDEN/connectfoursuicide/M9CNQg | 7.239166415561052 | 2146.1 | 296.45678477384087 |
| DRESDEN/statespacesmall/h-NqjA | 7.24491910333424 | 23076.033333333333 | 3185.133333333333 |
| BASE/troublemaker01/s3tlEQ | 7.2850103261859935 | 31982.166666666668 | 4390.133333333333 |
| BASE/duplicateStateSmall/bCPAXw | 7.3090778595188475 | 17651.666666666668 | 2415.0333333333333 |
| DRESDEN/troublemaker01/C-lPWw | 7.423223030802324 | 32438.0 | 4369.8 |
| DRESDEN/connectfour/5tc-Mg | 7.761221093718884 | 2164.8333333333335 | 278.92947606985734 |
| DRESDEN/troublemaker02/iZLVuA | 7.775008709167404 | 29014.0 | 3731.7 |
| BASE/blockerSerial/3eqDuw | 7.781174913811195 | 2883.866666666667 | 370.62097930068995 |
| BASE/firefighter/WJmoPw | 7.841484355125923 | 8219.966666666667 | 1048.2666666666667 |
| DRESDEN/statespacelarge/8-y5HQ | 7.860504816485795 | 10744.0 | 1366.8333333333333 |
| DRESDEN/tictactoe_3player/ESLQQQ | 7.870027324843552 | 1998.1333333333334 | 253.89153694876836 |
| BASE/coloredtrails/EZvr7g | 7.980210016155089 | 3951.8 | 495.2 |
| BASE/troublemaker02/DI83KA | 8.099250440514558 | 29570.633333333335 | 3651.0333333333333 |
| BASE/stateSpaceMedium/3bUoIw | 8.132908921144216 | 15968.966666666667 | 1963.5 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 8.160868690931027 | 10822.4 | 1326.1333333333334 |
| DRESDEN/statespacemedium/dVJZ_w | 8.177824267782427 | 16417.8 | 2007.6 |
| DRESDEN/firefighter/WJmoPw | 8.208086785009861 | 8323.0 | 1014.0 |
| BASE/connectFourSuicide/c8p9Kw | 8.230903773020552 | 2140.1666666666665 | 260.01599893340443 |
| BASE/switches/tPUoCg | 8.282798882309892 | 16599.833333333332 | 2004.1333333333334 |
| BASE/stateSpaceLarge/0Ge_CQ | 8.315643989038485 | 11632.2 | 1398.8333333333333 |
| STANFORD/dualrainbow/G3OnRQ | 8.465919418358073 | 7452.266666666666 | 880.2666666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 8.564708691499524 | 2391.266666666667 | 279.2 |
| DRESDEN/8puzzle/8fKC2w | 8.567813317239992 | 7098.433333333333 | 828.5 |
| DRESDEN/golden_rectangle/1uloXw | 8.598469700121338 | 551.0333333333333 | 64.0850468224081 |
| BASE/hodgepodge/9yjRkw | 8.667107090829015 | 8527.566666666668 | 983.9 |
| DRESDEN/Zhadu/9zpQ5w | 8.683719153874412 | 222.50366617784294 | 25.623084099693457 |
| STANFORD/breakthrough/d5j0cQ | 8.71522135022582 | 1650.7333333333333 | 189.4080789228103 |
| BASE/hidato19/rRHSmA | 8.761435448966408 | 1205.5333333333333 | 137.59541348621713 |
| BASE/connectFour/WAIKTw | 8.816012741416309 | 2191.0 | 248.52504916502784 |
| DRESDEN/battlesnakes1509/-qZrLw | 8.878305989238775 | 2236.6666666666665 | 251.92493583547216 |
| DRESDEN/snake_2009/zIYLVw | 8.979019568287272 | 1483.6333333333334 | 165.23333333333332 |
| BASE/alexChess/LNo83g | 9.007716820447909 | 46.83388294860264 | 5.1993067590987865 |
| DRESDEN/battlesnakes2011/93VtTw | 9.032374146130566 | 2320.9333333333334 | 256.95717380436594 |
| BASE/snake_2009/7l-qAQ | 9.159447278150635 | 1501.1333333333334 | 163.88907406172922 |
| STANFORD/connectfour/VMpZkQ | 9.263256468906361 | 2159.6666666666665 | 233.14335233143353 |
| BASE/qyshinsu/R08Lzw | 9.266829529698333 | 549.2666666666667 | 59.272339574865065 |
| DRESDEN/mimikry/GJEhwA | 9.295515159181951 | 1469.0333333333333 | 158.03678528588566 |
| BASE/snake_2009_big/-oRfVw | 9.296732049382715 | 1254.9333333333334 | 134.98650134986502 |
| DRESDEN/snake_2009_big/DgC1NQ | 9.385255302651327 | 1250.7 | 133.26222459251358 |
| BASE/tictactoe_3player/GtM71g | 9.555519948726165 | 1987.8666666666666 | 208.03333333333333 |
| DRESDEN/babel/WdSW4A | 9.56299819004525 | 845.2 | 88.38232353529294 |
| STANFORD/dualhunter/1rPZjQ | 9.564344372336304 | 3291.3 | 344.12186260457986 |
| BASE/connect4/50bOyw | 9.72569989488069 | 1027.7666666666667 | 105.67534242010197 |
| BASE/mineClearingSmall/frsbvw | 9.789881857291205 | 733.0666666666667 | 74.88003199146894 |
| STANFORD/untwistycorridor/EDPPAQ | 9.79101662747532 | 27342.066666666666 | 2792.5666666666666 |
| DRESDEN/connect4/T0-rHQ | 9.82477012306046 | 1019.8666666666667 | 103.80565182617968 |
| BASE/connectFour_9x6/B9TtMw | 9.913759526209677 | 1966.3 | 198.3404978506448 |
| BASE/untwistycomplex2/EDPPAQ | 10.051831971719416 | 28339.8 | 2819.366666666667 |
| DRESDEN/cube_2x2x2/fp-34Q | 10.126420758841439 | 4323.5 | 426.95243491883605 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 10.549520315450405 | 2110.4666666666667 | 200.0533297780148 |
| BASE/pentago/86NgKw | 10.583830820995962 | 786.3 | 74.2925707429257 |
| BASE/othello-comp2007/86ZoMw | 10.692343441736304 | 23.487141954156826 | 2.196631831192172 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 10.888640232619615 | 457.53333333333336 | 42.01932689103632 |
| BASE/crisscross/ICagEg | 10.93027532845942 | 2292.366666666667 | 209.72634245525148 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 11.007439005363238 | 2257.4 | 205.07949205079493 |
| BASE/pentagoSuicide/SBgNhw | 11.08147412755716 | 818.3333333333334 | 73.84697414022928 |
| BASE/tictactoe_3d_6player/d7KSwg | 11.224396946947916 | 448.73675088327445 | 39.97869578243068 |
| BASE/dualConnect4/WbCQkg | 11.274662214411247 | 1282.8 | 113.77724455108978 |
| DRESDEN/logistics/fPru1Q | 11.32045197740113 | 3339.5333333333333 | 295.0 |
| STANFORD/rainbow/_4qNSQ | 11.32904099527154 | 16452.033333333333 | 1452.2 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 11.450529672897195 | 2286.9 | 199.72001866542232 |
| STANFORD/untwistycomplex/HTWEwg | 11.47042010462169 | 28359.466666666667 | 2472.4 |
| DRESDEN/crisscross/GsY16g | 11.533674993315149 | 2396.233333333333 | 207.75974134195528 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 11.571857284503439 | 2411.8 | 208.4194387040864 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 11.708860112356147 | 536.5308979401374 | 45.822641383677144 |
| DRESDEN/oisters_farm/pTQMLg | 11.763511495968947 | 13132.0 | 1116.3333333333333 |
| BASE/strangeSkirmish/gc1zKA | 11.790789984614968 | 168.87185469088485 | 14.322352862805182 |
| BASE/othelloSuicide/B442jg | 11.88293318786069 | 22.747710241465445 | 1.9143177767509407 |
| DRESDEN/grid_game/U7_Yeg | 12.050222835183602 | 2351.5666666666666 | 195.14715195147153 |
| BASE/connectFourLarge/aU644A | 12.069200524246394 | 1534.8 | 127.16666666666667 |
| BASE/tictactoe_3d_2player/IUC1rQ | 12.127014413075782 | 543.7 | 44.83378855505962 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 12.276096957264958 | 1994.5333333333333 | 162.47292117980336 |
| BASE/duplicateStateMedium/U163eQ | 12.37079747233289 | 9314.9 | 752.9749008366388 |
| BASE/nonogram_10x10_1/0Xc62g | 12.389277006779428 | 139.3907072861809 | 11.250915385127488 |
| DRESDEN/3pttc/uwYBZw | 12.641271763106209 | 2788.9 | 220.61862542497167 |
| BASE/skirmishHoles/AUCxCA | 12.733182088936005 | 197.18685420971934 | 15.486062543710661 |
| BASE/snakeParallel/RCVNtw | 13.327727577191503 | 6853.333333333333 | 514.2161927935736 |
| BASE/othelloHoles/c0qAzw | 13.354057332281196 | 25.815262649478697 | 1.9331400193314001 |
| STANFORD/bestbuttonsandlights/nm0wEA | 13.357861685854601 | 16591.8 | 1242.1 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 13.459003893254053 | 2112.3333333333335 | 156.94574056792428 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 13.47470558294843 | 353.10979268048794 | 26.205380927011188 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 13.560912115036231 | 1995.9666666666667 | 147.18528147185282 |
| STANFORD/8puzzle/jNiGtw | 13.711285225177772 | 6941.566666666667 | 506.26666666666665 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 13.737886748394628 | 784.4333333333333 | 57.1 |
| STANFORD/buttonsandlights/eyhJpA | 13.791443530291698 | 46097.9 | 3342.5 |
| DRESDEN/3pffa/0YrmQw | 13.836553468880957 | 2971.3333333333335 | 214.74519214745192 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 13.937204391891893 | 2062.5 | 147.985201479852 |
| BASE/eightPuzzle/vLrgFg | 14.0356309041292 | 6971.733333333334 | 496.7167761074631 |
| BASE/maze/cCX3qQ | 14.184408064054903 | 26454.866666666665 | 1865.0666666666666 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 14.539348573819002 | 41.33910726182545 | 2.843257182530499 |
| DRESDEN/aipsrovers01/qS47Mw | 14.560818713450292 | 5809.766666666666 | 399.0 |
| STANFORD/eightpuzzle/W_aWbA | 14.65025419597465 | 7012.1 | 478.6333333333333 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 14.756195302824347 | 3256.366666666667 | 220.67793220677933 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 14.781629313953047 | 12949.2 | 876.0333333333333 |
| BASE/nonogram_5x5_1/qLKEZw | 14.841784533333334 | 741.8666666666667 | 49.985004498650405 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 14.936739589117844 | 18097.353686175178 | 1211.6 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 15.006594364815522 | 18357.066666666666 | 1223.2666666666667 |
| BASE/aipsrovers01/4C4jsw | 15.056507593135201 | 5994.4 | 398.12685398126854 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 15.071114128187457 | 2186.6 | 145.0854914508549 |
| STANFORD/hunter/14dD-g | 15.462995724605632 | 6992.366666666667 | 452.2 |
| DRESDEN/point_grab/r5DPmQ | 15.474584874193315 | 21341.0 | 1379.1 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 15.526834328061668 | 14590.04865693528 | 939.6666666666666 |
| DRESDEN/catch_me/ghGWrA | 15.629279811097991 | 14561.8 | 931.7 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 15.856331970102946 | 14991.633333333333 | 945.4666666666667 |
| DRESDEN/Thief_Police/CX18rA | 15.884086166035868 | 14968.633333333333 | 942.3666666666667 |
| DRESDEN/backgammon/mqCW0Q | 16.16682866043614 | 806.8333333333334 | 49.906716417910445 |
| BASE/breakthroughSmall/HJ0tIA | 16.65686531664212 | 1507.7 | 90.51523028727588 |
| BASE/asteroidsSerial/id2QkA | 16.6610498614037 | 5008.7 | 300.62331255624815 |
| BASE/beatMania/qUHwvQ | 16.71790114965312 | 8433.9 | 504.4831838938702 |
| STANFORD/3puzzle/41ibjA | 16.756028610354225 | 16398.566666666666 | 978.6666666666666 |
| STANFORD/threepuzzle/41ibjA | 16.97709740460109 | 16505.7 | 972.2333333333333 |
| BASE/pegEuro/5awwhg | 17.151281665837068 | 1148.0666666666666 | 66.93766034718288 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 17.212850863664407 | 29762.166666666668 | 1729.0666666666666 |
| BASE/hidato37/pBrqxw | 17.24539535832977 | 308.5897136762108 | 17.894035321559482 |
| BASE/breakthroughSuicideSmall/XSbJog | 17.309630637346256 | 1547.8 | 89.41843026162306 |
| BASE/queens31lg/0gID-A | 17.578451334066152 | 18.553679091302755 | 1.0554785935747741 |
| DRESDEN/knightwar/7hhAqg | 17.77447485303723 | 2721.0 | 153.08469153084692 |
| BASE/skirmishFinal3/-Olhfw | 17.964202648546504 | 287.690410319656 | 16.014649575495255 |
| DRESDEN/skirmishfinal/hzq8ww | 18.00272930768677 | 269.09103029899 | 14.947235260827592 |
| BASE/queens08lg/Ru7eqQ | 18.034912718204488 | 723.2 | 40.1 |
| BASE/tron_10x10/7ZTgDg | 18.148083077345035 | 4410.9 | 243.0504633024465 |
| BASE/skirmishFinal2/gdB62Q | 18.167959341814573 | 265.8489434037731 | 14.632845571814272 |
| DRESDEN/chinesecheckers1/Y-ftaA | 18.175124018558172 | 3395.0 | 186.79377354088197 |
| BASE/connect5/d-BVQg | 18.179726815240834 | 842.9333333333333 | 46.36666666666667 |
| BASE/gt_dollar/TGjqRw | 18.209303490060584 | 12121.933333333332 | 665.7 |
| STANFORD/pentago/ZxzLmg | 18.310543669698284 | 1409.0666666666666 | 76.95384102649558 |
| BASE/skirmishFinal1/ecWTnQ | 18.627935704612316 | 268.22439252024935 | 14.399040063995734 |
| BASE/checkLines/Vop7oQ | 18.724843942814143 | 2764.6666666666665 | 147.646980402613 |
| BASE/cittaceot/fDxhXg | 19.048963529411765 | 1888.8333333333333 | 99.1567509915675 |
| BASE/rubiksCube/9tNO9Q | 19.08289408644922 | 1598.9333333333334 | 83.78882815624583 |
| DRESDEN/chinesecheckers3/QsCb2A | 19.11110344620917 | 2125.366666666667 | 111.2110911151103 |
| BASE/escortLatch/mX9BjQ | 19.672858087649402 | 1645.6333333333334 | 83.6499366793308 |
| BASE/duplicateStateLarge/dcjyuw | 20.036340511950904 | 5513.633333333333 | 275.1816545563629 |
| DRESDEN/capture_the_king/EQ229Q | 20.517948205179483 | 292.47075292470754 | 14.25438596491228 |
| DRESDEN/frogs_and_toads/GjchhQ | 20.5730867745756 | 1736.5333333333333 | 84.40801093005432 |
| BASE/peg/fJHVWw | 20.591428969038212 | 1388.6333333333334 | 67.43744377436444 |
| DRESDEN/chomp/-LcqYQ | 21.080337012858557 | 4735.733333333334 | 224.65168988734084 |
| BASE/englishDraughts/jFkQxg | 21.41717297297297 | 1928.0666666666666 | 90.02433090024331 |
| BASE/chomp/-LcqYQ | 21.56904706935123 | 4820.2 | 223.4776522347765 |
| BASE/asteroidsParallel/WauZiA | 21.77811548124116 | 5817.466666666666 | 267.1244291856938 |
| BASE/connectFourLarger/qKi60A | 21.790996144605977 | 977.2007599746676 | 44.84424454439447 |
| BASE/hexPie/48CH6Q | 21.803340331491714 | 525.7666666666667 | 24.11404209965361 |
| DRESDEN/chinesecheckers4/-oVNYg | 22.538749331908072 | 1405.6666666666667 | 62.36666666666667 |
| BASE/skirmish/Y_psYQ | 23.301426476469807 | 182.04239434742036 | 7.8125 |
| BASE/hex/T1MK8g | 23.954618230563 | 595.4333333333333 | 24.856723977075838 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 24.542727085841822 | 13.379930104842735 | 0.5451688419972421 |
| DRESDEN/chinesecheckers2/06E6-Q | 25.300733489252703 | 2523.8333333333335 | 99.75336621783762 |
| STANFORD/hex/MTqWcw | 25.543184916201117 | 608.9 | 23.838060993474496 |
| STANFORD/alquerquezero/uVgA_A | 25.881397089814353 | 1718.7 | 66.4067706250833 |
| DRESDEN/breakthrough/z4hK7Q | 25.984364573570762 | 923.5 | 35.54060355739124 |
| DRESDEN/minichess/c7GMFw | 26.59115937133474 | 2518.733333333333 | 94.72070390614584 |
| DRESDEN/amazons/dNB28A | 26.773113563950087 | 151.8978904922185 | 5.673523556735236 |
| DRESDEN/4pttc/9pB9AQ | 26.990189189189184 | 2263.2 | 83.85269121813032 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 27.004978782172003 | 955.4666666666667 | 35.381130063965884 |
| DRESDEN/chinesecheckers6/yTbPDA | 27.845786755771567 | 1527.5 | 54.85569552756115 |
| BASE/asteroids/BKCmPQ | 28.047252650526726 | 12897.566666666668 | 459.8513382887237 |
| BASE/point_grab/V_osUg | 28.451198401206636 | 19910.433333333334 | 699.8100063331223 |
| BASE/brawl/6Ymo_Q | 28.733483195592285 | 347.46666666666664 | 12.092744353387967 |
| BASE/endgame/jYjfOA | 28.94297318181818 | 1060.5 | 36.6410179540988 |
| DRESDEN/brawl/2kXtfQ | 29.642196580834003 | 347.17685487634157 | 11.712251281027484 |
| BASE/breakthroughWalls/vOZaYA | 29.89384563617245 | 947.0666666666667 | 31.680991405156906 |
| BASE/breakthrough/TGxk-g | 30.152956957588504 | 954.7666666666667 | 31.664114004128653 |
| BASE/breakthroughSuicide/wZDpIg | 30.28454075630252 | 960.9333333333333 | 31.730160317301603 |
| BASE/minichess/8NQEiA | 30.73189336359706 | 3159.133333333333 | 102.79657344755175 |
| BASE/crissrace/ERWGDA | 32.0307262485482 | 1531.1666666666667 | 47.80305806322662 |
| DRESDEN/crissrace/KWb9bw | 32.38280342178771 | 1544.9666666666667 | 47.70947859403631 |
| STANFORD/pilgrimage/ObRZnQ | 33.85463467273187 | 1487.5333333333333 | 43.938838735467534 |
| STANFORD/freeforall/Lfp40Q | 34.07005897231097 | 2842.766666666667 | 83.4388537154282 |
| DRESDEN/endgame/IJhh3Q | 34.389066675919544 | 838.3387220425985 | 24.378059746228395 |
| BASE/ttcc4_2player_small/Cv72TA | 34.47964966512107 | 2230.8333333333335 | 64.7 |
| BASE/shmup/ssTNlg | 34.689952043596726 | 5091.466666666666 | 146.77064587082583 |
| BASE/gt_centipede/9fRMpw | 34.70280437756498 | 16911.833333333332 | 487.3333333333333 |
| BASE/hallway/ckCJOw | 34.99497391304348 | 616.4 | 17.61395797955582 |
| BASE/biddingTicTacToe/8mESVw | 35.24894625922023 | 4460.166666666667 | 126.53333333333333 |
| DRESDEN/hallway/0H4l-Q | 35.973436143039585 | 625.6666666666666 | 17.392463265918103 |
| DRESDEN/bidding-tictactoe/yW5vTA | 36.474205147058825 | 4959.5 | 135.97280543891222 |
| BASE/2pffa/6oHijA | 38.8339302946593 | 2810.733333333333 | 72.37828651404578 |
| BASE/4pffa/Q3ADlg | 39.07369628727937 | 2138.866666666667 | 54.739297018157586 |
| DRESDEN/Goldrush/VeWczQ | 39.810346153846154 | 1725.0 | 43.3304446370242 |
| DRESDEN/knightstour/cGISAA | 39.85158500897292 | 21218.933333333334 | 532.4489183693877 |
| DRESDEN/racetrackcorridor/O0DoTA | 39.869917604286265 | 2314.0333333333333 | 58.039581528619976 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 40.007004020871705 | 1447.4333333333334 | 36.17949828430556 |
| BASE/racetrackcorridor/_RkdUg | 40.349967735884455 | 2389.266666666667 | 59.213595468177274 |
| STANFORD/chinook/osFbPA | 40.81053112183083 | 876.6374454184861 | 21.480667399340593 |
| BASE/3pffa/pR0dzA | 40.9541547925608 | 2544.5333333333333 | 62.13126229125696 |
| BASE/chineseCheckers4/avfBcQ | 41.10573219675796 | 2450.7 | 59.619422134835204 |
| BASE/chinook/XQh0IQ | 41.38773465721041 | 971.8666666666667 | 23.481997135529426 |
| BASE/copolymer_4_pie/IN5_jA | 41.67125140749369 | 2384.6666666666665 | 57.225703239568055 |
| BASE/choicethroughalt/tt71Lg | 41.731912328767116 | 1014.8 | 24.317121918720854 |
| DRESDEN/knightazons/02I8BQ | 41.769762593516205 | 558.2666666666667 | 13.365330133653302 |
| BASE/breakthroughHoles/nZk0Sg | 41.96945007062147 | 1320.0666666666666 | 31.453037017292505 |
| BASE/knightazons/apnJBQ | 42.4357080080453 | 557.8814039532016 | 13.146508686680423 |
| BASE/2pffa_zerosum/o0_uZA | 44.21257297682709 | 2755.733333333333 | 62.329178054796344 |
| BASE/ruleDepthLinear/OUBJpQ | 45.937898283070176 | 37725.73333333333 | 821.2333333333333 |
| DRESDEN/skirmish3/3LU8Nw | 46.37357827496757 | 793.7666666666667 | 17.11678710579773 |
| DRESDEN/tttcc4/sAvtFg | 46.97527326181962 | 1313.5666666666666 | 27.96293827489668 |
| DRESDEN/skirmish/RjGQYQ | 47.54789064558629 | 800.6666666666666 | 16.83916270092183 |
| BASE/queens06ug/7Lq3tw | 47.582968234432236 | 3607.5333333333333 | 75.81564301662945 |
| BASE/copolymer_4/2LDVhQ | 47.918423659118 | 2679.4333333333334 | 55.91655836582358 |
| BASE/tttcc4/8Bs2lg | 48.075001986491856 | 1343.3333333333333 | 27.942449876773463 |
| DRESDEN/skirmish2/iPpWhQ | 48.0801837524178 | 828.3333333333334 | 17.22816488386817 |
| BASE/wallmaze/uxNQ9g | 48.64803617998163 | 1176.7333333333333 | 24.1887119344306 |
| DRESDEN/quad_5x5/JAEP5g | 50.47372782812002 | 293.0235658811373 | 5.8054670912951165 |
| BASE/ttcc4/Le0qjQ | 50.98150163599182 | 1384.7666666666667 | 27.162139643392766 |
| BASE/quad_5x5/JAEP5g | 51.79470356357577 | 287.5379128753791 | 5.551492586929061 |
| BASE/dotsAndBoxes/EHwA_w | 51.90543715909091 | 1521.9 | 29.32062772798454 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 52.71406666666667 | 1527.3333333333333 | 28.97392346887801 |
| DRESDEN/knightthrough/J7Fc_Q | 53.91829333333334 | 1805.3 | 33.482142857142854 |
| BASE/chineseCheckers2/eCMR3Q | 54.36420898852068 | 5576.466666666666 | 102.5760655846969 |
| BASE/chineseCheckers1/gqtwHw | 56.983261207753486 | 7643.1 | 134.1288623712543 |
| BASE/chineseCheckers6/rREH3A | 58.90569569732938 | 2646.3 | 44.924348463640605 |
| BASE/god/qF06gw | 59.438574897926514 | 270.61529231384577 | 4.552856335781463 |
| DRESDEN/god/2EDD5w | 59.70670070921986 | 278.8 | 4.669492648032852 |
| BASE/queens08ug/kJ_ZFQ | 60.09791624775583 | 2230.9666666666667 | 37.122196674331036 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 60.962272267759566 | 1487.0333333333333 | 24.392682195341397 |
| BASE/battlebrushes/arCwyA | 62.25927853686928 | 296.6901103296557 | 4.765395894428153 |
| BASE/chineseCheckers3/-1rZdQ | 62.741236654804275 | 4700.0 | 74.91086007531074 |
| BASE/checkersTorusNoKings/pwb6oQ | 65.57442370160528 | 1543.1333333333334 | 23.532548915036166 |
| BASE/checkersTorus/2vm1EQ | 67.63506717428088 | 1332.1 | 19.695404405638683 |
| STANFORD/knightstourmedium/x1wu8Q | 67.73788729465585 | 21716.766666666666 | 320.6 |
| BASE/checkersBarrelNoKings/rnKNeg | 68.03802825484765 | 1636.4666666666667 | 24.052235325471383 |
| STANFORD/skirmish/w4V6Vw | 69.31032421912612 | 165.55562962469168 | 2.388614271970275 |
| BASE/reversi/d8UMeA | 69.40299440111977 | 128.30767179897353 | 1.8487339473771087 |
| BASE/roshambo2/KNPokQ | 69.92196399488382 | 21866.2 | 312.72290923635876 |
| DRESDEN/roshambo2/jgSlkQ | 70.44637438526733 | 22441.866666666665 | 318.56666666666666 |
| BASE/ttcc4_2player/_aH_Mw | 71.91558980582523 | 1479.8333333333333 | 20.577364898611528 |
| BASE/reversiSuicide/9OxJlg | 72.13455321005307 | 130.89842708611036 | 1.8146425154244614 |
| STANFORD/madness/UO_B3A | 72.43112147975337 | 167.23879353441095 | 2.3089355806972987 |
| STANFORD/ttcc4/Cx9SGw | 73.23977254290172 | 1564.7333333333333 | 21.364530213645303 |
| DRESDEN/gt_prisoner/huCp4w | 74.39407334329844 | 14928.9 | 200.67324356752434 |
| DRESDEN/pawntoqueen/f_x6Aw | 74.98773586034434 | 97.16018932071195 | 1.2956810631229236 |
| STANFORD/knightstour/cEwgNA | 77.02799857634358 | 21642.3 | 280.96666666666664 |
| BASE/pawnToQueen/-O1_JA | 77.2167847132328 | 96.8139705392255 | 1.2537943777220535 |
| BASE/sheepAndWolf/g4THrg | 77.59964347826087 | 1544.4 | 19.902153293174027 |
| BASE/knightsTour/mvtVIg | 80.37857359569044 | 21717.566666666666 | 270.19099363354553 |
| BASE/queens12ug/u6Bkmg | 81.4205351758794 | 1079.1 | 13.253413253413253 |
| BASE/gt_coordination/IVMOzA | 81.76389079033311 | 16689.066666666666 | 204.11292204112922 |
| BASE/knightwar/DVGY4Q | 87.67545872340425 | 2745.7 | 31.316631130063964 |
| DRESDEN/gt_chicken/CeuKtw | 88.37165849198226 | 14387.933333333332 | 162.8116251166511 |
| BASE/ttcc4_2player_alt/ZEJvYA | 89.38158904347826 | 1712.6333333333334 | 19.160918391149323 |
| BASE/chess_200/XsTpYA | 89.87316325566925 | 285.5571480950635 | 3.177335010260144 |
| BASE/queens16ug/gT-ylw | 90.81588737661843 | 599.7133428885704 | 6.603617056578729 |
| BASE/2pttc/unkkYA | 91.75587462039046 | 2819.4 | 30.72718789575418 |
| BASE/gt_staghunt/xPjLRA | 97.92693881044073 | 15256.0 | 155.78961402573162 |
| BASE/gt_prisoner/klthDw | 100.5024869825947 | 15267.133333333333 | 151.9080153307782 |
| DRESDEN/Runners/3bOCQw | 100.91283764967974 | 24158.533333333333 | 239.4 |
| BASE/battle/8oAvhQ | 108.07212539296387 | 104.10904122371447 | 0.9633292659430993 |
| DRESDEN/battle/8oAvhQ | 108.9694338909996 | 105.14563753915884 | 0.9649094593290662 |
| BASE/3pttc/0sol9g | 111.50052043010753 | 2419.4 | 21.698553429771348 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 116.72322656317378 | 9020.3 | 77.2793921620901 |
| BASE/gt_chicken/gmepTQ | 116.7493888129055 | 14794.066666666668 | 126.71643780829223 |
| BASE/skirmishNew/sibw2g | 116.9468926605138 | 625.9458018066065 | 5.352393617021277 |
| BASE/kitten_escapes_from_fire/uW-YiA | 120.24261025865847 | 9139.4 | 76.00799733422193 |
| DRESDEN/pacman3p/rBnk8Q | 124.90293848314606 | 2964.0666666666666 | 23.730960237309603 |
| DRESDEN/connect5/1kYzSg | 128.55152068965515 | 858.9 | 6.681367870190567 |
| DRESDEN/smallest/9kaGFw | 131.59674625915315 | 4589.666666666667 | 34.87674883411059 |
| BASE/speedChess/bPnisA | 138.07111454138703 | 685.4333333333333 | 4.964349970013993 |
| BASE/amazons_8x8/7SOsIw | 138.97400704225353 | 1314.0 | 9.455005493225022 |
| BASE/4pttc/AL1k2Q | 140.39946121495328 | 1999.4333333333334 | 14.241032807612964 |
| STANFORD/platformjumpers/HEQskA | 142.6704321977146 | 780.007333088897 | 5.467196819085487 |
| BASE/pacman2p/4LEdQg | 143.2156015576324 | 3058.9 | 21.358706500765187 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 143.70786438809262 | 4344.333333333333 | 30.230310302303103 |
| BASE/pacman3p/wW7UVQ | 144.1512789968652 | 3063.1666666666665 | 21.24966693312017 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 148.96335633802818 | 4227.6 | 28.380133906265613 |
| BASE/knightThrough/gcwFjA | 154.14152881844382 | 1780.2333333333333 | 11.549342652687635 |
| BASE/smallest_4player/ADDROA | 173.07104772447724 | 6251.966666666666 | 36.123700346574246 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 173.51064868924288 | 385.6047984005331 | 2.222369643094069 |
| DRESDEN/smallest_4player/ADDROA | 176.18228316559927 | 6415.7 | 36.41512577044811 |
| BASE/knightsTourLarge/M8jgLA | 185.02500105318586 | 19505.833333333332 | 105.42269002731331 |
| BASE/four_way_battle/xSOQXA | 203.2445958018577 | 343.4323234343232 | 1.6897488569345969 |
| DRESDEN/four_way_battle/xSOQXA | 203.8203711538462 | 350.03333333333336 | 1.7173618679612932 |
| BASE/checkers-mustjump-torus/uSApKQ | 250.63487580717006 | 366.12112929569014 | 1.4607748746721556 |
| STANFORD/knightstourbig/TQUI2g | 250.8030010034904 | 19159.433333333334 | 76.3923607639236 |
| BASE/amazonsSuicide_10x10/XIbQkg | 264.9127178160919 | 1023.0333333333333 | 3.8617750848924697 |
| BASE/kalaha5x2x3/WviNsw | 267.14759595959595 | 4401.333333333333 | 16.475287069395907 |
| BASE/amazons_10x10/Bun8dA | 275.9974404761905 | 1023.5666666666667 | 3.7086092715231787 |
| DRESDEN/small_dominion/yB5GJA | 283.47408314724083 | 110.82225110822252 | 0.3909431503502199 |
| DRESDEN/snake_2008/E56l3A | 288.1535773420479 | 1467.3333333333333 | 5.092191972309126 |
| BASE/snake_2008/i6K26g | 301.7380328947369 | 1524.2333333333333 | 5.051512130275839 |
| BASE/snake_2008_tweaked/bX0NJQ | 303.46874013157895 | 1531.5 | 5.0466482950961185 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 309.3819076923077 | 396.8 | 1.282557221783741 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 320.09743819350166 | 394.78684043865206 | 1.2333333333333334 |
| DRESDEN/ghostmaze2p/HY0UwA | 323.21112603015075 | 10711.266666666666 | 33.14015454303224 |
| BASE/nim4/twk16w | 364.99322832618026 | 11336.1 | 31.05838443081845 |
| DRESDEN/nim4/F5YAYg | 366.7903503584229 | 11361.033333333333 | 30.97418817651957 |
| DRESDEN/bomberman2p/x4h6jQ | 367.59804701960786 | 10410.766666666666 | 28.32106087362143 |
| DRESDEN/nim3/sG_axA | 367.9933029818956 | 11507.833333333334 | 31.27185533020282 |
| BASE/nim3/1OwUqw | 370.0141037837838 | 11403.066666666668 | 30.81792437114776 |
| BASE/bomberman2p/4CClwA | 373.8919239904988 | 10493.9 | 28.066666666666666 |
| BASE/mummyMaze2p_2007/YGA3Vw | 377.8422936596218 | 11314.0 | 29.94370982246944 |
| BASE/checkers-mustjump/T-8UuQ | 380.37130526315786 | 479.2 | 1.2598216357789345 |
| BASE/ghostMaze2p/W-NU-w | 380.38079591685226 | 11381.133333333333 | 29.920367840602406 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 392.9888497690531 | 11343.9 | 28.86570447651745 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 396.6061546961326 | 2390.4666666666667 | 6.027306027306027 |
| DRESDEN/knightfight/4_Ly4w | 414.1110082666666 | 5172.766666666666 | 12.4912561207155 |
| BASE/knightfight/SJRkAg | 438.5656731301939 | 5276.0 | 12.030125299920021 |
| BASE/nim2/eF2Qqw | 466.01416553610505 | 14187.966666666667 | 30.44535491822391 |
| DRESDEN/nim2/z5_exA | 480.4237036832413 | 14490.366666666667 | 30.161639726712213 |
| BASE/amazonsTorus_10x10/Uxc08g | 484.4270184397163 | 758.7333333333333 | 1.5662490002665956 |
| BASE/nim1/hin2Qw | 528.9001178955453 | 15302.333333333334 | 28.932368921035966 |
| DRESDEN/nim1/M9BALA | 544.3551145180023 | 15604.266666666666 | 28.66560127846584 |
| DRESDEN/gt_ultimatum/pAiiQw | 571.4284803598201 | 12690.8 | 22.208903539439948 |
| BASE/gt_ultimatum/GE-uOA | 573.4468639810426 | 12096.1 | 21.093671898430472 |
| BASE/guess/SPpk1A | 587.3733965367966 | 1505.1333333333334 | 2.5624812805750605 |
| DRESDEN/hanoi/RQ0jiA | 587.7937007874016 | 12441.633333333333 | 21.166666666666668 |
| BASE/hanoi/iGLsJg | 596.5113419047619 | 12524.233333333334 | 20.995800839832032 |
| DRESDEN/guess/PhxGhg | 602.7108973684211 | 1511.8 | 2.508333608369913 |
| BASE/quarto/EwBMVQ | 619.337008 | 2564.5 | 4.140718166158739 |
| DRESDEN/quarto/OQzRYQ | 619.5909912568306 | 2511.9666666666667 | 4.054233683370995 |
| BASE/quartoSuicide/-23jUg | 627.3800166666667 | 2491.3333333333335 | 3.9710116152089743 |
| DRESDEN/quartosuicide/WIU1oQ | 628.0835104 | 2600.2 | 4.139895343445717 |
| BASE/crossers3/O0rORg | 637.7983633333333 | 2110.866666666667 | 3.3096144299189145 |
| DRESDEN/crossers3/xiPTxg | 640.2140238095238 | 2084.8333333333335 | 3.256463082341995 |
| DRESDEN/mummymaze2p/k-8edg | 653.1718133480825 | 9823.766666666666 | 15.040095830699098 |
| BASE/mummymaze2p/vpjDdA | 690.6583608791209 | 10458.6 | 15.142942723067195 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 730.1287764705883 | 409.4 | 0.5607230028365987 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 731.8784962069892 | 409.1530282323923 | 0.5590450195665757 |
| BASE/checkers/rOC3Xg | 823.5045136176619 | 621.1459618012733 | 0.7542714721411472 |
| BASE/kalaha6x2x4/XS81Mg | 840.3584016666666 | 3909.0333333333333 | 4.651626407947636 |
| BASE/wargame02/BkVqqQ | 875.9267196969697 | 1913.8333333333333 | 2.1849240242327936 |
| DRESDEN/battlebrushes/QHXV4A | 1032.6215734847056 | 278.60165961275703 | 0.2698003477426704 |
| BASE/checkersSmall/SYmq8w | 1035.0639722222224 | 816.8333333333334 | 0.7891621728265158 |
| BASE/checkers-newgoals/0XkFiA | 1040.0503428571428 | 459.96666666666664 | 0.4422542330048016 |
| DRESDEN/knightmove/97Ipcw | 1080.821370042194 | 2813.4333333333334 | 2.603051171373027 |
| BASE/knightmove/jBaJEw | 1096.9364784810127 | 2876.9 | 2.6226678175419957 |
| DRESDEN/hitori/S8Gsyg | 1108.1350005184493 | 304.92600986535126 | 0.27517045280826735 |
| BASE/hitori/S8Gsyg | 1136.5679788014131 | 302.47983467768813 | 0.2661343978709248 |
| BASE/wargame03/klXI8w | 1260.7327142857143 | 2611.5 | 2.0714144801736043 |
| BASE/skirmishZeroSum/zh4hcw | 1315.4284 | 595.4666666666667 | 0.4526788889966696 |
| BASE/wargame01/_GZFZg | 1362.0554303030303 | 2960.6 | 2.1736266631537347 |
| BASE/cylinder-checkers/hlldmw | 1428.6738666666668 | 400.8 | 0.2805398834200929 |
| DRESDEN/cylinder-checkers/clOO3Q | 1430.9437333333333 | 401.8 | 0.28079371022089106 |
| BASE/checkersTiny/Lr48cg | 1627.507943478261 | 1243.9 | 0.7642973448974845 |
| DRESDEN/checkers-newgoals/IJOqXQ | 1660.2262591246958 | 464.3845205159828 | 0.2797115862754848 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 1764.007599746675 | 381.2539582013933 | 0.2161294306533284 |
| DRESDEN/max_knights/hCipiA | 1842.7872114285713 | 2137.733333333333 | 1.1600543568327202 |
| BASE/max_knights/2fq3Ag | 1946.4621313131313 | 2127.633333333333 | 1.093077177873468 |
| DRESDEN/pancakes88/aD3E7g | 2193.7062688524593 | 22280.4 | 10.156510156510157 |
| DRESDEN/checkers-mustjump/HUr33w | 2197.957880952381 | 504.3666666666667 | 0.22947057859367317 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 2277.2574177136444 | 868.4640250608192 | 0.3813640119494057 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 2338.6483454545455 | 856.7333333333333 | 0.36633696339960703 |
| DRESDEN/satlike_20v_91c/yeuENQ | 2461.764935713961 | 900.2165583874729 | 0.36567933246900036 |
| DRESDEN/pancakes/hl9aiQ | 2754.557010932476 | 28504.266666666666 | 10.348040194316896 |
| DRESDEN/pancakes6/SZXMyQ | 2810.6691619506964 | 29095.566666666666 | 10.35182904503545 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 2855.182481751825 | 931.240209312402 | 0.32615786040443573 |
| BASE/pancakes6/QZTdnw | 3050.316500973236 | 27835.433333333334 | 9.125424631985613 |
| BASE/pancakes/yUgbXw | 3111.966248201439 | 28751.3 | 9.23894981721502 |
| BASE/blobwars/0XT15Q | 3978.1839738675385 | 578.8807039765342 | 0.1455138092604988 |
| DRESDEN/blobwars/ZaMluQ | 4003.119792013866 | 566.6288914072395 | 0.1415468236892764 |
| BASE/hanoi_6_disks/MeubgQ | 4287.7168875 | 9138.6 | 2.131344078859731 |
| DRESDEN/hanoi_6_disks/MeubgQ | 4543.940833333333 | 9442.5 | 2.0780420226275687 |
| DRESDEN/fizzbuzz/t1xHzQ | 4799.475169897959 | 31265.9 | 6.514441453119288 |
| BASE/racer4/0vs7Ww | 5436.985911111112 | 1569.2666666666667 | 0.28862805464691166 |
| BASE/colonelBlotto/jip21A | 12374.206884848485 | 4516.733333333334 | 0.3650119458455004 |
| DRESDEN/checkers/jIDMIg | 15904.466666666667 | 459.6666666666667 | 0.028901734104046242 |
| BASE/pancakes88/l2Xaig | 18673.227222222224 | 22142.166666666668 | 1.1857707509881423 |
| BASE/colonelBlottoVariant2/jruwGw | 22781.228657777778 | 10958.133333333333 | 0.4810159055926116 |
| BASE/colonelBlottoVariant/X-n-KQ | 25579.172085714286 | 11888.6 | 0.46477657526060684 |
| BASE/gt_attrition/kD_SCA | 26192.010285714285 | 6012.266666666666 | 0.2295458271847844 |
| DRESDEN/merrills/aYEzwA | 30759.910002999906 | 580.0473317556082 | 0.018857250612860643 |
| BASE/merrills/pku8Tg | 31070.352288257058 | 558.5480483983868 | 0.0179768817300951 |
| BASE/gt_tinfoil/Q8DyKg | 35252.239166666666 | 17620.833333333332 | 0.49985004498650404 |
| DRESDEN/racer/vk_ZBA | 39319.005333333334 | 3250.4 | 0.08266740148801323 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 39416.84378148148 | 11074.566666666668 | 0.2809602597321512 |
| BASE/hanoi7_bugfix/3gdnFw | 39800.97685185185 | 11282.166666666666 | 0.28346456692913385 |
| DRESDEN/hanoi7/51zz5Q | 40872.801592592594 | 11392.233333333334 | 0.2787240631774543 |
| BASE/racer/QQYQNw | 42196.53483333333 | 3354.7 | 0.07950178879024777 |
| BASE/solitaireChineseCheckers/-ET6gw | 54690.96375 | 3525.8333333333335 | 0.06446829771459885 |
| BASE/ad_game_2x2/D0aWqg | 62371.37236666666 | 1833.9666666666667 | 0.029403981299067895 |
| DRESDEN/kalaha_2009/gcC8uA | 82422.60765 | 3919.5666666666666 | 0.047554509356349715 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 83520.19088333334 | 21584.233333333334 | 0.2584313218762114 |
| BASE/kalaha_2009/dRiN3g | 86130.66845 | 3967.9666666666667 | 0.04606914979384055 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 102481.71943333332 | 7878.966666666666 | 0.07688167909587146 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 102996.0568 | 7949.066666666667 | 0.07717835918808366 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 103442.78490000001 | 5878.6 | 0.05682948313585088 |
| BASE/twisty-passages/DiZmmg | 119504.928 | 6319.0 | 0.05287648054145516 |
| DRESDEN/twisty-passages/j7NPyg | 119723.43840000001 | 6310.533333333334 | 0.052709255745308874 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 181766.0726 | 9360.7 | 0.051498609537542483 |
| BASE/gt_two_thirds_2p/1APDGg | Infinity | 4220.2 | 0.0 |
| BASE/amazonsSuicide/dE1QEQ | Infinity | 15.660771757523474 | 0.0 |
| DRESDEN/farmers/S_ASnw | Infinity | 2039.2666666666667 | 0.0 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | Infinity | 3434.9666666666667 | 0.0 |
| BASE/amazonsTorus/soxT8g | Infinity | 5.5 | 0.0 |
| BASE/amazons/RKKZjw | Infinity | 14.478764478764479 | 0.0 |
Games with errors:
| Game | ALLOY_TUPLE_PROVER:2 error message | REKKURA_GENERIC_FORWARD_PROVER_OSTD: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/ruleDepthExponential/UamhHQ | 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 |