check	./spec/jvm98/check/classes/sootOutput-full	spec.benchmarks._200_check.Main	--property=sablevm.boot.class.path=/home/2000/cpicke/spmt/benchmarks/spec/jvm98/check/classes/sootOutput-full/
compress	./spec/jvm98/compress/classes/sootOutput-full	spec.benchmarks._201_compress.Main	--property=sablevm.boot.class.path=/home/2000/cpicke/spmt/benchmarks/spec/jvm98/compress/classes/sootOutput-full/
db	./spec/jvm98/db/classes/sootOutput-full	spec.benchmarks._209_db.Main	--property=sablevm.boot.class.path=/home/2000/cpicke/spmt/benchmarks/spec/jvm98/db/classes/sootOutput-full/
jack	./spec/jvm98/jack/classes/sootOutput-full	spec.benchmarks._228_jack.Main	--property=sablevm.boot.class.path=/home/2000/cpicke/spmt/benchmarks/spec/jvm98/jack/classes/sootOutput-full/
javac	./spec/jvm98/javac/classes/sootOutput-full	spec.benchmarks._213_javac.Main	--property=sablevm.boot.class.path=/home/2000/cpicke/spmt/benchmarks/spec/jvm98/javac/classes/sootOutput-full/
jess	./spec/jvm98/jess/classes/sootOutput-full	spec.benchmarks._202_jess.Main	--property=sablevm.boot.class.path=/home/2000/cpicke/spmt/benchmarks/spec/jvm98/jess/classes/sootOutput-full/
mpegaudio	./spec/jvm98/mpegaudio/classes/sootOutput-full	spec.benchmarks._222_mpegaudio.Main	--property=sablevm.boot.class.path=/home/2000/cpicke/spmt/benchmarks/spec/jvm98/mpegaudio/classes/sootOutput-full/
mtrt	./spec/jvm98/mtrt/classes/sootOutput-full	spec.benchmarks._227_mtrt.Main	--property=sablevm.boot.class.path=/home/2000/cpicke/spmt/benchmarks/spec/jvm98/mtrt/classes/sootOutput-full/
raytrace	./spec/jvm98/raytrace/classes/sootOutput-full	spec.benchmarks._205_raytrace.Main	--property=sablevm.boot.class.path=/home/2000/cpicke/spmt/benchmarks/spec/jvm98/raytrace/classes/sootOutput-full/