---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 65 ops and 10 exclusive pairs time: 1, 68 facts and 10 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 65 ops and 10 exclusive pairs time: 1, 68 facts and 10 exclusive pairs 111 ops and 173 exclusive pairs time: 2, 83 facts and 15 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 65 ops and 10 exclusive pairs time: 1, 68 facts and 10 exclusive pairs 111 ops and 173 exclusive pairs time: 2, 83 facts and 15 exclusive pairs 171 ops and 425 exclusive pairs time: 3, 98 facts and 17 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 65 ops and 10 exclusive pairs time: 1, 68 facts and 10 exclusive pairs 111 ops and 173 exclusive pairs time: 2, 83 facts and 15 exclusive pairs 171 ops and 425 exclusive pairs time: 3, 98 facts and 17 exclusive pairs 237 ops and 770 exclusive pairs time: 4, 117 facts and 28 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 65 ops and 10 exclusive pairs time: 1, 68 facts and 10 exclusive pairs 111 ops and 173 exclusive pairs time: 2, 83 facts and 15 exclusive pairs 171 ops and 425 exclusive pairs time: 3, 98 facts and 17 exclusive pairs 237 ops and 770 exclusive pairs time: 4, 117 facts and 28 exclusive pairs 318 ops and 1526 exclusive pairs time: 5, 138 facts and 51 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 65 ops and 10 exclusive pairs time: 1, 68 facts and 10 exclusive pairs 111 ops and 173 exclusive pairs time: 2, 83 facts and 15 exclusive pairs 171 ops and 425 exclusive pairs time: 3, 98 facts and 17 exclusive pairs 237 ops and 770 exclusive pairs time: 4, 117 facts and 28 exclusive pairs 318 ops and 1526 exclusive pairs time: 5, 138 facts and 51 exclusive pairs 405 ops and 2780 exclusive pairs time: 6, 160 facts and 63 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 65 ops and 10 exclusive pairs time: 1, 68 facts and 10 exclusive pairs 111 ops and 173 exclusive pairs time: 2, 83 facts and 15 exclusive pairs 171 ops and 425 exclusive pairs time: 3, 98 facts and 17 exclusive pairs 237 ops and 770 exclusive pairs time: 4, 117 facts and 28 exclusive pairs 318 ops and 1526 exclusive pairs time: 5, 138 facts and 51 exclusive pairs 405 ops and 2780 exclusive pairs time: 6, 160 facts and 63 exclusive pairs 496 ops and 4094 exclusive pairs time: 7, 182 facts and 64 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 65 ops and 10 exclusive pairs time: 1, 68 facts and 10 exclusive pairs 111 ops and 173 exclusive pairs time: 2, 83 facts and 15 exclusive pairs 171 ops and 425 exclusive pairs time: 3, 98 facts and 17 exclusive pairs 237 ops and 770 exclusive pairs time: 4, 117 facts and 28 exclusive pairs 318 ops and 1526 exclusive pairs time: 5, 138 facts and 51 exclusive pairs 405 ops and 2780 exclusive pairs time: 6, 160 facts and 63 exclusive pairs 496 ops and 4094 exclusive pairs time: 7, 182 facts and 64 exclusive pairs 585 ops and 5364 exclusive pairs time: 8, 199 facts and 46 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 65 ops and 10 exclusive pairs time: 1, 68 facts and 10 exclusive pairs 111 ops and 173 exclusive pairs time: 2, 83 facts and 15 exclusive pairs 171 ops and 425 exclusive pairs time: 3, 98 facts and 17 exclusive pairs 237 ops and 770 exclusive pairs time: 4, 117 facts and 28 exclusive pairs 318 ops and 1526 exclusive pairs time: 5, 138 facts and 51 exclusive pairs 405 ops and 2780 exclusive pairs time: 6, 160 facts and 63 exclusive pairs 496 ops and 4094 exclusive pairs time: 7, 182 facts and 64 exclusive pairs 585 ops and 5364 exclusive pairs time: 8, 199 facts and 46 exclusive pairs 657 ops and 6204 exclusive pairs time: 9, 212 facts and 22 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... goal constraints... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... exclusion constraints layer 6... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... DECISION LAYER 9, WRITING THIN GP-BASED ENCODING WITH 4357 VARS, 24256 CLAUSES. time spent: 0.01 seconds instantiating 11102 action templates 0.00 seconds reachability analysis, yielding 232 facts and 546 actions 0.00 seconds collecting 229 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.09 seconds CNF output time 0.10 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 4357 pure lits : 209 1-clauses : 58 2-clauses : 23166 3-clauses : 147 n-clauses : 885 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 108598 conflicts : 5161 time : ~0.22 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 65 ops and 10 exclusive pairs time: 1, 68 facts and 10 exclusive pairs 111 ops and 173 exclusive pairs time: 2, 83 facts and 15 exclusive pairs 171 ops and 425 exclusive pairs time: 3, 98 facts and 17 exclusive pairs 237 ops and 770 exclusive pairs time: 4, 117 facts and 28 exclusive pairs 318 ops and 1526 exclusive pairs time: 5, 138 facts and 51 exclusive pairs 405 ops and 2780 exclusive pairs time: 6, 160 facts and 63 exclusive pairs 496 ops and 4094 exclusive pairs time: 7, 182 facts and 64 exclusive pairs 585 ops and 5364 exclusive pairs time: 8, 199 facts and 46 exclusive pairs 657 ops and 6204 exclusive pairs time: 9, 212 facts and 22 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... goal constraints... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... exclusion constraints layer 6... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... DECISION LAYER 9, WRITING THIN GP-BASED ENCODING WITH 4357 VARS, 24256 CLAUSES. time spent: 0.00 seconds instantiating 11102 action templates 0.00 seconds reachability analysis, yielding 232 facts and 546 actions 0.00 seconds collecting 229 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.08 seconds CNF output time 0.08 seconds total planner time (solving not included) Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] Pruned: 0: (MOVE R3 V50 V43) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 9 layers Real Time: = 0.58 User Time: = 0.55 Syst Time: = 0.05