Index of /~tch/notes/PSSAT/datasets/sc2002/generated/gen-1/gen-1.1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]unif-c500-v250-s453695930.cnf2021-07-13 15:47 7.0K 
[ ]unif-c500-v250-s673243691.cnf2021-07-13 15:47 7.0K 
[ ]unif-c500-v250-s1228594393.cnf2021-07-13 15:47 6.9K 
[ ]unif-c500-v250-s1560418558.cnf2021-07-13 15:47 6.9K 
[ ]unif-c500-v250-s1888225086.cnf2021-07-13 15:47 7.0K 
[ ]unif-c600-v300-s331972672.cnf2021-07-13 15:47 8.5K 
[ ]unif-c600-v300-s344542280.cnf2021-07-13 15:47 8.5K 
[ ]unif-c600-v300-s521126889.cnf2021-07-13 15:47 8.5K 
[ ]unif-c600-v300-s626782832.cnf2021-07-13 15:47 8.5K 
[ ]unif-c600-v300-s641082451.cnf2021-07-13 15:47 8.5K 
[ ]unif-c700-v350-s822102181.cnf2021-07-13 15:47 10K 
[ ]unif-c700-v350-s915690873.cnf2021-07-13 15:47 10K 
[ ]unif-c700-v350-s957783367.cnf2021-07-13 15:47 10K 
[ ]unif-c700-v350-s1335617777.cnf2021-07-13 15:47 10K 
[ ]unif-c700-v350-s2083492205.cnf2021-07-13 15:47 10K 
[ ]unif-c800-v400-s1071440103.cnf2021-07-13 15:47 12K 
[ ]unif-c800-v400-s1374493516.cnf2021-07-13 15:47 12K 
[ ]unif-c800-v400-s1765132120.cnf2021-07-13 15:47 11K 
[ ]unif-c800-v400-s1977008968.cnf2021-07-13 15:47 12K 
[ ]unif-c800-v400-s2089783139.cnf2021-07-13 15:47 12K 
[ ]unif-c900-v450-s531829070.cnf2021-07-13 15:47 13K 
[ ]unif-c900-v450-s912713254.cnf2021-07-13 15:47 13K 
[ ]unif-c900-v450-s1127802677.cnf2021-07-13 15:47 13K 
[ ]unif-c900-v450-s1604180397.cnf2021-07-13 15:47 13K 
[ ]unif-c900-v450-s1937786301.cnf2021-07-13 15:47 13K 
[ ]unif-c1000-v500-s421884056.cnf2021-07-13 15:47 15K 
[ ]unif-c1000-v500-s581298880.cnf2021-07-13 15:47 14K 
[ ]unif-c1000-v500-s1356655268.cnf2021-07-13 15:47 15K 
[ ]unif-c1000-v500-s1434891596.cnf2021-07-13 15:47 14K 
[ ]unif-c1000-v500-s1452658649.cnf2021-07-13 15:47 15K 
[ ]unif-c1200-v600-s351323111.cnf2021-07-13 15:47 18K 
[ ]unif-c1200-v600-s832656087.cnf2021-07-13 15:47 18K 
[ ]unif-c1200-v600-s1005658238.cnf2021-07-13 15:47 18K 
[ ]unif-c1200-v600-s1598900340.cnf2021-07-13 15:47 18K 
[ ]unif-c1200-v600-s1702653550.cnf2021-07-13 15:47 18K 
[ ]unif-c1300-v650-s425854131.cnf2021-07-13 15:47 19K 
[ ]unif-c1300-v650-s449214864.cnf2021-07-13 15:47 19K 
[ ]unif-c1300-v650-s848555749.cnf2021-07-13 15:47 19K 
[ ]unif-c1300-v650-s1538192595.cnf2021-07-13 15:47 19K 
[ ]unif-c1300-v650-s1730459513.cnf2021-07-13 15:47 19K 
[ ]unif-c1400-v700-s267242608.cnf2021-07-13 15:47 21K 
[ ]unif-c1400-v700-s1665674352.cnf2021-07-13 15:47 21K 
[ ]unif-c1400-v700-s1701432068.cnf2021-07-13 15:47 21K 
[ ]unif-c1400-v700-s1822569467.cnf2021-07-13 15:47 21K 
[ ]unif-c1400-v700-s2011787958.cnf2021-07-13 15:47 21K 
[ ]gen-1-1.tar.gzip2022-08-09 12:15 234K 
Apache/2.4.29 (Ubuntu) Server at users.cs.utah.edu Port 443