sum3.c.SliceResult_Both-Symbolic

Backward Static SliceTable:
	#Insts_sliced = 207.0 (Average: 23)

 Variable      SrcLineNumbers  
------------------------------
 a@add           {"sum3.c: [9,11,12,13,15,27,28,33,40,41]"}
 b@add           {"sum3.c: [9,12,13,15,27,28,33,40,41]"}
 i@main          {"sum3.c: [9,12,13,15,28,33,40,41]"}
 n@main          {"sum3.c: [9]"}
 sum@main        {"sum3.c: [9,11,12,13,15,27,28,33,40,41]"}
 tmp@inc         {"sum3.c: [9,12,13,15,28,33,40,41]"}
 x@A             {"sum3.c: [9,11,12,13,15,27,28,33,40,41]"}
 y@A             {"sum3.c: [9,12,13,15,28,33,40,41]"}
 z@inc           {"sum3.c: [9,12,13,15,28,33,40,41]"}


Forward Static SliceTable:
	#Insts_sliced = 307.0 (Average: 34)

 Variable      SrcLineNumbers  
------------------------------
 a@add           {"sum3.c: [13,15,18,19,27,28,33,40,41]"}
 b@add           {"sum3.c: [13,15,18,19,27,28,33,40,41]"}
 i@main          {"sum3.c: [13,15,18,19,27,28,33,40,41]"}
 n@main          {"sum3.c: [9,13,15,18,19,27,28,33,40,41]"}
 sum@main        {"sum3.c: [13,15,18,19,27,28,33,40,41]"}
 tmp@inc         {"sum3.c: [13,15,18,19,27,28,33,40,41]"}
 x@A             {"sum3.c: [18,27,33]"}
 y@A             {"sum3.c: [13,15,18,19,27,28,33,40,41]"}
 z@inc           {"sum3.c: [13,15,18,19,27,28,33,40,41]"}