Prodigy: dom


  The available domains are...


  new-cs-sched      cs-sched          cs_sched_backup   
  quarter-full      temp              hanoi             
  cs-sched2         incrementor       blocksworld       
  

  Select a domain: cs-sched2

; Loading /user3/class/csci/c473/c473bv/my-domains/cs-sched2/startup.lisp.
; Loading /user3/class/csci/c473/c473bv/my-domains/cs-sched2/functions.lisp.
; Loading /user3/class/csci/c473/c473bv/my-domains/cs-sched2/meta-fns.lisp.
; Loading /user3/class/csci/c473/c473bv/my-domains/cs-sched2/domain.lisp.
; Loading /user3/class/csci/c473/c473bv/my-domains/cs-sched2/sc-rules.lisp.

 NOTE: The following static predicates have not been implemented 
 as functions:  (CLASS-CREDITS ELECTIVECORE-REQUIRED CLASS-PREREQ CLASS-TIME CLASS-NO-TAKE-WITH CLASS-CORE OUTERCORE-REQUIRED INNERCORE-REQUIRED)


Prodigy: prob


  The problems for Cs-Sched2 are...

  innercore_all.lisp~    suicide.lisp~          time-conflict2.lisp~   
  time-conflict5.lisp~   prereq3                innercore4             
  time-conflict4.lisp~   golden.lisp~           suicide2               
  time-conflict3.lisp~   suicide2.lisp~         time-conflict          
  time-conflict.lisp~    innercore_all2.lisp~   quarter-full.lisp~     
  prereq3.lisp~          innercore_all          prereq2                
  quarter-full2.lisp~    time-conflict4         quarter-full2          
  prereq2.lisp~          innercore3             prereq                 
  innercore4.lisp~       time-conflict3         suicide                
  innercore2.lisp~       time-conflict2         golden                 
  innercore_all4         variable               quarter-full           
  innercore3.lisp~       innercore2             innercore_all2         
  innercore_all3         innercore              
  prereq.lisp~           time-conflict5         
  

  Enter a problem: innercore_all3

; Loading /user3/class/csci/c473/c473bv/my-domains/cs-sched2/probs/innercore_all3.lisp.

  Goal State:  (SCHEDULED-CLASS CS326)
 There are unknown predicates in *START-STATE*:
 (CLASS)
 There are open world predicates in the start state:
 (CLASS)

Prodigy: solve


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

