Benchmark Results: prism_export_size

Model	prism_from-prism_to-tra-gz_ex	prism_from-prism_to-tra-xz_ex	prism_from-prism_to-tra_ex	prism_from-prism_to-umb-gz_ex	prism_from-prism_to-umb-xz_ex	prism_from-prism_to-umb_ex
bluetooth.1	MO	MO	MO	MO	MO	MO
cluster.128-2000-20	13.45 MB	5.55 MB	66.78 MB	19.93 MB	4.76 MB	64.73 MB
cluster.64-2000-20	3.36 MB	1.42 MB	16.08 MB	4.62 MB	1.18 MB	16.34 MB
consensus.4-4	0.62 MB	0.24 MB	2.32 MB	0.57 MB	0.24 MB (±4%)	3.88 MB
consensus.6-2	25.97 MB	9.60 MB	114.23 MB	23.58 MB	8.11 MB	162.54 MB
crowds.5-20	30.64 MB	4.94 MB	213.94 MB	17.10 MB	1.27 MB	129.01 MB
crowds.6-20	143.40 MB	24.49 MB	1147.95 MB	88.37 MB	11.17 MB	668.76 MB
csma.3-4	10.07 MB	2.64 MB	53.24 MB	8.13 MB	1.85 MB	65.08 MB
csma.4-2	5.72 MB	2.06 MB	27.60 MB	4.76 MB	1.47 MB (±1%)	35.79 MB
eajs.5-250-11	30.47 MB	11.81 MB	250.43 MB	20.42 MB	6.31 MB	195.42 MB
eajs.6-300-13	84.37 MB	29.91 MB	720.29 MB	56.89 MB	16.84 MB	544.67 MB
egl.10-2	MO	MO	MO	MO	MO	MO
egl.10-8	MO	MO	MO	MO	MO	MO
embedded.8-12	0.18 MB	0.05 MB	1.26 MB	0.09 MB	0.03 MB (±1%)	0.83 MB
firewire.false-36-800	3.27 MB	0.69 MB	14.97 MB	1.93 MB	0.40 MB	18.16 MB
fms.8	248.80 MB	86.13 MB	1253.30 MB	131.76 MB	39.33 MB	1097.55 MB
haddad-monmege.100-0.7	0.00 MB	0.00 MB	0.00 MB	0.00 MB	0.00 MB	0.01 MB
herman.15	39.67 MB	10.11 MB	400.21 MB	24.18 MB	0.71 MB (±3%)	219.46 MB
kanban.5	115.41 MB	34.77 MB	491.15 MB	68.71 MB	15.37 MB	692.32 MB
majority.2100	9.73 MB	3.75 MB	55.78 MB	16.22 MB	5.96 MB	32.91 MB
mapk-cascade.4-30	4.67 MB	2.08 MB	22.53 MB	2.85 MB	0.97 MB	19.69 MB
nand.40-4	26.47 MB	8.01 MB	133.25 MB	15.25 MB	4.02 MB (±1%)	127.43 MB
nand.60-4	127.70 MB	35.28 MB	677.66 MB	70.99 MB	18.04 MB (±2%)	602.41 MB
oscillators.8-10-0.1-1-0.1-1.0	0.39 MB	0.21 MB	2.31 MB	0.21 MB	0.09 MB (±1%)	1.55 MB
pacman.100	MO	MO	MO	MO	MO	MO
pacman.60	MO	MO	MO	MO	MO	MO
pnueli-zuck.10	MO	MO	MO	MO	MO	MO
pnueli-zuck.5	8.21 MB	2.17 MB	39.24 MB	8.39 MB	2.44 MB	54.80 MB
polling.18-16	295.48 MB	92.37 MB	2309.14 MB	173.83 MB	28.46 MB (±3%)	1438.04 MB
rabin.10	MO	MO	MO	MO	MO	MO
resource-gathering.1300-100-100	15.58 MB	3.33 MB	73.21 MB	11.57 MB	1.89 MB	93.55 MB
speed-ind.2100	46.32 MB	18.94 MB	270.29 MB	67.93 MB	44.31 MB	156.76 MB
wlan.4-0	2.98 MB	0.80 MB	14.50 MB	2.44 MB	0.49 MB (±1%)	19.39 MB
wlan.5-0	11.33 MB	2.29 MB	58.55 MB	9.25 MB	1.63 MB	73.75 MB
wlan.6-0	43.55 MB	7.86 MB	243.51 MB	35.83 MB	5.94 MB (±1%)	287.19 MB
zeroconf.1000-8-false	19.55 MB	5.75 MB	88.01 MB	16.37 MB	4.21 MB	118.92 MB