parts 14, 15, 16, 17 of 24 (n=8, k=3) were stopped by verifier B at 12:18 UTC without result: the compute budget (about 90 minutes of wall time) was used up and part 16 was about to exceed 30 minutes. Parts 14 and 15 had been restarted without cross-checks; the machine was shared and the last four parts ran about three times slower than the first twenty. The n=8 enumeration is therefore INCOMPLETE: 20 of 24 parts.
