distr/dddmp/exp/test2.out

   1 rm: No match.
   2 ---------------------------------------------------------------------------
   3 -------------------- TESTING Load BDD from DDDMP-1.0 ----------------------
   4 ---------------------------------------------------------------------------
   5 #./../testdddmp Version 2.0.2 (use command help)
   6 TestDddmp> Number of Variables: TestDddmp> File : TestDddmp> DD TYPE: DDDMP_BDD
   7 Number of variables: 10
   8 Number of support variables: 7
   9 suppVarNames: G0 G1 G2 G3 G5 G6 G7
  10 orderedVarNames: G0 G1 G2 G3 G5 G6 G7 DUMMY7 DUMMY8 DUMMY9
  11 varIds: 0 1 2 3 4 5 6
  12 varIds for ALL Manager Variables: 0 1 2 3 4 5 6 -1 -1 -1
  13 varComposeIds: 0 1 2 3 4 6 8
  14 varComposeIds for ALL Manager Variables: 0 1 2 3 4 6 8 -1 -1 -1
  15 varAuxIds: 0 1 2 3 4 5 6
  16 varAuxIds for ALL Manager Variables: 0 1 2 3 4 5 6 -1 -1 -1
  17 Number of roots: 3
  18 TestDddmp> File : Which Array of BDDs [0..19]: TestDddmp> File : Which Array of BDDs [0..19]: Storing Array of BDDs in file s27deltaDddmp1.bdd.tmp ...
  19 done.
  20 TestDddmp> Quitting CUDD Manager.
  21 TestDddmp> End of test.
  22 ----------------------------- ... RESULTS ... -----------------------------
  23 -------------------------------- ... END ----------------------------------