---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 50 facts and 0 exclusive pairs 64 ops and 15 exclusive pairs time: 1, 69 facts and 15 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, 50 facts and 0 exclusive pairs 64 ops and 15 exclusive pairs time: 1, 69 facts and 15 exclusive pairs 127 ops and 261 exclusive pairs time: 2, 92 facts and 31 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, 50 facts and 0 exclusive pairs 64 ops and 15 exclusive pairs time: 1, 69 facts and 15 exclusive pairs 127 ops and 261 exclusive pairs time: 2, 92 facts and 31 exclusive pairs 220 ops and 883 exclusive pairs time: 3, 121 facts and 49 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, 50 facts and 0 exclusive pairs 64 ops and 15 exclusive pairs time: 1, 69 facts and 15 exclusive pairs 127 ops and 261 exclusive pairs time: 2, 92 facts and 31 exclusive pairs 220 ops and 883 exclusive pairs time: 3, 121 facts and 49 exclusive pairs 342 ops and 2076 exclusive pairs time: 4, 159 facts and 114 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, 50 facts and 0 exclusive pairs 64 ops and 15 exclusive pairs time: 1, 69 facts and 15 exclusive pairs 127 ops and 261 exclusive pairs time: 2, 92 facts and 31 exclusive pairs 220 ops and 883 exclusive pairs time: 3, 121 facts and 49 exclusive pairs 342 ops and 2076 exclusive pairs time: 4, 159 facts and 114 exclusive pairs 496 ops and 4922 exclusive pairs time: 5, 196 facts and 146 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 1936 VARS, 8816 CLAUSES. time spent: 0.00 seconds instantiating 9960 action templates 0.00 seconds reachability analysis, yielding 330 facts and 830 actions 0.00 seconds collecting 325 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.04 seconds CNF output time 0.04 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 1936 pure lits : 191 1-clauses : 55 2-clauses : 8317 3-clauses : 131 n-clauses : 313 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 3291 conflicts : 94 time : ~0.01 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 50 facts and 0 exclusive pairs 64 ops and 15 exclusive pairs time: 1, 69 facts and 15 exclusive pairs 127 ops and 261 exclusive pairs time: 2, 92 facts and 31 exclusive pairs 220 ops and 883 exclusive pairs time: 3, 121 facts and 49 exclusive pairs 342 ops and 2076 exclusive pairs time: 4, 159 facts and 114 exclusive pairs 496 ops and 4922 exclusive pairs time: 5, 196 facts and 146 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 1936 VARS, 8816 CLAUSES. time spent: 0.01 seconds instantiating 9960 action templates 0.00 seconds reachability analysis, yielding 330 facts and 830 actions 0.00 seconds collecting 325 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.04 seconds CNF output time 0.05 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] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 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.16 User Time: = 0.17 Syst Time: = 0.03