Update SCIP scripts to support passing a time argument.