Goal State: (SCHEDULED-CLASS CS326)
Start State: (INNERCORE-CREDITS 0)
             (INNERCORE-REQUIRED 31)
             (QUARTER-INFO 1 1990 3 0)
             (QUARTER-INFO 2 1990 3 0)
             (QUARTER-INFO 3 1990 3 0)
             (QUARTER-INFO 1 1991 3 0)
             (QUARTER-INFO 2 1991 3 0)
             (QUARTER-INFO 3 1991 3 0)
             (QUARTER-NOT-FULL 1 1990)
             (QUARTER-NOT-FULL 2 1990)
             (QUARTER-NOT-FULL 3 1990)
             (QUARTER-NOT-FULL 1 1991)
             (QUARTER-NOT-FULL 2 1991)
             (QUARTER-NOT-FULL 3 1991)
             (CLASS CS210)
             (CLASS-CORE CS210 INNERCORE)
             (CLASS-CREDITS CS210 5)
             (CLASS-TIME CS210 1 L M 12.5 1.33)
             (CLASS-TIME CS210 1 L W 12.5 1.33)
             (CLASS-TIME CS210 1 L F 12.5 1.33)
             (CLASS-TIME CS210 1 AA T 8.5 9.33)
             (CLASS-TIME CS210 1 AA TH 8.5 9.33)
             (CLASS CS211)
             (CLASS-CORE CS211 INNERCORE)
             (CLASS-CREDITS CS211 5)
             (CLASS-PREREQ CS211 CS210)
             (CLASS-TIME CS211 2 L M 1.5 2.33)
             (CLASS-TIME CS211 2 L W 1.5 2.33)
             (CLASS-TIME CS211 2 L F 1.5 2.33)
             (CLASS-TIME CS211 2 AA T 8.5 9.33)
             (CLASS-TIME CS211 2 AA TH 8.5 9.33)
             (CLASS CS321)
             (CLASS-CORE CS321 INNERCORE)
             (CLASS-CREDITS CS321 4)
             (CLASS-PREREQ CS321 CS211)
             (CLASS-TIME CS321 3 L M 9.5 10.33)
             (CLASS-TIME CS321 3 L W 9.5 10.33)
             (CLASS-TIME CS321 3 L F 9.5 10.33)
             (CLASS-TIME CS321 3 AA T 1.5 2.33)
             (CLASS-TIME CS321 3 AA TH 0 0)
             (CLASS CS322)
             (CLASS-CORE CS322 INNERCORE)
             (CLASS-CREDITS CS322 3)
             (CLASS-PREREQ CS322 CS321)
             (CLASS-TIME CS322 1 L M 9.5 10.33)
             (CLASS-TIME CS322 1 L W 9.5 10.33)
             (CLASS-TIME CS322 1 L F 9.5 10.33)
             (CLASS-TIME CS322 1 AA T 0 0)
             (CLASS-TIME CS322 1 AA TH 0 0)
             (CLASS CS326)
             (CLASS-CORE CS326 INNERCORE)
             (CLASS-CREDITS CS326 4)
             (CLASS-PREREQ CS326 CS321)
             (CLASS-TIME CS326 1 L M 11.5 12.33)
             (CLASS-TIME CS326 1 L W 11.5 12.33)
             (CLASS-TIME CS326 1 L F 11.5 12.33)
             (CLASS-TIME CS326 1 AA T 0 0)
             (CLASS-TIME CS326 1 AA TH 11.5 12.33)
             (CLASS CS341)
             (CLASS-CORE CS341 INNERCORE)
             (CLASS-CREDITS CS341 5)
             (CLASS-PREREQ CS341 CS211)
             (CLASS-NO-TAKE-WITH CS341 CS378)
             (CLASS-TIME CS341 1 L M 12.5 1.33)
             (CLASS-TIME CS341 1 L W 12.5 1.33)
             (CLASS-TIME CS341 1 L F 12.5 1.33)
             (CLASS-TIME CS341 1 AA T 12.5 1.33)
             (CLASS-TIME CS341 1 AA TH 12.5 1.33)
             (CLASS CS378)
             (CLASS-CORE CS378 INNERCORE)
             (CLASS-CREDITS CS378 5)
             (CLASS-PREREQ CS378 CS211)
             (CLASS-NO-TAKE-WITH CS378 CS341)
             (CLASS-TIME CS378 2 L M 8.5 9.33)
             (CLASS-TIME CS378 2 L W 8.5 9.33)
             (CLASS-TIME CS378 2 L F 8.5 9.33)
             (CLASS-TIME CS378 2 AA T 12.5 1.33)
             (CLASS-TIME CS378 2 AA TH 12.5 1.33)

 N1 (DONE)
 Alts: *FINISH*

   N2 (SCHEDULED-CLASS CS326)
   Alts: ADD-INNERCORE-CLASS CS326 1 1990 [2]

      N3 (SCHEDULED-CLASS CS321)
      Alts: ADD-INNERCORE-CLASS CS321 3 1990 [2]

         N4 (SCHEDULED-CLASS CS211)
         Alts: ADD-INNERCORE-CLASS CS211 2 1990 [2]

            N5 (SCHEDULED-CLASS CS210)
            Alts: ADD-INNERCORE-CLASS CS210 1 1990 [2]

         ...Done: ADD-INNERCORE-CLASS CS210 1 1990

         N6 (SCHEDULED-CLASS CS211)
         Alts: ADD-INNERCORE-CLASS CS211 2 1990

      ...Done: ADD-INNERCORE-CLASS CS211 2 1990

      N7 (SCHEDULED-CLASS CS321)
      Alts: ADD-INNERCORE-CLASS CS321 3 1990

   ...Done: ADD-INNERCORE-CLASS CS321 3 1990

   N8  . . .
   There are no relevant alts for this node!
-------------------------------------------------

            N5 (SCHEDULED-CLASS CS210)
            Alts: [1] ADD-INNERCORE-CLASS CS210 1 1991

         ...Done: ADD-INNERCORE-CLASS CS210 1 1991

         N9  . . .
         There are no relevant alts for this node!
