distr/dddmp/exp/test4.out

   1 rm: No match.
   2 ---------------------------------------------------------------------------
   3 ---------- TESTING Load/Store with sifting, varnames & varauxids ----------
   4 ---------------------------------------------------------------------------
   5 #./../testdddmp Version 2.0.2 (use command help)
   6 TestDddmp> Number of Variables: TestDddmp> File : TestDddmp> File : Which BDDs [0..19]: Loading 4.bdd ...
   7 TestDddmp> File : TestDddmp> File : Which BDDs [0..19]: Storing 4a.bdd.tmp ...
   8 TestDddmp> Reordering Approach (1..17): TestDddmp> File : Which BDDs [0..19]: Storing 4b.bdd.tmp ...
   9 TestDddmp> Quitting CUDD Manager.
  10 TestDddmp> End of test.
  11 ------------------------- ... END PHASE 1 ... -----------------------------
  12 #./../testdddmp Version 2.0.2 (use command help)
  13 TestDddmp> Number of Variables: TestDddmp> File : TestDddmp> Variable matchmode:
  14 Match IDs                                (1)
  15 Match permIDs                            (2)
  16 Match names      (must have been loaded) (3)
  17 Match auxids     (must have been loaded) (4)
  18 Match composeids (must have been loaded) (5)
  19 Your choice: TestDddmp> File : Which BDDs [0..19]: Loading 4b.bdd.tmp ...
  20 TestDddmp> File : TestDddmp> File : Which BDDs [0..19]: Storing 4c.bdd.tmp ...
  21 TestDddmp> Quitting CUDD Manager.
  22 TestDddmp> End of test.
  23 ----------------------------- ... RESULTS ... -----------------------------
  24 -------------------------------- ... END ----------------------------------