B = 16 Bmin = 0 exponent sets checked: 6188 expected: 6188
not certified (inconclusive): 0 []
time 440.7s
