Model	STLmc	HyComp	SpaceEx	Flow*	dReach	Model	STLmc	SpaceEx	Flow*	dReach
Bat-L	0.18	0.15	0.07	41.20	8.06	Bat-P	0.11	0.01	23.36	1.30
Wat-L	0.12	0.09	0.41	122.15	T/O	Wat-P	0.64	0.00	0.12	38.35
Car-L	0.16	0.05	0.89	24.93	T/O	Car-P	0.23	2200.08	25.58	357.01
Rail-L	0.08	0.04	0.12	3.77	1747.73	Rail-P	0.06	0.21	2.69	0.22
Thm-L	0.15	0.12	0.54	493.59	T/O	Thm-P	0.33	3.09	5.17	75.71
Bat-N	0.45	-	0.03	8.90	0.35	Nav-N	0.09	0.02	0.43	0.17
Thm-N	1.37	-	0.20	15.96	0.76	Wat-N	0.02	-	7.13	0.15
Oscil-N	0.88	-	0.01	0.47	0.36	Car-N	47.32	-	412.27	11.75
Space-N	1.91	-	0.03	8.66	1.04	Rail-N	0.15	-	0.08	0.17