Always use results from OCaml solver on success
WIP: Python solver tests updated to test the OCaml solver