extrapolate-0.3.3: bench/smartcheck/bin/nvars-overflow

#!/bin/bash
head -1 -q overflow-out/* |
sed -e "s/forall values//" |
#wc -w; exit
while read s
do
	echo $s | wc -w
done