dimacs.rutgers.edu - FTP Site - volume - Directory Properties

FTP Site:dimacs.rutgers.edu
Description:Rutgers University
Country:United States
Directory:/pub/challenge/satisfiability/benchmarks/volume
Sub Dirs:2
Total Files:52
Disk Space:3.88 MB (4,068,689 Bytes)