---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 58 ops and 3 exclusive pairs time: 1, 59 facts and 3 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 58 ops and 3 exclusive pairs time: 1, 59 facts and 3 exclusive pairs 71 ops and 47 exclusive pairs time: 2, 63 facts and 4 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 58 ops and 3 exclusive pairs time: 1, 59 facts and 3 exclusive pairs 71 ops and 47 exclusive pairs time: 2, 63 facts and 4 exclusive pairs 87 ops and 112 exclusive pairs time: 3, 66 facts and 3 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 58 ops and 3 exclusive pairs time: 1, 59 facts and 3 exclusive pairs 71 ops and 47 exclusive pairs time: 2, 63 facts and 4 exclusive pairs 87 ops and 112 exclusive pairs time: 3, 66 facts and 3 exclusive pairs 97 ops and 151 exclusive pairs time: 4, 67 facts and 1 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 58 ops and 3 exclusive pairs time: 1, 59 facts and 3 exclusive pairs 71 ops and 47 exclusive pairs time: 2, 63 facts and 4 exclusive pairs 87 ops and 112 exclusive pairs time: 3, 66 facts and 3 exclusive pairs 97 ops and 151 exclusive pairs time: 4, 67 facts and 1 exclusive pairs 101 ops and 150 exclusive pairs time: 5, 69 facts and 2 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 58 ops and 3 exclusive pairs time: 1, 59 facts and 3 exclusive pairs 71 ops and 47 exclusive pairs time: 2, 63 facts and 4 exclusive pairs 87 ops and 112 exclusive pairs time: 3, 66 facts and 3 exclusive pairs 97 ops and 151 exclusive pairs time: 4, 67 facts and 1 exclusive pairs 101 ops and 150 exclusive pairs time: 5, 69 facts and 2 exclusive pairs 110 ops and 178 exclusive pairs time: 6, 73 facts and 4 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 976 VARS, 1693 CLAUSES. time spent: 0.00 seconds instantiating 9690 action templates 0.00 seconds reachability analysis, yielding 112 facts and 170 actions 0.00 seconds collecting 111 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 : 976 pure lits : 72 1-clauses : 56 2-clauses : 1537 3-clauses : 14 n-clauses : 86 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 1523 conflicts : 86 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 58 ops and 3 exclusive pairs time: 1, 59 facts and 3 exclusive pairs 71 ops and 47 exclusive pairs time: 2, 63 facts and 4 exclusive pairs 87 ops and 112 exclusive pairs time: 3, 66 facts and 3 exclusive pairs 97 ops and 151 exclusive pairs time: 4, 67 facts and 1 exclusive pairs 101 ops and 150 exclusive pairs time: 5, 69 facts and 2 exclusive pairs 110 ops and 178 exclusive pairs time: 6, 73 facts and 4 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 976 VARS, 1693 CLAUSES. time spent: 0.01 seconds instantiating 9690 action templates 0.00 seconds reachability analysis, yielding 112 facts and 170 actions 0.00 seconds collecting 111 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 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] Pruned: 0: (MOVE R1 V49 V42) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 6 layers Real Time: = 0.06 User Time: = 0.06 Syst Time: = 0.03