files / problems / affine-013 / compute / q1 / certs / endpoint_scan.json
{
"named": [
{
"name": "interval_9",
"n": 9,
"L": 4,
"R": 4,
"min": 4,
"budget": 5.333333333333333,
"over": false,
"T": 27,
"T_I": 27,
"S": [
0,
1,
2,
3,
4,
5,
6,
7,
8
]
},
{
"name": "almost_9",
"n": 9,
"L": 6,
"R": 5,
"min": 5,
"budget": 5.333333333333333,
"over": false,
"T": 28,
"T_I": 27,
"S": [
0,
1,
2,
3,
4,
5,
6,
7,
9
]
},
{
"name": "n3_013",
"n": 3,
"L": 1,
"R": 1,
"min": 1,
"budget": 1.3333333333333333,
"over": false,
"T": 4,
"T_I": 3,
"S": [
0,
1,
3
]
},
{
"name": "n6_hole",
"n": 6,
"L": 4,
"R": 3,
"min": 3,
"budget": 3.3333333333333335,
"over": false,
"T": 13,
"T_I": 12,
"S": [
0,
1,
2,
3,
4,
6
]
},
{
"name": "n7_sparse",
"n": 7,
"L": 5,
"R": 4,
"min": 4,
"budget": 4.0,
"over": false,
"T": 18,
"T_I": 17,
"S": [
0,
3,
6,
8,
9,
12,
18
]
},
{
"name": "plus1_n12",
"n": 12,
"L": 8,
"R": 7,
"min": 7,
"budget": 7.333333333333333,
"over": false,
"T": 49,
"T_I": 48,
"S": [
0,
1,
2,
3,
4,
5,
6,
7,
8,
9,
10,
12
]
},
{
"name": "two_int",
"n": 12,
"L": 4,
"R": 4,
"min": 4,
"budget": 7.333333333333333,
"over": false,
"T": 30,
"T_I": 48,
"S": [
0,
1,
2,
3,
4,
5,
12,
13,
14,
15,
16,
17
]
},
{
"name": "gp2",
"n": 7,
"L": 0,
"R": 1,
"min": 0,
"budget": 4.0,
"over": false,
"T": 11,
"T_I": 17,
"S": [
0,
1,
2,
4,
8,
16,
32
]
},
{
"name": "E_2_2",
"n": 9,
"L": 4,
"R": 4,
"min": 4,
"budget": 5.333333333333333,
"over": false,
"T": 25,
"T_I": 27,
"S": [
-6,
-4,
-2,
-1,
0,
1,
2,
4,
6
]
},
{
"name": "int_3tail",
"n": 11,
"L": 10,
"R": 4,
"min": 4,
"budget": 6.666666666666667,
"over": false,
"T": 34,
"T_I": 41,
"S": [
0,
1,
2,
3,
4,
5,
6,
9,
12,
15,
18
]
}
],
"exhaustive": [
{
"n": 3,
"dmax": 18,
"n_sets": 153,
"n_over_budget": 0,
"worst_min_ratio": 0.5,
"worst_set": [
0,
1,
3
],
"T_max": 4,
"T_max_set": [
0,
1,
3
],
"T_interval": 3,
"budget": 1.3333333333333333
},
{
"n": 4,
"dmax": 16,
"n_sets": 560,
"n_over_budget": 0,
"worst_min_ratio": 0.6666666666666666,
"worst_set": [
0,
1,
2,
3
],
"T_max": 6,
"T_max_set": [
0,
1,
2,
3
],
"T_interval": 6,
"budget": 2.0
},
{
"n": 5,
"dmax": 16,
"n_sets": 1820,
"n_over_budget": 2,
"worst_min_ratio": 0.75,
"worst_set": [
0,
2,
3,
4,
6
],
"T_max": 9,
"T_max_set": [
0,
1,
2,
3,
4
],
"T_interval": 9,
"budget": 2.6666666666666665
},
{
"n": 6,
"dmax": 16,
"n_sets": 4368,
"n_over_budget": 1,
"worst_min_ratio": 0.8,
"worst_set": [
0,
2,
3,
6,
7,
9
],
"T_max": 13,
"T_max_set": [
0,
1,
2,
3,
4,
6
],
"T_interval": 12,
"budget": 3.3333333333333335
},
{
"n": 7,
"dmax": 18,
"n_sets": 18564,
"n_over_budget": 2,
"worst_min_ratio": 0.8333333333333334,
"worst_set": [
0,
3,
4,
6,
8,
9,
12
],
"T_max": 18,
"T_max_set": [
0,
3,
6,
8,
9,
12,
18
],
"T_interval": 17,
"budget": 4.0
},
{
"n": 8,
"dmax": 16,
"n_sets": 11440,
"n_over_budget": 16,
"worst_min_ratio": 0.7142857142857143,
"worst_set": [
0,
1,
2,
3,
5,
6,
7,
9
],
"T_max": 22,
"T_max_set": [
0,
1,
2,
3,
4,
5,
6,
7
],
"T_interval": 22,
"budget": 4.666666666666667
},
{
"n": 9,
"dmax": 14,
"n_sets": 3003,
"n_over_budget": 6,
"worst_min_ratio": 0.875,
"worst_set": [
0,
2,
3,
4,
6,
8,
9,
10,
12
],
"T_max": 28,
"T_max_set": [
0,
1,
2,
3,
4,
5,
6,
7,
9
],
"T_interval": 27,
"budget": 5.333333333333333
}
],
"random": [
{
"n": 10,
"trials": 4000,
"dmax": 60,
"n_over_budget": 0,
"worst_min_ratio": 0.4444444444444444,
"worst_set": [
14,
24,
29,
38,
42,
44,
45,
47,
54,
59
]
},
{
"n": 12,
"trials": 4000,
"dmax": 72,
"n_over_budget": 0,
"worst_min_ratio": 0.36363636363636365,
"worst_set": [
2,
3,
15,
18,
20,
22,
29,
38,
39,
44,
50,
56
]
},
{
"n": 15,
"trials": 4000,
"dmax": 90,
"n_over_budget": 0,
"worst_min_ratio": 0.35714285714285715,
"worst_set": [
8,
11,
12,
14,
27,
30,
34,
35,
47,
62,
65,
73,
75,
80,
89
]
},
{
"n": 18,
"trials": 4000,
"dmax": 108,
"n_over_budget": 0,
"worst_min_ratio": 0.35294117647058826,
"worst_set": [
8,
10,
11,
14,
22,
30,
33,
41,
44,
50,
59,
69,
74,
81,
83,
84,
91,
104
]
},
{
"n": 24,
"trials": 4000,
"dmax": 144,
"n_over_budget": 0,
"worst_min_ratio": 0.30434782608695654,
"worst_set": [
11,
24,
25,
33,
39,
53,
65,
70,
74,
78,
80,
87,
89,
95,
97,
116,
121,
123,
125,
127,
130,
135,
136,
137
]
},
{
"n": 30,
"trials": 4000,
"dmax": 180,
"n_over_budget": 0,
"worst_min_ratio": 0.3103448275862069,
"worst_set": [
3,
4,
6,
11,
12,
17,
18,
35,
43,
45,
62,
65,
67,
69,
71,
79,
96,
98,
99,
102,
104,
105,
107,
121,
129,
148,
150,
161,
165,
173
]
}
],
"any_over": true
}