Ce projet héberge les scripts d'évaluation utilisés lors de la Première Compétition Internationale sur la Vérification en Temps d'Exécution (CRV 14). Il contient des scripts pour évaluer les outils des participants sur des bancs d'essai spécifiques, ainsi qu'un classeur avec des données brutes et des calculs de scores.