---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 63 ops and 10 exclusive pairs time: 1, 66 facts and 10 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 63 ops and 10 exclusive pairs time: 1, 66 facts and 10 exclusive pairs 101 ops and 182 exclusive pairs time: 2, 79 facts and 24 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 63 ops and 10 exclusive pairs time: 1, 66 facts and 10 exclusive pairs 101 ops and 182 exclusive pairs time: 2, 79 facts and 24 exclusive pairs 156 ops and 636 exclusive pairs time: 3, 98 facts and 53 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 63 ops and 10 exclusive pairs time: 1, 66 facts and 10 exclusive pairs 101 ops and 182 exclusive pairs time: 2, 79 facts and 24 exclusive pairs 156 ops and 636 exclusive pairs time: 3, 98 facts and 53 exclusive pairs 228 ops and 1426 exclusive pairs time: 4, 118 facts and 78 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 63 ops and 10 exclusive pairs time: 1, 66 facts and 10 exclusive pairs 101 ops and 182 exclusive pairs time: 2, 79 facts and 24 exclusive pairs 156 ops and 636 exclusive pairs time: 3, 98 facts and 53 exclusive pairs 228 ops and 1426 exclusive pairs time: 4, 118 facts and 78 exclusive pairs 313 ops and 2531 exclusive pairs time: 5, 144 facts and 138 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 63 ops and 10 exclusive pairs time: 1, 66 facts and 10 exclusive pairs 101 ops and 182 exclusive pairs time: 2, 79 facts and 24 exclusive pairs 156 ops and 636 exclusive pairs time: 3, 98 facts and 53 exclusive pairs 228 ops and 1426 exclusive pairs time: 4, 118 facts and 78 exclusive pairs 313 ops and 2531 exclusive pairs time: 5, 144 facts and 138 exclusive pairs 419 ops and 4657 exclusive pairs time: 6, 168 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, 54 facts and 0 exclusive pairs 63 ops and 10 exclusive pairs time: 1, 66 facts and 10 exclusive pairs 101 ops and 182 exclusive pairs time: 2, 79 facts and 24 exclusive pairs 156 ops and 636 exclusive pairs time: 3, 98 facts and 53 exclusive pairs 228 ops and 1426 exclusive pairs time: 4, 118 facts and 78 exclusive pairs 313 ops and 2531 exclusive pairs time: 5, 144 facts and 138 exclusive pairs 419 ops and 4657 exclusive pairs time: 6, 168 facts and 172 exclusive pairs 526 ops and 6729 exclusive pairs time: 7, 190 facts and 140 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, 54 facts and 0 exclusive pairs 63 ops and 10 exclusive pairs time: 1, 66 facts and 10 exclusive pairs 101 ops and 182 exclusive pairs time: 2, 79 facts and 24 exclusive pairs 156 ops and 636 exclusive pairs time: 3, 98 facts and 53 exclusive pairs 228 ops and 1426 exclusive pairs time: 4, 118 facts and 78 exclusive pairs 313 ops and 2531 exclusive pairs time: 5, 144 facts and 138 exclusive pairs 419 ops and 4657 exclusive pairs time: 6, 168 facts and 172 exclusive pairs 526 ops and 6729 exclusive pairs time: 7, 190 facts and 140 exclusive pairs 614 ops and 7242 exclusive pairs time: 8, 205 facts and 69 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... 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 63 ops and 10 exclusive pairs time: 1, 66 facts and 10 exclusive pairs 101 ops and 182 exclusive pairs time: 2, 79 facts and 24 exclusive pairs 156 ops and 636 exclusive pairs time: 3, 98 facts and 53 exclusive pairs 228 ops and 1426 exclusive pairs time: 4, 118 facts and 78 exclusive pairs 313 ops and 2531 exclusive pairs time: 5, 144 facts and 138 exclusive pairs 419 ops and 4657 exclusive pairs time: 6, 168 facts and 172 exclusive pairs 526 ops and 6729 exclusive pairs time: 7, 190 facts and 140 exclusive pairs 614 ops and 7242 exclusive pairs time: 8, 205 facts and 69 exclusive pairs 674 ops and 6904 exclusive pairs time: 9, 215 facts and 27 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... plan graph layer 9... 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... exclusion constraints layer 9... DECISION LAYER 9, WRITING THIN GP-BASED ENCODING WITH 4431 VARS, 27326 CLAUSES. time spent: 0.00 seconds instantiating 10440 action templates 0.00 seconds reachability analysis, yielding 228 facts and 522 actions 0.00 seconds collecting 225 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.09 seconds CNF output time 0.09 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 4431 pure lits : 212 1-clauses : 57 2-clauses : 26260 3-clauses : 169 n-clauses : 840 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 103639 conflicts : 6426 time : ~0.33 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 63 ops and 10 exclusive pairs time: 1, 66 facts and 10 exclusive pairs 101 ops and 182 exclusive pairs time: 2, 79 facts and 24 exclusive pairs 156 ops and 636 exclusive pairs time: 3, 98 facts and 53 exclusive pairs 228 ops and 1426 exclusive pairs time: 4, 118 facts and 78 exclusive pairs 313 ops and 2531 exclusive pairs time: 5, 144 facts and 138 exclusive pairs 419 ops and 4657 exclusive pairs time: 6, 168 facts and 172 exclusive pairs 526 ops and 6729 exclusive pairs time: 7, 190 facts and 140 exclusive pairs 614 ops and 7242 exclusive pairs time: 8, 205 facts and 69 exclusive pairs 674 ops and 6904 exclusive pairs time: 9, 215 facts and 27 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... plan graph layer 9... 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... exclusion constraints layer 9... DECISION LAYER 9, WRITING THIN GP-BASED ENCODING WITH 4431 VARS, 27326 CLAUSES. time spent: 0.01 seconds instantiating 10440 action templates 0.00 seconds reachability analysis, yielding 228 facts and 522 actions 0.00 seconds collecting 225 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) Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 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 9 layers Real Time: = 0.67 User Time: = 0.63 Syst Time: = 0.07