files / problems / c7-shannon / compute / q3 / coset_sat_log.txt
55 B · on GitHub
leftover 0 sat8 0 unsat 0 hoffman_replay 0 seconds 0.0