Game-by-game performance:
| Game | Perf ratio | ALLOY_COMPILED_PROVER_CACHING:2 states per second | REKKURA_GENERIC_FORWARD_PROVER:1.0.0 states per second |
| BASE/quad/tw-Ufg | 4.718446785751475 | 25.255824080121926 | 5.352571561554573 |
| DRESDEN/quad/JPe6fg | 6.180190993102455 | 33.23896752706078 | 5.3783074931111186 |
| BASE/coins/QnGtnQ | 15.270748714577515 | 43361.8 | 2839.5333333333333 |
| BASE/coins_atomic/AA3SSw | 16.595432852191976 | 47407.066666666666 | 2856.633333333333 |
| DRESDEN/coins/QwFP9w | 16.791925175005268 | 47815.566666666666 | 2847.5333333333333 |
| DRESDEN/ggp-course2013_michal13/jWKddg | 22.897481938870023 | 2472.0 | 107.95946936870875 |
| BASE/blokbox_simple/JBx4bg | 31.427854722611606 | 129.16555585177287 | 4.1099068642073515 |
| DRESDEN/grid_game2/kypTYQ | 33.48111401057204 | 14215.133333333333 | 424.57169522031865 |
| DRESDEN/quad_7x7/q-JOXg | 35.931432428794515 | 629.1589033803567 | 17.509986684420774 |
| BASE/quad_7x7/q-JOXg | 36.77789703161232 | 626.3457884737176 | 17.03049491751375 |
| BASE/sudokuGrade6H/ieE_9A | 43.218435411627695 | 5359.633333333333 | 124.01266455590735 |
| BASE/sudokuGrade6E/ihYFZA | 43.72023187928669 | 5311.3 | 121.48380215971204 |
| BASE/blockerParallel/7-nDJA | 44.171033080472355 | 18827.166666666668 | 426.23333333333335 |
| DRESDEN/blockerparallel/dVQgSg | 44.88864382054917 | 18999.233333333334 | 423.2525582480584 |
| BASE/haystack/UkweGA | 46.781912241482225 | 666166.6333333333 | 14239.833333333334 |
| BASE/sudokuGrade3/eI8dvg | 47.319114282940454 | 5787.354597873546 | 122.30479554770554 |
| BASE/sudokuGrade4/DTy07w | 47.770791282894734 | 5807.766666666666 | 121.57568486302739 |
| BASE/sudokuGrade2/u80Tfw | 47.880854628872534 | 5855.633333333333 | 122.2959234692177 |
| BASE/pearls/6k_mEQ | 48.43818429838102 | 719649.3333333334 | 14857.066666666668 |
| BASE/sudokuGrade5/BQfUQA | 48.55625086114102 | 6014.1 | 123.8584094393707 |
| BASE/onestep/xi53wA | 49.07856204159193 | 368475.3 | 7507.866666666667 |
| STANFORD/sudoku/oJ1qyQ | 49.40339459161148 | 5967.333333333333 | 120.78792120787921 |
| BASE/sudokuGrade1/tDRNRw | 49.543787007045474 | 6016.066666666667 | 121.42928569047699 |
| DRESDEN/tictactoeparallel/yk_DSg | 55.03488337275803 | 61266.666666666664 | 1113.2333333333333 |
| DRESDEN/bunk_t/7-tPfA | 60.08397838848771 | 77103.76666666666 | 1283.2666666666667 |
| BASE/doubletoetictac/fu35bg | 61.172749907294595 | 76983.86666666667 | 1258.4666666666667 |
| STANFORD/duidoku/3SoMaA | 61.36672128305158 | 4718.0 | 76.88206085246776 |
| BASE/bunk_t/xbpfIA | 62.023582358235814 | 80392.9 | 1296.1666666666667 |
| DRESDEN/doubletictactoe/lJzgmQ | 62.515030163008596 | 81175.76666666666 | 1298.5 |
| BASE/doubletictactoe/HH1htg | 63.30931094353313 | 81434.76666666666 | 1286.3 |
| DRESDEN/slidingpieces/s9_44g | 63.72263810015489 | 16457.433333333334 | 258.26666666666665 |
| BASE/slidingpieces/uFJWEw | 64.02814650572903 | 16266.333333333334 | 254.0497300179988 |
| DRESDEN/doubletoetictac/V89gKQ | 64.09451565795878 | 79002.9 | 1232.6 |
| DRESDEN/peg/Vo31eg | 64.23719382552869 | 22678.5 | 353.0431304579695 |
| DRESDEN/pawn_whopping_corrected/7Ov0jQ | 64.40859293990351 | 47621.566666666666 | 739.3666666666667 |
| DRESDEN/peg_bugfixed/u_B7MA | 65.55044993298871 | 22824.666666666668 | 348.2 |
| DRESDEN/chickentictactoe/Ipbo-g | 66.53298655163664 | 122363.03333333334 | 1839.1333333333334 |
| DRESDEN/latenttictactoe/kITHKg | 67.36694525358669 | 82486.33333333333 | 1224.4333333333334 |
| DRESDEN/pawn_whopping_simultaneous/r8dLfw | 68.41056851311954 | 31286.433333333334 | 457.3333333333333 |
| BASE/survival/YVIjJA | 68.61178987073923 | 497183.9 | 7246.333333333333 |
| BASE/withConviction/3Xm54A | 69.17445461150315 | 40516.433333333334 | 585.713809539682 |
| DRESDEN/cubicup_3player/awDtsQ | 70.30425095377844 | 12776.2 | 181.72727575747476 |
| BASE/eotcatcit/AfZSzA | 70.72729175022232 | 135199.93333333332 | 1911.5666666666666 |
| BASE/futoshiki6/JmvXNA | 70.77439152273675 | 9423.533333333333 | 133.1489134782029 |
| BASE/cubicup_3player/e2yA_g | 71.50685955469505 | 12309.866666666667 | 172.14945172149453 |
| BASE/tpeg/QNs7Lw | 71.51101471664774 | 25179.733333333334 | 352.1098593427105 |
| DRESDEN/pawn_whopping/4ogBkg | 71.52583869674683 | 47977.933333333334 | 670.7776407453085 |
| DRESDEN/sum15/CsgWKg | 74.16109661716051 | 169608.9 | 2287.0333333333333 |
| DRESDEN/tictactoe/BTTzPw | 74.18411940699902 | 147117.0 | 1983.1333333333334 |
| DRESDEN/tpeg/h-Scbg | 74.69488501189532 | 25117.4 | 336.26666666666665 |
| DRESDEN/eotcatcit/mQUxzA | 75.1581477825308 | 137043.36666666667 | 1823.4 |
| BASE/sum15/QZ07Kg | 77.85388373379217 | 168922.16666666666 | 2169.733333333333 |
| BASE/numbertictactoe/rvJ-iQ | 78.14829734219269 | 62727.03333333333 | 802.6666666666666 |
| DRESDEN/sheep_and_wolf/enAIzQ | 78.34576643063727 | 26185.766666666666 | 334.23333333333335 |
| BASE/tictactoe2/bhrDoQ | 78.60350912002721 | 184872.83333333334 | 2351.9666666666667 |
| DRESDEN/towerworld/HCX34w | 78.61092045307444 | 1348.6333333333334 | 17.155801325826975 |
| BASE/simultaneousWin2/PfjRjw | 79.61672831894779 | 38741.5 | 486.6 |
| DRESDEN/ticblock/Z2yNWQ | 80.45859241732241 | 97478.26666666666 | 1211.5333333333333 |
| BASE/lightsOnSimultaneous/_VN6lw | 82.14795550820604 | 41765.36666666667 | 508.4163861204627 |
| BASE/blocksWorldParallel/RseaAQ | 83.47589631083655 | 48196.2 | 577.3666666666667 |
| BASE/eotcitcit/V_9_bg | 85.41753451198838 | 82294.1 | 963.4333333333333 |
| BASE/queens31lg/0gID-A | 85.54094727018199 | 90.39397373508433 | 1.0567333729608348 |
| BASE/tictactoex9/BI26ow | 85.97687861271676 | 20327.8 | 236.43333333333334 |
| DRESDEN/tictactoex9/rFkD4w | 86.00594843348742 | 20465.866666666665 | 237.95873470884302 |
| BASE/futoshiki5/TJ4BZg | 86.48105716738198 | 16789.5 | 194.14078122916945 |
| STANFORD/selectivesukoshi/3xmXYg | 86.68053438412143 | 11547.966666666667 | 133.22445170321978 |
| BASE/double_tictactoe_dengji/zgaSbA | 86.94549978970979 | 82690.96666666666 | 951.0666666666667 |
| BASE/ticTacHeaven/18n58A | 87.65878439129652 | 32498.033333333333 | 370.73333333333335 |
| DRESDEN/tictictoe/LAUtwg | 89.01498373589868 | 85745.16666666667 | 963.2666666666667 |
| DRESDEN/double_tictactoe_dengji/bGaUyQ | 90.87925826801758 | 79231.56666666667 | 871.8333333333334 |
| DRESDEN/pentago_2008/hLjVpQ | 93.81228914747673 | 12764.3 | 136.06213126229125 |
| BASE/lightsOnSimul4/9FeASw | 95.5655553755785 | 35790.1 | 374.50836610892605 |
| STANFORD/duikoshi/tpw1sw | 95.58355710449638 | 55766.63333333333 | 583.4333333333333 |
| BASE/ticTacToeNoVars/XT03NA | 96.77592554004305 | 139328.3 | 1439.7 |
| BASE/ticblock/T21C1g | 97.48501841590071 | 97930.2 | 1004.5666666666667 |
| DRESDEN/tictactoelarge/IwXcbg | 98.75032855348852 | 112710.33333333333 | 1141.3666666666666 |
| DRESDEN/tictactoelargesuicide/6J4DeA | 100.0549816345271 | 116223.86666666667 | 1161.6 |
| BASE/cubicup/4wNWJA | 101.1924979151191 | 22703.466666666667 | 224.35918802706576 |
| BASE/ticTacHeavenFC/mrletw | 101.45464003329172 | 32506.066666666666 | 320.4 |
| DRESDEN/cubicup/SBn_lw | 101.48808459934465 | 22713.033333333333 | 223.8 |
| DRESDEN/tictactoe-init1/3ltIBQ | 101.63775919890415 | 143451.53333333333 | 1411.4 |
| BASE/chickentictactoe/DSlZCA | 103.60212108851466 | 118527.73333333334 | 1144.0666666666666 |
| BASE/factoringGeorgeForman/HGRorQ | 103.68158071793248 | 349296.3333333333 | 3368.9333333333334 |
| BASE/switches/tPUoCg | 104.45368509345278 | 220003.83333333334 | 2106.233333333333 |
| DRESDEN/sat_test_20v_91c/dK7nVw | 105.051668628418 | 21300.266666666666 | 202.75990800306656 |
| BASE/conn4/va9Y7A | 105.35345133023043 | 40742.333333333336 | 386.7204426519116 |
| DRESDEN/lightsout/XgLpzQ | 106.57602035691566 | 106103.53333333334 | 995.5666666666667 |
| DRESDEN/3qbf-5cnf-20var-40cl.0.qdimacs/-6hrIw | 106.74845859632022 | 29199.9 | 273.53931273539314 |
| BASE/minichess-evilconjuncts/4OpQzw | 107.34594722635705 | 12018.366666666667 | 111.95920271981868 |
| BASE/futoshiki4/BaCwSw | 107.76500202952029 | 36990.9 | 343.25522482583915 |
| DRESDEN/lightsout2/LFtfyQ | 108.52920868227653 | 105834.06666666667 | 975.1666666666666 |
| BASE/tictactoe-init1/7M19vA | 110.10711822660099 | 149011.63333333333 | 1353.3333333333333 |
| STANFORD/sukoshi/4LYZZQ | 110.33720421880976 | 134604.03333333333 | 1219.9333333333334 |
| BASE/tictactoe_orthogonal/WRzlVw | 110.40979652579992 | 143433.36666666667 | 1299.1 |
| DRESDEN/tictactoe_orthogonal/y69QFQ | 111.27507051081164 | 142031.5 | 1276.4 |
| DRESDEN/minichess-evilconjuncts/th24Tw | 111.40499508357915 | 12586.666666666666 | 112.9811698050325 |
| BASE/pentagoSuicide/SBgNhw | 111.70333531173428 | 13675.3 | 122.42517165522298 |
| DRESDEN/2player_normal_form_2010/NG_Kdg | 112.3651010160914 | 189470.03333333333 | 1686.2 |
| BASE/pentago/86NgKw | 113.08556626229208 | 13669.766666666666 | 120.8798533577737 |
| BASE/ticTicToe/c1OobQ | 113.34569689944942 | 78231.2 | 690.2 |
| STANFORD/tictactoe/ss1kyQ | 114.83602261757 | 138779.33333333334 | 1208.5 |
| BASE/ticTacToe/JRFsaQ | 115.22701277068295 | 138349.23333333334 | 1200.6666666666667 |
| DRESDEN/blocker/S815zQ | 115.26643318965517 | 142623.0 | 1237.3333333333333 |
| STANFORD/trifecta/ss1kyQ | 116.95112781954889 | 141027.46666666667 | 1205.8666666666666 |
| STANFORD/tictictoe/rpt_Dw | 117.1264181523501 | 81902.6 | 699.2666666666667 |
| BASE/blocksWorld/SEdXLQ | 120.42354553016588 | 328146.13333333336 | 2724.9333333333334 |
| STANFORD/tictactoe3/X7myng | 121.42929439363186 | 153563.53333333333 | 1264.6333333333334 |
| DRESDEN/blocks/vg0DRw | 121.83250925534821 | 326892.86666666664 | 2683.133333333333 |
| DRESDEN/lightson2x2/gBHuig | 121.8723256183886 | 204306.76666666666 | 1676.4 |
| BASE/troublemaker01/s3tlEQ | 122.77381519904958 | 540830.9333333333 | 4405.1 |
| DRESDEN/CephalopodMicro/H3XQfg | 122.87702684824902 | 3155.1 | 25.676890798281548 |
| BASE/snakeAssemblit/UO4sdg | 123.65302551787548 | 25399.066666666666 | 205.4059458738835 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.SAT/Q8-axQ | 123.79416505480336 | 25600.633333333335 | 206.8 |
| BASE/blocks/xIV5hQ | 124.0214603960396 | 334031.13333333336 | 2693.3333333333335 |
| BASE/ticTacToeParallel/ymRGPw | 124.47961438039768 | 61978.4 | 497.9 |
| DRESDEN/troublemaker01/C-lPWw | 124.51738895828868 | 561519.4666666667 | 4509.566666666667 |
| BASE/lightsOnParallel/SC6enA | 125.2500463520905 | 180142.96666666667 | 1438.2666666666667 |
| BASE/factoringMediumTurtleBrain/8RBqmQ | 125.8489288857579 | 59545.53333333333 | 473.15089497016766 |
| DRESDEN/uf20-010.cnf.SAT/5ICbCg | 126.36586389274157 | 21257.533333333333 | 168.22211852543163 |
| STANFORD/tictactoe5/WFRReg | 129.3847034513571 | 154450.83333333334 | 1193.7333333333333 |
| DRESDEN/brain_teaser_extended/ZDp94A | 129.88471139861505 | 199446.63333333333 | 1535.5666666666666 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.viz.SAT/2034pg | 130.82032137639993 | 26866.133333333335 | 205.36666666666667 |
| DRESDEN/uf20-020.cnf.SAT/hDrW_A | 130.94429184339313 | 21403.6 | 163.45576961535897 |
| DRESDEN/8puzzle/8fKC2w | 130.99485294117648 | 106891.8 | 816.0 |
| STANFORD/tictactoe7/-bE9-A | 131.2860698702744 | 149442.93333333332 | 1138.3 |
| BASE/nineBoardTicTacToePie/B8LzeQ | 133.4925085106383 | 30531.133333333335 | 228.71046228710463 |
| BASE/catcha_mouse/cHv4dw | 135.2226373306052 | 50666.23333333333 | 374.68751041631947 |
| BASE/brain_teaser_extended/ZDp94A | 136.34834959973682 | 207226.76666666666 | 1519.8333333333333 |
| BASE/blocker/dIWtxg | 136.88530361757105 | 141265.63333333333 | 1032.0 |
| DRESDEN/3qbf-5cnf-20var-40cl.1.qdimacs.SAT/2034pg | 138.57725566976666 | 28311.333333333332 | 204.3 |
| DRESDEN/sat_test_20v_91c_visualisation/aw8BIA | 138.66373294454226 | 21000.833333333332 | 151.4515215145152 |
| BASE/zhadu/DlA8iQ | 139.1535087719298 | 3172.7 | 22.8 |
| DRESDEN/troublemaker02/iZLVuA | 139.73817456801063 | 525648.4333333333 | 3761.6666666666665 |
| DRESDEN/tictactoe_3d_small_2player/HYttcg | 140.37788944723619 | 37246.933333333334 | 265.3333333333333 |
| DRESDEN/sat_test_20v_91c_version2/a1mPBA | 140.43413216560512 | 20574.166666666668 | 146.50403252682796 |
| DRESDEN/stratego/Z2wovg | 141.2665258074253 | 31201.066666666666 | 220.86666666666667 |
| DRESDEN/uf20-01.cnf.SAT/42Rs8A | 141.32253180522045 | 21474.166666666668 | 151.9514715195147 |
| BASE/troublemaker02/DI83KA | 141.5343076474235 | 517468.3 | 3656.133333333333 |
| BASE/stateSpaceSmall/Q7osKA | 141.6512097792595 | 467378.1666666667 | 3299.5 |
| DRESDEN/catcha_mouse/cHv4dw | 142.36434511434513 | 54781.8 | 384.8 |
| BASE/tictactoe_3d_small_2player/oOryKA | 142.43688899082565 | 37775.23333333333 | 265.20681265206815 |
| STANFORD/dualrainbow/G3OnRQ | 142.53874298134397 | 131159.4 | 920.1666666666666 |
| STANFORD/nineboardtictactoe/y28P-A | 144.72746946977895 | 31208.066666666666 | 215.63333333333333 |
| DRESDEN/connect4/T0-rHQ | 146.67689520730315 | 25705.0 | 175.24914175249143 |
| DRESDEN/statespacesmall/h-NqjA | 148.56839632362033 | 480628.6666666667 | 3235.0666666666666 |
| BASE/tictactoe_3d_small_6player/g_9lww | 150.0428574271737 | 29986.566666666666 | 199.8533431104593 |
| DRESDEN/tictactoe_3d_small_6player/llDEDQ | 150.3082314588427 | 30738.033333333333 | 204.5 |
| STANFORD/triplesukoshi/Iu9mbA | 150.9937550943801 | 46924.166666666664 | 310.7689231076892 |
| BASE/cephalopodMicro/9l2D3g | 150.99633417721518 | 3177.6 | 21.044219499200853 |
| BASE/golden_rectangle/_nYzfw | 151.77243702531646 | 15983.5 | 105.3122708791575 |
| BASE/blocks2player/wnTLOQ | 151.86197613365155 | 265125.7 | 1745.8333333333333 |
| DRESDEN/connectfour/5tc-Mg | 154.56997867176582 | 70056.26666666666 | 453.23333333333335 |
| BASE/connect4/50bOyw | 154.6542744193466 | 26929.566666666666 | 174.12752908236394 |
| DRESDEN/buttons/ADUaHw | 156.68570477986026 | 612228.5 | 3907.366666666667 |
| STANFORD/rainbow/_4qNSQ | 157.99892804502213 | 235829.2 | 1492.6 |
| BASE/lightsOut/5P1ZBw | 158.32793237055301 | 104881.7 | 662.4333333333333 |
| BASE/buttons/hTcUjw | 159.98646513050574 | 627658.9 | 3923.2 |
| DRESDEN/statespacelarge/8-y5HQ | 160.03531902608026 | 221723.6 | 1385.4666666666667 |
| DRESDEN/circlesolitaire/ruUilQ | 160.4243577545195 | 269769.6 | 1681.6 |
| BASE/ticTacToeLargeSuicide/727_8g | 162.14799519807926 | 112557.73333333334 | 694.1666666666666 |
| DRESDEN/blocks2player/3ev8nQ | 162.55344022023615 | 279488.9666666667 | 1719.3666666666666 |
| BASE/circlesolitaire/azuQFQ | 162.58306392952397 | 268218.7 | 1649.7333333333333 |
| DRESDEN/toetictac/mJtxCA | 162.86261622667223 | 246970.3 | 1516.4333333333334 |
| BASE/nineBoardTicTacToe/wRmqqA | 163.20654235145383 | 34425.7 | 210.93333333333334 |
| BASE/ticTacToeLarge/TZC0dg | 163.23677859975692 | 113413.13333333333 | 694.7768407719743 |
| DRESDEN/chickentoetictac/cxYaRQ | 163.5330367774258 | 242633.96666666667 | 1483.7 |
| BASE/stateSpaceLarge/0Ge_CQ | 164.25403728225552 | 224102.73333333334 | 1364.3666666666666 |
| BASE/lightsOn/MsXu3A | 164.65345452956342 | 376776.5 | 2288.3 |
| BASE/breakthroughSmallHoles/bxclRw | 167.52707858330683 | 52607.333333333336 | 314.0228659044698 |
| BASE/chickentoetictac/l57rfQ | 167.73711810839285 | 238829.7 | 1423.8333333333333 |
| BASE/factoringEasyTurtleBrain/lUj94Q | 171.26644452276443 | 178179.9 | 1040.3666666666666 |
| STANFORD/jointbuttonsandlights/qAKuIQ | 171.81385699804335 | 242939.06666666668 | 1413.9666666666667 |
| BASE/toetictac/mTThmg | 172.29643263503112 | 257428.1 | 1494.1 |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | 173.05045552321903 | 182349.03333333333 | 1053.7333333333333 |
| DRESDEN/blocksworldparallel/2JfVaw | 173.20212344790355 | 160414.03333333333 | 926.1666666666666 |
| BASE/cittaceot/fDxhXg | 174.3136423875006 | 39290.86666666667 | 225.40327956272498 |
| BASE/blocksWorldSerial/Wyg96Q | 175.95603768198686 | 184912.2 | 1050.9 |
| BASE/pawnWhopping/Ypc_6Q | 180.8199875853507 | 48550.166666666664 | 268.5 |
| STANFORD/multipletictactoe/_bkafQ | 184.06936863753214 | 28635.466666666667 | 155.56888622275545 |
| STANFORD/connectfour/VMpZkQ | 186.8904717853839 | 67342.86666666667 | 360.3333333333333 |
| BASE/incredible/8Qh-6Q | 191.39690742139365 | 160499.06666666668 | 838.5666666666667 |
| DRESDEN/ggp-course2013_nicolai/uEin8g | 191.56971036204743 | 5111.333333333333 | 26.681323073848308 |
| BASE/connectFourSimultaneous/7ITr3g | 194.25188515081206 | 44652.03333333333 | 229.86666666666667 |
| BASE/duplicateStateSmall/bCPAXw | 195.8062155917506 | 457625.23333333334 | 2337.133333333333 |
| BASE/hodgepodge/9yjRkw | 196.07997323071777 | 195328.33333333334 | 996.1666666666666 |
| BASE/coloredtrails/EZvr7g | 197.37985751295338 | 101584.83333333333 | 514.6666666666666 |
| BASE/connectFour/WAIKTw | 197.88996685684 | 70525.63333333333 | 356.3881203959868 |
| DRESDEN/Thief_Police/CX18rA | 198.7111149464964 | 191888.7 | 965.6666666666666 |
| DRESDEN/tictactoe_3player/ESLQQQ | 201.69661899576528 | 51859.46666666667 | 257.11619225384976 |
| BASE/ticTacToeSerial/Amrwqw | 202.08910274162284 | 97299.16666666667 | 481.46666666666664 |
| DRESDEN/Catch-Me-If-You-Can/ghGWrA | 203.12616420936868 | 197012.06666666668 | 969.9 |
| DRESDEN/catch_me/ghGWrA | 203.43573754590176 | 195745.86666666667 | 962.2 |
| BASE/connectFour_9x6/B9TtMw | 206.2644540520645 | 68491.26666666666 | 332.0555981467284 |
| DRESDEN/CatchMeIfYouCanTest/CX18rA | 208.8758536158291 | 198815.0 | 951.8333333333334 |
| STANFORD/buttonsandlights/eyhJpA | 209.69985196150998 | 717704.7333333333 | 3422.5333333333333 |
| BASE/eightPuzzle/vLrgFg | 214.70434337452346 | 108880.1 | 507.1164294523516 |
| BASE/untwistycomplex2/EDPPAQ | 216.6127216470308 | 606732.2333333333 | 2801.0 |
| DRESDEN/statespacemedium/dVJZ_w | 217.11975490445 | 427573.93333333335 | 1969.3 |
| BASE/stateSpaceMedium/3bUoIw | 219.48009234475376 | 437321.4 | 1992.5333333333333 |
| STANFORD/8puzzle/jNiGtw | 219.54330813992374 | 109413.06666666667 | 498.3666666666667 |
| DRESDEN/ggp-course2013_jordi/9QI6Kw | 220.02451841106623 | 19966.233333333334 | 90.74549271836571 |
| BASE/hidato19/rRHSmA | 220.10214735693503 | 30255.7 | 137.46208459718008 |
| DRESDEN/cube_2x2x2/fp-34Q | 222.8445189910087 | 90598.13333333333 | 406.55311489617014 |
| STANFORD/dualhunter/1rPZjQ | 225.09338705075714 | 76964.36666666667 | 341.9219359354688 |
| BASE/firefighter/WJmoPw | 226.222620113399 | 227421.6 | 1005.3 |
| DRESDEN/firefighter/WJmoPw | 227.03539617123107 | 227701.36666666667 | 1002.9333333333333 |
| STANFORD/untwistycorridor/EDPPAQ | 227.17476915550665 | 619164.8333333334 | 2725.5 |
| STANFORD/pentago/ZxzLmg | 227.76074025520015 | 28946.333333333332 | 127.0909696767744 |
| STANFORD/eightpuzzle/W_aWbA | 232.27029254223322 | 112744.0 | 485.4 |
| BASE/dualConnect4/WbCQkg | 234.7059783240997 | 45182.7 | 192.50766564458073 |
| BASE/blockerSerial/3eqDuw | 236.69008978287437 | 83932.6 | 354.60969268715417 |
| DRESDEN/battlesnakes1509/-qZrLw | 240.29419560031806 | 60442.0 | 251.53333333333333 |
| BASE/connectFourLarge/aU644A | 246.18293531813865 | 57602.96666666667 | 233.98440103993067 |
| DRESDEN/golden_rectangle/1uloXw | 246.72138206060606 | 15830.233333333334 | 64.16238917405506 |
| STANFORD/breakthrough/d5j0cQ | 254.15159891036907 | 48199.26666666667 | 189.64770189647703 |
| DRESDEN/battlesnakes2011/93VtTw | 255.14697659265133 | 64341.63333333333 | 252.17478252174783 |
| BASE/tictactoe_3player/GtM71g | 257.0709839810374 | 51810.03333333333 | 201.5397946940408 |
| STANFORD/bestbuttonsandlights/nm0wEA | 259.9744774537251 | 318824.0333333333 | 1226.3666666666666 |
| STANFORD/untwistycomplex/HTWEwg | 266.85303040517766 | 659705.1666666666 | 2472.1666666666665 |
| DRESDEN/logistics/fPru1Q | 271.3852414625653 | 77927.6 | 287.14752349843343 |
| BASE/pegEuro/5awwhg | 276.30021911618667 | 18547.1 | 67.12662067126621 |
| BASE/3pConnectFour/PqXOFQ | 276.78154760116814 | 51597.86666666667 | 186.4209052729818 |
| BASE/tictactoe_3d_2player/IUC1rQ | 278.8243048279048 | 13406.533333333333 | 48.08236979774083 |
| DRESDEN/connectfoursuicide/M9CNQg | 278.9481187277155 | 71278.16666666667 | 255.524815839472 |
| STANFORD/multiplebuttonsandlights/cK70Yg | 283.32585118437385 | 350058.5333333333 | 1235.5333333333333 |
| STANFORD/multiplebuttonsandlights_9/SqB9BA | 285.6605368729975 | 353657.26666666666 | 1238.0333333333333 |
| BASE/queens08lg/Ru7eqQ | 293.8143939825811 | 12360.933333333332 | 42.070550614569804 |
| BASE/snakeParallel/RCVNtw | 294.6140306284552 | 154544.7 | 524.5666666666667 |
| BASE/majorities/ibJzSQ | 294.71699246231157 | 29317.5 | 99.47678874929183 |
| DRESDEN/point_grab/r5DPmQ | 300.10113751827714 | 403646.0333333333 | 1345.0333333333333 |
| DRESDEN/tictactoe_3d_2player/LMuX9w | 302.26409483808135 | 13781.833333333334 | 45.59533721898418 |
| STANFORD/bestbuttonsandlightsbig/g0JC6g | 304.02731736129056 | 274526.5333333333 | 902.9666666666667 |
| BASE/tictactoe_3d_6player/d7KSwg | 313.5084768115942 | 13459.066666666668 | 42.93047130191321 |
| BASE/snake2p/I3wWPQ | 317.1528662420382 | 94606.7 | 298.3 |
| DRESDEN/chinesecheckers1/Y-ftaA | 330.530470148635 | 62016.46666666667 | 187.62707909736343 |
| BASE/peg/fJHVWw | 334.1000366899303 | 22334.2 | 66.84884030925086 |
| STANFORD/3puzzle/41ibjA | 338.51108200685064 | 336006.1 | 992.6 |
| STANFORD/threepuzzle/41ibjA | 343.8603827555677 | 336593.4666666667 | 978.8666666666667 |
| DRESDEN/oisters_farm/pTQMLg | 345.0019876393677 | 370290.63333333336 | 1073.3 |
| DRESDEN/tictactoe_3d_6player/ulZPWg | 345.6076812100058 | 13201.333333333334 | 38.197453503099794 |
| BASE/chomp/-LcqYQ | 346.49742523540493 | 77682.13333333333 | 224.19252691576946 |
| BASE/checkLines/Vop7oQ | 348.48186119873816 | 103104.16666666667 | 295.8666666666667 |
| DRESDEN/3pttc/uwYBZw | 349.952569619998 | 77147.73333333334 | 220.45196986867543 |
| DRESDEN/chomp/-LcqYQ | 351.9565716219629 | 77416.13333333333 | 219.9593346888437 |
| DRESDEN/mimikry/GJEhwA | 358.71192496650286 | 53543.73333333333 | 149.26666666666668 |
| DRESDEN/3pffa/0YrmQw | 360.9212623027652 | 77008.56666666667 | 213.36666666666667 |
| BASE/duplicateStateLarge/dcjyuw | 361.44872104247105 | 99856.23333333334 | 276.26666666666665 |
| BASE/maze/cCX3qQ | 361.9471237759283 | 656680.6666666666 | 1814.3 |
| BASE/qyshinsu/R08Lzw | 373.5367858116823 | 22522.766666666666 | 60.29598026798214 |
| BASE/gt_dollar/TGjqRw | 377.13774452813027 | 248697.2 | 659.4333333333333 |
| STANFORD/hunter/14dD-g | 377.4257030706865 | 172754.56666666668 | 457.7180760641312 |
| BASE/othello-comp2007/86ZoMw | 399.74875757575757 | 877.4 | 2.1948786165613567 |
| BASE/hidato37/pBrqxw | 405.75625488342786 | 7139.366666666667 | 17.595210377515382 |
| BASE/connectFourSuicide/c8p9Kw | 411.14487721193416 | 71043.46666666666 | 172.7942401919936 |
| DRESDEN/grid_game/U7_Yeg | 411.9434845325585 | 80332.0 | 195.00733235568592 |
| BASE/connectFourLarger/qKi60A | 433.53573502538075 | 42699.0 | 98.4901509849015 |
| BASE/tron_10x10/7ZTgDg | 441.0649804923987 | 109281.2 | 247.76666666666668 |
| BASE/duplicateStateMedium/U163eQ | 441.43114857744996 | 349098.4666666667 | 790.8333333333334 |
| DRESDEN/knightwar/7hhAqg | 458.54981245629375 | 69941.8 | 152.5282490583647 |
| BASE/rubiksCube/9tNO9Q | 476.38102829812675 | 39841.333333333336 | 83.63333333333334 |
| BASE/othelloSuicide/B442jg | 483.53171428571426 | 898.4 | 1.8579960185799602 |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | 487.4205789128816 | 109093.7 | 223.8184121058596 |
| BASE/aipsrovers01/4C4jsw | 493.9617538506515 | 197117.1 | 399.05336488783706 |
| BASE/skirmishHoles/AUCxCA | 498.91256917562725 | 7724.133333333333 | 15.481937739304145 |
| DRESDEN/snake_2009_big/DgC1NQ | 504.72160118180346 | 69276.83333333333 | 137.25751616558895 |
| DRESDEN/snake_2009/zIYLVw | 509.1831820646367 | 84722.43333333333 | 166.38890740617293 |
| BASE/strangeSkirmish/gc1zKA | 513.2214607113317 | 6892.666666666667 | 13.430199620088645 |
| DRESDEN/aipsrovers01/qS47Mw | 517.7932700457706 | 203630.83333333334 | 393.26666666666665 |
| BASE/snake_2009_big/-oRfVw | 521.6893467372134 | 72303.73333333334 | 138.59538015399485 |
| DRESDEN/capture_the_king/EQ229Q | 522.349382262997 | 7577.333333333333 | 14.506254990684056 |
| BASE/snake_2009/7l-qAQ | 526.2983932315311 | 85003.4 | 161.51179842687642 |
| DRESDEN/backgammon/mqCW0Q | 532.5599607737291 | 26297.066666666666 | 49.3786026055376 |
| DRESDEN/minichess/c7GMFw | 533.0613236740741 | 59967.4 | 112.49625012499584 |
| BASE/point_grab/V_osUg | 537.2443294193641 | 403040.695930407 | 750.2 |
| BASE/othelloHoles/c0qAzw | 556.6796666666667 | 1059.3333333333333 | 1.9029495718363463 |
| BASE/beatMania/qUHwvQ | 559.5028815563139 | 273214.8 | 488.3170560981301 |
| BASE/ruleDepthLinear/OUBJpQ | 565.5900799095973 | 467139.7 | 825.9333333333333 |
| BASE/englishDraughts/jFkQxg | 575.7124816303531 | 51069.566666666666 | 88.70672131693826 |
| BASE/mineClearingSmall/frsbvw | 582.5772139727361 | 39872.5 | 68.44157142381127 |
| DRESDEN/Zhadu/9zpQ5w | 587.5077322930213 | 15055.766666666666 | 25.626499600106637 |
| BASE/escortLatch/mX9BjQ | 590.7709355932203 | 49954.53333333333 | 84.55821084558211 |
| DRESDEN/knightstour/cGISAA | 653.6119263190758 | 348919.8333333333 | 533.8333333333334 |
| BASE/shmup/ssTNlg | 666.8885529157667 | 102923.13333333333 | 154.33333333333334 |
| DRESDEN/amazons/dNB28A | 694.6931939393938 | 3819.6666666666665 | 5.498350494851545 |
| BASE/skirmishFinal3/-Olhfw | 697.71895521262 | 11285.366666666667 | 16.17465969980364 |
| BASE/skirmishFinal2/gdB62Q | 703.8249017857144 | 10508.0 | 14.929849701736261 |
| DRESDEN/frogs_and_toads/GjchhQ | 707.6644984244417 | 57372.46666666667 | 81.07297567477508 |
| BASE/minichess/8NQEiA | 716.5460099303136 | 82243.03333333334 | 114.77704459108179 |
| DRESDEN/skirmishfinal/hzq8ww | 717.00938 | 10503.533333333333 | 14.649087761353043 |
| BASE/breakthroughSuicideSmall/XSbJog | 720.732794778385 | 65931.66666666667 | 91.47865498050454 |
| BASE/skirmishFinal1/ecWTnQ | 728.6983576309796 | 10652.633333333333 | 14.618714618714618 |
| BASE/breakthroughSmall/HJ0tIA | 741.0016476399561 | 67503.0 | 91.09696343455218 |
| BASE/endgame/jYjfOA | 748.0234388032637 | 27489.5 | 36.749516892117015 |
| DRESDEN/4pttc/9pB9AQ | 772.4980477034651 | 63894.3 | 82.71127699280191 |
| BASE/gt_centipede/9fRMpw | 787.9424570160843 | 378842.73333333334 | 480.8 |
| DRESDEN/babel/WdSW4A | 802.9292372279496 | 70074.7 | 87.27381785464361 |
| STANFORD/alquerquezero/uVgA_A | 845.2732381265823 | 55645.3 | 65.8311389620346 |
| DRESDEN/endgame/IJhh3Q | 863.7664748568913 | 21786.266666666666 | 25.22240362509579 |
| BASE/roshambo2/KNPokQ | 864.0883877535848 | 271170.7 | 313.8228725709143 |
| STANFORD/freeforall/Lfp40Q | 867.777065860215 | 71712.33333333333 | 82.63912029323559 |
| STANFORD/pilgrimage/ObRZnQ | 876.8621709867076 | 38097.76666666667 | 43.44783926964982 |
| DRESDEN/quad_5x5_8_2/JRTLJg | 879.9556764044944 | 5205.8 | 5.915979792608349 |
| DRESDEN/roshambo2/jgSlkQ | 890.9987054113947 | 276963.3333333333 | 310.84594360375974 |
| BASE/asteroidsSerial/id2QkA | 910.6542885286225 | 271478.3 | 298.1134591027265 |
| BASE/skirmish/Y_psYQ | 920.0622272727272 | 7408.5 | 8.052172755706396 |
| BASE/factoringImpossibleTurtleBrain/kcBhdw | 932.036505263158 | 3518.4 | 3.7749594357429053 |
| BASE/ttcc4_2player_small/Cv72TA | 936.7444327126323 | 62031.3 | 66.22008931547023 |
| DRESDEN/bidding-tictactoe/yW5vTA | 951.1744987881725 | 130796.4 | 137.51041493084486 |
| BASE/hexPie/48CH6Q | 980.9336587126436 | 23700.366666666665 | 24.161029093211585 |
| BASE/biddingTicTacToe/8mESVw | 981.0089616385372 | 123991.26666666666 | 126.39157389507366 |
| BASE/2pffa/6oHijA | 1015.8104733867169 | 71878.33333333333 | 70.7595907075959 |
| BASE/hex/T1MK8g | 1023.305685479452 | 24893.8 | 24.326846174353506 |
| BASE/chineseCheckers2/eCMR3Q | 1032.7930676395124 | 107309.43333333333 | 103.90216268452798 |
| DRESDEN/racetrackcorridor/O0DoTA | 1040.9999203661328 | 60643.46666666667 | 58.25501566353396 |
| STANFORD/hex/MTqWcw | 1050.783320547945 | 25564.8 | 24.32927845359107 |
| STANFORD/knightstourmedium/x1wu8Q | 1059.003295650836 | 344129.3 | 324.95583480550647 |
| BASE/chineseCheckers1/gqtwHw | 1099.884561422088 | 145390.2 | 132.1867813218678 |
| BASE/3pffa/pR0dzA | 1109.7799468772305 | 69072.36666666667 | 62.239696131676276 |
| BASE/racetrackcorridor/_RkdUg | 1117.2173504166667 | 65501.933333333334 | 58.62953462806889 |
| DRESDEN/othello-cornercontrol/r5Gdlg | 1127.2569907104232 | 608.5927604826345 | 0.5398882113821138 |
| BASE/wallmaze/uxNQ9g | 1140.1343389830508 | 26878.5 | 23.57485348961108 |
| BASE/2pffa_zerosum/o0_uZA | 1153.3337894736842 | 73025.0 | 63.31644894694748 |
| BASE/chineseCheckers4/avfBcQ | 1153.5122716981132 | 67240.8 | 58.29222770297294 |
| BASE/4pffa/Q3ADlg | 1170.3008836613367 | 63402.833333333336 | 54.17652350648053 |
| BASE/choicethroughalt/tt71Lg | 1186.571182835145 | 29082.433333333334 | 24.509640680675346 |
| STANFORD/knightstour/cEwgNA | 1193.3135889407913 | 332077.0333333333 | 278.2814479034731 |
| BASE/asteroids/BKCmPQ | 1193.998452924709 | 540244.5 | 452.46666666666664 |
| BASE/asteroidsParallel/WauZiA | 1197.0227727727727 | 318886.86666666664 | 266.4 |
| BASE/reversiSuicide/9OxJlg | 1199.0215586206896 | 2310.1 | 1.9266542652139251 |
| BASE/nonogram_5x5_1/qLKEZw | 1206.002828525641 | 58511.833333333336 | 48.51716094635122 |
| DRESDEN/tttcc4/sAvtFg | 1224.7305912144705 | 36861.933333333334 | 30.097993467102192 |
| BASE/hallway/ckCJOw | 1234.5423616181229 | 21188.033333333333 | 17.162662045522712 |
| DRESDEN/hallway/0H4l-Q | 1249.0648581910182 | 21917.066666666666 | 17.546780315642273 |
| BASE/knightsTour/mvtVIg | 1256.9345927336055 | 348806.36666666664 | 277.5055827750558 |
| BASE/chineseCheckers3/-1rZdQ | 1257.3848298301007 | 92895.96666666666 | 73.88029858704346 |
| BASE/ttcc4/Le0qjQ | 1288.85818421646 | 38104.7 | 29.564695686954202 |
| BASE/tttcc4/8Bs2lg | 1292.9530250284413 | 37870.9 | 29.290236587804067 |
| BASE/nonogram_10x10_1/0Xc62g | 1305.0143516158819 | 15693.733333333334 | 12.025717045870948 |
| BASE/reversi/d8UMeA | 1320.1362775757575 | 2375.4333333333334 | 1.7993849375122686 |
| BASE/queens06ug/7Lq3tw | 1320.9128563403367 | 98459.96666666666 | 74.53933557695511 |
| BASE/chineseCheckers6/rREH3A | 1369.534198148148 | 60793.13333333333 | 44.38964241676942 |
| DRESDEN/brawl/2kXtfQ | 1376.567308169014 | 16282.866666666667 | 11.828601892576303 |
| BASE/sheepAndWolf/g4THrg | 1377.8063172024818 | 27103.033333333333 | 19.671148981493808 |
| BASE/brawl/6Ymo_Q | 1406.6083404761905 | 16396.766666666666 | 11.656952539550375 |
| DRESDEN/Runners/3bOCQw | 1407.6294135804214 | 331662.3 | 235.6176254916339 |
| DRESDEN/breakthroughsuicide/Y9QzqQ | 1426.3287785517875 | 51855.26666666667 | 36.35575993868506 |
| DRESDEN/breakthrough/z4hK7Q | 1429.0215962441316 | 50730.26666666667 | 35.5 |
| BASE/breakthroughHoles/nZk0Sg | 1441.2828565264294 | 44520.8 | 30.889703432189272 |
| DRESDEN/kitten_escapes_from_fire/uW-YiA | 1452.0114108516887 | 109843.23333333334 | 75.64901522977972 |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | 1474.78171245283 | 52067.3 | 35.3050892619238 |
| DRESDEN/knightthrough/J7Fc_Q | 1476.805705128205 | 49866.166666666664 | 33.76623376623377 |
| BASE/kitten_escapes_from_fire/uW-YiA | 1490.192807165109 | 111581.96666666666 | 74.8775367389783 |
| BASE/breakthroughSuicide/wZDpIg | 1544.5400251836306 | 49032.2 | 31.74550299800133 |
| BASE/queens08ug/kJ_ZFQ | 1556.6130621621621 | 57583.166666666664 | 36.99260147970406 |
| BASE/breakthrough/TGxk-g | 1615.9892982086408 | 51105.5 | 31.624900026659557 |
| BASE/breakthroughWalls/vOZaYA | 1625.8483339381003 | 50765.433333333334 | 31.223966143490287 |
| STANFORD/ttcc4/Cx9SGw | 1626.7263868656714 | 36303.6 | 22.316967557124777 |
| DRESDEN/Goldrush/VeWczQ | 1639.417473354565 | 68620.93333333333 | 41.856900056653444 |
| BASE/copolymer_4_pie/IN5_jA | 1652.9442119501132 | 80991.56666666667 | 48.9983667211093 |
| BASE/ttcc4_2player/_aH_Mw | 1655.8254413461539 | 34410.2 | 20.781296832850433 |
| STANFORD/chinook/osFbPA | 1680.3099232974912 | 36403.26666666667 | 21.664614463043694 |
| BASE/god/qF06gw | 1751.5507957186544 | 6320.566666666667 | 3.608554591802953 |
| BASE/chinook/XQh0IQ | 1762.3342416176472 | 39918.3 | 22.65081109889744 |
| DRESDEN/skirmish3/3LU8Nw | 1775.537844400265 | 29767.866666666665 | 16.76554896340244 |
| DRESDEN/pawntoqueen/f_x6Aw | 1789.4611271929823 | 2249.0333333333333 | 1.2568215644121052 |
| BASE/pawnToQueen/-O1_JA | 1826.9760564102562 | 2342.2 | 1.282009138424115 |
| STANFORD/checkersonabarrelnokings/Zrevdw | 1862.8177037037037 | 44119.36666666667 | 23.68421052631579 |
| DRESDEN/pacman3p/rBnk8Q | 1880.2941231454006 | 42190.5 | 22.438244889806246 |
| DRESDEN/god/2EDD5w | 1930.441411764706 | 6550.4 | 3.3932135728542914 |
| DRESDEN/skirmish/RjGQYQ | 1932.3852111111112 | 31661.566666666666 | 16.38470760623418 |
| BASE/copolymer_4/2LDVhQ | 1967.9252481703259 | 98540.5 | 50.073294243070364 |
| DRESDEN/gt_prisoner/huCp4w | 1968.349572193693 | 401254.115843498 | 203.85307646156923 |
| BASE/pacman3p/wW7UVQ | 1975.0757622833846 | 43032.26666666667 | 21.787653662924342 |
| BASE/pacman2p/4LEdQg | 1978.2343723677452 | 42745.933333333334 | 21.608123855501916 |
| BASE/quad_5x5/JAEP5g | 2037.0218976034132 | 4059.564681177294 | 1.992892018467466 |
| BASE/checkersBarrelNoKings/rnKNeg | 2040.9280858725765 | 49069.26666666667 | 24.04262404262404 |
| DRESDEN/quad_5x5/JAEP5g | 2046.3933229508195 | 4109.9 | 2.008362690547526 |
| DRESDEN/skirmish2/iPpWhQ | 2052.0439490421454 | 35650.9 | 17.373360846701726 |
| BASE/gt_coordination/IVMOzA | 2074.655262727124 | 422468.9666666667 | 203.63333333333333 |
| BASE/checkersTorusNoKings/pwb6oQ | 2179.653302745665 | 50242.166666666664 | 23.050531294760333 |
| BASE/knightazons/apnJBQ | 2186.709145877193 | 27671.566666666666 | 12.654434047087815 |
| BASE/dotsAndBoxes/EHwA_w | 2227.522349206349 | 65423.73333333333 | 29.37062937062937 |
| BASE/dotsAndBoxesSuicide/jzQbLw | 2244.1837315110097 | 65644.76666666666 | 29.251066098081022 |
| DRESDEN/knightazons/02I8BQ | 2268.146920212766 | 28370.7 | 12.508316699933467 |
| BASE/knightwar/DVGY4Q | 2268.2050930845226 | 68845.7 | 30.352502165656027 |
| BASE/chess_200/XsTpYA | 2271.090401346801 | 7429.466666666666 | 3.2713214155899943 |
| BASE/queens12ug/u6Bkmg | 2279.6034527415145 | 29075.8 | 12.754762221926201 |
| BASE/ttcc4_2player_alt/ZEJvYA | 2285.677214611872 | 44442.666666666664 | 19.44398202097553 |
| BASE/checkersTorus/2vm1EQ | 2333.9525818965517 | 45067.5 | 19.309518260811664 |
| BASE/queens16ug/gT-ylw | 2393.3910197969544 | 15707.7 | 6.562947662990972 |
| BASE/2pttc/unkkYA | 2413.267431654162 | 74982.63333333333 | 31.071000399627014 |
| DRESDEN/gt_chicken/CeuKtw | 2519.6731343885785 | 405851.7 | 161.0731544742543 |
| BASE/gt_staghunt/xPjLRA | 2685.769603152247 | 400434.9 | 149.09503016566114 |
| BASE/gt_prisoner/klthDw | 2697.796781452771 | 417563.26666666666 | 154.7793627516331 |
| DRESDEN/smallest/9kaGFw | 2797.1320052953156 | 91507.6 | 32.7147949495286 |
| DRESDEN/battle/8oAvhQ | 2839.2249655172413 | 2688.133333333333 | 0.9467841984982044 |
| BASE/battle/8oAvhQ | 2864.1593892857145 | 2662.3 | 0.9295222919363941 |
| DRESDEN/smallest_4player/ADDROA | 2929.804067914128 | 112170.36666666667 | 38.28596181400153 |
| BASE/skirmishNew/sibw2g | 2945.130180722892 | 16218.0 | 5.506717531929009 |
| BASE/knightsTourLarge/M8jgLA | 3046.343478016838 | 325589.0 | 106.87862427514497 |
| BASE/bomberman2p/4CClwA | 3048.7885070093457 | 86887.83333333333 | 28.49913437208683 |
| DRESDEN/bomberman2p/x4h6jQ | 3073.200463499421 | 88405.73333333334 | 28.766666666666666 |
| BASE/3pttc/0sol9g | 3093.8950518633537 | 66413.4 | 21.465951134962168 |
| BASE/smallest_4player/ADDROA | 3118.553984051329 | 113377.4 | 36.35575993868506 |
| BASE/gt_chicken/gmepTQ | 3183.827989946264 | 408112.3333333333 | 128.18290894547394 |
| BASE/connect5/d-BVQg | 3228.7645982547992 | 20548.933333333334 | 6.364333077871447 |
| STANFORD/skirmish/w4V6Vw | 3235.7850671296296 | 7725.966666666666 | 2.3876637373569887 |
| DRESDEN/connect5/1kYzSg | 3267.3550187845303 | 19485.066666666666 | 5.963559685018615 |
| BASE/speedChess/bPnisA | 3399.8970241228067 | 17192.333333333332 | 5.0567217804983535 |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | 3510.708764922049 | 105027.7 | 29.916380717593363 |
| BASE/amazons_8x8/7SOsIw | 3526.939727112676 | 33305.1 | 9.44305901911887 |
| STANFORD/madness/UO_B3A | 3635.9378999999994 | 8387.4 | 2.306805074971165 |
| BASE/battlebrushes/arCwyA | 3679.8535351648356 | 11150.7 | 3.0302021244713795 |
| BASE/biddingTicTacToe_10coins/a-9ccQ | 3747.23113031401 | 103351.23333333334 | 27.58069351453982 |
| BASE/mummyMaze2p_2007/YGA3Vw | 3787.41027956372 | 109928.16666666667 | 29.02462594554967 |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | 3802.8725221445225 | 108718.66666666667 | 28.58856457417033 |
| STANFORD/knightstourbig/TQUI2g | 3954.826981047743 | 302787.73333333334 | 76.56156256249584 |
| BASE/4pttc/AL1k2Q | 3969.3354665891475 | 56801.03333333333 | 14.309960398016573 |
| BASE/knightThrough/gcwFjA | 4052.4558866088632 | 46736.76666666667 | 11.532948901703277 |
| DRESDEN/mummymaze2p/k-8edg | 4096.418883625731 | 62217.86666666667 | 15.188355594044566 |
| DRESDEN/ghostmaze2p/HY0UwA | 4108.692928104576 | 132622.36666666667 | 32.278481012658226 |
| DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg | 4163.003034074074 | 24829.866666666665 | 5.964412339706418 |
| BASE/mummymaze2p/vpjDdA | 4210.346878120411 | 63674.13333333333 | 15.123251165889407 |
| BASE/ghostMaze2p/W-NU-w | 4291.5100392391305 | 131461.7 | 30.632970399227517 |
| DRESDEN/four_way_battle/xSOQXA | 4456.748672 | 7353.4 | 1.649947201689546 |
| BASE/four_way_battle/xSOQXA | 4623.680602666667 | 7671.866666666667 | 1.659255326209597 |
| STANFORD/platformjumpers/HEQskA | 5674.406185093168 | 30312.2 | 5.3419157901722025 |
| DRESDEN/nim4/F5YAYg | 5737.355836119929 | 180660.46666666667 | 31.488454233447737 |
| BASE/nim4/twk16w | 5817.641807872341 | 182122.2 | 31.305158690511874 |
| DRESDEN/nim3/sG_axA | 5924.615254859611 | 182781.73333333334 | 30.851241046143596 |
| BASE/nim3/1OwUqw | 5944.4299547974415 | 185689.2 | 31.23751165578793 |
| BASE/kalaha5x2x3/WviNsw | 6338.277088235294 | 104106.96666666666 | 16.42512077294686 |
| BASE/amazonsSuicide_10x10/XIbQkg | 6851.00863 | 27301.2 | 3.9849898714840766 |
| DRESDEN/small_dominion/yB5GJA | 7102.052333333333 | 2826.5 | 0.39798355001326613 |
| BASE/amazons_10x10/Bun8dA | 7302.2620141592915 | 27334.8 | 3.7433332229105245 |
| DRESDEN/nim2/z5_exA | 8044.947569157509 | 243818.76666666666 | 30.30706720841937 |
| BASE/nim2/eF2Qqw | 8090.20979462963 | 242601.16666666666 | 29.98700563089328 |
| BASE/checkers-mustjump-torus/uSApKQ | 8820.675846969696 | 12867.933333333332 | 1.458837571698551 |
| BASE/knightfight/SJRkAg | 9031.448521311477 | 109941.8 | 12.173218918379565 |
| DRESDEN/knightfight/4_Ly4w | 9048.606848668504 | 109349.63333333333 | 12.084692722551434 |
| BASE/nim1/hin2Qw | 9097.106703396086 | 273667.8333333333 | 30.082952993303795 |
| DRESDEN/nim1/M9BALA | 9223.610202824859 | 271906.1666666667 | 29.479364444888578 |
| BASE/checkers-cylinder-mustjump/rjr6qQ | 10645.751143589743 | 13635.4 | 1.2808302407304017 |
| BASE/checkers-suicide-cylinder-mustjump/YeW5Tw | 11083.04172972973 | 13560.6 | 1.2235449735449735 |
| BASE/checkers-mustjump/T-8UuQ | 12613.02170877193 | 15656.066666666668 | 1.2412621676357223 |
| DRESDEN/chinesecheckers2/06E6-Q | 13136.368043939394 | 48120.166666666664 | 3.6631256452096306 |
| BASE/amazonsTorus_10x10/Uxc08g | 13395.345613768117 | 20530.633333333335 | 1.532669176690101 |
| DRESDEN/quartosuicide/WIU1oQ | 14259.373459562841 | 57845.433333333334 | 4.056660238079404 |
| DRESDEN/gt_ultimatum/pAiiQw | 14494.036169942196 | 334039.6 | 23.046692866182642 |
| BASE/quartoSuicide/-23jUg | 14761.684470555554 | 58768.566666666666 | 3.9811558622520073 |
| DRESDEN/quarto/OQzRYQ | 14919.92550661157 | 59760.7 | 4.0054288457082325 |
| BASE/quarto/EwBMVQ | 15292.597279310345 | 58658.2 | 3.8357251504530123 |
| BASE/wargame02/BkVqqQ | 15405.538186868689 | 33768.36666666667 | 2.191962803055463 |
| DRESDEN/hanoi/RQ0jiA | 15904.27917356143 | 340643.26666666666 | 21.418340494986843 |
| BASE/hanoi/iGLsJg | 16282.501769318773 | 347636.26666666666 | 21.35029810478633 |
| BASE/gt_ultimatum/GE-uOA | 16579.232049760765 | 346228.9666666667 | 20.883293365307754 |
| BASE/snake_2008/i6K26g | 16734.322687799562 | 85228.56666666667 | 5.0930395126660235 |
| DRESDEN/snake_2008/E56l3A | 17555.47254030501 | 89369.06666666667 | 5.090667110297788 |
| BASE/snake_2008_tweaked/bX0NJQ | 17675.18051096491 | 89049.63333333333 | 5.038117335101094 |
| BASE/kalaha6x2x4/XS81Mg | 21213.679230434787 | 96943.1 | 4.569839062189549 |
| BASE/wargame03/klXI8w | 21462.212616393444 | 43411.2 | 2.022680549108031 |
| BASE/knightmove/jBaJEw | 21659.77018666667 | 53826.46666666667 | 2.485089463220676 |
| DRESDEN/knightmove/97Ipcw | 21989.078521052634 | 55491.1 | 2.5235755080355955 |
| BASE/wargame01/_GZFZg | 22407.97134527363 | 49591.53333333333 | 2.213120169122019 |
| BASE/crossers3/O0rORg | 22834.681725510207 | 74141.03333333334 | 3.246860815690952 |
| DRESDEN/crossers3/xiPTxg | 22928.29402857143 | 74511.63333333333 | 3.2497678737233056 |
| DRESDEN/checkers-cylinder-mustjump/vW_-pA | 24425.534984313726 | 13352.866666666667 | 0.5466765282824709 |
| DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg | 24588.496725490197 | 13558.366666666667 | 0.5514109633473889 |
| BASE/max_knights/2fq3Ag | 30616.66299215686 | 33934.23333333333 | 1.1083583257269527 |
| BASE/checkers/rOC3Xg | 31544.56707246377 | 23870.666666666668 | 0.7567283016384813 |
| DRESDEN/hitori/S8Gsyg | 31666.754625925925 | 9346.433333333332 | 0.2951497064900141 |
| BASE/hitori/S8Gsyg | 31680.974814814814 | 9171.666666666666 | 0.28950077200205865 |
| DRESDEN/max_knights/hCipiA | 32132.356987500003 | 33521.4 | 1.04322879311469 |
| BASE/skirmishZeroSum/zh4hcw | 34403.85909523809 | 15859.533333333333 | 0.4609812314784327 |
| DRESDEN/chinesecheckers4/-oVNYg | 40866.610576811596 | 30455.966666666667 | 0.7452530620180157 |
| BASE/checkersSmall/SYmq8w | 41195.94553055555 | 31751.266666666666 | 0.77073766016892 |
| BASE/checkers-newgoals/0XkFiA | 41945.638523809524 | 18530.733333333334 | 0.4417797412432944 |
| DRESDEN/satlike_20v_91c_version2/yd9ioQ | 54822.159466666664 | 21020.766666666666 | 0.3834355828220859 |
| DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g | 56013.12280833333 | 21952.3 | 0.3919135177504164 |
| BASE/checkersTiny/Lr48cg | 57010.081415277775 | 44873.63333333333 | 0.7871175100849431 |
| DRESDEN/cylinder-checkers/clOO3Q | 57417.12305555556 | 15912.366666666667 | 0.27713625866050806 |
| BASE/cylinder-checkers/hlldmw | 57982.89685185185 | 16537.666666666668 | 0.2852162890191729 |
| DRESDEN/checkers-mustjump-torus/cVc3gA | 58496.01914285714 | 12848.2 | 0.21964229683087544 |
| DRESDEN/battlebrushes/QHXV4A | 60883.3302 | 10784.4 | 0.1771322292091046 |
| DRESDEN/pancakes88/aD3E7g | 62708.02697394137 | 640218.3 | 10.209511140671767 |
| DRESDEN/satlike_20v_91c/yeuENQ | 63410.44876363636 | 22257.8 | 0.3510115514710575 |
| DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA | 65534.83296 | 20704.8 | 0.3159358018450651 |
| DRESDEN/pancakes/hl9aiQ | 65679.28098327975 | 679041.8 | 10.33875203616901 |
| DRESDEN/checkers-newgoals/IJOqXQ | 67081.07204814814 | 18412.566666666666 | 0.274482295891915 |
| DRESDEN/pancakes6/SZXMyQ | 68065.02885098038 | 693985.7 | 10.195921631347462 |
| DRESDEN/guess/PhxGhg | 68121.8841991342 | 174120.66666666666 | 2.5560165975103732 |
| DRESDEN/checkers-mustjump/HUr33w | 68145.04357619048 | 15546.566666666668 | 0.2281393605579637 |
| BASE/guess/SPpk1A | 71080.71462631579 | 179335.86666666667 | 2.5229890781130697 |
| BASE/pancakes/yUgbXw | 73840.76713381123 | 684756.1666666666 | 9.273416206873629 |
| BASE/pancakes6/QZTdnw | 74530.02692121212 | 683100.8333333334 | 9.165444607385682 |
| BASE/racer4/0vs7Ww | 85011.85788888887 | 23583.833333333332 | 0.27741816164231553 |
| BASE/blobwars/0XT15Q | 91482.68466 | 12773.7 | 0.13962970203021588 |
| DRESDEN/blobwars/ZaMluQ | 91582.42776666667 | 12759.833333333334 | 0.13932621840777998 |
| DRESDEN/fizzbuzz/t1xHzQ | 94318.02492307693 | 610422.0 | 6.471954862263525 |
| DRESDEN/chinesecheckers3/QsCb2A | 124600.336 | 47678.7 | 0.3826530612244898 |
| DRESDEN/hanoi_6_disks/MeubgQ | 127326.41132444445 | 254584.93333333332 | 1.999466808850973 |
| BASE/hanoi_6_disks/MeubgQ | 135054.61553216373 | 254281.33333333334 | 1.8828037259694788 |
| BASE/colonelBlotto/jip21A | 222827.14007272726 | 80164.13333333333 | 0.3597592883307169 |
| BASE/gt_attrition/kD_SCA | 480136.341825 | 118750.1 | 0.24732578989674148 |
| BASE/colonelBlottoVariant2/jruwGw | 541369.2514714285 | 236752.86666666667 | 0.43732233780026863 |
| BASE/colonelBlottoVariant/X-n-KQ | 570845.7546142857 | 259525.9 | 0.45463401961421057 |
| BASE/pancakes88/l2Xaig | 570864.1888529412 | 646613.0 | 1.1326914748309291 |
| DRESDEN/checkers/jIDMIg | 638640.2856000001 | 18232.8 | 0.028549404744911067 |
| BASE/gt_tinfoil/Q8DyKg | 660823.5968666667 | 324537.6666666667 | 0.4911108928396032 |
| DRESDEN/racer/vk_ZBA | 818873.02 | 65772.93333333333 | 0.08032128514056225 |
| BASE/racer/QQYQNw | 826746.9877333333 | 65698.26666666666 | 0.07946598855689765 |
| DRESDEN/crisscross/GsY16g | 893151.72135 | 49541.1 | 0.05546773164711429 |
| DRESDEN/merrills/aYEzwA | 926899.1460000002 | 18195.9 | 0.01963093835885355 |
| BASE/crisscross/ICagEg | 943528.3542666667 | 52494.066666666666 | 0.05563591854901524 |
| BASE/merrills/pku8Tg | 1017980.6980000001 | 18040.666666666668 | 0.017722012511740833 |
| DRESDEN/hanoi7_bugfix/3gdnFw | 1123975.6242 | 316999.8 | 0.2820344081978001 |
| DRESDEN/hanoi7/51zz5Q | 1126870.9146333332 | 317657.1 | 0.28189306856265856 |
| BASE/hanoi7_bugfix/3gdnFw | 1213772.2980148147 | 333616.86666666664 | 0.2748595162472514 |
| DRESDEN/Travelers-Dilemma/PvZwYw | 1389438.9681777777 | 377018.5333333333 | 0.27134587554269174 |
| BASE/solitaireChineseCheckers/-ET6gw | 1397711.1519 | 89519.4 | 0.06404713869407884 |
| BASE/crissrace/ERWGDA | 1628196.2126 | 46358.3 | 0.02847218267752406 |
| DRESDEN/crissrace/KWb9bw | 1631668.7646 | 45651.3 | 0.027978288847854065 |
| BASE/twisty-passages/DiZmmg | 1937758.1076 | 102016.8 | 0.052646818815973044 |
| DRESDEN/twisty-passages/j7NPyg | 1941130.2400166667 | 100143.43333333333 | 0.051590270075063845 |
| DRESDEN/kalaha_2009/gcC8uA | 2249237.8399166665 | 98639.96666666666 | 0.04385484047801776 |
| BASE/ad_game_2x2/D0aWqg | 2272421.653066667 | 60572.066666666666 | 0.02665529374133703 |
| BASE/kalaha_2009/dRiN3g | 2318480.334383333 | 102630.76666666666 | 0.04426639516610965 |
| BASE/ruleDepthExponential/UamhHQ | 2367477.6930750003 | 265285.9 | 0.1120542342493767 |
| DRESDEN/vacuumcleaner_obstacles_1/CqS-7A | 2461583.523777778 | 185439.33333333334 | 0.07533335007407779 |
| DRESDEN/vacuumcleaner_random/_6AGDA | 2494551.321 | 123829.8 | 0.04964010920824026 |
| DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA | 2652149.7136333333 | 190432.23333333334 | 0.07180297264306743 |
| DRESDEN/vacuum_cleaner_1/eUNjpw | 3666666.5310000004 | 209195.06666666668 | 0.057053202110968475 |
| DRESDEN/chinesecheckers6-simultaneous/gPPGUw | Infinity | 11974.3 | 0.0 |
| BASE/amazonsSuicide/dE1QEQ | Infinity | 768.7333333333333 | 0.0 |
| BASE/amazons/RKKZjw | Infinity | 766.0333333333333 | 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 |
| DRESDEN/chinesecheckers6/yTbPDA | Infinity | 38878.433333333334 | 0.0 |
Games with errors:
| Game | ALLOY_COMPILED_PROVER_CACHING:2 error message | REKKURA_GENERIC_FORWARD_PROVER: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/queens/mW2wHQ | IllegalArgumentException: too many occurrences: 2147483765 | |
| 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 | |
| DRESDEN/mummymaze1p/AekgaQ | Test process timed out after 240 seconds | |
| BASE/gt_two_thirds_4p/DStnxQ | Test process timed out after 240 seconds | |
| BASE/queens/HyJJnQ | IllegalArgumentException: too many occurrences: 2147483765 | |
| 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 |