Write the current solution in the standard result.dat-style text format.
Completed runs also flush the opt-in performance summary here so the session-based CLI, Python bindings, and C ABI preserve the same timing behaviour as the legacy direct runtime driver.
| Type | Intent | Optional | Attributes | Name | ||
|---|---|---|---|---|---|---|
| type(solver_session_t), | intent(inout) | :: | session | |||
| character(len=*), | intent(in), | optional | :: | filename | ||
| integer, | intent(out), | optional | :: | status | ||
| character(len=*), | intent(out), | optional | :: | message |