---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 66 ops and 21 exclusive pairs time: 1, 75 facts and 22 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, 48 facts and 0 exclusive pairs 66 ops and 21 exclusive pairs time: 1, 75 facts and 22 exclusive pairs 162 ops and 525 exclusive pairs time: 2, 123 facts and 149 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, 48 facts and 0 exclusive pairs 66 ops and 21 exclusive pairs time: 1, 75 facts and 22 exclusive pairs 162 ops and 525 exclusive pairs time: 2, 123 facts and 149 exclusive pairs 363 ops and 4287 exclusive pairs time: 3, 175 facts and 305 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, 48 facts and 0 exclusive pairs 66 ops and 21 exclusive pairs time: 1, 75 facts and 22 exclusive pairs 162 ops and 525 exclusive pairs time: 2, 123 facts and 149 exclusive pairs 363 ops and 4287 exclusive pairs time: 3, 175 facts and 305 exclusive pairs 579 ops and 10369 exclusive pairs time: 4, 232 facts and 447 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, 48 facts and 0 exclusive pairs 66 ops and 21 exclusive pairs time: 1, 75 facts and 22 exclusive pairs 162 ops and 525 exclusive pairs time: 2, 123 facts and 149 exclusive pairs 363 ops and 4287 exclusive pairs time: 3, 175 facts and 305 exclusive pairs 579 ops and 10369 exclusive pairs time: 4, 232 facts and 447 exclusive pairs 814 ops and 18252 exclusive pairs time: 5, 291 facts and 607 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, 48 facts and 0 exclusive pairs 66 ops and 21 exclusive pairs time: 1, 75 facts and 22 exclusive pairs 162 ops and 525 exclusive pairs time: 2, 123 facts and 149 exclusive pairs 363 ops and 4287 exclusive pairs time: 3, 175 facts and 305 exclusive pairs 579 ops and 10369 exclusive pairs time: 4, 232 facts and 447 exclusive pairs 814 ops and 18252 exclusive pairs time: 5, 291 facts and 607 exclusive pairs 1054 ops and 27638 exclusive pairs time: 6, 347 facts and 652 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, 48 facts and 0 exclusive pairs 66 ops and 21 exclusive pairs time: 1, 75 facts and 22 exclusive pairs 162 ops and 525 exclusive pairs time: 2, 123 facts and 149 exclusive pairs 363 ops and 4287 exclusive pairs time: 3, 175 facts and 305 exclusive pairs 579 ops and 10369 exclusive pairs time: 4, 232 facts and 447 exclusive pairs 814 ops and 18252 exclusive pairs time: 5, 291 facts and 607 exclusive pairs 1054 ops and 27638 exclusive pairs time: 6, 347 facts and 652 exclusive pairs 1282 ops and 36003 exclusive pairs time: 7, 405 facts and 713 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, 48 facts and 0 exclusive pairs 66 ops and 21 exclusive pairs time: 1, 75 facts and 22 exclusive pairs 162 ops and 525 exclusive pairs time: 2, 123 facts and 149 exclusive pairs 363 ops and 4287 exclusive pairs time: 3, 175 facts and 305 exclusive pairs 579 ops and 10369 exclusive pairs time: 4, 232 facts and 447 exclusive pairs 814 ops and 18252 exclusive pairs time: 5, 291 facts and 607 exclusive pairs 1054 ops and 27638 exclusive pairs time: 6, 347 facts and 652 exclusive pairs 1282 ops and 36003 exclusive pairs time: 7, 405 facts and 713 exclusive pairs 1512 ops and 45370 exclusive pairs time: 8, 463 facts and 932 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 7991 VARS, 114510 CLAUSES. time spent: 0.00 seconds instantiating 11352 action templates 0.00 seconds reachability analysis, yielding 570 facts and 1548 actions 0.00 seconds collecting 561 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 0.69 seconds CNF output time 0.70 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 7991 pure lits : 454 1-clauses : 57 2-clauses : 112710 3-clauses : 331 n-clauses : 1412 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 316348 conflicts : 47151 time : ~8.46 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 66 ops and 21 exclusive pairs time: 1, 75 facts and 22 exclusive pairs 162 ops and 525 exclusive pairs time: 2, 123 facts and 149 exclusive pairs 363 ops and 4287 exclusive pairs time: 3, 175 facts and 305 exclusive pairs 579 ops and 10369 exclusive pairs time: 4, 232 facts and 447 exclusive pairs 814 ops and 18252 exclusive pairs time: 5, 291 facts and 607 exclusive pairs 1054 ops and 27638 exclusive pairs time: 6, 347 facts and 652 exclusive pairs 1282 ops and 36003 exclusive pairs time: 7, 405 facts and 713 exclusive pairs 1512 ops and 45370 exclusive pairs time: 8, 463 facts and 932 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 7991 VARS, 114510 CLAUSES. time spent: 0.00 seconds instantiating 11352 action templates 0.01 seconds reachability analysis, yielding 570 facts and 1548 actions 0.00 seconds collecting 561 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.64 seconds CNF output time 0.65 seconds total planner time (solving not included) Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] Pruned: 0: (MOVE R6 V56 V55) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 8 layers Real Time: = 10.38 User Time: = 10.41 Syst Time: = 0.07