---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 52 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, 52 facts and 0 exclusive pairs 70 ops and 19 exclusive pairs time: 1, 76 facts and 19 exclusive pairs 156 ops and 440 exclusive pairs time: 2, 108 facts and 72 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, 52 facts and 0 exclusive pairs 70 ops and 19 exclusive pairs time: 1, 76 facts and 19 exclusive pairs 156 ops and 440 exclusive pairs time: 2, 108 facts and 72 exclusive pairs 292 ops and 2287 exclusive pairs time: 3, 143 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, 52 facts and 0 exclusive pairs 70 ops and 19 exclusive pairs time: 1, 76 facts and 19 exclusive pairs 156 ops and 440 exclusive pairs time: 2, 108 facts and 72 exclusive pairs 292 ops and 2287 exclusive pairs time: 3, 143 facts and 127 exclusive pairs 440 ops and 4905 exclusive pairs time: 4, 181 facts and 180 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, 52 facts and 0 exclusive pairs 70 ops and 19 exclusive pairs time: 1, 76 facts and 19 exclusive pairs 156 ops and 440 exclusive pairs time: 2, 108 facts and 72 exclusive pairs 292 ops and 2287 exclusive pairs time: 3, 143 facts and 127 exclusive pairs 440 ops and 4905 exclusive pairs time: 4, 181 facts and 180 exclusive pairs 598 ops and 8187 exclusive pairs time: 5, 221 facts and 277 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, 52 facts and 0 exclusive pairs 70 ops and 19 exclusive pairs time: 1, 76 facts and 19 exclusive pairs 156 ops and 440 exclusive pairs time: 2, 108 facts and 72 exclusive pairs 292 ops and 2287 exclusive pairs time: 3, 143 facts and 127 exclusive pairs 440 ops and 4905 exclusive pairs time: 4, 181 facts and 180 exclusive pairs 598 ops and 8187 exclusive pairs time: 5, 221 facts and 277 exclusive pairs 761 ops and 12897 exclusive pairs time: 6, 263 facts and 359 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, 52 facts and 0 exclusive pairs 70 ops and 19 exclusive pairs time: 1, 76 facts and 19 exclusive pairs 156 ops and 440 exclusive pairs time: 2, 108 facts and 72 exclusive pairs 292 ops and 2287 exclusive pairs time: 3, 143 facts and 127 exclusive pairs 440 ops and 4905 exclusive pairs time: 4, 181 facts and 180 exclusive pairs 598 ops and 8187 exclusive pairs time: 5, 221 facts and 277 exclusive pairs 761 ops and 12897 exclusive pairs time: 6, 263 facts and 359 exclusive pairs 938 ops and 19063 exclusive pairs time: 7, 306 facts and 409 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 4605 VARS, 40535 CLAUSES. time spent: 0.00 seconds instantiating 11648 action templates 0.01 seconds reachability analysis, yielding 406 facts and 1092 actions 0.00 seconds collecting 400 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.19 seconds CNF output time 0.20 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 4605 pure lits : 300 1-clauses : 58 2-clauses : 39437 3-clauses : 218 n-clauses : 822 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 115548 conflicts : 11419 time : ~0.9 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 52 facts and 0 exclusive pairs 70 ops and 19 exclusive pairs time: 1, 76 facts and 19 exclusive pairs 156 ops and 440 exclusive pairs time: 2, 108 facts and 72 exclusive pairs 292 ops and 2287 exclusive pairs time: 3, 143 facts and 127 exclusive pairs 440 ops and 4905 exclusive pairs time: 4, 181 facts and 180 exclusive pairs 598 ops and 8187 exclusive pairs time: 5, 221 facts and 277 exclusive pairs 761 ops and 12897 exclusive pairs time: 6, 263 facts and 359 exclusive pairs 938 ops and 19063 exclusive pairs time: 7, 306 facts and 409 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 4605 VARS, 40535 CLAUSES. time spent: 0.00 seconds instantiating 11648 action templates 0.01 seconds reachability analysis, yielding 406 facts and 1092 actions 0.00 seconds collecting 400 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.18 seconds CNF output time 0.19 seconds total planner time (solving not included) Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] Pruned: 0: (MOVE R6 V50 V43) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 7 layers Real Time: = 1.51 User Time: = 1.5 Syst Time: = 0.04