rm property
cp never4 property
/usr/bin/time spin -a RW4.prom 
/usr/bin/time cc -o pan pan.c
/usr/bin/time pan -n -a

rm property
cp never4_f property
/usr/bin/time spin -a RW4.prom
/usr/bin/time cc -o pan pan.c
/usr/bin/time pan -n -a

rm property
cp never5 property
/usr/bin/time spin -a RW5.prom 
/usr/bin/time cc -o pan -DNFAIR=3 pan.c
/usr/bin/time pan -n -a

rm property
cp never5_f property
/usr/bin/time spin -a RW5.prom
/usr/bin/time cc -o pan -DNFAIR=3 pan.c
/usr/bin/time pan -n -a

rm property
cp never6 property
/usr/bin/time spin -a RWlist6.prom 
/usr/bin/time cc -o pan pan.c
/usr/bin/time pan -n -a

rm property
cp never6_f property
/usr/bin/time spin -a RWlist6.prom
/usr/bin/time cc -o pan pan.c
/usr/bin/time pan -n -a

rm property
cp never7 property
/usr/bin/time spin -a RWlist78.prom 
/usr/bin/time cc -o pan pan.c
/usr/bin/time pan -n -a

rm property
cp never7_f property
/usr/bin/time spin -a RWlist78.prom
/usr/bin/time cc -o pan pan.c
/usr/bin/time pan -n -a

rm property
cp never8 property
/usr/bin/time spin -a RWlist78.prom 
/usr/bin/time cc -o pan pan.c
/usr/bin/time pan -n -a

rm property
cp never8_f property
/usr/bin/time spin -a RWlist78.prom
/usr/bin/time cc -o pan pan.c
/usr/bin/time pan -n -a