part 14 of 24 (n=8, k=3): first run killed by verifier B after 17 minutes (slow cross-checks, as for part 15); rerun without cross-checks
