SimplexModelChecker/freeRun.json at main · TheFirePanel/SimplexModelChecker · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
{
    "devices": [
        "4901-9822",
        "4903-9215",
        "4903-9216",
        "4903-9217",
        "4903-9218",
        "4903-9219",
        "4903-9220",
        "4903-9221",
        "4903-9222",
        "4903-9223",
        "4903-9236",
        "4903-9237",
        "4903-9238",
        "4903-9239",
        "4903-9240",
        "4903-9241",
        "4903-9242",
        "4903-9142",
        "4903-9144",
        "4903-9146",
        "4903-9147",
        "4903-9167",
        "4903-9168",
        "4903-9169",
        "4903-9170",
        "4903-9171",
        "4903-9172",
        "4903-9173",
        "4903-9174",
        "4903-9175",
        "4903-9176",
        "4903-9177",
        "4903-9178",
        "4903-9160",
        "4903-9161",
        "4903-9162",
        "4903-9163",
        "4903-9164",
        "4903-9165",
        "4903-9166",
        "4903-9313",
        "4903-9315",
        "4903-9317",
        "4903-9319",
        "4903-9321",
        "4903-9323",
        "4904-9135",
        "4904-9136",
        "4904-9137",
        "4904-9138",
        "4904-9139",
        "4904-9140",
        "4904-9141",
        "4904-9142",
        "4904-9144",
        "4904-9145",
        "4904-9146",
        "4904-9162",
        "4904-9163",
        "4904-9164",
        "4904-9345",
        "4904-9346",
        "4904-9168",
        "4904-9169",
        "4904-9170",
        "4904-9171",
        "4904-9172",
        "4904-9173",
        "4901-9819",
        "4901-9818"
    ]
}