Table 5.

The heat shock response and the $\mathsf{ErbB}$ models statistics.

	Heat shock response models		ErbB signaling pathway models
	Basic25	Refined48	Basic29	Refined29
Molecular species	10	20	110	394
Molecular reactions	17	57	242	1320
Variables	10	10	110	110
Events	17	17	242	242
Invariants	13	18	110	110
Proof obligations discharged by the default prover	79	73	794	15
Proof obligations discharged by other internal provers	0	62	154	1260

The number of variables and events is the same for the basic and the refined model. Some of the proof obligations of the refined model required another internal theorem prover than the default one to get them automatically discharged.