n=3: 34 classes; exact OR_k-ties: 6 classes, k = [1, 2, 3]
boxes evaluated: 256, max bisection depth: 0, time 0.0s
CERTIFIED: every non-OR LTF class on n=3 variables satisfies P_f(q) < M_n(q) on [0,1/2] (strict, margin 1e-09).
n=4: 178 classes; exact OR_k-ties: 8 classes, k = [1, 2, 3, 4]
boxes evaluated: 256, max bisection depth: 0, time 0.0s
CERTIFIED: every non-OR LTF class on n=4 variables satisfies P_f(q) < M_n(q) on [0,1/2] (strict, margin 1e-09).
n=5: 1720 classes; exact OR_k-ties: 10 classes, k = [1, 2, 3, 4, 5]
boxes evaluated: 550, max bisection depth: 2, time 0.1s
CERTIFIED: every non-OR LTF class on n=5 variables satisfies P_f(q) < M_n(q) on [0,1/2] (strict, margin 1e-09).
n=6: 38456 classes; exact OR_k-ties: 12 classes, k = [1, 2, 3, 4, 5, 6]
boxes evaluated: 3360, max bisection depth: 5, time 2.2s
CERTIFIED: every non-OR LTF class on n=6 variables satisfies P_f(q) < M_n(q) on [0,1/2] (strict, margin 1e-09).
