Normal revision is good enough for s3 folder

It's the solver name if not cryptominisat
No need to keep this variable