Several sieves are applied during the course of modeling of disassembly AND/OR graph, and the estimate of sieving rate is the precondition of reasonable sieving sequence.