files / problems / tuza-triangle-packing-covering / compute / certs
| .. | |
| c7_8reg_verified.json | 935 KB |
| n8_exceptions.json | 7.5 KB |
| reduce_c6_8reg.json | 93 KB |
| reduce_c7_8reg_compact.json | 70 KB |
| reduce_c7_8reg.json | 559 KB |
| regular7_census.json | 207 KB |
| replay_known.json | 649 B |
| split_census.json | 18 KB |
| wke_labelled_n7.json | 240 B |
| wke_unlabelled.json | 11 KB |