prog: many-xpts
vgopts: --time-unit=B --depth=100