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

((CRUN3-30 2 16 7) (CRUN3-29 8 32 13) (CRUN3-28 8 35 16) (CRUN3-27 18 48 22)
 (CRUN3-26 33 70 18) (CRUN3-25 11 43 20) (CRUN3-24 1 15 6) (CRUN3-23 0 1 NOT-SOLVED)
 (CRUN3-22 0 1 NOT-SOLVED) (CRUN3-21 8 38 17) (CRUN3-20 0 1 NOT-SOLVED) (CRUN3-19 2 16 7)
 (CRUN3-18 3 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 2 14 6) (CRUN3-12 4 28 12) (CRUN3-11 0 1 NOT-SOLVED)
 (CRUN3-10 4 27 12) (CRUN3-9 4 26 11) (CRUN3-8 0 1 NOT-SOLVED) (CRUN3-7 3 21 9)
 (CRUN3-6 6 49 10) (CRUN3-5 1 12 5) (CRUN3-4 1 17 7) (CRUN3-3 3 24 10) (CRUN3-2 1 16 7)
 (CRUN3-1 6 33 15) (CRUN2-40 1 10 4) (CRUN2-39 5 29 13) (CRUN2-38 0 1 NOT-SOLVED)
 (CRUN2-37 0 6 2) (CRUN2-36 2 21 9) (CRUN2-35 0 1 NOT-SOLVED) (CRUN2-34 1 14 6)
 (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 5 32 14) (CRUN2-27 1 15 6) (CRUN2-26 0 1 NOT-SOLVED)
 (CRUN2-25 1 14 6) (CRUN2-24 6 33 13) (CRUN2-23 5 26 12) (CRUN2-22 0 8 3) (CRUN2-21 6 32 14)
 (CRUN2-20 0 1 NOT-SOLVED) (CRUN2-19 0 1 NOT-SOLVED) (CRUN2-18 0 6 2) (CRUN2-17 1 14 6)
 (CRUN2-16 0 1 NOT-SOLVED) (CRUN2-15 0 6 2) (CRUN2-14 0 1 NOT-SOLVED)
 (CRUN2-13 150 372 NOT-SOLVED) (CRUN2-12 1 16 7) (CRUN2-11 0 1 NOT-SOLVED)
 (CRUN2-10 0 1 NOT-SOLVED) (CRUN2-9 5 23 10) (CRUN2-8 2 18 8) (CRUN2-7 2 18 8)
 (CRUN2-6 1 16 7) (CRUN2-5 1 13 5) (CRUN2-4 3 24 10) (CRUN2-3 0 1 NOT-SOLVED)
 (CRUN2-2 0 1 NOT-SOLVED) (CRUN2-1 0 1 NOT-SOLVED) (CRUN1-30 2 22 9) (CRUN1-29 1 13 5)
 (CRUN1-28 0 1 NOT-SOLVED) (CRUN1-27 0 10 4) (CRUN1-26 3 20 8) (CRUN1-25 0 1 NOT-SOLVED)
 (CRUN1-24 1 16 7) (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 10 4) (CRUN1-16 53 458 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 2 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 1 15 6) (CRUN1-4 0 10 4) (CRUN1-3 0 6 2) (CRUN1-2 0 1 NOT-SOLVED) (CRUN1-1 2 19 8))
))