---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 52 facts and 0 exclusive pairs 68 ops and 16 exclusive pairs time: 1, 74 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, 52 facts and 0 exclusive pairs 68 ops and 16 exclusive pairs time: 1, 74 facts and 17 exclusive pairs 143 ops and 297 exclusive pairs time: 2, 102 facts and 41 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, 52 facts and 0 exclusive pairs 68 ops and 16 exclusive pairs time: 1, 74 facts and 17 exclusive pairs 143 ops and 297 exclusive pairs time: 2, 102 facts and 41 exclusive pairs 262 ops and 1180 exclusive pairs time: 3, 140 facts and 106 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, 52 facts and 0 exclusive pairs 68 ops and 16 exclusive pairs time: 1, 74 facts and 17 exclusive pairs 143 ops and 297 exclusive pairs time: 2, 102 facts and 41 exclusive pairs 262 ops and 1180 exclusive pairs time: 3, 140 facts and 106 exclusive pairs 425 ops and 3702 exclusive pairs time: 4, 188 facts and 204 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, 52 facts and 0 exclusive pairs 68 ops and 16 exclusive pairs time: 1, 74 facts and 17 exclusive pairs 143 ops and 297 exclusive pairs time: 2, 102 facts and 41 exclusive pairs 262 ops and 1180 exclusive pairs time: 3, 140 facts and 106 exclusive pairs 425 ops and 3702 exclusive pairs time: 4, 188 facts and 204 exclusive pairs 630 ops and 8447 exclusive pairs time: 5, 239 facts and 292 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, 52 facts and 0 exclusive pairs 68 ops and 16 exclusive pairs time: 1, 74 facts and 17 exclusive pairs 143 ops and 297 exclusive pairs time: 2, 102 facts and 41 exclusive pairs 262 ops and 1180 exclusive pairs time: 3, 140 facts and 106 exclusive pairs 425 ops and 3702 exclusive pairs time: 4, 188 facts and 204 exclusive pairs 630 ops and 8447 exclusive pairs time: 5, 239 facts and 292 exclusive pairs 846 ops and 14948 exclusive pairs time: 6, 286 facts and 331 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, 52 facts and 0 exclusive pairs 68 ops and 16 exclusive pairs time: 1, 74 facts and 17 exclusive pairs 143 ops and 297 exclusive pairs time: 2, 102 facts and 41 exclusive pairs 262 ops and 1180 exclusive pairs time: 3, 140 facts and 106 exclusive pairs 425 ops and 3702 exclusive pairs time: 4, 188 facts and 204 exclusive pairs 630 ops and 8447 exclusive pairs time: 5, 239 facts and 292 exclusive pairs 846 ops and 14948 exclusive pairs time: 6, 286 facts and 331 exclusive pairs 1043 ops and 21080 exclusive pairs time: 7, 326 facts and 246 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, 52 facts and 0 exclusive pairs 68 ops and 16 exclusive pairs time: 1, 74 facts and 17 exclusive pairs 143 ops and 297 exclusive pairs time: 2, 102 facts and 41 exclusive pairs 262 ops and 1180 exclusive pairs time: 3, 140 facts and 106 exclusive pairs 425 ops and 3702 exclusive pairs time: 4, 188 facts and 204 exclusive pairs 630 ops and 8447 exclusive pairs time: 5, 239 facts and 292 exclusive pairs 846 ops and 14948 exclusive pairs time: 6, 286 facts and 331 exclusive pairs 1043 ops and 21080 exclusive pairs time: 7, 326 facts and 246 exclusive pairs 1206 ops and 24203 exclusive pairs time: 8, 357 facts and 130 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... 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... DECISION LAYER 8, WRITING THIN GP-BASED ENCODING WITH 6387 VARS, 66781 CLAUSES. time spent: 0.00 seconds instantiating 11648 action templates 0.01 seconds reachability analysis, yielding 406 facts and 1092 actions 0.00 seconds collecting 400 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.34 seconds CNF output time 0.35 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 6387 pure lits : 351 1-clauses : 58 2-clauses : 65264 3-clauses : 280 n-clauses : 1179 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 254310 conflicts : 20148 time : ~2.23 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 52 facts and 0 exclusive pairs 68 ops and 16 exclusive pairs time: 1, 74 facts and 17 exclusive pairs 143 ops and 297 exclusive pairs time: 2, 102 facts and 41 exclusive pairs 262 ops and 1180 exclusive pairs time: 3, 140 facts and 106 exclusive pairs 425 ops and 3702 exclusive pairs time: 4, 188 facts and 204 exclusive pairs 630 ops and 8447 exclusive pairs time: 5, 239 facts and 292 exclusive pairs 846 ops and 14948 exclusive pairs time: 6, 286 facts and 331 exclusive pairs 1043 ops and 21080 exclusive pairs time: 7, 326 facts and 246 exclusive pairs 1206 ops and 24203 exclusive pairs time: 8, 357 facts and 130 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... 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... DECISION LAYER 8, WRITING THIN GP-BASED ENCODING WITH 6387 VARS, 66781 CLAUSES. time spent: 0.00 seconds instantiating 11648 action templates 0.01 seconds reachability analysis, yielding 406 facts and 1092 actions 0.00 seconds collecting 400 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) Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] Pruned: 0: (MOVE R5 V57 V56) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 8 layers Real Time: = 3.27 User Time: = 3.2 Syst Time: = 0.17