Index of /CS/Verification/Projects/WeightGen/Benchmarks/Weighted/Quality

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]5step.cnf 2014-07-30 22:14 7.6K 
[ ]Bench_blasted_287_12..>2014-07-30 22:17 22K 
[ ]blockmap_05_01.net.cnf 2014-07-30 22:14 56K 
[ ]blockmap_05_02.net.cnf 2014-07-30 22:14 72K 
[ ]fs-01.net.cnf 2014-07-30 22:14 1.0K 
[ ]lang12.cnf 2014-07-30 22:14 349K 
[ ]or-50-10-1-UC-20.cnf 2014-07-30 22:14 4.3K 
[ ]or-50-10-1-UC-30.cnf 2014-07-30 22:14 4.3K 
[ ]or-50-10-1-UC-40.cnf 2014-07-30 22:14 4.4K 
[ ]or-50-10-9-UC-40.cnf 2014-07-30 22:14 4.3K 
[ ]or-50-10-10-UC-20.cnf 2014-07-30 22:14 4.3K 
[ ]or-50-10-10-UC-30.cnf 2014-07-30 22:14 4.3K 
[ ]or-50-10-10-UC-40.cnf 2014-07-30 22:14 4.4K 
[ ]or-50-20-1-UC-40.cnf 2014-07-30 22:14 4.4K 
[ ]or-50-20-10-UC-30.cnf 2014-07-30 22:14 4.3K 
[ ]or-50-20-10-UC-40.cnf 2014-07-30 22:14 4.4K 
[ ]or-60-5-2-UC-40.cnf 2014-07-30 22:14 5.3K 
[ ]or-70-5-2-UC-30.cnf 2014-07-30 22:14 6.3K 
[ ]or-70-5-2-UC-40.cnf 2014-07-30 22:14 6.3K 
[ ]or-70-5-7-UC-30.cnf 2014-07-30 22:14 6.3K 
[ ]or-70-5-7-UC-40.cnf 2014-07-30 22:14 6.3K 
[ ]or-70-10-3-UC-30.cnf 2014-07-30 22:14 6.3K 
[ ]or-70-10-3-UC-40.cnf 2014-07-30 22:14 6.3K 
[ ]or-70-10-6-UC-30.cnf 2014-07-30 22:14 6.4K 
[ ]or-70-10-6-UC-40.cnf 2014-07-30 22:14 6.4K 
[ ]or-70-20-6-UC-40.cnf 2014-07-30 22:14 6.3K 
[ ]or-70-20-9-UC-30.cnf 2014-07-30 22:14 6.3K 
[ ]or-70-20-9-UC-40.cnf 2014-07-30 22:14 6.4K 
[ ]or-100-20-6-UC-60.cnf 2014-07-30 22:14 9.4K 
[ ]or-100-20-9-UC-50.cnf 2014-07-30 22:14 9.4K 
[ ]or-100-20-9-UC-60.cnf 2014-07-30 22:14 9.4K