cme Package - cryptominisat

No unpublished successful runs for cryptominisat.