files / problems / thin-cyclic-bases / compute / algebraic_eval.json
[
{
"n": 31,
"m": 8,
"covered": 26,
"missed": 5,
"ratio": 1.4368424162141993,
"counting": 8,
"slack": 0,
"ok": false,
"kind": "quad_window",
"p": 31,
"window": 8
},
{
"n": 31,
"m": 9,
"covered": 28,
"missed": 3,
"ratio": 1.6164477182409742,
"counting": 8,
"slack": 1,
"ok": false,
"kind": "quad_window",
"p": 31,
"window": 9
},
{
"n": 31,
"m": 10,
"covered": 30,
"missed": 1,
"ratio": 1.7960530202677492,
"counting": 8,
"slack": 2,
"ok": false,
"kind": "quad_window",
"p": 31,
"window": 10
},
{
"n": 31,
"m": 8,
"covered": 26,
"missed": 5,
"ratio": 1.4368424162141993,
"counting": 8,
"slack": 0,
"ok": false,
"kind": "geom",
"p": 31,
"g": 3,
"m0": 8
},
{
"n": 31,
"m": 9,
"covered": 29,
"missed": 2,
"ratio": 1.6164477182409742,
"counting": 8,
"slack": 1,
"ok": false,
"kind": "geom",
"p": 31,
"g": 3,
"m0": 9
},
{
"n": 31,
"m": 10,
"covered": 29,
"missed": 2,
"ratio": 1.7960530202677492,
"counting": 8,
"slack": 2,
"ok": false,
"kind": "quad+interval",
"p": 31
},
{
"n": 37,
"m": 9,
"covered": 30,
"missed": 7,
"ratio": 1.4795908857482156,
"counting": 9,
"slack": 0,
"ok": false,
"kind": "quad_window",
"p": 37,
"window": 9
},
{
"n": 37,
"m": 9,
"covered": 30,
"missed": 7,
"ratio": 1.4795908857482156,
"counting": 9,
"slack": 0,
"ok": false,
"kind": "quad_window",
"p": 37,
"window": 9
},
{
"n": 37,
"m": 11,
"covered": 36,
"missed": 1,
"ratio": 1.8083888603589302,
"counting": 9,
"slack": 2,
"ok": false,
"kind": "quad_window",
"p": 37,
"window": 11
},
{
"n": 37,
"m": 9,
"covered": 32,
"missed": 5,
"ratio": 1.4795908857482156,
"counting": 9,
"slack": 0,
"ok": false,
"kind": "geom",
"p": 37,
"g": 2,
"m0": 9
},
{
"n": 37,
"m": 9,
"covered": 32,
"missed": 5,
"ratio": 1.4795908857482156,
"counting": 9,
"slack": 0,
"ok": false,
"kind": "geom",
"p": 37,
"g": 2,
"m0": 9
},
{
"n": 37,
"m": 14,
"covered": 37,
"missed": 0,
"ratio": 2.301585822275002,
"counting": 9,
"slack": 5,
"ok": true,
"kind": "quad+interval",
"p": 37
},
{
"n": 41,
"m": 9,
"covered": 31,
"missed": 10,
"ratio": 1.4055638569974547,
"counting": 9,
"slack": 0,
"ok": false,
"kind": "quad_window",
"p": 41,
"window": 9
},
{
"n": 41,
"m": 10,
"covered": 34,
"missed": 7,
"ratio": 1.5617376188860608,
"counting": 9,
"slack": 1,
"ok": false,
"kind": "quad_window",
"p": 41,
"window": 10
},
{
"n": 41,
"m": 12,
"covered": 39,
"missed": 2,
"ratio": 1.8740851426632728,
"counting": 9,
"slack": 3,
"ok": false,
"kind": "quad_window",
"p": 41,
"window": 12
},
{
"n": 41,
"m": 9,
"covered": 33,
"missed": 8,
"ratio": 1.4055638569974547,
"counting": 9,
"slack": 0,
"ok": false,
"kind": "geom",
"p": 41,
"g": 6,
"m0": 9
},
{
"n": 41,
"m": 10,
"covered": 36,
"missed": 5,
"ratio": 1.5617376188860608,
"counting": 9,
"slack": 1,
"ok": false,
"kind": "geom",
"p": 41,
"g": 6,
"m0": 10
},
{
"n": 41,
"m": 14,
"covered": 41,
"missed": 0,
"ratio": 2.186432666440485,
"counting": 9,
"slack": 5,
"ok": true,
"kind": "quad+interval",
"p": 41
},
{
"n": 43,
"m": 9,
"covered": 34,
"missed": 9,
"ratio": 1.372487132993442,
"counting": 9,
"slack": 0,
"ok": false,
"kind": "quad_window",
"p": 43,
"window": 9
},
{
"n": 43,
"m": 10,
"covered": 38,
"missed": 5,
"ratio": 1.5249857033260468,
"counting": 9,
"slack": 1,
"ok": false,
"kind": "quad_window",
"p": 43,
"window": 10
},
{
"n": 43,
"m": 12,
"covered": 41,
"missed": 2,
"ratio": 1.829982843991256,
"counting": 9,
"slack": 3,
"ok": false,
"kind": "quad_window",
"p": 43,
"window": 12
},
{
"n": 43,
"m": 9,
"covered": 34,
"missed": 9,
"ratio": 1.372487132993442,
"counting": 9,
"slack": 0,
"ok": false,
"kind": "geom",
"p": 43,
"g": 3,
"m0": 9
},
{
"n": 43,
"m": 10,
"covered": 38,
"missed": 5,
"ratio": 1.5249857033260468,
"counting": 9,
"slack": 1,
"ok": false,
"kind": "geom",
"p": 43,
"g": 3,
"m0": 10
},
{
"n": 43,
"m": 13,
"covered": 42,
"missed": 1,
"ratio": 1.9824814143238607,
"counting": 9,
"slack": 4,
"ok": false,
"kind": "quad+interval",
"p": 43
},
{
"n": 47,
"m": 10,
"covered": 37,
"missed": 10,
"ratio": 1.4586499149789456,
"counting": 10,
"slack": 0,
"ok": false,
"kind": "quad_window",
"p": 47,
"window": 10
},
{
"n": 47,
"m": 11,
"covered": 41,
"missed": 6,
"ratio": 1.6045149064768403,
"counting": 10,
"slack": 1,
"ok": false,
"kind": "quad_window",
"p": 47,
"window": 11
},
{
"n": 47,
"m": 12,
"covered": 43,
"missed": 4,
"ratio": 1.7503798979747347,
"counting": 10,
"slack": 2,
"ok": false,
"kind": "quad_window",
"p": 47,
"window": 12
},
{
"n": 47,
"m": 10,
"covered": 36,
"missed": 11,
"ratio": 1.4586499149789456,
"counting": 10,
"slack": 0,
"ok": false,
"kind": "geom",
"p": 47,
"g": 5,
"m0": 10
},
{
"n": 47,
"m": 11,
"covered": 40,
"missed": 7,
"ratio": 1.6045149064768403,
"counting": 10,
"slack": 1,
"ok": false,
"kind": "geom",
"p": 47,
"g": 5,
"m0": 11
},
{
"n": 47,
"m": 13,
"covered": 44,
"missed": 3,
"ratio": 1.8962448894726294,
"counting": 10,
"slack": 3,
"ok": false,
"kind": "quad+interval",
"p": 47
},
{
"n": 53,
"m": 10,
"covered": 40,
"missed": 13,
"ratio": 1.3736056394868903,
"counting": 10,
"slack": 0,
"ok": false,
"kind": "quad_window",
"p": 53,
"window": 10
},
{
"n": 53,
"m": 11,
"covered": 44,
"missed": 9,
"ratio": 1.5109662034355793,
"counting": 10,
"slack": 1,
"ok": false,
"kind": "quad_window",
"p": 53,
"window": 11
},
{
"n": 53,
"m": 13,
"covered": 48,
"missed": 5,
"ratio": 1.7856873313329573,
"counting": 10,
"slack": 3,
"ok": false,
"kind": "quad_window",
"p": 53,
"window": 13
},
{
"n": 53,
"m": 10,
"covered": 42,
"missed": 11,
"ratio": 1.3736056394868903,
"counting": 10,
"slack": 0,
"ok": false,
"kind": "geom",
"p": 53,
"g": 2,
"m0": 10
},
{
"n": 53,
"m": 11,
"covered": 46,
"missed": 7,
"ratio": 1.5109662034355793,
"counting": 10,
"slack": 1,
"ok": false,
"kind": "geom",
"p": 53,
"g": 2,
"m0": 11
},
{
"n": 53,
"m": 16,
"covered": 52,
"missed": 1,
"ratio": 2.1977690231790246,
"counting": 10,
"slack": 6,
"ok": false,
"kind": "quad+interval",
"p": 53
},
{
"n": 59,
"m": 11,
"covered": 47,
"missed": 12,
"ratio": 1.4320780207890627,
"counting": 11,
"slack": 0,
"ok": false,
"kind": "quad_window",
"p": 59,
"window": 11
},
{
"n": 59,
"m": 12,
"covered": 50,
"missed": 9,
"ratio": 1.5622669317698865,
"counting": 11,
"slack": 1,
"ok": false,
"kind": "quad_window",
"p": 59,
"window": 12
},
{
"n": 59,
"m": 13,
"covered": 53,
"missed": 6,
"ratio": 1.6924558427507104,
"counting": 11,
"slack": 2,
"ok": false,
"kind": "quad_window",
"p": 59,
"window": 13
},
{
"n": 59,
"m": 11,
"covered": 44,
"missed": 15,
"ratio": 1.4320780207890627,
"counting": 11,
"slack": 0,
"ok": false,
"kind": "geom",
"p": 59,
"g": 2,
"m0": 11
},
{
"n": 59,
"m": 12,
"covered": 48,
"missed": 11,
"ratio": 1.5622669317698865,
"counting": 11,
"slack": 1,
"ok": false,
"kind": "geom",
"p": 59,
"g": 2,
"m0": 12
},
{
"n": 59,
"m": 15,
"covered": 57,
"missed": 2,
"ratio": 1.952833664712358,
"counting": 11,
"slack": 4,
"ok": false,
"kind": "quad+interval",
"p": 59
},
{
"n": 61,
"m": 11,
"covered": 47,
"missed": 14,
"ratio": 1.4084056792618558,
"counting": 11,
"slack": 0,
"ok": false,
"kind": "quad_window",
"p": 61,
"window": 11
},
{
"n": 61,
"m": 12,
"covered": 51,
"missed": 10,
"ratio": 1.5364425591947517,
"counting": 11,
"slack": 1,
"ok": false,
"kind": "quad_window",
"p": 61,
"window": 12
},
{
"n": 61,
"m": 14,
"covered": 58,
"missed": 3,
"ratio": 1.7925163190605438,
"counting": 11,
"slack": 3,
"ok": false,
"kind": "quad_window",
"p": 61,
"window": 14
},
{
"n": 61,
"m": 11,
"covered": 42,
"missed": 19,
"ratio": 1.4084056792618558,
"counting": 11,
"slack": 0,
"ok": false,
"kind": "geom",
"p": 61,
"g": 2,
"m0": 11
},
{
"n": 61,
"m": 12,
"covered": 48,
"missed": 13,
"ratio": 1.5364425591947517,
"counting": 11,
"slack": 1,
"ok": false,
"kind": "geom",
"p": 61,
"g": 2,
"m0": 12
},
{
"n": 61,
"m": 15,
"covered": 56,
"missed": 5,
"ratio": 1.9205531989934397,
"counting": 11,
"slack": 4,
"ok": false,
"kind": "quad+interval",
"p": 61
},
{
"n": 67,
"m": 12,
"covered": 53,
"missed": 14,
"ratio": 1.4660333322756627,
"counting": 12,
"slack": 0,
"ok": false,
"kind": "quad_window",
"p": 67,
"window": 12
},
{
"n": 67,
"m": 13,
"covered": 58,
"missed": 9,
"ratio": 1.5882027766319677,
"counting": 12,
"slack": 1,
"ok": false,
"kind": "quad_window",
"p": 67,
"window": 13
},
{
"n": 67,
"m": 14,
"covered": 60,
"missed": 7,
"ratio": 1.710372220988273,
"counting": 12,
"slack": 2,
"ok": false,
"kind": "quad_window",
"p": 67,
"window": 14
},
{
"n": 67,
"m": 12,
"covered": 56,
"missed": 11,
"ratio": 1.4660333322756627,
"counting": 12,
"slack": 0,
"ok": false,
"kind": "geom",
"p": 67,
"g": 2,
"m0": 12
},
{
"n": 67,
"m": 13,
"covered": 60,
"missed": 7,
"ratio": 1.5882027766319677,
"counting": 12,
"slack": 1,
"ok": false,
"kind": "geom",
"p": 67,
"g": 2,
"m0": 13
},
{
"n": 67,
"m": 18,
"covered": 66,
"missed": 1,
"ratio": 2.199049998413494,
"counting": 12,
"slack": 6,
"ok": false,
"kind": "quad+interval",
"p": 67
},
{
"n": 71,
"m": 12,
"covered": 55,
"missed": 16,
"ratio": 1.4241379898326239,
"counting": 12,
"slack": 0,
"ok": false,
"kind": "quad_window",
"p": 71,
"window": 12
},
{
"n": 71,
"m": 13,
"covered": 58,
"missed": 13,
"ratio": 1.5428161556520092,
"counting": 12,
"slack": 1,
"ok": false,
"kind": "quad_window",
"p": 71,
"window": 13
},
{
"n": 71,
"m": 14,
"covered": 60,
"missed": 11,
"ratio": 1.6614943214713946,
"counting": 12,
"slack": 2,
"ok": false,
"kind": "quad_window",
"p": 71,
"window": 14
},
{
"n": 71,
"m": 12,
"covered": 49,
"missed": 22,
"ratio": 1.4241379898326239,
"counting": 12,
"slack": 0,
"ok": false,
"kind": "geom",
"p": 71,
"g": 7,
"m0": 12
},
{
"n": 71,
"m": 13,
"covered": 51,
"missed": 20,
"ratio": 1.5428161556520092,
"counting": 12,
"slack": 1,
"ok": false,
"kind": "geom",
"p": 71,
"g": 7,
"m0": 13
},
{
"n": 71,
"m": 18,
"covered": 67,
"missed": 4,
"ratio": 2.1362069847489358,
"counting": 12,
"slack": 6,
"ok": false,
"kind": "quad+interval",
"p": 71
},
{
"n": 73,
"m": 12,
"covered": 53,
"missed": 20,
"ratio": 1.4044937663535668,
"counting": 12,
"slack": 0,
"ok": false,
"kind": "quad_window",
"p": 73,
"window": 12
},
{
"n": 73,
"m": 13,
"covered": 60,
"missed": 13,
"ratio": 1.5215349135496974,
"counting": 12,
"slack": 1,
"ok": false,
"kind": "quad_window",
"p": 73,
"window": 13
},
{
"n": 73,
"m": 15,
"covered": 64,
"missed": 9,
"ratio": 1.7556172079419585,
"counting": 12,
"slack": 3,
"ok": false,
"kind": "quad_window",
"p": 73,
"window": 15
},
{
"n": 73,
"m": 12,
"covered": 55,
"missed": 18,
"ratio": 1.4044937663535668,
"counting": 12,
"slack": 0,
"ok": false,
"kind": "geom",
"p": 73,
"g": 5,
"m0": 12
},
{
"n": 73,
"m": 13,
"covered": 60,
"missed": 13,
"ratio": 1.5215349135496974,
"counting": 12,
"slack": 1,
"ok": false,
"kind": "geom",
"p": 73,
"g": 5,
"m0": 13
},
{
"n": 73,
"m": 17,
"covered": 68,
"missed": 5,
"ratio": 1.9896995023342199,
"counting": 12,
"slack": 5,
"ok": false,
"kind": "quad+interval",
"p": 73
},
{
"n": 79,
"m": 13,
"covered": 61,
"missed": 18,
"ratio": 1.462614271203831,
"counting": 13,
"slack": 0,
"ok": false,
"kind": "quad_window",
"p": 79,
"window": 13
},
{
"n": 79,
"m": 14,
"covered": 66,
"missed": 13,
"ratio": 1.5751230612964335,
"counting": 13,
"slack": 1,
"ok": false,
"kind": "quad_window",
"p": 79,
"window": 14
},
{
"n": 79,
"m": 15,
"covered": 70,
"missed": 9,
"ratio": 1.6876318513890358,
"counting": 13,
"slack": 2,
"ok": false,
"kind": "quad_window",
"p": 79,
"window": 15
},
{
"n": 79,
"m": 13,
"covered": 53,
"missed": 26,
"ratio": 1.462614271203831,
"counting": 13,
"slack": 0,
"ok": false,
"kind": "geom",
"p": 79,
"g": 3,
"m0": 13
},
{
"n": 79,
"m": 14,
"covered": 57,
"missed": 22,
"ratio": 1.5751230612964335,
"counting": 13,
"slack": 1,
"ok": false,
"kind": "geom",
"p": 79,
"g": 3,
"m0": 14
},
{
"n": 79,
"m": 17,
"covered": 72,
"missed": 7,
"ratio": 1.9126494315742406,
"counting": 13,
"slack": 4,
"ok": false,
"kind": "quad+interval",
"p": 79
},
{
"n": 83,
"m": 13,
"covered": 64,
"missed": 19,
"ratio": 1.4269353798659745,
"counting": 13,
"slack": 0,
"ok": false,
"kind": "quad_window",
"p": 83,
"window": 13
},
{
"n": 83,
"m": 14,
"covered": 67,
"missed": 16,
"ratio": 1.5366996398556647,
"counting": 13,
"slack": 1,
"ok": false,
"kind": "quad_window",
"p": 83,
"window": 14
},
{
"n": 83,
"m": 15,
"covered": 71,
"missed": 12,
"ratio": 1.6464638998453551,
"counting": 13,
"slack": 2,
"ok": false,
"kind": "quad_window",
"p": 83,
"window": 15
},
{
"n": 83,
"m": 13,
"covered": 65,
"missed": 18,
"ratio": 1.4269353798659745,
"counting": 13,
"slack": 0,
"ok": false,
"kind": "geom",
"p": 83,
"g": 2,
"m0": 13
},
{
"n": 83,
"m": 14,
"covered": 66,
"missed": 17,
"ratio": 1.5366996398556647,
"counting": 13,
"slack": 1,
"ok": false,
"kind": "geom",
"p": 83,
"g": 2,
"m0": 14
},
{
"n": 83,
"m": 19,
"covered": 79,
"missed": 4,
"ratio": 2.0855209398041166,
"counting": 13,
"slack": 6,
"ok": false,
"kind": "quad+interval",
"p": 83
},
{
"n": 89,
"m": 13,
"covered": 64,
"missed": 25,
"ratio": 1.3779972440082682,
"counting": 13,
"slack": 0,
"ok": false,
"kind": "quad_window",
"p": 89,
"window": 13
},
{
"n": 89,
"m": 15,
"covered": 70,
"missed": 19,
"ratio": 1.58999682000954,
"counting": 13,
"slack": 2,
"ok": false,
"kind": "quad_window",
"p": 89,
"window": 15
},
{
"n": 89,
"m": 16,
"covered": 75,
"missed": 14,
"ratio": 1.695996608010176,
"counting": 13,
"slack": 3,
"ok": false,
"kind": "quad_window",
"p": 89,
"window": 16
},
{
"n": 89,
"m": 13,
"covered": 57,
"missed": 32,
"ratio": 1.3779972440082682,
"counting": 13,
"slack": 0,
"ok": false,
"kind": "geom",
"p": 89,
"g": 3,
"m0": 13
},
{
"n": 89,
"m": 15,
"covered": 68,
"missed": 21,
"ratio": 1.58999682000954,
"counting": 13,
"slack": 2,
"ok": false,
"kind": "geom",
"p": 89,
"g": 3,
"m0": 15
},
{
"n": 89,
"m": 19,
"covered": 84,
"missed": 5,
"ratio": 2.013995972012084,
"counting": 13,
"slack": 6,
"ok": false,
"kind": "quad+interval",
"p": 89
},
{
"n": 97,
"m": 14,
"covered": 70,
"missed": 27,
"ratio": 1.4214846311870668,
"counting": 14,
"slack": 0,
"ok": false,
"kind": "quad_window",
"p": 97,
"window": 14
},
{
"n": 97,
"m": 16,
"covered": 78,
"missed": 19,
"ratio": 1.6245538642137907,
"counting": 14,
"slack": 2,
"ok": false,
"kind": "quad_window",
"p": 97,
"window": 16
},
{
"n": 97,
"m": 16,
"covered": 78,
"missed": 19,
"ratio": 1.6245538642137907,
"counting": 14,
"slack": 2,
"ok": false,
"kind": "quad_window",
"p": 97,
"window": 16
},
{
"n": 97,
"m": 14,
"covered": 68,
"missed": 29,
"ratio": 1.4214846311870668,
"counting": 14,
"slack": 0,
"ok": false,
"kind": "geom",
"p": 97,
"g": 5,
"m0": 14
},
{
"n": 97,
"m": 16,
"covered": 75,
"missed": 22,
"ratio": 1.6245538642137907,
"counting": 14,
"slack": 2,
"ok": false,
"kind": "geom",
"p": 97,
"g": 5,
"m0": 16
},
{
"n": 97,
"m": 18,
"covered": 84,
"missed": 13,
"ratio": 1.8276230972405145,
"counting": 14,
"slack": 4,
"ok": false,
"kind": "quad+interval",
"p": 97
}
]