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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]s27_15_7.cnf 2014-06-21 19:23 2.2K 
[ ]s27_new_15_7.cnf 2014-06-21 19:23 1.5K 
[ ]s298_15_7.cnf 2014-06-21 19:23 17K 
[ ]s344_15_7.cnf 2014-06-21 19:23 19K 
[ ]s349_15_7.cnf 2014-06-21 19:23 19K 
[ ]s382_15_7.cnf 2014-06-21 19:23 21K 
[ ]s420_15_7.cnf 2014-06-21 19:23 23K 
[ ]s420_new1_15_7.cnf 2014-06-21 19:23 23K 
[ ]s420_new_15_7.cnf 2014-06-21 19:23 23K 
[ ]s444_15_7.cnf 2014-06-21 19:23 23K 
[ ]s510_15_7.cnf 2014-06-21 19:23 22K 
[ ]s526_15_7.cnf 2014-06-21 19:23 26K 
[ ]s526a_15_7.cnf 2014-06-21 19:23 26K 
[ ]s641_15_7.cnf 2014-06-21 19:23 36K 
[ ]s713_15_7.cnf 2014-06-21 19:23 38K 
[ ]s820a_15_7.cnf 2014-06-21 19:23 39K 
[ ]s832a_15_7.cnf 2014-06-21 19:23 39K 
[ ]s838_15_7.cnf 2014-06-21 19:23 45K 
[ ]s953a_15_7.cnf 2014-06-21 19:23 41K 
[ ]s1196a_15_7.cnf 2014-06-21 19:23 53K 
[ ]s1238a_15_7.cnf 2014-06-21 19:23 53K 
[ ]s1423a_15_7.cnf 2014-06-21 19:23 61K 
[ ]s1488_15_7.cnf 2014-06-21 19:23 67K 
[ ]s5378a_15_7.cnf 2014-06-21 19:23 262K 
[ ]s9234a_15_7.cnf 2014-06-21 19:23 495K 
[ ]s13207a_15_7.cnf 2014-06-21 19:23 708K 
[ ]s15850a_15_7.cnf 2014-06-21 19:23 863K 
[ ]s35932_15_7.cnf 2014-06-21 19:23 1.6M 
[ ]s38417_15_7.cnf 2014-06-21 19:23 2.1M 
[ ]s38584_15_7.cnf 2014-06-21 19:23 1.9M