---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 57 facts and 0 exclusive pairs 64 ops and 7 exclusive pairs time: 1, 66 facts and 7 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, 57 facts and 0 exclusive pairs 64 ops and 7 exclusive pairs time: 1, 66 facts and 7 exclusive pairs 97 ops and 125 exclusive pairs time: 2, 78 facts and 12 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, 57 facts and 0 exclusive pairs 64 ops and 7 exclusive pairs time: 1, 66 facts and 7 exclusive pairs 97 ops and 125 exclusive pairs time: 2, 78 facts and 12 exclusive pairs 153 ops and 356 exclusive pairs time: 3, 95 facts and 20 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, 57 facts and 0 exclusive pairs 64 ops and 7 exclusive pairs time: 1, 66 facts and 7 exclusive pairs 97 ops and 125 exclusive pairs time: 2, 78 facts and 12 exclusive pairs 153 ops and 356 exclusive pairs time: 3, 95 facts and 20 exclusive pairs 225 ops and 813 exclusive pairs time: 4, 111 facts and 23 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, 57 facts and 0 exclusive pairs 64 ops and 7 exclusive pairs time: 1, 66 facts and 7 exclusive pairs 97 ops and 125 exclusive pairs time: 2, 78 facts and 12 exclusive pairs 153 ops and 356 exclusive pairs time: 3, 95 facts and 20 exclusive pairs 225 ops and 813 exclusive pairs time: 4, 111 facts and 23 exclusive pairs 298 ops and 1448 exclusive pairs time: 5, 129 facts and 24 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, 57 facts and 0 exclusive pairs 64 ops and 7 exclusive pairs time: 1, 66 facts and 7 exclusive pairs 97 ops and 125 exclusive pairs time: 2, 78 facts and 12 exclusive pairs 153 ops and 356 exclusive pairs time: 3, 95 facts and 20 exclusive pairs 225 ops and 813 exclusive pairs time: 4, 111 facts and 23 exclusive pairs 298 ops and 1448 exclusive pairs time: 5, 129 facts and 24 exclusive pairs 370 ops and 2070 exclusive pairs time: 6, 143 facts and 18 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, 57 facts and 0 exclusive pairs 64 ops and 7 exclusive pairs time: 1, 66 facts and 7 exclusive pairs 97 ops and 125 exclusive pairs time: 2, 78 facts and 12 exclusive pairs 153 ops and 356 exclusive pairs time: 3, 95 facts and 20 exclusive pairs 225 ops and 813 exclusive pairs time: 4, 111 facts and 23 exclusive pairs 298 ops and 1448 exclusive pairs time: 5, 129 facts and 24 exclusive pairs 370 ops and 2070 exclusive pairs time: 6, 143 facts and 18 exclusive pairs 433 ops and 2605 exclusive pairs time: 7, 157 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... 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 2476 VARS, 10039 CLAUSES. time spent: 0.00 seconds instantiating 11712 action templates 0.00 seconds reachability analysis, yielding 177 facts and 384 actions 0.00 seconds collecting 175 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 0.02 seconds CNF output time 0.03 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 2476 pure lits : 155 1-clauses : 59 2-clauses : 9436 3-clauses : 94 n-clauses : 450 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 36156 conflicts : 1866 time : ~0.05 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 57 facts and 0 exclusive pairs 64 ops and 7 exclusive pairs time: 1, 66 facts and 7 exclusive pairs 97 ops and 125 exclusive pairs time: 2, 78 facts and 12 exclusive pairs 153 ops and 356 exclusive pairs time: 3, 95 facts and 20 exclusive pairs 225 ops and 813 exclusive pairs time: 4, 111 facts and 23 exclusive pairs 298 ops and 1448 exclusive pairs time: 5, 129 facts and 24 exclusive pairs 370 ops and 2070 exclusive pairs time: 6, 143 facts and 18 exclusive pairs 433 ops and 2605 exclusive pairs time: 7, 157 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... 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 2476 VARS, 10039 CLAUSES. time spent: 0.00 seconds instantiating 11712 action templates 0.01 seconds reachability analysis, yielding 177 facts and 384 actions 0.00 seconds collecting 175 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.02 seconds CNF output time 0.03 seconds total planner time (solving not included) Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] Pruned: 0: (MOVE R1 V51 V43) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 7 layers Real Time: = 0.21 User Time: = 0.19 Syst Time: = 0.05