---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 53 facts and 0 exclusive pairs 68 ops and 15 exclusive pairs time: 1, 73 facts and 15 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, 53 facts and 0 exclusive pairs 68 ops and 15 exclusive pairs time: 1, 73 facts and 15 exclusive pairs 135 ops and 260 exclusive pairs time: 2, 97 facts and 32 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, 53 facts and 0 exclusive pairs 68 ops and 15 exclusive pairs time: 1, 73 facts and 15 exclusive pairs 135 ops and 260 exclusive pairs time: 2, 97 facts and 32 exclusive pairs 238 ops and 920 exclusive pairs time: 3, 130 facts and 87 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, 53 facts and 0 exclusive pairs 68 ops and 15 exclusive pairs time: 1, 73 facts and 15 exclusive pairs 135 ops and 260 exclusive pairs time: 2, 97 facts and 32 exclusive pairs 238 ops and 920 exclusive pairs time: 3, 130 facts and 87 exclusive pairs 379 ops and 2832 exclusive pairs time: 4, 168 facts and 126 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, 53 facts and 0 exclusive pairs 68 ops and 15 exclusive pairs time: 1, 73 facts and 15 exclusive pairs 135 ops and 260 exclusive pairs time: 2, 97 facts and 32 exclusive pairs 238 ops and 920 exclusive pairs time: 3, 130 facts and 87 exclusive pairs 379 ops and 2832 exclusive pairs time: 4, 168 facts and 126 exclusive pairs 544 ops and 5717 exclusive pairs time: 5, 208 facts and 166 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, 53 facts and 0 exclusive pairs 68 ops and 15 exclusive pairs time: 1, 73 facts and 15 exclusive pairs 135 ops and 260 exclusive pairs time: 2, 97 facts and 32 exclusive pairs 238 ops and 920 exclusive pairs time: 3, 130 facts and 87 exclusive pairs 379 ops and 2832 exclusive pairs time: 4, 168 facts and 126 exclusive pairs 544 ops and 5717 exclusive pairs time: 5, 208 facts and 166 exclusive pairs 714 ops and 9720 exclusive pairs time: 6, 247 facts and 199 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, 53 facts and 0 exclusive pairs 68 ops and 15 exclusive pairs time: 1, 73 facts and 15 exclusive pairs 135 ops and 260 exclusive pairs time: 2, 97 facts and 32 exclusive pairs 238 ops and 920 exclusive pairs time: 3, 130 facts and 87 exclusive pairs 379 ops and 2832 exclusive pairs time: 4, 168 facts and 126 exclusive pairs 544 ops and 5717 exclusive pairs time: 5, 208 facts and 166 exclusive pairs 714 ops and 9720 exclusive pairs time: 6, 247 facts and 199 exclusive pairs 876 ops and 14069 exclusive pairs time: 7, 280 facts and 153 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, 53 facts and 0 exclusive pairs 68 ops and 15 exclusive pairs time: 1, 73 facts and 15 exclusive pairs 135 ops and 260 exclusive pairs time: 2, 97 facts and 32 exclusive pairs 238 ops and 920 exclusive pairs time: 3, 130 facts and 87 exclusive pairs 379 ops and 2832 exclusive pairs time: 4, 168 facts and 126 exclusive pairs 544 ops and 5717 exclusive pairs time: 5, 208 facts and 166 exclusive pairs 714 ops and 9720 exclusive pairs time: 6, 247 facts and 199 exclusive pairs 876 ops and 14069 exclusive pairs time: 7, 280 facts and 153 exclusive pairs 1012 ops and 16631 exclusive pairs time: 8, 306 facts and 91 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 5528 VARS, 48309 CLAUSES. time spent: 0.00 seconds instantiating 11466 action templates 0.01 seconds reachability analysis, yielding 348 facts and 910 actions 0.00 seconds collecting 343 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.22 seconds CNF output time 0.23 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 5528 pure lits : 301 1-clauses : 58 2-clauses : 46969 3-clauses : 240 n-clauses : 1042 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 215220 conflicts : 12443 time : ~1.02 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 53 facts and 0 exclusive pairs 68 ops and 15 exclusive pairs time: 1, 73 facts and 15 exclusive pairs 135 ops and 260 exclusive pairs time: 2, 97 facts and 32 exclusive pairs 238 ops and 920 exclusive pairs time: 3, 130 facts and 87 exclusive pairs 379 ops and 2832 exclusive pairs time: 4, 168 facts and 126 exclusive pairs 544 ops and 5717 exclusive pairs time: 5, 208 facts and 166 exclusive pairs 714 ops and 9720 exclusive pairs time: 6, 247 facts and 199 exclusive pairs 876 ops and 14069 exclusive pairs time: 7, 280 facts and 153 exclusive pairs 1012 ops and 16631 exclusive pairs time: 8, 306 facts and 91 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 5528 VARS, 48309 CLAUSES. time spent: 0.00 seconds instantiating 11466 action templates 0.01 seconds reachability analysis, yielding 348 facts and 910 actions 0.00 seconds collecting 343 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.20 seconds CNF output time 0.21 seconds total planner time (solving not included) Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] Pruned: 0: (MOVE R4 V57 V56) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 8 layers Real Time: = 1.72 User Time: = 1.74 Syst Time: = 0.07