negative control k=4 at (1,2,3,4): rank 30 of 36 (must be < 36)
k=4 true forms at (1,2,3,4): rank 36 of 36
k=4: 6011 sets (random sample of 6000 of the 249,900 with e4 <= 50, plus 11 structured): failures 0  [7.0s]
k=4: 400 random sets with e4 <= 10^4 (largest 10000): failures total 0  [7.5s]
k=4: 50 of these re-done with exact rational rank: failures 0  [9.2s]
negative control k=5 at (0,1,2,3,4): rank 340 of 364 (must be < 364)
k=5: 154 sets from the 6188 with e5 <= 16 (random + structured): failures 0  [18.9s]
k=5: 30 random sets with e5 <= 1000 (largest 999): failures total 0  [20.8s]
FAILURES: []
total time 20.8s
