files / problems / thin-cyclic-bases / compute / singer_sumsets.json
[
{
"n": 13,
"m": 4,
"covered": 10,
"missed": 3,
"ratio": 1.1094003924504583,
"counting": 5,
"slack": -1,
"ok": false,
"q": 3,
"v": 13,
"diff_cover": true,
"missed_list": [
7,
8,
11
],
"D": [
0,
1,
3,
9
]
},
{
"n": 31,
"m": 6,
"covered": 21,
"missed": 10,
"ratio": 1.0776318121606494,
"counting": 8,
"slack": -2,
"ok": false,
"q": 5,
"v": 31,
"diff_cover": true,
"missed_list": [
0,
1,
3,
5,
12,
13,
15,
21,
25,
29
],
"D": [
3,
4,
7,
13,
15,
20
]
},
{
"n": 57,
"m": 8,
"covered": 36,
"missed": 21,
"ratio": 1.059625885652035,
"counting": 11,
"slack": -3,
"ok": false,
"q": 7,
"v": 57,
"diff_cover": true,
"missed_list": [
2,
4,
6,
9,
14,
15,
25,
28,
29,
30,
31,
32,
37,
39,
41,
42,
45,
46,
48,
51
],
"D": [
5,
17,
19,
30,
35,
38,
39,
45
]
},
{
"n": 133,
"m": 12,
"covered": 78,
"missed": 55,
"ratio": 1.0405319634289438,
"counting": 16,
"slack": -4,
"ok": false,
"q": 11,
"v": 133,
"diff_cover": true,
"missed_list": [
0,
1,
4,
5,
7,
9,
11,
15,
18,
20,
23,
24,
25,
26,
27,
31,
32,
34,
35,
44
],
"D": [
1,
11,
18,
29,
45,
50,
51,
53,
65,
96,
121,
125
]
}
]