Index of /~tch/notes/PSSAT/datasets/sc2002/generated/gen-1/gen-1.1
Name
Last modified
Size
Description
Parent Directory
-
unif-c1400-v700-s2011787958.cnf
2021-07-13 15:47
21K
unif-c1400-v700-s1822569467.cnf
2021-07-13 15:47
21K
unif-c1400-v700-s1701432068.cnf
2021-07-13 15:47
21K
unif-c1400-v700-s1665674352.cnf
2021-07-13 15:47
21K
unif-c1400-v700-s267242608.cnf
2021-07-13 15:47
21K
unif-c1300-v650-s1730459513.cnf
2021-07-13 15:47
19K
unif-c1300-v650-s1538192595.cnf
2021-07-13 15:47
19K
unif-c1300-v650-s848555749.cnf
2021-07-13 15:47
19K
unif-c1300-v650-s449214864.cnf
2021-07-13 15:47
19K
unif-c1300-v650-s425854131.cnf
2021-07-13 15:47
19K
unif-c1200-v600-s1702653550.cnf
2021-07-13 15:47
18K
unif-c1200-v600-s1598900340.cnf
2021-07-13 15:47
18K
unif-c1200-v600-s1005658238.cnf
2021-07-13 15:47
18K
unif-c1200-v600-s832656087.cnf
2021-07-13 15:47
18K
unif-c1200-v600-s351323111.cnf
2021-07-13 15:47
18K
unif-c1000-v500-s1452658649.cnf
2021-07-13 15:47
15K
unif-c1000-v500-s1434891596.cnf
2021-07-13 15:47
14K
unif-c1000-v500-s1356655268.cnf
2021-07-13 15:47
15K
unif-c1000-v500-s581298880.cnf
2021-07-13 15:47
14K
unif-c1000-v500-s421884056.cnf
2021-07-13 15:47
15K
unif-c900-v450-s1937786301.cnf
2021-07-13 15:47
13K
unif-c900-v450-s1604180397.cnf
2021-07-13 15:47
13K
unif-c900-v450-s1127802677.cnf
2021-07-13 15:47
13K
unif-c900-v450-s912713254.cnf
2021-07-13 15:47
13K
unif-c900-v450-s531829070.cnf
2021-07-13 15:47
13K
unif-c800-v400-s2089783139.cnf
2021-07-13 15:47
12K
unif-c800-v400-s1977008968.cnf
2021-07-13 15:47
12K
unif-c800-v400-s1765132120.cnf
2021-07-13 15:47
11K
unif-c800-v400-s1374493516.cnf
2021-07-13 15:47
12K
unif-c800-v400-s1071440103.cnf
2021-07-13 15:47
12K
unif-c700-v350-s2083492205.cnf
2021-07-13 15:47
10K
unif-c700-v350-s1335617777.cnf
2021-07-13 15:47
10K
unif-c700-v350-s957783367.cnf
2021-07-13 15:47
10K
unif-c700-v350-s915690873.cnf
2021-07-13 15:47
10K
unif-c700-v350-s822102181.cnf
2021-07-13 15:47
10K
unif-c600-v300-s641082451.cnf
2021-07-13 15:47
8.5K
unif-c600-v300-s626782832.cnf
2021-07-13 15:47
8.5K
unif-c600-v300-s521126889.cnf
2021-07-13 15:47
8.5K
unif-c600-v300-s344542280.cnf
2021-07-13 15:47
8.5K
unif-c600-v300-s331972672.cnf
2021-07-13 15:47
8.5K
unif-c500-v250-s1888225086.cnf
2021-07-13 15:47
7.0K
unif-c500-v250-s1560418558.cnf
2021-07-13 15:47
6.9K
unif-c500-v250-s1228594393.cnf
2021-07-13 15:47
6.9K
unif-c500-v250-s673243691.cnf
2021-07-13 15:47
7.0K
unif-c500-v250-s453695930.cnf
2021-07-13 15:47
7.0K
gen-1-1.tar.gzip
2022-08-09 12:15
234K
Apache/2.4.29 (Ubuntu) Server at users.cs.utah.edu Port 443