We found the following 4 published projects which all share the keyword working amongst their description of software or software methods used.

Title
Comet Acceptance Testing Group 1
Comet Acceptance Testing Group 2
Comet Acceptance Testing Group 3
Neural Network Verification