---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 68 ops and 17 exclusive pairs time: 1, 75 facts and 18 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, 51 facts and 0 exclusive pairs 68 ops and 17 exclusive pairs time: 1, 75 facts and 18 exclusive pairs 150 ops and 340 exclusive pairs time: 2, 109 facts and 62 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, 51 facts and 0 exclusive pairs 68 ops and 17 exclusive pairs time: 1, 75 facts and 18 exclusive pairs 150 ops and 340 exclusive pairs time: 2, 109 facts and 62 exclusive pairs 294 ops and 1760 exclusive pairs time: 3, 152 facts and 145 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, 51 facts and 0 exclusive pairs 68 ops and 17 exclusive pairs time: 1, 75 facts and 18 exclusive pairs 150 ops and 340 exclusive pairs time: 2, 109 facts and 62 exclusive pairs 294 ops and 1760 exclusive pairs time: 3, 152 facts and 145 exclusive pairs 478 ops and 4950 exclusive pairs time: 4, 206 facts and 267 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, 51 facts and 0 exclusive pairs 68 ops and 17 exclusive pairs time: 1, 75 facts and 18 exclusive pairs 150 ops and 340 exclusive pairs time: 2, 109 facts and 62 exclusive pairs 294 ops and 1760 exclusive pairs time: 3, 152 facts and 145 exclusive pairs 478 ops and 4950 exclusive pairs time: 4, 206 facts and 267 exclusive pairs 709 ops and 10857 exclusive pairs time: 5, 264 facts and 386 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, 51 facts and 0 exclusive pairs 68 ops and 17 exclusive pairs time: 1, 75 facts and 18 exclusive pairs 150 ops and 340 exclusive pairs time: 2, 109 facts and 62 exclusive pairs 294 ops and 1760 exclusive pairs time: 3, 152 facts and 145 exclusive pairs 478 ops and 4950 exclusive pairs time: 4, 206 facts and 267 exclusive pairs 709 ops and 10857 exclusive pairs time: 5, 264 facts and 386 exclusive pairs 956 ops and 19356 exclusive pairs time: 6, 319 facts and 457 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, 51 facts and 0 exclusive pairs 68 ops and 17 exclusive pairs time: 1, 75 facts and 18 exclusive pairs 150 ops and 340 exclusive pairs time: 2, 109 facts and 62 exclusive pairs 294 ops and 1760 exclusive pairs time: 3, 152 facts and 145 exclusive pairs 478 ops and 4950 exclusive pairs time: 4, 206 facts and 267 exclusive pairs 709 ops and 10857 exclusive pairs time: 5, 264 facts and 386 exclusive pairs 956 ops and 19356 exclusive pairs time: 6, 319 facts and 457 exclusive pairs 1187 ops and 27985 exclusive pairs time: 7, 367 facts and 368 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, 51 facts and 0 exclusive pairs 68 ops and 17 exclusive pairs time: 1, 75 facts and 18 exclusive pairs 150 ops and 340 exclusive pairs time: 2, 109 facts and 62 exclusive pairs 294 ops and 1760 exclusive pairs time: 3, 152 facts and 145 exclusive pairs 478 ops and 4950 exclusive pairs time: 4, 206 facts and 267 exclusive pairs 709 ops and 10857 exclusive pairs time: 5, 264 facts and 386 exclusive pairs 956 ops and 19356 exclusive pairs time: 6, 319 facts and 457 exclusive pairs 1187 ops and 27985 exclusive pairs time: 7, 367 facts and 368 exclusive pairs 1384 ops and 33024 exclusive pairs time: 8, 405 facts and 204 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... 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... DECISION LAYER 8, WRITING THIN GP-BASED ENCODING WITH 7174 VARS, 85472 CLAUSES. time spent: 0.00 seconds instantiating 11830 action templates 0.01 seconds reachability analysis, yielding 464 facts and 1274 actions 0.00 seconds collecting 457 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.49 seconds CNF output time 0.50 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 7174 pure lits : 398 1-clauses : 58 2-clauses : 83792 3-clauses : 320 n-clauses : 1302 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, 51 facts and 0 exclusive pairs 68 ops and 17 exclusive pairs time: 1, 75 facts and 18 exclusive pairs 150 ops and 340 exclusive pairs time: 2, 109 facts and 62 exclusive pairs 294 ops and 1760 exclusive pairs time: 3, 152 facts and 145 exclusive pairs 478 ops and 4950 exclusive pairs time: 4, 206 facts and 267 exclusive pairs 709 ops and 10857 exclusive pairs time: 5, 264 facts and 386 exclusive pairs 956 ops and 19356 exclusive pairs time: 6, 319 facts and 457 exclusive pairs 1187 ops and 27985 exclusive pairs time: 7, 367 facts and 368 exclusive pairs 1384 ops and 33024 exclusive pairs time: 8, 405 facts and 204 exclusive pairs 1532 ops and 35767 exclusive pairs time: 9, 429 facts and 97 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 9135 VARS, 121434 CLAUSES. time spent: 0.00 seconds instantiating 11830 action templates 0.01 seconds reachability analysis, yielding 464 facts and 1274 actions 0.00 seconds collecting 457 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.68 seconds CNF output time 0.69 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 9135 pure lits : 422 1-clauses : 58 2-clauses : 119331 3-clauses : 353 n-clauses : 1692 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 539108 conflicts : 46277 time : ~8.22 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 68 ops and 17 exclusive pairs time: 1, 75 facts and 18 exclusive pairs 150 ops and 340 exclusive pairs time: 2, 109 facts and 62 exclusive pairs 294 ops and 1760 exclusive pairs time: 3, 152 facts and 145 exclusive pairs 478 ops and 4950 exclusive pairs time: 4, 206 facts and 267 exclusive pairs 709 ops and 10857 exclusive pairs time: 5, 264 facts and 386 exclusive pairs 956 ops and 19356 exclusive pairs time: 6, 319 facts and 457 exclusive pairs 1187 ops and 27985 exclusive pairs time: 7, 367 facts and 368 exclusive pairs 1384 ops and 33024 exclusive pairs time: 8, 405 facts and 204 exclusive pairs 1532 ops and 35767 exclusive pairs time: 9, 429 facts and 97 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 9135 VARS, 121434 CLAUSES. time spent: 0.00 seconds instantiating 11830 action templates 0.01 seconds reachability analysis, yielding 464 facts and 1274 actions 0.00 seconds collecting 457 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.62 seconds CNF output time 0.63 seconds total planner time (solving not included) Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] Pruned: 0: (MOVE R6 V57 V56) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 9 layers Real Time: = 10.53 User Time: = 10.48 Syst Time: = 0.19