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