B = 16 Bmin = 13 exponent sets checked: 4901 expected: 4901
not certified (inconclusive): 0 []
time 1294.6s
