Summary by Workload / Property / Mutation
| Workload ▲ |
Property ▲ |
Mutation ▲ |
Strategies ▲ |
Trials ▲ |
Bug Rate ▲ |
Mean TTF ▲ |
Mean ITF ▲ |
Bug Finding Rate by Strategy
Mean Time by Strategy
Distribution by Strategy & Property
Time per Trial
Tests per Trial
| Strategy |
Trial |
Status |
Time |
Tests |
Discards |
Shrinking |
Generation |
Execution |
Counterexample |