Size | Run Time (s) | |||||
---|---|---|---|---|---|---|
Name | t=2 | t=3 | t=4 | t=2 | t=3 | t=4 |
SPIN-S | 19.4 | 98 | 345 | 7.23 | 100.46 | 8,637.04 |
SPIN-V | 36.8 | 232 | N/A | 60.03 | 2,380.33 | N/A |
GCC | 21.8 | 94 | N/A | 1,708.92 | 31,597.03 | N/A |
Apache | 33.0 | 177 | N/A | 59.35 | 55,406.70 | N/A |
Bugzilla | 16.4 | 61 | 201 | 6.08 | 174.52 | 45,680.22 |
Sum | 127.4 | 662 | N/A | 1,841.61 | 89,659.04 | N/A |