Index of /project/akt/work/stuart/ALC/QBFCNF

	Name	Last modified	Size	Description
	p-qbf-cnf-K4-C10-V4-D4.1	1999-09-28 13:59	86K
	p-qbf-cnf-K4-C10-V4-D4.2	1999-09-28 13:59	79K
	p-qbf-cnf-K4-C10-V4-D4.3	1999-09-28 13:59	85K
	p-qbf-cnf-K4-C10-V4-D4.4	1999-09-28 13:59	80K
	p-qbf-cnf-K4-C10-V4-D6.1	1999-09-28 16:13	182K
	p-qbf-cnf-K4-C10-V4-D6.2	1999-09-28 16:13	173K
	p-qbf-cnf-K4-C10-V4-D6.3	1999-09-28 16:13	170K
	p-qbf-cnf-K4-C10-V4-D6.4	1999-09-28 16:13	184K
	p-qbf-cnf-K4-C10-V8-D4.1	1999-09-28 14:00	352K
	p-qbf-cnf-K4-C10-V8-D4.2	1999-09-28 14:00	315K
	p-qbf-cnf-K4-C10-V8-D4.3	1999-09-28 14:00	339K
	p-qbf-cnf-K4-C10-V8-D4.4	1999-09-28 14:00	394K
	p-qbf-cnf-K4-C10-V8-D6.1	1999-09-28 16:14	784K
	p-qbf-cnf-K4-C10-V8-D6.2	1999-09-28 16:15	659K
	p-qbf-cnf-K4-C10-V8-D6.3	1999-09-28 16:15	853K
	p-qbf-cnf-K4-C10-V8-D6.4	1999-09-28 16:16	849K
	p-qbf-cnf-K4-C10-V16-D4.1	1999-09-28 14:03	1.5M
	p-qbf-cnf-K4-C10-V16-D4.2	1999-09-28 14:05	1.7M
	p-qbf-cnf-K4-C10-V16-D4.3	1999-09-28 14:07	1.6M
	p-qbf-cnf-K4-C10-V16-D4.4	1999-09-28 14:10	1.9M
	p-qbf-cnf-K4-C10-V16-D6.1	1999-09-28 16:24	2.9M
	p-qbf-cnf-K4-C10-V16-D6.2	1999-09-28 16:32	3.6M
	p-qbf-cnf-K4-C10-V16-D6.3	1999-09-28 16:39	3.4M
	p-qbf-cnf-K4-C10-V16-D6.4	1999-09-28 16:44	3.0M
	p-qbf-cnf-K4-C20-V4-D4.1	1999-09-28 14:19	98K
	p-qbf-cnf-K4-C20-V4-D4.2	1999-09-28 14:19	97K
	p-qbf-cnf-K4-C20-V4-D4.3	1999-09-28 14:19	97K
	p-qbf-cnf-K4-C20-V4-D4.4	1999-09-28 14:19	91K
	p-qbf-cnf-K4-C20-V4-D6.1	1999-09-28 17:13	216K
	p-qbf-cnf-K4-C20-V4-D6.2	1999-09-28 17:13	211K
	p-qbf-cnf-K4-C20-V4-D6.3	1999-09-28 17:13	219K
	p-qbf-cnf-K4-C20-V4-D6.4	1999-09-28 17:13	226K
	p-qbf-cnf-K4-C20-V8-D4.1	1999-09-28 14:19	499K
	p-qbf-cnf-K4-C20-V8-D4.2	1999-09-28 14:19	494K
	p-qbf-cnf-K4-C20-V8-D4.3	1999-09-28 14:20	537K
	p-qbf-cnf-K4-C20-V8-D4.4	1999-09-28 14:20	554K
	p-qbf-cnf-K4-C20-V8-D6.1	1999-09-28 17:14	1.0M
	p-qbf-cnf-K4-C20-V8-D6.2	1999-09-28 17:16	1.1M
	p-qbf-cnf-K4-C20-V8-D6.3	1999-09-28 17:17	1.2M
	p-qbf-cnf-K4-C20-V8-D6.4	1999-09-28 17:18	1.0M
	p-qbf-cnf-K4-C20-V16-D4.1	1999-09-28 14:27	2.6M
	p-qbf-cnf-K4-C20-V16-D4.2	1999-09-28 14:33	2.8M
	p-qbf-cnf-K4-C20-V16-D4.3	1999-09-28 14:38	2.6M
	p-qbf-cnf-K4-C20-V16-D4.4	1999-09-28 14:44	2.6M
	p-qbf-cnf-K4-C30-V4-D4.1	1999-09-28 15:03	104K
	p-qbf-cnf-K4-C30-V4-D4.2	1999-09-28 15:03	105K
	p-qbf-cnf-K4-C30-V4-D4.3	1999-09-28 15:03	103K
	p-qbf-cnf-K4-C30-V4-D4.4	1999-09-28 15:03	105K
	p-qbf-cnf-K4-C30-V8-D4.1	1999-09-28 15:04	572K
	p-qbf-cnf-K4-C30-V8-D4.2	1999-09-28 15:04	542K
	p-qbf-cnf-K4-C30-V8-D4.3	1999-09-28 15:05	594K
	p-qbf-cnf-K4-C30-V8-D4.4	1999-09-28 15:05	579K
	p-qbf-cnf-K4-C30-V16-D4.1	1999-09-28 15:17	3.7M
	p-qbf-cnf-K4-C30-V16-D4.2	1999-09-28 15:25	3.2M
	p-qbf-cnf-K4-C30-V16-D4.3	1999-09-28 15:32	3.2M
	p-qbf-cnf-K4-C30-V16-D4.4	1999-09-28 15:40	3.2M