---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 76 ops and 32 exclusive pairs time: 1, 86 facts and 32 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 76 ops and 32 exclusive pairs time: 1, 86 facts and 32 exclusive pairs 212 ops and 793 exclusive pairs time: 2, 139 facts and 133 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 76 ops and 32 exclusive pairs time: 1, 86 facts and 32 exclusive pairs 212 ops and 793 exclusive pairs time: 2, 139 facts and 133 exclusive pairs 437 ops and 4428 exclusive pairs time: 3, 201 facts and 276 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 76 ops and 32 exclusive pairs time: 1, 86 facts and 32 exclusive pairs 212 ops and 793 exclusive pairs time: 2, 139 facts and 133 exclusive pairs 437 ops and 4428 exclusive pairs time: 3, 201 facts and 276 exclusive pairs 699 ops and 11046 exclusive pairs time: 4, 272 facts and 448 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 76 ops and 32 exclusive pairs time: 1, 86 facts and 32 exclusive pairs 212 ops and 793 exclusive pairs time: 2, 139 facts and 133 exclusive pairs 437 ops and 4428 exclusive pairs time: 3, 201 facts and 276 exclusive pairs 699 ops and 11046 exclusive pairs time: 4, 272 facts and 448 exclusive pairs 997 ops and 21067 exclusive pairs time: 5, 346 facts and 629 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 76 ops and 32 exclusive pairs time: 1, 86 facts and 32 exclusive pairs 212 ops and 793 exclusive pairs time: 2, 139 facts and 133 exclusive pairs 437 ops and 4428 exclusive pairs time: 3, 201 facts and 276 exclusive pairs 699 ops and 11046 exclusive pairs time: 4, 272 facts and 448 exclusive pairs 997 ops and 21067 exclusive pairs time: 5, 346 facts and 629 exclusive pairs 1302 ops and 33993 exclusive pairs time: 6, 417 facts and 757 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 76 ops and 32 exclusive pairs time: 1, 86 facts and 32 exclusive pairs 212 ops and 793 exclusive pairs time: 2, 139 facts and 133 exclusive pairs 437 ops and 4428 exclusive pairs time: 3, 201 facts and 276 exclusive pairs 699 ops and 11046 exclusive pairs time: 4, 272 facts and 448 exclusive pairs 997 ops and 21067 exclusive pairs time: 5, 346 facts and 629 exclusive pairs 1302 ops and 33993 exclusive pairs time: 6, 417 facts and 757 exclusive pairs 1599 ops and 49476 exclusive pairs time: 7, 485 facts and 783 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 76 ops and 32 exclusive pairs time: 1, 86 facts and 32 exclusive pairs 212 ops and 793 exclusive pairs time: 2, 139 facts and 133 exclusive pairs 437 ops and 4428 exclusive pairs time: 3, 201 facts and 276 exclusive pairs 699 ops and 11046 exclusive pairs time: 4, 272 facts and 448 exclusive pairs 997 ops and 21067 exclusive pairs time: 5, 346 facts and 629 exclusive pairs 1302 ops and 33993 exclusive pairs time: 6, 417 facts and 757 exclusive pairs 1599 ops and 49476 exclusive pairs time: 7, 485 facts and 783 exclusive pairs 1879 ops and 63819 exclusive pairs time: 8, 541 facts and 603 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 9736 VARS, 154017 CLAUSES. time spent: 0.00 seconds instantiating 12376 action templates 0.01 seconds reachability analysis, yielding 638 facts and 1820 actions 0.00 seconds collecting 628 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 1.13 seconds CNF output time 1.14 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 9736 pure lits : 532 1-clauses : 57 2-clauses : 151795 3-clauses : 435 n-clauses : 1730 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 506763 conflicts : 50917 time : ~9.45 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 76 ops and 32 exclusive pairs time: 1, 86 facts and 32 exclusive pairs 212 ops and 793 exclusive pairs time: 2, 139 facts and 133 exclusive pairs 437 ops and 4428 exclusive pairs time: 3, 201 facts and 276 exclusive pairs 699 ops and 11046 exclusive pairs time: 4, 272 facts and 448 exclusive pairs 997 ops and 21067 exclusive pairs time: 5, 346 facts and 629 exclusive pairs 1302 ops and 33993 exclusive pairs time: 6, 417 facts and 757 exclusive pairs 1599 ops and 49476 exclusive pairs time: 7, 485 facts and 783 exclusive pairs 1879 ops and 63819 exclusive pairs time: 8, 541 facts and 603 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 9736 VARS, 154017 CLAUSES. time spent: 0.00 seconds instantiating 12376 action templates 0.01 seconds reachability analysis, yielding 638 facts and 1820 actions 0.00 seconds collecting 628 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 1.07 seconds CNF output time 1.08 seconds total planner time (solving not included) Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] Pruned: 0: (MOVE R1 V50 V43) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 8 layers Real Time: = 12.53 User Time: = 12.54 Syst Time: = 0.12