changing name of solver test