files / problems / unit-distance-509 / compute / shrink.jsonl

103 B · on GitHub

{"phase": "baseline", "skip": [], "status": "UNSAT", "seconds": 2.436958425998455, "note": "baseline"}