;;NIL 
 
;; "SPARC" "id: #x5542dcdb" 
(setq /projects/ai/prodigy/domains/schedworld/data/new-static-results (quote 

((CRUN3-30 1 16 7) (CRUN3-29 2 37 15) (CRUN3-28 3 34 15) (CRUN3-27 6 58 27) (CRUN3-26 3 79 18)
 (CRUN3-25 7 160 23) (CRUN3-24 1 15 6) (CRUN3-23 0 1 NOT-SOLVED) (CRUN3-22 0 1 NOT-SOLVED)
 (CRUN3-21 3 36 15) (CRUN3-20 0 1 NOT-SOLVED) (CRUN3-19 1 14 6) (CRUN3-18 2 24 10)
 (CRUN3-17 0 1 NOT-SOLVED) (CRUN3-16 1 19 8) (CRUN3-15 0 1 NOT-SOLVED) (CRUN3-14 0 1 NOT-SOLVED)
 (CRUN3-13 1 15 6) (CRUN3-12 2 31 14) (CRUN3-11 1 1 NOT-SOLVED) (CRUN3-10 1 33 15) (CRUN3-9 1 32 14)
 (CRUN3-8 0 1 NOT-SOLVED) (CRUN3-7 1 21 9) (CRUN3-6 2 58 10) (CRUN3-5 0 12 5) (CRUN3-4 1 17 7)
 (CRUN3-3 2 24 10) (CRUN3-2 1 16 7) (CRUN3-1 3 33 15) (CRUN2-40 1 10 4) (CRUN2-39 1 29 13)
 (CRUN2-38 0 1 NOT-SOLVED) (CRUN2-37 0 6 2) (CRUN2-36 1 21 9) (CRUN2-35 0 1 NOT-SOLVED)
 (CRUN2-34 1 16 7) (CRUN2-33 1 14 6) (CRUN2-32 0 12 5) (CRUN2-31 0 1 NOT-SOLVED)
 (CRUN2-30 0 1 NOT-SOLVED) (CRUN2-29 0 10 4) (CRUN2-28 9 160 14) (CRUN2-27 1 15 6)
 (CRUN2-26 0 1 NOT-SOLVED) (CRUN2-25 0 14 6) (CRUN2-24 1 33 13) (CRUN2-23 2 30 14) (CRUN2-22 0 8 3)
 (CRUN2-21 1 29 13) (CRUN2-20 0 1 NOT-SOLVED) (CRUN2-19 0 1 NOT-SOLVED) (CRUN2-18 0 6 2)
 (CRUN2-17 0 14 6) (CRUN2-16 0 1 NOT-SOLVED) (CRUN2-15 0 6 2) (CRUN2-14 0 1 NOT-SOLVED)
 (CRUN2-13 154 3944 NOT-SOLVED) (CRUN2-12 1 14 6) (CRUN2-11 0 1 NOT-SOLVED) (CRUN2-10 0 1 NOT-SOLVED)
 (CRUN2-9 1 23 10) (CRUN2-8 2 18 8) (CRUN2-7 1 18 8) (CRUN2-6 1 16 7) (CRUN2-5 0 13 5) (CRUN2-4 1 24 10)
 (CRUN2-3 0 1 NOT-SOLVED) (CRUN2-2 0 1 NOT-SOLVED) (CRUN2-1 0 1 NOT-SOLVED) (CRUN1-30 1 21 9)
 (CRUN1-29 0 13 5) (CRUN1-28 0 1 NOT-SOLVED) (CRUN1-27 0 10 4) (CRUN1-26 1 20 8)
 (CRUN1-25 0 1 NOT-SOLVED) (CRUN1-24 1 14 6) (CRUN1-23 0 6 2) (CRUN1-22 0 8 3) (CRUN1-21 0 1 NOT-SOLVED)
 (CRUN1-20 0 1 NOT-SOLVED) (CRUN1-19 0 1 NOT-SOLVED) (CRUN1-18 0 1 NOT-SOLVED) (CRUN1-17 0 16 7)
 (CRUN1-16 8 304 NOT-SOLVED) (CRUN1-15 0 6 2) (CRUN1-14 0 13 5) (CRUN1-13 0 6 2) (CRUN1-12 1 19 8)
 (CRUN1-11 0 1 NOT-SOLVED) (CRUN1-10 1 19 8) (CRUN1-9 0 10 4) (CRUN1-8 0 1 NOT-SOLVED) (CRUN1-7 0 9 3)
 (CRUN1-6 0 1 NOT-SOLVED) (CRUN1-5 0 15 6) (CRUN1-4 0 10 4) (CRUN1-3 0 6 2) (CRUN1-2 0 1 NOT-SOLVED)
 (CRUN1-1 1 19 8))
))