;;; **********************************************************************
;;; using bf-ops learned from ss2-3-prime using learn-bf-ops-from-isg-2.
;;; **********************************************************************

<cl> (learn-bf-ops-from-isg-2)
((new-macro-op macro-op op-11-12-13-14 op-14 (op-11 op-12 op-13 op-14) ((<v89> room) (<v91> door) (<v90> box) (<v88> room))
  ((inroom <v90> <v89>) ((next-to robot <v90>) (op-12)) (connects <v91> <v89> <v88>) ((next-to <v90> <v91>) (op-13)) (dr-to-rm <v91> <v89>) ((dr-open <v91>) (op-11)) (pushable <v90>))
  ((<other> (and (or object door) (diff <other> <v90>))) (<other2> (or object door)) (<other3> (and (or object door) (diff <other3> robot))) (<other4> key))
  ((inroom robot <v88>) (inroom <v90> <v88>)) ((next-to robot <other>) (next-to <v90> <other2>) (next-to <other3> <v90>) (inroom robot <v89>) (inroom <v90> <v89>)))
 (new-macro-op macro-op op-1-11 op-11 (op-1 op-11) ((<v67> door)) (((next-to robot <v67>) (op-1)) (unlocked <v67>) (dr-closed <v67>)) nil ((dr-open <v67>)) ((dr-closed <v67>)))
 (new-macro-op macro-op op-12-13 op-13 (op-12 op-13) ((<v84> room) (<v82> door) (<v81> box)) ((dr-to-rm <v82> <v84>) (inroom <v81> <v84>) (pushable <v81>) ((next-to robot <v81>) (op-12)))
  ((<other> (and (or object door) (diff <other> <v81>))) (<other2> (or object door)) (<other3> (and (or object door) (diff <other3> robot)))) ((next-to <v81> <v82>) (next-to robot <v82>))
  ((next-to robot <other>) (next-to <v81> <other2>) (next-to <other3> <v81>)))
 (new-macro-op macro-op op-17-12 op-12 (op-17 op-12) ((<v77> room) (<v74> object)) ((inroom <v74> <v77>) ((inroom robot <v77>) (op-17))) ((<other> (or object door))) ((next-to robot <v74>))
  ((next-to robot <other>)))
 (new-macro-op macro-op op-11-8-16-10-17 op-17 (op-11 op-8 op-16 op-10 op-17) ((<v110> room) (<v109> room) (<v112> door))
  (((next-to robot <v112>) (op-8)) (connects <v112> <v110> <v109>) (dr-to-rm <v112> <v110>) ((inroom robot <v110>) (op-16)) ((dr-open <v112>) (op-11)) ((arm-empty) (op-10)))
  ((<other> object)) ((inroom robot <v109>)) ((inroom robot <v110>) (next-to robot <other>)))
 (new-macro-op macro-op op-7-10 op-10 (op-7 op-10) ((<v61> object)) (((holding <v61>) (op-7))) nil ((arm-empty) (next-to robot <v61>)) ((holding <v61>)))
 (new-macro-op macro-op op-15-7 op-7 (op-15 op-7) ((<v43> object)) ((arm-empty) ((next-to robot <v43>) (op-15)) (carriable <v43>)) ((<other> (or object door)) (<other2> (or object door)))
  ((holding <v43>)) ((arm-empty) (next-to <v43> <other>) (next-to <other2> <v43>)))
 (new-macro-op macro-op op-2-15 op-15 (op-2 op-15) ((<v98> room) (<v95> object)) ((inroom <v95> <v98>) ((inroom robot <v98>) (op-2))) ((<other> (or object door))) ((next-to robot <v95>))
  ((next-to robot <other>)))
 (new-macro-op macro-op op-1-11-2 op-2 (op-1 op-11 op-2) ((<v10> door) (<v9> room) (<v8> room))
  (((dr-open <v10>) (op-11)) (arm-empty) (dr-to-rm <v10> <v9>) (connects <v10> <v9> <v8>) ((next-to robot <v10>) (op-1)) (inroom robot <v9>)) ((<other> object)) ((inroom robot <v8>))
  ((inroom robot <v9>) (next-to robot <other>)))
 (new-macro-op macro-op op-11-2-7-8-16 op-16 (op-11 op-2 op-7 op-8 op-16) ((<v105> door) (<v104> room) (<v103> object) (<v102> room))
  ((dr-to-rm <v105> <v102>) (connects <v105> <v102> <v104>) ((next-to robot <v105>) (op-8)) (inroom <v103> <v104>) ((inroom robot <v104>) (op-2)) ((dr-open <v105>) (op-11))
   ((holding <v103>) (op-7)))
  ((<other> (and (or object door) (diff <other> <v103>) (diff <other> <v105>))) (<other2> (or object door)) (<other3> (or object door))) ((inroom robot <v102>) (inroom <v103> <v102>))
  ((next-to robot <other>) (inroom robot <v104>) (inroom <v103> <v104>)))
 (new-macro-op macro-op op-2-8 op-8 (op-2 op-8) ((<v52> room) (<v49> door)) ((dr-to-rm <v49> <v52>) ((inroom robot <v52>) (op-2))) ((<other> (or object door))) ((next-to robot <v49>))
  ((next-to robot <other>)))) 

