solver time included TEST