
Prodigy: prob


  The problems for Cs_Sched are...

  time-conflict4         test8                  suicide                
  time-conflict3         time-conflict          golden                 
  time-conflict2         test7                  test3                  
  innercore2             test6                  test2                  
  time-conflict4.lisp~   test5                  test                   
  innercore              prereq                 
  suicide2               test4                  
  

  Enter a problem: time-conflict4

; Loading /user3/class/csci/c473/c473bv/my-domains/cs_sched/probs/time-conflict4.lisp.

  Goal State:  (SCHEDULECOMPLETE)

Prodigy: solve


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

Goal State: (SCHEDULECOMPLETE)
Start State: (INNERCORE-CREDITS 0)
             (INNERCORE-REQUIRED 10)
             (QUARTER-INFO 2 1991 3 0)
             (QUARTER-NOT-FULL 2 1991)
             (CLASS CS326)
             (CLASS-CORE CS326 INNERCORE)
             (CLASS-CREDITS CS326 4)
             (CLASS-TIME CS326 2 L M 10.5 11.33)
             (CLASS-TIME CS326 2 L W 10.5 11.33)
             (CLASS-TIME CS326 2 L F 10.5 11.33)
             (CLASS-TIME CS326 2 AC T 10.5 11.33)
             (CLASS-TIME CS326 2 AC TH 10.5 11.33)
             (CLASS CS341)
             (CLASS-CORE CS341 INNERCORE)
             (CLASS-CREDITS CS341 5)
             (CLASS-TIME CS341 2 L M 11.5 12.33)
             (CLASS-TIME CS341 2 L W 11.5 12.33)
             (CLASS-TIME CS341 2 L F 11.5 12.33)
             (CLASS-TIME CS341 2 AA T 11.5 12.33)
             (CLASS-TIME CS341 2 AA TH 11.5 12.33)

 N1 (DONE)
 Alts: *FINISH*

   N2 (SCHEDULECOMPLETE)
   Alts: INFER-SCHEDULE-COMPLETE

      N3 (INNERCORECOMPLETED)
      Alts: ADD-INNERCORE-COMPLETED

         N4 (INNERCORE-CREDITS 10)
         Alts: ADD-INNERCORE-CLASS CS341 2 1991 [2]

            N5 (INNERCORE-CREDITS 5)
            Alts: ADD-INNERCORE-CLASS CS341 2 1991 [2]

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

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

            N5 (INNERCORE-CREDITS 5)
            Alts: [1] ADD-INNERCORE-CLASS CS326 2 1991

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

         N7 (INNERCORE-CREDITS 10)
         Alts: ADD-INNERCORE-CLASS CS341 2 1991

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

      N8 (INNERCORECOMPLETED)
      Alts: ADD-INNERCORE-COMPLETED

   ...Done: ADD-INNERCORE-COMPLETED

   N9 (SCHEDULECOMPLETE)
   Alts: INFER-SCHEDULE-COMPLETE

 ...Done: INFER-SCHEDULE-COMPLETE

 N10 (DONE)
 Alts: *FINISH*

 ...Done: *FINISH*

Completed Success

CPU time: 0.5 seconds
Number of Nodes: 11
Solution Length: 4
Operator Sequence: 

      ADD-INNERCORE-CLASS CS326 2 1991
      ADD-INNERCORE-CLASS CS341 2 1991
      ADD-INNERCORE-COMPLETED


Prodigy: prob


  The problems for Cs_Sched are...

  time-conflict5.lisp~   innercore              prereq                 
  time-conflict4         suicide2               test4                  
  time-conflict3         test8                  suicide                
  time-conflict2         time-conflict          golden                 
  innercore2             test7                  test3                  
  time-conflict4.lisp~   test6                  test2                  
  time-conflict5         test5                  test                   
  

  Enter a problem: time-conflict5

; Loading /user3/class/csci/c473/c473bv/my-domains/cs_sched/probs/time-conflict5.lisp.

  Goal State:  (SCHEDULECOMPLETE)

Prodigy: solve


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

