Name Last modified Size Description
Parent Directory - make.dimacs 2015-01-22 16:55 344 flex.dimacs 2015-01-22 16:55 585 gzip.dimacs 2015-01-22 16:55 1.1K tcas_2way.dimacs 2015-01-22 16:55 1.6K sed.dimacs 2015-01-22 16:55 1.7K grep.dimacs 2015-01-22 16:55 2.1K Storage5.dimacs 2015-01-22 16:55 6.8K Services.dimacs 2015-01-22 16:55 7.7K Insurance.dimacs 2015-01-22 16:55 8.8K gcc_3way.dimacs 2015-01-22 16:55 231K