Mercurial > repos > sybila > ebcsgen_pctl_parameter_synthesis

view 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 source

{
    "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
        }
    ]
}