upload air conditioner model input

Author: francosansone

test/partitioner/external_tools/data/air_conditioners_1000.json

@@ -0,0 +1 @@
+{"nodes": [{"id": 1, "interval": [[1, 1000]], "lhs": [{"id": "th", "exp": [[1, 0]], "defs": []}], "rhs": [{"id": "on", "exp": [[1, 0]], "defs": [2]}, {"id": "noise", "exp": [[1, 0]], "defs": [4]}]}, {"id": 2, "interval": [[1, 1000]], "lhs": [{"id": "ev_1", "exp": [[1, 0]], "defs": []}, {"id": "on", "exp": [[1, 0]], "defs": []}], "rhs": [{"id": "th", "exp": [[1, 0]], "defs": [1]}, {"id": "tref", "exp": [[1, 0]], "defs": [3]}]}, {"id": 3, "interval": [[1, 1000]], "lhs": [{"id": "ev_2", "exp": [[1, 0]], "defs": []}, {"id": "tref", "exp": [[1, 0]], "defs": []}, {"id": "nextTref", "exp": [[1, 0]], "defs": []}], "rhs": []}, {"id": 4, "interval": [[1, 1000]], "lhs": [{"id": "ev_3", "exp": [[1, 0]], "defs": []}, {"id": "nextSample", "exp": [[2, 0]], "defs": []}, {"id": "noise", "exp": [[1, 0]], "defs": []}], "rhs": []}]}

test/partitioner/external_tools/data/air_conditioners_10000.json

@@ -0,0 +1 @@
+{"nodes": [{"id": 1, "interval": [[1, 10000]], "lhs": [{"id": "th", "exp": [[1, 0]], "defs": []}], "rhs": [{"id": "on", "exp": [[1, 0]], "defs": [2]}, {"id": "noise", "exp": [[1, 0]], "defs": [4]}]}, {"id": 2, "interval": [[1, 10000]], "lhs": [{"id": "ev_1", "exp": [[1, 0]], "defs": []}, {"id": "on", "exp": [[1, 0]], "defs": []}], "rhs": [{"id": "th", "exp": [[1, 0]], "defs": [1]}, {"id": "tref", "exp": [[1, 0]], "defs": [3]}]}, {"id": 3, "interval": [[1, 10000]], "lhs": [{"id": "ev_2", "exp": [[1, 0]], "defs": []}, {"id": "tref", "exp": [[1, 0]], "defs": []}, {"id": "nextTref", "exp": [[1, 0]], "defs": []}], "rhs": []}, {"id": 4, "interval": [[1, 10000]], "lhs": [{"id": "ev_3", "exp": [[1, 0]], "defs": []}, {"id": "nextSample", "exp": [[2, 0]], "defs": []}, {"id": "noise", "exp": [[1, 0]], "defs": []}], "rhs": []}]}

test/partitioner/external_tools/data/air_conditioners_100000.json

@@ -0,0 +1 @@
+{"nodes": [{"id": 1, "interval": [[1, 100000]], "lhs": [{"id": "th", "exp": [[1, 0]], "defs": []}], "rhs": [{"id": "on", "exp": [[1, 0]], "defs": [2]}, {"id": "noise", "exp": [[1, 0]], "defs": [4]}]}, {"id": 2, "interval": [[1, 100000]], "lhs": [{"id": "ev_1", "exp": [[1, 0]], "defs": []}, {"id": "on", "exp": [[1, 0]], "defs": []}], "rhs": [{"id": "th", "exp": [[1, 0]], "defs": [1]}, {"id": "tref", "exp": [[1, 0]], "defs": [3]}]}, {"id": 3, "interval": [[1, 100000]], "lhs": [{"id": "ev_2", "exp": [[1, 0]], "defs": []}, {"id": "tref", "exp": [[1, 0]], "defs": []}, {"id": "nextTref", "exp": [[1, 0]], "defs": []}], "rhs": []}, {"id": 4, "interval": [[1, 100000]], "lhs": [{"id": "ev_3", "exp": [[1, 0]], "defs": []}, {"id": "nextSample", "exp": [[2, 0]], "defs": []}, {"id": "noise", "exp": [[1, 0]], "defs": []}], "rhs": []}]}

test/partitioner/external_tools/data/air_conditioners_1000000.json

@@ -0,0 +1 @@
+{"nodes": [{"id": 1, "interval": [[1, 1000000]], "lhs": [{"id": "th", "exp": [[1, 0]], "defs": []}], "rhs": [{"id": "on", "exp": [[1, 0]], "defs": [2]}, {"id": "noise", "exp": [[1, 0]], "defs": [4]}]}, {"id": 2, "interval": [[1, 1000000]], "lhs": [{"id": "ev_1", "exp": [[1, 0]], "defs": []}, {"id": "on", "exp": [[1, 0]], "defs": []}], "rhs": [{"id": "th", "exp": [[1, 0]], "defs": [1]}, {"id": "tref", "exp": [[1, 0]], "defs": [3]}]}, {"id": 3, "interval": [[1, 1000000]], "lhs": [{"id": "ev_2", "exp": [[1, 0]], "defs": []}, {"id": "tref", "exp": [[1, 0]], "defs": []}, {"id": "nextTref", "exp": [[1, 0]], "defs": []}], "rhs": []}, {"id": 4, "interval": [[1, 1000000]], "lhs": [{"id": "ev_3", "exp": [[1, 0]], "defs": []}, {"id": "nextSample", "exp": [[2, 0]], "defs": []}, {"id": "noise", "exp": [[1, 0]], "defs": []}], "rhs": []}]}