Index of /pub/challenge/sat/contributed/UCSC/instances/cnf-ssa

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]README1993-07-09 16:31 2.7K 
[   ]ssa0432-001.cnf.Z1993-07-06 22:43 4.8K 
[   ]ssa0432-002.cnf.Z1993-07-06 22:43 4.8K 
[   ]ssa0432-003.cnf.Z1993-07-06 22:44 4.8K 
[   ]ssa0432-004.cnf.Z1993-07-06 22:44 4.8K 
[   ]ssa0432-011.cnf.Z1993-07-06 22:46 4.8K 
[   ]ssa0432-014.cnf.Z1993-07-06 22:47 4.7K 
[   ]ssa0432-015.cnf.Z1993-07-06 22:47 4.8K 
[   ]ssa2670-127.cnf.Z1993-06-29 06:25 16K 
[   ]ssa2670-128.cnf.Z1993-06-29 06:54 17K 
[   ]ssa2670-129.cnf.Z1993-06-29 07:26 16K 
[   ]ssa2670-130.cnf.Z1993-06-29 08:05 17K 
[   ]ssa2670-131.cnf.Z1993-06-29 08:39 16K 
[   ]ssa2670-132.cnf.Z1993-06-29 09:18 16K 
[   ]ssa2670-133.cnf.Z1993-06-29 09:56 16K 
[   ]ssa2670-134.cnf.Z1993-06-29 10:26 16K 
[   ]ssa2670-136.cnf.Z1993-06-29 16:19 16K 
[   ]ssa2670-139.cnf.Z1993-06-29 11:15 16K 
[   ]ssa2670-140.cnf.Z1993-06-29 11:48 16K 
[   ]ssa2670-141.cnf.Z1993-06-29 16:39 11K 
[   ]ssa6288-001.cnf.Z1993-06-29 11:31 212K 
[   ]ssa6288-047.cnf.Z1993-06-29 11:54 212K 
[   ]ssa6288-048.cnf.Z1993-06-29 11:55 212K 
[   ]ssa7552-001.cnf.Z1993-07-02 00:20 18K 
[   ]ssa7552-002.cnf.Z1993-07-02 00:29 18K 
[   ]ssa7552-021.cnf.Z1993-07-02 01:05 18K 
[   ]ssa7552-032.cnf.Z1993-07-02 01:32 18K 
[   ]ssa7552-037.cnf.Z1993-07-02 23:38 17K 
[   ]ssa7552-038.cnf.Z1993-07-03 19:20 17K 
[   ]ssa7552-039.cnf.Z1993-07-04 15:18 17K 
[   ]ssa7552-040.cnf.Z1993-07-07 23:07 17K 
[   ]ssa7552-042.cnf.Z1993-07-07 23:07 17K 
[   ]ssa7552-043.cnf.Z1993-07-07 23:07 18K 
[   ]ssa7552-044.cnf.Z1993-07-07 23:08 17K 
[   ]ssa7552-045.cnf.Z1993-07-07 23:08 17K 
[   ]ssa7552-046.cnf.Z1993-07-07 23:08 17K 
[   ]ssa7552-047.cnf.Z1993-07-07 23:08 17K 
[   ]ssa7552-048.cnf.Z1993-07-07 23:08 17K 
[   ]ssa7552-049.cnf.Z1993-07-07 23:08 17K 
[   ]ssa7552-050.cnf.Z1993-07-07 23:09 17K 
[   ]ssa7552-051.cnf.Z1993-07-07 23:09 17K 
[   ]ssa7552-052.cnf.Z1993-07-07 23:09 17K 
[   ]ssa7552-053.cnf.Z1993-07-07 23:09 18K 
[   ]ssa7552-054.cnf.Z1993-07-07 23:09 16K 
[   ]ssa7552-055.cnf.Z1993-07-07 23:09 17K 
[   ]ssa7552-058.cnf.Z1993-07-07 23:10 18K 
[   ]ssa7552-059.cnf.Z1993-07-07 23:10 17K 
[   ]ssa7552-060.cnf.Z1993-07-07 23:10 17K 
[   ]ssa7552-061.cnf.Z1993-07-07 23:10 17K 
[   ]ssa7552-062.cnf.Z1993-07-07 23:10 17K 
[   ]ssa7552-063.cnf.Z1993-07-07 23:11 16K 
[   ]ssa7552-064.cnf.Z1993-07-07 23:11 17K 
[   ]ssa7552-065.cnf.Z1993-07-07 23:11 17K 
[   ]ssa7552-066.cnf.Z1993-07-07 23:11 17K 
[   ]ssa7552-067.cnf.Z1993-07-07 23:12 16K 
[   ]ssa7552-074.cnf.Z1993-07-07 23:12 17K 
[   ]ssa7552-075.cnf.Z1993-07-07 23:12 16K 
[   ]ssa7552-076.cnf.Z1993-07-07 23:12 16K 
[   ]ssa7552-077.cnf.Z1993-07-07 23:13 16K 
[   ]ssa7552-080.cnf.Z1993-07-07 23:13 18K 
[   ]ssa7552-081.cnf.Z1993-07-07 23:13 18K 
[   ]ssa7552-082.cnf.Z1993-07-07 23:13 16K 
[   ]ssa7552-083.cnf.Z1993-07-07 23:14 16K 
[   ]ssa7552-084.cnf.Z1993-07-07 23:14 16K 
[   ]ssa7552-085.cnf.Z1993-07-07 23:14 17K 
[   ]ssa7552-090.cnf.Z1993-07-07 23:15 18K 
[   ]ssa7552-091.cnf.Z1993-07-06 22:57 16K 
[   ]ssa7552-092.cnf.Z1993-07-06 22:59 16K 
[   ]ssa7552-093.cnf.Z1993-07-06 23:00 16K 
[   ]ssa7552-094.cnf.Z1993-07-06 23:02 17K 
[   ]ssa7552-095.cnf.Z1993-07-06 23:03 16K 
[   ]ssa7552-096.cnf.Z1993-07-06 23:04 17K 
[   ]ssa7552-098.cnf.Z1993-07-06 23:05 19K 
[   ]ssa7552-102.cnf.Z1993-07-06 23:11 18K 
[   ]ssa7552-103.cnf.Z1993-07-06 23:12 17K 
[   ]ssa7552-104.cnf.Z1993-07-06 23:14 17K 
[   ]ssa7552-106.cnf.Z1993-07-06 23:16 17K 
[   ]ssa7552-107.cnf.Z1993-07-06 23:18 17K 
[   ]ssa7552-108.cnf.Z1993-07-06 23:20 17K 
[   ]ssa7552-109.cnf.Z1993-07-06 23:21 17K 
[   ]ssa7552-110.cnf.Z1993-07-06 23:23 17K 
[   ]ssa7552-111.cnf.Z1993-07-06 23:25 17K 
[   ]ssa7552-112.cnf.Z1993-07-06 23:26 16K 
[   ]ssa7552-113.cnf.Z1993-07-06 23:29 18K 
[   ]ssa7552-114.cnf.Z1993-07-06 23:31 17K 
[   ]ssa7552-115.cnf.Z1993-07-06 23:32 17K 
[   ]ssa7552-116.cnf.Z1993-07-06 23:34 17K 
[   ]ssa7552-117.cnf.Z1993-07-06 23:36 17K 
[   ]ssa7552-118.cnf.Z1993-07-06 23:37 17K 
[   ]ssa7552-119.cnf.Z1993-07-06 23:39 15K 
[   ]ssa7552-121.cnf.Z1993-07-06 23:42 17K 
[   ]ssa7552-124.cnf.Z1993-07-06 23:49 23K 
[   ]ssa7552-125.cnf.Z1993-07-06 23:52 17K 
[   ]ssa7552-126.cnf.Z1993-07-06 23:54 17K 
[   ]ssa7552-127.cnf.Z1993-07-06 23:56 15K 
[   ]ssa7552-128.cnf.Z1993-07-06 23:59 16K 
[   ]ssa7552-129.cnf.Z1993-07-07 00:01 15K 
[   ]ssa7552-130.cnf.Z1993-07-07 00:02 15K 
[   ]ssa7552-131.cnf.Z1993-07-07 00:04 16K 
[   ]ssa7552-132.cnf.Z1993-07-07 00:06 16K 
[   ]ssa7552-156.cnf.Z1993-07-07 00:20 16K 
[   ]ssa7552-157.cnf.Z1993-07-07 00:22 17K 
[   ]ssa7552-160.cnf.Z1993-07-07 00:25 15K 

Apache/2.4.10 (Debian) Server at archive.dimacs.rutgers.edu Port 80