---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 50 facts and 0 exclusive pairs 66 ops and 16 exclusive pairs time: 1, 73 facts and 17 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, 50 facts and 0 exclusive pairs 66 ops and 16 exclusive pairs time: 1, 73 facts and 17 exclusive pairs 146 ops and 353 exclusive pairs time: 2, 107 facts and 69 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, 50 facts and 0 exclusive pairs 66 ops and 16 exclusive pairs time: 1, 73 facts and 17 exclusive pairs 146 ops and 353 exclusive pairs time: 2, 107 facts and 69 exclusive pairs 285 ops and 1951 exclusive pairs time: 3, 147 facts and 149 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, 50 facts and 0 exclusive pairs 66 ops and 16 exclusive pairs time: 1, 73 facts and 17 exclusive pairs 146 ops and 353 exclusive pairs time: 2, 107 facts and 69 exclusive pairs 285 ops and 1951 exclusive pairs time: 3, 147 facts and 149 exclusive pairs 447 ops and 4916 exclusive pairs time: 4, 201 facts and 403 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, 50 facts and 0 exclusive pairs 66 ops and 16 exclusive pairs time: 1, 73 facts and 17 exclusive pairs 146 ops and 353 exclusive pairs time: 2, 107 facts and 69 exclusive pairs 285 ops and 1951 exclusive pairs time: 3, 147 facts and 149 exclusive pairs 447 ops and 4916 exclusive pairs time: 4, 201 facts and 403 exclusive pairs 667 ops and 12445 exclusive pairs time: 5, 261 facts and 626 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, 50 facts and 0 exclusive pairs 66 ops and 16 exclusive pairs time: 1, 73 facts and 17 exclusive pairs 146 ops and 353 exclusive pairs time: 2, 107 facts and 69 exclusive pairs 285 ops and 1951 exclusive pairs time: 3, 147 facts and 149 exclusive pairs 447 ops and 4916 exclusive pairs time: 4, 201 facts and 403 exclusive pairs 667 ops and 12445 exclusive pairs time: 5, 261 facts and 626 exclusive pairs 920 ops and 22822 exclusive pairs time: 6, 317 facts and 661 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, 50 facts and 0 exclusive pairs 66 ops and 16 exclusive pairs time: 1, 73 facts and 17 exclusive pairs 146 ops and 353 exclusive pairs time: 2, 107 facts and 69 exclusive pairs 285 ops and 1951 exclusive pairs time: 3, 147 facts and 149 exclusive pairs 447 ops and 4916 exclusive pairs time: 4, 201 facts and 403 exclusive pairs 667 ops and 12445 exclusive pairs time: 5, 261 facts and 626 exclusive pairs 920 ops and 22822 exclusive pairs time: 6, 317 facts and 661 exclusive pairs 1155 ops and 31104 exclusive pairs time: 7, 366 facts and 586 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... 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... DECISION LAYER 7, WRITING THIN GP-BASED ENCODING WITH 5208 VARS, 54855 CLAUSES. time spent: 0.00 seconds instantiating 11136 action templates 0.01 seconds reachability analysis, yielding 456 facts and 1218 actions 0.00 seconds collecting 449 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.31 seconds CNF output time 0.32 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 5208 pure lits : 359 1-clauses : 57 2-clauses : 53621 3-clauses : 255 n-clauses : 922 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 126585 conflicts : 12296 time : ~1.07 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 50 facts and 0 exclusive pairs 66 ops and 16 exclusive pairs time: 1, 73 facts and 17 exclusive pairs 146 ops and 353 exclusive pairs time: 2, 107 facts and 69 exclusive pairs 285 ops and 1951 exclusive pairs time: 3, 147 facts and 149 exclusive pairs 447 ops and 4916 exclusive pairs time: 4, 201 facts and 403 exclusive pairs 667 ops and 12445 exclusive pairs time: 5, 261 facts and 626 exclusive pairs 920 ops and 22822 exclusive pairs time: 6, 317 facts and 661 exclusive pairs 1155 ops and 31104 exclusive pairs time: 7, 366 facts and 586 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... 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... DECISION LAYER 7, WRITING THIN GP-BASED ENCODING WITH 5208 VARS, 54855 CLAUSES. time spent: 0.00 seconds instantiating 11136 action templates 0.01 seconds reachability analysis, yielding 456 facts and 1218 actions 0.00 seconds collecting 449 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.28 seconds CNF output time 0.29 seconds total planner time (solving not included) Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 7 layers Real Time: = 1.96 User Time: = 1.98 Syst Time: = 0.09