DooABLe / results /strings /graph.json
pranamanam's picture
Upload 309 files
81ae663 verified
Raw
History Blame Contribute Delete
18.6 kB
{
"nodes": [
{
"id": "root",
"outcome": null,
"features": [
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
1.0
],
"metadata": {}
},
{
"id": "s0000_0",
"outcome": null,
"features": [
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0
],
"metadata": {}
},
{
"id": "s1111_0",
"outcome": null,
"features": [
1.0,
1.0,
1.0,
1.0,
0.0,
0.0,
0.0
],
"metadata": {}
},
{
"id": "t0000",
"outcome": "0000",
"features": [
0.0,
0.0,
0.0,
0.0,
0.0,
1.0,
0.0
],
"metadata": {}
},
{
"id": "s1000_1",
"outcome": null,
"features": [
1.0,
0.0,
0.0,
0.0,
0.5,
0.0,
0.0
],
"metadata": {}
},
{
"id": "s0100_1",
"outcome": null,
"features": [
0.0,
1.0,
0.0,
0.0,
0.5,
0.0,
0.0
],
"metadata": {}
},
{
"id": "s0010_1",
"outcome": null,
"features": [
0.0,
0.0,
1.0,
0.0,
0.5,
0.0,
0.0
],
"metadata": {}
},
{
"id": "s0001_1",
"outcome": null,
"features": [
0.0,
0.0,
0.0,
1.0,
0.5,
0.0,
0.0
],
"metadata": {}
},
{
"id": "t1111",
"outcome": "1111",
"features": [
1.0,
1.0,
1.0,
1.0,
0.0,
1.0,
0.0
],
"metadata": {}
},
{
"id": "s0111_1",
"outcome": null,
"features": [
0.0,
1.0,
1.0,
1.0,
0.5,
0.0,
0.0
],
"metadata": {}
},
{
"id": "s1011_1",
"outcome": null,
"features": [
1.0,
0.0,
1.0,
1.0,
0.5,
0.0,
0.0
],
"metadata": {}
},
{
"id": "s1101_1",
"outcome": null,
"features": [
1.0,
1.0,
0.0,
1.0,
0.5,
0.0,
0.0
],
"metadata": {}
},
{
"id": "s1110_1",
"outcome": null,
"features": [
1.0,
1.0,
1.0,
0.0,
0.5,
0.0,
0.0
],
"metadata": {}
},
{
"id": "t1000",
"outcome": "1000",
"features": [
1.0,
0.0,
0.0,
0.0,
0.0,
1.0,
0.0
],
"metadata": {}
},
{
"id": "s0000_2",
"outcome": null,
"features": [
0.0,
0.0,
0.0,
0.0,
1.0,
0.0,
0.0
],
"metadata": {}
},
{
"id": "s1100_2",
"outcome": null,
"features": [
1.0,
1.0,
0.0,
0.0,
1.0,
0.0,
0.0
],
"metadata": {}
},
{
"id": "s1010_2",
"outcome": null,
"features": [
1.0,
0.0,
1.0,
0.0,
1.0,
0.0,
0.0
],
"metadata": {}
},
{
"id": "s1001_2",
"outcome": null,
"features": [
1.0,
0.0,
0.0,
1.0,
1.0,
0.0,
0.0
],
"metadata": {}
},
{
"id": "t0100",
"outcome": "0100",
"features": [
0.0,
1.0,
0.0,
0.0,
0.0,
1.0,
0.0
],
"metadata": {}
},
{
"id": "s0110_2",
"outcome": null,
"features": [
0.0,
1.0,
1.0,
0.0,
1.0,
0.0,
0.0
],
"metadata": {}
},
{
"id": "s0101_2",
"outcome": null,
"features": [
0.0,
1.0,
0.0,
1.0,
1.0,
0.0,
0.0
],
"metadata": {}
},
{
"id": "t0010",
"outcome": "0010",
"features": [
0.0,
0.0,
1.0,
0.0,
0.0,
1.0,
0.0
],
"metadata": {}
},
{
"id": "s0011_2",
"outcome": null,
"features": [
0.0,
0.0,
1.0,
1.0,
1.0,
0.0,
0.0
],
"metadata": {}
},
{
"id": "t0001",
"outcome": "0001",
"features": [
0.0,
0.0,
0.0,
1.0,
0.0,
1.0,
0.0
],
"metadata": {}
},
{
"id": "t0111",
"outcome": "0111",
"features": [
0.0,
1.0,
1.0,
1.0,
0.0,
1.0,
0.0
],
"metadata": {}
},
{
"id": "s1111_2",
"outcome": null,
"features": [
1.0,
1.0,
1.0,
1.0,
1.0,
0.0,
0.0
],
"metadata": {}
},
{
"id": "t1011",
"outcome": "1011",
"features": [
1.0,
0.0,
1.0,
1.0,
0.0,
1.0,
0.0
],
"metadata": {}
},
{
"id": "t1101",
"outcome": "1101",
"features": [
1.0,
1.0,
0.0,
1.0,
0.0,
1.0,
0.0
],
"metadata": {}
},
{
"id": "t1110",
"outcome": "1110",
"features": [
1.0,
1.0,
1.0,
0.0,
0.0,
1.0,
0.0
],
"metadata": {}
},
{
"id": "t1100",
"outcome": "1100",
"features": [
1.0,
1.0,
0.0,
0.0,
0.0,
1.0,
0.0
],
"metadata": {}
},
{
"id": "t1010",
"outcome": "1010",
"features": [
1.0,
0.0,
1.0,
0.0,
0.0,
1.0,
0.0
],
"metadata": {}
},
{
"id": "t1001",
"outcome": "1001",
"features": [
1.0,
0.0,
0.0,
1.0,
0.0,
1.0,
0.0
],
"metadata": {}
},
{
"id": "t0110",
"outcome": "0110",
"features": [
0.0,
1.0,
1.0,
0.0,
0.0,
1.0,
0.0
],
"metadata": {}
},
{
"id": "t0101",
"outcome": "0101",
"features": [
0.0,
1.0,
0.0,
1.0,
0.0,
1.0,
0.0
],
"metadata": {}
},
{
"id": "t0011",
"outcome": "0011",
"features": [
0.0,
0.0,
1.0,
1.0,
0.0,
1.0,
0.0
],
"metadata": {}
}
],
"edges": [
{
"id": "e0",
"source": "root",
"target": "s0000_0",
"cost": 0.0,
"action": {
"kind": "start",
"string": "0000"
}
},
{
"id": "e1",
"source": "root",
"target": "s1111_0",
"cost": 0.0,
"action": {
"kind": "start",
"string": "1111"
}
},
{
"id": "e2",
"source": "s0000_0",
"target": "t0000",
"cost": 0.0,
"action": {
"kind": "stop"
}
},
{
"id": "e3",
"source": "s0000_0",
"target": "s1000_1",
"cost": 1.0,
"action": {
"kind": "substitute",
"position": 0,
"product": "1000"
}
},
{
"id": "e4",
"source": "s0000_0",
"target": "s0100_1",
"cost": 1.1,
"action": {
"kind": "substitute",
"position": 1,
"product": "0100"
}
},
{
"id": "e5",
"source": "s0000_0",
"target": "s0010_1",
"cost": 1.2,
"action": {
"kind": "substitute",
"position": 2,
"product": "0010"
}
},
{
"id": "e6",
"source": "s0000_0",
"target": "s0001_1",
"cost": 1.3,
"action": {
"kind": "substitute",
"position": 3,
"product": "0001"
}
},
{
"id": "e7",
"source": "s1111_0",
"target": "t1111",
"cost": 0.0,
"action": {
"kind": "stop"
}
},
{
"id": "e8",
"source": "s1111_0",
"target": "s0111_1",
"cost": 1.0,
"action": {
"kind": "substitute",
"position": 0,
"product": "0111"
}
},
{
"id": "e9",
"source": "s1111_0",
"target": "s1011_1",
"cost": 1.1,
"action": {
"kind": "substitute",
"position": 1,
"product": "1011"
}
},
{
"id": "e10",
"source": "s1111_0",
"target": "s1101_1",
"cost": 1.2,
"action": {
"kind": "substitute",
"position": 2,
"product": "1101"
}
},
{
"id": "e11",
"source": "s1111_0",
"target": "s1110_1",
"cost": 1.3,
"action": {
"kind": "substitute",
"position": 3,
"product": "1110"
}
},
{
"id": "e12",
"source": "s1000_1",
"target": "t1000",
"cost": 0.0,
"action": {
"kind": "stop"
}
},
{
"id": "e13",
"source": "s1000_1",
"target": "s0000_2",
"cost": 1.0,
"action": {
"kind": "substitute",
"position": 0,
"product": "0000"
}
},
{
"id": "e14",
"source": "s1000_1",
"target": "s1100_2",
"cost": 1.1,
"action": {
"kind": "substitute",
"position": 1,
"product": "1100"
}
},
{
"id": "e15",
"source": "s1000_1",
"target": "s1010_2",
"cost": 1.2,
"action": {
"kind": "substitute",
"position": 2,
"product": "1010"
}
},
{
"id": "e16",
"source": "s1000_1",
"target": "s1001_2",
"cost": 1.3,
"action": {
"kind": "substitute",
"position": 3,
"product": "1001"
}
},
{
"id": "e17",
"source": "s0100_1",
"target": "t0100",
"cost": 0.0,
"action": {
"kind": "stop"
}
},
{
"id": "e18",
"source": "s0100_1",
"target": "s1100_2",
"cost": 1.0,
"action": {
"kind": "substitute",
"position": 0,
"product": "1100"
}
},
{
"id": "e19",
"source": "s0100_1",
"target": "s0000_2",
"cost": 1.1,
"action": {
"kind": "substitute",
"position": 1,
"product": "0000"
}
},
{
"id": "e20",
"source": "s0100_1",
"target": "s0110_2",
"cost": 1.2,
"action": {
"kind": "substitute",
"position": 2,
"product": "0110"
}
},
{
"id": "e21",
"source": "s0100_1",
"target": "s0101_2",
"cost": 1.3,
"action": {
"kind": "substitute",
"position": 3,
"product": "0101"
}
},
{
"id": "e22",
"source": "s0010_1",
"target": "t0010",
"cost": 0.0,
"action": {
"kind": "stop"
}
},
{
"id": "e23",
"source": "s0010_1",
"target": "s1010_2",
"cost": 1.0,
"action": {
"kind": "substitute",
"position": 0,
"product": "1010"
}
},
{
"id": "e24",
"source": "s0010_1",
"target": "s0110_2",
"cost": 1.1,
"action": {
"kind": "substitute",
"position": 1,
"product": "0110"
}
},
{
"id": "e25",
"source": "s0010_1",
"target": "s0000_2",
"cost": 1.2,
"action": {
"kind": "substitute",
"position": 2,
"product": "0000"
}
},
{
"id": "e26",
"source": "s0010_1",
"target": "s0011_2",
"cost": 1.3,
"action": {
"kind": "substitute",
"position": 3,
"product": "0011"
}
},
{
"id": "e27",
"source": "s0001_1",
"target": "t0001",
"cost": 0.0,
"action": {
"kind": "stop"
}
},
{
"id": "e28",
"source": "s0001_1",
"target": "s1001_2",
"cost": 1.0,
"action": {
"kind": "substitute",
"position": 0,
"product": "1001"
}
},
{
"id": "e29",
"source": "s0001_1",
"target": "s0101_2",
"cost": 1.1,
"action": {
"kind": "substitute",
"position": 1,
"product": "0101"
}
},
{
"id": "e30",
"source": "s0001_1",
"target": "s0011_2",
"cost": 1.2,
"action": {
"kind": "substitute",
"position": 2,
"product": "0011"
}
},
{
"id": "e31",
"source": "s0001_1",
"target": "s0000_2",
"cost": 1.3,
"action": {
"kind": "substitute",
"position": 3,
"product": "0000"
}
},
{
"id": "e32",
"source": "s0111_1",
"target": "t0111",
"cost": 0.0,
"action": {
"kind": "stop"
}
},
{
"id": "e33",
"source": "s0111_1",
"target": "s1111_2",
"cost": 1.0,
"action": {
"kind": "substitute",
"position": 0,
"product": "1111"
}
},
{
"id": "e34",
"source": "s0111_1",
"target": "s0011_2",
"cost": 1.1,
"action": {
"kind": "substitute",
"position": 1,
"product": "0011"
}
},
{
"id": "e35",
"source": "s0111_1",
"target": "s0101_2",
"cost": 1.2,
"action": {
"kind": "substitute",
"position": 2,
"product": "0101"
}
},
{
"id": "e36",
"source": "s0111_1",
"target": "s0110_2",
"cost": 1.3,
"action": {
"kind": "substitute",
"position": 3,
"product": "0110"
}
},
{
"id": "e37",
"source": "s1011_1",
"target": "t1011",
"cost": 0.0,
"action": {
"kind": "stop"
}
},
{
"id": "e38",
"source": "s1011_1",
"target": "s0011_2",
"cost": 1.0,
"action": {
"kind": "substitute",
"position": 0,
"product": "0011"
}
},
{
"id": "e39",
"source": "s1011_1",
"target": "s1111_2",
"cost": 1.1,
"action": {
"kind": "substitute",
"position": 1,
"product": "1111"
}
},
{
"id": "e40",
"source": "s1011_1",
"target": "s1001_2",
"cost": 1.2,
"action": {
"kind": "substitute",
"position": 2,
"product": "1001"
}
},
{
"id": "e41",
"source": "s1011_1",
"target": "s1010_2",
"cost": 1.3,
"action": {
"kind": "substitute",
"position": 3,
"product": "1010"
}
},
{
"id": "e42",
"source": "s1101_1",
"target": "t1101",
"cost": 0.0,
"action": {
"kind": "stop"
}
},
{
"id": "e43",
"source": "s1101_1",
"target": "s0101_2",
"cost": 1.0,
"action": {
"kind": "substitute",
"position": 0,
"product": "0101"
}
},
{
"id": "e44",
"source": "s1101_1",
"target": "s1001_2",
"cost": 1.1,
"action": {
"kind": "substitute",
"position": 1,
"product": "1001"
}
},
{
"id": "e45",
"source": "s1101_1",
"target": "s1111_2",
"cost": 1.2,
"action": {
"kind": "substitute",
"position": 2,
"product": "1111"
}
},
{
"id": "e46",
"source": "s1101_1",
"target": "s1100_2",
"cost": 1.3,
"action": {
"kind": "substitute",
"position": 3,
"product": "1100"
}
},
{
"id": "e47",
"source": "s1110_1",
"target": "t1110",
"cost": 0.0,
"action": {
"kind": "stop"
}
},
{
"id": "e48",
"source": "s1110_1",
"target": "s0110_2",
"cost": 1.0,
"action": {
"kind": "substitute",
"position": 0,
"product": "0110"
}
},
{
"id": "e49",
"source": "s1110_1",
"target": "s1010_2",
"cost": 1.1,
"action": {
"kind": "substitute",
"position": 1,
"product": "1010"
}
},
{
"id": "e50",
"source": "s1110_1",
"target": "s1100_2",
"cost": 1.2,
"action": {
"kind": "substitute",
"position": 2,
"product": "1100"
}
},
{
"id": "e51",
"source": "s1110_1",
"target": "s1111_2",
"cost": 1.3,
"action": {
"kind": "substitute",
"position": 3,
"product": "1111"
}
},
{
"id": "e52",
"source": "s0000_2",
"target": "t0000",
"cost": 0.0,
"action": {
"kind": "stop"
}
},
{
"id": "e53",
"source": "s1100_2",
"target": "t1100",
"cost": 0.0,
"action": {
"kind": "stop"
}
},
{
"id": "e54",
"source": "s1010_2",
"target": "t1010",
"cost": 0.0,
"action": {
"kind": "stop"
}
},
{
"id": "e55",
"source": "s1001_2",
"target": "t1001",
"cost": 0.0,
"action": {
"kind": "stop"
}
},
{
"id": "e56",
"source": "s0110_2",
"target": "t0110",
"cost": 0.0,
"action": {
"kind": "stop"
}
},
{
"id": "e57",
"source": "s0101_2",
"target": "t0101",
"cost": 0.0,
"action": {
"kind": "stop"
}
},
{
"id": "e58",
"source": "s0011_2",
"target": "t0011",
"cost": 0.0,
"action": {
"kind": "stop"
}
},
{
"id": "e59",
"source": "s1111_2",
"target": "t1111",
"cost": 0.0,
"action": {
"kind": "stop"
}
}
],
"root": "root",
"metadata": {
"kind": "strings",
"length": 4,
"budget": 2
}
}