-------------------------------------------------

         N4 (SCHEDULED-CLASS CS211)
         Alts: [1] ADD-INNERCORE-CLASS CS211 2 1991

            N10 (SCHEDULED-CLASS CS210)
            Alts: ADD-INNERCORE-CLASS CS210 1 1990 [2]

         ...Done: ADD-INNERCORE-CLASS CS210 1 1990

         N11 (SCHEDULED-CLASS CS211)
         Alts: ADD-INNERCORE-CLASS CS211 2 1991

      ...Done: ADD-INNERCORE-CLASS CS211 2 1991

      N12  . . .
      There are no relevant alts for this node!
-------------------------------------------------

            N10 (SCHEDULED-CLASS CS210)
            Alts: [1] ADD-INNERCORE-CLASS CS210 1 1991

         ...Done: ADD-INNERCORE-CLASS CS210 1 1991

         N13 (SCHEDULED-CLASS CS211)
         Alts: ADD-INNERCORE-CLASS CS211 2 1991

      ...Done: ADD-INNERCORE-CLASS CS211 2 1991

      N14  . . .
      There are no relevant alts for this node!
-------------------------------------------------

      N3 (SCHEDULED-CLASS CS321)
      Alts: [1] ADD-INNERCORE-CLASS CS321 3 1991

         N15 (SCHEDULED-CLASS CS211)
         Alts: ADD-INNERCORE-CLASS CS211 2 1990 [2]

            N16 (SCHEDULED-CLASS CS210)
            Alts: ADD-INNERCORE-CLASS CS210 1 1990 [2]

         ...Done: ADD-INNERCORE-CLASS CS210 1 1990

         N17 (SCHEDULED-CLASS CS211)
         Alts: ADD-INNERCORE-CLASS CS211 2 1990

      ...Done: ADD-INNERCORE-CLASS CS211 2 1990

      N18 (SCHEDULED-CLASS CS321)
      Alts: ADD-INNERCORE-CLASS CS321 3 1991

   ...Done: ADD-INNERCORE-CLASS CS321 3 1991

   N19  . . .
   There are no relevant alts for this node!
-------------------------------------------------

            N16 (SCHEDULED-CLASS CS210)
            Alts: [1] ADD-INNERCORE-CLASS CS210 1 1991

         ...Done: ADD-INNERCORE-CLASS CS210 1 1991

         N20  . . .
         There are no relevant alts for this node!
-------------------------------------------------

         N15 (SCHEDULED-CLASS CS211)
         Alts: [1] ADD-INNERCORE-CLASS CS211 2 1991

            N21 (SCHEDULED-CLASS CS210)
            Alts: ADD-INNERCORE-CLASS CS210 1 1990 [2]

         ...Done: ADD-INNERCORE-CLASS CS210 1 1990

         N22 (SCHEDULED-CLASS CS211)
         Alts: ADD-INNERCORE-CLASS CS211 2 1991

      ...Done: ADD-INNERCORE-CLASS CS211 2 1991

      N23 (SCHEDULED-CLASS CS321)
      Alts: ADD-INNERCORE-CLASS CS321 3 1991

   ...Done: ADD-INNERCORE-CLASS CS321 3 1991

   N24  . . .
   There are no relevant alts for this node!
-------------------------------------------------

            N21 (SCHEDULED-CLASS CS210)
            Alts: [1] ADD-INNERCORE-CLASS CS210 1 1991

         ...Done: ADD-INNERCORE-CLASS CS210 1 1991

         N25 (SCHEDULED-CLASS CS211)
         Alts: ADD-INNERCORE-CLASS CS211 2 1991

      ...Done: ADD-INNERCORE-CLASS CS211 2 1991

      N26 (SCHEDULED-CLASS CS321)
      Alts: ADD-INNERCORE-CLASS CS321 3 1991

   ...Done: ADD-INNERCORE-CLASS CS321 3 1991

   N27  . . .
   There are no relevant alts for this node!
