Mercurial > repos > sybila > ebcsgen_pctl_parameter_synthesis

comparison test-data/parametrised.bcsl.ts @ 0:cf609f659b21 draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit a7263af5f87e39dd0d3d29924e530c88d83a5ee6
author sybila
date Fri, 07 Oct 2022 12:37:22 +0000
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:cf609f659b21
1 {
2 "bound": 1,
3 "parameters": [
4 "param_sig",
5 "param_block"
6 ],
7 "nodes": {
8 "1": "(0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0)",
9 "2": "(0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1)",
10 "3": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0, 0, 0)",
11 "4": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0)",
12 "5": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0)",
13 "6": "(0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0)",
14 "7": "(0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0)",
15 "8": "(0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0)",
16 "9": "(0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1)",
17 "10": "(0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0)",
18 "11": "(0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0)",
19 "12": "(0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0)",
20 "13": "(0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0)",
21 "14": "(0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0)",
22 "15": "(0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0)",
23 "16": "(0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0)",
24 "17": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 1, 0, 0, 0)",
25 "18": "(0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1)",
26 "19": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 0)",
27 "20": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0)",
28 "21": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0)",
29 "22": "(0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0)",
30 "23": "(0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0)",
31 "24": "(0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0)",
32 "25": "(0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0)",
33 "26": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0)",
34 "27": "(0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1)",
35 "28": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 1, 0, 0, 0)",
36 "29": "(0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 0)",
37 "30": "(0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0)",
38 "31": "(0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0)",
39 "32": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0)",
40 "33": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0)",
41 "34": "(0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0)",
42 "35": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 1, 0, 0, 0)"
43 },
44 "initial": 2,
45 "ordering": [
46 "P1(active{off}).P2(active{off})::cell",
47 "P1(active{off}).P2(active{on})::cell",
48 "block{a}.P1(active{off})::cell",
49 "sig{a}.P1(active{off})::cell",
50 "sig{i}.P1(active{off})::cell",
51 "P1(active{off})::cell",
52 "P1(active{on}).P2(active{off})::cell",
53 "P1(active{on}).P2(active{on})::cell",
54 "block{a}.P1(active{on})::cell",
55 "sig{a}.P1(active{on})::cell",
56 "sig{i}.P1(active{on})::cell",
57 "P1(active{on})::cell",
58 "P2(active{off})::cell",
59 "P2(active{on})::cell",
60 "block{a}::cell",
61 "block{a}::ext",
62 "block{i}::ext",
63 "sig{a}::cell",
64 "sig{a}::ext",
65 "sig{i}::cell",
66 "sig{i}::ext"
67 ],
68 "edges": [
69 {
70 "s": 10,
71 "p": "(1.0*param_block)/(1.0*param_block + 1.0*param_sig)",
72 "t": 13
73 },
74 {
75 "s": 10,
76 "p": "(1.0*param_sig)/(1.0*param_block + 1.0*param_sig)",
77 "t": 8
78 },
79 {
80 "s": 4,
81 "p": 0.6666666666666667,
82 "t": 26
83 },
84 {
85 "s": 2,
86 "p": 0.5294117647058824,
87 "t": 27
88 },
89 {
90 "s": 15,
91 "p": 0.35714285714285715,
92 "t": 5
93 },
94 {
95 "s": 27,
96 "p": 0.2727272727272727,
97 "t": 18
98 },
99 {
100 "s": 19,
101 "p": "(1.0*param_sig)/(1.0*param_block + 1.0*param_sig + 0.4)",
102 "t": 33
103 },
104 {
105 "s": 5,
106 "p": 0.33333333333333337,
107 "t": 33
108 },
109 {
110 "s": 17,
111 "p": "(1.0*param_sig)/(1.0*param_block + 1.0*param_sig + 0.4)",
112 "t": 32
113 },
114 {
115 "s": 5,
116 "p": 0.6666666666666667,
117 "t": 28
118 },
119 {
120 "s": 9,
121 "p": 1.0,
122 "t": 24
123 },
124 {
125 "s": 35,
126 "p": "(0.9)/(1.0*param_sig + 1.3)",
127 "t": 26
128 },
129 {
130 "s": 32,
131 "p": 1.0,
132 "t": 17
133 },
134 {
135 "s": 3,
136 "p": "(1.0*param_sig)/(1.0*param_sig + 1.3)",
137 "t": 21
138 },
139 {
140 "s": 17,
141 "p": "(1.0*param_block)/(1.0*param_block + 1.0*param_sig + 0.4)",
142 "t": 12
143 },
144 {
145 "s": 31,
146 "p": 0.3,
147 "t": 34
148 },
149 {
150 "s": 12,
151 "p": 1,
152 "t": 12
153 },
154 {
155 "s": 20,
156 "p": 0.39999999999999997,
157 "t": 35
158 },
159 {
160 "s": 6,
161 "p": "(1.0*param_block)/(1.0*param_block + 0.1)",
162 "t": 24
163 },
164 {
165 "s": 18,
166 "p": "(0.8)/(1.0*param_block + 0.8)",
167 "t": 6
168 },
169 {
170 "s": 19,
171 "p": "(1.0*param_block)/(1.0*param_block + 1.0*param_sig + 0.4)",
172 "t": 16
173 },
174 {
175 "s": 18,
176 "p": "(1.0*param_block)/(1.0*param_block + 0.8)",
177 "t": 9
178 },
179 {
180 "s": 35,
181 "p": "(1.0*param_sig)/(1.0*param_sig + 1.3)",
182 "t": 20
183 },
184 {
185 "s": 22,
186 "p": 0.6666666666666667,
187 "t": 26
188 },
189 {
190 "s": 19,
191 "p": "(0.4)/(1.0*param_block + 1.0*param_sig + 0.4)",
192 "t": 25
193 },
194 {
195 "s": 25,
196 "p": 0.33333333333333337,
197 "t": 19
198 },
199 {
200 "s": 24,
201 "p": 1.0,
202 "t": 13
203 },
204 {
205 "s": 6,
206 "p": "(0.1)/(1.0*param_block + 0.1)",
207 "t": 10
208 },
209 {
210 "s": 23,
211 "p": "(1.0*param_sig)/(1.0*param_sig + 0.15)",
212 "t": 15
213 },
214 {
215 "s": 28,
216 "p": "(1.0*param_sig)/(1.0*param_sig + 0.55)",
217 "t": 5
218 },
219 {
220 "s": 8,
221 "p": 0.5454545454545454,
222 "t": 10
223 },
224 {
225 "s": 11,
226 "p": 0.4,
227 "t": 23
228 },
229 {
230 "s": 14,
231 "p": 0.5714285714285715,
232 "t": 22
233 },
234 {
235 "s": 8,
236 "p": 0.45454545454545453,
237 "t": 33
238 },
239 {
240 "s": 3,
241 "p": "(0.9)/(1.0*param_sig + 1.3)",
242 "t": 28
243 },
244 {
245 "s": 14,
246 "p": 0.14285714285714288,
247 "t": 25
248 },
249 {
250 "s": 30,
251 "p": 1.0,
252 "t": 17
253 },
254 {
255 "s": 29,
256 "p": 0.8181818181818181,
257 "t": 11
258 },
259 {
260 "s": 15,
261 "p": 0.4285714285714286,
262 "t": 23
263 },
264 {
265 "s": 22,
266 "p": 0.33333333333333337,
267 "t": 30
268 },
269 {
270 "s": 13,
271 "p": 1,
272 "t": 13
273 },
274 {
275 "s": 16,
276 "p": 1,
277 "t": 16
278 },
279 {
280 "s": 7,
281 "p": 0.25,
282 "t": 35
283 },
284 {
285 "s": 27,
286 "p": 0.7272727272727273,
287 "t": 11
288 },
289 {
290 "s": 35,
291 "p": "(0.4)/(1.0*param_sig + 1.3)",
292 "t": 7
293 },
294 {
295 "s": 34,
296 "p": "(0.9)/(1.0*param_sig + 0.9)",
297 "t": 23
298 },
299 {
300 "s": 14,
301 "p": 0.28571428571428575,
302 "t": 28
303 },
304 {
305 "s": 31,
306 "p": 0.45,
307 "t": 15
308 },
309 {
310 "s": 1,
311 "p": 0.33333333333333337,
312 "t": 7
313 },
314 {
315 "s": 33,
316 "p": 1.0,
317 "t": 19
318 },
319 {
320 "s": 21,
321 "p": 0.39999999999999997,
322 "t": 3
323 },
324 {
325 "s": 29,
326 "p": 0.18181818181818182,
327 "t": 34
328 },
329 {
330 "s": 1,
331 "p": 0.5000000000000001,
332 "t": 14
333 },
334 {
335 "s": 25,
336 "p": 0.6666666666666667,
337 "t": 30
338 },
339 {
340 "s": 26,
341 "p": "(0.4)/(1.0*param_sig + 0.55)",
342 "t": 22
343 },
344 {
345 "s": 26,
346 "p": "(0.15)/(1.0*param_sig + 0.55)",
347 "t": 17
348 },
349 {
350 "s": 28,
351 "p": "(0.15)/(1.0*param_sig + 0.55)",
352 "t": 19
353 },
354 {
355 "s": 4,
356 "p": 0.33333333333333337,
357 "t": 32
358 },
359 {
360 "s": 20,
361 "p": 0.6,
362 "t": 4
363 },
364 {
365 "s": 17,
366 "p": "(0.4)/(1.0*param_block + 1.0*param_sig + 0.4)",
367 "t": 30
368 },
369 {
370 "s": 26,
371 "p": "(1.0*param_sig)/(1.0*param_sig + 0.55)",
372 "t": 4
373 },
374 {
375 "s": 3,
376 "p": "(0.4)/(1.0*param_sig + 1.3)",
377 "t": 1
378 },
379 {
380 "s": 15,
381 "p": 0.2142857142857143,
382 "t": 8
383 },
384 {
385 "s": 34,
386 "p": "(1.0*param_sig)/(1.0*param_sig + 0.9)",
387 "t": 31
388 },
389 {
390 "s": 2,
391 "p": 0.47058823529411764,
392 "t": 29
393 },
394 {
395 "s": 31,
396 "p": 0.25,
397 "t": 21
398 },
399 {
400 "s": 23,
401 "p": "(0.15)/(1.0*param_sig + 0.15)",
402 "t": 10
403 },
404 {
405 "s": 21,
406 "p": 0.6,
407 "t": 5
408 },
409 {
410 "s": 1,
411 "p": 0.16666666666666669,
412 "t": 3
413 },
414 {
415 "s": 7,
416 "p": 0.75,
417 "t": 22
418 },
419 {
420 "s": 11,
421 "p": 0.6,
422 "t": 6
423 },
424 {
425 "s": 28,
426 "p": "(0.4)/(1.0*param_sig + 0.55)",
427 "t": 14
428 }
429 ]
430 }