---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 46 facts and 0 exclusive pairs 71 ops and 26 exclusive pairs time: 1, 80 facts and 26 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, 46 facts and 0 exclusive pairs 71 ops and 26 exclusive pairs time: 1, 80 facts and 26 exclusive pairs 184 ops and 512 exclusive pairs time: 2, 119 facts and 73 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, 46 facts and 0 exclusive pairs 71 ops and 26 exclusive pairs time: 1, 80 facts and 26 exclusive pairs 184 ops and 512 exclusive pairs time: 2, 119 facts and 73 exclusive pairs 340 ops and 2181 exclusive pairs time: 3, 163 facts and 149 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, 46 facts and 0 exclusive pairs 71 ops and 26 exclusive pairs time: 1, 80 facts and 26 exclusive pairs 184 ops and 512 exclusive pairs time: 2, 119 facts and 73 exclusive pairs 340 ops and 2181 exclusive pairs time: 3, 163 facts and 149 exclusive pairs 521 ops and 5459 exclusive pairs time: 4, 217 facts and 279 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, 46 facts and 0 exclusive pairs 71 ops and 26 exclusive pairs time: 1, 80 facts and 26 exclusive pairs 184 ops and 512 exclusive pairs time: 2, 119 facts and 73 exclusive pairs 340 ops and 2181 exclusive pairs time: 3, 163 facts and 149 exclusive pairs 521 ops and 5459 exclusive pairs time: 4, 217 facts and 279 exclusive pairs 742 ops and 11763 exclusive pairs time: 5, 277 facts and 437 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, 46 facts and 0 exclusive pairs 71 ops and 26 exclusive pairs time: 1, 80 facts and 26 exclusive pairs 184 ops and 512 exclusive pairs time: 2, 119 facts and 73 exclusive pairs 340 ops and 2181 exclusive pairs time: 3, 163 facts and 149 exclusive pairs 521 ops and 5459 exclusive pairs time: 4, 217 facts and 279 exclusive pairs 742 ops and 11763 exclusive pairs time: 5, 277 facts and 437 exclusive pairs 991 ops and 21217 exclusive pairs time: 6, 338 facts and 482 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... 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, 46 facts and 0 exclusive pairs 71 ops and 26 exclusive pairs time: 1, 80 facts and 26 exclusive pairs 184 ops and 512 exclusive pairs time: 2, 119 facts and 73 exclusive pairs 340 ops and 2181 exclusive pairs time: 3, 163 facts and 149 exclusive pairs 521 ops and 5459 exclusive pairs time: 4, 217 facts and 279 exclusive pairs 742 ops and 11763 exclusive pairs time: 5, 277 facts and 437 exclusive pairs 991 ops and 21217 exclusive pairs time: 6, 338 facts and 482 exclusive pairs 1249 ops and 31469 exclusive pairs time: 7, 401 facts and 504 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... plan graph layer 7... 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, 46 facts and 0 exclusive pairs 71 ops and 26 exclusive pairs time: 1, 80 facts and 26 exclusive pairs 184 ops and 512 exclusive pairs time: 2, 119 facts and 73 exclusive pairs 340 ops and 2181 exclusive pairs time: 3, 163 facts and 149 exclusive pairs 521 ops and 5459 exclusive pairs time: 4, 217 facts and 279 exclusive pairs 742 ops and 11763 exclusive pairs time: 5, 277 facts and 437 exclusive pairs 991 ops and 21217 exclusive pairs time: 6, 338 facts and 482 exclusive pairs 1249 ops and 31469 exclusive pairs time: 7, 401 facts and 504 exclusive pairs 1496 ops and 41356 exclusive pairs time: 8, 448 facts and 362 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... plan graph layer 7... plan graph layer 8... 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, 46 facts and 0 exclusive pairs 71 ops and 26 exclusive pairs time: 1, 80 facts and 26 exclusive pairs 184 ops and 512 exclusive pairs time: 2, 119 facts and 73 exclusive pairs 340 ops and 2181 exclusive pairs time: 3, 163 facts and 149 exclusive pairs 521 ops and 5459 exclusive pairs time: 4, 217 facts and 279 exclusive pairs 742 ops and 11763 exclusive pairs time: 5, 277 facts and 437 exclusive pairs 991 ops and 21217 exclusive pairs time: 6, 338 facts and 482 exclusive pairs 1249 ops and 31469 exclusive pairs time: 7, 401 facts and 504 exclusive pairs 1496 ops and 41356 exclusive pairs time: 8, 448 facts and 362 exclusive pairs 1686 ops and 47406 exclusive pairs time: 9, 485 facts and 206 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... plan graph layer 7... plan graph layer 8... plan graph layer 9... 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... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... DECISION LAYER 9, WRITING THIN GP-BASED ENCODING WITH 9854 VARS, 144959 CLAUSES. time spent: 0.00 seconds instantiating 10624 action templates 0.01 seconds reachability analysis, yielding 550 facts and 1494 actions 0.00 seconds collecting 541 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.88 seconds CNF output time 0.89 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 9854 pure lits : 477 1-clauses : 54 2-clauses : 142663 3-clauses : 415 n-clauses : 1827 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 534963 conflicts : 59565 time : ~13.26 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 46 facts and 0 exclusive pairs 71 ops and 26 exclusive pairs time: 1, 80 facts and 26 exclusive pairs 184 ops and 512 exclusive pairs time: 2, 119 facts and 73 exclusive pairs 340 ops and 2181 exclusive pairs time: 3, 163 facts and 149 exclusive pairs 521 ops and 5459 exclusive pairs time: 4, 217 facts and 279 exclusive pairs 742 ops and 11763 exclusive pairs time: 5, 277 facts and 437 exclusive pairs 991 ops and 21217 exclusive pairs time: 6, 338 facts and 482 exclusive pairs 1249 ops and 31469 exclusive pairs time: 7, 401 facts and 504 exclusive pairs 1496 ops and 41356 exclusive pairs time: 8, 448 facts and 362 exclusive pairs 1686 ops and 47406 exclusive pairs time: 9, 485 facts and 206 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... plan graph layer 7... plan graph layer 8... plan graph layer 9... 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... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... DECISION LAYER 9, WRITING THIN GP-BASED ENCODING WITH 9854 VARS, 144959 CLAUSES. time spent: 0.01 seconds instantiating 10624 action templates 0.00 seconds reachability analysis, yielding 550 facts and 1494 actions 0.00 seconds collecting 541 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 0.81 seconds CNF output time 0.83 seconds total planner time (solving not included) Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] Pruned: 0: (MOVE R3 V47 V39) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 9 layers Real Time: = 15.74 User Time: = 15.69 Syst Time: = 0.17