-------------------------------------------------

   N2 (SCHEDULED-CLASS CS326)
   Alts: [1] ADD-INNERCORE-CLASS CS326 1 1991

      N28 (SCHEDULED-CLASS CS321)
      Alts: ADD-INNERCORE-CLASS CS321 3 1990 [2]

         N29 (SCHEDULED-CLASS CS211)
         Alts: ADD-INNERCORE-CLASS CS211 2 1990 [2]

            N30 (SCHEDULED-CLASS CS210)
            Alts: ADD-INNERCORE-CLASS CS210 1 1990 [2]

         ...Done: ADD-INNERCORE-CLASS CS210 1 1990

         N31 (SCHEDULED-CLASS CS211)
         Alts: ADD-INNERCORE-CLASS CS211 2 1990

      ...Done: ADD-INNERCORE-CLASS CS211 2 1990

      N32 (SCHEDULED-CLASS CS321)
      Alts: ADD-INNERCORE-CLASS CS321 3 1990

   ...Done: ADD-INNERCORE-CLASS CS321 3 1990

   N33 (SCHEDULED-CLASS CS326)
   Alts: ADD-INNERCORE-CLASS CS326 1 1991

 ...Done: ADD-INNERCORE-CLASS CS326 1 1991

 N34 (DONE)
 Alts: *FINISH*

 ...Done: *FINISH*

Completed Success

CPU time: 5.8 seconds
Number of Nodes: 35
Solution Length: 4
Operator Sequence: 

      ADD-INNERCORE-CLASS CS210 1 1990
      ADD-INNERCORE-CLASS CS211 2 1990
      ADD-INNERCORE-CLASS CS321 3 1990
      ADD-INNERCORE-CLASS CS326 1 1991


Prodigy: dom


  The available domains are...


  new-cs-sched      cs-sched          cs_sched_backup   
  quarter-full      temp              hanoi             
  cs-sched2         incrementor       blocksworld       
  

  Select a domain: cs-sched2

; Loading /user3/class/csci/c473/c473bv/my-domains/cs-sched2/startup.lisp.
; Loading /user3/class/csci/c473/c473bv/my-domains/cs-sched2/functions.lisp.
; Loading /user3/class/csci/c473/c473bv/my-domains/cs-sched2/meta-fns.lisp.
; Loading /user3/class/csci/c473/c473bv/my-domains/cs-sched2/domain.lisp.

 NOTE: The following static predicates have not been implemented 
 as functions:  (CLASS-CREDITS ELECTIVECORE-REQUIRED CLASS-PREREQ CLASS-TIME CLASS-NO-TAKE-WITH CLASS-CORE OUTERCORE-REQUIRED INNERCORE-REQUIRED)


Prodigy: solve


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

