---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 50 facts and 0 exclusive pairs 73 ops and 24 exclusive pairs time: 1, 83 facts and 26 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 50 facts and 0 exclusive pairs 73 ops and 24 exclusive pairs time: 1, 83 facts and 26 exclusive pairs 194 ops and 613 exclusive pairs time: 2, 137 facts and 145 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 50 facts and 0 exclusive pairs 73 ops and 24 exclusive pairs time: 1, 83 facts and 26 exclusive pairs 194 ops and 613 exclusive pairs time: 2, 137 facts and 145 exclusive pairs 441 ops and 5046 exclusive pairs time: 3, 212 facts and 436 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 50 facts and 0 exclusive pairs 73 ops and 24 exclusive pairs time: 1, 83 facts and 26 exclusive pairs 194 ops and 613 exclusive pairs time: 2, 137 facts and 145 exclusive pairs 441 ops and 5046 exclusive pairs time: 3, 212 facts and 436 exclusive pairs 770 ops and 16548 exclusive pairs time: 4, 290 facts and 598 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 50 facts and 0 exclusive pairs 73 ops and 24 exclusive pairs time: 1, 83 facts and 26 exclusive pairs 194 ops and 613 exclusive pairs time: 2, 137 facts and 145 exclusive pairs 441 ops and 5046 exclusive pairs time: 3, 212 facts and 436 exclusive pairs 770 ops and 16548 exclusive pairs time: 4, 290 facts and 598 exclusive pairs 1126 ops and 31033 exclusive pairs time: 5, 374 facts and 759 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 50 facts and 0 exclusive pairs 73 ops and 24 exclusive pairs time: 1, 83 facts and 26 exclusive pairs 194 ops and 613 exclusive pairs time: 2, 137 facts and 145 exclusive pairs 441 ops and 5046 exclusive pairs time: 3, 212 facts and 436 exclusive pairs 770 ops and 16548 exclusive pairs time: 4, 290 facts and 598 exclusive pairs 1126 ops and 31033 exclusive pairs time: 5, 374 facts and 759 exclusive pairs 1498 ops and 50089 exclusive pairs time: 6, 456 facts and 858 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 50 facts and 0 exclusive pairs 73 ops and 24 exclusive pairs time: 1, 83 facts and 26 exclusive pairs 194 ops and 613 exclusive pairs time: 2, 137 facts and 145 exclusive pairs 441 ops and 5046 exclusive pairs time: 3, 212 facts and 436 exclusive pairs 770 ops and 16548 exclusive pairs time: 4, 290 facts and 598 exclusive pairs 1126 ops and 31033 exclusive pairs time: 5, 374 facts and 759 exclusive pairs 1498 ops and 50089 exclusive pairs time: 6, 456 facts and 858 exclusive pairs 1863 ops and 69131 exclusive pairs time: 7, 534 facts and 788 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, 50 facts and 0 exclusive pairs 73 ops and 24 exclusive pairs time: 1, 83 facts and 26 exclusive pairs 194 ops and 613 exclusive pairs time: 2, 137 facts and 145 exclusive pairs 441 ops and 5046 exclusive pairs time: 3, 212 facts and 436 exclusive pairs 770 ops and 16548 exclusive pairs time: 4, 290 facts and 598 exclusive pairs 1126 ops and 31033 exclusive pairs time: 5, 374 facts and 759 exclusive pairs 1498 ops and 50089 exclusive pairs time: 6, 456 facts and 858 exclusive pairs 1863 ops and 69131 exclusive pairs time: 7, 534 facts and 788 exclusive pairs 2199 ops and 86483 exclusive pairs time: 8, 600 facts and 711 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... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 50 facts and 0 exclusive pairs 73 ops and 24 exclusive pairs time: 1, 83 facts and 26 exclusive pairs 194 ops and 613 exclusive pairs time: 2, 137 facts and 145 exclusive pairs 441 ops and 5046 exclusive pairs time: 3, 212 facts and 436 exclusive pairs 770 ops and 16548 exclusive pairs time: 4, 290 facts and 598 exclusive pairs 1126 ops and 31033 exclusive pairs time: 5, 374 facts and 759 exclusive pairs 1498 ops and 50089 exclusive pairs time: 6, 456 facts and 858 exclusive pairs 1863 ops and 69131 exclusive pairs time: 7, 534 facts and 788 exclusive pairs 2199 ops and 86483 exclusive pairs time: 8, 600 facts and 711 exclusive pairs 2476 ops and 100075 exclusive pairs time: 9, 648 facts and 482 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... plan graph layer 9... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 50 facts and 0 exclusive pairs 73 ops and 24 exclusive pairs time: 1, 83 facts and 26 exclusive pairs 194 ops and 613 exclusive pairs time: 2, 137 facts and 145 exclusive pairs 441 ops and 5046 exclusive pairs time: 3, 212 facts and 436 exclusive pairs 770 ops and 16548 exclusive pairs time: 4, 290 facts and 598 exclusive pairs 1126 ops and 31033 exclusive pairs time: 5, 374 facts and 759 exclusive pairs 1498 ops and 50089 exclusive pairs time: 6, 456 facts and 858 exclusive pairs 1863 ops and 69131 exclusive pairs time: 7, 534 facts and 788 exclusive pairs 2199 ops and 86483 exclusive pairs time: 8, 600 facts and 711 exclusive pairs 2476 ops and 100075 exclusive pairs time: 9, 648 facts and 482 exclusive pairs 2677 ops and 108911 exclusive pairs time: 10, 680 facts and 262 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... plan graph layer 9... plan graph layer 10... 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... exclusion constraints layer 9... exclusion constraints layer 10... DECISION LAYER 10, WRITING THIN GP-BASED ENCODING WITH 17381 VARS, 415853 CLAUSES. time spent: 0.00 seconds instantiating 14688 action templates 0.01 seconds reachability analysis, yielding 732 facts and 2244 actions 0.00 seconds collecting 721 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 3.17 seconds CNF output time 3.19 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 17381 pure lits : 669 1-clauses : 61 2-clauses : 412107 3-clauses : 577 n-clauses : 3108 discarded : 0 [ solve ]