{"family": "t=3, all S-lists equal", "N": 16, "total_vectors": 7490, "processed": 2497, "forced_only": 2464, "packing": 33, "branch_and_bound": 0, "n_failures": 0, "seconds": 4.3}
