Benchmark Results: storm_export_size

Model	storm_from-jani_to-drn-gz_sparse	storm_from-jani_to-drn-xz_sparse	storm_from-jani_to-drn_sparse	storm_from-jani_to-umb-gz_sparse	storm_from-jani_to-umb-xz_sparse	storm_from-jani_to-umb_sparse
bluetooth.1	TO	TO	TO	TO	TO	TO
cluster.128-2000-20	10.26 MB	5.00 MB	64.12 MB	10.04 MB	5.02 MB	53.71 MB
cluster.64-2000-20	2.56 MB	1.38 MB	15.73 MB	2.47 MB	1.31 MB	13.56 MB
consensus.4-4	0.53 MB	0.27 MB	3.35 MB	0.48 MB	0.20 MB	3.45 MB
consensus.6-2	21.67 MB	10.40 MB	146.34 MB	20.73 MB	8.54 MB	143.59 MB
crowds.5-20	13.31 MB	4.31 MB	156.63 MB	8.01 MB	2.11 MB (±1%)	129.01 MB
crowds.6-20	69.53 MB	22.26 MB	843.42 MB	41.67 MB	11.44 MB (±1%)	668.76 MB
csma.3-4	9.78 MB	2.43 MB	67.38 MB	7.92 MB	1.83 MB (±2%)	59.64 MB
csma.4-2	5.26 MB	2.08 MB	35.45 MB	4.40 MB	1.43 MB (±1%)	32.74 MB
eajs.5-250-11	28.97 MB	10.39 MB	255.40 MB	20.09 MB	6.10 MB	195.78 MB
eajs.6-300-13	81.94 MB	26.19 MB	716.72 MB	54.40 MB	15.59 MB	545.61 MB
egl.10-2	318.04 MB	44.40 MB	2961.53 MB	192.87 MB	30.87 MB	1559.51 MB
egl.10-8	MO	MO	MO	MO	MO	MO
embedded.8-12	0.14 MB	0.08 MB	1.17 MB	0.09 MB	0.05 MB	0.70 MB
firewire.false-36-800	1.93 MB	0.60 MB	15.36 MB	1.80 MB	0.42 MB (±1%)	16.36 MB
fms.8	148.64 MB	69.26 MB	917.47 MB	116.81 MB	38.40 MB	691.12 MB
haddad-monmege.100-0.7	0.00 MB	0.00 MB	0.01 MB	0.00 MB	0.00 MB	0.02 MB
herman.15	34.28 MB	4.32 MB	311.63 MB	19.68 MB	1.51 MB	219.47 MB
kanban.5	79.97 MB	42.54 MB	477.05 MB	75.69 MB	26.65 MB	432.13 MB
majority.2100	7.19 MB	3.81 MB	45.28 MB	11.63 MB	6.52 MB	32.94 MB
mapk-cascade.4-30	2.64 MB	1.69 MB	15.72 MB	2.47 MB	1.25 MB	16.23 MB
nand.40-4	26.74 MB	7.30 MB	194.24 MB	14.24 MB	3.23 MB (±1%)	127.91 MB
nand.60-4	125.59 MB	33.48 MB	954.07 MB	65.50 MB	14.59 MB (±1%)	604.66 MB
oscillators.8-10-0.1-1-0.1-1.0	0.28 MB	0.15 MB	1.89 MB	0.18 MB	0.09 MB (±1%)	1.56 MB
pacman.100	538.70 MB	204.13 MB	3707.65 MB	461.81 MB	134.38 MB	3077.00 MB
pacman.60	262.37 MB	99.17 MB	1797.13 MB	225.26 MB	65.64 MB	1501.69 MB
pnueli-zuck.10	MO	MO	MO	MO	MO	MO
pnueli-zuck.5	8.54 MB	3.83 MB	57.93 MB	8.90 MB	3.32 MB	58.94 MB
polling.18-16	191.69 MB	64.08 MB	1887.45 MB	149.95 MB	46.14 MB	1173.39 MB
rabin.10	MO	MO	MO	MO	MO	MO
resource-gathering.1300-100-100	11.26 MB	5.48 MB	82.96 MB	11.00 MB	3.87 MB	81.92 MB
speed-ind.2100	33.35 MB	17.25 MB	219.66 MB	66.42 MB	46.64 MB	156.85 MB
wlan.4-0	2.90 MB	0.69 MB	19.21 MB	2.41 MB	0.38 MB (±1%)	17.76 MB
wlan.5-0	11.23 MB	2.50 MB	75.18 MB	9.21 MB	1.50 MB (±4%)	67.62 MB
wlan.6-0	44.54 MB	8.55 MB	303.87 MB	36.12 MB	5.71 MB (±5%)	263.56 MB
zeroconf.1000-8-false	17.88 MB	9.20 MB	114.27 MB	16.30 MB	6.68 MB	106.01 MB