|
From: <bud...@fr...> - 2005-11-01 14:52:24
|
Hello,=0A=0AI'm using BuDDy2.4 for Points-To analysis. BuDDy works fine, fo= r bigsets too. But when I want to put out my Points-To set with fdd_printse= tor fdd_fprintset, it takes very long time for big sets. For example:with 1= 00.000 bdd nodes takes solving only a few seconds andfdd_printset takes ab= out 30-45 minutes!=0A=0AIs it so, or do I anything wrong?=0ACan I use anoth= er function to put my fdd variables out faster?=0A=0AThanks=0A=0AAlex=0A= =0AIhr Traumpartner ist nur einen Klick entfernt. 1 Million Singles warten = auf Sie in=0ADeutschlands beliebtester Partnerboerse:=0Ahttp://singles.free= net.de/index.html?pid=3D11512=0A |