---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 66 ops and 18 exclusive pairs time: 1, 73 facts and 18 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 66 ops and 18 exclusive pairs time: 1, 73 facts and 18 exclusive pairs 150 ops and 467 exclusive pairs time: 2, 115 facts and 125 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 66 ops and 18 exclusive pairs time: 1, 73 facts and 18 exclusive pairs 150 ops and 467 exclusive pairs time: 2, 115 facts and 125 exclusive pairs 323 ops and 3475 exclusive pairs time: 3, 157 facts and 228 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 66 ops and 18 exclusive pairs time: 1, 73 facts and 18 exclusive pairs 150 ops and 467 exclusive pairs time: 2, 115 facts and 125 exclusive pairs 323 ops and 3475 exclusive pairs time: 3, 157 facts and 228 exclusive pairs 496 ops and 7463 exclusive pairs time: 4, 202 facts and 326 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 66 ops and 18 exclusive pairs time: 1, 73 facts and 18 exclusive pairs 150 ops and 467 exclusive pairs time: 2, 115 facts and 125 exclusive pairs 323 ops and 3475 exclusive pairs time: 3, 157 facts and 228 exclusive pairs 496 ops and 7463 exclusive pairs time: 4, 202 facts and 326 exclusive pairs 685 ops and 12946 exclusive pairs time: 5, 250 facts and 480 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 66 ops and 18 exclusive pairs time: 1, 73 facts and 18 exclusive pairs 150 ops and 467 exclusive pairs time: 2, 115 facts and 125 exclusive pairs 323 ops and 3475 exclusive pairs time: 3, 157 facts and 228 exclusive pairs 496 ops and 7463 exclusive pairs time: 4, 202 facts and 326 exclusive pairs 685 ops and 12946 exclusive pairs time: 5, 250 facts and 480 exclusive pairs 878 ops and 19838 exclusive pairs time: 6, 292 facts and 491 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 66 ops and 18 exclusive pairs time: 1, 73 facts and 18 exclusive pairs 150 ops and 467 exclusive pairs time: 2, 115 facts and 125 exclusive pairs 323 ops and 3475 exclusive pairs time: 3, 157 facts and 228 exclusive pairs 496 ops and 7463 exclusive pairs time: 4, 202 facts and 326 exclusive pairs 685 ops and 12946 exclusive pairs time: 5, 250 facts and 480 exclusive pairs 878 ops and 19838 exclusive pairs time: 6, 292 facts and 491 exclusive pairs 1050 ops and 25026 exclusive pairs time: 7, 336 facts and 537 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 66 ops and 18 exclusive pairs time: 1, 73 facts and 18 exclusive pairs 150 ops and 467 exclusive pairs time: 2, 115 facts and 125 exclusive pairs 323 ops and 3475 exclusive pairs time: 3, 157 facts and 228 exclusive pairs 496 ops and 7463 exclusive pairs time: 4, 202 facts and 326 exclusive pairs 685 ops and 12946 exclusive pairs time: 5, 250 facts and 480 exclusive pairs 878 ops and 19838 exclusive pairs time: 6, 292 facts and 491 exclusive pairs 1050 ops and 25026 exclusive pairs time: 7, 336 facts and 537 exclusive pairs 1225 ops and 30925 exclusive pairs time: 8, 380 facts and 631 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 6728 VARS, 79897 CLAUSES. time spent: 0.00 seconds instantiating 11008 action templates 0.01 seconds reachability analysis, yielding 456 facts and 1204 actions 0.00 seconds collecting 449 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.41 seconds CNF output time 0.42 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 6728 pure lits : 373 1-clauses : 57 2-clauses : 78363 3-clauses : 273 n-clauses : 1204 discarded : 0 [ solve ] unsatisfiable [ stats ] decisions : 244434 conflicts : 35661 time : ~7.27 ***UNSAT*** 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 66 ops and 18 exclusive pairs time: 1, 73 facts and 18 exclusive pairs 150 ops and 467 exclusive pairs time: 2, 115 facts and 125 exclusive pairs 323 ops and 3475 exclusive pairs time: 3, 157 facts and 228 exclusive pairs 496 ops and 7463 exclusive pairs time: 4, 202 facts and 326 exclusive pairs 685 ops and 12946 exclusive pairs time: 5, 250 facts and 480 exclusive pairs 878 ops and 19838 exclusive pairs time: 6, 292 facts and 491 exclusive pairs 1050 ops and 25026 exclusive pairs time: 7, 336 facts and 537 exclusive pairs 1225 ops and 30925 exclusive pairs time: 8, 380 facts and 631 exclusive pairs 1398 ops and 37055 exclusive pairs time: 9, 417 facts and 477 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 8543 VARS, 111018 CLAUSES. time spent: 0.01 seconds instantiating 11008 action templates 0.00 seconds reachability analysis, yielding 456 facts and 1204 actions 0.00 seconds collecting 449 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.57 seconds CNF output time 0.58 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 8543 pure lits : 410 1-clauses : 57 2-clauses : 109084 3-clauses : 311 n-clauses : 1566 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 389078 conflicts : 32073 time : ~3.94 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 66 ops and 18 exclusive pairs time: 1, 73 facts and 18 exclusive pairs 150 ops and 467 exclusive pairs time: 2, 115 facts and 125 exclusive pairs 323 ops and 3475 exclusive pairs time: 3, 157 facts and 228 exclusive pairs 496 ops and 7463 exclusive pairs time: 4, 202 facts and 326 exclusive pairs 685 ops and 12946 exclusive pairs time: 5, 250 facts and 480 exclusive pairs 878 ops and 19838 exclusive pairs time: 6, 292 facts and 491 exclusive pairs 1050 ops and 25026 exclusive pairs time: 7, 336 facts and 537 exclusive pairs 1225 ops and 30925 exclusive pairs time: 8, 380 facts and 631 exclusive pairs 1398 ops and 37055 exclusive pairs time: 9, 417 facts and 477 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 8543 VARS, 111018 CLAUSES. time spent: 0.00 seconds instantiating 11008 action templates 0.01 seconds reachability analysis, yielding 456 facts and 1204 actions 0.00 seconds collecting 449 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.52 seconds CNF output time 0.53 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] ---SatPlan Version: 1.1 ***SAT!*** Solved in 9 layers Real Time: = 13.19 User Time: = 13.21 Syst Time: = 0.1