Index of /research/SPL/IWCT_2015/Resources/SAT_models

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] tcas_2way.dimacs 2015-01-22 16:55 1.6K [   ] sed.dimacs 2015-01-22 16:55 1.7K [   ] make.dimacs 2015-01-22 16:55 344 [   ] gzip.dimacs 2015-01-22 16:55 1.1K [   ] grep.dimacs 2015-01-22 16:55 2.1K [   ] gcc_3way.dimacs 2015-01-22 16:55 231K [   ] flex.dimacs 2015-01-22 16:55 585 [   ] 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