Benchmark Results: modest_import_time

Model	modest_from-jani_check_default	modest_from-jani_import_default	modest_from-umb-gz_import_default	modest_from-umb-xz_import_default	modest_from-umb_check_default	modest_from-umb_import_default
bluetooth.1	NS	NS	-	-	-	-
cluster.128-2000-20	TO	2.90 (±0.40)	0.10 (±0.10)	0.40 (±0.10)		0.00
cluster.64-2000-20	0.90 (±0.20)	1.10 (±0.20)	0.00	0.10 (±0.00)	0.00	0.00
consensus.4-4	0.30 (±0.10)	0.30 (±0.10)	0.00	0.00	0.00	0.00
consensus.6-2	6.00 (±0.70)	6.40 (±0.70)	0.20 (±0.00)	0.90 (±0.10)	0.00	0.00
crowds.5-20	4.00 (±0.20)	3.80 (±0.40)	0.20 (±0.10)	0.40 (±0.00)	0.10 (±0.10)	0.00
crowds.6-20	17.40 (±2.60)	18.00 (±1.20)	0.70 (±0.10)	2.20 (±0.30)	0.20 (±0.00)	0.20 (±0.10)
csma.3-4	2.80 (±0.40)	2.80 (±0.30)	0.10 (±0.00)	0.40 (±0.00)	0.00	0.00
csma.4-2	1.90 (±0.20)	1.90 (±0.20)	0.10 (±0.00)	0.20 (±0.00)	0.00	0.00
eajs.5-250-11	6.60 (±1.00)	6.60 (±0.40)	0.30 (±0.10)	0.90 (±0.10)	0.10 (±0.10)	0.10 (±0.10)
eajs.6-300-13	17.10 (±1.50)	16.20 (±1.80)	0.70 (±0.10)	2.50 (±0.20)	0.10 (±0.10)	0.10 (±0.00)
egl.10-2	115.20 (±21.80)	114.90 (±14.90)	2.90 (±0.20)	10.10 (±1.40)	0.90 (±0.20)	0.80 (±0.10)
egl.10-8	MO	MO	-	-	-	-
embedded.8-12	0.10 (±0.00)	0.10 (±0.00)	0.00	0.00	0.00	0.00
firewire.false-36-800	1.00 (±0.10)	1.00 (±0.20)	0.00	0.10 (±0.00)	0.00	0.00
fms.8	49.70 (±1.50)	48.50 (±6.80)	1.20 (±0.10)	4.20 (±0.50)	0.20 (±0.10)	0.20 (±0.00)
haddad-monmege.100-0.7	0.00	0.00	0.00	0.00	0.00	0.00
herman.15	NS	NS	-	-	-	-
kanban.5	22.60 (±3.90)	25.80 (±3.10)	0.70 (±0.10)	2.70 (±0.30)	0.10 (±0.00)	0.10 (±0.00)
majority.2100	2.00 (±0.10)	2.00 (±0.20)	0.10 (±0.00)	0.40 (±0.00)	0.00	0.00
mapk-cascade.4-30	1.70 (±0.20)	1.70 (±0.20)	0.00	0.10 (±0.00)	0.00	0.00
nand.40-4	5.20 (±0.60)	5.40 (±0.50)	0.20 (±0.00)	0.70 (±0.10)	0.10 (±0.00)	0.10 (±0.00)
nand.60-4	23.90 (±2.70)	24.50 (±3.20)	1.00 (±0.10)	3.60 (±0.50)	0.30 (±0.00)	0.30 (±0.10)
oscillators.8-10-0.1-1-0.1-1.0	ERR	ERR	-	-	-	-
pacman.100	243.80 (±13.00)	217.40 (±32.30)	5.30 (±0.70)	18.80 (±2.80)	0.70 (±0.10)	0.70 (±0.10)
pacman.60	115.90 (±8.90)	109.20 (±20.70)	2.30 (±0.30)	10.40 (±1.40)	0.30 (±0.10)	0.30 (±0.20)
pnueli-zuck.10	MO	MO	-	-	-	-
pnueli-zuck.5	2.40 (±0.00)	2.40 (±0.10)	0.10 (±0.10)	0.40 (±0.00)	0.00	0.00
polling.18-16	62.40 (±6.30)	68.50 (±6.50)	1.40 (±0.10)	5.10 (±1.10)	0.30 (±0.00)	0.30 (±0.00)
rabin.10	MO	MO	-	-	-	-
resource-gathering.1300-100-100	3.20 (±0.10)	3.30 (±0.40)	0.10 (±0.10)	0.50 (±0.10)	0.00	0.00
speed-ind.2100	9.50 (±0.40)	8.80 (±0.90)	0.40 (±0.10)	2.40 (±0.00)	0.10 (±0.10)	0.00
wlan.4-0	1.00 (±0.00)	0.90 (±0.10)	0.00	0.10 (±0.00)	0.00	0.00
wlan.5-0	2.80 (±0.40)	2.90 (±0.50)	0.10 (±0.10)	0.40 (±0.00)	0.00	0.00
wlan.6-0	11.80 (±1.10)	12.00 (±1.30)	0.40 (±0.00)	1.40 (±0.20)	0.10 (±0.00)	0.10 (±0.00)
zeroconf.1000-8-false	3.90 (±0.30)	3.70 (±1.20)	0.20 (±0.00)	0.80 (±0.00)	0.00	0.00