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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]s27_7_4.cnf 2014-06-21 19:23 1.6K 
[ ]s27_new_7_4.cnf 2014-06-21 19:23 1.2K 
[ ]s298_7_4.cnf 2014-06-21 19:23 13K 
[ ]s344_7_4.cnf 2014-06-21 19:23 14K 
[ ]s349_7_4.cnf 2014-06-21 19:23 14K 
[ ]s382_7_4.cnf 2014-06-21 19:23 16K 
[ ]s420_7_4.cnf 2014-06-21 19:23 20K 
[ ]s420_new1_7_4.cnf 2014-06-21 19:23 20K 
[ ]s420_new_7_4.cnf 2014-06-21 19:23 20K 
[ ]s444_7_4.cnf 2014-06-21 19:23 18K 
[ ]s510_7_4.cnf 2014-06-21 19:23 21K 
[ ]s526_7_4.cnf 2014-06-21 19:23 22K 
[ ]s526a_7_4.cnf 2014-06-21 19:23 22K 
[ ]s641_7_4.cnf 2014-06-21 19:23 32K 
[ ]s713_7_4.cnf 2014-06-21 19:23 34K 
[ ]s820a_7_4.cnf 2014-06-21 19:23 35K 
[ ]s832a_7_4.cnf 2014-06-21 19:23 35K 
[ ]s838_7_4.cnf 2014-06-21 19:23 40K 
[ ]s953a_7_4.cnf 2014-06-21 19:23 36K 
[ ]s1196a_7_4.cnf 2014-06-21 19:23 49K 
[ ]s1238a_7_4.cnf 2014-06-21 19:23 48K 
[ ]s1423a_7_4.cnf 2014-06-21 19:23 57K 
[ ]s1488_7_4.cnf 2014-06-21 19:23 62K 
[ ]s5378a_7_4.cnf 2014-06-21 19:23 257K 
[ ]s9234a_7_4.cnf 2014-06-21 19:23 490K 
[ ]s13207a_7_4.cnf 2014-06-21 19:23 703K 
[ ]s15850a_7_4.cnf 2014-06-21 19:23 857K 
[ ]s35932_7_4.cnf 2014-06-21 19:23 1.6M 
[ ]s38417_7_4.cnf 2014-06-21 19:23 2.1M 
[ ]s38584_7_4.cnf 2014-06-21 19:23 1.9M