3 for i in 4 6 8 10 12 14 16 18 20
7 FILE=$TENS"-215079-"$ONES
8 ./micromatch-th-v.py $i > $FILE.fp
9 FILE=$TENS"-338068-"$ONES
10 ./micromatch-th-v.py $i latch > $FILE.fp
11 FILE=$TENS"-188275-"$ONES
12 ./micromatch-smt-v.py $i > $FILE.fp
13 FILE=$TENS"-338069-"$ONES
14 ./micromatch-smt-v.py $i latch > $FILE.fp
16 ./micromatch-th-v.py 24 > 2-215079-24.fp