Goal State: (SCHEDULED-CLASS CS326)
Start State: (INNERCORE-CREDITS 0)
             (INNERCORE-REQUIRED 31)
             (QUARTER-INFO 1 1990 3 0)
             (QUARTER-INFO 2 1990 3 0)
             (QUARTER-INFO 3 1990 3 0)
             (QUARTER-INFO 1 1991 3 0)
             (QUARTER-INFO 2 1991 3 0)
             (QUARTER-INFO 3 1991 3 0)
             (QUARTER-NOT-FULL 1 1990)
             (QUARTER-NOT-FULL 2 1990)
             (QUARTER-NOT-FULL 3 1990)
             (QUARTER-NOT-FULL 1 1991)
             (QUARTER-NOT-FULL 2 1991)
             (QUARTER-NOT-FULL 3 1991)
             (CLASS CS210)
             (CLASS-CORE CS210 INNERCORE)
             (CLASS-CREDITS CS210 5)
             (CLASS-TIME CS210 1 L M 12.5 1.33)
             (CLASS-TIME CS210 1 L W 12.5 1.33)
             (CLASS-TIME CS210 1 L F 12.5 1.33)
             (CLASS-TIME CS210 1 AA T 8.5 9.33)
             (CLASS-TIME CS210 1 AA TH 8.5 9.33)
             (CLASS CS211)
             (CLASS-CORE CS211 INNERCORE)
             (CLASS-CREDITS CS211 5)
             (CLASS-PREREQ CS211 CS210)
             (CLASS-TIME CS211 2 L M 1.5 2.33)
             (CLASS-TIME CS211 2 L W 1.5 2.33)
             (CLASS-TIME CS211 2 L F 1.5 2.33)
             (CLASS-TIME CS211 2 AA T 8.5 9.33)
             (CLASS-TIME CS211 2 AA TH 8.5 9.33)
             (CLASS CS321)
             (CLASS-CORE CS321 INNERCORE)
             (CLASS-CREDITS CS321 4)
             (CLASS-PREREQ CS321 CS211)
             (CLASS-TIME CS321 3 L M 9.5 10.33)
             (CLASS-TIME CS321 3 L W 9.5 10.33)
             (CLASS-TIME CS321 3 L F 9.5 10.33)
             (CLASS-TIME CS321 3 AA T 1.5 2.33)
             (CLASS-TIME CS321 3 AA TH 0 0)
             (CLASS CS322)
             (CLASS-CORE CS322 INNERCORE)
             (CLASS-CREDITS CS322 3)
             (CLASS-PREREQ CS322 CS321)
             (CLASS-TIME CS322 1 L M 9.5 10.33)
             (CLASS-TIME CS322 1 L W 9.5 10.33)
             (CLASS-TIME CS322 1 L F 9.5 10.33)
             (CLASS-TIME CS322 1 AA T 0 0)
             (CLASS-TIME CS322 1 AA TH 0 0)
             (CLASS CS326)
             (CLASS-CORE CS326 INNERCORE)
             (CLASS-CREDITS CS326 4)
             (CLASS-PREREQ CS326 CS321)
             (CLASS-TIME CS326 1 L M 11.5 12.33)
             (CLASS-TIME CS326 1 L W 11.5 12.33)
             (CLASS-TIME CS326 1 L F 11.5 12.33)
             (CLASS-TIME CS326 1 AA T 0 0)
             (CLASS-TIME CS326 1 AA TH 11.5 12.33)
             (CLASS CS341)
             (CLASS-CORE CS341 INNERCORE)
             (CLASS-CREDITS CS341 5)
             (CLASS-PREREQ CS341 CS211)
             (CLASS-NO-TAKE-WITH CS341 CS378)
             (CLASS-TIME CS341 1 L M 12.5 1.33)
             (CLASS-TIME CS341 1 L W 12.5 1.33)
             (CLASS-TIME CS341 1 L F 12.5 1.33)
             (CLASS-TIME CS341 1 AA T 12.5 1.33)
             (CLASS-TIME CS341 1 AA TH 12.5 1.33)
             (CLASS CS378)
             (CLASS-CORE CS378 INNERCORE)
             (CLASS-CREDITS CS378 5)
             (CLASS-PREREQ CS378 CS211)
             (CLASS-NO-TAKE-WITH CS378 CS341)
             (CLASS-TIME CS378 2 L M 8.5 9.33)
             (CLASS-TIME CS378 2 L W 8.5 9.33)
             (CLASS-TIME CS378 2 L F 8.5 9.33)
             (CLASS-TIME CS378 2 AA T 12.5 1.33)
             (CLASS-TIME CS378 2 AA TH 12.5 1.33)

 N1 (DONE)
 Alts: *FINISH*

   N2 (SCHEDULED-CLASS CS326)
   Alts: ADD-INNERCORE-CLASS CS326 1 1991 [2]

      N3 (SCHEDULED-CLASS CS321)
      Alts: ADD-INNERCORE-CLASS CS321 3 1991 [2]

         N4 (SCHEDULED-CLASS CS211)
         Alts: ADD-INNERCORE-CLASS CS211 2 1991 [2]

            N5 (SCHEDULED-CLASS CS210)
            Alts: ADD-INNERCORE-CLASS CS210 1 1991 [2]

         ...Done: ADD-INNERCORE-CLASS CS210 1 1991

         N6 (SCHEDULED-CLASS CS211)
         Alts: ADD-INNERCORE-CLASS CS211 2 1991

      ...Done: ADD-INNERCORE-CLASS CS211 2 1991

      N7 (SCHEDULED-CLASS CS321)
      Alts: ADD-INNERCORE-CLASS CS321 3 1991

   ...Done: ADD-INNERCORE-CLASS CS321 3 1991

   N8  . . .
   There are no relevant alts for this node!
-------------------------------------------------

            N5 (SCHEDULED-CLASS CS210)
            Alts: [1] ADD-INNERCORE-CLASS CS210 1 1990

         ...Done: ADD-INNERCORE-CLASS CS210 1 1990

         N9 (SCHEDULED-CLASS CS211)
         Alts: ADD-INNERCORE-CLASS CS211 2 1991

      ...Done: ADD-INNERCORE-CLASS CS211 2 1991

      N10 (SCHEDULED-CLASS CS321)
      Alts: ADD-INNERCORE-CLASS CS321 3 1991

   ...Done: ADD-INNERCORE-CLASS CS321 3 1991

   N11  . . .
   There are no relevant alts for this node!
