Function run_solver_process 

fn run_solver_process(
    command: &SolverCommand,
    smt: &str,
    timeout: Option<u32>,
    cancel: &AtomicBool,
) -> SolverProcessOutcome

Runs one solver process to completion, timeout, or cooperative cancellation.