<cl> (test-ps 'ps0)
; Loading /afs/cs/project/prodigy-wxm/prodigy4/domains/extended-strips/probsets/ps0.lisp.

 prob SS0-1 solved, number of nodes: 9 number of applications: 1
 prob SS0-2 solved, number of nodes: 9 number of applications: 1
 prob SS0-3 solved, number of nodes: 13 number of applications: 2
 prob SS0-4 solved, number of nodes: 17 number of applications: 3
 prob SS0-5 solved, number of nodes: 13 number of applications: 2
 prob: SS0-6 not-solved, number of nodes 500
 prob SS0-7 solved, number of nodes: 46 number of applications: 2
 prob SS0-8 solved, number of nodes: 38 number of applications: 4
 prob SS0-9 solved, number of nodes: 28 number of applications: 4
 prob SS0-10 solved, number of nodes: 17 number of applications: 3

<cl> (test-ps 'ps1)
; Loading /afs/cs/project/prodigy-wxm/prodigy4/domains/extended-strips/probsets/ps1.lisp.

 prob SS1-1 solved, number of nodes: 25 number of applications: 4
 prob: SS1-2 not-solved, number of nodes 500
 prob SS1-3 solved, number of nodes: 30 number of applications: 6
 prob: SS1-4 not-solved, number of nodes 500
 prob: SS1-5 not-solved, number of nodes 500
 prob SS1-6 solved, number of nodes: 59 number of applications: 5
 prob SS1-7 solved, number of nodes: 36 number of applications: 6
 prob SS1-8 solved, number of nodes: 21 number of applications: 3
 prob SS1-9 solved, number of nodes: 42 number of applications: 4
 prob SS1-10 solved, number of nodes: 17 number of applications: 3
 prob SS1-11 solved, number of nodes: 33 number of applications: 5
 prob: SS1-12 not-solved, number of nodes 500
 prob: SS1-13 not-solved, number of nodes 500
 prob: SS1-15 not-solved, number of nodes 500

<cl> (test-ps 'ps2)
; Loading /afs/cs/project/prodigy-wxm/prodigy4/domains/extended-strips/probsets/ps2.lisp.

 prob: SS2-1 not-solved, number of nodes 500
 prob: SS2-2 not-solved, number of nodes 500
 prob: SS2-3 not-solved, number of nodes 500
 prob: SS2-4 not-solved, number of nodes 500
 prob: SS2-5 not-solved, number of nodes 500
 prob: SS2-6 not-solved, number of nodes 500
 prob: SS2-7 not-solved, number of nodes 500
 prob SS2-8 solved, number of nodes: 29 number of applications: 5
 prob SS2-9 solved, number of nodes: 33 number of applications: 5
 prob SS2-10 solved, number of nodes: 54 number of applications: 4
 prob: SS2-11 not-solved, number of nodes 500
 prob: SS2-12 not-solved, number of nodes 500
 prob: SS2-13 not-solved, number of nodes 500


;;; **********************************************************************
;;; using bf-ops learned from ss2-3-prime using learn-bf-ops-from-isg.
;;; **********************************************************************

<cl> (learn-bf-ops-from-isg)
((new-macro-op macro-op op-12-13-14 op-14 (op-12 op-13 op-14) ((<v89> room) (<v91> door) (<v90> box) (<v88> room))
  ((inroom <v90> <v89>) ((next-to robot <v90>) (op-12)) (connects <v91> <v89> <v88>) ((next-to <v90> <v91>) (op-13)) (dr-to-rm <v91> <v89>) (dr-open <v91>) (pushable <v90>))
  ((<other> (and (or object door) (diff <other> <v90>))) (<other2> (or object door)) (<other3> (and (or object door) (diff <other3> robot))) (<other4> key))
  ((inroom robot <v88>) (inroom <v90> <v88>)) ((next-to robot <other>) (next-to <v90> <other2>) (next-to <other3> <v90>) (inroom robot <v89>) (inroom <v90> <v89>)))
 (new-macro-op macro-op op-1-11 op-11 (op-1 op-11) ((<v67> door)) (((next-to robot <v67>) (op-1)) (unlocked <v67>) (dr-closed <v67>)) nil ((dr-open <v67>)) ((dr-closed <v67>)))
 (new-macro-op macro-op op-12-13 op-13 (op-12 op-13) ((<v84> room) (<v82> door) (<v81> box)) ((dr-to-rm <v82> <v84>) (inroom <v81> <v84>) (pushable <v81>) ((next-to robot <v81>) (op-12)))
  ((<other> (and (or object door) (diff <other> <v81>))) (<other2> (or object door)) (<other3> (and (or object door) (diff <other3> robot)))) ((next-to <v81> <v82>) (next-to robot <v82>))
  ((next-to robot <other>) (next-to <v81> <other2>) (next-to <other3> <v81>)))
 (new-macro-op macro-op op-17-12 op-12 (op-17 op-12) ((<v77> room) (<v74> object)) ((inroom <v74> <v77>) ((inroom robot <v77>) (op-17))) ((<other> (or object door))) ((next-to robot <v74>))
  ((next-to robot <other>)))
 (new-macro-op macro-op op-11-17 op-17 (op-11 op-17) ((<v110> room) (<v109> room) (<v112> door))
  ((next-to robot <v112>) (connects <v112> <v110> <v109>) (dr-to-rm <v112> <v110>) (inroom robot <v110>) ((dr-open <v112>) (op-11)) (arm-empty)) ((<other> object)) ((inroom robot <v109>))
  ((inroom robot <v110>) (next-to robot <other>)))
 (new-macro-op macro-op op-7-10 op-10 (op-7 op-10) ((<v61> object)) (((holding <v61>) (op-7))) nil ((arm-empty) (next-to robot <v61>)) ((holding <v61>)))
 (new-macro-op macro-op op-15-7 op-7 (op-15 op-7) ((<v43> object)) ((arm-empty) ((next-to robot <v43>) (op-15)) (carriable <v43>)) ((<other> (or object door)) (<other2> (or object door)))
  ((holding <v43>)) ((arm-empty) (next-to <v43> <other>) (next-to <other2> <v43>)))
 (new-macro-op macro-op op-2-15 op-15 (op-2 op-15) ((<v98> room) (<v95> object)) ((inroom <v95> <v98>) ((inroom robot <v98>) (op-2))) ((<other> (or object door))) ((next-to robot <v95>))
  ((next-to robot <other>)))
 (new-macro-op macro-op op-1-11-2 op-2 (op-1 op-11 op-2) ((<v10> door) (<v9> room) (<v8> room))
  (((dr-open <v10>) (op-11)) (arm-empty) (dr-to-rm <v10> <v9>) (connects <v10> <v9> <v8>) ((next-to robot <v10>) (op-1)) (inroom robot <v9>)) ((<other> object)) ((inroom robot <v8>))
  ((inroom robot <v9>) (next-to robot <other>)))
 (new-macro-op macro-op op-11-2-8-16 op-16 (op-11 op-2 op-8 op-16) ((<v105> door) (<v104> room) (<v103> object) (<v102> room))
  ((dr-to-rm <v105> <v102>) (connects <v105> <v102> <v104>) ((next-to robot <v105>) (op-8)) (inroom <v103> <v104>) ((inroom robot <v104>) (op-2)) ((dr-open <v105>) (op-11)) (holding <v103>))
  ((<other> (and (or object door) (diff <other> <v103>) (diff <other> <v105>))) (<other2> (or object door)) (<other3> (or object door))) ((inroom robot <v102>) (inroom <v103> <v102>))
  ((next-to robot <other>) (inroom robot <v104>) (inroom <v103> <v104>)))
 (new-macro-op macro-op op-2-8 op-8 (op-2 op-8) ((<v52> room) (<v49> door)) ((dr-to-rm <v49> <v52>) ((inroom robot <v52>) (op-2))) ((<other> (or object door))) ((next-to robot <v49>))
  ((next-to robot <other>)))) 


<cl> (test-ps 'ps0)
; Loading /afs/cs/project/prodigy-wxm/prodigy4/domains/extended-strips/probsets/ps0.lisp.

 prob SS0-1 solved, number of nodes: 8 number of applications: 1
 prob SS0-2 solved, number of nodes: 8 number of applications: 1
 prob SS0-3 solved, number of nodes: 8 number of applications: 1
 prob SS0-4 solved, number of nodes: 12 number of applications: 2
 prob SS0-5 solved, number of nodes: 12 number of applications: 2
 prob SS0-6 solved, number of nodes: 24 number of applications: 5
 prob: SS0-7 not-solved, number of nodes 500
 prob SS0-8 solved, number of nodes: 21 number of applications: 4
 prob SS0-9 solved, number of nodes: 209 number of applications: 4
 prob SS0-10 solved, number of nodes: 18 number of applications: 3

<cl> (test-ps 'ps1)
; Loading /afs/cs/project/prodigy-wxm/prodigy4/domains/extended-strips/probsets/ps1.lisp.

 prob SS1-1 solved, number of nodes: 20 number of applications: 4
 prob: SS1-2 not-solved, number of nodes 500
 prob SS1-3 solved, number of nodes: 24 number of applications: 5
 prob: SS1-4 not-solved, number of nodes 500
 prob: SS1-5 not-solved, number of nodes 500
 prob: SS1-6 not-solved, number of nodes 500
 prob: SS1-7 not-solved, number of nodes 500
 prob SS1-8 solved, number of nodes: 16 number of applications: 3
 prob SS1-9 solved, number of nodes: 32 number of applications: 4
 prob SS1-10 solved, number of nodes: 18 number of applications: 3
 prob SS1-11 solved, number of nodes: 26 number of applications: 5
 prob: SS1-12 not-solved, number of nodes 500
 prob: SS1-13 not-solved, number of nodes 500
 prob: SS1-15 not-solved, number of nodes 500

<cl> (test-ps 'ps2)
; Loading /afs/cs/project/prodigy-wxm/prodigy4/domains/extended-strips/probsets/ps2.lisp.

 prob: SS2-1 not-solved, number of nodes 500
 prob: SS2-2 not-solved, number of nodes 500
 prob: SS2-3 not-solved, number of nodes 500
 prob: SS2-4 not-solved, number of nodes 500
 prob: SS2-5 not-solved, number of nodes 500
 prob: SS2-6 not-solved, number of nodes 500
 prob: SS2-7 not-solved, number of nodes 500
 prob SS2-8 solved, number of nodes: 29 number of applications: 5
 prob SS2-9 solved, number of nodes: 33 number of applications: 5
 prob SS2-10 solved, number of nodes: 54 number of applications: 4
 prob: SS2-11 not-solved, number of nodes 500
 prob: SS2-12 not-solved, number of nodes 500
 prob: SS2-13 not-solved, number of nodes 500
NIL 
<cl> 