smv.nu -cp 5000 -v 1 -f -abs 2 w1.smv
smv.nu -cp 5000 -v 1 -f -abs 2 w2.smv
smv.nu -cp 5000 -v 1 -f -abs 2 w3.smv
smv.nu -cp 5000 -v 1 -f -abs 2 w4.smv

