Benchmark Results: modest_full_time

Model modest_from-jani_check_default modest_from-umb_check_default
bluetooth.1 NS -
cluster.128-2000-20 TO
cluster.64-2000-20 1409.99 (±194.14) 1441.86 (±671.49)
consensus.4-4 1.16 (±0.15) 0.75 (±0.67)
consensus.6-2 23.17 (±3.04) 15.97 (±2.57)
crowds.5-20 5.38 (±0.35) 1.46 (±0.64)
crowds.6-20 23.68 (±3.61) 6.58 (±0.89)
csma.3-4 3.68 (±0.48) 0.76 (±0.94)
csma.4-2 2.49 (±1.13) 0.37 (±0.10)
eajs.5-250-11 7.81 (±1.11) 1.21 (±1.59)
eajs.6-300-13 20.03 (±1.58) 3.43 (±0.54)
egl.10-2 117.44 (±23.61) 3.00 (±0.48)
egl.10-8 MO -
embedded.8-12 3.92 (±0.37) 3.98 (±0.08)
firewire.false-36-800 7.16 (±1.12) 5.55 (±1.35)
fms.8 ERR ERR
haddad-monmege.100-0.7 1.56 (±0.15) 1.81 (±0.51)
herman.15 NS -
kanban.5 ERR ERR
majority.2100 497.54 (±32.71) 454.40 (±62.82)
mapk-cascade.4-30 3.44 (±0.56) 1.84 (±0.98)
nand.40-4 5.56 (±0.72) 0.33 (±1.19)
nand.60-4 25.01 (±3.04) 1.07 (±0.10)
oscillators.8-10-0.1-1-0.1-1.0 ERR -
pacman.100 247.40 (±14.14) 4.46 (±0.33)
pacman.60 118.41 (±9.07) 2.38 (±0.20)
pnueli-zuck.10 MO -
pnueli-zuck.5 3.06 (±1.13) 0.53 (±0.53)
polling.18-16 124.39 (±6.62) 65.34 (±6.31)
rabin.10 MO -
resource-gathering.1300-100-100 10.97 (±5.05) 6.60 (±2.04)
speed-ind.2100 2108.35 (±168.55) 1815.12 (±375.13)
wlan.4-0 1.42 (±0.18) 0.37 (±0.22)
wlan.5-0 4.90 (±0.76) 2.20 (±0.69)
wlan.6-0 25.94 (±2.53) 16.21 (±2.50)
zeroconf.1000-8-false 4.89 (±0.44) 0.92 (±0.19)