RTC Benchmark | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Model | Lines of Code | Violated Properties | Paths Explored | Total Instructions | Runtime Total | |||||||||||||||||||
Hardware/Software | 49119 | N/A | N/A | N/A | Timeout | |||||||||||||||||||
Hardware/Software (unfixed) | 49119 | N/A | N/A | N/A | Timeout | |||||||||||||||||||
QEMU Hardware | 1567 | N/A | N/A | N/A | Timeout | |||||||||||||||||||
QEMU Hardware (unfixed) | 1567 | 1 | 1 | 7227 | 1s |
I2C Benchmark | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Model | Lines of Code | Violated Properties | Paths Explored | Total Instructions | Runtime Total | |||||||||||||||||||
Hardware/Software | 48946 | N/A | N/A | N/A | Compilation fail | |||||||||||||||||||
Hardware/Software (unfixed) | 48946 | N/A | N/A | N/A | Compilation fail | |||||||||||||||||||
QEMU Hardware | 772 | None | 1 | 5470 | 1s | |||||||||||||||||||
QEMU Hardware (unfixed) | 772 | 10 | 1 | 2896 | 1s |
ETHOC Benchmark | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Model | Lines of Code | Violated Properties | Paths Explored | Total Instructions | Runtime Total | |||||||||||||||||||
Hardware/Software | 2131 | None | 25 | 9960 | 24s | |||||||||||||||||||
Hardware/Software (unfixed) | 2131 | None | 25 | 9960 | 27s | |||||||||||||||||||
QEMU Hardware | 950 | None | 1 | 4035 | 1s | |||||||||||||||||||