Index of /archive/pub/challenge/satisfiability/contributed/UCSC/instances/cnf-ssa

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