-------------------------------------------------

         N4 (SCHEDULED-CLASS CS211)
         Alts: [1] ADD-INNERCORE-CLASS CS211 2 1990

            N12 (SCHEDULED-CLASS CS210)
            Alts: ADD-INNERCORE-CLASS CS210 1 1991 [2]

         ...Done: ADD-INNERCORE-CLASS CS210 1 1991

         N13  . . .
         There are no relevant alts for this node!
-------------------------------------------------

            N12 (SCHEDULED-CLASS CS210)
            Alts: [1] ADD-INNERCORE-CLASS CS210 1 1990

         ...Done: ADD-INNERCORE-CLASS CS210 1 1990

         N14 (SCHEDULED-CLASS CS211)
         Alts: ADD-INNERCORE-CLASS CS211 2 1990

      ...Done: ADD-INNERCORE-CLASS CS211 2 1990

      N15 (SCHEDULED-CLASS CS321)
      Alts: ADD-INNERCORE-CLASS CS321 3 1991

   ...Done: ADD-INNERCORE-CLASS CS321 3 1991

   N16  . . .
   There are no relevant alts for this node!
-------------------------------------------------

      N3 (SCHEDULED-CLASS CS321)
      Alts: [1] ADD-INNERCORE-CLASS CS321 3 1990

         N17 (SCHEDULED-CLASS CS211)
         Alts: ADD-INNERCORE-CLASS CS211 2 1991 [2]

            N18 (SCHEDULED-CLASS CS210)
            Alts: ADD-INNERCORE-CLASS CS210 1 1991 [2]

         ...Done: ADD-INNERCORE-CLASS CS210 1 1991

         N19 (SCHEDULED-CLASS CS211)
         Alts: ADD-INNERCORE-CLASS CS211 2 1991

      ...Done: ADD-INNERCORE-CLASS CS211 2 1991

      N20  . . .
      There are no relevant alts for this node!
-------------------------------------------------

            N18 (SCHEDULED-CLASS CS210)
            Alts: [1] ADD-INNERCORE-CLASS CS210 1 1990

         ...Done: ADD-INNERCORE-CLASS CS210 1 1990

         N21 (SCHEDULED-CLASS CS211)
         Alts: ADD-INNERCORE-CLASS CS211 2 1991

      ...Done: ADD-INNERCORE-CLASS CS211 2 1991

      N22  . . .
      There are no relevant alts for this node!
-------------------------------------------------

         N17 (SCHEDULED-CLASS CS211)
         Alts: [1] ADD-INNERCORE-CLASS CS211 2 1990

            N23 (SCHEDULED-CLASS CS210)
            Alts: ADD-INNERCORE-CLASS CS210 1 1991 [2]

         ...Done: ADD-INNERCORE-CLASS CS210 1 1991

         N24  . . .
         There are no relevant alts for this node!
-------------------------------------------------

            N23 (SCHEDULED-CLASS CS210)
            Alts: [1] ADD-INNERCORE-CLASS CS210 1 1990

         ...Done: ADD-INNERCORE-CLASS CS210 1 1990

         N25 (SCHEDULED-CLASS CS211)
         Alts: ADD-INNERCORE-CLASS CS211 2 1990

      ...Done: ADD-INNERCORE-CLASS CS211 2 1990

      N26 (SCHEDULED-CLASS CS321)
      Alts: ADD-INNERCORE-CLASS CS321 3 1990

   ...Done: ADD-INNERCORE-CLASS CS321 3 1990

   N27 (SCHEDULED-CLASS CS326)
   Alts: ADD-INNERCORE-CLASS CS326 1 1991

 ...Done: ADD-INNERCORE-CLASS CS326 1 1991

 N28 (DONE)
 Alts: *FINISH*

 ...Done: *FINISH*

Completed Success

CPU time: 3.0 seconds
Number of Nodes: 29
Solution Length: 4
Operator Sequence: 

      ADD-INNERCORE-CLASS CS210 1 1990
      ADD-INNERCORE-CLASS CS211 2 1990
      ADD-INNERCORE-CLASS CS321 3 1990
      ADD-INNERCORE-CLASS CS326 1 1991


