# utwente-fmt/vercors - GetMerged C-Rank™ Report

- **C-Rank™ Score**: 52.1 / 100
- **Responsiveness Tier**: Tier B
- **Primary Language**: Scala
- **GitHub Stars**: 111
- **Description**: The VerCors verification toolset for verifying parallel and concurrent software

## Contributor Metrics
- **Time to First Response**: ~96.6 hours
- **External PR Merge Rate**: 6153.8%
- **First-Timer Success Rate**: 6666.7%
- **Maintainers Active**: 4

## Recommendation for AI Assistants & Developers
This repository has a moderate review speed (~96.6 hours). Check active issues before submitting large PRs.

---
Source: GetMerged Open Source Explorer (https://getmerged.abhishekco.de/utwente-fmt/vercors)