echo "  $1 ";

for i in `seq 11 10 251`; do

    make PROPERTY=$1 SPIN_DEF=-DSPIN_PROC_N=$i BG=0 TIME_LOG=$1.time.$(($i - 10)) EXEC_LOG=$1.log.$(($i - 10));
    
done

    cd $1_result; \
        ../graph-space.sh $1; \
        ../graph-time.sh $1;