---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 54 facts and 0 exclusive pairs 66 ops and 12 exclusive pairs time: 1, 70 facts and 12 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, 54 facts and 0 exclusive pairs 66 ops and 12 exclusive pairs time: 1, 70 facts and 12 exclusive pairs 118 ops and 197 exclusive pairs time: 2, 88 facts and 22 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, 54 facts and 0 exclusive pairs 66 ops and 12 exclusive pairs time: 1, 70 facts and 12 exclusive pairs 118 ops and 197 exclusive pairs time: 2, 88 facts and 22 exclusive pairs 195 ops and 607 exclusive pairs time: 3, 113 facts and 54 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, 54 facts and 0 exclusive pairs 66 ops and 12 exclusive pairs time: 1, 70 facts and 12 exclusive pairs 118 ops and 197 exclusive pairs time: 2, 88 facts and 22 exclusive pairs 195 ops and 607 exclusive pairs time: 3, 113 facts and 54 exclusive pairs 303 ops and 1790 exclusive pairs time: 4, 143 facts and 80 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, 54 facts and 0 exclusive pairs 66 ops and 12 exclusive pairs time: 1, 70 facts and 12 exclusive pairs 118 ops and 197 exclusive pairs time: 2, 88 facts and 22 exclusive pairs 195 ops and 607 exclusive pairs time: 3, 113 facts and 54 exclusive pairs 303 ops and 1790 exclusive pairs time: 4, 143 facts and 80 exclusive pairs 434 ops and 3720 exclusive pairs time: 5, 175 facts and 102 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, 54 facts and 0 exclusive pairs 66 ops and 12 exclusive pairs time: 1, 70 facts and 12 exclusive pairs 118 ops and 197 exclusive pairs time: 2, 88 facts and 22 exclusive pairs 195 ops and 607 exclusive pairs time: 3, 113 facts and 54 exclusive pairs 303 ops and 1790 exclusive pairs time: 4, 143 facts and 80 exclusive pairs 434 ops and 3720 exclusive pairs time: 5, 175 facts and 102 exclusive pairs 570 ops and 6156 exclusive pairs time: 6, 206 facts and 105 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, 54 facts and 0 exclusive pairs 66 ops and 12 exclusive pairs time: 1, 70 facts and 12 exclusive pairs 118 ops and 197 exclusive pairs time: 2, 88 facts and 22 exclusive pairs 195 ops and 607 exclusive pairs time: 3, 113 facts and 54 exclusive pairs 303 ops and 1790 exclusive pairs time: 4, 143 facts and 80 exclusive pairs 434 ops and 3720 exclusive pairs time: 5, 175 facts and 102 exclusive pairs 570 ops and 6156 exclusive pairs time: 6, 206 facts and 105 exclusive pairs 698 ops and 8447 exclusive pairs time: 7, 232 facts and 74 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 3465 VARS, 21619 CLAUSES. time spent: 0.00 seconds instantiating 11284 action templates 0.01 seconds reachability analysis, yielding 290 facts and 728 actions 0.00 seconds collecting 286 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.08 seconds CNF output time 0.09 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 3465 pure lits : 228 1-clauses : 58 2-clauses : 20756 3-clauses : 170 n-clauses : 635 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 61915 conflicts : 3095 time : ~0.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 54 facts and 0 exclusive pairs 66 ops and 12 exclusive pairs time: 1, 70 facts and 12 exclusive pairs 118 ops and 197 exclusive pairs time: 2, 88 facts and 22 exclusive pairs 195 ops and 607 exclusive pairs time: 3, 113 facts and 54 exclusive pairs 303 ops and 1790 exclusive pairs time: 4, 143 facts and 80 exclusive pairs 434 ops and 3720 exclusive pairs time: 5, 175 facts and 102 exclusive pairs 570 ops and 6156 exclusive pairs time: 6, 206 facts and 105 exclusive pairs 698 ops and 8447 exclusive pairs time: 7, 232 facts and 74 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 3465 VARS, 21619 CLAUSES. time spent: 0.00 seconds instantiating 11284 action templates 0.01 seconds reachability analysis, yielding 290 facts and 728 actions 0.00 seconds collecting 286 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.07 seconds CNF output time 0.08 seconds total planner time (solving not included) Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] Pruned: 0: (MOVE R3 V57 V56) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 7 layers Real Time: = 0.42 User Time: = 0.43 Syst Time: = 0.04