---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 53 facts and 0 exclusive pairs 59 ops and 6 exclusive pairs time: 1, 61 facts and 6 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, 53 facts and 0 exclusive pairs 59 ops and 6 exclusive pairs time: 1, 61 facts and 6 exclusive pairs 86 ops and 96 exclusive pairs time: 2, 71 facts and 10 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, 53 facts and 0 exclusive pairs 59 ops and 6 exclusive pairs time: 1, 61 facts and 6 exclusive pairs 86 ops and 96 exclusive pairs time: 2, 71 facts and 10 exclusive pairs 127 ops and 250 exclusive pairs time: 3, 84 facts and 14 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, 53 facts and 0 exclusive pairs 59 ops and 6 exclusive pairs time: 1, 61 facts and 6 exclusive pairs 86 ops and 96 exclusive pairs time: 2, 71 facts and 10 exclusive pairs 127 ops and 250 exclusive pairs time: 3, 84 facts and 14 exclusive pairs 181 ops and 494 exclusive pairs time: 4, 100 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, 53 facts and 0 exclusive pairs 59 ops and 6 exclusive pairs time: 1, 61 facts and 6 exclusive pairs 86 ops and 96 exclusive pairs time: 2, 71 facts and 10 exclusive pairs 127 ops and 250 exclusive pairs time: 3, 84 facts and 14 exclusive pairs 181 ops and 494 exclusive pairs time: 4, 100 facts and 26 exclusive pairs 246 ops and 978 exclusive pairs time: 5, 115 facts and 28 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 1183 VARS, 2983 CLAUSES. time spent: 0.00 seconds instantiating 9462 action templates 0.00 seconds reachability analysis, yielding 165 facts and 332 actions 0.00 seconds collecting 163 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 : 1183 pure lits : 113 1-clauses : 55 2-clauses : 2706 3-clauses : 56 n-clauses : 166 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 3884 conflicts : 200 time : ~0.01 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 53 facts and 0 exclusive pairs 59 ops and 6 exclusive pairs time: 1, 61 facts and 6 exclusive pairs 86 ops and 96 exclusive pairs time: 2, 71 facts and 10 exclusive pairs 127 ops and 250 exclusive pairs time: 3, 84 facts and 14 exclusive pairs 181 ops and 494 exclusive pairs time: 4, 100 facts and 26 exclusive pairs 246 ops and 978 exclusive pairs time: 5, 115 facts and 28 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 1183 VARS, 2983 CLAUSES. time spent: 0.00 seconds instantiating 9462 action templates 0.00 seconds reachability analysis, yielding 165 facts and 332 actions 0.01 seconds collecting 163 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 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 5 layers Real Time: = 0.08 User Time: = 0.08 Syst Time: = 0.02