spiceserver -start
spiceserver -f ex1.in -o ex1.test.out -r ex1.test.raw
spiceserver -f ex2.in -o ex2.test.out -r ex2.test.raw
spiceserver -f ex3.in -o ex3.test.out -r ex3.test.raw
spiceserver -f ex4.in -o ex4.test.out -r ex4.test.raw
spiceserver -f ex5.in -o ex5.test.out -r ex5.test.raw
spiceserver -f ex6.in -o ex6.test.out -r ex6.test.raw
spiceserver -f ex7.in -o ex7.test.out -r ex7.test.raw
spiceserver -f ex8.in -o ex8.test.out -r ex8.test.raw
spiceserver -stop