Cooperative Bug Isolation for Fedora 12