Fix invariant counting
update LogProgSweep expected results