files / problems / c7-shannon / compute / q3 / unique_sample_log.txt

89 B · on GitHub

unique_dump=9584
rref_replay subspaces=140050 good=97240
sample 159 sat8 0
seconds 153.6