Goal State: (SCHEDULECOMPLETE)
Start State: (INNERCORE-CREDITS 0)
             (INNERCORE-REQUIRED 10)
             (QUARTER-INFO 2 1991 3 0)
             (QUARTER-NOT-FULL 2 1991)
             (CLASS CS326)
             (CLASS-CORE CS326 INNERCORE)
             (CLASS-CREDITS CS326 4)
             (CLASS-TIME CS326 2 L M 10.5 11.33)
             (CLASS-TIME CS326 2 L W 10.5 11.33)
             (CLASS-TIME CS326 2 L F 10.5 11.33)
             (CLASS-TIME CS326 2 AC T 11.5 12.33)
             (CLASS-TIME CS326 2 AC TH 11.5 12.33)
             (CLASS CS341)
             (CLASS-CORE CS341 INNERCORE)
             (CLASS-CREDITS CS341 5)
             (CLASS-TIME CS341 2 L M 11.5 12.33)
             (CLASS-TIME CS341 2 L W 11.5 12.33)
             (CLASS-TIME CS341 2 L F 11.5 12.33)
             (CLASS-TIME CS341 2 AA T 11.5 12.33)
             (CLASS-TIME CS341 2 AA TH 11.5 12.33)

 N1 (DONE)
 Alts: *FINISH*

   N2 (SCHEDULECOMPLETE)
   Alts: INFER-SCHEDULE-COMPLETE

      N3 (INNERCORECOMPLETED)
      Alts: ADD-INNERCORE-COMPLETED

         N4 (INNERCORE-CREDITS 10)
         Alts: ADD-INNERCORE-CLASS CS341 2 1991 [2]

            N5 (INNERCORE-CREDITS 5)
            Alts: ADD-INNERCORE-CLASS CS341 2 1991 [2]

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

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

            N5 (INNERCORE-CREDITS 5)
            Alts: [1] ADD-INNERCORE-CLASS CS326 2 1991

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

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

         N4 (INNERCORE-CREDITS 10)
         Alts: [1] ADD-INNERCORE-CLASS CS326 2 1991

            N8 (INNERCORE-CREDITS 5)
            Alts: ADD-INNERCORE-CLASS CS341 2 1991 [2]

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

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

            N8 (INNERCORE-CREDITS 5)
            Alts: [1] ADD-INNERCORE-CLASS CS326 2 1991

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

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

Completed Failure

CPU time: 0.6 seconds
Number of Nodes: 10


Prodigy: prob


  The problems for Cs_Sched are...

  prereq.lisp~            time-conflict5          prereq                  
  time-conflict5.lisp~    innercore               test4                   
  #time-conflict5.lisp#   suicide2                suicide                 
  time-conflict4          test8                   golden                  
  time-conflict3          time-conflict           test3                   
  time-conflict2          test7                   test2                   
  innercore2              test6                   test                    
  time-conflict4.lisp~    test5                   
  

  Enter a problem: prereq

; Loading /user3/class/csci/c473/c473bv/my-domains/cs_sched/probs/prereq.lisp.


Prodigy: solve


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

Goal State: (SCHEDULECOMPLETE)

CPU time: 1.0 seconds
Number of Nodes: 10
Solution Length: 4
Operator Sequence: 

      ADD-INNERCORE-CLASS CS326 2 1991
      ADD-INNERCORE-CLASS CS341 3 1991
      ADD-INNERCORE-COMPLETED


Prodigy: prob


  The problems for Cs_Sched are...

  prereq2.lisp~           time-conflict5          prereq                  
  prereq.lisp~            innercore               test4                   
  time-conflict5.lisp~    suicide2                suicide                 
  #time-conflict5.lisp#   test8                   golden                  
  time-conflict4          time-conflict           test3                   
  time-conflict3          test7                   test2                   
  time-conflict2          prereq2                 test                    
  innercore2              test6                   
  time-conflict4.lisp~    test5                   
  

  Enter a problem: prereq2

; Loading /user3/class/csci/c473/c473bv/my-domains/cs_sched/probs/prereq2.lisp.


Prodigy: solve


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

Goal State: (SCHEDULECOMPLETE)

CPU time: 15.0 seconds
Number of Nodes: 92


Prodigy: prob


  The problems for Cs_Sched are...

  innercore2.lisp~        innercore2              test6                   
  #innercore.lisp#        time-conflict4.lisp~    test5                   
  prereq2.lisp~           time-conflict5          prereq                  
  prereq.lisp~            innercore               test4                   
  time-conflict5.lisp~    suicide2                suicide                 
  #time-conflict5.lisp#   test8                   golden                  
  time-conflict4          time-conflict           test3                   
  time-conflict3          test7                   test2                   
  time-conflict2          prereq2                 test                    
  

  Enter a problem: innercore2

; Loading /user3/class/csci/c473/c473bv/my-domains/cs_sched/probs/innercore2.lisp.


Prodigy: solve


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

