Index of /ai/benchmark-suite

	Name	Last modified	Size	Description
	Parent Directory		-
	2qbf.html	29-Oct-2001 12:13	1.6K
	2qbf3dnf.dl	29-Oct-2001 12:15	276
	10-bits	16-Aug-2001 10:37	240
	15-bits	16-Aug-2001 10:37	350
	15-puzzle.html	16-Aug-2001 11:08	1.9K
	15puzzle.sm	31-Aug-2001 15:35	1.8K
	16-data	13-Aug-2001 11:23	219
	17-data	13-Aug-2001 11:24	215
	18-data	13-Aug-2001 11:24	215
	19-data	13-Aug-2001 11:24	218
	20-bits	16-Aug-2001 10:37	440
	25-bits	16-Aug-2001 10:37	550
	30-bits	16-Aug-2001 10:37	640
	DES-data.tar	14-Aug-2001 13:15	70K
	README-DES.html	14-Aug-2001 13:12	1.3K
	deadlock-detection.html	16-Aug-2001 11:09	2.5K
	des.fig	13-Aug-2001 14:17	571
	des.fig.bak	13-Aug-2001 14:14	567
	des.html	14-Aug-2001 13:16	2.7K
	des.jpg	13-Aug-2001 14:22	6.0K
	dl.c	13-Aug-2001 10:53	280
	dl.d	13-Aug-2001 10:53	326
	duthen-990602.37	29-Aug-2001 14:19	1.0K
	duthen-990602.37.txt	29-Aug-2001 14:35	70
	duthen-990602.48	29-Aug-2001 14:23	864
	duthen-990602.48.txt	29-Aug-2001 14:35	54
	duthen-990602.51	29-Aug-2001 14:26	845
	duthen-990602.51.txt	29-Aug-2001 14:35	70
	factoring.html	16-Aug-2001 11:09	2.2K
	h-out.tex	31-Aug-2001 15:20	49K
	ham-cyc.sm	31-Aug-2001 15:24	732
	hamiltonian-cycle.html	06-Sep-2001 16:55	1.8K
	n-queens.html	16-Aug-2001 11:53	1.1K
	nqueens.sm	31-Aug-2001 15:32	549
	oo	31-Aug-2001 15:24	0
	original.1	29-Aug-2001 14:29	2.2K
	original.1.txt	29-Aug-2001 14:36	164
	planning.html	13-Aug-2001 15:25	2.3K
	qbf1.edb	29-Oct-2001 11:56	1.8K
	qbf2.edb	16-Sep-2001 20:24	33K
	qbf3.edb	16-Sep-2001 20:24	33K
	qbf4.edb	16-Sep-2001 20:24	224K
	qbf5.edb	16-Sep-2001 20:24	26K
	qbf6.edb	16-Sep-2001 20:24	16K
	qbf7.edb	16-Sep-2001 20:24	3.1K
	qbf8.edb	16-Sep-2001 20:24	2.5K
	qbf9.edb	16-Sep-2001 20:24	1.8K
	qbf10.edb	16-Sep-2001 20:24	1.8K
	qbfdatasets.tar	29-Oct-2001 11:47	700K
	ramsey45.html	16-Aug-2001 12:50	2.7K
	reachability.html	07-Sep-2001 08:51	1.5K
	reachability_data.tar.gz	07-Sep-2001 08:45	83K
	reachable.dl	07-Sep-2001 08:47	75
	same-generation.html	16-Aug-2001 11:11	1.0K
	schur.html	16-Aug-2001 12:54	1.2K
	schur.sm	31-Aug-2001 15:29	928
	sokoban-lpnmr.tar	31-Aug-2001 15:00	40K
	sokoban.dl	29-Aug-2001 13:46	2.3K
	sokoban.html	31-Aug-2001 15:11	6.6K
	sokoban2facts.tcl	29-Aug-2001 14:30	6.3K
	split-puzzles	29-Aug-2001 15:19	268
	split-puzzles.awk	29-Aug-2001 15:19	326
	stratcomp-250.a.gz	05-Sep-2001 15:09	6.7K
	stratcomp-250.b.gz	05-Sep-2001 15:09	6.7K
	stratcomp-1000.a.gz	05-Sep-2001 15:09	30K
	stratcomp-1000.b.gz	05-Sep-2001 15:09	30K
	stratcomp-2500.a.gz	05-Sep-2001 15:09	80K
	stratcomp-2500.b.gz	05-Sep-2001 15:09	80K
	stratcomp-6500.a.gz	05-Sep-2001 15:09	221K
	stratcomp-6500.b.gz	05-Sep-2001 15:09	221K
	stratcomp-9500.a.gz	05-Sep-2001 15:09	330K
	stratcomp-9500.b.gz	05-Sep-2001 15:09	329K
	stratcomp.dl	05-Sep-2001 15:09	164
	stratcomp.sm2	05-Sep-2001 15:09	178
	stratcomp.zip	05-Sep-2001 15:09	1.3M
	strategic-companies.html	05-Sep-2001 15:20	2.8K
	towers-of-hanoi.html	16-Aug-2001 11:52	1.2K
	vertex-cover.html	16-Aug-2001 16:03	1.7K
	vtx-cov.sm	31-Aug-2001 15:27	466
	yoshio-auto.5	29-Aug-2001 13:46	1.0K
	yoshio-auto.5.txt	29-Aug-2001 14:34	72
	yoshio-auto.6	29-Aug-2001 13:55	825
	yoshio-auto.6.txt	29-Aug-2001 14:34	72
	yoshio-auto.7	29-Aug-2001 13:58	1.0K
	yoshio-auto.7.txt	29-Aug-2001 14:34	72
	yoshio-auto.28	29-Aug-2001 14:06	1.0K
	yoshio-auto.28.txt	29-Aug-2001 14:35	72
	yoshio-auto.35	29-Aug-2001 14:09	875
	yoshio-auto.35.txt	29-Aug-2001 14:35	72
	yoshio-auto.51	29-Aug-2001 14:13	1.0K
	yoshio-auto.51.txt	29-Aug-2001 14:35	72