Benchmark Results: modest_export_time

Model	modest_bcgio_aut-to-bcg-gz_default	modest_bcgio_aut-to-bcg-xz_default	modest_bcgio_aut-to-bcg_default	modest_from-jani_to-aut_default	modest_from-jani_to-imca_default	modest_from-jani_to-umb-gz_default	modest_from-jani_to-umb-xz_default	modest_from-jani_to-umb_default
bluetooth.1				NS	NS	NS	NS	NS
cluster.128-2000-20	-	-	-	0.70 (±0.10)	0.60 (±0.10)	0.50 (±0.10)	13.90 (±1.00)	0.00
cluster.64-2000-20	-	-	-	0.20 (±0.00)	0.20 (±0.00)	0.20 (±0.10)	3.30 (±0.20)	0.00
consensus.4-4	-	-	-	0.10 (±0.00)	0.00	0.10 (±0.00)	0.80 (±0.00)	0.00
consensus.6-2	-	-	-	1.40 (±0.20)	1.00 (±0.10)	2.40 (±0.20)	37.10 (±3.50)	0.10 (±0.00)
crowds.5-20	-	-	-	1.10 (±0.10)	1.00 (±0.10)	1.10 (±0.00)	13.00 (±2.20)	0.10 (±0.00)
crowds.6-20	-	-	-	5.20 (±0.20)	4.50 (±0.20)	5.30 (±0.30)	69.50 (±9.40)	0.20 (±0.00)
csma.3-4	-	-	-	0.60 (±0.00)	0.40 (±0.00)	1.10 (±0.10)	11.10 (±1.50)	0.00
csma.4-2	-	-	-	0.40 (±0.00)	0.30 (±0.00)	0.60 (±0.10)	6.40 (±0.50)	0.00
eajs.5-250-11	-	-	-	1.80 (±0.10)	1.40 (±0.10)	2.70 (±0.00)	30.10 (±4.70)	0.10 (±0.00)
eajs.6-300-13	-	-	-	4.80 (±0.30)	3.70 (±0.10)	7.40 (±0.50)	78.30 (±11.20)	0.20 (±0.10)
egl.10-2	-	-	-	10.40 (±1.40)	10.90 (±1.50)	32.70 (±0.60)	242.80 (±21.20)	0.50 (±0.10)
egl.10-8				MO	MO	MO	MO	MO
embedded.8-12	-	-	-	0.00	0.00	0.00	0.20 (±0.10)	0.00
firewire.false-36-800	-	-	-	0.20 (±0.00)	0.10 (±0.00)	0.30 (±0.00)	2.60 (±0.30)	0.00
fms.8	-	-	-	7.30 (±0.30)	6.10 (±0.70)	10.20 (±1.20)	207.30 (±8.10)	0.30 (±0.10)
haddad-monmege.100-0.7	-	-	-	0.00	0.00	0.00	0.00	0.00
herman.15				NS	NS	NS	NS	NS
kanban.5	-	-	-	3.80 (±0.30)	3.20 (±0.20)	7.00 (±0.80)	122.10 (±13.40)	0.30 (±0.10)
majority.2100	-	-	-	0.50 (±0.00)	0.40 (±0.00)	0.50 (±0.00)	9.70 (±1.10)	0.00
mapk-cascade.4-30	-	-	-	0.30 (±0.10)	0.20 (±0.00)	0.20 (±0.10)	3.70 (±0.60)	0.00
nand.40-4	-	-	-	1.10 (±0.00)	1.00 (±0.10)	2.00 (±0.00)	22.70 (±1.80)	0.10 (±0.00)
nand.60-4	-	-	-	4.60 (±0.30)	4.60 (±0.20)	9.20 (±0.10)	98.00 (±6.00)	0.20 (±0.10)
oscillators.8-10-0.1-1-0.1-1.0				ERR	ERR	ERR	ERR	ERR
pacman.100	-	-	-	23.20 (±2.30)	16.70 (±2.00)	67.40 (±0.80)	697.40 (±88.00)	1.20 (±0.40)
pacman.60	-	-	-	11.20 (±1.30)	8.00 (±1.10)	32.80 (±1.80)	303.10 (±39.30)	0.50 (±0.10)
pnueli-zuck.10				MO	MO	MO	MO	MO
pnueli-zuck.5	-	-	-	0.70 (±0.10)	0.50 (±0.00)	1.10 (±0.00)	13.10 (±1.80)	0.00
polling.18-16	-	-	-	13.20 (±1.80)	11.50 (±0.60)	12.20 (±0.20)	224.30 (±40.80)	0.40 (±0.10)
rabin.10				MO	MO	MO	MO	MO
resource-gathering.1300-100-100	-	-	-	0.80 (±0.10)	0.60 (±0.00)	1.40 (±0.10)	19.00 (±2.40)	0.00
speed-ind.2100	-	-	-	2.00 (±0.30)	1.70 (±0.10)	2.80 (±0.20)	57.20 (±10.30)	0.10 (±0.00)
wlan.4-0	-	-	-	0.20 (±0.10)	0.20 (±0.00)	0.30 (±0.10)	3.00 (±0.20)	0.00
wlan.5-0	-	-	-	0.70 (±0.00)	0.50 (±0.00)	1.30 (±0.10)	12.80 (±1.50)	0.00
wlan.6-0	-	-	-	2.30 (±0.10)	1.60 (±0.10)	5.00 (±0.00)	50.40 (±6.40)	0.10 (±0.10)
zeroconf.1000-8-false	-	-	-	1.00 (±0.10)	0.70 (±0.10)	2.00 (±0.20)	27.90 (±4.00)	0.10 (±0.00)