Cell Volume(l) | #States | #Transitions | Time to Build | Time to Check |
---|
10–22 | 9 | 16 | 0.03 sec | 2 min 45.54 sec |
10–21 | 32 | 62 | 0.29 sec | 51.94 sec |
10–20 | 194 | 386 | 47.45 sec | 4 min 45.35 sec |
10–19 | 1 838 | 3 674 | 1 h 48 min 29.03 sec | 1 h 2 min 18.98 sec |
10–18 | ? | ? | > 7 days | ? |
- Model size (States and Transitions) and Time to Build the model and Time to Check the property R{”kOut”} =?[I = 5], which means the expected potassium outside the cell at the time equal to 5 seconds. In the experiments, the number of pumps in the model is one. The machine that we have used to run the experiments is an Intel(R) Xeon(R) CPU X3323, 2.50GHz and has 17 GB of RAM memory. The ”?” symbol means that the value has not been determined so far, because of the long execution time.