From: Repairing Boolean logical models from time-series data using Answer Set Programming
Arabidopsis | C. elegans | Budding | Fission | Mammalian | |
---|---|---|---|---|---|
20% | |||||
%Satisfiable instances | 10 | 0 | 0 | 0 | 0 |
#Repair | 1 | ||||
Repairable node list size | 2 | 1 | 2 | 1 | 2 |
30% | |||||
%Satisfiable instances | 36 | 0 | 0 | 0 | 0 |
#Repair | 1 | ||||
Repairable node list size | 3 | 2 | 3 | 2 | 3 |
50% | |||||
%Satisfiable instances | 58 | 2 | 0 | 4 | 6 |
#Repair | 1 | 4 | 3 | 6 | |
Repairable node list size | 5 | 4 | 5 | 4 | 5 |
70% | |||||
%Satisfiable instances | 72 | 6 | 2 | 4 | 24 |
#Repair | 1 | 4 | 8 | 3 | 6 |
Repairable node list size | 7 | 5 | 7 | 6 | 7 |
90% | |||||
%Satisfiable instances | 92 | 10 | 4 | 10 | 74 |
#Repair | 1 | 4 | 8 | 3 | 6 |
Repairable node list size | 9 | 7 | 9 | 8 | 9 |
Network size | 10 | 8 | 11 | 9 | 10 |
#Inconsistent nodes | 1 | 4 | 7 | 3 | 5 |