def-1, MM collapsed, Lck const, ZAP dynamic: species=10 reactions=15 rank=7 laws=3 -> det M has 400 monomials: 0 positive, 400 negative -> injective: True
def-1, MM collapsed, Lck const, ZAP const: species=9 reactions=15 rank=7 laws=2 -> det M has 208 monomials: 0 positive, 208 negative -> injective: True
def-1, MM kept, Lck const, ZAP const: species=13 reactions=23 rank=11 laws=2 -> det M has 1472 monomials: 0 positive, 1472 negative -> injective: True
def-1, MM kept, Lck const, ZAP dynamic: species=14 reactions=23 rank=11 laws=3 -> det M has 3100 monomials: 0 positive, 3100 negative -> injective: True
CONTROL level-2 MM collapsed (known multistationary): species=13 reactions=24 rank=11 laws=2 -> det M has 3216 monomials: 28 positive, 3188 negative -> injective: False
