01X encoding of ITC’99 benchmark families, divided in two sub-categories: 1) One Path: One sensitizable path for testing small-delay faults over two timeframes is adjusted and the cone-of- influence is encoded of this path. For each input of the circuit a multiplexer is added, which allows to switch between an unknown value X and specified value. The result corresponds to the maximum number of X-values on the inputs. 2) Multiple Path: Like 1), but at least path of multiple paths candidates is sensitized and no cone-of-influence reduction. The ending value of a benchmark filename gives the number of path candidates. For more details see: Sauer, M., Reimer, S., Polian, I., Schubert, T., Becker, B.: 'Provably optimal test cube generation using quantified boolean formula solving'. In: ASP-DAC, 2013.