n,s,subsets,orbit_representatives,forcing_representatives,wall_seconds
11,1,22,2,0,0.06
11,2,231,16,0,0.058
11,3,1540,80,0,0.059
11,4,7315,360,0,0.019
11,5,26334,1242,0,0.017
11,6,74613,3474,134,0.018
12,1,24,2,0,0.069
12,2,276,19,0,0.064
12,3,2024,96,0,0.062
12,4,10626,489,0,0.019
12,5,42504,1826,0,0.02
12,6,134596,5775,0,0.019
12,7,346104,14586,0,0.02
12,8,735471,31034,2514,0.021
13,1,26,2,0,0.07
13,2,325,19,0,0.068
13,3,2600,112,0,0.071
13,4,14950,614,0,0.021
13,5,65780,2596,0,0.02
13,6,230230,8998,0,0.021
13,7,657800,25520,0,0.022
13,8,1562275,60445,0,0.021
13,9,3124550,120670,12820,0.024
14,1,28,2,0,0.073
14,2,378,22,0,0.073
14,3,3276,130,0,0.075
14,4,20475,792,0,0.022
14,5,98280,3588,0,0.022
14,6,376740,13716,0,0.023
14,7,1184040,42574,0,0.022
14,8,3108105,111760,2072,0.023
15,1,30,2,0,0.082
15,2,435,22,0,0.08
15,3,4060,150,0,0.079
15,4,27405,966,0,0.023
15,5,142506,4842,0,0.025
15,6,593775,20023,0,0.024
15,7,2035800,68224,0,0.025
15,8,5852925,195780,4105,0.03
16,1,32,2,0,0.087
16,2,496,25,0,0.083
16,3,4960,170,0,0.083
16,4,35960,1202,0,0.025
16,5,201376,6398,0,0.026
16,6,906192,28707,0,0.027
16,7,3365856,105638,0,0.026
16,8,10518300,330030,1977,0.049
17,1,34,2,0,0.098
17,2,561,25,0,0.089
17,3,5984,192,0,0.088
17,4,46376,1432,0,0.028
17,5,278256,8304,0,0.027
17,6,1344904,39896,0,0.028
17,7,5379616,158784,0,0.028
17,8,18156204,535196,0,0.081
17,9,52451256,1544504,0,0.284
17,10,131128140,3859804,108897,0.872
18,1,36,2,0,0.094
18,2,630,28,0,0.095
18,3,7140,216,0,0.094
18,4,58905,1733,0,0.03
18,5,376992,10608,0,0.029
18,6,1947792,54660,0,0.03
18,7,8347680,232560,0,0.034
18,8,30260340,842740,0,0.131
18,9,94143280,2617484,0,0.495
18,10,254186856,7067088,28517,1.642
19,1,38,2,0,0.093
19,2,703,28,0,0.096
19,3,8436,240,0,0.096
19,4,73815,2028,0,0.033
19,5,501942,13362,0,0.032
19,6,2760681,73134,0,0.033
19,7,12620256,332928,0,0.045
19,8,48903492,1288872,0,0.207
19,9,163011640,4292840,0,0.856
19,10,472733756,12446176,96131,2.996
20,1,40,2,0,0.108
20,2,780,31,0,0.106
20,3,9880,266,0,0.103
20,4,91390,2403,0,0.035
20,5,658008,16622,0,0.034
20,6,3838380,96711,0,0.037
20,7,18643560,467058,0,0.063
20,8,76904685,1925979,0,0.316
20,9,273438880,6839848,0,1.398
20,10,847660528,21202716,62384,5.264
21,1,42,2,0,0.107
21,2,861,31,0,0.109
21,3,11480,294,0,0.113
21,4,111930,2770,0,0.037
21,5,850668,20444,0,0.035
21,6,5245786,125569,0,0.037
21,7,26978328,643482,0,0.086
21,8,118030185,2813235,0,0.477
21,9,445891810,10621334,0,2.231
21,10,1471442973,35044531,60192,9.003
22,1,44,2,0,0.116
22,2,946,34,0,0.116
22,3,13244,322,0,0.119
22,4,135751,3226,0,0.038
22,5,1086008,24892,0,0.037
22,6,7059052,161428,0,0.04
22,7,38320568,872252,0,0.125
22,8,177232627,4032978,0,0.698
22,9,708930508,16118042,0,3.523
22,10,2481256778,56410810,0,15.232
22,11,7669339132,174323512,524638,58.679
23,1,46,2,0,0.125
23,2,1035,34,0,0.123
23,3,15180,352,0,0.125
23,4,163185,3674,0,0.049
23,5,1370754,30030,0,0.048
23,6,9366819,204512,0,0.061
23,7,53524680,1165120,0,0.201
23,8,260932815,5676880,0,1.165
23,9,1101716330,23957670,0,6.309
23,10,4076350421,88633138,0,27.588
23,11,13340783196,290043360,0,106.033
23,12,38910617655,845933466,3458230,355.458
24,1,48,2,0,0.129
24,2,1128,37,0,0.123
24,3,17296,384,0,0.125
24,4,194580,4220,0,0.074
24,5,1712304,35926,0,0.077
24,6,12271512,256947,0,0.116
24,7,73629072,1535710,0,0.332
24,8,377348994,7868515,0,1.99
24,9,1677106640,34948600,0,11.411
24,10,6540715896,136294367,0,53.955
24,11,22595200368,470766990,0,217.203
24,12,69668534468,1451524324,2704021,759.988
25,1,50,2,0,0.131
25,2,1225,37,0,0.127
25,3,19600,416,0,0.13
25,4,230300,4756,0,0.078
25,5,2118760,42652,0,0.079
25,6,15890700,318964,0,0.09
25,7,99884400,1999712,0,0.422
25,8,536878650,10743898,0,2.992
25,9,2505433700,50119300,0,17.028
25,10,10272278170,205472132,0,83.743
25,11,37353738800,747117280,0,371.166
26,1,52,2,0,0.139
26,2,1326,40,0,0.137
26,3,22100,450,0,0.141
26,4,270725,5399,0,0.096
26,5,2598960,50280,0,0.096
26,6,20358520,393136,0,0.174
26,7,133784560,2575080,0,0.563
26,8,752538150,14481674,0,4.422
26,9,3679075400,70764100,0,26.17
26,10,15820024220,304276016,0,136.363
26,11,60403728840,1161663300,0,600.919
27,4,316251,6032,0,0.077
27,5,3162510,58890,0,0.083
27,6,25827165,479749,0,0.108
27,7,177100560,3282240,0,0.701
27,8,1040465790,19276660,0,5.509
27,9,5317936260,98495282,0,32.96
27,10,23930713170,443201720,0,166.141
27,11,95722852680,1772711200,0,1022.934