all green, findings so far: cache is useless but CNF detection vital for some regressions!