---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 56 facts and 0 exclusive pairs 61 ops and 5 exclusive pairs time: 1, 63 facts and 5 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, 56 facts and 0 exclusive pairs 61 ops and 5 exclusive pairs time: 1, 63 facts and 5 exclusive pairs 81 ops and 75 exclusive pairs time: 2, 70 facts and 11 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, 56 facts and 0 exclusive pairs 61 ops and 5 exclusive pairs time: 1, 63 facts and 5 exclusive pairs 81 ops and 75 exclusive pairs time: 2, 70 facts and 11 exclusive pairs 107 ops and 222 exclusive pairs time: 3, 80 facts and 27 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, 56 facts and 0 exclusive pairs 61 ops and 5 exclusive pairs time: 1, 63 facts and 5 exclusive pairs 81 ops and 75 exclusive pairs time: 2, 70 facts and 11 exclusive pairs 107 ops and 222 exclusive pairs time: 3, 80 facts and 27 exclusive pairs 148 ops and 591 exclusive pairs time: 4, 94 facts and 32 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, 56 facts and 0 exclusive pairs 61 ops and 5 exclusive pairs time: 1, 63 facts and 5 exclusive pairs 81 ops and 75 exclusive pairs time: 2, 70 facts and 11 exclusive pairs 107 ops and 222 exclusive pairs time: 3, 80 facts and 27 exclusive pairs 148 ops and 591 exclusive pairs time: 4, 94 facts and 32 exclusive pairs 207 ops and 1044 exclusive pairs time: 5, 110 facts and 39 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, 56 facts and 0 exclusive pairs 61 ops and 5 exclusive pairs time: 1, 63 facts and 5 exclusive pairs 81 ops and 75 exclusive pairs time: 2, 70 facts and 11 exclusive pairs 107 ops and 222 exclusive pairs time: 3, 80 facts and 27 exclusive pairs 148 ops and 591 exclusive pairs time: 4, 94 facts and 32 exclusive pairs 207 ops and 1044 exclusive pairs time: 5, 110 facts and 39 exclusive pairs 275 ops and 1568 exclusive pairs time: 6, 127 facts and 38 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, 56 facts and 0 exclusive pairs 61 ops and 5 exclusive pairs time: 1, 63 facts and 5 exclusive pairs 81 ops and 75 exclusive pairs time: 2, 70 facts and 11 exclusive pairs 107 ops and 222 exclusive pairs time: 3, 80 facts and 27 exclusive pairs 148 ops and 591 exclusive pairs time: 4, 94 facts and 32 exclusive pairs 207 ops and 1044 exclusive pairs time: 5, 110 facts and 39 exclusive pairs 275 ops and 1568 exclusive pairs time: 6, 127 facts and 38 exclusive pairs 348 ops and 2098 exclusive pairs time: 7, 142 facts and 28 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 1969 VARS, 6875 CLAUSES. time spent: 0.00 seconds instantiating 10920 action templates 0.00 seconds reachability analysis, yielding 174 facts and 364 actions 0.00 seconds collecting 172 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.02 seconds CNF output time 0.02 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 1969 pure lits : 140 1-clauses : 58 2-clauses : 6441 3-clauses : 85 n-clauses : 291 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 16454 conflicts : 842 time : ~0.02 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 56 facts and 0 exclusive pairs 61 ops and 5 exclusive pairs time: 1, 63 facts and 5 exclusive pairs 81 ops and 75 exclusive pairs time: 2, 70 facts and 11 exclusive pairs 107 ops and 222 exclusive pairs time: 3, 80 facts and 27 exclusive pairs 148 ops and 591 exclusive pairs time: 4, 94 facts and 32 exclusive pairs 207 ops and 1044 exclusive pairs time: 5, 110 facts and 39 exclusive pairs 275 ops and 1568 exclusive pairs time: 6, 127 facts and 38 exclusive pairs 348 ops and 2098 exclusive pairs time: 7, 142 facts and 28 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 1969 VARS, 6875 CLAUSES. time spent: 0.01 seconds instantiating 10920 action templates 0.00 seconds reachability analysis, yielding 174 facts and 364 actions 0.00 seconds collecting 172 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.02 seconds CNF output time 0.03 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] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 V57 V56) [1] Pruned: 0: (MOVE R1 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 7 layers Real Time: = 0.15 User Time: = 0.13 Syst Time: = 0.03