#!/bin/tcsh -f

./bddsatcountbug | egrep -v '^Garbage collection' >> result
