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