---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 56 ops and 5 exclusive pairs time: 1, 58 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, 51 facts and 0 exclusive pairs 56 ops and 5 exclusive pairs time: 1, 58 facts and 5 exclusive pairs 78 ops and 74 exclusive pairs time: 2, 66 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, 51 facts and 0 exclusive pairs 56 ops and 5 exclusive pairs time: 1, 58 facts and 5 exclusive pairs 78 ops and 74 exclusive pairs time: 2, 66 facts and 8 exclusive pairs 115 ops and 212 exclusive pairs time: 3, 80 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... 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, 51 facts and 0 exclusive pairs 56 ops and 5 exclusive pairs time: 1, 58 facts and 5 exclusive pairs 78 ops and 74 exclusive pairs time: 2, 66 facts and 8 exclusive pairs 115 ops and 212 exclusive pairs time: 3, 80 facts and 17 exclusive pairs 170 ops and 584 exclusive pairs time: 4, 93 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... 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, 51 facts and 0 exclusive pairs 56 ops and 5 exclusive pairs time: 1, 58 facts and 5 exclusive pairs 78 ops and 74 exclusive pairs time: 2, 66 facts and 8 exclusive pairs 115 ops and 212 exclusive pairs time: 3, 80 facts and 17 exclusive pairs 170 ops and 584 exclusive pairs time: 4, 93 facts and 19 exclusive pairs 230 ops and 1048 exclusive pairs time: 5, 110 facts and 21 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, 51 facts and 0 exclusive pairs 56 ops and 5 exclusive pairs time: 1, 58 facts and 5 exclusive pairs 78 ops and 74 exclusive pairs time: 2, 66 facts and 8 exclusive pairs 115 ops and 212 exclusive pairs time: 3, 80 facts and 17 exclusive pairs 170 ops and 584 exclusive pairs time: 4, 93 facts and 19 exclusive pairs 230 ops and 1048 exclusive pairs time: 5, 110 facts and 21 exclusive pairs 291 ops and 1415 exclusive pairs time: 6, 122 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... plan graph layer 4... plan graph layer 5... plan graph layer 6... 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... DECISION LAYER 6, WRITING THIN GP-BASED ENCODING WITH 1520 VARS, 4869 CLAUSES. time spent: 0.00 seconds instantiating 8470 action templates 0.00 seconds reachability analysis, yielding 159 facts and 308 actions 0.00 seconds collecting 157 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 : 1520 pure lits : 120 1-clauses : 53 2-clauses : 4518 3-clauses : 69 n-clauses : 229 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 8590 conflicts : 428 time : ~0.01 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 56 ops and 5 exclusive pairs time: 1, 58 facts and 5 exclusive pairs 78 ops and 74 exclusive pairs time: 2, 66 facts and 8 exclusive pairs 115 ops and 212 exclusive pairs time: 3, 80 facts and 17 exclusive pairs 170 ops and 584 exclusive pairs time: 4, 93 facts and 19 exclusive pairs 230 ops and 1048 exclusive pairs time: 5, 110 facts and 21 exclusive pairs 291 ops and 1415 exclusive pairs time: 6, 122 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... plan graph layer 4... plan graph layer 5... plan graph layer 6... 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... DECISION LAYER 6, WRITING THIN GP-BASED ENCODING WITH 1520 VARS, 4869 CLAUSES. time spent: 0.00 seconds instantiating 8470 action templates 0.00 seconds reachability analysis, yielding 159 facts and 308 actions 0.00 seconds collecting 157 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) Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] Pruned: 0: (MOVE R2 V52 V51) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 6 layers Real Time: = 0.09 User Time: = 0.12 Syst Time: = 0.01