---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 61 ops and 7 exclusive pairs time: 1, 63 facts and 7 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 61 ops and 7 exclusive pairs time: 1, 63 facts and 7 exclusive pairs 89 ops and 145 exclusive pairs time: 2, 74 facts and 22 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 61 ops and 7 exclusive pairs time: 1, 63 facts and 7 exclusive pairs 89 ops and 145 exclusive pairs time: 2, 74 facts and 22 exclusive pairs 134 ops and 567 exclusive pairs time: 3, 89 facts and 48 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... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... DECISION LAYER 3, WRITING THIN GP-BASED ENCODING WITH 565 VARS, 1152 CLAUSES. time spent: 0.00 seconds instantiating 10266 action templates 0.00 seconds reachability analysis, yielding 171 facts and 348 actions 0.00 seconds collecting 169 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.01 seconds CNF output time 0.01 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 565 pure lits : 87 1-clauses : 57 2-clauses : 1041 3-clauses : 22 n-clauses : 32 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 56 conflicts : 8 time : ~0.01 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 61 ops and 7 exclusive pairs time: 1, 63 facts and 7 exclusive pairs 89 ops and 145 exclusive pairs time: 2, 74 facts and 22 exclusive pairs 134 ops and 567 exclusive pairs time: 3, 89 facts and 48 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... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... DECISION LAYER 3, WRITING THIN GP-BASED ENCODING WITH 565 VARS, 1152 CLAUSES. time spent: 0.00 seconds instantiating 10266 action templates 0.01 seconds reachability analysis, yielding 171 facts and 348 actions 0.00 seconds collecting 169 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.00 seconds CNF output time 0.01 seconds total planner time (solving not included) Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 3 layers Real Time: = 0.04 User Time: = 0.02 Syst Time: = 0.05