separated computation and results for nsdi15 demo
separated computation and results for nsdi15 demo

dhalperi/batfish,intentionet/batfish,intentionet/batfish,intentionet/batfish,arifogel/batfish,intentionet/batfish,dhalperi/batfish,arifogel/batfish,dhalperi/batfish,intentionet/batfish,arifogel/batfish,batfish/batfish,batfish/batfish,batfish/batfish