***************************************************************************
***************************************************************************

  p1 - p5, with sc-rules

***************************************************************************
***************************************************************************


Prodigy: pro


  The problems for Ww are...

  p5      p4      p3      p2      p1      bkall   bk      
  

  Enter a problem: p1

; Loading /user3/class/csci/c473/c473ce/my-domains/ww/probs/p1.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (AND (FORALL (<UNIT>) (IS-UNIT <UNIT>) (~ (UNASSIGNED <UNIT>))) (FORALL (<GROUP>) (IS-GROUP <GROUP>) (OR (HAS-STRENGTH <GROUP> 0) (HAS-ADEQUATE-STRENGTH <GROUP>))) (AND (ENGAGEMENTS-COUNTED) (NUMBER-OF-ENGAGED-GROUPS <NO>) (GTR-OR-EQL <NO> 2)) (AND (RESERVE-STRENGTH <RESERVE>) (LESS-THAN <RESERVE> 3)) (LESS-THAN 0 <RESERVE>))

CPU time: 10.7 seconds
Number of Nodes: 439
Solution Length: 18
Operator Sequence: 

      ASSIGN-UNIT A GROUP4
      ASSIGN-UNIT B GROUP4
      ASSIGN-UNIT C GROUP4
      ASSIGN-UNIT D GROUP2
      ASSIGN-UNIT E GROUP2
      ASSIGN-UNIT F GROUP2
      RESERVE-UNIT G
      ADD-ENGAGEMENT GROUP2
      ADD-ENGAGEMENT GROUP4
      COUNT-ENGAGEMENTS


Prodigy: pro


  The problems for Ww are...

  p5      p4      p3      p2      p1      bkall   bk      
  

  Enter a problem: p2

; Loading /user3/class/csci/c473/c473ce/my-domains/ww/probs/p2.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (AND (FORALL (<UNIT>) (IS-UNIT <UNIT>) (~ (UNASSIGNED <UNIT>))) (FORALL (<GROUP>) (IS-GROUP <GROUP>) (OR (HAS-STRENGTH <GROUP> 0) (HAS-ADEQUATE-STRENGTH <GROUP>))) (AND (ENGAGEMENTS-COUNTED) (NUMBER-OF-ENGAGED-GROUPS <NO>) (GTR-OR-EQL <NO> 2)) (AND (RESERVE-STRENGTH <RESERVE>) (LESS-THAN <RESERVE> 3)) (LESS-THAN 0 <RESERVE>))

CPU time: 2.8 seconds
Number of Nodes: 91
Solution Length: 17
Operator Sequence: 

      ASSIGN-UNIT A GROUP4
      ASSIGN-UNIT B GROUP4
      ASSIGN-UNIT C GROUP3
      ASSIGN-UNIT D GROUP3
      ASSIGN-UNIT E GROUP3
      RESERVE-UNIT F
      RESERVE-UNIT G
      ADD-ENGAGEMENT GROUP3
      ADD-ENGAGEMENT GROUP4
      COUNT-ENGAGEMENTS


Prodigy: pro


  The problems for Ww are...

  p5      p4      p3      p2      p1      bkall   bk      
  

  Enter a problem: p3

; Loading /user3/class/csci/c473/c473ce/my-domains/ww/probs/p3.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (AND (FORALL (<UNIT>) (IS-UNIT <UNIT>) (~ (UNASSIGNED <UNIT>))) (FORALL (<GROUP>) (IS-GROUP <GROUP>) (OR (HAS-STRENGTH <GROUP> 0) (HAS-ADEQUATE-STRENGTH <GROUP>))) (AND (ENGAGEMENTS-COUNTED) (NUMBER-OF-ENGAGED-GROUPS <NO>) (GTR-OR-EQL <NO> 2)) (AND (RESERVE-STRENGTH <RESERVE>) (LESS-THAN <RESERVE> 3) (LESS-THAN -1 <RESERVE>)))

Node cutoff reached: N800. EXECUTION TERMINATED!

CPU time: 23.6 seconds
Number of Nodes: 800


Prodigy: pro


  The problems for Ww are...

  p5      p4      p3      p2      p1      bkall   bk      
  

  Enter a problem: p4

; Loading /user3/class/csci/c473/c473ce/my-domains/ww/probs/p4.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (AND (FORALL (<UNIT>) (IS-UNIT <UNIT>) (~ (UNASSIGNED <UNIT>))) (FORALL (<GROUP>) (IS-GROUP <GROUP>) (OR (HAS-STRENGTH <GROUP> 0) (HAS-ADEQUATE-STRENGTH <GROUP>))) (AND (ENGAGEMENTS-COUNTED) (NUMBER-OF-ENGAGED-GROUPS <NO>) (GTR-OR-EQL <NO> 2)) (AND (RESERVE-STRENGTH <RESERVE>) (LESS-THAN <RESERVE> 3) (LESS-THAN -1 <RESERVE>)))

CPU time: 1.6 seconds
Number of Nodes: 50
Solution Length: 21
Operator Sequence: 

      ASSIGN-UNIT A GROUP4
      ASSIGN-UNIT B GROUP4
      ASSIGN-UNIT C GROUP3
      ASSIGN-UNIT D GROUP3
      ASSIGN-UNIT E GROUP3
      ASSIGN-UNIT F GROUP3
      ASSIGN-UNIT G GROUP3
      ASSIGN-UNIT H GROUP3
      ADD-ENGAGEMENT GROUP3
      ADD-ENGAGEMENT GROUP4
      COUNT-ENGAGEMENTS


Prodigy: pro


  The problems for Ww are...

  p5      p4      p3      p2      p1      bkall   bk      
  

  Enter a problem: p5

; Loading /user3/class/csci/c473/c473ce/my-domains/ww/probs/p5.


Prodigy: run


* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (AND (FORALL (<UNIT>) (IS-UNIT <UNIT>) (~ (UNASSIGNED <UNIT>))) (FORALL (<GROUP>) (IS-GROUP <GROUP>) (OR (HAS-STRENGTH <GROUP> 0) (HAS-ADEQUATE-STRENGTH <GROUP>))) (AND (ENGAGEMENTS-COUNTED) (NUMBER-OF-ENGAGED-GROUPS <NO>) (GTR-OR-EQL <NO> 2)) (AND (RESERVE-STRENGTH <RESERVE>) (LESS-THAN <RESERVE> 3)) (LESS-THAN 0 <RESERVE>))

Node cutoff reached: N800. EXECUTION TERMINATED!

CPU time: 21.9 seconds
Number of Nodes: 800


Prodigy: quit

Type ``(prodigy)'' to begin another session.


BYE 
<cl> (dribble)