Goal State: (INNERCORECOMPLETED)

CPU time: 38.1 seconds
Number of Nodes: 152
Solution Length: 4
Operator Sequence: 

      ADD-INNERCORE-CLASS CS321 1 1990
      ADD-INNERCORE-CLASS CS322 2 1990
      ADD-INNERCORE-CLASS CS326 3 1990
      ADD-INNERCORE-COMPLETED


Prodigy: prob


  The problems for Cs_Sched are...

  #innercore.lisp#        suicide2                test4                   
  innercore3              test8                   suicide                 
  #time-conflict5.lisp#   time-conflict           golden                  
  time-conflict4          test7                   test3                   
  time-conflict3          prereq2                 test2                   
  time-conflict2          test6                   test                    
  innercore2              test5                   
  time-conflict5          prereq                  
  

  Enter a problem: innercore3

; Loading /user3/class/csci/c473/c473bv/my-domains/cs_sched/probs/innercore3.lisp.


Prodigy: solve


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

Goal State: (INNERCORECOMPLETED)

CPU time: 2.3 seconds
Number of Nodes: 19
Solution Length: 4
Operator Sequence: 

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


Prodigy: prob


  The problems for Cs_Sched are...

  #innercore.lisp#        time-conflict5          test5                   
  innercore3              innercore4              prereq                  
  innercore4.lisp~        suicide2                test4                   
  #time-conflict5.lisp#   test8                   suicide                 
  time-conflict4          time-conflict           golden                  
  time-conflict3          test7                   test3                   
  time-conflict2          prereq2                 test2                   
  innercore2              test6                   test                    
  

  Enter a problem: innercore4

; Loading /user3/class/csci/c473/c473bv/my-domains/cs_sched/probs/innercore4.lisp.


Prodigy: solve


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

Goal State: (INNERCORECOMPLETED)

CPU time: 7.3 seconds
Number of Nodes: 43
Solution Length: 4
Operator Sequence: 

      ADD-INNERCORE-CLASS CS321 1 1990
      ADD-INNERCORE-CLASS CS322 2 1990
      ADD-INNERCORE-CLASS CS326 2 1990
      ADD-INNERCORE-COMPLETED


Prodigy: prob


  The problems for Cs_Sched are...

  #innercore.lisp#        innercore2              test5                   
  golden.lisp~            time-conflict5          prereq                  
  innercore3              innercore4              test4                   
  #innercore4.lisp#       suicide2                suicide                 
  innercore4.lisp~        test8                   golden                  
  #time-conflict5.lisp#   time-conflict           test3                   
  time-conflict4          test7                   test2                   
  time-conflict3          prereq2                 test                    
  time-conflict2          test6                   
  

  Enter a problem: suicide

; Loading /user3/class/csci/c473/c473bv/my-domains/cs_sched/probs/suicide.lisp.


Prodigy: text

  The problem solving trace text is now on.

Prodigy: solve


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

Goal State: (SCHEDULECOMPLETE)
Start State: (INNERCORE-CREDITS 0)
             (INNERCORE-REQUIRED 5)
             (QUARTER-INFO 2 1991 3 0)
             (QUARTER-INFO 3 1991 3 0)
             (QUARTER-NOT-FULL 2 1991)
             (QUARTER-NOT-FULL 3 1991)
             (SCHEDULED CS378 2 1991 L M 10.5 11.33 AA T 0 0 L W 10.5 11.33 AA TH 0 0 L F 10.5 11.33)
             (CLASS CS326)
             (CLASS-CORE CS326 INNERCORE)
             (CLASS-CREDITS CS326 4)
             (CLASS-NO-TAKE-WITH CS326 CS378)
             (CLASS-TIME CS326 2 L M 11.5 12.33)
             (CLASS-TIME CS326 2 L W 11.5 12.33)
             (CLASS-TIME CS326 2 L F 11.5 12.33)
             (CLASS-TIME CS326 2 AA T 0 0)
             (CLASS-TIME CS326 2 AA TH 11.5 12.33)
             (CLASS-TIME CS326 2 AB T 0 0)
             (CLASS-TIME CS326 2 AB TH 11.5 12.33)
             (CLASS CS341)
             (CLASS-CORE CS341 INNERCORE)
             (CLASS-CREDITS CS341 5)
             (CLASS-NO-TAKE-WITH CS341 CS378)
             (CLASS-TIME CS341 2 L M 12.5 1.33)
             (CLASS-TIME CS341 2 L W 12.5 1.33)
             (CLASS-TIME CS341 2 L F 12.5 1.33)
             (CLASS-TIME CS341 2 AA T 12.5 1.33)
             (CLASS-TIME CS341 2 AA TH 12.5 1.33)
             (CLASS-TIME CS341 2 AB T 1.5 2.33)
             (CLASS-TIME CS341 2 AB TH 1.5 2.33)

 N1 (DONE)
 Alts: *FINISH*

   N2 (SCHEDULECOMPLETE)
   Alts: INFER-SCHEDULE-COMPLETE

      N3 (INNERCORECOMPLETED)
      Alts: ADD-INNERCORE-COMPLETED

         N4 (INNERCORE-CREDITS 5)
         There are no relevant alts for this node!
