g250.29.cnf.Z - File Properties
| FTP Site: | dimacs.rutgers.edu |
| Description: | Rutgers University |
| Country: | United States |
| Directory: | /pub/challenge/satisfiability/benchmarks/volume/Cnf |
| File Name: | g250.29.cnf.Z |
| File Size: | 1.73 MB (1,816,309 Bytes) |
| Modified: | 14/Dec/1993 |
