Index of /CS/Verification/Projects/UniGen/Benchmarks/V3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]s27_3_2.cnf 2014-06-21 19:23 1.2K 
[ ]s27_new_3_2.cnf 2014-06-21 19:23 1.1K 
[ ]s298_3_2.cnf 2014-06-21 19:23 11K 
[ ]s344_3_2.cnf 2014-06-21 19:23 13K 
[ ]s349_3_2.cnf 2014-06-21 19:23 13K 
[ ]s382_3_2.cnf 2014-06-21 19:23 15K 
[ ]s420_3_2.cnf 2014-06-21 19:23 19K 
[ ]s420_new1_3_2.cnf 2014-06-21 19:23 19K 
[ ]s420_new_3_2.cnf 2014-06-21 19:23 19K 
[ ]s444_3_2.cnf 2014-06-21 19:23 17K 
[ ]s510_3_2.cnf 2014-06-21 19:23 19K 
[ ]s526_3_2.cnf 2014-06-21 19:23 20K 
[ ]s526a_3_2.cnf 2014-06-21 19:23 20K 
[ ]s641_3_2.cnf 2014-06-21 19:23 31K 
[ ]s713_3_2.cnf 2014-06-21 19:23 32K 
[ ]s820a_3_2.cnf 2014-06-21 19:23 33K 
[ ]s832a_3_2.cnf 2014-06-21 19:23 34K 
[ ]s838_3_2.cnf 2014-06-21 19:23 39K 
[ ]s953a_3_2.cnf 2014-06-21 19:23 35K 
[ ]s1196a_3_2.cnf 2014-06-21 19:23 47K 
[ ]s1238a_3_2.cnf 2014-06-21 19:23 47K 
[ ]s1423a_3_2.cnf 2014-06-21 19:23 56K 
[ ]s1488_3_2.cnf 2014-06-21 19:23 61K 
[ ]s5378a_3_2.cnf 2014-06-21 19:23 256K 
[ ]s9234a_3_2.cnf 2014-06-21 19:23 489K 
[ ]s13207a_3_2.cnf 2014-06-21 19:23 702K 
[ ]s15850a_3_2.cnf 2014-06-21 19:23 856K 
[ ]s35932_3_2.cnf 2014-06-21 19:23 1.6M 
[ ]s38417_3_2.cnf 2014-06-21 19:23 2.1M 
[ ]s38584_3_2.cnf 2014-06-21 19:23 1.9M