{
    "id": 7,
    "name": "budapest_test_case_unsat",
    "description": "This test case verifies budapest scenario, chain sap1->webserver1 with fw blocking",
    "policy_url_parameters": [
        "?type=reachability&source=sap1&destination=webserver1"
    ],
    "results": [
        "UNSAT"
    ],
    "graph": {
        "nodes": [
            {
                "neighbours": [
                    {
                        "name": "webserver1"
                    },
                    {
                        "name": "nat"
                    }
                ],
                "configuration": [
                    {
                        "webserver1": "nat"
                    }
                ],
                "name": "fw",
                "functional_type": "firewall"
            },
            {
                "neighbours": [
                    {
                        "name": "sap3"
                    },
                    {
                        "name": "fw"
                    }
                ],
                "name": "webserver1",
                "functional_type": "webserver"
            },
            {
                "neighbours": [
                    {
                        "name": "sap1"
                    },
                    {
                        "name": "dpi"
                    },
                    {
                        "name": "fw"
                    }
                ],
                "configuration": [
                    "sap1",
                    "sap2"
                ],
                "name": "nat",
                "functional_type": "nat"
            },
            {
                "neighbours": [
                    {
                        "name": "sap2"
                    }
                ],
                "configuration": [
                    "drug"
                ],
                "name": "dpi",
                "functional_type": "dpi"
            },
            {
                "neighbours": [
                    {
                        "name": "nat"
                    }
                ],
                "configuration": [
                    {
                        "url": "www.facebook.com",
                        "body": "cats",
                        "destination": "webserver1",
                        "protocol": "HTTP_REQUEST"
                    }
                ],
                "name": "sap2",
                "functional_type": "endhost"
            },
            {
                "neighbours": [
                    {
                        "name": "nat"
                    }
                ],
                "configuration": [
                    {
                        "url": "www.facebook.com",
                        "body": "cats",
                        "destination": "webserver1",
                        "protocol": "HTTP_REQUEST"
                    }
                ],
                "name": "sap1",
                "functional_type": "endhost"
            },
            {
                "neighbours": [
                    {
                        "name": "webserver1"
                    }
                ],
                "configuration": [
                    {
                        "url": "www.facebook.com",
                        "body": "cats",
                        "destination": "webserver1",
                        "protocol": "HTTP_REQUEST"
                    }
                ],
                "name": "sap3",
                "functional_type": "endhost"
            }
        ]
    }
}