Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
| ID | #Test cases | Execution time (ms) | Execution cost ($) |
Max line
coverage (%) |
Max function
coverage (%) |
|---|---|---|---|---|---|
| CS1 | 26 | 11,354 | 13,223.48 | 64.95 | 63.16 |
| CS2 | 17 | 3,471 | 2,745.1 | 90.88 | 90 |
| CS3 | 109 | 41,183 | 7,592.53 | 19.62 | 17.99 |
| CS4 | 10 | 34,380 | 1995.7 | 74.21 | 73.1 |
| CS5 | 35 | 8,485 | 10,342.92 | 36.66 | 37.96 |
