Benchmark Results: modest_export_size

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	3.40 MB	2.02 MB	6.47 MB	75.66 MB	52.33 MB	9.77 MB	4.73 MB (±1%)	53.64 MB
cluster.64-2000-20	0.92 MB	0.61 MB	1.54 MB	18.25 MB	12.62 MB	2.40 MB	1.24 MB (±1%)	13.54 MB
consensus.4-4	0.20 MB	0.15 MB	0.47 MB	5.05 MB	2.50 MB	0.48 MB	0.20 MB	3.44 MB
consensus.6-2	8.84 MB	5.09 MB	20.21 MB	249.31 MB	122.97 MB	20.69 MB	8.60 MB (±1%)	143.29 MB
crowds.5-20	1.28 MB	0.74 MB	15.65 MB	178.76 MB	118.50 MB	8.05 MB	2.12 MB (±1%)	128.77 MB
crowds.6-20	6.90 MB	3.73 MB	81.53 MB	970.58 MB	647.05 MB	41.85 MB	11.51 MB (±4%)	667.50 MB
csma.3-4	0.88 MB	0.56 MB	6.41 MB	90.21 MB	46.03 MB	7.88 MB	1.84 MB (±3%)	59.47 MB
csma.4-2	1.19 MB	0.78 MB	3.74 MB	47.87 MB	24.04 MB	4.39 MB	1.43 MB (±3%)	32.65 MB
eajs.5-250-11	6.19 MB	3.66 MB	20.75 MB	335.26 MB	211.95 MB	19.60 MB	5.85 MB (±1%)	216.19 MB
eajs.6-300-13	15.85 MB	9.04 MB	58.65 MB	980.44 MB	608.77 MB	53.29 MB	14.49 MB (±1%)	604.37 MB
egl.10-2	0.33 MB	0.02 MB	136.38 MB	1768.75 MB	1643.06 MB	194.86 MB	30.87 MB	1543.76 MB
egl.10-8				MO	MO	MO	MO	MO
embedded.8-12	0.06 MB	0.06 MB	0.08 MB	1.30 MB	0.40 MB	0.10 MB	0.05 MB (±1%)	0.70 MB
firewire.false-36-800	0.16 MB	0.10 MB	1.65 MB	19.55 MB	9.48 MB	1.83 MB	0.43 MB (±2%)	16.36 MB
fms.8	47.41 MB	40.92 MB	73.79 MB	1248.56 MB	836.03 MB	116.48 MB	43.27 MB	950.56 MB
haddad-monmege.100-0.7	0.00 MB	0.00 MB	0.00 MB	0.01 MB	0.00 MB	0.00 MB (±1%)	0.00 MB (±1%)	0.02 MB
herman.15				NS	NS	NS	NS	NS
kanban.5	39.72 MB	33.51 MB	48.47 MB	638.77 MB	389.24 MB	71.73 MB	29.38 MB	599.02 MB
majority.2100	2.52 MB	2.15 MB	3.83 MB	65.41 MB	47.48 MB	12.11 MB	7.02 MB	32.92 MB
mapk-cascade.4-30	1.33 MB	1.18 MB	1.78 MB	20.45 MB	11.65 MB	2.53 MB	1.29 MB	22.41 MB
nand.40-4	1.41 MB	0.60 MB	14.15 MB	172.45 MB	143.61 MB	14.91 MB	3.35 MB (±1%)	127.44 MB
nand.60-4	4.20 MB	2.35 MB	67.79 MB	862.96 MB	718.39 MB	68.82 MB	14.89 MB (±1%)	602.42 MB
oscillators.8-10-0.1-1-0.1-1.0				ERR	ERR	ERR	ERR	ERR
pacman.100	98.48 MB	78.01 MB	352.24 MB	5372.51 MB	2655.38 MB	463.25 MB	133.33 MB	3067.54 MB
pacman.60	47.93 MB	38.75 MB	171.84 MB	2530.16 MB	1281.89 MB	225.98 MB	65.29 MB	1497.06 MB
pnueli-zuck.10				MO	MO	MO	MO	MO
pnueli-zuck.5	3.15 MB	2.50 MB	8.57 MB	103.51 MB	49.96 MB	8.93 MB	3.31 MB	58.89 MB
polling.18-16	51.66 MB	36.99 MB	127.93 MB	2679.53 MB	1915.45 MB	148.87 MB	46.65 MB	1172.55 MB
rabin.10				MO	MO	MO	MO	MO
resource-gathering.1300-100-100	3.93 MB	1.30 MB	11.41 MB	138.83 MB	66.79 MB	10.90 MB	3.87 MB (±1%)	81.02 MB
speed-ind.2100	12.87 MB	10.83 MB	19.21 MB	325.95 MB	233.88 MB	68.91 MB	48.55 MB	156.77 MB
wlan.4-0	0.11 MB	0.06 MB	2.32 MB	26.44 MB	13.87 MB	2.42 MB	0.37 MB (±2%)	17.72 MB
wlan.5-0	0.37 MB	0.10 MB	9.08 MB	107.32 MB	55.11 MB	9.29 MB	1.51 MB (±4%)	67.47 MB
wlan.6-0	1.17 MB	0.16 MB	35.63 MB	433.07 MB	226.94 MB	36.41 MB	5.67 MB (±6%)	262.97 MB
zeroconf.1000-8-false	7.13 MB	4.90 MB	14.52 MB	172.81 MB	86.69 MB	16.30 MB	6.78 MB	105.39 MB