---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 30 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, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 30 exclusive pairs 176 ops and 611 exclusive pairs time: 2, 124 facts and 123 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, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 30 exclusive pairs 176 ops and 611 exclusive pairs time: 2, 124 facts and 123 exclusive pairs 370 ops and 3685 exclusive pairs time: 3, 187 facts and 392 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, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 30 exclusive pairs 176 ops and 611 exclusive pairs time: 2, 124 facts and 123 exclusive pairs 370 ops and 3685 exclusive pairs time: 3, 187 facts and 392 exclusive pairs 630 ops and 12070 exclusive pairs time: 4, 270 facts and 984 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, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 30 exclusive pairs 176 ops and 611 exclusive pairs time: 2, 124 facts and 123 exclusive pairs 370 ops and 3685 exclusive pairs time: 3, 187 facts and 392 exclusive pairs 630 ops and 12070 exclusive pairs time: 4, 270 facts and 984 exclusive pairs 974 ops and 30057 exclusive pairs time: 5, 363 facts and 1510 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, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 30 exclusive pairs 176 ops and 611 exclusive pairs time: 2, 124 facts and 123 exclusive pairs 370 ops and 3685 exclusive pairs time: 3, 187 facts and 392 exclusive pairs 630 ops and 12070 exclusive pairs time: 4, 270 facts and 984 exclusive pairs 974 ops and 30057 exclusive pairs time: 5, 363 facts and 1510 exclusive pairs 1354 ops and 52085 exclusive pairs time: 6, 444 facts and 1503 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, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 30 exclusive pairs 176 ops and 611 exclusive pairs time: 2, 124 facts and 123 exclusive pairs 370 ops and 3685 exclusive pairs time: 3, 187 facts and 392 exclusive pairs 630 ops and 12070 exclusive pairs time: 4, 270 facts and 984 exclusive pairs 974 ops and 30057 exclusive pairs time: 5, 363 facts and 1510 exclusive pairs 1354 ops and 52085 exclusive pairs time: 6, 444 facts and 1503 exclusive pairs 1692 ops and 67405 exclusive pairs time: 7, 515 facts and 1239 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, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 30 exclusive pairs 176 ops and 611 exclusive pairs time: 2, 124 facts and 123 exclusive pairs 370 ops and 3685 exclusive pairs time: 3, 187 facts and 392 exclusive pairs 630 ops and 12070 exclusive pairs time: 4, 270 facts and 984 exclusive pairs 974 ops and 30057 exclusive pairs time: 5, 363 facts and 1510 exclusive pairs 1354 ops and 52085 exclusive pairs time: 6, 444 facts and 1503 exclusive pairs 1692 ops and 67405 exclusive pairs time: 7, 515 facts and 1239 exclusive pairs 1974 ops and 76774 exclusive pairs time: 8, 564 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... 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, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 30 exclusive pairs 176 ops and 611 exclusive pairs time: 2, 124 facts and 123 exclusive pairs 370 ops and 3685 exclusive pairs time: 3, 187 facts and 392 exclusive pairs 630 ops and 12070 exclusive pairs time: 4, 270 facts and 984 exclusive pairs 974 ops and 30057 exclusive pairs time: 5, 363 facts and 1510 exclusive pairs 1354 ops and 52085 exclusive pairs time: 6, 444 facts and 1503 exclusive pairs 1692 ops and 67405 exclusive pairs time: 7, 515 facts and 1239 exclusive pairs 1974 ops and 76774 exclusive pairs time: 8, 564 facts and 759 exclusive pairs 2167 ops and 78335 exclusive pairs time: 9, 592 facts and 272 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 12589 VARS, 245487 CLAUSES. time spent: 0.00 seconds instantiating 11658 action templates 0.01 seconds reachability analysis, yielding 627 facts and 1740 actions 0.00 seconds collecting 617 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 1.68 seconds CNF output time 1.69 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 12589 pure lits : 582 1-clauses : 57 2-clauses : 242669 3-clauses : 489 n-clauses : 2272 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 663385 conflicts : 96961 time : ~28.69 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 30 exclusive pairs 176 ops and 611 exclusive pairs time: 2, 124 facts and 123 exclusive pairs 370 ops and 3685 exclusive pairs time: 3, 187 facts and 392 exclusive pairs 630 ops and 12070 exclusive pairs time: 4, 270 facts and 984 exclusive pairs 974 ops and 30057 exclusive pairs time: 5, 363 facts and 1510 exclusive pairs 1354 ops and 52085 exclusive pairs time: 6, 444 facts and 1503 exclusive pairs 1692 ops and 67405 exclusive pairs time: 7, 515 facts and 1239 exclusive pairs 1974 ops and 76774 exclusive pairs time: 8, 564 facts and 759 exclusive pairs 2167 ops and 78335 exclusive pairs time: 9, 592 facts and 272 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 12589 VARS, 245487 CLAUSES. time spent: 0.00 seconds instantiating 11658 action templates 0.01 seconds reachability analysis, yielding 627 facts and 1740 actions 0.00 seconds collecting 617 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 1.58 seconds CNF output time 1.59 seconds total planner time (solving not included) Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] Pruned: 0: (MOVE R4 V56 V55) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 9 layers Real Time: = 33.32 User Time: = 33.28 Syst Time: = 0.16