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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]scenarios_treemax.sb..>2014-07-30 22:14 1.8M 
[ ]or-70-20-9-UC-40.cnf 2014-07-30 22:14 4.0K 
[ ]or-70-20-6-UC-40.cnf 2014-07-30 22:14 4.0K 
[ ]or-50-10-10-UC-30.cnf 2014-07-30 22:14 2.7K 
[TXT]enqueueSeqSK.sk_10_4..>2014-07-30 22:14 931K 
[TXT]blasted_case_2_b12_2..>2014-07-30 22:14 36K 
[TXT]sort.sk_8_52.cnf 2014-07-30 22:14 803K 
[ ]s1238a_7_4.cnf 2014-07-30 22:14 48K 
[ ]s1238a_3_2.cnf 2014-07-30 22:14 47K 
[ ]s1196a_3_2.cnf 2014-07-30 22:14 47K 
[ ]s953a_3_2.cnf 2014-07-30 22:14 35K 
[ ]s526a_3_2.cnf 2014-07-30 22:14 20K 
[ ]s526_3_2.cnf 2014-07-30 22:14 20K 
[ ]or-100-20-9-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-6-UC-60.cnf 2014-07-30 22:14 6.1K 
[ ]or-70-20-9-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-10-6-UC-30.cnf 2014-07-30 22:14 4.0K 
[ ]or-70-10-3-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-5-7-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-2-UC-30.cnf 2014-07-30 22:14 4.0K 
[ ]or-50-20-1-UC-40.cnf 2014-07-30 22:14 2.7K 
[ ]or-50-10-10-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-9-UC-40.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-1-UC-30.cnf 2014-07-30 22:14 2.7K 
[ ]or-50-10-1-UC-20.cnf 2014-07-30 22:14 2.6K 
[ ]lang12.cnf 2014-07-30 22:14 339K 
[ ]fs-01.net.cnf 2014-07-30 22:14 334  
[ ]blockmap_05_02.net.cnf 2014-07-30 22:14 41K 
[ ]blockmap_05_01.net.cnf 2014-07-30 22:14 32K 
[TXT]blasted_squaring14.cnf 2014-07-30 22:14 70K 
[TXT]blasted_squaring12.cnf 2014-07-30 22:14 73K 
[TXT]blasted_squaring10.cnf 2014-07-30 22:14 49K 
[TXT]blasted_squaring9.cnf 2014-07-30 22:14 71K 
[TXT]blasted_squaring8.cnf 2014-07-30 22:14 49K 
[TXT]blasted_squaring7.cnf 2014-07-30 22:14 84K 
[TXT]blasted_case_1_b11_1..>2014-07-30 22:14 13K 
[TXT]blasted_case121.cnf 2014-07-30 22:14 13K 
[TXT]blasted_case35.cnf 2014-07-30 22:14 19K 
[TXT]ProjectService3.sk_1..>2014-07-30 22:14 153K 
[TXT]ProcessBean.sk_8_64.cnf2014-07-30 22:14 199K 
[ ]5step.cnf 2014-07-30 22:14 4.6K 
[ ]scenarios_llreverse...>2014-07-30 22:14 4.6M 
[ ]s1238a_15_7.cnf 2014-07-30 22:14 52K 
[ ]s1196a_15_7.cnf 2014-07-30 22:14 52K 
[ ]s1196a_7_4.cnf 2014-07-30 22:14 48K 
[ ]s526_15_7.cnf 2014-07-30 22:14 25K 
[ ]or-70-10-3-UC-40.cnf 2014-07-30 22:14 4.0K 
[ ]or-60-5-2-UC-40.cnf 2014-07-30 22:14 3.4K 
[ ]or-50-20-10-UC-40.cnf 2014-07-30 22:14 2.7K 
[ ]or-50-20-10-UC-30.cnf 2014-07-30 22:14 2.7K 
[TXT]karatsuba.sk_7_41.cnf 2014-07-30 22:14 1.4M 
[TXT]blasted_squaring16.cnf 2014-07-30 22:14 84K 
[TXT]blasted_squaring1.cnf 2014-07-30 22:14 37K 
[TXT]LoginService2.sk_23_..>2014-07-30 22:14 615K