All Tests
| Name | Age | Duration | |
|---|---|---|---|
| Burger_01.mos | 0 | 1 min 0 sec | |
| Burger_01.mos | 0 | 23 sec | |
| HeatingSystem.mos | 0 | 17 sec | |
| HeatingSystem.mos | 0 | 5 sec | |
| IRK_01.mos | 0 | 5 sec | |
| IRK_01.mos | 0 | 4 sec | |
| RK_01.mos | 0 | 22 sec | |
| RK_01.mos | 0 | 30 sec | |
| multiRate_01.mos | 0 | 16 sec | |
| multiRate_01.mos | 0 | 3 sec |