---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 56 facts and 0 exclusive pairs 59 ops and 3 exclusive pairs time: 1, 60 facts and 3 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, 56 facts and 0 exclusive pairs 59 ops and 3 exclusive pairs time: 1, 60 facts and 3 exclusive pairs 74 ops and 53 exclusive pairs time: 2, 66 facts and 6 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, 56 facts and 0 exclusive pairs 59 ops and 3 exclusive pairs time: 1, 60 facts and 3 exclusive pairs 74 ops and 53 exclusive pairs time: 2, 66 facts and 6 exclusive pairs 99 ops and 154 exclusive pairs time: 3, 73 facts and 7 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, 56 facts and 0 exclusive pairs 59 ops and 3 exclusive pairs time: 1, 60 facts and 3 exclusive pairs 74 ops and 53 exclusive pairs time: 2, 66 facts and 6 exclusive pairs 99 ops and 154 exclusive pairs time: 3, 73 facts and 7 exclusive pairs 129 ops and 272 exclusive pairs time: 4, 81 facts and 8 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, 56 facts and 0 exclusive pairs 59 ops and 3 exclusive pairs time: 1, 60 facts and 3 exclusive pairs 74 ops and 53 exclusive pairs time: 2, 66 facts and 6 exclusive pairs 99 ops and 154 exclusive pairs time: 3, 73 facts and 7 exclusive pairs 129 ops and 272 exclusive pairs time: 4, 81 facts and 8 exclusive pairs 160 ops and 388 exclusive pairs time: 5, 88 facts and 7 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, 56 facts and 0 exclusive pairs 59 ops and 3 exclusive pairs time: 1, 60 facts and 3 exclusive pairs 74 ops and 53 exclusive pairs time: 2, 66 facts and 6 exclusive pairs 99 ops and 154 exclusive pairs time: 3, 73 facts and 7 exclusive pairs 129 ops and 272 exclusive pairs time: 4, 81 facts and 8 exclusive pairs 160 ops and 388 exclusive pairs time: 5, 88 facts and 7 exclusive pairs 187 ops and 483 exclusive pairs time: 6, 94 facts and 6 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... 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... DECISION LAYER 6, WRITING THIN GP-BASED ENCODING WITH 1226 VARS, 2711 CLAUSES. time spent: 0.00 seconds instantiating 9976 action templates 0.00 seconds reachability analysis, yielding 114 facts and 172 actions 0.00 seconds collecting 113 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 0.00 seconds CNF output time 0.01 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 1226 pure lits : 93 1-clauses : 57 2-clauses : 2465 3-clauses : 34 n-clauses : 155 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 3566 conflicts : 238 time : ~0.01 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 56 facts and 0 exclusive pairs 59 ops and 3 exclusive pairs time: 1, 60 facts and 3 exclusive pairs 74 ops and 53 exclusive pairs time: 2, 66 facts and 6 exclusive pairs 99 ops and 154 exclusive pairs time: 3, 73 facts and 7 exclusive pairs 129 ops and 272 exclusive pairs time: 4, 81 facts and 8 exclusive pairs 160 ops and 388 exclusive pairs time: 5, 88 facts and 7 exclusive pairs 187 ops and 483 exclusive pairs time: 6, 94 facts and 6 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... 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... DECISION LAYER 6, WRITING THIN GP-BASED ENCODING WITH 1226 VARS, 2711 CLAUSES. time spent: 0.00 seconds instantiating 9976 action templates 0.00 seconds reachability analysis, yielding 114 facts and 172 actions 0.00 seconds collecting 113 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.01 seconds CNF output time 0.01 seconds total planner time (solving not included) Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 6 layers Real Time: = 0.07 User Time: = 0.08 Syst Time: = 0.02