---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 57 facts and 0 exclusive pairs 65 ops and 8 exclusive pairs time: 1, 68 facts and 8 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, 57 facts and 0 exclusive pairs 65 ops and 8 exclusive pairs time: 1, 68 facts and 8 exclusive pairs 103 ops and 131 exclusive pairs time: 2, 82 facts and 14 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, 57 facts and 0 exclusive pairs 65 ops and 8 exclusive pairs time: 1, 68 facts and 8 exclusive pairs 103 ops and 131 exclusive pairs time: 2, 82 facts and 14 exclusive pairs 161 ops and 362 exclusive pairs time: 3, 98 facts and 16 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, 57 facts and 0 exclusive pairs 65 ops and 8 exclusive pairs time: 1, 68 facts and 8 exclusive pairs 103 ops and 131 exclusive pairs time: 2, 82 facts and 14 exclusive pairs 161 ops and 362 exclusive pairs time: 3, 98 facts and 16 exclusive pairs 232 ops and 647 exclusive pairs time: 4, 118 facts and 26 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, 57 facts and 0 exclusive pairs 65 ops and 8 exclusive pairs time: 1, 68 facts and 8 exclusive pairs 103 ops and 131 exclusive pairs time: 2, 82 facts and 14 exclusive pairs 161 ops and 362 exclusive pairs time: 3, 98 facts and 16 exclusive pairs 232 ops and 647 exclusive pairs time: 4, 118 facts and 26 exclusive pairs 319 ops and 1349 exclusive pairs time: 5, 140 facts and 55 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, 57 facts and 0 exclusive pairs 65 ops and 8 exclusive pairs time: 1, 68 facts and 8 exclusive pairs 103 ops and 131 exclusive pairs time: 2, 82 facts and 14 exclusive pairs 161 ops and 362 exclusive pairs time: 3, 98 facts and 16 exclusive pairs 232 ops and 647 exclusive pairs time: 4, 118 facts and 26 exclusive pairs 319 ops and 1349 exclusive pairs time: 5, 140 facts and 55 exclusive pairs 414 ops and 2796 exclusive pairs time: 6, 162 facts and 52 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, 57 facts and 0 exclusive pairs 65 ops and 8 exclusive pairs time: 1, 68 facts and 8 exclusive pairs 103 ops and 131 exclusive pairs time: 2, 82 facts and 14 exclusive pairs 161 ops and 362 exclusive pairs time: 3, 98 facts and 16 exclusive pairs 232 ops and 647 exclusive pairs time: 4, 118 facts and 26 exclusive pairs 319 ops and 1349 exclusive pairs time: 5, 140 facts and 55 exclusive pairs 414 ops and 2796 exclusive pairs time: 6, 162 facts and 52 exclusive pairs 510 ops and 4013 exclusive pairs time: 7, 185 facts and 46 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... 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... DECISION LAYER 7, WRITING THIN GP-BASED ENCODING WITH 2714 VARS, 11397 CLAUSES. time spent: 0.01 seconds instantiating 12222 action templates 0.00 seconds reachability analysis, yielding 240 facts and 582 actions 0.00 seconds collecting 237 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.05 seconds CNF output time 0.06 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 2714 pure lits : 182 1-clauses : 60 2-clauses : 10705 3-clauses : 117 n-clauses : 515 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 51878 conflicts : 2049 time : ~0.07 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 57 facts and 0 exclusive pairs 65 ops and 8 exclusive pairs time: 1, 68 facts and 8 exclusive pairs 103 ops and 131 exclusive pairs time: 2, 82 facts and 14 exclusive pairs 161 ops and 362 exclusive pairs time: 3, 98 facts and 16 exclusive pairs 232 ops and 647 exclusive pairs time: 4, 118 facts and 26 exclusive pairs 319 ops and 1349 exclusive pairs time: 5, 140 facts and 55 exclusive pairs 414 ops and 2796 exclusive pairs time: 6, 162 facts and 52 exclusive pairs 510 ops and 4013 exclusive pairs time: 7, 185 facts and 46 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... 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... DECISION LAYER 7, WRITING THIN GP-BASED ENCODING WITH 2714 VARS, 11397 CLAUSES. time spent: 0.00 seconds instantiating 12222 action templates 0.01 seconds reachability analysis, yielding 240 facts and 582 actions 0.00 seconds collecting 237 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) Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] Pruned: 0: (MOVE R3 V59 V58) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 7 layers Real Time: = 0.27 User Time: = 0.27 Syst Time: = 0.03