---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 58 facts and 0 exclusive pairs 63 ops and 5 exclusive pairs time: 1, 65 facts and 5 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, 58 facts and 0 exclusive pairs 63 ops and 5 exclusive pairs time: 1, 65 facts and 5 exclusive pairs 86 ops and 78 exclusive pairs time: 2, 73 facts and 8 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, 58 facts and 0 exclusive pairs 63 ops and 5 exclusive pairs time: 1, 65 facts and 5 exclusive pairs 86 ops and 78 exclusive pairs time: 2, 73 facts and 8 exclusive pairs 119 ops and 208 exclusive pairs time: 3, 82 facts and 9 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, 58 facts and 0 exclusive pairs 63 ops and 5 exclusive pairs time: 1, 65 facts and 5 exclusive pairs 86 ops and 78 exclusive pairs time: 2, 73 facts and 8 exclusive pairs 119 ops and 208 exclusive pairs time: 3, 82 facts and 9 exclusive pairs 159 ops and 364 exclusive pairs time: 4, 94 facts and 14 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, 58 facts and 0 exclusive pairs 63 ops and 5 exclusive pairs time: 1, 65 facts and 5 exclusive pairs 86 ops and 78 exclusive pairs time: 2, 73 facts and 8 exclusive pairs 119 ops and 208 exclusive pairs time: 3, 82 facts and 9 exclusive pairs 159 ops and 364 exclusive pairs time: 4, 94 facts and 14 exclusive pairs 211 ops and 667 exclusive pairs time: 5, 108 facts and 19 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, 58 facts and 0 exclusive pairs 63 ops and 5 exclusive pairs time: 1, 65 facts and 5 exclusive pairs 86 ops and 78 exclusive pairs time: 2, 73 facts and 8 exclusive pairs 119 ops and 208 exclusive pairs time: 3, 82 facts and 9 exclusive pairs 159 ops and 364 exclusive pairs time: 4, 94 facts and 14 exclusive pairs 211 ops and 667 exclusive pairs time: 5, 108 facts and 19 exclusive pairs 272 ops and 1169 exclusive pairs time: 6, 122 facts and 18 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 58 facts and 0 exclusive pairs 63 ops and 5 exclusive pairs time: 1, 65 facts and 5 exclusive pairs 86 ops and 78 exclusive pairs time: 2, 73 facts and 8 exclusive pairs 119 ops and 208 exclusive pairs time: 3, 82 facts and 9 exclusive pairs 159 ops and 364 exclusive pairs time: 4, 94 facts and 14 exclusive pairs 211 ops and 667 exclusive pairs time: 5, 108 facts and 19 exclusive pairs 272 ops and 1169 exclusive pairs time: 6, 122 facts and 18 exclusive pairs 334 ops and 1664 exclusive pairs time: 7, 137 facts and 18 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... 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, 58 facts and 0 exclusive pairs 63 ops and 5 exclusive pairs time: 1, 65 facts and 5 exclusive pairs 86 ops and 78 exclusive pairs time: 2, 73 facts and 8 exclusive pairs 119 ops and 208 exclusive pairs time: 3, 82 facts and 9 exclusive pairs 159 ops and 364 exclusive pairs time: 4, 94 facts and 14 exclusive pairs 211 ops and 667 exclusive pairs time: 5, 108 facts and 19 exclusive pairs 272 ops and 1169 exclusive pairs time: 6, 122 facts and 18 exclusive pairs 334 ops and 1664 exclusive pairs time: 7, 137 facts and 18 exclusive pairs 400 ops and 2221 exclusive pairs time: 8, 152 facts and 17 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... 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 2535 VARS, 9116 CLAUSES. time spent: 0.01 seconds instantiating 12028 action templates 0.00 seconds reachability analysis, yielding 180 facts and 388 actions 0.00 seconds collecting 178 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.03 seconds CNF output time 0.04 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 2535 pure lits : 150 1-clauses : 60 2-clauses : 8513 3-clauses : 90 n-clauses : 453 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 34529 conflicts : 1068 time : ~0.03 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 58 facts and 0 exclusive pairs 63 ops and 5 exclusive pairs time: 1, 65 facts and 5 exclusive pairs 86 ops and 78 exclusive pairs time: 2, 73 facts and 8 exclusive pairs 119 ops and 208 exclusive pairs time: 3, 82 facts and 9 exclusive pairs 159 ops and 364 exclusive pairs time: 4, 94 facts and 14 exclusive pairs 211 ops and 667 exclusive pairs time: 5, 108 facts and 19 exclusive pairs 272 ops and 1169 exclusive pairs time: 6, 122 facts and 18 exclusive pairs 334 ops and 1664 exclusive pairs time: 7, 137 facts and 18 exclusive pairs 400 ops and 2221 exclusive pairs time: 8, 152 facts and 17 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... 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 2535 VARS, 9116 CLAUSES. time spent: 0.00 seconds instantiating 12028 action templates 0.00 seconds reachability analysis, yielding 180 facts and 388 actions 0.00 seconds collecting 178 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.02 seconds CNF output time 0.02 seconds total planner time (solving not included) Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] Pruned: 0: (MOVE R2 V59 V58) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 8 layers Real Time: = 0.2 User Time: = 0.2 Syst Time: = 0.03