#!/bin/tcsh -f

gcc -O2 -o cmilner cmilner.c -lbdd -lm
foreach N ( 4 10 16 20 30 50 64 )
    echo "Running with N = $N" >> result
    ./cmilner $N | egrep -v '^Garbage collection' >> result
end
