Skip to main content

Advertisement

Table 3 Minimal semi-positive P-invariant computation on general (non-biochemical) benchmarks of the literature

From: Invariants and Other Structural Properties of Biochemical Models as a Constraint Satisfaction Problem

model BDD V2 BDD V4 GreatSPN Nicotine Metatool CR Metatool EFM efmtool
trains 10-10 4.81 om 0.03 3.26 na (20) om ot
classic 10-10 0.01 0.01 ot 0.15 na (91) om ot
philo 30 1.04 0.01 0.01 2.68 3.04 om ot
  1. Minimal semi-positive P-invariant computation on general (non-biochemical) benchmarks of the literature. Times are given in seconds. BDD V2 and V4 (implicit) and GreatSPN (explicit) performances as per [17]. Note that for the classic example, time was measured for Nicotine before symmetry expansion (semi-implicit) since there are 1010 explicit solutions.