| Counted ... calls to main() | |
| Jccs: | |
| total: ... | |
| taken: ... (...%) | |
| Executed: | |
| SBs entered: ... | |
| SBs completed: ... | |
| guest instrs: ... | |
| IRStmts: ... | |
| Ratios: | |
| guest instrs : SB entered = ... : ... | |
| IRStmts : SB entered = ... : ... | |
| IRStmts : guest instr = ... : ... | |
| Exit code: ... |