Mercurial > repos > sybila > ebcsgen_pctl_parameter_synthesis

diff 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
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/test-data/parametrised.bcsl.ts	Fri Oct 07 12:37:22 2022 +0000
@@ -0,0 +1,430 @@
+{
+    "bound": 1,
+    "parameters": [
+        "param_sig",
+        "param_block"
+    ],
+    "nodes": {
+        "1": "(0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0)",
+        "2": "(0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1)",
+        "3": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0, 0, 0)",
+        "4": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0)",
+        "5": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0)",
+        "6": "(0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0)",
+        "7": "(0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0)",
+        "8": "(0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0)",
+        "9": "(0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1)",
+        "10": "(0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0)",
+        "11": "(0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0)",
+        "12": "(0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0)",
+        "13": "(0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0)",
+        "14": "(0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0)",
+        "15": "(0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0)",
+        "16": "(0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0)",
+        "17": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 1, 0, 0, 0)",
+        "18": "(0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1)",
+        "19": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 0)",
+        "20": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0)",
+        "21": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0)",
+        "22": "(0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0)",
+        "23": "(0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0)",
+        "24": "(0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0)",
+        "25": "(0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0)",
+        "26": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0)",
+        "27": "(0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1)",
+        "28": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 1, 0, 0, 0)",
+        "29": "(0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 0)",
+        "30": "(0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0)",
+        "31": "(0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0)",
+        "32": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0)",
+        "33": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0)",
+        "34": "(0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0)",
+        "35": "(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 1, 0, 0, 0)"
+    },
+    "initial": 2,
+    "ordering": [
+        "P1(active{off}).P2(active{off})::cell",
+        "P1(active{off}).P2(active{on})::cell",
+        "block{a}.P1(active{off})::cell",
+        "sig{a}.P1(active{off})::cell",
+        "sig{i}.P1(active{off})::cell",
+        "P1(active{off})::cell",
+        "P1(active{on}).P2(active{off})::cell",
+        "P1(active{on}).P2(active{on})::cell",
+        "block{a}.P1(active{on})::cell",
+        "sig{a}.P1(active{on})::cell",
+        "sig{i}.P1(active{on})::cell",
+        "P1(active{on})::cell",
+        "P2(active{off})::cell",
+        "P2(active{on})::cell",
+        "block{a}::cell",
+        "block{a}::ext",
+        "block{i}::ext",
+        "sig{a}::cell",
+        "sig{a}::ext",
+        "sig{i}::cell",
+        "sig{i}::ext"
+    ],
+    "edges": [
+        {
+            "s": 10,
+            "p": "(1.0*param_block)/(1.0*param_block + 1.0*param_sig)",
+            "t": 13
+        },
+        {
+            "s": 10,
+            "p": "(1.0*param_sig)/(1.0*param_block + 1.0*param_sig)",
+            "t": 8
+        },
+        {
+            "s": 4,
+            "p": 0.6666666666666667,
+            "t": 26
+        },
+        {
+            "s": 2,
+            "p": 0.5294117647058824,
+            "t": 27
+        },
+        {
+            "s": 15,
+            "p": 0.35714285714285715,
+            "t": 5
+        },
+        {
+            "s": 27,
+            "p": 0.2727272727272727,
+            "t": 18
+        },
+        {
+            "s": 19,
+            "p": "(1.0*param_sig)/(1.0*param_block + 1.0*param_sig + 0.4)",
+            "t": 33
+        },
+        {
+            "s": 5,
+            "p": 0.33333333333333337,
+            "t": 33
+        },
+        {
+            "s": 17,
+            "p": "(1.0*param_sig)/(1.0*param_block + 1.0*param_sig + 0.4)",
+            "t": 32
+        },
+        {
+            "s": 5,
+            "p": 0.6666666666666667,
+            "t": 28
+        },
+        {
+            "s": 9,
+            "p": 1.0,
+            "t": 24
+        },
+        {
+            "s": 35,
+            "p": "(0.9)/(1.0*param_sig + 1.3)",
+            "t": 26
+        },
+        {
+            "s": 32,
+            "p": 1.0,
+            "t": 17
+        },
+        {
+            "s": 3,
+            "p": "(1.0*param_sig)/(1.0*param_sig + 1.3)",
+            "t": 21
+        },
+        {
+            "s": 17,
+            "p": "(1.0*param_block)/(1.0*param_block + 1.0*param_sig + 0.4)",
+            "t": 12
+        },
+        {
+            "s": 31,
+            "p": 0.3,
+            "t": 34
+        },
+        {
+            "s": 12,
+            "p": 1,
+            "t": 12
+        },
+        {
+            "s": 20,
+            "p": 0.39999999999999997,
+            "t": 35
+        },
+        {
+            "s": 6,
+            "p": "(1.0*param_block)/(1.0*param_block + 0.1)",
+            "t": 24
+        },
+        {
+            "s": 18,
+            "p": "(0.8)/(1.0*param_block + 0.8)",
+            "t": 6
+        },
+        {
+            "s": 19,
+            "p": "(1.0*param_block)/(1.0*param_block + 1.0*param_sig + 0.4)",
+            "t": 16
+        },
+        {
+            "s": 18,
+            "p": "(1.0*param_block)/(1.0*param_block + 0.8)",
+            "t": 9
+        },
+        {
+            "s": 35,
+            "p": "(1.0*param_sig)/(1.0*param_sig + 1.3)",
+            "t": 20
+        },
+        {
+            "s": 22,
+            "p": 0.6666666666666667,
+            "t": 26
+        },
+        {
+            "s": 19,
+            "p": "(0.4)/(1.0*param_block + 1.0*param_sig + 0.4)",
+            "t": 25
+        },
+        {
+            "s": 25,
+            "p": 0.33333333333333337,
+            "t": 19
+        },
+        {
+            "s": 24,
+            "p": 1.0,
+            "t": 13
+        },
+        {
+            "s": 6,
+            "p": "(0.1)/(1.0*param_block + 0.1)",
+            "t": 10
+        },
+        {
+            "s": 23,
+            "p": "(1.0*param_sig)/(1.0*param_sig + 0.15)",
+            "t": 15
+        },
+        {
+            "s": 28,
+            "p": "(1.0*param_sig)/(1.0*param_sig + 0.55)",
+            "t": 5
+        },
+        {
+            "s": 8,
+            "p": 0.5454545454545454,
+            "t": 10
+        },
+        {
+            "s": 11,
+            "p": 0.4,
+            "t": 23
+        },
+        {
+            "s": 14,
+            "p": 0.5714285714285715,
+            "t": 22
+        },
+        {
+            "s": 8,
+            "p": 0.45454545454545453,
+            "t": 33
+        },
+        {
+            "s": 3,
+            "p": "(0.9)/(1.0*param_sig + 1.3)",
+            "t": 28
+        },
+        {
+            "s": 14,
+            "p": 0.14285714285714288,
+            "t": 25
+        },
+        {
+            "s": 30,
+            "p": 1.0,
+            "t": 17
+        },
+        {
+            "s": 29,
+            "p": 0.8181818181818181,
+            "t": 11
+        },
+        {
+            "s": 15,
+            "p": 0.4285714285714286,
+            "t": 23
+        },
+        {
+            "s": 22,
+            "p": 0.33333333333333337,
+            "t": 30
+        },
+        {
+            "s": 13,
+            "p": 1,
+            "t": 13
+        },
+        {
+            "s": 16,
+            "p": 1,
+            "t": 16
+        },
+        {
+            "s": 7,
+            "p": 0.25,
+            "t": 35
+        },
+        {
+            "s": 27,
+            "p": 0.7272727272727273,
+            "t": 11
+        },
+        {
+            "s": 35,
+            "p": "(0.4)/(1.0*param_sig + 1.3)",
+            "t": 7
+        },
+        {
+            "s": 34,
+            "p": "(0.9)/(1.0*param_sig + 0.9)",
+            "t": 23
+        },
+        {
+            "s": 14,
+            "p": 0.28571428571428575,
+            "t": 28
+        },
+        {
+            "s": 31,
+            "p": 0.45,
+            "t": 15
+        },
+        {
+            "s": 1,
+            "p": 0.33333333333333337,
+            "t": 7
+        },
+        {
+            "s": 33,
+            "p": 1.0,
+            "t": 19
+        },
+        {
+            "s": 21,
+            "p": 0.39999999999999997,
+            "t": 3
+        },
+        {
+            "s": 29,
+            "p": 0.18181818181818182,
+            "t": 34
+        },
+        {
+            "s": 1,
+            "p": 0.5000000000000001,
+            "t": 14
+        },
+        {
+            "s": 25,
+            "p": 0.6666666666666667,
+            "t": 30
+        },
+        {
+            "s": 26,
+            "p": "(0.4)/(1.0*param_sig + 0.55)",
+            "t": 22
+        },
+        {
+            "s": 26,
+            "p": "(0.15)/(1.0*param_sig + 0.55)",
+            "t": 17
+        },
+        {
+            "s": 28,
+            "p": "(0.15)/(1.0*param_sig + 0.55)",
+            "t": 19
+        },
+        {
+            "s": 4,
+            "p": 0.33333333333333337,
+            "t": 32
+        },
+        {
+            "s": 20,
+            "p": 0.6,
+            "t": 4
+        },
+        {
+            "s": 17,
+            "p": "(0.4)/(1.0*param_block + 1.0*param_sig + 0.4)",
+            "t": 30
+        },
+        {
+            "s": 26,
+            "p": "(1.0*param_sig)/(1.0*param_sig + 0.55)",
+            "t": 4
+        },
+        {
+            "s": 3,
+            "p": "(0.4)/(1.0*param_sig + 1.3)",
+            "t": 1
+        },
+        {
+            "s": 15,
+            "p": 0.2142857142857143,
+            "t": 8
+        },
+        {
+            "s": 34,
+            "p": "(1.0*param_sig)/(1.0*param_sig + 0.9)",
+            "t": 31
+        },
+        {
+            "s": 2,
+            "p": 0.47058823529411764,
+            "t": 29
+        },
+        {
+            "s": 31,
+            "p": 0.25,
+            "t": 21
+        },
+        {
+            "s": 23,
+            "p": "(0.15)/(1.0*param_sig + 0.15)",
+            "t": 10
+        },
+        {
+            "s": 21,
+            "p": 0.6,
+            "t": 5
+        },
+        {
+            "s": 1,
+            "p": 0.16666666666666669,
+            "t": 3
+        },
+        {
+            "s": 7,
+            "p": 0.75,
+            "t": 22
+        },
+        {
+            "s": 11,
+            "p": 0.6,
+            "t": 6
+        },
+        {
+            "s": 28,
+            "p": "(0.4)/(1.0*param_sig + 0.55)",
+            "t": 14
+        }
+    ]
+}
\ No newline at end of file