Experiment on Benchmarks

The benchmarks are available here.

The following table shows the experiment results on different benchmarks. The first column represents the name of benchmark, and second column shows the categories. The third and forth column separately shows the programs and the corresponding types. For EndWatch, label R1 and R2 represent a program is handled by SRC(R1) or revisit checking (R2).