files / problems / caccetta-haggkvist-k3 / compute / certs / flags5_meta.json
{
"n_types": 317,
"labeled_total": 30535,
"pi_row_sum_minmax": [
1.0,
1.0
],
"AC5_nnz": 6770,
"missed_L": 0
}files / problems / caccetta-haggkvist-k3 / compute / certs / flags5_meta.json
{
"n_types": 317,
"labeled_total": 30535,
"pi_row_sum_minmax": [
1.0,
1.0
],
"AC5_nnz": 6770,
"missed_L": 0
}