Method logTimedMessage

src/main/java/wyc/task/QuickCheck.java:52–55

(LogEntry result, long time, long memory)

		// Default logger just reports up to project logger
		this.logger = new StructuredLogger<>() {
			@Override
			public void logTimedMessage(LogEntry result, long time, long memory) {
				log.logTimedMessage(result.toString(), time, memory);
			}

			@Override
			public void logTimedMessage(String msg, long time, long memory) {