---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 53 facts and 0 exclusive pairs 70 ops and 19 exclusive pairs time: 1, 76 facts and 19 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, 53 facts and 0 exclusive pairs 70 ops and 19 exclusive pairs time: 1, 76 facts and 19 exclusive pairs 149 ops and 419 exclusive pairs time: 2, 105 facts and 57 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, 53 facts and 0 exclusive pairs 70 ops and 19 exclusive pairs time: 1, 76 facts and 19 exclusive pairs 149 ops and 419 exclusive pairs time: 2, 105 facts and 57 exclusive pairs 279 ops and 1886 exclusive pairs time: 3, 145 facts and 127 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, 53 facts and 0 exclusive pairs 70 ops and 19 exclusive pairs time: 1, 76 facts and 19 exclusive pairs 149 ops and 419 exclusive pairs time: 2, 105 facts and 57 exclusive pairs 279 ops and 1886 exclusive pairs time: 3, 145 facts and 127 exclusive pairs 452 ops and 5084 exclusive pairs time: 4, 190 facts and 207 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, 53 facts and 0 exclusive pairs 70 ops and 19 exclusive pairs time: 1, 76 facts and 19 exclusive pairs 149 ops and 419 exclusive pairs time: 2, 105 facts and 57 exclusive pairs 279 ops and 1886 exclusive pairs time: 3, 145 facts and 127 exclusive pairs 452 ops and 5084 exclusive pairs time: 4, 190 facts and 207 exclusive pairs 656 ops and 10044 exclusive pairs time: 5, 240 facts and 246 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, 53 facts and 0 exclusive pairs 70 ops and 19 exclusive pairs time: 1, 76 facts and 19 exclusive pairs 149 ops and 419 exclusive pairs time: 2, 105 facts and 57 exclusive pairs 279 ops and 1886 exclusive pairs time: 3, 145 facts and 127 exclusive pairs 452 ops and 5084 exclusive pairs time: 4, 190 facts and 207 exclusive pairs 656 ops and 10044 exclusive pairs time: 5, 240 facts and 246 exclusive pairs 866 ops and 15618 exclusive pairs time: 6, 282 facts and 236 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, 53 facts and 0 exclusive pairs 70 ops and 19 exclusive pairs time: 1, 76 facts and 19 exclusive pairs 149 ops and 419 exclusive pairs time: 2, 105 facts and 57 exclusive pairs 279 ops and 1886 exclusive pairs time: 3, 145 facts and 127 exclusive pairs 452 ops and 5084 exclusive pairs time: 4, 190 facts and 207 exclusive pairs 656 ops and 10044 exclusive pairs time: 5, 240 facts and 246 exclusive pairs 866 ops and 15618 exclusive pairs time: 6, 282 facts and 236 exclusive pairs 1054 ops and 20450 exclusive pairs time: 7, 324 facts and 202 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... 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... DECISION LAYER 7, WRITING THIN GP-BASED ENCODING WITH 4941 VARS, 47814 CLAUSES. time spent: 0.00 seconds instantiating 12480 action templates 0.00 seconds reachability analysis, yielding 413 facts and 1152 actions 0.01 seconds collecting 407 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.24 seconds CNF output time 0.25 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 4941 pure lits : 318 1-clauses : 59 2-clauses : 46635 3-clauses : 236 n-clauses : 884 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 128344 conflicts : 6957 time : ~0.4 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 53 facts and 0 exclusive pairs 70 ops and 19 exclusive pairs time: 1, 76 facts and 19 exclusive pairs 149 ops and 419 exclusive pairs time: 2, 105 facts and 57 exclusive pairs 279 ops and 1886 exclusive pairs time: 3, 145 facts and 127 exclusive pairs 452 ops and 5084 exclusive pairs time: 4, 190 facts and 207 exclusive pairs 656 ops and 10044 exclusive pairs time: 5, 240 facts and 246 exclusive pairs 866 ops and 15618 exclusive pairs time: 6, 282 facts and 236 exclusive pairs 1054 ops and 20450 exclusive pairs time: 7, 324 facts and 202 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... 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... DECISION LAYER 7, WRITING THIN GP-BASED ENCODING WITH 4941 VARS, 47814 CLAUSES. time spent: 0.01 seconds instantiating 12480 action templates 0.00 seconds reachability analysis, yielding 413 facts and 1152 actions 0.00 seconds collecting 407 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.23 seconds CNF output time 0.24 seconds total planner time (solving not included) Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] Pruned: 0: (MOVE R2 V51 V43) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 7 layers Real Time: = 1.12 User Time: = 1.1 Syst Time: = 0.1