; Schedule time: 10 
; Number of problems: 25 
; Number of objects: 5 
; Number of bolts: 5 
; Number of goals: 1 
(setq *TEST-PROBS* '(

(sc-1 (joined b e orientation-2)
 ((last-time 10) (is-bolt (b1 (1.199999 cm)))
  (is-bolt (b2 (1.199999 cm))) (is-bolt (b3 (1.199999 cm)))
  (is-bolt (b4 (8 mm))) (is-bolt (b5 (8 mm))) (last-scheduled e 0)
  (last-scheduled d 0) (last-scheduled c 0) (last-scheduled b 0)
  (last-scheduled a 0) (painted e (regular white))
  (temperature e cold) (shape e undetermined) (is-object e)
  (temperature d cold) (shape d undetermined) (is-object d)
  (has-hole c (8 mm) orientation-3) (painted c (regular red))
  (surface-condition c polished) (temperature c cold)
  (shape c rectangular) (is-object c) (temperature b cold)
  (shape b rectangular) (is-object b)
  (has-hole a (8 mm) orientation-3) (temperature a cold)
  (shape a irregular) (is-object a))) 
(sc-2 (has-hole d (1 cm) orientation-4)
 ((last-time 10) (is-bolt (b1 (6 mm))) (is-bolt (b2 (6 mm)))
  (is-bolt (b3 (1 cm))) (is-bolt (b4 (4 mm)))
  (is-bolt (b5 (1.199999 cm))) (last-scheduled e 0)
  (last-scheduled d 0) (last-scheduled c 0) (last-scheduled b 0)
  (last-scheduled a 0) (temperature e cold) (shape e rectangular)
  (is-object e) (has-hole d (2 mm) orientation-2)
  (temperature d cold) (shape d irregular) (is-object d)
  (has-hole c (8 mm) orientation-1) (painted c (regular white))
  (surface-condition c smooth) (temperature c cold)
  (shape c undetermined) (is-object c) (painted b (water-res white))
  (temperature b cold) (shape b irregular) (is-object b)
  (has-hole a (1 cm) orientation-4) (painted a (water-res red))
  (temperature a cold) (shape a cylindrical) (is-object a))) 
(sc-3 (has-hole d (2 mm) orientation-1)
 ((last-time 10) (is-bolt (b1 (4 mm))) (is-bolt (b2 (2 mm)))
  (is-bolt (b3 (6 mm))) (is-bolt (b4 (1 cm))) (is-bolt (b5 (2 mm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0) (painted e (regular red))
  (temperature e cold) (shape e cylindrical) (is-object e)
  (has-hole d (8 mm) orientation-1) (surface-condition d polished)
  (temperature d cold) (shape d rectangular) (is-object d)
  (has-hole c (2 mm) orientation-4) (temperature c cold)
  (shape c rectangular) (is-object c) (temperature b cold)
  (shape b rectangular) (is-object b) (painted a (water-res white))
  (surface-condition a rough) (temperature a cold)
  (shape a undetermined) (is-object a))) 
(sc-4 (shape d cylindrical)
 ((last-time 10) (is-bolt (b1 (1 cm))) (is-bolt (b2 (6 mm)))
  (is-bolt (b3 (6 mm))) (is-bolt (b4 (1.199999 cm)))
  (is-bolt (b5 (1.199999 cm))) (last-scheduled e 0)
  (last-scheduled d 0) (last-scheduled c 0) (last-scheduled b 0)
  (last-scheduled a 0) (painted e (water-res white))
  (temperature e cold) (shape e cylindrical) (is-object e)
  (temperature d cold) (shape d rectangular) (is-object d)
  (temperature c cold) (shape c cylindrical) (is-object c)
  (has-hole b (6 mm) orientation-3) (painted b (water-res white))
  (temperature b cold) (shape b irregular) (is-object b)
  (has-hole a (1 cm) orientation-2) (surface-condition a rough)
  (temperature a cold) (shape a irregular) (is-object a))) 
(sc-5 (surface-condition c polished)
 ((last-time 10) (is-bolt (b1 (2 mm))) (is-bolt (b2 (1 cm)))
  (is-bolt (b3 (4 mm))) (is-bolt (b4 (1.4 cm))) (is-bolt (b5 (4 mm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0)
  (surface-condition e rough) (temperature e cold)
  (shape e undetermined) (is-object e) (temperature d cold)
  (shape d irregular) (is-object d)
  (has-hole c (1.4 cm) orientation-1) (temperature c cold)
  (shape c undetermined) (is-object c)
  (has-hole b (8 mm) orientation-3) (temperature b cold)
  (shape b cylindrical) (is-object b)
  (has-hole a (1.4 cm) orientation-2) (temperature a cold)
  (shape a undetermined) (is-object a))) 
(sc-6 (joined c d orientation-2)
 ((last-time 10) (is-bolt (b1 (1 cm))) (is-bolt (b2 (1.199999 cm)))
  (is-bolt (b3 (1 cm))) (is-bolt (b4 (4 mm))) (is-bolt (b5 (1.4 cm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0)
  (painted e (regular white)) (temperature e cold)
  (shape e undetermined) (is-object e)
  (has-hole d (8 mm) orientation-2) (painted d (water-res white))
  (surface-condition d smooth) (temperature d cold)
  (shape d undetermined) (is-object d) (temperature c cold)
  (shape c rectangular) (is-object c) (painted b (water-res red))
  (temperature b cold) (shape b cylindrical) (is-object b)
  (temperature a cold) (shape a irregular) (is-object a))) 
(sc-7 (shape a cylindrical)
 ((last-time 10) (is-bolt (b1 (1.4 cm))) (is-bolt (b2 (1.4 cm)))
  (is-bolt (b3 (1.4 cm))) (is-bolt (b4 (1.199999 cm)))
  (is-bolt (b5 (2 mm))) (last-scheduled e 0) (last-scheduled d 0)
  (last-scheduled c 0) (last-scheduled b 0) (last-scheduled a 0)
  (temperature e cold) (shape e cylindrical) (is-object e)
  (surface-condition d smooth) (temperature d cold)
  (shape d cylindrical) (is-object d) (temperature c cold)
  (shape c rectangular) (is-object c) (temperature b cold)
  (shape b cylindrical) (is-object b)
  (has-hole a (4 mm) orientation-2) (surface-condition a smooth)
  (temperature a cold) (shape a rectangular) (is-object a))) 
(sc-8 (shape d cylindrical)
 ((last-time 10) (is-bolt (b1 (1 cm))) (is-bolt (b2 (1 cm)))
  (is-bolt (b3 (6 mm))) (is-bolt (b4 (1.199999 cm)))
  (is-bolt (b5 (8 mm))) (last-scheduled e 0) (last-scheduled d 0)
  (last-scheduled c 0) (last-scheduled b 0) (last-scheduled a 0)
  (temperature e cold) (shape e irregular) (is-object e)
  (surface-condition d smooth) (temperature d cold)
  (shape d undetermined) (is-object d) (temperature c cold)
  (shape c undetermined) (is-object c) (temperature b cold)
  (shape b undetermined) (is-object b)
  (has-hole a (4 mm) orientation-4) (temperature a cold)
  (shape a undetermined) (is-object a))) 
(sc-9 (shape a cylindrical)
 ((last-time 10) (is-bolt (b1 (1 cm))) (is-bolt (b2 (1.199999 cm)))
  (is-bolt (b3 (6 mm))) (is-bolt (b4 (4 mm))) (is-bolt (b5 (2 mm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0)
  (surface-condition e rough) (temperature e cold)
  (shape e rectangular) (is-object e)
  (has-hole d (4 mm) orientation-1) (temperature d cold)
  (shape d rectangular) (is-object d) (surface-condition c polished)
  (temperature c cold) (shape c cylindrical) (is-object c)
  (temperature b cold) (shape b rectangular) (is-object b)
  (has-hole a (1 cm) orientation-1) (temperature a cold)
  (shape a rectangular) (is-object a))) 
(sc-10 (joined a b orientation-2)
 ((last-time 10) (is-bolt (b1 (4 mm))) (is-bolt (b2 (4 mm)))
  (is-bolt (b3 (1 cm))) (is-bolt (b4 (8 mm))) (is-bolt (b5 (8 mm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0)
  (has-hole e (1 cm) orientation-3) (painted e (regular red))
  (surface-condition e polished) (temperature e cold)
  (shape e cylindrical) (is-object e)
  (has-hole d (2 mm) orientation-4) (painted d (regular white))
  (temperature d cold) (shape d rectangular) (is-object d)
  (temperature c cold) (shape c cylindrical) (is-object c)
  (painted b (regular red)) (temperature b cold)
  (shape b undetermined) (is-object b) (temperature a cold)
  (shape a cylindrical) (is-object a))) 
(sc-11 (surface-condition a smooth)
 ((last-time 10) (is-bolt (b1 (6 mm))) (is-bolt (b2 (2 mm)))
  (is-bolt (b3 (8 mm))) (is-bolt (b4 (4 mm))) (is-bolt (b5 (8 mm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0) (temperature e cold)
  (shape e undetermined) (is-object e) (surface-condition d rough)
  (temperature d cold) (shape d irregular) (is-object d)
  (surface-condition c smooth) (temperature c cold)
  (shape c cylindrical) (is-object c) (temperature b cold)
  (shape b irregular) (is-object b)
  (has-hole a (1.199999 cm) orientation-1) (temperature a cold)
  (shape a cylindrical) (is-object a))) 
(sc-12 (shape e cylindrical)
 ((last-time 10) (is-bolt (b1 (1 cm))) (is-bolt (b2 (1.4 cm)))
  (is-bolt (b3 (1.4 cm))) (is-bolt (b4 (2 mm))) (is-bolt (b5 (2 mm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0)
  (has-hole e (4 mm) orientation-2) (surface-condition e polished)
  (temperature e cold) (shape e irregular) (is-object e)
  (temperature d cold) (shape d rectangular) (is-object d)
  (surface-condition c polished) (temperature c cold)
  (shape c rectangular) (is-object c)
  (has-hole b (4 mm) orientation-2) (temperature b cold)
  (shape b undetermined) (is-object b) (painted a (regular white))
  (surface-condition a smooth) (temperature a cold)
  (shape a undetermined) (is-object a))) 
(sc-13 (joined a e orientation-4)
 ((last-time 10) (is-bolt (b1 (1.199999 cm))) (is-bolt (b2 (6 mm)))
  (is-bolt (b3 (2 mm))) (is-bolt (b4 (1.199999 cm)))
  (is-bolt (b5 (6 mm))) (last-scheduled e 0) (last-scheduled d 0)
  (last-scheduled c 0) (last-scheduled b 0) (last-scheduled a 0)
  (has-hole e (6 mm) orientation-1) (surface-condition e polished)
  (temperature e cold) (shape e rectangular) (is-object e)
  (has-hole d (4 mm) orientation-3) (surface-condition d polished)
  (temperature d cold) (shape d irregular) (is-object d)
  (has-hole c (1.4 cm) orientation-1) (painted c (regular red))
  (temperature c cold) (shape c cylindrical) (is-object c)
  (has-hole b (2 mm) orientation-3) (surface-condition b polished)
  (temperature b cold) (shape b irregular) (is-object b)
  (has-hole a (6 mm) orientation-3) (temperature a cold)
  (shape a cylindrical) (is-object a))) 
(sc-14 (has-hole e (1.4 cm) orientation-2)
 ((last-time 10) (is-bolt (b1 (6 mm))) (is-bolt (b2 (1 cm)))
  (is-bolt (b3 (1.199999 cm))) (is-bolt (b4 (1.199999 cm)))
  (is-bolt (b5 (2 mm))) (last-scheduled e 0) (last-scheduled d 0)
  (last-scheduled c 0) (last-scheduled b 0) (last-scheduled a 0)
  (temperature e cold) (shape e rectangular) (is-object e)
  (has-hole d (4 mm) orientation-1) (surface-condition d rough)
  (temperature d cold) (shape d irregular) (is-object d)
  (has-hole c (1.4 cm) orientation-1) (painted c (regular white))
  (surface-condition c smooth) (temperature c cold)
  (shape c rectangular) (is-object c)
  (has-hole b (1.199999 cm) orientation-3) (temperature b cold)
  (shape b rectangular) (is-object b) (painted a (water-res white))
  (temperature a cold) (shape a cylindrical) (is-object a))) 
(sc-15 (painted d (water-res white))
 ((last-time 10) (is-bolt (b1 (1.4 cm))) (is-bolt (b2 (1.4 cm)))
  (is-bolt (b3 (2 mm))) (is-bolt (b4 (1 cm))) (is-bolt (b5 (6 mm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0)
  (surface-condition e polished) (temperature e cold)
  (shape e rectangular) (is-object e)
  (has-hole d (2 mm) orientation-4) (temperature d cold)
  (shape d cylindrical) (is-object d) (temperature c cold)
  (shape c undetermined) (is-object c)
  (has-hole b (1 cm) orientation-3) (painted b (water-res white))
  (surface-condition b smooth) (temperature b cold)
  (shape b undetermined) (is-object b) (temperature a cold)
  (shape a cylindrical) (is-object a))) 
(sc-16 (surface-condition c smooth)
 ((last-time 10) (is-bolt (b1 (1.199999 cm)))
  (is-bolt (b2 (1.199999 cm))) (is-bolt (b3 (4 mm)))
  (is-bolt (b4 (1 cm))) (is-bolt (b5 (1.199999 cm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0) (temperature e cold)
  (shape e cylindrical) (is-object e) (surface-condition d rough)
  (temperature d cold) (shape d rectangular) (is-object d)
  (has-hole c (4 mm) orientation-2) (temperature c cold)
  (shape c rectangular) (is-object c) (painted b (regular white))
  (temperature b cold) (shape b cylindrical) (is-object b)
  (painted a (regular red)) (temperature a cold)
  (shape a undetermined) (is-object a))) 
(sc-17 (joined b e orientation-1)
 ((last-time 10) (is-bolt (b1 (1 cm))) (is-bolt (b2 (1 cm)))
  (is-bolt (b3 (1 cm))) (is-bolt (b4 (4 mm))) (is-bolt (b5 (6 mm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0)
  (painted e (regular white)) (surface-condition e smooth)
  (temperature e cold) (shape e undetermined) (is-object e)
  (painted d (regular white)) (temperature d cold)
  (shape d irregular) (is-object d) (surface-condition c polished)
  (temperature c cold) (shape c cylindrical) (is-object c)
  (surface-condition b rough) (temperature b cold)
  (shape b irregular) (is-object b) (surface-condition a polished)
  (temperature a cold) (shape a irregular) (is-object a))) 
(sc-18 (shape d cylindrical)
 ((last-time 10) (is-bolt (b1 (1.199999 cm)))
  (is-bolt (b2 (1.199999 cm))) (is-bolt (b3 (1.199999 cm)))
  (is-bolt (b4 (1.199999 cm))) (is-bolt (b5 (1.4 cm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0) (painted e (regular red))
  (temperature e cold) (shape e undetermined) (is-object e)
  (has-hole d (4 mm) orientation-3) (surface-condition d polished)
  (temperature d cold) (shape d irregular) (is-object d)
  (has-hole c (1.4 cm) orientation-2) (temperature c cold)
  (shape c cylindrical) (is-object c) (temperature b cold)
  (shape b irregular) (is-object b) (temperature a cold)
  (shape a irregular) (is-object a))) 
(sc-19 (has-hole b (1 cm) orientation-4)
 ((last-time 10) (is-bolt (b1 (6 mm))) (is-bolt (b2 (1 cm)))
  (is-bolt (b3 (1.199999 cm))) (is-bolt (b4 (4 mm)))
  (is-bolt (b5 (2 mm))) (last-scheduled e 0) (last-scheduled d 0)
  (last-scheduled c 0) (last-scheduled b 0) (last-scheduled a 0)
  (has-hole e (4 mm) orientation-3) (surface-condition e polished)
  (temperature e cold) (shape e cylindrical) (is-object e)
  (surface-condition d rough) (temperature d cold)
  (shape d rectangular) (is-object d) (surface-condition c rough)
  (temperature c cold) (shape c irregular) (is-object c)
  (temperature b cold) (shape b cylindrical) (is-object b)
  (has-hole a (1.4 cm) orientation-4) (painted a (water-res white))
  (surface-condition a polished) (temperature a cold)
  (shape a irregular) (is-object a))) 
(sc-20 (has-hole d (6 mm) orientation-4)
 ((last-time 10) (is-bolt (b1 (1.199999 cm))) (is-bolt (b2 (1 cm)))
  (is-bolt (b3 (1.4 cm))) (is-bolt (b4 (2 mm)))
  (is-bolt (b5 (1.4 cm))) (last-scheduled e 0) (last-scheduled d 0)
  (last-scheduled c 0) (last-scheduled b 0) (last-scheduled a 0)
  (temperature e cold) (shape e rectangular) (is-object e)
  (painted d (water-res red)) (surface-condition d polished)
  (temperature d cold) (shape d cylindrical) (is-object d)
  (surface-condition c rough) (temperature c cold)
  (shape c irregular) (is-object c) (has-hole b (1 cm) orientation-3)
  (surface-condition b polished) (temperature b cold)
  (shape b cylindrical) (is-object b)
  (has-hole a (8 mm) orientation-4) (painted a (regular white))
  (surface-condition a polished) (temperature a cold)
  (shape a undetermined) (is-object a))) 
(sc-21 (joined b e orientation-2)
 ((last-time 10) (is-bolt (b1 (2 mm))) (is-bolt (b2 (1.199999 cm)))
  (is-bolt (b3 (6 mm))) (is-bolt (b4 (1.199999 cm)))
  (is-bolt (b5 (6 mm))) (last-scheduled e 0) (last-scheduled d 0)
  (last-scheduled c 0) (last-scheduled b 0) (last-scheduled a 0)
  (has-hole e (4 mm) orientation-1) (temperature e cold)
  (shape e irregular) (is-object e) (painted d (water-res white))
  (temperature d cold) (shape d undetermined) (is-object d)
  (surface-condition c polished) (temperature c cold)
  (shape c undetermined) (is-object c) (temperature b cold)
  (shape b irregular) (is-object b) (temperature a cold)
  (shape a undetermined) (is-object a))) 
(sc-22 (joined b d orientation-2)
 ((last-time 10) (is-bolt (b1 (4 mm))) (is-bolt (b2 (2 mm)))
  (is-bolt (b3 (1.199999 cm))) (is-bolt (b4 (6 mm)))
  (is-bolt (b5 (8 mm))) (last-scheduled e 0) (last-scheduled d 0)
  (last-scheduled c 0) (last-scheduled b 0) (last-scheduled a 0)
  (surface-condition e smooth) (temperature e cold)
  (shape e undetermined) (is-object e) (temperature d cold)
  (shape d rectangular) (is-object d) (painted c (regular red))
  (temperature c cold) (shape c irregular) (is-object c)
  (painted b (regular white)) (temperature b cold)
  (shape b irregular) (is-object b) (has-hole a (8 mm) orientation-3)
  (surface-condition a polished) (temperature a cold)
  (shape a cylindrical) (is-object a))) 
(sc-23 (shape c cylindrical)
 ((last-time 10) (is-bolt (b1 (1.199999 cm))) (is-bolt (b2 (1.4 cm)))
  (is-bolt (b3 (2 mm))) (is-bolt (b4 (1 cm)))
  (is-bolt (b5 (1.199999 cm))) (last-scheduled e 0)
  (last-scheduled d 0) (last-scheduled c 0) (last-scheduled b 0)
  (last-scheduled a 0) (painted e (water-res red))
  (temperature e cold) (shape e cylindrical) (is-object e)
  (painted d (water-res white)) (temperature d cold)
  (shape d rectangular) (is-object d) (painted c (water-res white))
  (temperature c cold) (shape c rectangular) (is-object c)
  (temperature b cold) (shape b rectangular) (is-object b)
  (surface-condition a rough) (temperature a cold)
  (shape a rectangular) (is-object a))) 
(sc-24 (surface-condition d smooth)
 ((last-time 10) (is-bolt (b1 (4 mm))) (is-bolt (b2 (6 mm)))
  (is-bolt (b3 (4 mm))) (is-bolt (b4 (1 cm))) (is-bolt (b5 (8 mm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0)
  (has-hole e (1.199999 cm) orientation-1) (temperature e cold)
  (shape e cylindrical) (is-object e)
  (has-hole d (1.199999 cm) orientation-4) (temperature d cold)
  (shape d rectangular) (is-object d) (temperature c cold)
  (shape c irregular) (is-object c) (has-hole b (2 mm) orientation-4)
  (temperature b cold) (shape b irregular) (is-object b)
  (painted a (regular red)) (surface-condition a polished)
  (temperature a cold) (shape a cylindrical) (is-object a))) 
(sc-25 (shape c cylindrical)
 ((last-time 10) (is-bolt (b1 (6 mm))) (is-bolt (b2 (1.4 cm)))
  (is-bolt (b3 (6 mm))) (is-bolt (b4 (2 mm))) (is-bolt (b5 (6 mm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0)
  (painted e (water-res white)) (surface-condition e polished)
  (temperature e cold) (shape e cylindrical) (is-object e)
  (painted d (regular red)) (surface-condition d smooth)
  (temperature d cold) (shape d irregular) (is-object d)
  (surface-condition c smooth) (temperature c cold)
  (shape c undetermined) (is-object c)
  (has-hole b (1.4 cm) orientation-1) (painted b (water-res white))
  (temperature b cold) (shape b undetermined) (is-object b)
  (painted a (water-res white)) (surface-condition a polished)
  (temperature a cold) (shape a undetermined) (is-object a))) 
))