SUMMARY d-large-p {'total': 917, 'undecided': 0, 'claim_ok': 917, 'claim_bad': 0, 'cf_ok': 917, 'cf_bad': 0, 'with_family': 240, 'n_eq_p': 687} time 15s
