---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 49 facts and 0 exclusive pairs 67 ops and 19 exclusive pairs time: 1, 76 facts and 21 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, 49 facts and 0 exclusive pairs 67 ops and 19 exclusive pairs time: 1, 76 facts and 21 exclusive pairs 161 ops and 443 exclusive pairs time: 2, 119 facts and 99 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, 49 facts and 0 exclusive pairs 67 ops and 19 exclusive pairs time: 1, 76 facts and 21 exclusive pairs 161 ops and 443 exclusive pairs time: 2, 119 facts and 99 exclusive pairs 342 ops and 2783 exclusive pairs time: 3, 171 facts and 215 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, 49 facts and 0 exclusive pairs 67 ops and 19 exclusive pairs time: 1, 76 facts and 21 exclusive pairs 161 ops and 443 exclusive pairs time: 2, 119 facts and 99 exclusive pairs 342 ops and 2783 exclusive pairs time: 3, 171 facts and 215 exclusive pairs 565 ops and 7578 exclusive pairs time: 4, 238 facts and 451 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, 49 facts and 0 exclusive pairs 67 ops and 19 exclusive pairs time: 1, 76 facts and 21 exclusive pairs 161 ops and 443 exclusive pairs time: 2, 119 facts and 99 exclusive pairs 342 ops and 2783 exclusive pairs time: 3, 171 facts and 215 exclusive pairs 565 ops and 7578 exclusive pairs time: 4, 238 facts and 451 exclusive pairs 852 ops and 17301 exclusive pairs time: 5, 311 facts and 659 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, 49 facts and 0 exclusive pairs 67 ops and 19 exclusive pairs time: 1, 76 facts and 21 exclusive pairs 161 ops and 443 exclusive pairs time: 2, 119 facts and 99 exclusive pairs 342 ops and 2783 exclusive pairs time: 3, 171 facts and 215 exclusive pairs 565 ops and 7578 exclusive pairs time: 4, 238 facts and 451 exclusive pairs 852 ops and 17301 exclusive pairs time: 5, 311 facts and 659 exclusive pairs 1161 ops and 30390 exclusive pairs time: 6, 379 facts and 751 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... 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... DECISION LAYER 6, WRITING THIN GP-BASED ENCODING WITH 4491 VARS, 45441 CLAUSES. time spent: 0.00 seconds instantiating 12194 action templates 0.01 seconds reachability analysis, yielding 580 facts and 1638 actions 0.00 seconds collecting 571 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.32 seconds CNF output time 0.33 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 4491 pure lits : 370 1-clauses : 58 2-clauses : 44375 3-clauses : 258 n-clauses : 750 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 80581 conflicts : 4959 time : ~0.22 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 49 facts and 0 exclusive pairs 67 ops and 19 exclusive pairs time: 1, 76 facts and 21 exclusive pairs 161 ops and 443 exclusive pairs time: 2, 119 facts and 99 exclusive pairs 342 ops and 2783 exclusive pairs time: 3, 171 facts and 215 exclusive pairs 565 ops and 7578 exclusive pairs time: 4, 238 facts and 451 exclusive pairs 852 ops and 17301 exclusive pairs time: 5, 311 facts and 659 exclusive pairs 1161 ops and 30390 exclusive pairs time: 6, 379 facts and 751 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... 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... DECISION LAYER 6, WRITING THIN GP-BASED ENCODING WITH 4491 VARS, 45441 CLAUSES. time spent: 0.00 seconds instantiating 12194 action templates 0.01 seconds reachability analysis, yielding 580 facts and 1638 actions 0.00 seconds collecting 571 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.30 seconds CNF output time 0.31 seconds total planner time (solving not included) Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 6 layers Real Time: = 1.12 User Time: = 1.13 Syst Time: = 0.08