| Elapsed clock time [H:MM:SS (secs)]: 0:00:05 (5) | |
| Elapsed process time [H:MM:SS (secs)]: 0:00:05 (5) | |
| engine_0 (smtbmc) returned pass | |
| trace: cover/engine_0/trace0.vcd | |
| trace: cover/engine_0/trace1.vcd | |
| trace: cover/engine_0/trace2.vcd | |
| trace: cover/engine_0/trace3.vcd | |
| trace: cover/engine_0/trace4.vcd | |
| and 4 further traces |