part 15 of 24 (n=8, k=3): first run killed by verifier B after 21 minutes (it was slowed down by the cross-checks, which count the families of sampled instances arc by arc); rerun without cross-checks
