---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 73 ops and 33 exclusive pairs time: 1, 83 facts and 33 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 73 ops and 33 exclusive pairs time: 1, 83 facts and 33 exclusive pairs 203 ops and 829 exclusive pairs time: 2, 133 facts and 142 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 73 ops and 33 exclusive pairs time: 1, 83 facts and 33 exclusive pairs 203 ops and 829 exclusive pairs time: 2, 133 facts and 142 exclusive pairs 414 ops and 4632 exclusive pairs time: 3, 192 facts and 342 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 73 ops and 33 exclusive pairs time: 1, 83 facts and 33 exclusive pairs 203 ops and 829 exclusive pairs time: 2, 133 facts and 142 exclusive pairs 414 ops and 4632 exclusive pairs time: 3, 192 facts and 342 exclusive pairs 657 ops and 12164 exclusive pairs time: 4, 253 facts and 523 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 73 ops and 33 exclusive pairs time: 1, 83 facts and 33 exclusive pairs 203 ops and 829 exclusive pairs time: 2, 133 facts and 142 exclusive pairs 414 ops and 4632 exclusive pairs time: 3, 192 facts and 342 exclusive pairs 657 ops and 12164 exclusive pairs time: 4, 253 facts and 523 exclusive pairs 911 ops and 22363 exclusive pairs time: 5, 314 facts and 696 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 73 ops and 33 exclusive pairs time: 1, 83 facts and 33 exclusive pairs 203 ops and 829 exclusive pairs time: 2, 133 facts and 142 exclusive pairs 414 ops and 4632 exclusive pairs time: 3, 192 facts and 342 exclusive pairs 657 ops and 12164 exclusive pairs time: 4, 253 facts and 523 exclusive pairs 911 ops and 22363 exclusive pairs time: 5, 314 facts and 696 exclusive pairs 1169 ops and 34270 exclusive pairs time: 6, 381 facts and 1026 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 73 ops and 33 exclusive pairs time: 1, 83 facts and 33 exclusive pairs 203 ops and 829 exclusive pairs time: 2, 133 facts and 142 exclusive pairs 414 ops and 4632 exclusive pairs time: 3, 192 facts and 342 exclusive pairs 657 ops and 12164 exclusive pairs time: 4, 253 facts and 523 exclusive pairs 911 ops and 22363 exclusive pairs time: 5, 314 facts and 696 exclusive pairs 1169 ops and 34270 exclusive pairs time: 6, 381 facts and 1026 exclusive pairs 1435 ops and 49148 exclusive pairs time: 7, 442 facts and 1320 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 73 ops and 33 exclusive pairs time: 1, 83 facts and 33 exclusive pairs 203 ops and 829 exclusive pairs time: 2, 133 facts and 142 exclusive pairs 414 ops and 4632 exclusive pairs time: 3, 192 facts and 342 exclusive pairs 657 ops and 12164 exclusive pairs time: 4, 253 facts and 523 exclusive pairs 911 ops and 22363 exclusive pairs time: 5, 314 facts and 696 exclusive pairs 1169 ops and 34270 exclusive pairs time: 6, 381 facts and 1026 exclusive pairs 1435 ops and 49148 exclusive pairs time: 7, 442 facts and 1320 exclusive pairs 1684 ops and 64188 exclusive pairs time: 8, 500 facts and 1503 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 73 ops and 33 exclusive pairs time: 1, 83 facts and 33 exclusive pairs 203 ops and 829 exclusive pairs time: 2, 133 facts and 142 exclusive pairs 414 ops and 4632 exclusive pairs time: 3, 192 facts and 342 exclusive pairs 657 ops and 12164 exclusive pairs time: 4, 253 facts and 523 exclusive pairs 911 ops and 22363 exclusive pairs time: 5, 314 facts and 696 exclusive pairs 1169 ops and 34270 exclusive pairs time: 6, 381 facts and 1026 exclusive pairs 1435 ops and 49148 exclusive pairs time: 7, 442 facts and 1320 exclusive pairs 1684 ops and 64188 exclusive pairs time: 8, 500 facts and 1503 exclusive pairs 1905 ops and 76087 exclusive pairs time: 9, 545 facts and 1258 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 11340 VARS, 201668 CLAUSES. time spent: 0.01 seconds instantiating 11220 action templates 0.00 seconds reachability analysis, yielding 616 facts and 1700 actions 0.00 seconds collecting 606 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 1.30 seconds CNF output time 1.32 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 11340 pure lits : 535 1-clauses : 56 2-clauses : 199114 3-clauses : 457 n-clauses : 2041 discarded : 0 [ solve ] unsatisfiable [ stats ] decisions : 0 conflicts : 1 time : ~0.01 ***UNSAT*** 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 73 ops and 33 exclusive pairs time: 1, 83 facts and 33 exclusive pairs 203 ops and 829 exclusive pairs time: 2, 133 facts and 142 exclusive pairs 414 ops and 4632 exclusive pairs time: 3, 192 facts and 342 exclusive pairs 657 ops and 12164 exclusive pairs time: 4, 253 facts and 523 exclusive pairs 911 ops and 22363 exclusive pairs time: 5, 314 facts and 696 exclusive pairs 1169 ops and 34270 exclusive pairs time: 6, 381 facts and 1026 exclusive pairs 1435 ops and 49148 exclusive pairs time: 7, 442 facts and 1320 exclusive pairs 1684 ops and 64188 exclusive pairs time: 8, 500 facts and 1503 exclusive pairs 1905 ops and 76087 exclusive pairs time: 9, 545 facts and 1258 exclusive pairs 2082 ops and 81175 exclusive pairs time: 10, 580 facts and 848 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... plan graph layer 10... 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... exclusion constraints layer 10... DECISION LAYER 10, WRITING THIN GP-BASED ENCODING WITH 14002 VARS, 269496 CLAUSES. time spent: 0.00 seconds instantiating 11220 action templates 0.01 seconds reachability analysis, yielding 616 facts and 1700 actions 0.00 seconds collecting 606 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 1.74 seconds CNF output time 1.75 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 14002 pure lits : 570 1-clauses : 56 2-clauses : 266373 3-clauses : 498 n-clauses : 2569 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 790252 conflicts : 95864 time : ~21.34 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 73 ops and 33 exclusive pairs time: 1, 83 facts and 33 exclusive pairs 203 ops and 829 exclusive pairs time: 2, 133 facts and 142 exclusive pairs 414 ops and 4632 exclusive pairs time: 3, 192 facts and 342 exclusive pairs 657 ops and 12164 exclusive pairs time: 4, 253 facts and 523 exclusive pairs 911 ops and 22363 exclusive pairs time: 5, 314 facts and 696 exclusive pairs 1169 ops and 34270 exclusive pairs time: 6, 381 facts and 1026 exclusive pairs 1435 ops and 49148 exclusive pairs time: 7, 442 facts and 1320 exclusive pairs 1684 ops and 64188 exclusive pairs time: 8, 500 facts and 1503 exclusive pairs 1905 ops and 76087 exclusive pairs time: 9, 545 facts and 1258 exclusive pairs 2082 ops and 81175 exclusive pairs time: 10, 580 facts and 848 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... plan graph layer 10... 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... exclusion constraints layer 10... DECISION LAYER 10, WRITING THIN GP-BASED ENCODING WITH 14002 VARS, 269496 CLAUSES. time spent: 0.00 seconds instantiating 11220 action templates 0.01 seconds reachability analysis, yielding 616 facts and 1700 actions 0.00 seconds collecting 606 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 1.57 seconds CNF output time 1.59 seconds total planner time (solving not included) Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] Pruned: 0: (MOVE R6 V55 V54) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 10 layers Real Time: = 27.24 User Time: = 26.96 Syst Time: = 0.32