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