Index of /home/malb/m4ri-scripts

	Name	Last modified	Size	Description
	Parent Directory		-
	Examples/	07-Jan-2009 06:52	-
	check_heuristic.py	17-Jul-2009 08:44	574
	max_memory_usage.py	21-Dec-2008 06:24	566
	opeval.py	01-Nov-2009 07:37	851
	performance_regression.py	01-Nov-2009 07:37	5.8K
	pluq-benchmarketing-scaled.py	01-Nov-2009 07:37	1.1K
	pluq-benchmarketing.py	01-Nov-2009 07:37	1.2K
	release_m4ri.py	01-Nov-2009 07:37	620
	run-elim-magma.py	01-Nov-2009 07:37	526
	run-elim-sparse.py	01-Nov-2009 07:37	556
	run-elim.py	01-Nov-2009 07:37	467
	run-magma.py	01-Nov-2009 07:37	560
	run.py	01-Nov-2009 07:37	494
	timings-20090617.sobj	01-Nov-2009 10:17	682
	timings-20091101.sobj	01-Nov-2009 16:04	645
	timings.sobj	31-Oct-2009 14:04	517