---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 49 facts and 0 exclusive pairs 68 ops and 20 exclusive pairs time: 1, 76 facts and 21 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, 49 facts and 0 exclusive pairs 68 ops and 20 exclusive pairs time: 1, 76 facts and 21 exclusive pairs 163 ops and 466 exclusive pairs time: 2, 116 facts and 88 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, 49 facts and 0 exclusive pairs 68 ops and 20 exclusive pairs time: 1, 76 facts and 21 exclusive pairs 163 ops and 466 exclusive pairs time: 2, 116 facts and 88 exclusive pairs 330 ops and 2638 exclusive pairs time: 3, 166 facts and 224 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, 49 facts and 0 exclusive pairs 68 ops and 20 exclusive pairs time: 1, 76 facts and 21 exclusive pairs 163 ops and 466 exclusive pairs time: 2, 116 facts and 88 exclusive pairs 330 ops and 2638 exclusive pairs time: 3, 166 facts and 224 exclusive pairs 536 ops and 7463 exclusive pairs time: 4, 232 facts and 583 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, 49 facts and 0 exclusive pairs 68 ops and 20 exclusive pairs time: 1, 76 facts and 21 exclusive pairs 163 ops and 466 exclusive pairs time: 2, 116 facts and 88 exclusive pairs 330 ops and 2638 exclusive pairs time: 3, 166 facts and 224 exclusive pairs 536 ops and 7463 exclusive pairs time: 4, 232 facts and 583 exclusive pairs 809 ops and 18700 exclusive pairs time: 5, 305 facts and 909 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, 49 facts and 0 exclusive pairs 68 ops and 20 exclusive pairs time: 1, 76 facts and 21 exclusive pairs 163 ops and 466 exclusive pairs time: 2, 116 facts and 88 exclusive pairs 330 ops and 2638 exclusive pairs time: 3, 166 facts and 224 exclusive pairs 536 ops and 7463 exclusive pairs time: 4, 232 facts and 583 exclusive pairs 809 ops and 18700 exclusive pairs time: 5, 305 facts and 909 exclusive pairs 1108 ops and 32956 exclusive pairs time: 6, 368 facts and 924 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, 49 facts and 0 exclusive pairs 68 ops and 20 exclusive pairs time: 1, 76 facts and 21 exclusive pairs 163 ops and 466 exclusive pairs time: 2, 116 facts and 88 exclusive pairs 330 ops and 2638 exclusive pairs time: 3, 166 facts and 224 exclusive pairs 536 ops and 7463 exclusive pairs time: 4, 232 facts and 583 exclusive pairs 809 ops and 18700 exclusive pairs time: 5, 305 facts and 909 exclusive pairs 1108 ops and 32956 exclusive pairs time: 6, 368 facts and 924 exclusive pairs 1369 ops and 42798 exclusive pairs time: 7, 421 facts and 718 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, 49 facts and 0 exclusive pairs 68 ops and 20 exclusive pairs time: 1, 76 facts and 21 exclusive pairs 163 ops and 466 exclusive pairs time: 2, 116 facts and 88 exclusive pairs 330 ops and 2638 exclusive pairs time: 3, 166 facts and 224 exclusive pairs 536 ops and 7463 exclusive pairs time: 4, 232 facts and 583 exclusive pairs 809 ops and 18700 exclusive pairs time: 5, 305 facts and 909 exclusive pairs 1108 ops and 32956 exclusive pairs time: 6, 368 facts and 924 exclusive pairs 1369 ops and 42798 exclusive pairs time: 7, 421 facts and 718 exclusive pairs 1583 ops and 48254 exclusive pairs time: 8, 462 facts and 502 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 8161 VARS, 115986 CLAUSES. time spent: 0.00 seconds instantiating 11310 action templates 0.00 seconds reachability analysis, yielding 513 facts and 1392 actions 0.00 seconds collecting 505 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 0.68 seconds CNF output time 0.69 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 8161 pure lits : 454 1-clauses : 57 2-clauses : 114110 3-clauses : 352 n-clauses : 1467 discarded : 0 [ solve ] unsatisfiable [ stats ] decisions : 0 conflicts : 1 time : ~0.01 ***UNSAT*** bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 49 facts and 0 exclusive pairs 68 ops and 20 exclusive pairs time: 1, 76 facts and 21 exclusive pairs 163 ops and 466 exclusive pairs time: 2, 116 facts and 88 exclusive pairs 330 ops and 2638 exclusive pairs time: 3, 166 facts and 224 exclusive pairs 536 ops and 7463 exclusive pairs time: 4, 232 facts and 583 exclusive pairs 809 ops and 18700 exclusive pairs time: 5, 305 facts and 909 exclusive pairs 1108 ops and 32956 exclusive pairs time: 6, 368 facts and 924 exclusive pairs 1369 ops and 42798 exclusive pairs time: 7, 421 facts and 718 exclusive pairs 1583 ops and 48254 exclusive pairs time: 8, 462 facts and 502 exclusive pairs 1741 ops and 50345 exclusive pairs time: 9, 484 facts and 184 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... 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... DECISION LAYER 9, WRITING THIN GP-BASED ENCODING WITH 10386 VARS, 162432 CLAUSES. time spent: 0.00 seconds instantiating 11310 action templates 0.01 seconds reachability analysis, yielding 513 facts and 1392 actions 0.00 seconds collecting 505 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.93 seconds CNF output time 0.94 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 10386 pure lits : 476 1-clauses : 57 2-clauses : 160073 3-clauses : 387 n-clauses : 1915 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 573825 conflicts : 72735 time : ~18.4 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 49 facts and 0 exclusive pairs 68 ops and 20 exclusive pairs time: 1, 76 facts and 21 exclusive pairs 163 ops and 466 exclusive pairs time: 2, 116 facts and 88 exclusive pairs 330 ops and 2638 exclusive pairs time: 3, 166 facts and 224 exclusive pairs 536 ops and 7463 exclusive pairs time: 4, 232 facts and 583 exclusive pairs 809 ops and 18700 exclusive pairs time: 5, 305 facts and 909 exclusive pairs 1108 ops and 32956 exclusive pairs time: 6, 368 facts and 924 exclusive pairs 1369 ops and 42798 exclusive pairs time: 7, 421 facts and 718 exclusive pairs 1583 ops and 48254 exclusive pairs time: 8, 462 facts and 502 exclusive pairs 1741 ops and 50345 exclusive pairs time: 9, 484 facts and 184 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... 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... DECISION LAYER 9, WRITING THIN GP-BASED ENCODING WITH 10386 VARS, 162432 CLAUSES. time spent: 0.00 seconds instantiating 11310 action templates 0.01 seconds reachability analysis, yielding 513 facts and 1392 actions 0.00 seconds collecting 505 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.86 seconds CNF output time 0.87 seconds total planner time (solving not included) Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] Pruned: 0: (MOVE R2 V56 V55) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 9 layers Real Time: = 21.5 User Time: = 21.53 Syst Time: = 0.14