---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 64 ops and 9 exclusive pairs time: 1, 67 facts and 9 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, 55 facts and 0 exclusive pairs 64 ops and 9 exclusive pairs time: 1, 67 facts and 9 exclusive pairs 103 ops and 150 exclusive pairs time: 2, 81 facts and 18 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, 55 facts and 0 exclusive pairs 64 ops and 9 exclusive pairs time: 1, 67 facts and 9 exclusive pairs 103 ops and 150 exclusive pairs time: 2, 81 facts and 18 exclusive pairs 162 ops and 454 exclusive pairs time: 3, 101 facts and 43 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, 55 facts and 0 exclusive pairs 64 ops and 9 exclusive pairs time: 1, 67 facts and 9 exclusive pairs 103 ops and 150 exclusive pairs time: 2, 81 facts and 18 exclusive pairs 162 ops and 454 exclusive pairs time: 3, 101 facts and 43 exclusive pairs 248 ops and 1225 exclusive pairs time: 4, 126 facts and 59 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, 55 facts and 0 exclusive pairs 64 ops and 9 exclusive pairs time: 1, 67 facts and 9 exclusive pairs 103 ops and 150 exclusive pairs time: 2, 81 facts and 18 exclusive pairs 162 ops and 454 exclusive pairs time: 3, 101 facts and 43 exclusive pairs 248 ops and 1225 exclusive pairs time: 4, 126 facts and 59 exclusive pairs 355 ops and 2391 exclusive pairs time: 5, 152 facts and 75 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, 55 facts and 0 exclusive pairs 64 ops and 9 exclusive pairs time: 1, 67 facts and 9 exclusive pairs 103 ops and 150 exclusive pairs time: 2, 81 facts and 18 exclusive pairs 162 ops and 454 exclusive pairs time: 3, 101 facts and 43 exclusive pairs 248 ops and 1225 exclusive pairs time: 4, 126 facts and 59 exclusive pairs 355 ops and 2391 exclusive pairs time: 5, 152 facts and 75 exclusive pairs 463 ops and 3818 exclusive pairs time: 6, 176 facts and 80 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... 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, 55 facts and 0 exclusive pairs 64 ops and 9 exclusive pairs time: 1, 67 facts and 9 exclusive pairs 103 ops and 150 exclusive pairs time: 2, 81 facts and 18 exclusive pairs 162 ops and 454 exclusive pairs time: 3, 101 facts and 43 exclusive pairs 248 ops and 1225 exclusive pairs time: 4, 126 facts and 59 exclusive pairs 355 ops and 2391 exclusive pairs time: 5, 152 facts and 75 exclusive pairs 463 ops and 3818 exclusive pairs time: 6, 176 facts and 80 exclusive pairs 561 ops and 5267 exclusive pairs time: 7, 195 facts and 50 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, 55 facts and 0 exclusive pairs 64 ops and 9 exclusive pairs time: 1, 67 facts and 9 exclusive pairs 103 ops and 150 exclusive pairs time: 2, 81 facts and 18 exclusive pairs 162 ops and 454 exclusive pairs time: 3, 101 facts and 43 exclusive pairs 248 ops and 1225 exclusive pairs time: 4, 126 facts and 59 exclusive pairs 355 ops and 2391 exclusive pairs time: 5, 152 facts and 75 exclusive pairs 463 ops and 3818 exclusive pairs time: 6, 176 facts and 80 exclusive pairs 561 ops and 5267 exclusive pairs time: 7, 195 facts and 50 exclusive pairs 640 ops and 6066 exclusive pairs time: 8, 209 facts and 24 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 3758 VARS, 21188 CLAUSES. time spent: 0.00 seconds instantiating 11102 action templates 0.01 seconds reachability analysis, yielding 232 facts and 546 actions 0.00 seconds collecting 229 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.07 seconds CNF output time 0.08 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 3758 pure lits : 206 1-clauses : 58 2-clauses : 20260 3-clauses : 152 n-clauses : 718 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 83065 conflicts : 2803 time : ~0.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 64 ops and 9 exclusive pairs time: 1, 67 facts and 9 exclusive pairs 103 ops and 150 exclusive pairs time: 2, 81 facts and 18 exclusive pairs 162 ops and 454 exclusive pairs time: 3, 101 facts and 43 exclusive pairs 248 ops and 1225 exclusive pairs time: 4, 126 facts and 59 exclusive pairs 355 ops and 2391 exclusive pairs time: 5, 152 facts and 75 exclusive pairs 463 ops and 3818 exclusive pairs time: 6, 176 facts and 80 exclusive pairs 561 ops and 5267 exclusive pairs time: 7, 195 facts and 50 exclusive pairs 640 ops and 6066 exclusive pairs time: 8, 209 facts and 24 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 3758 VARS, 21188 CLAUSES. time spent: 0.00 seconds instantiating 11102 action templates 0.01 seconds reachability analysis, yielding 232 facts and 546 actions 0.00 seconds collecting 229 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.06 seconds CNF output time 0.07 seconds total planner time (solving not included) Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 8 layers Real Time: = 0.4 User Time: = 0.35 Syst Time: = 0.08