Game-by-game performance:
| Game | Perf ratio | ALLOY_COMPILED_PROVER_CACHING:2 states per second | REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 states per second |
| BASE/quad/tw-Ufg | 12.176915181487358 | 25.255824080121926 | 2.074074074074074 |
| BASE/coins/QnGtnQ | 15.779977437315768 | 43361.8 | 2747.9 |
| DRESDEN/quad/JPe6fg | 16.290310762536595 | 33.23896752706078 | 2.0404133482524847 |
| BASE/coins_atomic/AA3SSw | 16.96765649793006 | 47407.066666666666 | 2793.9666666666667 |
| DRESDEN/coins/QwFP9w | 17.383475320835203 | 47815.566666666666 | 2750.633333333333 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 22.477221818181818 | 2472.0 | 109.97800439912018 |
| BASE/blokbox_simple/JBx4bg | 26.130452013691205 | 129.16555585177287 | 4.943104535049597 |
| BASE/quad_7x7/q-JOXg | 26.639213867564187 | 626.3457884737176 | 23.51217237819296 |
| DRESDEN/quad_7x7/q-JOXg | 26.819685639835942 | 629.1589033803567 | 23.458847050983007 |
| DRESDEN/grid_game2/kypTYQ | 32.71214352483956 | 14215.133333333333 | 434.55218159394684 |
| BASE/sudokuGrade6H/ieE_9A | 42.9830845406754 | 5359.633333333333 | 124.69168722085195 |
| BASE/sudokuGrade6E/ihYFZA | 43.60061428180575 | 5311.3 | 121.81709105452606 |
| DRESDEN/blockerparallel/dVQgSg | 44.869479650476265 | 18999.233333333334 | 423.43333333333334 |
| BASE/blockerParallel/7-nDJA | 44.90648967774421 | 18827.166666666668 | 419.2526915769474 |
| BASE/sudokuGrade3/eI8dvg | 47.17299303303392 | 5787.354597873546 | 122.68364218104253 |
| BASE/sudokuGrade2/u80Tfw | 47.63237871148459 | 5855.633333333333 | 122.93388429752066 |
| BASE/sudokuGrade4/DTy07w | 48.31913692919209 | 5807.766666666666 | 120.19599346688443 |
| STANFORD/sudoku/oJ1qyQ | 48.375547689813565 | 5967.333333333333 | 123.3543312335433 |
| BASE/sudokuGrade1/tDRNRw | 48.436842625883195 | 6016.066666666667 | 124.20435231779251 |
| BASE/sudokuGrade5/BQfUQA | 48.5578692949408 | 6014.1 | 123.85428123854281 |
| BASE/haystack/UkweGA | 48.98956474418057 | 666166.6333333333 | 13598.133333333333 |
| BASE/pearls/6k_mEQ | 50.20272249945355 | 719649.3333333334 | 14334.866666666667 |
| BASE/onestep/xi53wA | 50.850598241845184 | 368475.3 | 7246.233333333334 |
| DRESDEN/tictactoeparallel/yk_DSg | 56.342345656305554 | 61266.666666666664 | 1087.4 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 57.024987027501695 | 47621.566666666666 | 835.1 |
| STANFORD/duidoku/3SoMaA | 60.978422911283374 | 4718.0 | 77.37163040218587 |
| DRESDEN/bunk_t/7-tPfA | 61.2242396972023 | 77103.76666666666 | 1259.3666666666666 |
| DRESDEN/doubletoetictac/V89gKQ | 61.99709644510712 | 79002.9 | 1274.3 |
| BASE/doubletoetictac/fu35bg | 62.24607174621998 | 76983.86666666667 | 1236.7666666666667 |
| BASE/doubletictactoe/HH1htg | 62.43082387815598 | 81434.76666666666 | 1304.4 |
| BASE/slidingpieces/uFJWEw | 63.07435263452674 | 16266.333333333334 | 257.8914036198793 |
| DRESDEN/slidingpieces/s9_44g | 63.45449909180482 | 16457.433333333334 | 259.3580213992867 |
| DRESDEN/eotcatcit/mQUxzA | 63.53817265786789 | 137043.36666666667 | 2156.866666666667 |
| DRESDEN/doubletictactoe/lJzgmQ | 63.929672118236944 | 81175.76666666666 | 1269.7666666666667 |
| DRESDEN/tictactoex9/rFkD4w | 64.18985886042864 | 20465.866666666665 | 318.8333333333333 |
| BASE/tictactoex9/BI26ow | 64.37136666666666 | 20327.8 | 315.7894736842105 |
| DRESDEN/pawn_whopping/4ogBkg | 64.68644105882882 | 47977.933333333334 | 741.7 |
| BASE/bunk_t/xbpfIA | 64.76334586466166 | 80392.9 | 1241.3333333333333 |
| BASE/eotcatcit/AfZSzA | 64.96353007127412 | 135199.93333333332 | 2081.1666666666665 |
| DRESDEN/latenttictactoe/kITHKg | 65.00275814967559 | 82486.33333333333 | 1268.9666666666667 |
| DRESDEN/peg/Vo31eg | 66.21901284671533 | 22678.5 | 342.4771681887874 |
| DRESDEN/chickentictactoe/Ipbo-g | 66.42824053129694 | 122363.03333333334 | 1842.0333333333333 |
| DRESDEN/peg_bugfixed/u_B7MA | 66.43244560858881 | 22824.666666666668 | 343.57709486034264 |
| DRESDEN/blocker/S815zQ | 68.78038194444444 | 142623.0 | 2073.6 |
| BASE/withConviction/3Xm54A | 69.16821259887327 | 40516.433333333334 | 585.7666666666667 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 69.1973606605721 | 31286.433333333334 | 452.1333333333333 |
| BASE/cubicup_3player/e2yA_g | 69.43422066804537 | 12309.866666666667 | 177.28818078794748 |
| BASE/futoshiki6/JmvXNA | 70.94489925554161 | 9423.533333333333 | 132.82890570314322 |
| DRESDEN/cubicup_3player/awDtsQ | 71.92065756097561 | 12776.2 | 177.64298093587522 |
| BASE/survival/YVIjJA | 72.43918039474707 | 497183.9 | 6863.466666666666 |
| DRESDEN/tpeg/h-Scbg | 72.6076315282328 | 25117.4 | 345.93333333333334 |
| BASE/sum15/QZ07Kg | 73.75654945566745 | 168922.16666666666 | 2290.266666666667 |
| BASE/tpeg/QNs7Lw | 74.89017346419483 | 25179.733333333334 | 336.2221259291357 |
| DRESDEN/towerworld/HCX34w | 75.10311341991343 | 1348.6333333333334 | 17.957089552238806 |
| DRESDEN/sum15/CsgWKg | 75.35940462085308 | 169608.9 | 2250.6666666666665 |
| DRESDEN/tictactoe/BTTzPw | 75.73980642504118 | 147117.0 | 1942.4 |
| BASE/eotcitcit/V_9_bg | 76.51231908761274 | 82294.1 | 1075.5666666666666 |
| DRESDEN/sheep_and_wolf/enAIzQ | 76.88385063287011 | 26185.766666666666 | 340.58864704509847 |
| BASE/numbertictactoe/rvJ-iQ | 76.9971767594108 | 62727.03333333333 | 814.6666666666666 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 77.40979943318074 | 142031.5 | 1834.8 |
| DRESDEN/tictictoe/LAUtwg | 78.14907643699112 | 85745.16666666667 | 1097.2 |
| BASE/tictactoe_orthogonal/WRzlVw | 78.2349593643752 | 143433.36666666667 | 1833.3666666666666 |
| BASE/ticblock/T21C1g | 81.05015449128227 | 97930.2 | 1208.2666666666667 |
| BASE/simultaneousWin2/PfjRjw | 82.50168522856332 | 38741.5 | 469.58434718842705 |
| BASE/lightsOnSimultaneous/_VN6lw | 83.02430197234739 | 41765.36666666667 | 503.0498983367221 |
| BASE/blocksWorldParallel/RseaAQ | 84.07082947845805 | 48196.2 | 573.2808906369787 |
| BASE/futoshiki5/TJ4BZg | 85.01561365170436 | 16789.5 | 197.487252974306 |
| BASE/queens31lg/0gID-A | 85.64264049063395 | 90.39397373508433 | 1.0554785935747741 |
| BASE/conn4/va9Y7A | 87.56142990185543 | 40742.333333333336 | 465.3 |
| STANFORD/selectivesukoshi/3xmXYg | 87.83950304259635 | 11547.966666666667 | 131.46666666666667 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 89.18456401020562 | 79231.56666666667 | 888.4 |
| BASE/double_tictactoe_dengji/zgaSbA | 91.70868696043276 | 82690.96666666666 | 901.6699443351888 |
| DRESDEN/ticblock/Z2yNWQ | 92.70694902358609 | 97478.26666666666 | 1051.4666666666667 |
| DRESDEN/pentago_2008/hLjVpQ | 93.99337260677466 | 12764.3 | 135.8 |
| BASE/ticTacHeaven/18n58A | 94.86946560604586 | 32498.033333333333 | 342.5552481583947 |
| BASE/lightsOnSimul4/9FeASw | 98.31872448493726 | 35790.1 | 364.0211992933569 |
| STANFORD/duikoshi/tpw1sw | 99.29956077872744 | 55766.63333333333 | 561.6 |
| DRESDEN/tictactoe-init1/3ltIBQ | 101.8253359833428 | 143451.53333333333 | 1408.8 |
| DRESDEN/cubicup/SBn_lw | 102.31437132632632 | 22713.033333333333 | 221.99260024665844 |
| BASE/cubicup/4wNWJA | 102.35147035201042 | 22703.466666666667 | 221.81866648895405 |
| STANFORD/sukoshi/4LYZZQ | 104.34690818884208 | 134604.03333333333 | 1289.9666666666667 |
| BASE/ticTacToeNoVars/XT03NA | 104.51712842568513 | 139328.3 | 1333.0666666666666 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 104.58416905444128 | 29199.9 | 279.2 |
| BASE/factoringGeorgeForman/HGRorQ | 105.44476644730221 | 349296.3333333333 | 3312.6 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 106.4729424414084 | 21300.266666666666 | 200.0533297780148 |
| BASE/tictactoe-init1/7M19vA | 107.56891573222966 | 149011.63333333333 | 1385.2666666666667 |
| DRESDEN/lightsout/XgLpzQ | 107.57734293149483 | 106103.53333333334 | 986.3 |
| BASE/chickentictactoe/DSlZCA | 107.98153659277254 | 118527.73333333334 | 1097.6666666666667 |
| BASE/ticTacHeavenFC/mrletw | 108.42341445086704 | 32506.066666666666 | 299.80670532560157 |
| BASE/futoshiki4/BaCwSw | 108.46012420836591 | 36990.9 | 341.0552981567281 |
| DRESDEN/lightsout2/LFtfyQ | 108.96499416569428 | 105834.06666666667 | 971.2666666666667 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 109.57936844540407 | 189470.03333333333 | 1729.0666666666666 |
| BASE/switches/tPUoCg | 109.77504823365045 | 220003.83333333334 | 2004.1333333333334 |
| STANFORD/tictictoe/rpt_Dw | 110.75402298850575 | 81902.6 | 739.5 |
| BASE/ticTicToe/c1OobQ | 112.0774667494389 | 78231.2 | 698.0100663311223 |
| BASE/tictactoe2/bhrDoQ | 112.6334761682338 | 184872.83333333334 | 1641.3666666666666 |
| STANFORD/tictactoe/ss1kyQ | 114.05895567366173 | 138779.33333333334 | 1216.7333333333333 |
| BASE/ticTacToe/JRFsaQ | 114.73964006303044 | 138349.23333333334 | 1205.7666666666667 |
| STANFORD/trifecta/ss1kyQ | 115.1164754437038 | 141027.46666666667 | 1225.0849943337112 |
| BASE/snakeAssemblit/UO4sdg | 121.07534115030187 | 25399.066666666666 | 209.77902209779023 |
| BASE/blocksWorld/SEdXLQ | 121.12288990599933 | 328146.13333333336 | 2709.2 |
| STANFORD/tictactoe3/X7myng | 121.27905017638076 | 153563.53333333333 | 1266.2 |
| DRESDEN/CephalopodMicro/H3XQfg | 121.68223071979435 | 3155.1 | 25.92901183136144 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 122.83227271176503 | 25600.633333333335 | 208.4194387040864 |
| BASE/troublemaker01/s3tlEQ | 123.19237077081942 | 540830.9333333333 | 4390.133333333333 |
| BASE/lightsOnParallel/SC6enA | 123.557671643156 | 180142.96666666667 | 1457.9666666666667 |
| BASE/minichess-evilconjuncts/4OpQzw | 123.61984006399268 | 12018.366666666667 | 97.22037061725104 |
| BASE/ticTacToeParallel/ymRGPw | 123.6559139722019 | 61978.4 | 501.2166261124629 |
| DRESDEN/blocks/vg0DRw | 123.7589884024684 | 326892.86666666664 | 2641.366666666667 |
| BASE/blocks/xIV5hQ | 124.2382623141869 | 334031.13333333336 | 2688.633333333333 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 124.74167624700324 | 59545.53333333333 | 477.35075497483416 |
| DRESDEN/lightson2x2/gBHuig | 125.30313809669835 | 204306.76666666666 | 1630.5 |
| DRESDEN/tictactoelarge/IwXcbg | 125.53125928125928 | 112710.33333333333 | 897.8666666666667 |
| DRESDEN/troublemaker01/C-lPWw | 128.5000381405709 | 561519.4666666667 | 4369.8 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 128.70231311065666 | 12586.666666666666 | 97.79674010866304 |
| DRESDEN/8puzzle/8fKC2w | 129.01846710923357 | 106891.8 | 828.5 |
| BASE/blocker/dIWtxg | 130.06687536445386 | 141265.63333333333 | 1086.1 |
| STANFORD/tictactoe7/-bE9-A | 131.63298981179716 | 149442.93333333332 | 1135.3 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 131.73641394871794 | 21403.6 | 162.47292117980336 |
| STANFORD/tictactoe5/WFRReg | 132.5530667124385 | 154450.83333333334 | 1165.2 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 132.9367198838897 | 30531.133333333335 | 229.66666666666666 |
| BASE/catcha_mouse/cHv4dw | 133.65318440458395 | 50666.23333333333 | 379.0873637545415 |
| BASE/brain_teaser_extended/ZDp94A | 134.40864376364777 | 207226.76666666666 | 1541.7666666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 134.51898068535826 | 26866.133333333335 | 199.72001866542232 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 135.44511151695335 | 21257.533333333333 | 156.94574056792428 |
| DRESDEN/brain_teaser_extended/ZDp94A | 135.56731466376652 | 199446.63333333333 | 1471.2 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 138.0368128474367 | 37246.933333333334 | 269.8333333333333 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 138.05053372338696 | 28311.333333333332 | 205.07949205079493 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 139.02854110360363 | 20574.166666666668 | 147.985201479852 |
| DRESDEN/stratego/Z2wovg | 139.9453434195445 | 31201.066666666666 | 222.95180321311912 |
| DRESDEN/troublemaker02/iZLVuA | 140.8603138873257 | 525648.4333333333 | 3731.7 |
| BASE/tictactoe_3d_small_2player/oOryKA | 141.02252364360376 | 37775.23333333333 | 267.8666666666667 |
| STANFORD/multipletictactoe/_bkafQ | 141.71768978334984 | 28635.466666666667 | 202.05993133562214 |
| BASE/troublemaker02/DI83KA | 141.73201194182468 | 517468.3 | 3651.0333333333333 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 142.68297158061594 | 21000.833333333332 | 147.18528147185282 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 143.6399439729752 | 116223.86666666667 | 809.1333333333333 |
| BASE/zhadu/DlA8iQ | 143.87379758308157 | 3172.7 | 22.051965356429047 |
| STANFORD/triplesukoshi/Iu9mbA | 143.89502197689868 | 46924.166666666664 | 326.1 |
| DRESDEN/catcha_mouse/cHv4dw | 144.73085272983445 | 54781.8 | 378.508099460036 |
| BASE/stateSpaceSmall/Q7osKA | 147.3681748909559 | 467378.1666666667 | 3171.5 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 148.01043475763842 | 21474.166666666668 | 145.0854914508549 |
| STANFORD/dualrainbow/G3OnRQ | 148.99962132687065 | 131159.4 | 880.2666666666667 |
| BASE/cephalopodMicro/9l2D3g | 150.2529411023622 | 3177.6 | 21.148338106973956 |
| BASE/tictactoe_3d_small_6player/g_9lww | 150.4543388405797 | 29986.566666666666 | 199.30675909878684 |
| DRESDEN/statespacesmall/h-NqjA | 150.8975029826067 | 480628.6666666667 | 3185.133333333333 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 154.50380534427876 | 30738.033333333333 | 198.94677198946772 |
| DRESDEN/buttons/ADUaHw | 155.89440313709514 | 612228.5 | 3927.2 |
| BASE/chickentoetictac/l57rfQ | 156.34991053113953 | 238829.7 | 1527.5333333333333 |
| BASE/blocks2player/wnTLOQ | 156.65972700951332 | 265125.7 | 1692.3666666666666 |
| BASE/blocksWorldSerial/Wyg96Q | 158.2068788501027 | 184912.2 | 1168.8 |
| BASE/golden_rectangle/_nYzfw | 159.10317418712674 | 15983.5 | 100.45996933537764 |
| STANFORD/nineboardtictactoe/y28P-A | 159.31141876240713 | 31208.066666666666 | 195.8934702176594 |
| BASE/stateSpaceLarge/0Ge_CQ | 160.20688669129038 | 224102.73333333334 | 1398.8333333333333 |
| DRESDEN/blocks2player/3ev8nQ | 160.2696880495451 | 279488.9666666667 | 1743.8666666666666 |
| BASE/buttons/hTcUjw | 160.72388097920722 | 627658.9 | 3905.2 |
| DRESDEN/toetictac/mJtxCA | 160.95561783107402 | 246970.3 | 1534.4 |
| BASE/circlesolitaire/azuQFQ | 161.12134318495825 | 268218.7 | 1664.7 |
| BASE/lightsOut/5P1ZBw | 161.55238905888996 | 104881.7 | 649.2116929435686 |
| DRESDEN/circlesolitaire/ruUilQ | 161.82939412117574 | 269769.6 | 1667.0 |
| DRESDEN/statespacelarge/8-y5HQ | 162.21699792708208 | 221723.6 | 1366.8333333333333 |
| STANFORD/rainbow/_4qNSQ | 162.3944360280953 | 235829.2 | 1452.2 |
| DRESDEN/chickentoetictac/cxYaRQ | 163.2725988066933 | 242633.96666666667 | 1486.0666666666666 |
| BASE/lightsOn/MsXu3A | 164.0322018894484 | 376776.5 | 2296.9666666666667 |
| BASE/breakthroughSmallHoles/bxclRw | 164.3746318128168 | 52607.333333333336 | 320.04533031131257 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 165.0170407186738 | 178179.9 | 1079.7666666666667 |
| BASE/toetictac/mTThmg | 167.756603527674 | 257428.1 | 1534.5333333333333 |
| BASE/nineBoardTicTacToe/wRmqqA | 173.5457906234246 | 34425.7 | 198.36666666666667 |
| BASE/ticTacToeSerial/Amrwqw | 178.6070488894328 | 97299.16666666667 | 544.7666666666667 |
| BASE/pawnWhopping/Ypc_6Q | 183.1113325581395 | 48550.166666666664 | 265.14015265140154 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 183.1935451437764 | 242939.06666666668 | 1326.1333333333334 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 183.86901720892712 | 182349.03333333333 | 991.7333333333333 |
| BASE/pentago/86NgKw | 183.99910690892779 | 13669.766666666666 | 74.2925707429257 |
| BASE/pentagoSuicide/SBgNhw | 185.18429711191334 | 13675.3 | 73.84697414022928 |
| BASE/duplicateStateSmall/bCPAXw | 189.49023477936814 | 457625.23333333334 | 2415.0333333333333 |
| DRESDEN/blocksworldparallel/2JfVaw | 190.09405119292146 | 160414.03333333333 | 843.8666666666667 |
| BASE/ticTacToeLargeSuicide/727_8g | 191.87067447014036 | 112557.73333333334 | 586.6333333333333 |
| BASE/ticTacToeLarge/TZC0dg | 192.42133242845833 | 113413.13333333333 | 589.4 |
| BASE/incredible/8Qh-6Q | 193.1861659444712 | 160499.06666666668 | 830.8 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 195.04899957645065 | 5111.333333333333 | 26.205380927011188 |
| BASE/hodgepodge/9yjRkw | 198.52457905613716 | 195328.33333333334 | 983.9 |
| DRESDEN/Thief_Police/CX18rA | 203.62424392487003 | 191888.7 | 942.3666666666667 |
| DRESDEN/tictactoe_3player/ESLQQQ | 204.2583509868277 | 51859.46666666667 | 253.89153694876836 |
| BASE/coloredtrails/EZvr7g | 205.13900107700593 | 101584.83333333333 | 495.2 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 209.661653068464 | 197012.06666666668 | 939.6666666666666 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | 209.70753064798598 | 11974.3 | 57.1 |
| DRESDEN/catch_me/ghGWrA | 210.0953812028192 | 195745.86666666667 | 931.7 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 210.28240022563813 | 198815.0 | 945.4666666666667 |
| DRESDEN/cube_2x2x2/fp-34Q | 212.19725178650427 | 90598.13333333333 | 426.95243491883605 |
| DRESDEN/statespacemedium/dVJZ_w | 212.97765159062232 | 427573.93333333335 | 2007.6 |
| STANFORD/buttonsandlights/eyhJpA | 214.72093742208924 | 717704.7333333333 | 3342.5 |
| BASE/untwistycomplex2/EDPPAQ | 215.20160556153272 | 606732.2333333333 | 2819.366666666667 |
| STANFORD/8puzzle/jNiGtw | 216.11746115354228 | 109413.06666666667 | 506.26666666666665 |
| BASE/firefighter/WJmoPw | 216.95013991350802 | 227421.6 | 1048.2666666666667 |
| BASE/eightPuzzle/vLrgFg | 219.1995624815461 | 108880.1 | 496.7167761074631 |
| BASE/hidato19/rRHSmA | 219.88887008236435 | 30255.7 | 137.59541348621713 |
| STANFORD/untwistycorridor/EDPPAQ | 221.71890853098108 | 619164.8333333334 | 2792.5666666666666 |
| BASE/stateSpaceMedium/3bUoIw | 222.72543926661575 | 437321.4 | 1963.5 |
| STANFORD/dualhunter/1rPZjQ | 223.65439406883635 | 76964.36666666667 | 344.12186260457986 |
| DRESDEN/firefighter/WJmoPw | 224.5575608152531 | 227701.36666666667 | 1014.0 |
| BASE/blockerSerial/3eqDuw | 226.46478393740446 | 83932.6 | 370.62097930068995 |
| BASE/connectFourSimultaneous/7ITr3g | 230.63171081654903 | 44652.03333333333 | 193.607518997467 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 233.4112567588625 | 19966.233333333334 | 85.54100436535705 |
| STANFORD/eightpuzzle/W_aWbA | 235.55400793927154 | 112744.0 | 478.6333333333333 |
| DRESDEN/crisscross/GsY16g | 238.4538009144874 | 49541.1 | 207.75974134195528 |
| DRESDEN/battlesnakes1509/-qZrLw | 239.92067240010584 | 60442.0 | 251.92493583547216 |
| DRESDEN/connectfoursuicide/M9CNQg | 240.43358198410917 | 71278.16666666667 | 296.45678477384087 |
| DRESDEN/golden_rectangle/1uloXw | 247.01914281504594 | 15830.233333333334 | 64.0850468224081 |
| DRESDEN/connect4/T0-rHQ | 247.62620866773676 | 25705.0 | 103.80565182617968 |
| BASE/tictactoe_3player/GtM71g | 249.0467873738183 | 51810.03333333333 | 208.03333333333333 |
| BASE/crisscross/ICagEg | 250.29791704810341 | 52494.066666666666 | 209.72634245525148 |
| DRESDEN/battlesnakes2011/93VtTw | 250.398276026805 | 64341.63333333333 | 256.95717380436594 |
| DRESDEN/connectfour/5tc-Mg | 251.16121699924324 | 70056.26666666666 | 278.92947606985734 |
| STANFORD/breakthrough/d5j0cQ | 254.47312987271982 | 48199.26666666667 | 189.4080789228103 |
| BASE/connect4/50bOyw | 254.83302017239566 | 26929.566666666666 | 105.67534242010197 |
| STANFORD/bestbuttonsandlights/nm0wEA | 256.6814534524864 | 318824.0333333333 | 1242.1 |
| BASE/3pConnectFour/PqXOFQ | 260.66522875905036 | 51597.86666666667 | 197.9468719794687 |
| DRESDEN/logistics/fPru1Q | 264.16135593220343 | 77927.6 | 295.0 |
| STANFORD/untwistycomplex/HTWEwg | 266.8278460874723 | 659705.1666666666 | 2472.4 |
| BASE/connectFourSuicide/c8p9Kw | 273.22728969790194 | 71043.46666666666 | 260.01599893340443 |
| BASE/pegEuro/5awwhg | 277.08019527127925 | 18547.1 | 66.93766034718288 |
| BASE/connectFour/WAIKTw | 283.776760412196 | 70525.63333333333 | 248.52504916502784 |
| BASE/majorities/ibJzSQ | 287.77566977428853 | 29317.5 | 101.87622887992802 |
| STANFORD/connectfour/VMpZkQ | 288.8474665618299 | 67342.86666666667 | 233.14335233143353 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 288.9225266864752 | 350058.5333333333 | 1211.6 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 289.1088887677803 | 353657.26666666666 | 1223.2666666666667 |
| DRESDEN/point_grab/r5DPmQ | 292.6880090880526 | 403646.0333333333 | 1379.1 |
| BASE/tictactoe_3d_2player/IUC1rQ | 299.02744705299654 | 13406.533333333333 | 44.83378855505962 |
| BASE/snakeParallel/RCVNtw | 300.54421110390876 | 154544.7 | 514.2161927935736 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 300.7647075151515 | 13781.833333333334 | 45.822641383677144 |
| BASE/queens08lg/Ru7eqQ | 308.25270157938485 | 12360.933333333332 | 40.1 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 313.37452912750655 | 274526.5333333333 | 876.0333333333333 |
| BASE/snake2p/I3wWPQ | 313.5198946978902 | 94606.7 | 301.7566081130629 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 314.1728892413429 | 13201.333333333334 | 42.01932689103632 |
| BASE/peg/fJHVWw | 331.1839647233202 | 22334.2 | 67.43744377436444 |
| DRESDEN/oisters_farm/pTQMLg | 331.70256793072565 | 370290.63333333336 | 1116.3333333333333 |
| DRESDEN/chinesecheckers1/Y-ftaA | 332.00499936949797 | 62016.46666666667 | 186.79377354088197 |
| BASE/tictactoe_3d_6player/d7KSwg | 336.65597146822097 | 13459.066666666668 | 39.97869578243068 |
| DRESDEN/mimikry/GJEhwA | 338.80550807505796 | 53543.73333333333 | 158.03678528588566 |
| STANFORD/3puzzle/41ibjA | 343.33048365122613 | 336006.1 | 978.6666666666666 |
| DRESDEN/chomp/-LcqYQ | 344.60516799208705 | 77416.13333333333 | 224.65168988734084 |
| BASE/connectFour_9x6/B9TtMw | 345.3216433803764 | 68491.26666666666 | 198.3404978506448 |
| STANFORD/threepuzzle/41ibjA | 346.2064662118147 | 336593.4666666667 | 972.2333333333333 |
| BASE/chomp/-LcqYQ | 347.60582347501867 | 77682.13333333333 | 223.4776522347765 |
| DRESDEN/3pttc/uwYBZw | 349.6882150576623 | 77147.73333333334 | 220.61862542497167 |
| BASE/maze/cCX3qQ | 352.09501000857875 | 656680.6666666666 | 1865.0666666666666 |
| DRESDEN/3pffa/0YrmQw | 358.6043808319106 | 77008.56666666667 | 214.74519214745192 |
| BASE/duplicateStateLarge/dcjyuw | 362.8738750565246 | 99856.23333333334 | 275.1816545563629 |
| BASE/gt_dollar/TGjqRw | 373.5875018777227 | 248697.2 | 665.7 |
| STANFORD/pentago/ZxzLmg | 376.151897646889 | 28946.333333333332 | 76.95384102649558 |
| BASE/qyshinsu/R08Lzw | 379.9878126662919 | 22522.766666666666 | 59.272339574865065 |
| STANFORD/hunter/14dD-g | 382.03132832080206 | 172754.56666666668 | 452.2 |
| BASE/cittaceot/fDxhXg | 396.2500412100841 | 39290.86666666667 | 99.1567509915675 |
| BASE/dualConnect4/WbCQkg | 397.1154353251318 | 45182.7 | 113.77724455108978 |
| BASE/hidato37/pBrqxw | 398.9802489137182 | 7139.366666666667 | 17.894035321559482 |
| BASE/othello-comp2007/86ZoMw | 399.429703030303 | 877.4 | 2.196631831192172 |
| DRESDEN/grid_game/U7_Yeg | 411.6483340734415 | 80332.0 | 195.14715195147153 |
| DRESDEN/chinesecheckers3/QsCb2A | 428.72252688043153 | 47678.7 | 111.2110911151103 |
| BASE/connect5/d-BVQg | 443.18332135154566 | 20548.933333333334 | 46.36666666666667 |
| BASE/tron_10x10/7ZTgDg | 449.6235000548546 | 109281.2 | 243.0504633024465 |
| BASE/connectFourLarge/aU644A | 452.9722149410223 | 57602.96666666667 | 127.16666666666667 |
| DRESDEN/knightwar/7hhAqg | 456.883044937949 | 69941.8 | 153.08469153084692 |
| BASE/duplicateStateMedium/U163eQ | 463.6256351689538 | 349098.4666666667 | 752.9749008366388 |
| BASE/othelloSuicide/B442jg | 469.3055724137931 | 898.4 | 1.9143177767509407 |
| BASE/rubiksCube/9tNO9Q | 475.4969631397508 | 39841.333333333336 | 83.78882815624583 |
| BASE/strangeSkirmish/gc1zKA | 481.25239844961243 | 6892.666666666667 | 14.322352862805182 |
| DRESDEN/chinesecheckers2/06E6-Q | 482.39140683817794 | 48120.166666666664 | 99.75336621783762 |
| DRESDEN/chinesecheckers4/-oVNYg | 488.3372528059861 | 30455.966666666667 | 62.36666666666667 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 494.35708821930217 | 109093.7 | 220.67793220677933 |
| BASE/aipsrovers01/4C4jsw | 495.11128935119297 | 197117.1 | 398.12685398126854 |
| BASE/skirmishHoles/AUCxCA | 498.779680860215 | 7724.133333333333 | 15.486062543710661 |
| DRESDEN/aipsrovers01/qS47Mw | 510.3529657477026 | 203630.83333333334 | 399.0 |
| DRESDEN/snake_2009/zIYLVw | 512.744200121041 | 84722.43333333333 | 165.23333333333332 |
| BASE/snake_2009/7l-qAQ | 518.6642275371161 | 85003.4 | 163.88907406172922 |
| DRESDEN/snake_2009_big/DgC1NQ | 519.8534959563115 | 69276.83333333333 | 133.26222459251358 |
| DRESDEN/backgammon/mqCW0Q | 526.924401246106 | 26297.066666666666 | 49.906716417910445 |
| DRESDEN/capture_the_king/EQ229Q | 531.5790769230769 | 7577.333333333333 | 14.25438596491228 |
| BASE/mineClearingSmall/frsbvw | 532.4850823319982 | 39872.5 | 74.88003199146894 |
| BASE/snake_2009_big/-oRfVw | 535.6367681975308 | 72303.73333333334 | 134.98650134986502 |
| BASE/beatMania/qUHwvQ | 541.573651456888 | 273214.8 | 504.4831838938702 |
| BASE/othelloHoles/c0qAzw | 547.9858275862068 | 1059.3333333333333 | 1.9331400193314001 |
| BASE/englishDraughts/jFkQxg | 567.2862675675675 | 51069.566666666666 | 90.02433090024331 |
| BASE/ruleDepthLinear/OUBJpQ | 568.8270081584609 | 467139.7 | 821.2333333333333 |
| BASE/point_grab/V_osUg | 575.9287410625453 | 403040.695930407 | 699.8100063331223 |
| DRESDEN/Zhadu/9zpQ5w | 587.586045773732 | 15055.766666666666 | 25.623084099693457 |
| BASE/escortLatch/mX9BjQ | 597.1855486852589 | 49954.53333333333 | 83.6499366793308 |
| DRESDEN/minichess/c7GMFw | 633.0970688247713 | 59967.4 | 94.72070390614584 |
| DRESDEN/knightstour/cGISAA | 655.3113759755436 | 348919.8333333333 | 532.4489183693877 |
| DRESDEN/amazons/dNB28A | 673.2441715399609 | 3819.6666666666665 | 5.673523556735236 |
| DRESDEN/frogs_and_toads/GjchhQ | 679.7040474536124 | 57372.46666666667 | 84.40801093005432 |
| BASE/checkLines/Vop7oQ | 698.3154439428141 | 103104.16666666667 | 147.646980402613 |
| BASE/shmup/ssTNlg | 701.2514847411444 | 102923.13333333333 | 146.77064587082583 |
| DRESDEN/skirmishfinal/hzq8ww | 702.7074338530066 | 10503.533333333333 | 14.947235260827592 |
| BASE/skirmishFinal3/-Olhfw | 704.6902033957034 | 11285.366666666667 | 16.014649575495255 |
| DRESDEN/quad_5x5/JAEP5g | 707.9361462857142 | 4109.9 | 5.8054670912951165 |
| DRESDEN/chinesecheckers6/yTbPDA | 708.7401400972054 | 38878.433333333334 | 54.85569552756115 |
| BASE/skirmishFinal2/gdB62Q | 718.1104965831436 | 10508.0 | 14.632845571814272 |
| BASE/quad_5x5/JAEP5g | 731.2564355639244 | 4059.564681177294 | 5.551492586929061 |
| BASE/breakthroughSuicideSmall/XSbJog | 737.3386725059014 | 65931.66666666667 | 89.41843026162306 |
| BASE/skirmishFinal1/ecWTnQ | 739.8155214506172 | 10652.633333333333 | 14.399040063995734 |
| BASE/breakthroughSmall/HJ0tIA | 745.7639977908689 | 67503.0 | 90.51523028727588 |
| BASE/endgame/jYjfOA | 750.2384359090909 | 27489.5 | 36.6410179540988 |
| DRESDEN/4pttc/9pB9AQ | 761.9826993243244 | 63894.3 | 83.85269121813032 |
| BASE/gt_centipede/9fRMpw | 777.3790697674419 | 378842.73333333334 | 487.3333333333333 |
| DRESDEN/babel/WdSW4A | 792.8587662895927 | 70074.7 | 88.38232353529294 |
| BASE/minichess/8NQEiA | 800.0561747838306 | 82243.03333333334 | 102.79657344755175 |
| STANFORD/alquerquezero/uVgA_A | 837.9461834420473 | 55645.3 | 66.4067706250833 |
| STANFORD/freeforall/Lfp40Q | 859.4597137912672 | 71712.33333333333 | 83.4388537154282 |
| STANFORD/pilgrimage/ObRZnQ | 867.063576623705 | 38097.76666666667 | 43.938838735467534 |
| BASE/roshambo2/KNPokQ | 867.1277095182265 | 271170.7 | 312.72290923635876 |
| DRESDEN/roshambo2/jgSlkQ | 869.4046248822851 | 276963.3333333333 | 318.56666666666666 |
| DRESDEN/endgame/IJhh3Q | 893.6833732240436 | 21786.266666666666 | 24.378059746228395 |
| BASE/asteroidsSerial/id2QkA | 903.0513891007871 | 271478.3 | 300.62331255624815 |
| BASE/skirmish/Y_psYQ | 948.288 | 7408.5 | 7.8125 |
| BASE/connectFourLarger/qKi60A | 952.1623216939079 | 42699.0 | 44.84424454439447 |
| DRESDEN/crissrace/KWb9bw | 956.8601742318436 | 45651.3 | 47.70947859403631 |
| BASE/ttcc4_2player_small/Cv72TA | 958.7527047913446 | 62031.3 | 64.7 |
| DRESDEN/bidding-tictactoe/yW5vTA | 961.9305829411765 | 130796.4 | 135.97280543891222 |
| BASE/crissrace/ERWGDA | 969.776869477352 | 46358.3 | 47.80305806322662 |
| BASE/biddingTicTacToe/8mESVw | 979.9099051633298 | 123991.26666666666 | 126.53333333333333 |
| BASE/hexPie/48CH6Q | 982.8450397790054 | 23700.366666666665 | 24.11404209965361 |
| BASE/2pffa/6oHijA | 993.0924976979742 | 71878.33333333333 | 72.37828651404578 |
| BASE/hex/T1MK8g | 1001.4915892761393 | 24893.8 | 24.856723977075838 |
| DRESDEN/racetrackcorridor/O0DoTA | 1044.8639543819365 | 60643.46666666667 | 58.039581528619976 |
| BASE/chineseCheckers2/eCMR3Q | 1046.1449532272038 | 107309.43333333333 | 102.5760655846969 |
| STANFORD/hex/MTqWcw | 1072.4362189944134 | 25564.8 | 23.838060993474496 |
| STANFORD/knightstourmedium/x1wu8Q | 1073.3914535246413 | 344129.3 | 320.6 |
| BASE/chineseCheckers1/gqtwHw | 1083.9590929920478 | 145390.2 | 134.1288623712543 |
| BASE/racetrackcorridor/_RkdUg | 1106.1975347964735 | 65501.933333333334 | 59.213595468177274 |
| BASE/wallmaze/uxNQ9g | 1111.2001363636364 | 26878.5 | 24.1887119344306 |
| BASE/3pffa/pR0dzA | 1111.7167770207438 | 69072.36666666667 | 62.13126229125696 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 1116.3381205958817 | 608.5927604826345 | 0.5451688419972421 |
| BASE/chineseCheckers4/avfBcQ | 1127.833809726104 | 67240.8 | 59.619422134835204 |
| BASE/4pffa/Q3ADlg | 1158.2690459525259 | 63402.833333333336 | 54.739297018157586 |
| BASE/nonogram_5x5_1/qLKEZw | 1170.5877376666667 | 58511.833333333336 | 49.985004498650405 |
| BASE/2pffa_zerosum/o0_uZA | 1171.602165775401 | 73025.0 | 62.329178054796344 |
| BASE/asteroids/BKCmPQ | 1174.8242421354016 | 540244.5 | 459.8513382887237 |
| STANFORD/knightstour/cEwgNA | 1181.9090046268834 | 332077.0333333333 | 280.96666666666664 |
| BASE/asteroidsParallel/WauZiA | 1193.7765019798683 | 318886.86666666664 | 267.1244291856938 |
| BASE/choicethroughalt/tt71Lg | 1195.9652721461187 | 29082.433333333334 | 24.317121918720854 |
| BASE/hallway/ckCJOw | 1202.9115408317582 | 21188.033333333333 | 17.61395797955582 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 1237.4540093023256 | 3518.4 | 2.843257182530499 |
| BASE/chineseCheckers3/-1rZdQ | 1240.0867721085408 | 92895.96666666666 | 74.91086007531074 |
| DRESDEN/hallway/0H4l-Q | 1260.1473598978287 | 21917.066666666666 | 17.392463265918103 |
| BASE/reversiSuicide/9OxJlg | 1273.0331072727272 | 2310.1 | 1.8146425154244614 |
| BASE/reversi/d8UMeA | 1284.8973410714286 | 2375.4333333333334 | 1.8487339473771087 |
| BASE/knightsTour/mvtVIg | 1290.9622262973928 | 348806.36666666664 | 270.19099363354553 |
| BASE/queens06ug/7Lq3tw | 1298.6761405567765 | 98459.96666666666 | 75.81564301662945 |
| DRESDEN/tttcc4/sAvtFg | 1318.2424883591577 | 36861.933333333334 | 27.96293827489668 |
| BASE/chineseCheckers6/rREH3A | 1353.2335005934717 | 60793.13333333333 | 44.924348463640605 |
| BASE/tttcc4/8Bs2lg | 1355.317810965435 | 37870.9 | 27.942449876773463 |
| BASE/brawl/6Ymo_Q | 1355.9177460055096 | 16396.766666666666 | 12.092744353387967 |
| BASE/sheepAndWolf/g4THrg | 1361.8141180044593 | 27103.033333333333 | 19.902153293174027 |
| DRESDEN/Runners/3bOCQw | 1385.389724310777 | 331662.3 | 239.4 |
| BASE/god/qF06gw | 1388.2640260340631 | 6320.566666666667 | 4.552856335781463 |
| DRESDEN/brawl/2kXtfQ | 1390.2422579545455 | 16282.866666666667 | 11.712251281027484 |
| BASE/nonogram_10x10_1/0Xc62g | 1394.8850201183432 | 15693.733333333334 | 11.250915385127488 |
| DRESDEN/god/2EDD5w | 1402.8076482269503 | 6550.4 | 4.669492648032852 |
| BASE/ttcc4/Le0qjQ | 1402.8607650306749 | 38104.7 | 27.162139643392766 |
| BASE/copolymer_4_pie/IN5_jA | 1415.3005045233936 | 80991.56666666667 | 57.225703239568055 |
| BASE/breakthroughHoles/nZk0Sg | 1415.469036440678 | 44520.8 | 31.453037017292505 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 1421.3780706626421 | 109843.23333333334 | 77.2793921620901 |
| DRESDEN/breakthrough/z4hK7Q | 1427.3890026866607 | 50730.26666666667 | 35.54060355739124 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 1433.2776607120934 | 51855.26666666667 | 36.17949828430556 |
| BASE/kitten_escapes_from_fire/uW-YiA | 1468.0292940230893 | 111581.96666666666 | 76.00799733422193 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 1471.612125047081 | 52067.3 | 35.381130063965884 |
| DRESDEN/knightthrough/J7Fc_Q | 1489.336177777778 | 49866.166666666664 | 33.482142857142854 |
| BASE/breakthroughSuicide/wZDpIg | 1545.2868661764705 | 49032.2 | 31.730160317301603 |
| BASE/queens08ug/kJ_ZFQ | 1551.1788586175942 | 57583.166666666664 | 37.122196674331036 |
| DRESDEN/Goldrush/VeWczQ | 1583.6655706666666 | 68620.93333333333 | 43.3304446370242 |
| BASE/breakthroughWalls/vOZaYA | 1602.3940881177707 | 50765.433333333334 | 31.680991405156906 |
| BASE/breakthrough/TGxk-g | 1613.9879989484755 | 51105.5 | 31.664114004128653 |
| BASE/ttcc4_2player/_aH_Mw | 1672.2354961165047 | 34410.2 | 20.577364898611528 |
| STANFORD/chinook/osFbPA | 1694.6990514728684 | 36403.26666666667 | 21.480667399340593 |
| STANFORD/ttcc4/Cx9SGw | 1699.246350702028 | 36303.6 | 21.364530213645303 |
| BASE/chinook/XQh0IQ | 1699.9533629787236 | 39918.3 | 23.481997135529426 |
| DRESDEN/pawntoqueen/f_x6Aw | 1735.7923931623932 | 2249.0333333333333 | 1.2956810631229236 |
| DRESDEN/skirmish3/3LU8Nw | 1739.1036345006482 | 29767.866666666665 | 17.11678710579773 |
| BASE/copolymer_4/2LDVhQ | 1762.2776308104887 | 98540.5 | 55.91655836582358 |
| DRESDEN/pacman3p/rBnk8Q | 1777.8673757022473 | 42190.5 | 23.730960237309603 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 1808.7132162568307 | 44119.36666666667 | 24.392682195341397 |
| BASE/pawnToQueen/-O1_JA | 1868.0894105263158 | 2342.2 | 1.2537943777220535 |
| DRESDEN/skirmish/RjGQYQ | 1880.2340252305664 | 31661.566666666666 | 16.83916270092183 |
| DRESDEN/gt_prisoner/huCp4w | 1999.5396930357604 | 401254.115843498 | 200.67324356752434 |
| BASE/pacman2p/4LEdQg | 2001.3353023883697 | 42745.933333333334 | 21.358706500765187 |
| BASE/pacman3p/wW7UVQ | 2025.0795836990596 | 43032.26666666667 | 21.24966693312017 |
| BASE/checkersBarrelNoKings/rnKNeg | 2040.112530193906 | 49069.26666666667 | 24.052235325471383 |
| DRESDEN/skirmish2/iPpWhQ | 2069.338216827853 | 35650.9 | 17.22816488386817 |
| BASE/gt_coordination/IVMOzA | 2069.7806020411495 | 422468.9666666667 | 204.11292204112922 |
| BASE/knightazons/apnJBQ | 2104.8604862447255 | 27671.566666666666 | 13.146508686680423 |
| DRESDEN/knightazons/02I8BQ | 2122.708508977556 | 28370.7 | 13.365330133653302 |
| BASE/checkersTorusNoKings/pwb6oQ | 2135.00742516525 | 50242.166666666664 | 23.532548915036166 |
| BASE/queens12ug/u6Bkmg | 2193.8348592964826 | 29075.8 | 13.253413253413253 |
| BASE/knightwar/DVGY4Q | 2198.3750331914894 | 68845.7 | 31.316631130063964 |
| BASE/dotsAndBoxes/EHwA_w | 2231.3210324242423 | 65423.73333333333 | 29.32062772798454 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 2265.649895057471 | 65644.76666666666 | 28.97392346887801 |
| BASE/checkersTorus/2vm1EQ | 2288.224149746193 | 45067.5 | 19.695404405638683 |
| BASE/ttcc4_2player_alt/ZEJvYA | 2319.4434504347823 | 44442.666666666664 | 19.160918391149323 |
| BASE/chess_200/XsTpYA | 2338.269852777778 | 7429.466666666666 | 3.177335010260144 |
| BASE/battlebrushes/arCwyA | 2339.9315076923076 | 11150.7 | 4.765395894428153 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 2342.454602985075 | 5205.8 | 2.222369643094069 |
| BASE/queens16ug/gT-ylw | 2378.6509522613064 | 15707.7 | 6.603617056578729 |
| BASE/2pttc/unkkYA | 2440.2699520607375 | 74982.63333333333 | 30.72718789575418 |
| DRESDEN/gt_chicken/CeuKtw | 2492.7685581985675 | 405851.7 | 162.8116251166511 |
| BASE/gt_staghunt/xPjLRA | 2570.3568399229785 | 400434.9 | 155.78961402573162 |
| DRESDEN/smallest/9kaGFw | 2623.742265520535 | 91507.6 | 34.87674883411059 |
| BASE/gt_prisoner/klthDw | 2748.790218590025 | 417563.26666666666 | 151.9080153307782 |
| BASE/battle/8oAvhQ | 2763.644886666667 | 2662.3 | 0.9633292659430993 |
| DRESDEN/battle/8oAvhQ | 2785.8917822222224 | 2688.133333333333 | 0.9649094593290662 |
| DRESDEN/connect5/1kYzSg | 2916.328968144499 | 19485.066666666666 | 6.681367870190567 |
| BASE/skirmishNew/sibw2g | 3030.046211180124 | 16218.0 | 5.352393617021277 |
| BASE/3pttc/0sol9g | 3060.729380645161 | 66413.4 | 21.698553429771348 |
| DRESDEN/smallest_4player/ADDROA | 3080.3234725526077 | 112170.36666666667 | 36.41512577044811 |
| BASE/knightsTourLarge/M8jgLA | 3088.414836650869 | 325589.0 | 105.42269002731331 |
| BASE/bomberman2p/4CClwA | 3095.766033254157 | 86887.83333333333 | 28.066666666666666 |
| DRESDEN/bomberman2p/x4h6jQ | 3121.554440627451 | 88405.73333333334 | 28.32106087362143 |
| BASE/smallest_4player/ADDROA | 3138.587656088561 | 113377.4 | 36.123700346574246 |
| BASE/gt_chicken/gmepTQ | 3220.673974048746 | 408112.3333333333 | 126.71643780829223 |
| STANFORD/skirmish/w4V6Vw | 3234.497406018518 | 7725.966666666666 | 2.388614271970275 |
| BASE/speedChess/bPnisA | 3463.159011185682 | 17192.333333333332 | 4.964349970013993 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 3474.251469790518 | 105027.7 | 30.230310302303103 |
| BASE/amazons_8x8/7SOsIw | 3522.483410915493 | 33305.1 | 9.455005493225022 |
| STANFORD/madness/UO_B3A | 3632.58294 | 8387.4 | 2.3089355806972987 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 3641.6753238262913 | 103351.23333333334 | 28.380133906265613 |
| BASE/mummyMaze2p_2007/YGA3Vw | 3671.1605648869117 | 109928.16666666667 | 29.94370982246944 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 3766.361107005389 | 108718.66666666667 | 28.86570447651745 |
| STANFORD/knightstourbig/TQUI2g | 3963.5865458987787 | 302787.73333333334 | 76.3923607639236 |
| BASE/4pttc/AL1k2Q | 3988.547326635514 | 56801.03333333333 | 14.241032807612964 |
| DRESDEN/ghostmaze2p/HY0UwA | 4001.863253065327 | 132622.36666666667 | 33.14015454303224 |
| BASE/knightThrough/gcwFjA | 4046.7036152737755 | 46736.76666666667 | 11.549342652687635 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 4119.562961325967 | 24829.866666666665 | 6.027306027306027 |
| DRESDEN/mummymaze2p/k-8edg | 4136.79988259587 | 62217.86666666667 | 15.040095830699098 |
| BASE/mummymaze2p/vpjDdA | 4204.871833553113 | 63674.13333333333 | 15.142942723067195 |
| DRESDEN/four_way_battle/xSOQXA | 4281.799973076923 | 7353.4 | 1.7173618679612932 |
| BASE/ghostMaze2p/W-NU-w | 4393.719378730512 | 131461.7 | 29.920367840602406 |
| BASE/four_way_battle/xSOQXA | 4540.2407790849675 | 7671.866666666667 | 1.6897488569345969 |
| STANFORD/platformjumpers/HEQskA | 5544.376945454545 | 30312.2 | 5.467196819085487 |
| DRESDEN/nim4/F5YAYg | 5832.613453405018 | 180660.46666666667 | 30.97418817651957 |
| DRESDEN/nim3/sG_axA | 5844.927696272631 | 182781.73333333334 | 31.27185533020282 |
| BASE/nim4/twk16w | 5863.865855793992 | 182122.2 | 31.05838443081845 |
| BASE/nim3/1OwUqw | 6025.363608648649 | 185689.2 | 30.81792437114776 |
| BASE/kalaha5x2x3/WviNsw | 6318.9774010101 | 104106.96666666666 | 16.475287069395907 |
| BASE/amazonsSuicide_10x10/XIbQkg | 7069.598668965517 | 27301.2 | 3.8617750848924697 |
| DRESDEN/small_dominion/yB5GJA | 7229.951458333333 | 2826.5 | 0.3909431503502199 |
| BASE/amazons_10x10/Bun8dA | 7370.6335714285715 | 27334.8 | 3.7086092715231787 |
| BASE/nim2/eF2Qqw | 7968.413155908096 | 242601.16666666666 | 30.44535491822391 |
| DRESDEN/nim2/z5_exA | 8083.737120257827 | 243818.76666666666 | 30.161639726712213 |
| DRESDEN/knightfight/4_Ly4w | 8754.094246133332 | 109349.63333333333 | 12.4912561207155 |
| BASE/checkers-mustjump-torus/uSApKQ | 8808.977725757575 | 12867.933333333332 | 1.4607748746721556 |
| BASE/knightfight/SJRkAg | 9138.874056509696 | 109941.8 | 12.030125299920021 |
| BASE/nim1/hin2Qw | 9458.880953725038 | 273667.8333333333 | 28.932368921035966 |
| DRESDEN/nim1/M9BALA | 9485.451361207899 | 271906.1666666667 | 28.66560127846584 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 10573.095507692307 | 13560.6 | 1.282557221783741 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 11055.729729729728 | 13635.4 | 1.2333333333333334 |
| BASE/checkers-mustjump/T-8UuQ | 12427.20891754386 | 15656.066666666668 | 1.2598216357789345 |
| BASE/amazonsTorus_10x10/Uxc08g | 13108.15415035461 | 20530.633333333335 | 1.5662490002665956 |
| DRESDEN/quartosuicide/WIU1oQ | 13972.680112533335 | 57845.433333333334 | 4.139895343445717 |
| BASE/quarto/EwBMVQ | 14166.189932799998 | 58658.2 | 4.140718166158739 |
| DRESDEN/quarto/OQzRYQ | 14740.319544262295 | 59760.7 | 4.054233683370995 |
| BASE/quartoSuicide/-23jUg | 14799.394300833334 | 58768.566666666666 | 3.9710116152089743 |
| DRESDEN/gt_ultimatum/pAiiQw | 15040.79656191904 | 334039.6 | 22.208903539439948 |
| BASE/wargame02/BkVqqQ | 15455.167453030304 | 33768.36666666667 | 2.1849240242327936 |
| DRESDEN/hanoi/RQ0jiA | 16093.382677165353 | 340643.26666666666 | 21.166666666666668 |
| BASE/gt_ultimatum/GE-uOA | 16413.87845292259 | 346228.9666666667 | 21.093671898430472 |
| BASE/hanoi/iGLsJg | 16557.41875809524 | 347636.26666666666 | 20.995800839832032 |
| BASE/snake_2008/i6K26g | 16871.891914473686 | 85228.56666666667 | 5.051512130275839 |
| DRESDEN/snake_2008/E56l3A | 17550.215536383443 | 89369.06666666667 | 5.092191972309126 |
| BASE/snake_2008_tweaked/bX0NJQ | 17645.302015570174 | 89049.63333333333 | 5.0466482950961185 |
| BASE/knightmove/jBaJEw | 20523.554796624474 | 53826.46666666667 | 2.6226678175419957 |
| BASE/kalaha6x2x4/XS81Mg | 20840.689147857145 | 96943.1 | 4.651626407947636 |
| BASE/wargame03/klXI8w | 20957.273599999997 | 43411.2 | 2.0714144801736043 |
| DRESDEN/knightmove/97Ipcw | 21317.713846835442 | 55491.1 | 2.603051171373027 |
| BASE/crossers3/O0rORg | 22401.71322166667 | 74141.03333333334 | 3.3096144299189145 |
| BASE/wargame01/_GZFZg | 22815.110880808083 | 49591.53333333333 | 2.1736266631537347 |
| DRESDEN/crossers3/xiPTxg | 22881.154015646258 | 74511.63333333333 | 3.256463082341995 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 23813.659505882355 | 13352.866666666667 | 0.5607230028365987 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 24252.727762745097 | 13558.366666666667 | 0.5590450195665757 |
| DRESDEN/max_knights/hCipiA | 28896.404554285717 | 33521.4 | 1.1600543568327202 |
| BASE/max_knights/2fq3Ag | 31044.681949494945 | 33934.23333333333 | 1.093077177873468 |
| BASE/checkers/rOC3Xg | 31647.31472463768 | 23870.666666666668 | 0.7542714721411472 |
| DRESDEN/hitori/S8Gsyg | 33965.97722592592 | 9346.433333333332 | 0.27517045280826735 |
| BASE/hitori/S8Gsyg | 34462.5375 | 9171.666666666666 | 0.2661343978709248 |
| BASE/skirmishZeroSum/zh4hcw | 35034.84195714285 | 15859.533333333333 | 0.4526788889966696 |
| DRESDEN/battlebrushes/QHXV4A | 39971.77946666667 | 10784.4 | 0.2698003477426704 |
| BASE/checkersSmall/SYmq8w | 40234.14674444445 | 31751.266666666666 | 0.7891621728265158 |
| BASE/checkers-newgoals/0XkFiA | 41900.63531428572 | 18530.733333333334 | 0.4422542330048016 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 54291.4364 | 20704.8 | 0.3813640119494057 |
| DRESDEN/cylinder-checkers/clOO3Q | 56669.24182222222 | 15912.366666666667 | 0.28079371022089106 |
| BASE/checkersTiny/Lr48cg | 58712.271647826085 | 44873.63333333333 | 0.7642973448974845 |
| BASE/cylinder-checkers/hlldmw | 58949.4315925926 | 16537.666666666668 | 0.2805398834200929 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 59446.78594285715 | 12848.2 | 0.2161294306533284 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 59923.7920090909 | 21952.3 | 0.36633696339960703 |
| DRESDEN/satlike_20v_91c/yeuENQ | 60866.98925454545 | 22257.8 | 0.36567933246900036 |
| DRESDEN/pancakes88/aD3E7g | 63035.26409508197 | 640218.3 | 10.156510156510157 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 64449.670600000005 | 21020.766666666666 | 0.32615786040443573 |
| DRESDEN/pancakes/hl9aiQ | 65620.32880128617 | 679041.8 | 10.348040194316896 |
| DRESDEN/checkers-newgoals/IJOqXQ | 65826.97167407407 | 18412.566666666666 | 0.2797115862754848 |
| DRESDEN/pancakes6/SZXMyQ | 67039.91120610932 | 693985.7 | 10.35182904503545 |
| DRESDEN/checkers-mustjump/HUr33w | 67749.7165952381 | 15546.566666666668 | 0.22947057859367317 |
| DRESDEN/guess/PhxGhg | 69416.86946491228 | 174120.66666666666 | 2.508333608369913 |
| BASE/guess/SPpk1A | 69985.23970735932 | 179335.86666666667 | 2.5624812805750605 |
| BASE/pancakes/yUgbXw | 74116.23401079136 | 684756.1666666666 | 9.23894981721502 |
| BASE/pancakes6/QZTdnw | 74856.88183090024 | 683100.8333333334 | 9.125424631985613 |
| BASE/racer4/0vs7Ww | 81710.12122222222 | 23583.833333333332 | 0.28862805464691166 |
| BASE/blobwars/0XT15Q | 87783.42114 | 12773.7 | 0.1455138092604988 |
| DRESDEN/blobwars/ZaMluQ | 90145.67053333334 | 12759.833333333334 | 0.1415468236892764 |
| DRESDEN/fizzbuzz/t1xHzQ | 93702.89139795917 | 610422.0 | 6.514441453119288 |
| BASE/hanoi_6_disks/MeubgQ | 119305.62308333332 | 254281.33333333334 | 2.131344078859731 |
| DRESDEN/hanoi_6_disks/MeubgQ | 122511.92736296296 | 254584.93333333332 | 2.0780420226275687 |
| BASE/colonelBlotto/jip21A | 219620.57473939392 | 80164.13333333333 | 0.3650119458455004 |
| BASE/colonelBlottoVariant2/jruwGw | 492193.42627555557 | 236752.86666666667 | 0.4810159055926116 |
| BASE/gt_attrition/kD_SCA | 517326.3285 | 118750.1 | 0.2295458271847844 |
| BASE/pancakes88/l2Xaig | 545310.2966666666 | 646613.0 | 1.1857707509881423 |
| BASE/colonelBlottoVariant/X-n-KQ | 558388.5114142857 | 259525.9 | 0.46477657526060684 |
| DRESDEN/checkers/jIDMIg | 630854.88 | 18232.8 | 0.028901734104046242 |
| BASE/gt_tinfoil/Q8DyKg | 649270.0559333334 | 324537.6666666667 | 0.49985004498650404 |
| DRESDEN/racer/vk_ZBA | 795633.2502222222 | 65772.93333333333 | 0.08266740148801323 |
| BASE/racer/QQYQNw | 826374.6975555556 | 65698.26666666666 | 0.07950178879024777 |
| DRESDEN/merrills/aYEzwA | 964928.5770000002 | 18195.9 | 0.018857250612860643 |
| BASE/merrills/pku8Tg | 1003548.1646666666 | 18040.666666666668 | 0.0179768817300951 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 1128272.7326 | 316999.8 | 0.2809602597321512 |
| DRESDEN/hanoi7/51zz5Q | 1139683.0843333334 | 317657.1 | 0.2787240631774543 |
| BASE/hanoi7_bugfix/3gdnFw | 1176926.1685185183 | 333616.86666666664 | 0.28346456692913385 |
| BASE/solitaireChineseCheckers/-ET6gw | 1388580.1731 | 89519.4 | 0.06446829771459885 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 1458873.2147333333 | 377018.5333333333 | 0.2584313218762114 |
| DRESDEN/twisty-passages/j7NPyg | 1899921.2172 | 100143.43333333333 | 0.052709255745308874 |
| BASE/twisty-passages/DiZmmg | 1929341.7216 | 102016.8 | 0.05287648054145516 |
| BASE/ad_game_2x2/D0aWqg | 2059995.4152666666 | 60572.066666666666 | 0.029403981299067895 |
| DRESDEN/kalaha_2009/gcC8uA | 2074250.5390499998 | 98639.96666666666 | 0.047554509356349715 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 2178971.0757 | 123829.8 | 0.05682948313585088 |
| BASE/kalaha_2009/dRiN3g | 2227754.73665 | 102630.76666666666 | 0.04606914979384055 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 2402737.4420000003 | 185439.33333333334 | 0.07717835918808366 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 2476952.0589666665 | 190432.23333333334 | 0.07688167909587146 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 4062149.804533334 | 209195.06666666668 | 0.051498609537542483 |
| BASE/amazonsSuicide/dE1QEQ | Infinity | 768.7333333333333 | 0.0 |
| DRESDEN/vacuumcleaner_random_big/DwzFaQ | Infinity | 60824.6 | 0.0 |
| BASE/gt_two_thirds_2p/1APDGg | Infinity | 60757.73333333333 | 0.0 |
| DRESDEN/farmers/S_ASnw | Infinity | 45162.666666666664 | 0.0 |
| BASE/amazons/RKKZjw | Infinity | 766.0333333333333 | 0.0 |
Games with errors:
| Game | ALLOY_COMPILED_PROVER_CACHING:2 error message | REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 error message |
| STANFORD/multiplesukoshi/vLSQPg | ArrayIndexOutOfBoundsException: 5 | |
| BASE/alexChess/LNo83g | Exception of type StackOverflowError | |
| BASE/amazonsTorus/soxT8g | Exception of type StackOverflowError | |
| DRESDEN/javastrike/whONTQ | Exception of type StackOverflowError | |
| 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 |