---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 58 facts and 0 exclusive pairs 70 ops and 14 exclusive pairs time: 1, 73 facts and 14 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, 58 facts and 0 exclusive pairs 70 ops and 14 exclusive pairs time: 1, 73 facts and 14 exclusive pairs 129 ops and 333 exclusive pairs time: 2, 94 facts and 33 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, 58 facts and 0 exclusive pairs 70 ops and 14 exclusive pairs time: 1, 73 facts and 14 exclusive pairs 129 ops and 333 exclusive pairs time: 2, 94 facts and 33 exclusive pairs 228 ops and 1154 exclusive pairs time: 3, 121 facts and 55 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, 58 facts and 0 exclusive pairs 70 ops and 14 exclusive pairs time: 1, 73 facts and 14 exclusive pairs 129 ops and 333 exclusive pairs time: 2, 94 facts and 33 exclusive pairs 228 ops and 1154 exclusive pairs time: 3, 121 facts and 55 exclusive pairs 348 ops and 2539 exclusive pairs time: 4, 147 facts and 76 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, 58 facts and 0 exclusive pairs 70 ops and 14 exclusive pairs time: 1, 73 facts and 14 exclusive pairs 129 ops and 333 exclusive pairs time: 2, 94 facts and 33 exclusive pairs 228 ops and 1154 exclusive pairs time: 3, 121 facts and 55 exclusive pairs 348 ops and 2539 exclusive pairs time: 4, 147 facts and 76 exclusive pairs 467 ops and 4533 exclusive pairs time: 5, 173 facts and 99 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, 58 facts and 0 exclusive pairs 70 ops and 14 exclusive pairs time: 1, 73 facts and 14 exclusive pairs 129 ops and 333 exclusive pairs time: 2, 94 facts and 33 exclusive pairs 228 ops and 1154 exclusive pairs time: 3, 121 facts and 55 exclusive pairs 348 ops and 2539 exclusive pairs time: 4, 147 facts and 76 exclusive pairs 467 ops and 4533 exclusive pairs time: 5, 173 facts and 99 exclusive pairs 578 ops and 6524 exclusive pairs time: 6, 196 facts and 114 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... 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, 58 facts and 0 exclusive pairs 70 ops and 14 exclusive pairs time: 1, 73 facts and 14 exclusive pairs 129 ops and 333 exclusive pairs time: 2, 94 facts and 33 exclusive pairs 228 ops and 1154 exclusive pairs time: 3, 121 facts and 55 exclusive pairs 348 ops and 2539 exclusive pairs time: 4, 147 facts and 76 exclusive pairs 467 ops and 4533 exclusive pairs time: 5, 173 facts and 99 exclusive pairs 578 ops and 6524 exclusive pairs time: 6, 196 facts and 114 exclusive pairs 673 ops and 8118 exclusive pairs time: 7, 215 facts and 113 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, 58 facts and 0 exclusive pairs 70 ops and 14 exclusive pairs time: 1, 73 facts and 14 exclusive pairs 129 ops and 333 exclusive pairs time: 2, 94 facts and 33 exclusive pairs 228 ops and 1154 exclusive pairs time: 3, 121 facts and 55 exclusive pairs 348 ops and 2539 exclusive pairs time: 4, 147 facts and 76 exclusive pairs 467 ops and 4533 exclusive pairs time: 5, 173 facts and 99 exclusive pairs 578 ops and 6524 exclusive pairs time: 6, 196 facts and 114 exclusive pairs 673 ops and 8118 exclusive pairs time: 7, 215 facts and 113 exclusive pairs 750 ops and 9224 exclusive pairs time: 8, 228 facts and 75 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, 58 facts and 0 exclusive pairs 70 ops and 14 exclusive pairs time: 1, 73 facts and 14 exclusive pairs 129 ops and 333 exclusive pairs time: 2, 94 facts and 33 exclusive pairs 228 ops and 1154 exclusive pairs time: 3, 121 facts and 55 exclusive pairs 348 ops and 2539 exclusive pairs time: 4, 147 facts and 76 exclusive pairs 467 ops and 4533 exclusive pairs time: 5, 173 facts and 99 exclusive pairs 578 ops and 6524 exclusive pairs time: 6, 196 facts and 114 exclusive pairs 673 ops and 8118 exclusive pairs time: 7, 215 facts and 113 exclusive pairs 750 ops and 9224 exclusive pairs time: 8, 228 facts and 75 exclusive pairs 802 ops and 9442 exclusive pairs time: 9, 235 facts and 36 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 5585 VARS, 41916 CLAUSES. time spent: 0.00 seconds instantiating 13056 action templates 0.01 seconds reachability analysis, yielding 244 facts and 612 actions 0.00 seconds collecting 241 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.14 seconds CNF output time 0.15 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 5585 pure lits : 232 1-clauses : 61 2-clauses : 40598 3-clauses : 178 n-clauses : 1079 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 249258 conflicts : 13475 time : ~1.05 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 58 facts and 0 exclusive pairs 70 ops and 14 exclusive pairs time: 1, 73 facts and 14 exclusive pairs 129 ops and 333 exclusive pairs time: 2, 94 facts and 33 exclusive pairs 228 ops and 1154 exclusive pairs time: 3, 121 facts and 55 exclusive pairs 348 ops and 2539 exclusive pairs time: 4, 147 facts and 76 exclusive pairs 467 ops and 4533 exclusive pairs time: 5, 173 facts and 99 exclusive pairs 578 ops and 6524 exclusive pairs time: 6, 196 facts and 114 exclusive pairs 673 ops and 8118 exclusive pairs time: 7, 215 facts and 113 exclusive pairs 750 ops and 9224 exclusive pairs time: 8, 228 facts and 75 exclusive pairs 802 ops and 9442 exclusive pairs time: 9, 235 facts and 36 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 5585 VARS, 41916 CLAUSES. time spent: 0.00 seconds instantiating 13056 action templates 0.01 seconds reachability analysis, yielding 244 facts and 612 actions 0.00 seconds collecting 241 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.12 seconds CNF output time 0.13 seconds total planner time (solving not included) Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] Pruned: 0: (MOVE R3 V60 V59) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 9 layers Real Time: = 1.56 User Time: = 1.52 Syst Time: = 0.08