Add var-epsilon strategy, improve output