Table 2.

The minimal trap spaces of all Boolean models in the ginsim repository are perfect approximations of the attractors of (S, ↪).

Network file (.zginml)	|V |	Steady	Cyclic	Faithful	Univocal	Complete
buddingYeastOrlando2008	9	1	–	0.08s	0.03s	0.23s
fissionYeastDavidich2008	10	12	–	0.01s	0.02s	0.08s
boolean_cell_cycle	10	1	1	0.03s	0.19s	0.12s
Toll_Pathway_12Jun2013	11	4	–	0.01s	0.01s	0.09s
drosophilaCellCycleVariants	14	1	–	0.01s	0.05s	0.11s
MAPK_red3_19062013	16	12	6	0.15s	1.11s	0.93s
MAPK_red1_19062013	17	12	6	0.18s	1.25s	0.87s
VEGF_Pathway_12Jun2013_0	18	256	–	0.04s	0.05s	0.28s
MAPK_red2_19062013	18	12	6	0.14s	1.26s	0.67s
buddingYeastIrons2009	18	–	1	0.16s	0.48s	0.02s
ErbB2_model	20	1	–	0.08s	0.00s	0.02s
FGF_Pathway_12Jun2013	23	512	–	0.09s	0.09s	0.51s
Hh---Pathway_11Jun2013_0	24	8192	–	1.29s	1.43s	6.34s
Spz---Processing_12Jun2013	24	64	–	0.04s	0.03s	0.22s
Wg_Pathway_11Jun2013	26	16384	–	2.38s	2.38s	17.16s
TCRsig40	40	7	1	1.07s	3.34s	0.12s
MAPK_large_19june2013	53	12	6	40.15s	565.84s	20.72s
T_LGL	60	86	70	1.07s	6.57s	5669.57s

The number of variables, steady states, and cyclic attractors are recorded in the first three columns. The remaining three columns record the time needed to confirm faithfulness, univocality, and completeness.