---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 68 ops and 19 exclusive pairs time: 1, 76 facts and 20 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 68 ops and 19 exclusive pairs time: 1, 76 facts and 20 exclusive pairs 159 ops and 425 exclusive pairs time: 2, 116 facts and 90 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 68 ops and 19 exclusive pairs time: 1, 76 facts and 20 exclusive pairs 159 ops and 425 exclusive pairs time: 2, 116 facts and 90 exclusive pairs 329 ops and 2597 exclusive pairs time: 3, 166 facts and 203 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 68 ops and 19 exclusive pairs time: 1, 76 facts and 20 exclusive pairs 159 ops and 425 exclusive pairs time: 2, 116 facts and 90 exclusive pairs 329 ops and 2597 exclusive pairs time: 3, 166 facts and 203 exclusive pairs 545 ops and 7197 exclusive pairs time: 4, 230 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 68 ops and 19 exclusive pairs time: 1, 76 facts and 20 exclusive pairs 159 ops and 425 exclusive pairs time: 2, 116 facts and 90 exclusive pairs 329 ops and 2597 exclusive pairs time: 3, 166 facts and 203 exclusive pairs 545 ops and 7197 exclusive pairs time: 4, 230 facts and 403 exclusive pairs 819 ops and 16002 exclusive pairs time: 5, 297 facts and 559 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 68 ops and 19 exclusive pairs time: 1, 76 facts and 20 exclusive pairs 159 ops and 425 exclusive pairs time: 2, 116 facts and 90 exclusive pairs 329 ops and 2597 exclusive pairs time: 3, 166 facts and 203 exclusive pairs 545 ops and 7197 exclusive pairs time: 4, 230 facts and 403 exclusive pairs 819 ops and 16002 exclusive pairs time: 5, 297 facts and 559 exclusive pairs 1105 ops and 27310 exclusive pairs time: 6, 360 facts and 643 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 68 ops and 19 exclusive pairs time: 1, 76 facts and 20 exclusive pairs 159 ops and 425 exclusive pairs time: 2, 116 facts and 90 exclusive pairs 329 ops and 2597 exclusive pairs time: 3, 166 facts and 203 exclusive pairs 545 ops and 7197 exclusive pairs time: 4, 230 facts and 403 exclusive pairs 819 ops and 16002 exclusive pairs time: 5, 297 facts and 559 exclusive pairs 1105 ops and 27310 exclusive pairs time: 6, 360 facts and 643 exclusive pairs 1370 ops and 38278 exclusive pairs time: 7, 415 facts and 513 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 6105 VARS, 73494 CLAUSES. time spent: 0.00 seconds instantiating 12012 action templates 0.01 seconds reachability analysis, yielding 522 facts and 1456 actions 0.00 seconds collecting 514 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.47 seconds CNF output time 0.48 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 6105 pure lits : 407 1-clauses : 58 2-clauses : 72067 3-clauses : 301 n-clauses : 1068 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 171388 conflicts : 13256 time : ~1.17 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 68 ops and 19 exclusive pairs time: 1, 76 facts and 20 exclusive pairs 159 ops and 425 exclusive pairs time: 2, 116 facts and 90 exclusive pairs 329 ops and 2597 exclusive pairs time: 3, 166 facts and 203 exclusive pairs 545 ops and 7197 exclusive pairs time: 4, 230 facts and 403 exclusive pairs 819 ops and 16002 exclusive pairs time: 5, 297 facts and 559 exclusive pairs 1105 ops and 27310 exclusive pairs time: 6, 360 facts and 643 exclusive pairs 1370 ops and 38278 exclusive pairs time: 7, 415 facts and 513 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 6105 VARS, 73494 CLAUSES. time spent: 0.00 seconds instantiating 12012 action templates 0.01 seconds reachability analysis, yielding 522 facts and 1456 actions 0.00 seconds collecting 514 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.44 seconds CNF output time 0.45 seconds total planner time (solving not included) Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] Pruned: 0: (MOVE R7 V57 V56) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 7 layers Real Time: = 2.48 User Time: = 2.51 Syst Time: = 0.07