-------------------------------------------------

Completed Failure

CPU time: 0.1 seconds
Number of Nodes: 4


Prodigy: probs


  The problems for Cs_Sched are...

  #innercore.lisp#        innercore2              test5                   
  golden.lisp~            time-conflict5          prereq                  
  innercore3              innercore4              test4                   
  #innercore4.lisp#       suicide2                suicide                 
  innercore4.lisp~        test8                   golden                  
  #time-conflict5.lisp#   time-conflict           test3                   
  time-conflict4          test7                   test2                   
  time-conflict3          prereq2                 test                    
  time-conflict2          test6                   
  

  Enter a problem: suicide2

; Loading /user3/class/csci/c473/c473bv/my-domains/cs_sched/probs/suicide2.lisp.

  Goal State:  (SCHEDULECOMPLETE)

Prodigy: solve


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

Goal State: (SCHEDULECOMPLETE)
Start State: (INNERCORE-CREDITS 0)
             (INNERCORE-REQUIRED 5)
             (QUARTER-INFO 2 1991 3 0)
             (QUARTER-INFO 3 1991 3 0)
             (QUARTER-NOT-FULL 2 1991)
             (QUARTER-NOT-FULL 3 1991)
             (SCHEDULED CS378 2 1991 L M 10.5 11.33 AA T 0 0 L W 10.5 11.33 AA TH 0 0 L F 10.5 11.33)
             (CLASS CS326)
             (CLASS-CORE CS326 INNERCORE)
             (CLASS-CREDITS CS326 4)
             (CLASS-NO-TAKE-WITH CS326 CS378)
             (CLASS-TIME CS326 3 L M 11.5 12.33)
             (CLASS-TIME CS326 3 L W 11.5 12.33)
             (CLASS-TIME CS326 3 L F 11.5 12.33)
             (CLASS-TIME CS326 3 AA T 0 0)
             (CLASS-TIME CS326 3 AA TH 11.5 12.33)
             (CLASS-TIME CS326 3 AB T 0 0)
             (CLASS-TIME CS326 3 AB TH 11.5 12.33)
             (CLASS CS341)
             (CLASS-CORE CS341 INNERCORE)
             (CLASS-CREDITS CS341 5)
             (CLASS-NO-TAKE-WITH CS341 CS378)
             (CLASS-TIME CS341 2 L M 12.5 1.33)
             (CLASS-TIME CS341 2 L W 12.5 1.33)
             (CLASS-TIME CS341 2 L F 12.5 1.33)
             (CLASS-TIME CS341 2 AA T 12.5 1.33)
             (CLASS-TIME CS341 2 AA TH 12.5 1.33)
             (CLASS-TIME CS341 2 AB T 1.5 2.33)
             (CLASS-TIME CS341 2 AB TH 1.5 2.33)

 N1 (DONE)
 Alts: *FINISH*

   N2 (SCHEDULECOMPLETE)
   Alts: INFER-SCHEDULE-COMPLETE

      N3 (INNERCORECOMPLETED)
      Alts: ADD-INNERCORE-COMPLETED

         N4 (INNERCORE-CREDITS 5)
         Alts: ADD-INNERCORE-CLASS CS326 3 1991 [2]

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

      N5 (INNERCORECOMPLETED)
      Alts: ADD-INNERCORE-COMPLETED

   ...Done: ADD-INNERCORE-COMPLETED

   N6 (SCHEDULECOMPLETE)
   Alts: INFER-SCHEDULE-COMPLETE

 ...Done: INFER-SCHEDULE-COMPLETE

 N7 (DONE)
 Alts: *FINISH*

 ...Done: *FINISH*

Completed Success

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

      ADD-INNERCORE-CLASS CS326 3 1991
      ADD-INNERCORE-COMPLETED


Prodigy: 

