---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 63 ops and 11 exclusive pairs time: 1, 68 facts and 11 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 63 ops and 11 exclusive pairs time: 1, 68 facts and 11 exclusive pairs 122 ops and 244 exclusive pairs time: 2, 98 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, 52 facts and 0 exclusive pairs 63 ops and 11 exclusive pairs time: 1, 68 facts and 11 exclusive pairs 122 ops and 244 exclusive pairs time: 2, 98 facts and 57 exclusive pairs 245 ops and 1540 exclusive pairs time: 3, 128 facts and 90 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 63 ops and 11 exclusive pairs time: 1, 68 facts and 11 exclusive pairs 122 ops and 244 exclusive pairs time: 2, 98 facts and 57 exclusive pairs 245 ops and 1540 exclusive pairs time: 3, 128 facts and 90 exclusive pairs 370 ops and 3129 exclusive pairs time: 4, 161 facts and 135 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 63 ops and 11 exclusive pairs time: 1, 68 facts and 11 exclusive pairs 122 ops and 244 exclusive pairs time: 2, 98 facts and 57 exclusive pairs 245 ops and 1540 exclusive pairs time: 3, 128 facts and 90 exclusive pairs 370 ops and 3129 exclusive pairs time: 4, 161 facts and 135 exclusive pairs 508 ops and 5808 exclusive pairs time: 5, 194 facts and 175 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 63 ops and 11 exclusive pairs time: 1, 68 facts and 11 exclusive pairs 122 ops and 244 exclusive pairs time: 2, 98 facts and 57 exclusive pairs 245 ops and 1540 exclusive pairs time: 3, 128 facts and 90 exclusive pairs 370 ops and 3129 exclusive pairs time: 4, 161 facts and 135 exclusive pairs 508 ops and 5808 exclusive pairs time: 5, 194 facts and 175 exclusive pairs 640 ops and 8733 exclusive pairs time: 6, 222 facts and 172 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 63 ops and 11 exclusive pairs time: 1, 68 facts and 11 exclusive pairs 122 ops and 244 exclusive pairs time: 2, 98 facts and 57 exclusive pairs 245 ops and 1540 exclusive pairs time: 3, 128 facts and 90 exclusive pairs 370 ops and 3129 exclusive pairs time: 4, 161 facts and 135 exclusive pairs 508 ops and 5808 exclusive pairs time: 5, 194 facts and 175 exclusive pairs 640 ops and 8733 exclusive pairs time: 6, 222 facts and 172 exclusive pairs 753 ops and 11073 exclusive pairs time: 7, 252 facts and 205 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... 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 63 ops and 11 exclusive pairs time: 1, 68 facts and 11 exclusive pairs 122 ops and 244 exclusive pairs time: 2, 98 facts and 57 exclusive pairs 245 ops and 1540 exclusive pairs time: 3, 128 facts and 90 exclusive pairs 370 ops and 3129 exclusive pairs time: 4, 161 facts and 135 exclusive pairs 508 ops and 5808 exclusive pairs time: 5, 194 facts and 175 exclusive pairs 640 ops and 8733 exclusive pairs time: 6, 222 facts and 172 exclusive pairs 753 ops and 11073 exclusive pairs time: 7, 252 facts and 205 exclusive pairs 872 ops and 14103 exclusive pairs time: 8, 284 facts and 271 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... plan graph layer 8... 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... exclusion constraints layer 8... DECISION LAYER 8, WRITING THIN GP-BASED ENCODING WITH 5032 VARS, 41468 CLAUSES. time spent: 0.00 seconds instantiating 10664 action templates 0.01 seconds reachability analysis, yielding 342 facts and 860 actions 0.00 seconds collecting 337 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.17 seconds CNF output time 0.18 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 5032 pure lits : 279 1-clauses : 57 2-clauses : 40285 3-clauses : 200 n-clauses : 926 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 116670 conflicts : 4752 time : ~0.21 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 63 ops and 11 exclusive pairs time: 1, 68 facts and 11 exclusive pairs 122 ops and 244 exclusive pairs time: 2, 98 facts and 57 exclusive pairs 245 ops and 1540 exclusive pairs time: 3, 128 facts and 90 exclusive pairs 370 ops and 3129 exclusive pairs time: 4, 161 facts and 135 exclusive pairs 508 ops and 5808 exclusive pairs time: 5, 194 facts and 175 exclusive pairs 640 ops and 8733 exclusive pairs time: 6, 222 facts and 172 exclusive pairs 753 ops and 11073 exclusive pairs time: 7, 252 facts and 205 exclusive pairs 872 ops and 14103 exclusive pairs time: 8, 284 facts and 271 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... plan graph layer 8... 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... exclusion constraints layer 8... DECISION LAYER 8, WRITING THIN GP-BASED ENCODING WITH 5032 VARS, 41468 CLAUSES. time spent: 0.00 seconds instantiating 10664 action templates 0.00 seconds reachability analysis, yielding 342 facts and 860 actions 0.00 seconds collecting 337 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.16 seconds CNF output time 0.16 seconds total planner time (solving not included) Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 8 layers Real Time: = 0.77 User Time: = 0.76 Syst Time: = 0.05