(prover (name sidekick) (version "version: dev") (cmd <unknown>) (binary sidekick) (ulimit (time memory )) (sat "Sat") (unsat "Unsat") (unknown "Timeout|Unknown") (produces_proof false))