-
-
Save guicho271828/813e26b4518085665d497fc5f59bdcf0 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[guicho latent-planner2]$ ros -v dynamic-space-size=15000 lisp/msdd.ros -s 2017 -t -k 200 -n 1000 samples/mnist_puzzle33p_model/augmented.csv | |
opt:verbose:1 | |
dispatch:dynamic-space-size=15000,name=top | |
set_opt(dynamic-space-size)='15000' | |
dispatch:lisp/msdd.ros,name=top | |
proc_cmd: | |
cmd_script_frontend:0 | |
frontend:script_*:argc=9 argv[0]=lisp/msdd.ros | |
ros_script_cmd=exec ros dynamic-space-size=8000 -Q -L sbcl -- $0 "$@" | |
dispatch:dynamic-space-size=8000,name=top | |
set_opt(dynamic-space-size)='8000' | |
dispatch:-Q,name=top | |
proc_options:-Q:top | |
opt:quicklisp:1 | |
dispatch:-L,name=top | |
proc_options:-L:top | |
set_opt(lisp)='sbcl' | |
dispatch:--,name=top | |
proc_options:--:top | |
cmd_script_frontend:1 | |
cmd_script | |
get_opt(program,0)=(null) | |
script_:argc=10 argv[0]=-- | |
current=(null) | |
set_opt(script)='"lisp/msdd.ros""-s""2017""-t""-k""200""-n""1000""samples/mnist_puzzle33p_model/augmented.csv"' | |
cmd_run_star:1:script | |
,argv[0]get_opt(lisp,1)=sbcl | |
determin_impl:sbcl | |
get_opt(sbcl.version,1)=1.3.12 | |
set_opt(impl)='sbcl/1.3.12' | |
set_opt(quicklisp)='/home/guicho/.roswell/lisp/quicklisp/' | |
set_opt(argv0)='ros' | |
which cmd:command -v "ros" | |
which result:/usr/local/bin/ros | |
set_opt(wargv0)='/usr/local/bin/ros' | |
set_opt(homedir)='/home/guicho/.roswell/' | |
set_opt(verbose)='1' | |
set_opt(lispdir)='/usr/local/etc/roswell/' | |
get_opt(asdf.version,0)=(null) | |
get_opt(program,0)=(null) | |
set_opt(program)='(:eval"(ros:quicklisp)")' | |
get_opt(impl,0)=sbcl/1.3.12 | |
get_opt(help,0)=(null) | |
get_opt(script,0)="lisp/msdd.ros""-s""2017""-t""-k""200""-n""1000""samples/mnist_puzzle33p_model/augmented.csv" | |
get_opt(image,0)=(null) | |
get_opt(program,0)=(:eval"(ros:quicklisp)") | |
get_opt(dynamic-space-size,0)=8000 | |
get_opt(control-stack-size,0)=(null) | |
get_opt(enable-debugger,0)=(null) | |
get_opt(version,0)=(null) | |
help=nil script="lisp/msdd.ros""-s""2017""-t""-k""200""-n""1000""samples/mnist_puzzle33p_model/augmented.csv" | |
get_opt(wrap,1)=(null) | |
args /home/guicho/.roswell/impls/x86-64/linux/sbcl/1.3.12/bin/sbcl --core /home/guicho/.roswell/impls/x86-64/linux/sbcl/1.3.12/lib/sbcl/sbcl.core --noinform --dynamic-space-size 8000 --no-sysinit --no-userinit --disable-debugger --eval (progn #-ros.init(cl:load "/usr/local/etc/roswell/init.lisp")) --eval (ros:run '((:eval"(ros:quicklisp)")(:script "lisp/msdd.ros""-s""2017""-t""-k""200""-n""1000""samples/mnist_puzzle33p_model/augmented.csv")(:quit ()))) | |
ROS_OPTS (("program""(:eval\"(ros:quicklisp)\")")("lispdir""/usr/local/etc/roswell/")("verbose""1")("homedir""/home/guicho/.roswell/")("wargv0""/usr/local/bin/ros")("argv0""ros")("quicklisp""/home/guicho/.roswell/lisp/quicklisp/")("impl""sbcl/1.3.12")("script""\"lisp/msdd.ros\"\"-s\"\"2017\"\"-t\"\"-k\"\"200\"\"-n\"\"1000\"\"samples/mnist_puzzle33p_model/augmented.csv\"")("lisp""sbcl")("dynamic-space-size""8000")("sbcl.version""1.3.12")("slime.version""2016.12.08")("sbcl-bin.version""1.3.13")("default.lisp""sbcl-bin")) | |
dynamic space: 8.388608GB | |
number of threads: 6 | |
number of original samples: 82493 | |
encoding length: 25 | |
number of samples: 1000 | |
C-c C-c | |
(ACC #<PRIORITY-QUEUE :COUNT 200>) | |
(G 0.006737036 NODE | |
#S(NODE | |
:DATA #*11111111111111101111111111111111111111111111111111 | |
:MASK #*11111111111111101111111111111110111111111111111111)) | |
(G 0.006737036 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111110111111111111111111 | |
:MASK #*11111111111111101111111111111110111111111111111111)) | |
(G 0.006737038 NODE | |
#S(NODE | |
:DATA #*11111111111111101111111111111110111111111111111111 | |
:MASK #*11111111111111101111111111111110111111111111111111)) | |
(G 0.0068192217 NODE | |
#S(NODE | |
:DATA #*11111111111111111011111111111111111111110111111111 | |
:MASK #*11111111111111111011111111111111111111110111111111)) | |
(G 0.0068192217 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111111111111011111111111111111111110111111111)) | |
(G 0.0068192235 NODE | |
#S(NODE | |
:DATA #*11111111111111111011111111111111111111111111111111 | |
:MASK #*11111111111111111011111111111111111111110111111111)) | |
(G 0.0068192235 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111110111111111 | |
:MASK #*11111111111111111011111111111111111111110111111111)) | |
(G 0.006894259 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111011111 | |
:MASK #*11111111101111111111111111111111111111111111011111)) | |
(G 0.0068942606 NODE | |
#S(NODE | |
:DATA #*11111111101111111111111111111111111111111111011111 | |
:MASK #*11111111101111111111111111111111111111111111011111)) | |
(G 0.0068942606 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111101111111111111111111111111111111111011111)) | |
(G 0.0068942625 NODE | |
#S(NODE | |
:DATA #*11111111101111111111111111111111111111111111111111 | |
:MASK #*11111111101111111111111111111111111111111111011111)) | |
(G 0.0069774133 NODE | |
#S(NODE | |
:DATA #*11111110111111111111111111111111111111111111110111 | |
:MASK #*11111110111111111111111111111111111111111111110111)) | |
(G 0.0069774156 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111110111 | |
:MASK #*11111110111111111111111111111111111111111111110111)) | |
(G 0.0069774156 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111110111111111111111111111111111111111111110111)) | |
(G 0.0069774156 NODE | |
#S(NODE | |
:DATA #*11111110111111111111111111111111111111111111111111 | |
:MASK #*11111110111111111111111111111111111111111111110111)) | |
(G 0.0071119885 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111101111111111111 | |
:MASK #*11101111111111111111111111111111111101111111111111)) | |
(G 0.0071119885 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11101111111111111111111111111111111101111111111111)) | |
(G 0.0071119885 NODE | |
#S(NODE | |
:DATA #*11101111111111111111111111111111111111111111111111 | |
:MASK #*11101111111111111111111111111111111101111111111111)) | |
(G 0.0071119885 NODE | |
#S(NODE | |
:DATA #*11101111111111111111111111111111111101111111111111 | |
:MASK #*11101111111111111111111111111111111101111111111111)) | |
(G 0.0072054598 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111110 | |
:MASK #*01111111111111111111111111111111111111111111111110)) | |
(G 0.0072054616 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*01111111111111111111111111111111111111111111111110)) | |
(G 0.0072054616 NODE | |
#S(NODE | |
:DATA #*01111111111111111111111111111111111111111111111110 | |
:MASK #*01111111111111111111111111111111111111111111111110)) | |
(G 0.007205464 NODE | |
#S(NODE | |
:DATA #*01111111111111111111111111111111111111111111111111 | |
:MASK #*01111111111111111111111111111111111111111111111110)) | |
(G 0.0074591315 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111110111111111111111111101111111111111111111111)) | |
(G 0.0074591334 NODE | |
#S(NODE | |
:DATA #*11111110111111111111111111111111111111111111111111 | |
:MASK #*11111110111111111111111111101111111111111111111111)) | |
(G 0.0074591334 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111101111111111111111111111 | |
:MASK #*11111110111111111111111111101111111111111111111111)) | |
(G 0.0074591353 NODE | |
#S(NODE | |
:DATA #*11111110111111111111111111101111111111111111111111 | |
:MASK #*11111110111111111111111111101111111111111111111111)) | |
(G 0.0075139413 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111110111111111111111111111111101111111111111111)) | |
(G 0.007513943 NODE | |
#S(NODE | |
:DATA #*11111110111111111111111111111111111111111111111111 | |
:MASK #*11111110111111111111111111111111101111111111111111)) | |
(G 0.007513943 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111101111111111111111 | |
:MASK #*11111110111111111111111111111111101111111111111111)) | |
(G 0.007513945 NODE | |
#S(NODE | |
:DATA #*11111110111111111111111111111111101111111111111111 | |
:MASK #*11111110111111111111111111111111101111111111111111)) | |
(G 0.007585463 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111111111111111111011111111111111111011111111)) | |
(G 0.007585463 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111011111111 | |
:MASK #*11111111111111111111111011111111111111111011111111)) | |
(G 0.0076857703 NODE | |
#S(NODE | |
:DATA #*11110111111111111111111111111111111111111111011111 | |
:MASK #*11110111111111111111111111111111111111111111011111)) | |
(G 0.007685772 NODE | |
#S(NODE | |
:DATA #*11110111111111111111111111111111111111111111111111 | |
:MASK #*11110111111111111111111111111111111111111111011111)) | |
(G 0.0077279094 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111111111111111101111111111111111111110111111)) | |
(G 0.007727911 NODE | |
#S(NODE | |
:DATA #*11111111111111111111101111111111111111111111111111 | |
:MASK #*11111111111111111111101111111111111111111110111111)) | |
(G 0.007727911 NODE | |
#S(NODE | |
:DATA #*11111111111111111111101111111111111111111110111111 | |
:MASK #*11111111111111111111101111111111111111111110111111)) | |
(G 0.007727911 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111110111111 | |
:MASK #*11111111111111111111101111111111111111111110111111)) | |
(G 0.0077669434 NODE | |
#S(NODE | |
:DATA #*11111111111101111111111111111111111111111011111111 | |
:MASK #*11111111111101111111111111111111111111111011111111)) | |
(G 0.0077669453 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111011111111 | |
:MASK #*11111111111101111111111111111111111111111011111111)) | |
(G 0.0077669453 NODE | |
#S(NODE | |
:DATA #*11111111111101111111111111111111111111111111111111 | |
:MASK #*11111111111101111111111111111111111111111011111111)) | |
(G 0.007766947 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111111101111111111111111111111111111011111111)) | |
(G 0.0083346525 NODE | |
#S(NODE | |
:DATA #*11111111111111111111110111111111111111111111111111 | |
:MASK #*11111111111111111111110111111011111111111111111111)) | |
(G 0.008334654 NODE | |
#S(NODE | |
:DATA #*11111111111111111111110111111011111111111111111111 | |
:MASK #*11111111111111111111110111111011111111111111111111)) | |
(G 0.008370535 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111011111111111111 | |
:MASK #*11111111111111111011111111111111111011111111111111)) | |
(G 0.008370535 NODE | |
#S(NODE | |
:DATA #*11111111111111111011111111111111111011111111111111 | |
:MASK #*11111111111111111011111111111111111011111111111111)) | |
(G 0.008370535 NODE | |
#S(NODE | |
:DATA #*11111111111111111011111111111111111111111111111111 | |
:MASK #*11111111111111111011111111111111111011111111111111)) | |
(G 0.008370537 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111111111111011111111111111111011111111111111)) | |
(G 0.00850112 NODE | |
#S(NODE | |
:DATA #*11111111111111110111111111111111111111111111111111 | |
:MASK #*11111111111111110111111111111111111110111111111111)) | |
(G 0.00850112 NODE | |
#S(NODE | |
:DATA #*11111111111111110111111111111111111110111111111111 | |
:MASK #*11111111111111110111111111111111111110111111111111)) | |
(G 0.008605012 NODE | |
#S(NODE | |
:DATA #*11011111111111111111111111111111111111111111111111 | |
:MASK #*11011111111111111111111111111111111111111111111011)) | |
(G 0.008605012 NODE | |
#S(NODE | |
:DATA #*11011111111111111111111111111111111111111111111011 | |
:MASK #*11011111111111111111111111111111111111111111111011)) | |
(G 0.008605012 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111011 | |
:MASK #*11011111111111111111111111111111111111111111111011)) | |
(G 0.008605012 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11011111111111111111111111111111111111111111111011)) | |
(G 0.008666173 NODE | |
#S(NODE | |
:DATA #*11111110111111111111111111111111111111111111111111 | |
:MASK #*11111110111111111111111111111111111111111111101111)) | |
(G 0.0086661745 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111101111 | |
:MASK #*11111110111111111111111111111111111111111111101111)) | |
(G 0.0086661745 NODE | |
#S(NODE | |
:DATA #*11111110111111111111111111111111111111111111101111 | |
:MASK #*11111110111111111111111111111111111111111111101111)) | |
(G 0.0086661745 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111110111111111111111111111111111111111111101111)) | |
(G 0.008741438 NODE | |
#S(NODE | |
:DATA #*11111111101111111111111111111111111111101111111111 | |
:MASK #*11111111101111111111111111111111111111101111111111)) | |
(G 0.00874144 NODE | |
#S(NODE | |
:DATA #*11111111101111111111111111111111111111111111111111 | |
:MASK #*11111111101111111111111111111111111111101111111111)) | |
(G 0.00874144 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111101111111111 | |
:MASK #*11111111101111111111111111111111111111101111111111)) | |
(G 0.008741442 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111101111111111111111111111111111101111111111)) | |
(G 0.008813515 NODE | |
#S(NODE | |
:DATA #*11111111111111111111110111111111111111111111111101 | |
:MASK #*11111111111111111111110111111111111111111111111101)) | |
(G 0.008813517 NODE | |
#S(NODE | |
:DATA #*11111111111111111111110111111111111111111111111111 | |
:MASK #*11111111111111111111110111111111111111111111111101)) | |
(G 0.00928924 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11101111111111111111111111111111111111111110111111)) | |
(G 0.009289242 NODE | |
#S(NODE | |
:DATA #*11101111111111111111111111111111111111111111111111 | |
:MASK #*11101111111111111111111111111111111111111110111111)) | |
(G 0.009289242 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111110111111 | |
:MASK #*11101111111111111111111111111111111111111110111111)) | |
(G 0.009289244 NODE | |
#S(NODE | |
:DATA #*11101111111111111111111111111111111111111110111111 | |
:MASK #*11101111111111111111111111111111111111111110111111)) | |
(G 0.009294827 NODE | |
#S(NODE | |
:DATA #*11110111111111111111111111111111111111111111111111 | |
:MASK #*11110111111111111111111111111111111111110111111111)) | |
(G 0.009294828 NODE | |
#S(NODE | |
:DATA #*11110111111111111111111111111111111111110111111111 | |
:MASK #*11110111111111111111111111111111111111110111111111)) | |
(G 0.00951644 NODE | |
#S(NODE | |
:DATA #*11111111111111110111111111011111111111111111111111 | |
:MASK #*11111111111111110111111111011111111111111111111111)) | |
(G 0.00951644 NODE | |
#S(NODE | |
:DATA #*11111111111111110111111111111111111111111111111111 | |
:MASK #*11111111111111110111111111011111111111111111111111)) | |
(G 0.009731217 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111101 | |
:MASK #*11111110111111111111111111111111111111111111111101)) | |
(G 0.009731217 NODE | |
#S(NODE | |
:DATA #*11111110111111111111111111111111111111111111111101 | |
:MASK #*11111110111111111111111111111111111111111111111101)) | |
(G 0.009731217 NODE | |
#S(NODE | |
:DATA #*11111110111111111111111111111111111111111111111111 | |
:MASK #*11111110111111111111111111111111111111111111111101)) | |
(G 0.009731217 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111110111111111111111111111111111111111111111101)) | |
(G 0.009770409 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111110 | |
:MASK #*11111111111111111111101111111111111111111111111110)) | |
(G 0.009770409 NODE | |
#S(NODE | |
:DATA #*11111111111111111111101111111111111111111111111110 | |
:MASK #*11111111111111111111101111111111111111111111111110)) | |
(G 0.009770409 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111111111111111101111111111111111111111111110)) | |
(G 0.009770409 NODE | |
#S(NODE | |
:DATA #*11111111111111111111101111111111111111111111111111 | |
:MASK #*11111111111111111111101111111111111111111111111110)) | |
(G 0.010114274 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111101111111111111111111111111111111111111011)) | |
(G 0.010114274 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111011 | |
:MASK #*11111111101111111111111111111111111111111111111011)) | |
(G 0.010114274 NODE | |
#S(NODE | |
:DATA #*11111111101111111111111111111111111111111111111111 | |
:MASK #*11111111101111111111111111111111111111111111111011)) | |
(G 0.010114274 NODE | |
#S(NODE | |
:DATA #*11111111101111111111111111111111111111111111111011 | |
:MASK #*11111111101111111111111111111111111111111111111011)) | |
(G 0.0103875315 NODE | |
#S(NODE | |
:DATA #*11111011111111111111111111011111111111111111111111 | |
:MASK #*11111011111111111111111111011111111111111111111111)) | |
(G 0.0103875315 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111011111111111111111111011111111111111111111111)) | |
(G 0.0103875315 NODE | |
#S(NODE | |
:DATA #*11111011111111111111111111111111111111111111111111 | |
:MASK #*11111011111111111111111111011111111111111111111111)) | |
(G 0.0103875315 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111011111111111111111111111 | |
:MASK #*11111011111111111111111111011111111111111111111111)) | |
(G 0.010484067 NODE | |
#S(NODE | |
:DATA #*11111111111111110111111111111111111111111111111111 | |
:MASK #*11111111111111110111111111111111111111111111111101)) | |
(G 0.010484067 NODE | |
#S(NODE | |
:DATA #*11111111111111110111111111111111111111111111111101 | |
:MASK #*11111111111111110111111111111111111111111111111101)) | |
(G 0.010593642 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111111011111111111111110111111111111111111111)) | |
(G 0.010593642 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111110111111111111111111111 | |
:MASK #*11111111111011111111111111110111111111111111111111)) | |
(G 0.0106667485 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111111111111111111101111111111111111111110111)) | |
(G 0.0106667485 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111110111 | |
:MASK #*11111111111111111111111101111111111111111111110111)) | |
(G 0.0110155605 NODE | |
#S(NODE | |
:DATA #*11111111111111111111110111111111111111111111111111 | |
:MASK #*11111111111111111111110111111111110111111111111111)) | |
(G 0.0110155605 NODE | |
#S(NODE | |
:DATA #*11111111111111111111110111111111110111111111111111 | |
:MASK #*11111111111111111111110111111111110111111111111111)) | |
(G 0.011018433 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111110111111111111111111111110111111111111111)) | |
(G 0.011018433 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111110111111111111111 | |
:MASK #*11111111110111111111111111111111110111111111111111)) | |
(G 0.011294709 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*01111111111111111111111111111111111111111111011111)) | |
(G 0.011294709 NODE | |
#S(NODE | |
:DATA #*01111111111111111111111111111111111111111111011111 | |
:MASK #*01111111111111111111111111111111111111111111011111)) | |
(G 0.011294709 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111011111 | |
:MASK #*01111111111111111111111111111111111111111111011111)) | |
(G 0.011294709 NODE | |
#S(NODE | |
:DATA #*01111111111111111111111111111111111111111111111111 | |
:MASK #*01111111111111111111111111111111111111111111011111)) | |
(G 0.011786724 NODE | |
#S(NODE | |
:DATA #*11111111011111111111111111011111111111111111111111 | |
:MASK #*11111111011111111111111111011111111111111111111111)) | |
(G 0.011786724 NODE | |
#S(NODE | |
:DATA #*11111111011111111111111111111111111111111111111111 | |
:MASK #*11111111011111111111111111011111111111111111111111)) | |
(G 0.012233761 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111111111111110111111111111111110111111111111)) | |
(G 0.012233761 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111110111111111111 | |
:MASK #*11111111111111111110111111111111111110111111111111)) | |
(G 0.012766122 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111110111111111111111111011111111111111111111111)) | |
(G 0.012766122 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111011111111111111111111111 | |
:MASK #*11111110111111111111111111011111111111111111111111)) | |
(G 0.012766122 NODE | |
#S(NODE | |
:DATA #*11111110111111111111111111111111111111111111111111 | |
:MASK #*11111110111111111111111111011111111111111111111111)) | |
(G 0.012766122 NODE | |
#S(NODE | |
:DATA #*11111110111111111111111111011111111111111111111111 | |
:MASK #*11111110111111111111111111011111111111111111111111)) | |
(G 0.012812989 NODE | |
#S(NODE | |
:DATA #*11111111111101111111111111111111111111111111111111 | |
:MASK #*11111111111101111111111111111111111111101111111111)) | |
(G 0.012812989 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111101111111111 | |
:MASK #*11111111111101111111111111111111111111101111111111)) | |
(G 0.012812989 NODE | |
#S(NODE | |
:DATA #*11111111111101111111111111111111111111101111111111 | |
:MASK #*11111111111101111111111111111111111111101111111111)) | |
(G 0.012812989 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111111101111111111111111111111111101111111111)) | |
(G 0.0131448675 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111111110111111111111111111111111111111101111)) | |
(G 0.0131448675 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111101111 | |
:MASK #*11111111111110111111111111111111111111111111101111)) | |
(G 0.0131495325 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111011111111 | |
:MASK #*11101111111111111111111111111111111111111011111111)) | |
(G 0.0131495325 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11101111111111111111111111111111111111111011111111)) | |
(G 0.0131495325 NODE | |
#S(NODE | |
:DATA #*11101111111111111111111111111111111111111011111111 | |
:MASK #*11101111111111111111111111111111111111111011111111)) | |
(G 0.0131495325 NODE | |
#S(NODE | |
:DATA #*11101111111111111111111111111111111111111111111111 | |
:MASK #*11101111111111111111111111111111111111111011111111)) | |
(G 0.013818169 NODE | |
#S(NODE | |
:DATA #*11111111111111101111111111111111111011111111111111 | |
:MASK #*11111111111111101111111111111111111011111111111111)) | |
(G 0.013818169 NODE | |
#S(NODE | |
:DATA #*11111111111111101111111111111111111111111111111111 | |
:MASK #*11111111111111101111111111111111111011111111111111)) | |
(G 0.013818169 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111011111111111111 | |
:MASK #*11111111111111101111111111111111111011111111111111)) | |
(G 0.013818169 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111111111101111111111111111111011111111111111)) | |
(G 0.014356842 NODE | |
#S(NODE | |
:DATA #*11110111111111111111111111111111111111111111111111 | |
:MASK #*11110111111111111111111111111111111111111111111011)) | |
(G 0.014356842 NODE | |
#S(NODE | |
:DATA #*11110111111111111111111111111111111111111111111011 | |
:MASK #*11110111111111111111111111111111111111111111111011)) | |
(G 0.014798848 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111111101111111111111111111111111111111110111)) | |
(G 0.014798848 NODE | |
#S(NODE | |
:DATA #*11111111111101111111111111111111111111111111111111 | |
:MASK #*11111111111101111111111111111111111111111111110111)) | |
(G 0.014798848 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111110111 | |
:MASK #*11111111111101111111111111111111111111111111110111)) | |
(G 0.014798848 NODE | |
#S(NODE | |
:DATA #*11111111111101111111111111111111111111111111110111 | |
:MASK #*11111111111101111111111111111111111111111111110111)) | |
(G 0.015524621 NODE | |
#S(NODE | |
:DATA #*11111111111101111111111111111111111111111111111111 | |
:MASK #*11111111111101111111111111111111111111111111011111)) | |
(G 0.015524621 NODE | |
#S(NODE | |
:DATA #*11111111111101111111111111111111111111111111011111 | |
:MASK #*11111111111101111111111111111111111111111111011111)) | |
(G 0.015524621 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111011111 | |
:MASK #*11111111111101111111111111111111111111111111011111)) | |
(G 0.015524621 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111111101111111111111111111111111111111011111)) | |
(G 0.015837418 NODE | |
#S(NODE | |
:DATA #*11111111011111111111111111111111111111111111111111 | |
:MASK #*11111111011111111111111111111111011111111111111111)) | |
(G 0.015837418 NODE | |
#S(NODE | |
:DATA #*11111111011111111111111111111111011111111111111111 | |
:MASK #*11111111011111111111111111111111011111111111111111)) | |
(G 0.016127462 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111111111111111011111111111111111011111111111)) | |
(G 0.016127462 NODE | |
#S(NODE | |
:DATA #*11111111111111111111011111111111111111011111111111 | |
:MASK #*11111111111111111111011111111111111111011111111111)) | |
(G 0.016127462 NODE | |
#S(NODE | |
:DATA #*11111111111111111111011111111111111111111111111111 | |
:MASK #*11111111111111111111011111111111111111011111111111)) | |
(G 0.016127462 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111011111111111 | |
:MASK #*11111111111111111111011111111111111111011111111111)) | |
(G 0.016191227 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111111111011111111111111111111110111111111111)) | |
(G 0.016191227 NODE | |
#S(NODE | |
:DATA #*11111111111111011111111111111111111110111111111111 | |
:MASK #*11111111111111011111111111111111111110111111111111)) | |
(G 0.016191227 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111110111111111111 | |
:MASK #*11111111111111011111111111111111111110111111111111)) | |
(G 0.016191227 NODE | |
#S(NODE | |
:DATA #*11111111111111011111111111111111111111111111111111 | |
:MASK #*11111111111111011111111111111111111110111111111111)) | |
(G 0.01717429 NODE | |
#S(NODE | |
:DATA #*11101111111111111111111111111111111111111111111101 | |
:MASK #*11101111111111111111111111111111111111111111111101)) | |
(G 0.01717429 NODE | |
#S(NODE | |
:DATA #*11101111111111111111111111111111111111111111111111 | |
:MASK #*11101111111111111111111111111111111111111111111101)) | |
(G 0.01717429 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11101111111111111111111111111111111111111111111101)) | |
(G 0.01717429 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111101 | |
:MASK #*11101111111111111111111111111111111111111111111101)) | |
(G 0.017210832 NODE | |
#S(NODE | |
:DATA #*11111111111111110111111111111111111111111111111111 | |
:MASK #*11111111111111110111111111110111111111111111111111)) | |
(G 0.017210832 NODE | |
#S(NODE | |
:DATA #*11111111111111110111111111110111111111111111111111 | |
:MASK #*11111111111111110111111111110111111111111111111111)) | |
(G 0.017398747 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111111111111111101111111111111110111111111111)) | |
(G 0.017398747 NODE | |
#S(NODE | |
:DATA #*11111111111111111111101111111111111110111111111111 | |
:MASK #*11111111111111111111101111111111111110111111111111)) | |
(G 0.017398747 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111110111111111111 | |
:MASK #*11111111111111111111101111111111111110111111111111)) | |
(G 0.017398747 NODE | |
#S(NODE | |
:DATA #*11111111111111111111101111111111111111111111111111 | |
:MASK #*11111111111111111111101111111111111110111111111111)) | |
(G 0.018605115 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111110111111111111111111111 | |
:MASK #*11111111111111111111111011110111111111111111111111)) | |
(G 0.018605115 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111111111111111111011110111111111111111111111)) | |
(G 0.020201737 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111111111111111111101111111111111011111111111)) | |
(G 0.020201737 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111011111111111 | |
:MASK #*11111111111111111111111101111111111111011111111111)) | |
(G 0.027133161 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111110 | |
:MASK #*11111111111110111111111111111111111111111111111110)) | |
(G 0.027133161 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111111 | |
:MASK #*11111111111110111111111111111111111111111111111110)) | |
(G 0.09374619 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111101111111 | |
:MASK #*11111111111111111011111111111111111111111101111111)) | |
(G 0.09374619 NODE | |
#S(NODE | |
:DATA #*11111111111111111011111111111111111111111111111111 | |
:MASK #*11111111111111111011111111111111111111111101111111)) | |
(G 0.10289657 NODE | |
#S(NODE | |
:DATA #*11111111111111111101111111111111111111111111111111 | |
:MASK #*11111111111111111101111111111111111111111110111111)) | |
(G 0.10289657 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111110111111 | |
:MASK #*11111111111111111101111111111111111111111110111111)) | |
(G 0.15965559 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111011111111111111 | |
:MASK #*11111111110111111111111111111111111011111111111111)) | |
(G 0.21611668 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111110111111111 | |
:MASK #*11111111111111101111111111111111111111110111111111)) | |
(G 0.2161167 NODE | |
#S(NODE | |
:DATA #*11111111111111101111111111111111111111111111111111 | |
:MASK #*11111111111111101111111111111111111111110111111111)) | |
(G 0.22501127 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111101111111111111 | |
:MASK #*11111111111011111111111111111111111101111111111111)) | |
(G 0.22796233 NODE | |
#S(NODE | |
:DATA #*11111111111101111111111111111111111111111111111111 | |
:MASK #*11111111111101111111111111111111111110111111111111)) | |
(G 0.22796233 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111110111111111111 | |
:MASK #*11111111111101111111111111111111111110111111111111)) | |
(G 0.22984478 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111011111111111111111111111 | |
:MASK #*10111111111111111111111111011111111111111111111111)) | |
(G 0.2298448 NODE | |
#S(NODE | |
:DATA #*10111111111111111111111111111111111111111111111111 | |
:MASK #*10111111111111111111111111011111111111111111111111)) | |
(G 0.23625506 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111101111111111111111111 | |
:MASK #*11111011111111111111111111111101111111111111111111)) | |
(G 0.23625508 NODE | |
#S(NODE | |
:DATA #*11111011111111111111111111111111111111111111111111 | |
:MASK #*11111011111111111111111111111101111111111111111111)) | |
(G 0.23642735 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111011111111111 | |
:MASK #*11111111111110111111111111111111111111011111111111)) | |
(G 0.23737891 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111101111 | |
:MASK #*11111111111111111111011111111111111111111111101111)) | |
(G 0.23737891 NODE | |
#S(NODE | |
:DATA #*11111111111111111111011111111111111111111111111111 | |
:MASK #*11111111111111111111011111111111111111111111101111)) | |
(G 0.24459285 NODE | |
#S(NODE | |
:DATA #*11111111011111111111111111111111111111111111111111 | |
:MASK #*11111111011111111111111111111111101111111111111111)) | |
(G 0.2541553 NODE | |
#S(NODE | |
:DATA #*11111101111111111111111111111111111111111111111111 | |
:MASK #*11111101111111111111111111111110111111111111111111)) | |
(G 0.26091164 NODE | |
#S(NODE | |
:DATA #*11011111111111111111111111111111111111111111111111 | |
:MASK #*11011111111111111111111111101111111111111111111111)) | |
(G 0.26091167 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111101111111111111111111111 | |
:MASK #*11011111111111111111111111101111111111111111111111)) | |
(G 0.26451313 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111011111111111111111 | |
:MASK #*11111110111111111111111111111111011111111111111111)) | |
(G 0.26451316 NODE | |
#S(NODE | |
:DATA #*11111110111111111111111111111111111111111111111111 | |
:MASK #*11111110111111111111111111111111011111111111111111)) | |
(G 0.27215463 NODE | |
#S(NODE | |
:DATA #*11110111111111111111111111111111111111111111111111 | |
:MASK #*11110111111111111111111111111011111111111111111111)) | |
(G 0.2860243 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111011111 | |
:MASK #*11111111111111111110111111111111111111111111011111)) | |
(G 0.29410478 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111101111111111 | |
:MASK #*11111111111111011111111111111111111111101111111111)) | |
(G 0.29410478 NODE | |
#S(NODE | |
:DATA #*11111111111111011111111111111111111111111111111111 | |
:MASK #*11111111111111011111111111111111111111101111111111)) | |
(G 0.31386107 NODE | |
#S(NODE | |
:DATA #*11111111101111111111111111111111111111111111111111 | |
:MASK #*11111111101111111111111111111111110111111111111111)) | |
(G 0.3138611 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111110111111111111111 | |
:MASK #*11111111101111111111111111111111110111111111111111)) | |
(G 0.31855723 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111110 | |
:MASK #*11111111111111111111111101111111111111111111111110)) | |
(G 0.33095843 NODE | |
#S(NODE | |
:DATA #*11111111111111111111110111111111111111111111111111 | |
:MASK #*11111111111111111111110111111111111111111111111011)) | |
(G 0.33679238 NODE | |
#S(NODE | |
:DATA #*11111111111111111111101111111111111111111111111111 | |
:MASK #*11111111111111111111101111111111111111111111110111)) | |
(G 0.3367924 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111110111 | |
:MASK #*11111111111111111111101111111111111111111111110111)) | |
(G 0.36313573 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111111111111111111111111101 | |
:MASK #*11111111111111111111111011111111111111111111111101)) | |
(G 0.36574203 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111111110111111111111111111111 | |
:MASK #*11101111111111111111111111110111111111111111111111)) | |
(G 0.36574203 NODE | |
#S(NODE | |
:DATA #*11101111111111111111111111111111111111111111111111 | |
:MASK #*11101111111111111111111111110111111111111111111111)) | |
(G 0.3876103 NODE | |
#S(NODE | |
:DATA #*11111111111111110111111111111111111111111111111111 | |
:MASK #*11111111111111110111111111111111111111111011111111)) | |
(G 0.4067416 NODE | |
#S(NODE | |
:DATA #*01111111111111111111111111111111111111111111111111 | |
:MASK #*01111111111111111111111110111111111111111111111111)) | |
(G 0.4067416 NODE | |
#S(NODE | |
:DATA #*11111111111111111111111110111111111111111111111111 | |
(define (domain latent) | |
(:requirements :strips :negative-preconditions) | |
(:predicates (z0) (z1) (z2) (z3) (z4) (z5) (z6) (z7) (z8) (z9) (z10) | |
(z11) (z12) (z13) (z14) (z15) (z16) (z17) (z18) (z19) (z20) (z21) | |
(z22) (z23) (z24)) | |
(:action a22222222222222202222222222222221222222222222222222 | |
:parameters () :precondition (and (not (z15))) :effect (and (z6))) | |
(:action a22222222222222212222222222222220222222222222222222 | |
:parameters () :precondition (and (z15)) :effect (and (not (z6)))) | |
(:action a22222222222222202222222222222220222222222222222222 | |
:parameters () :precondition (and (not (z15))) :effect | |
(and (not (z6)))) | |
(:action a22222222222222222022222222222222222222220222222222 | |
:parameters () :precondition (and (not (z17))) :effect | |
(and (not (z15)))) | |
(:action a22222222222222222122222222222222222222221222222222 | |
:parameters () :precondition (and (z17)) :effect (and (z15))) | |
(:action a22222222222222222022222222222222222222221222222222 | |
:parameters () :precondition (and (not (z17))) :effect (and (z15))) | |
(:action a22222222222222222122222222222222222222220222222222 | |
:parameters () :precondition (and (z17)) :effect (and (not (z15)))) | |
(:action a22222222212222222222222222222222222222222222022222 | |
:parameters () :precondition (and (z9)) :effect (and (not (z19)))) | |
(:action a22222222202222222222222222222222222222222222022222 | |
:parameters () :precondition (and (not (z9))) :effect | |
(and (not (z19)))) | |
(:action a22222222212222222222222222222222222222222222122222 | |
:parameters () :precondition (and (z9)) :effect (and (z19))) | |
(:action a22222222202222222222222222222222222222222222122222 | |
:parameters () :precondition (and (not (z9))) :effect (and (z19))) | |
(:action a22222220222222222222222222222222222222222222220222 | |
:parameters () :precondition (and (not (z7))) :effect | |
(and (not (z21)))) | |
(:action a22222221222222222222222222222222222222222222220222 | |
:parameters () :precondition (and (z7)) :effect (and (not (z21)))) | |
(:action a22222221222222222222222222222222222222222222221222 | |
:parameters () :precondition (and (z7)) :effect (and (z21))) | |
(:action a22222220222222222222222222222222222222222222221222 | |
:parameters () :precondition (and (not (z7))) :effect (and (z21))) | |
(:action a22212222222222222222222222222222222202222222222222 | |
:parameters () :precondition (and (z3)) :effect (and (not (z11)))) | |
(:action a22212222222222222222222222222222222212222222222222 | |
:parameters () :precondition (and (z3)) :effect (and (z11))) | |
(:action a22202222222222222222222222222222222212222222222222 | |
:parameters () :precondition (and (not (z3))) :effect (and (z11))) | |
(:action a22202222222222222222222222222222222202222222222222 | |
:parameters () :precondition (and (not (z3))) :effect | |
(and (not (z11)))) | |
(:action a12222222222222222222222222222222222222222222222220 | |
:parameters () :precondition (and (z0)) :effect (and (not (z24)))) | |
(:action a12222222222222222222222222222222222222222222222221 | |
:parameters () :precondition (and (z0)) :effect (and (z24))) | |
(:action a02222222222222222222222222222222222222222222222220 | |
:parameters () :precondition (and (not (z0))) :effect | |
(and (not (z24)))) | |
(:action a02222222222222222222222222222222222222222222222221 | |
:parameters () :precondition (and (not (z0))) :effect (and (z24))) | |
(:action a22222221222222222222222222212222222222222222222222 | |
:parameters () :precondition (and (z7)) :effect (and (z2))) | |
(:action a22222220222222222222222222212222222222222222222222 | |
:parameters () :precondition (and (not (z7))) :effect (and (z2))) | |
(:action a22222221222222222222222222202222222222222222222222 | |
:parameters () :precondition (and (z7)) :effect (and (not (z2)))) | |
(:action a22222220222222222222222222202222222222222222222222 | |
:parameters () :precondition (and (not (z7))) :effect | |
(and (not (z2)))) | |
(:action a22222221222222222222222222222222212222222222222222 | |
:parameters () :precondition (and (z7)) :effect (and (z8))) | |
(:action a22222220222222222222222222222222212222222222222222 | |
:parameters () :precondition (and (not (z7))) :effect (and (z8))) | |
(:action a22222221222222222222222222222222202222222222222222 | |
:parameters () :precondition (and (z7)) :effect (and (not (z8)))) | |
(:action a22222220222222222222222222222222202222222222222222 | |
:parameters () :precondition (and (not (z7))) :effect | |
(and (not (z8)))) | |
(:action a22222222222222222222222122222222222222222122222222 | |
:parameters () :precondition (and (z23)) :effect (and (z16))) | |
(:action a22222222222222222222222122222222222222222022222222 | |
:parameters () :precondition (and (z23)) :effect (and (not (z16)))) | |
(:action a22220222222222222222222222222222222222222222022222 | |
:parameters () :precondition (and (not (z4))) :effect | |
(and (not (z19)))) | |
(:action a22220222222222222222222222222222222222222222122222 | |
:parameters () :precondition (and (not (z4))) :effect (and (z19))) | |
(:action a22222222222222222222212222222222222222222221222222 | |
:parameters () :precondition (and (z21)) :effect (and (z18))) | |
(:action a22222222222222222222202222222222222222222221222222 | |
:parameters () :precondition (and (not (z21))) :effect (and (z18))) | |
(:action a22222222222222222222202222222222222222222220222222 | |
:parameters () :precondition (and (not (z21))) :effect | |
(and (not (z18)))) | |
(:action a22222222222222222222212222222222222222222220222222 | |
:parameters () :precondition (and (z21)) :effect (and (not (z18)))) | |
(:action a22222222222202222222222222222222222222222022222222 | |
:parameters () :precondition (and (not (z12))) :effect | |
(and (not (z16)))) | |
(:action a22222222222212222222222222222222222222222022222222 | |
:parameters () :precondition (and (z12)) :effect (and (not (z16)))) | |
(:action a22222222222202222222222222222222222222222122222222 | |
:parameters () :precondition (and (not (z12))) :effect (and (z16))) | |
(:action a22222222222212222222222222222222222222222122222222 | |
:parameters () :precondition (and (z12)) :effect (and (z16))) | |
(:action a22222222222222222222220222222122222222222222222222 | |
:parameters () :precondition (and (not (z22))) :effect (and (z4))) | |
(:action a22222222222222222222220222222022222222222222222222 | |
:parameters () :precondition (and (not (z22))) :effect | |
(and (not (z4)))) | |
(:action a22222222222222222122222222222222222022222222222222 | |
:parameters () :precondition (and (z17)) :effect (and (not (z10)))) | |
(:action a22222222222222222022222222222222222022222222222222 | |
:parameters () :precondition (and (not (z17))) :effect | |
(and (not (z10)))) | |
(:action a22222222222222222022222222222222222122222222222222 | |
:parameters () :precondition (and (not (z17))) :effect (and (z10))) | |
(:action a22222222222222222122222222222222222122222222222222 | |
:parameters () :precondition (and (z17)) :effect (and (z10))) | |
(:action a22222222222222220222222222222222222221222222222222 | |
:parameters () :precondition (and (not (z16))) :effect (and (z12))) | |
(:action a22222222222222220222222222222222222220222222222222 | |
:parameters () :precondition (and (not (z16))) :effect | |
(and (not (z12)))) | |
(:action a22022222222222222222222222222222222222222222222122 | |
:parameters () :precondition (and (not (z2))) :effect (and (z22))) | |
(:action a22022222222222222222222222222222222222222222222022 | |
:parameters () :precondition (and (not (z2))) :effect | |
(and (not (z22)))) | |
(:action a22122222222222222222222222222222222222222222222022 | |
:parameters () :precondition (and (z2)) :effect (and (not (z22)))) | |
(:action a22122222222222222222222222222222222222222222222122 | |
:parameters () :precondition (and (z2)) :effect (and (z22))) | |
(:action a22222220222222222222222222222222222222222222212222 | |
:parameters () :precondition (and (not (z7))) :effect (and (z20))) | |
(:action a22222221222222222222222222222222222222222222202222 | |
:parameters () :precondition (and (z7)) :effect (and (not (z20)))) | |
(:action a22222220222222222222222222222222222222222222202222 | |
:parameters () :precondition (and (not (z7))) :effect | |
(and (not (z20)))) | |
(:action a22222221222222222222222222222222222222222222212222 | |
:parameters () :precondition (and (z7)) :effect (and (z20))) | |
(:action a22222222202222222222222222222222222222202222222222 | |
:parameters () :precondition (and (not (z9))) :effect | |
(and (not (z14)))) | |
(:action a22222222202222222222222222222222222222212222222222 | |
:parameters () :precondition (and (not (z9))) :effect (and (z14))) | |
(:action a22222222212222222222222222222222222222202222222222 | |
:parameters () :precondition (and (z9)) :effect (and (not (z14)))) | |
(:action a22222222212222222222222222222222222222212222222222 | |
:parameters () :precondition (and (z9)) :effect (and (z14))) | |
(:action a22222222222222222222220222222222222222222222222202 | |
:parameters () :precondition (and (not (z22))) :effect | |
(and (not (z23)))) | |
(:action a22222222222222222222220222222222222222222222222212 | |
:parameters () :precondition (and (not (z22))) :effect (and (z23))) | |
(:action a22212222222222222222222222222222222222222221222222 | |
:parameters () :precondition (and (z3)) :effect (and (z18))) | |
(:action a22202222222222222222222222222222222222222221222222 | |
:parameters () :precondition (and (not (z3))) :effect (and (z18))) | |
(:action a22212222222222222222222222222222222222222220222222 | |
:parameters () :precondition (and (z3)) :effect (and (not (z18)))) | |
(:action a22202222222222222222222222222222222222222220222222 | |
:parameters () :precondition (and (not (z3))) :effect | |
(and (not (z18)))) | |
(:action a22220222222222222222222222222222222222221222222222 | |
:parameters () :precondition (and (not (z4))) :effect (and (z15))) | |
(:action a22220222222222222222222222222222222222220222222222 | |
:parameters () :precondition (and (not (z4))) :effect | |
(and (not (z15)))) | |
(:action a22222222222222220222222222022222222222222222222222 | |
:parameters () :precondition (and (not (z16))) :effect | |
(and (not (z1)))) | |
(:action a22222222222222220222222222122222222222222222222222 | |
:parameters () :precondition (and (not (z16))) :effect (and (z1))) | |
(:action a22222221222222222222222222222222222222222222222202 | |
:parameters () :precondition (and (z7)) :effect (and (not (z23)))) | |
(:action a22222220222222222222222222222222222222222222222202 | |
:parameters () :precondition (and (not (z7))) :effect | |
(and (not (z23)))) | |
(:action a22222220222222222222222222222222222222222222222212 | |
:parameters () :precondition (and (not (z7))) :effect (and (z23))) | |
(:action a22222221222222222222222222222222222222222222222212 | |
:parameters () :precondition (and (z7)) :effect (and (z23))) | |
(:action a22222222222222222222212222222222222222222222222220 | |
:parameters () :precondition (and (z21)) :effect (and (not (z24)))) | |
(:action a22222222222222222222202222222222222222222222222220 | |
:parameters () :precondition (and (not (z21))) :effect | |
(and (not (z24)))) | |
(:action a22222222222222222222212222222222222222222222222221 | |
:parameters () :precondition (and (z21)) :effect (and (z24))) | |
(:action a22222222222222222222202222222222222222222222222221 | |
:parameters () :precondition (and (not (z21))) :effect (and (z24))) | |
(:action a22222222212222222222222222222222222222222222222122 | |
:parameters () :precondition (and (z9)) :effect (and (z22))) | |
(:action a22222222212222222222222222222222222222222222222022 | |
:parameters () :precondition (and (z9)) :effect (and (not (z22)))) | |
(:action a22222222202222222222222222222222222222222222222122 | |
:parameters () :precondition (and (not (z9))) :effect (and (z22))) | |
(:action a22222222202222222222222222222222222222222222222022 | |
:parameters () :precondition (and (not (z9))) :effect | |
(and (not (z22)))) | |
(:action a22222022222222222222222222022222222222222222222222 | |
:parameters () :precondition (and (not (z5))) :effect | |
(and (not (z1)))) | |
(:action a22222122222222222222222222122222222222222222222222 | |
:parameters () :precondition (and (z5)) :effect (and (z1))) | |
(:action a22222022222222222222222222122222222222222222222222 | |
:parameters () :precondition (and (not (z5))) :effect (and (z1))) | |
(:action a22222122222222222222222222022222222222222222222222 | |
:parameters () :precondition (and (z5)) :effect (and (not (z1)))) | |
(:action a22222222222222220222222222222222222222222222222212 | |
:parameters () :precondition (and (not (z16))) :effect (and (z23))) | |
(:action a22222222222222220222222222222222222222222222222202 | |
:parameters () :precondition (and (not (z16))) :effect | |
(and (not (z23)))) | |
(:action a22222222222122222222222222221222222222222222222222 | |
:parameters () :precondition (and (z11)) :effect (and (z3))) | |
(:action a22222222222122222222222222220222222222222222222222 | |
:parameters () :precondition (and (z11)) :effect (and (not (z3)))) | |
(:action a22222222222222222222222212222222222222222222221222 | |
:parameters () :precondition (and (z24)) :effect (and (z21))) | |
(:action a22222222222222222222222212222222222222222222220222 | |
:parameters () :precondition (and (z24)) :effect (and (not (z21)))) | |
(:action a22222222222222222222220222222222221222222222222222 | |
:parameters () :precondition (and (not (z22))) :effect (and (z9))) | |
(:action a22222222222222222222220222222222220222222222222222 | |
:parameters () :precondition (and (not (z22))) :effect | |
(and (not (z9)))) | |
(:action a22222222221222222222222222222222221222222222222222 | |
:parameters () :precondition (and (z10)) :effect (and (z9))) | |
(:action a22222222221222222222222222222222220222222222222222 | |
:parameters () :precondition (and (z10)) :effect (and (not (z9)))) | |
(:action a12222222222222222222222222222222222222222222122222 | |
:parameters () :precondition (and (z0)) :effect (and (z19))) | |
(:action a02222222222222222222222222222222222222222222022222 | |
:parameters () :precondition (and (not (z0))) :effect | |
(and (not (z19)))) | |
(:action a12222222222222222222222222222222222222222222022222 | |
:parameters () :precondition (and (z0)) :effect (and (not (z19)))) | |
(:action a02222222222222222222222222222222222222222222122222 | |
:parameters () :precondition (and (not (z0))) :effect (and (z19))) | |
(:action a22222222022222222222222222022222222222222222222222 | |
:parameters () :precondition (and (not (z8))) :effect | |
(and (not (z1)))) | |
(:action a22222222022222222222222222122222222222222222222222 | |
:parameters () :precondition (and (not (z8))) :effect (and (z1))) | |
(:action a22222222222222222221222222222222222221222222222222 | |
:parameters () :precondition (and (z19)) :effect (and (z12))) | |
(:action a22222222222222222221222222222222222220222222222222 | |
:parameters () :precondition (and (z19)) :effect (and (not (z12)))) | |
(:action a22222221222222222222222222122222222222222222222222 | |
:parameters () :precondition (and (z7)) :effect (and (z1))) | |
(:action a22222221222222222222222222022222222222222222222222 | |
:parameters () :precondition (and (z7)) :effect (and (not (z1)))) | |
(:action a22222220222222222222222222122222222222222222222222 | |
:parameters () :precondition (and (not (z7))) :effect (and (z1))) | |
(:action a22222220222222222222222222022222222222222222222222 | |
:parameters () :precondition (and (not (z7))) :effect | |
(and (not (z1)))) | |
(:action a22222222222202222222222222222222222222212222222222 | |
:parameters () :precondition (and (not (z12))) :effect (and (z14))) | |
(:action a22222222222212222222222222222222222222202222222222 | |
:parameters () :precondition (and (z12)) :effect (and (not (z14)))) | |
(:action a22222222222202222222222222222222222222202222222222 | |
:parameters () :precondition (and (not (z12))) :effect | |
(and (not (z14)))) | |
(:action a22222222222212222222222222222222222222212222222222 | |
:parameters () :precondition (and (z12)) :effect (and (z14))) | |
(:action a22222222222221222222222222222222222222222222212222 | |
:parameters () :precondition (and (z13)) :effect (and (z20))) | |
(:action a22222222222221222222222222222222222222222222202222 | |
:parameters () :precondition (and (z13)) :effect (and (not (z20)))) | |
(:action a22212222222222222222222222222222222222222022222222 | |
:parameters () :precondition (and (z3)) :effect (and (not (z16)))) | |
(:action a22212222222222222222222222222222222222222122222222 | |
:parameters () :precondition (and (z3)) :effect (and (z16))) | |
(:action a22202222222222222222222222222222222222222022222222 | |
:parameters () :precondition (and (not (z3))) :effect | |
(and (not (z16)))) | |
(:action a22202222222222222222222222222222222222222122222222 | |
:parameters () :precondition (and (not (z3))) :effect (and (z16))) | |
(:action a22222222222222202222222222222222222022222222222222 | |
:parameters () :precondition (and (not (z15))) :effect | |
(and (not (z10)))) | |
(:action a22222222222222202222222222222222222122222222222222 | |
:parameters () :precondition (and (not (z15))) :effect (and (z10))) | |
(:action a22222222222222212222222222222222222022222222222222 | |
:parameters () :precondition (and (z15)) :effect (and (not (z10)))) | |
(:action a22222222222222212222222222222222222122222222222222 | |
:parameters () :precondition (and (z15)) :effect (and (z10))) | |
(:action a22220222222222222222222222222222222222222222222122 | |
:parameters () :precondition (and (not (z4))) :effect (and (z22))) | |
(:action a22220222222222222222222222222222222222222222222022 | |
:parameters () :precondition (and (not (z4))) :effect | |
(and (not (z22)))) | |
(:action a22222222222212222222222222222222222222222222221222 | |
:parameters () :precondition (and (z12)) :effect (and (z21))) | |
(:action a22222222222202222222222222222222222222222222221222 | |
:parameters () :precondition (and (not (z12))) :effect (and (z21))) | |
(:action a22222222222212222222222222222222222222222222220222 | |
:parameters () :precondition (and (z12)) :effect (and (not (z21)))) | |
(:action a22222222222202222222222222222222222222222222220222 | |
:parameters () :precondition (and (not (z12))) :effect | |
(and (not (z21)))) | |
(:action a22222222222202222222222222222222222222222222122222 | |
:parameters () :precondition (and (not (z12))) :effect (and (z19))) | |
(:action a22222222222202222222222222222222222222222222022222 | |
:parameters () :precondition (and (not (z12))) :effect | |
(and (not (z19)))) | |
(:action a22222222222212222222222222222222222222222222022222 | |
:parameters () :precondition (and (z12)) :effect (and (not (z19)))) | |
(:action a22222222222212222222222222222222222222222222122222 | |
:parameters () :precondition (and (z12)) :effect (and (z19))) | |
(:action a22222222022222222222222222222222122222222222222222 | |
:parameters () :precondition (and (not (z8))) :effect (and (z7))) | |
(:action a22222222022222222222222222222222022222222222222222 | |
:parameters () :precondition (and (not (z8))) :effect | |
(and (not (z7)))) | |
(:action a22222222222222222222122222222222222222122222222222 | |
:parameters () :precondition (and (z20)) :effect (and (z13))) | |
(:action a22222222222222222222022222222222222222022222222222 | |
:parameters () :precondition (and (not (z20))) :effect | |
(and (not (z13)))) | |
(:action a22222222222222222222022222222222222222122222222222 | |
:parameters () :precondition (and (not (z20))) :effect (and (z13))) | |
(:action a22222222222222222222122222222222222222022222222222 | |
:parameters () :precondition (and (z20)) :effect (and (not (z13)))) | |
(:action a22222222222222122222222222222222222221222222222222 | |
:parameters () :precondition (and (z14)) :effect (and (z12))) | |
(:action a22222222222222022222222222222222222220222222222222 | |
:parameters () :precondition (and (not (z14))) :effect | |
(and (not (z12)))) | |
(:action a22222222222222122222222222222222222220222222222222 | |
:parameters () :precondition (and (z14)) :effect (and (not (z12)))) | |
(:action a22222222222222022222222222222222222221222222222222 | |
:parameters () :precondition (and (not (z14))) :effect (and (z12))) | |
(:action a22202222222222222222222222222222222222222222222202 | |
:parameters () :precondition (and (not (z3))) :effect | |
(and (not (z23)))) | |
(:action a22202222222222222222222222222222222222222222222212 | |
:parameters () :precondition (and (not (z3))) :effect (and (z23))) | |
(:action a22212222222222222222222222222222222222222222222212 | |
:parameters () :precondition (and (z3)) :effect (and (z23))) | |
(:action a22212222222222222222222222222222222222222222222202 | |
:parameters () :precondition (and (z3)) :effect (and (not (z23)))) | |
(:action a22222222222222220222222222221222222222222222222222 | |
:parameters () :precondition (and (not (z16))) :effect (and (z3))) | |
(:action a22222222222222220222222222220222222222222222222222 | |
:parameters () :precondition (and (not (z16))) :effect | |
(and (not (z3)))) | |
(:action a22222222222222222222212222222222222221222222222222 | |
:parameters () :precondition (and (z21)) :effect (and (z12))) | |
(:action a22222222222222222222202222222222222220222222222222 | |
:parameters () :precondition (and (not (z21))) :effect | |
(and (not (z12)))) | |
(:action a22222222222222222222212222222222222220222222222222 | |
:parameters () :precondition (and (z21)) :effect (and (not (z12)))) | |
(:action a22222222222222222222202222222222222221222222222222 | |
:parameters () :precondition (and (not (z21))) :effect (and (z12))) | |
(:action a22222222222222222222222122220222222222222222222222 | |
:parameters () :precondition (and (z23)) :effect (and (not (z3)))) | |
(:action a22222222222222222222222122221222222222222222222222 | |
:parameters () :precondition (and (z23)) :effect (and (z3))) | |
(:action a22222222222222222222222212222222222222122222222222 | |
:parameters () :precondition (and (z24)) :effect (and (z13))) | |
(:action a22222222222222222222222212222222222222022222222222 | |
:parameters () :precondition (and (z24)) :effect (and (not (z13)))) | |
(:action a22222222222221222222222222222222222222222222222220 | |
:parameters () :precondition (and (z13)) :effect (and (not (z24)))) | |
(:action a22222222222221222222222222222222222222222222222221 | |
:parameters () :precondition (and (z13)) :effect (and (z24))) | |
(:action a22222222222222222122222222222222222222222202222222 | |
:parameters () :precondition (and (z17)) :effect (and (not (z17)))) | |
(:action a22222222222222222022222222222222222222222212222222 | |
:parameters () :precondition (and (not (z17))) :effect (and (z17))) | |
(:action a22222222222222222202222222222222222222222221222222 | |
:parameters () :precondition (and (not (z18))) :effect (and (z18))) | |
(:action a22222222222222222212222222222222222222222220222222 | |
:parameters () :precondition (and (z18)) :effect (and (not (z18)))) | |
(:action a22222222221222222222222222222222222022222222222222 | |
:parameters () :precondition (and (z10)) :effect (and (not (z10)))) | |
(:action a22222222222222212222222222222222222222220222222222 | |
:parameters () :precondition (and (z15)) :effect (and (not (z15)))) | |
(:action a22222222222222202222222222222222222222221222222222 | |
:parameters () :precondition (and (not (z15))) :effect (and (z15))) | |
(:action a22222222222122222222222222222222222202222222222222 | |
:parameters () :precondition (and (z11)) :effect (and (not (z11)))) | |
(:action a22222222222202222222222222222222222221222222222222 | |
:parameters () :precondition (and (not (z12))) :effect (and (z12))) | |
(:action a22222222222212222222222222222222222220222222222222 | |
:parameters () :precondition (and (z12)) :effect (and (not (z12)))) | |
(:action a21222222222222222222222222022222222222222222222222 | |
:parameters () :precondition (and (z1)) :effect (and (not (z1)))) | |
(:action a20222222222222222222222222122222222222222222222222 | |
:parameters () :precondition (and (not (z1))) :effect (and (z1))) | |
(:action a22222122222222222222222222222202222222222222222222 | |
:parameters () :precondition (and (z5)) :effect (and (not (z5)))) | |
(:action a22222022222222222222222222222212222222222222222222 | |
:parameters () :precondition (and (not (z5))) :effect (and (z5))) | |
(:action a22222222222221222222222222222222222222022222222222 | |
:parameters () :precondition (and (z13)) :effect (and (not (z13)))) | |
(:action a22222222222222222222122222222222222222222222202222 | |
:parameters () :precondition (and (z20)) :effect (and (not (z20)))) | |
(:action a22222222222222222222022222222222222222222222212222 | |
:parameters () :precondition (and (not (z20))) :effect (and (z20))) | |
(:action a22222222022222222222222222222222212222222222222222 | |
:parameters () :precondition (and (not (z8))) :effect (and (z8))) | |
(:action a22222202222222222222222222222221222222222222222222 | |
:parameters () :precondition (and (not (z6))) :effect (and (z6))) | |
(:action a22022222222222222222222222212222222222222222222222 | |
:parameters () :precondition (and (not (z2))) :effect (and (z2))) | |
(:action a22122222222222222222222222202222222222222222222222 | |
:parameters () :precondition (and (z2)) :effect (and (not (z2)))) | |
(:action a22222221222222222222222222222222022222222222222222 | |
:parameters () :precondition (and (z7)) :effect (and (not (z7)))) | |
(:action a22222220222222222222222222222222122222222222222222 | |
:parameters () :precondition (and (not (z7))) :effect (and (z7))) | |
(:action a22220222222222222222222222222122222222222222222222 | |
:parameters () :precondition (and (not (z4))) :effect (and (z4))) | |
(:action a22222222222222222221222222222222222222222222022222 | |
:parameters () :precondition (and (z19)) :effect (and (not (z19)))) | |
(:action a22222222222222122222222222222222222222202222222222 | |
:parameters () :precondition (and (z14)) :effect (and (not (z14)))) | |
(:action a22222222222222022222222222222222222222212222222222 | |
:parameters () :precondition (and (not (z14))) :effect (and (z14))) | |
(:action a22222222202222222222222222222222221222222222222222 | |
:parameters () :precondition (and (not (z9))) :effect (and (z9))) | |
(:action a22222222212222222222222222222222220222222222222222 | |
:parameters () :precondition (and (z9)) :effect (and (not (z9)))) | |
(:action a22222222222222222222222212222222222222222222222220 | |
:parameters () :precondition (and (z24)) :effect (and (not (z24)))) | |
(:action a22222222222222222222220222222222222222222222222122 | |
:parameters () :precondition (and (not (z22))) :effect (and (z22))) | |
(:action a22222222222222222222202222222222222222222222221222 | |
:parameters () :precondition (and (not (z21))) :effect (and (z21))) | |
(:action a22222222222222222222212222222222222222222222220222 | |
:parameters () :precondition (and (z21)) :effect (and (not (z21)))) | |
(:action a22222222222222222222222122222222222222222222222202 | |
:parameters () :precondition (and (z23)) :effect (and (not (z23)))) | |
(:action a22212222222222222222222222220222222222222222222222 | |
:parameters () :precondition (and (z3)) :effect (and (not (z3)))) | |
(:action a22202222222222222222222222221222222222222222222222 | |
:parameters () :precondition (and (not (z3))) :effect (and (z3))) | |
(:action a22222222222222220222222222222222222222222122222222 | |
:parameters () :precondition (and (not (z16))) :effect (and (z16))) | |
(:action a02222222222222222222222221222222222222222222222222 | |
:parameters () :precondition (and (not (z0))) :effect (and (z0))) | |
(:action a12222222222222222222222220222222222222222222222222 | |
:parameters () :precondition (and (z0)) :effect (and (not (z0))))) | |
:MASK #*01111111111111111111111110111111111111111111111111)) | |
Evaluation took: | |
1.880 seconds of real time | |
1.816000 seconds of total run time (1.752000 user, 0.064000 system) | |
96.60% CPU | |
35 lambdas converted | |
5,650,382,623 processor cycles | |
149,272,240 bytes consed | |
[guicho latent-planner2]$ |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment