You can download here the dimacs file that looks for attractors of size 29 and 1.
(This file is unsatisfiable. Ligne 2120 to 2148 correspond to the complement of
the only attractor of size 29 found with a synchronous analysis.
Lines 2150, 2152 and 2154 correspond to the complements of
the steady states of our model of cholesterol regulation.)
You can download here the satisfiable file that looks for attractors of size 29 and 1.

You can download here the dimacs file that looks for attractors of size 29 and 1.
(This file is unsatisfiable. Ligne 2412 to 2444 correspond to the complement of
an attractor of size 33 found with a synchronous analysis, etc.
Lines 2514, 2516 and 2518 correspond to the complements of
the steady states of our model of cholesterol regulation.)
You can download here the satisfiable file that looks for attractors of size 33, 11, 3 and 1.

home

Webmaster: Gwenael Kervizic

Contact address: