124
8 Generating Droplet Sequences
Table 8.4 Evaluation of the verification method
Experiment
Max. droplet
sequence length
Used droplet
sequence length
Valid in discrete
model?
Time [min]
Microfluidic network B1 with 8 modules, 35 channels, 3 bifurcations
Exp. 1
641
255
✓
1
Exp. 2
738
255
✓
1
Exp. 3
879
255
✓
2
Microfluidic network B2 with 10 modules, 67 channels, 8 bifurcations
Exp. 1
1823
531
✓
88
Exp. 2
1751
531
✓
87
Exp. 3
1312
531
✓
51
Exp. 4
1475
531
✓
108
Exp. 5
1303
531
✓
52
Exp. 6
1742
531
✓
76
Exp. 7
1904
531
✓
105
Exp. 8
1614
531
✓
91
Microfluidic network B3 with 12 modules, 82 channels, 10 bifurcations
Exp. 1
1390
447
✓
63
Exp. 2
1301
447
✓
79
Exp. 3
1477
447
✓
84
Exp. 4
1439
447
✓
66
Exp. 5
1654
447
✓
102
Exp. 6
1237
447
✓
61
Exp. 7
1413
447
✓
71
Exp. 8
1583
447
✓
92
Exp. 9
1506
447
✓
86
Exp. 10
1310
447
✓
82
Microfluidic network B4 with 15 Modules, 101 channels, 12 bifurcations
Timed out using 180 min as limit for an experiment
Microfluidic network B5 with 17 modules, 118 channels, 15 bifurcations
Timed out using 180 min as limit for an experiment
Experiment: the experiment to be realized on the given microfluidic network
Max. Droplet Sequence Length: the maximal length T up of the droplet sequence
Used Droplet Sequence Length: the actually used length of the droplet sequence
Valid in Discrete Model?: Is there at least one valid droplet sequence in the discrete model, which
correctly executes the experiment?
Time [min]: the required run-time in minutes to verify whether there exists a droplet sequence
The results are summarized in Table 8.4. For all experiments per microfluidic
network, the table states the maximal length of the droplet sequence T up (column
“Max. Droplet Sequence Length”), the actually used length of the droplet sequence
(column “Used Droplet Sequence Length”), whether a droplet sequence is determined in the discrete model (column “Valid in Discrete Model?”), and the required
run-time in minutes (column “Time [min]”).