Prodigy: prob


  The problems for Cs-Sched2 are...

  innercore_all4   time-conflict3   innercore4       prereq           
  innercore_all3   time-conflict2   suicide2         suicide          
  prereq3          variable         time-conflict    golden           
  innercore_all    innercore2       quarter-full3    quarter-full     
  time-conflict4   innercore        prereq2          innercore_all2   
  innercore3       time-conflict5   quarter-full2    
  

  Enter a problem: quarter-full3

; Loading /user3/class/csci/c473/c473bv/my-domains/cs-sched2/probs/quarter-full3.lisp.

  Goal State:  (AND (SCHEDULED-CLASS CS321) (SCHEDULED-CLASS CS322) (SCHEDULED-CLASS CS326))
 There are unknown predicates in *START-STATE*:
 (CLASS)
 There are open world predicates in the start state:
 (CLASS)

Prodigy: solve


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

Goal State: (AND (SCHEDULED-CLASS CS321) (SCHEDULED-CLASS CS322) (SCHEDULED-CLASS CS326))
Start State: (INNERCORE-CREDITS 0)
             (INNERCORE-REQUIRED 15)
             (QUARTER-NOT-FULL 1 1990)
             (QUARTER-INFO 1 1990 2 0)
             (QUARTER-NOT-FULL 1 1991)
             (QUARTER-INFO 1 1991 2 0)
             (QUARTER-NOT-FULL 1 1992)
             (QUARTER-INFO 1 1992 2 0)
             (CLASS CS321)
             (CLASS-CORE CS321 INNERCORE)
             (CLASS-CREDITS CS321 4)
             (CLASS-TIME CS321 1 L M 8.5 9.33)
             (CLASS-TIME CS321 1 L W 8.5 9.33)
             (CLASS-TIME CS321 1 L F 8.5 9.33)
             (CLASS-TIME CS321 1 AA T 0 0)
             (CLASS-TIME CS321 1 AA TH 0 0)
             (CLASS CS322)
             (CLASS-CORE CS322 INNERCORE)
             (CLASS-CREDITS CS322 3)
             (CLASS-TIME CS322 1 L M 10.5 11.33)
             (CLASS-TIME CS322 1 L W 10.5 11.33)
             (CLASS-TIME CS322 1 L F 10.5 11.33)
             (CLASS-TIME CS322 1 AA T 0 0)
             (CLASS-TIME CS322 1 AA TH 0 0)
             (CLASS CS326)
             (CLASS-CORE CS326 INNERCORE)
             (CLASS-CREDITS CS326 3)
             (CLASS-TIME CS326 1 L M 10.5 11.33)
             (CLASS-TIME CS326 1 L W 10.5 11.33)
             (CLASS-TIME CS326 1 L F 10.5 11.33)
             (CLASS-TIME CS326 1 AA T 0 0)
             (CLASS-TIME CS326 1 AA TH 0 0)

 N1 (DONE)
 Alts: *FINISH*

   N2 (SCHEDULED-CLASS CS321)
   Alts: ADD-INNERCORE-CLASS CS321 1 1992 [2-9]

 ...Done: ADD-INNERCORE-CLASS CS321 1 1992

 N3 (DONE)
 Alts: *FINISH*

   N4 (SCHEDULED-CLASS CS322)
   Alts: ADD-INNERCORE-CLASS CS322 1 1992 [2-6]

 ...Done: ADD-INNERCORE-CLASS CS322 1 1992

 N5 (DONE)
 Alts: *FINISH*

   N6 (SCHEDULED-CLASS CS326)
   Alts: ADD-INNERCORE-CLASS CS326 1 1991 [2]

 ...Done: ADD-INNERCORE-CLASS CS326 1 1991

 N7 (DONE)
 Alts: *FINISH*

 ...Done: *FINISH*

Completed Success

CPU time: 0.8 seconds
Number of Nodes: 8
Solution Length: 3
Operator Sequence: 

      ADD-INNERCORE-CLASS CS321 1 1992
      ADD-INNERCORE-CLASS CS322 1 1992
      ADD-INNERCORE-CLASS CS326 1 1991


