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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]5step.cnf 2014-07-30 22:14 4.6K 
[ ]Bench_blasted_287_12..>2014-07-30 22:17 17K 
[ ]blockmap_05_01.net.cnf 2014-07-30 22:14 32K 
[ ]blockmap_05_02.net.cnf 2014-07-30 22:14 41K 
[ ]fs-01.net.cnf 2014-07-30 22:14 334  
[ ]lang12.cnf 2014-07-30 22:14 339K 
[ ]or-50-10-1-UC-20.cnf 2014-07-30 22:14 2.6K 
[ ]or-50-10-1-UC-30.cnf 2014-07-30 22:14 2.7K 
[ ]or-50-10-1-UC-40.cnf 2014-07-30 22:14 2.7K 
[ ]or-50-10-9-UC-40.cnf 2014-07-30 22:14 2.7K 
[ ]or-50-10-10-UC-20.cnf 2014-07-30 22:14 2.7K 
[ ]or-50-10-10-UC-30.cnf 2014-07-30 22:14 2.7K 
[ ]or-50-10-10-UC-40.cnf 2014-07-30 22:14 2.7K 
[ ]or-50-20-1-UC-40.cnf 2014-07-30 22:14 2.7K 
[ ]or-50-20-10-UC-30.cnf 2014-07-30 22:14 2.7K 
[ ]or-50-20-10-UC-40.cnf 2014-07-30 22:14 2.7K 
[ ]or-60-5-2-UC-40.cnf 2014-07-30 22:14 3.4K 
[ ]or-70-5-2-UC-30.cnf 2014-07-30 22:14 4.0K 
[ ]or-70-5-2-UC-40.cnf 2014-07-30 22:14 4.0K 
[ ]or-70-5-7-UC-30.cnf 2014-07-30 22:14 4.0K 
[ ]or-70-5-7-UC-40.cnf 2014-07-30 22:14 4.0K 
[ ]or-70-10-3-UC-30.cnf 2014-07-30 22:14 4.0K 
[ ]or-70-10-3-UC-40.cnf 2014-07-30 22:14 4.0K 
[ ]or-70-10-6-UC-30.cnf 2014-07-30 22:14 4.0K 
[ ]or-70-10-6-UC-40.cnf 2014-07-30 22:14 4.1K 
[ ]or-70-20-6-UC-40.cnf 2014-07-30 22:14 4.0K 
[ ]or-70-20-9-UC-30.cnf 2014-07-30 22:14 4.0K 
[ ]or-70-20-9-UC-40.cnf 2014-07-30 22:14 4.0K 
[ ]or-100-20-6-UC-60.cnf 2014-07-30 22:14 6.1K 
[ ]or-100-20-9-UC-50.cnf 2014-07-30 22:14 6.1K 
[ ]or-100-20-9-UC-60.cnf 2014-07-30 22:14 6.1K