Table 4: Average results for the Iscas 85 benchmark.

Circuit LOC Exec.
trace
Con. Int.
var.
Total
diag.
Valid
diag.
Sum.
Slice
Red.
Slice

C17 31 14 26 25 12 5.9 9.3 5.1
C432 832 398 646 662 874.5 373.7 328.6 108.3

Average 339.1 161.7 264.5 270 343.8 147.3 132.1 44.8