Redefined progress and model-checkig integration.
Fixed absolute path.