endExperiment

open override fun endExperiment(expId: Int, endTime: Instant, solverConfigurations: Map<String, Map<String, String>>)(source)

Closes the experiment's record. After this the experiment counts as finished, and completedProblems stops reporting its problems as resumable.

Parameters

expId

the id returned by beginExperiment

endTime

when the experiment's run() completed

solverConfigurations

solver case label to the configuration properties read from the first solver instance the case actually created — not known until cells have run, which is why it arrives here rather than in the header