---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 42 facts and 0 exclusive pairs 65 ops and 25 exclusive pairs time: 1, 76 facts and 29 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, 42 facts and 0 exclusive pairs 65 ops and 25 exclusive pairs time: 1, 76 facts and 29 exclusive pairs 181 ops and 667 exclusive pairs time: 2, 125 facts and 158 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, 42 facts and 0 exclusive pairs 65 ops and 25 exclusive pairs time: 1, 76 facts and 29 exclusive pairs 181 ops and 667 exclusive pairs time: 2, 125 facts and 158 exclusive pairs 391 ops and 4818 exclusive pairs time: 3, 188 facts and 419 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, 42 facts and 0 exclusive pairs 65 ops and 25 exclusive pairs time: 1, 76 facts and 29 exclusive pairs 181 ops and 667 exclusive pairs time: 2, 125 facts and 158 exclusive pairs 391 ops and 4818 exclusive pairs time: 3, 188 facts and 419 exclusive pairs 646 ops and 13659 exclusive pairs time: 4, 257 facts and 697 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, 42 facts and 0 exclusive pairs 65 ops and 25 exclusive pairs time: 1, 76 facts and 29 exclusive pairs 181 ops and 667 exclusive pairs time: 2, 125 facts and 158 exclusive pairs 391 ops and 4818 exclusive pairs time: 3, 188 facts and 419 exclusive pairs 646 ops and 13659 exclusive pairs time: 4, 257 facts and 697 exclusive pairs 927 ops and 26236 exclusive pairs time: 5, 335 facts and 1186 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, 42 facts and 0 exclusive pairs 65 ops and 25 exclusive pairs time: 1, 76 facts and 29 exclusive pairs 181 ops and 667 exclusive pairs time: 2, 125 facts and 158 exclusive pairs 391 ops and 4818 exclusive pairs time: 3, 188 facts and 419 exclusive pairs 646 ops and 13659 exclusive pairs time: 4, 257 facts and 697 exclusive pairs 927 ops and 26236 exclusive pairs time: 5, 335 facts and 1186 exclusive pairs 1230 ops and 44632 exclusive pairs time: 6, 411 facts and 1585 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, 42 facts and 0 exclusive pairs 65 ops and 25 exclusive pairs time: 1, 76 facts and 29 exclusive pairs 181 ops and 667 exclusive pairs time: 2, 125 facts and 158 exclusive pairs 391 ops and 4818 exclusive pairs time: 3, 188 facts and 419 exclusive pairs 646 ops and 13659 exclusive pairs time: 4, 257 facts and 697 exclusive pairs 927 ops and 26236 exclusive pairs time: 5, 335 facts and 1186 exclusive pairs 1230 ops and 44632 exclusive pairs time: 6, 411 facts and 1585 exclusive pairs 1528 ops and 63313 exclusive pairs time: 7, 482 facts and 1438 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, 42 facts and 0 exclusive pairs 65 ops and 25 exclusive pairs time: 1, 76 facts and 29 exclusive pairs 181 ops and 667 exclusive pairs time: 2, 125 facts and 158 exclusive pairs 391 ops and 4818 exclusive pairs time: 3, 188 facts and 419 exclusive pairs 646 ops and 13659 exclusive pairs time: 4, 257 facts and 697 exclusive pairs 927 ops and 26236 exclusive pairs time: 5, 335 facts and 1186 exclusive pairs 1230 ops and 44632 exclusive pairs time: 6, 411 facts and 1585 exclusive pairs 1528 ops and 63313 exclusive pairs time: 7, 482 facts and 1438 exclusive pairs 1802 ops and 74308 exclusive pairs time: 8, 540 facts and 1130 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, 42 facts and 0 exclusive pairs 65 ops and 25 exclusive pairs time: 1, 76 facts and 29 exclusive pairs 181 ops and 667 exclusive pairs time: 2, 125 facts and 158 exclusive pairs 391 ops and 4818 exclusive pairs time: 3, 188 facts and 419 exclusive pairs 646 ops and 13659 exclusive pairs time: 4, 257 facts and 697 exclusive pairs 927 ops and 26236 exclusive pairs time: 5, 335 facts and 1186 exclusive pairs 1230 ops and 44632 exclusive pairs time: 6, 411 facts and 1585 exclusive pairs 1528 ops and 63313 exclusive pairs time: 7, 482 facts and 1438 exclusive pairs 1802 ops and 74308 exclusive pairs time: 8, 540 facts and 1130 exclusive pairs 2016 ops and 78742 exclusive pairs time: 9, 580 facts and 598 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 11822 VARS, 232931 CLAUSES. time spent: 0.00 seconds instantiating 9856 action templates 0.01 seconds reachability analysis, yielding 636 facts and 1694 actions 0.00 seconds collecting 625 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 1.49 seconds CNF output time 1.51 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 11822 pure lits : 569 1-clauses : 53 2-clauses : 230274 3-clauses : 512 n-clauses : 2092 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 382225 conflicts : 69574 time : ~16.51 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 42 facts and 0 exclusive pairs 65 ops and 25 exclusive pairs time: 1, 76 facts and 29 exclusive pairs 181 ops and 667 exclusive pairs time: 2, 125 facts and 158 exclusive pairs 391 ops and 4818 exclusive pairs time: 3, 188 facts and 419 exclusive pairs 646 ops and 13659 exclusive pairs time: 4, 257 facts and 697 exclusive pairs 927 ops and 26236 exclusive pairs time: 5, 335 facts and 1186 exclusive pairs 1230 ops and 44632 exclusive pairs time: 6, 411 facts and 1585 exclusive pairs 1528 ops and 63313 exclusive pairs time: 7, 482 facts and 1438 exclusive pairs 1802 ops and 74308 exclusive pairs time: 8, 540 facts and 1130 exclusive pairs 2016 ops and 78742 exclusive pairs time: 9, 580 facts and 598 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 11822 VARS, 232931 CLAUSES. time spent: 0.00 seconds instantiating 9856 action templates 0.00 seconds reachability analysis, yielding 636 facts and 1694 actions 0.01 seconds collecting 625 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 1.40 seconds CNF output time 1.41 seconds total planner time (solving not included) Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] Pruned: 0: (MOVE R8 V52 V51) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 9 layers Real Time: = 20.67 User Time: = 20.53 Syst Time: = 0.24