Index of /~rahn/loop/src/data

	Name	Last modified	Size	Description
	Parent Directory		-
	big.prog/	10-Mar-2009 10:42	-
	closed/	10-Mar-2009 10:43	-
	fam.0 00 0^n 0101 0001 10 101 1/	07-Apr-2006 12:15	-
	fams/	10-Mar-2009 10:43	-
	ppm/	10-Jul-2006 14:33	-
	0 001 001 1 10 0.proof	29-Jun-2007 15:48	128K
	0 001 001 1 10 0.revhull	29-Jun-2007 15:30	128K
	Makefile	30-Jan-2006 10:51	1.0K
	big	28-Jul-2008 13:41	273K
	hard200	03-Mar-2005 13:45	4.9K
	interesting.3.3	03-Mar-2005 13:45	399
	interesting.3.4.bz2	03-Mar-2005 13:45	2.7K
	interesting.3.5.bz2	02-Apr-2005 19:34	27K
	interesting.4.3.bz2	03-Mar-2005 13:45	17K
	interesting.4.4.bz2	17-Jun-2005 00:53	4.0M
	minus.interesting.zhao.3.3	03-Mar-2005 13:45	16
	minus.interesting.zhao.3.4	03-Mar-2005 13:45	269
	minus.interesting.zhao.4.3	03-Mar-2005 13:45	7.9K
	minus.interesting.zhao.4.3.No_Solution	03-Mar-2005 13:45	77
	minus.zhao.interesting.3.3	03-Mar-2005 13:45	201
	minus.zhao.interesting.3.4	03-Mar-2005 13:45	48K
	minus.zhao.interesting.4.3	03-Mar-2005 13:45	196K
	one_block	09-Apr-2008 14:56	1.5K
	open.3.3	03-Mar-2005 13:45	17
	open.3.4	03-Mar-2005 13:45	7.4K
	open.3.4.eval	21-Aug-2007 12:21	13K
	open.3.4.new	21-Aug-2007 12:24	4.7K
	open.3.4.new.groupable	16-Apr-2008 10:39	3.0K
	open.3.4.new.not_groupable	16-Apr-2008 10:40	4.1K
	open.3.4.new.pattern.2	16-Apr-2008 10:54	359K
	open.3.4.new.pattern.2.checked	16-Apr-2008 16:25	19K
	open.3.4.new.pattern.2.insts	16-Apr-2008 16:29	516
	open.3.4.new.post.pattern.2	16-Apr-2008 16:30	3.6K
	open.3.4.new.post.pattern.2.depref	18-Apr-2008 14:39	17K
	open.3.5	19-Jul-2005 16:31	78K
	open.3.5.eval	23-Aug-2007 01:58	134K
	open.3.5.new	24-Aug-2007 11:59	49K
	open.3.5.new.groupable	16-Apr-2008 10:39	69K
	open.3.5.new.not_groupable	16-Apr-2008 10:41	32K
	open.3.5.new.not_groupable.depref	18-Apr-2008 16:04	154K
	open.4.3	03-Mar-2005 13:45	70K
	open.4.3.eval	22-Aug-2007 21:24	117K
	open.4.3.new	24-Aug-2007 11:59	42K
	open.4.3.new.de_pref	11-Jun-2008 17:04	147K
	proof.3.3.tar.bz2	06-Apr-2006 15:50	18K
	proof.3.3.verify	04-Apr-2005 14:26	6.6K
	proof.3.4.tar.bz2	06-Apr-2006 15:51	242K
	proof.3.4.verify	04-Apr-2005 14:27	193K
	proof.3.5.tar.bz2	06-Apr-2006 15:51	2.3M
	proof.3.5.verify	04-Apr-2005 15:05	2.0M
	proof.4.3.tar.bz2	06-Apr-2006 15:52	1.5M
	proof.4.3.verify	16-Mar-2005 12:03	1.1M
	proof.4.4.tar.bz2	07-Apr-2006 11:59	306M
	proof.4.4.verify.bz2	08-Apr-2006 10:12	3.8M
	rest0.3.3	03-Mar-2005 13:45	84
	rest0.3.4	04-Apr-2005 14:33	7.8K
	rest0.3.5	04-Apr-2005 14:50	82K
	rest0.3.5.Closed	01-Apr-2005 16:22	425
	rest0.3.5.Eval.out.bz2	04-Apr-2005 14:46	330K
	rest0.3.5.Solution	01-Apr-2005 16:23	3.6K
	rest0.3.5.Solution.Eval.out	01-Apr-2005 16:39	53K
	rest0.4.3	03-Mar-2005 13:45	80K
	rest0.4.4	31-Oct-2006 14:04	23M
	rest0.4.4.Closed	31-Oct-2006 15:02	99K
	rest0.4.4.Closed.Sizes	06-Nov-2006 12:59	229K
	rest0.4.4.Eval.out.bz2	31-Oct-2006 14:44	65M
	rest0.4.4.Solution	31-Oct-2006 14:55	1.2M
	rest0.4.4.Solution.Eval.out	03-Nov-2006 10:56	17M
	rest1.3.3	03-Mar-2005 13:45	68
	rest1.3.4	03-Mar-2005 13:45	7.6K
	rest1.3.4.No_Solution	03-Mar-2005 13:45	153
	rest1.3.4.Solution	03-Mar-2005 13:45	37
	rest1.3.4.Solution.Eval.out	23-Mar-2006 13:50	1.2K
	rest1.4.3	03-Mar-2005 13:45	72K
	rest1.4.3.No_Solution	03-Mar-2005 13:45	255
	rest1.4.3.Solution	03-Mar-2005 13:45	1.7K
	rest1.4.3.Solution.Eval.out	03-Mar-2005 13:45	32K
	rest1.4.4	31-Oct-2006 16:21	22M
	rest1.4.4.SmallLang	02-Nov-2006 20:06	61M
	rest2.4.4	03-Nov-2006 09:34	19M
	rest2.4.4.BetterEval.out	08-Nov-2006 09:11	131M
	rest2.4.4.Closed	08-Nov-2006 09:50	33K
	rest2.4.4.Solution	08-Nov-2006 09:45	1.3K
	rest2.4.4.Solution.Eval.out	08-Nov-2006 09:48	16K
	rest3.4.4	08-Nov-2006 10:06	14M
	rest3.4.4.group	24-Apr-2008 10:09	61M
	rest3.4.4.groupable	24-Apr-2008 10:13	102K
	rest3.4.4.not_groupable	24-Apr-2008 10:11	14M
	rest3.4.4.not_groupable.depref	14-Jun-2008 08:54	12M
	some.insts	23-Apr-2008 16:18	1.2M
	some.sols	09-Apr-2008 14:20	6.4M
	test34	25-Nov-2008 16:20	3.3K
	zhao.3.3	03-Mar-2005 13:45	584
	zhao.3.4	03-Mar-2005 13:45	68K
	zhao.4.3	03-Mar-2005 13:45	344K