Prodigy: dom


  The available domains are...


  new-cs-sched      cs-sched          cs_sched_backup   
  quarter-full      temp              hanoi             
  cs-sched2         incrementor       blocksworld       
  

  Select a domain: cs-sched2

; Loading /user3/class/csci/c473/c473bv/my-domains/cs-sched2/startup.lisp.
; Loading /user3/class/csci/c473/c473bv/my-domains/cs-sched2/functions.lisp.
; Loading /user3/class/csci/c473/c473bv/my-domains/cs-sched2/meta-fns.lisp.
; Loading /user3/class/csci/c473/c473bv/my-domains/cs-sched2/domain.lisp.
; Loading /user3/class/csci/c473/c473bv/my-domains/cs-sched2/sc-rules.lisp.

 NOTE: The following static predicates have not been implemented 
 as functions:  (CLASS-CREDITS ELECTIVECORE-REQUIRED CLASS-PREREQ CLASS-TIME CLASS-NO-TAKE-WITH CLASS-CORE OUTERCORE-REQUIRED INNERCORE-REQUIRED)


Prodigy: solve


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

Goal State: (AND (SCHEDULED-CLASS CS321) (SCHEDULED-CLASS CS322) (SCHEDULED-CLASS CS326))
Start State: (INNERCORE-CREDITS 0)
             (INNERCORE-REQUIRED 15)
             (QUARTER-NOT-FULL 1 1990)
             (QUARTER-INFO 1 1990 2 0)
             (QUARTER-NOT-FULL 1 1991)
             (QUARTER-INFO 1 1991 2 0)
             (QUARTER-NOT-FULL 1 1992)
             (QUARTER-INFO 1 1992 2 0)
             (CLASS CS321)
             (CLASS-CORE CS321 INNERCORE)
             (CLASS-CREDITS CS321 4)
             (CLASS-TIME CS321 1 L M 8.5 9.33)
             (CLASS-TIME CS321 1 L W 8.5 9.33)
             (CLASS-TIME CS321 1 L F 8.5 9.33)
             (CLASS-TIME CS321 1 AA T 0 0)
             (CLASS-TIME CS321 1 AA TH 0 0)
             (CLASS CS322)
             (CLASS-CORE CS322 INNERCORE)
             (CLASS-CREDITS CS322 3)
             (CLASS-TIME CS322 1 L M 10.5 11.33)
             (CLASS-TIME CS322 1 L W 10.5 11.33)
             (CLASS-TIME CS322 1 L F 10.5 11.33)
             (CLASS-TIME CS322 1 AA T 0 0)
             (CLASS-TIME CS322 1 AA TH 0 0)
             (CLASS CS326)
             (CLASS-CORE CS326 INNERCORE)
             (CLASS-CREDITS CS326 3)
             (CLASS-TIME CS326 1 L M 10.5 11.33)
             (CLASS-TIME CS326 1 L W 10.5 11.33)
             (CLASS-TIME CS326 1 L F 10.5 11.33)
             (CLASS-TIME CS326 1 AA T 0 0)
             (CLASS-TIME CS326 1 AA TH 0 0)

 N1 (DONE)
 Alts: *FINISH*

   N2 (SCHEDULED-CLASS CS321)
   Alts: ADD-INNERCORE-CLASS CS321 1 1990 [2-9]

 ...Done: ADD-INNERCORE-CLASS CS321 1 1990

 N3 (DONE)
 Alts: *FINISH*

   N4 (SCHEDULED-CLASS CS322)
   Alts: ADD-INNERCORE-CLASS CS322 1 1990 [2-6]

 ...Done: ADD-INNERCORE-CLASS CS322 1 1990

 N5 (DONE)
 Alts: *FINISH*

   N6 (SCHEDULED-CLASS CS326)
   Alts: ADD-INNERCORE-CLASS CS326 1 1991 [2]

 ...Done: ADD-INNERCORE-CLASS CS326 1 1991

 N7 (DONE)
 Alts: *FINISH*

 ...Done: *FINISH*

Completed Success

CPU time: 0.9 seconds
Number of Nodes: 8
Solution Length: 3
Operator Sequence: 

      ADD-INNERCORE-CLASS CS321 1 1990
      ADD-INNERCORE-CLASS CS322 1 1990
      ADD-INNERCORE-CLASS CS326 1 1991


Prodigy: 