---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 52 facts and 0 exclusive pairs 61 ops and 9 exclusive pairs time: 1, 64 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, 52 facts and 0 exclusive pairs 61 ops and 9 exclusive pairs time: 1, 64 facts and 9 exclusive pairs 101 ops and 147 exclusive pairs time: 2, 78 facts and 16 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, 52 facts and 0 exclusive pairs 61 ops and 9 exclusive pairs time: 1, 64 facts and 9 exclusive pairs 101 ops and 147 exclusive pairs time: 2, 78 facts and 16 exclusive pairs 159 ops and 469 exclusive pairs time: 3, 96 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... 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, 52 facts and 0 exclusive pairs 61 ops and 9 exclusive pairs time: 1, 64 facts and 9 exclusive pairs 101 ops and 147 exclusive pairs time: 2, 78 facts and 16 exclusive pairs 159 ops and 469 exclusive pairs time: 3, 96 facts and 26 exclusive pairs 235 ops and 1000 exclusive pairs time: 4, 119 facts and 40 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, 52 facts and 0 exclusive pairs 61 ops and 9 exclusive pairs time: 1, 64 facts and 9 exclusive pairs 101 ops and 147 exclusive pairs time: 2, 78 facts and 16 exclusive pairs 159 ops and 469 exclusive pairs time: 3, 96 facts and 26 exclusive pairs 235 ops and 1000 exclusive pairs time: 4, 119 facts and 40 exclusive pairs 327 ops and 1865 exclusive pairs time: 5, 140 facts and 42 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... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... DECISION LAYER 5, WRITING THIN GP-BASED ENCODING WITH 1432 VARS, 4738 CLAUSES. time spent: 0.00 seconds instantiating 9628 action templates 0.01 seconds reachability analysis, yielding 220 facts and 498 actions 0.00 seconds collecting 217 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.01 seconds CNF output time 0.02 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 1432 pure lits : 137 1-clauses : 55 2-clauses : 4388 3-clauses : 79 n-clauses : 216 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 3427 conflicts : 116 time : ~0.01 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 52 facts and 0 exclusive pairs 61 ops and 9 exclusive pairs time: 1, 64 facts and 9 exclusive pairs 101 ops and 147 exclusive pairs time: 2, 78 facts and 16 exclusive pairs 159 ops and 469 exclusive pairs time: 3, 96 facts and 26 exclusive pairs 235 ops and 1000 exclusive pairs time: 4, 119 facts and 40 exclusive pairs 327 ops and 1865 exclusive pairs time: 5, 140 facts and 42 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... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... DECISION LAYER 5, WRITING THIN GP-BASED ENCODING WITH 1432 VARS, 4738 CLAUSES. time spent: 0.00 seconds instantiating 9628 action templates 0.00 seconds reachability analysis, yielding 220 facts and 498 actions 0.00 seconds collecting 217 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 0.01 seconds CNF output time 0.02 seconds total planner time (solving not included) Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] Pruned: 0: (MOVE R2 V47 V39) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 5 layers Real Time: = 0.1 User Time: = 0.09 Syst Time: = 0.03