---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
58 ops and 8 exclusive pairs
time: 1, 61 facts and 8 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
58 ops and 8 exclusive pairs
time: 1, 61 facts and 8 exclusive pairs
96 ops and 181 exclusive pairs
time: 2, 76 facts and 31 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
58 ops and 8 exclusive pairs
time: 1, 61 facts and 8 exclusive pairs
96 ops and 181 exclusive pairs
time: 2, 76 facts and 31 exclusive pairs
160 ops and 864 exclusive pairs
time: 3, 96 facts and 46 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
58 ops and 8 exclusive pairs
time: 1, 61 facts and 8 exclusive pairs
96 ops and 181 exclusive pairs
time: 2, 76 facts and 31 exclusive pairs
160 ops and 864 exclusive pairs
time: 3, 96 facts and 46 exclusive pairs
240 ops and 1709 exclusive pairs
time: 4, 115 facts and 46 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
58 ops and 8 exclusive pairs
time: 1, 61 facts and 8 exclusive pairs
96 ops and 181 exclusive pairs
time: 2, 76 facts and 31 exclusive pairs
160 ops and 864 exclusive pairs
time: 3, 96 facts and 46 exclusive pairs
240 ops and 1709 exclusive pairs
time: 4, 115 facts and 46 exclusive pairs
323 ops and 2548 exclusive pairs
time: 5, 138 facts and 44 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
58 ops and 8 exclusive pairs
time: 1, 61 facts and 8 exclusive pairs
96 ops and 181 exclusive pairs
time: 2, 76 facts and 31 exclusive pairs
160 ops and 864 exclusive pairs
time: 3, 96 facts and 46 exclusive pairs
240 ops and 1709 exclusive pairs
time: 4, 115 facts and 46 exclusive pairs
323 ops and 2548 exclusive pairs
time: 5, 138 facts and 44 exclusive pairs
408 ops and 3244 exclusive pairs
time: 6, 157 facts and 39 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
58 ops and 8 exclusive pairs
time: 1, 61 facts and 8 exclusive pairs
96 ops and 181 exclusive pairs
time: 2, 76 facts and 31 exclusive pairs
160 ops and 864 exclusive pairs
time: 3, 96 facts and 46 exclusive pairs
240 ops and 1709 exclusive pairs
time: 4, 115 facts and 46 exclusive pairs
323 ops and 2548 exclusive pairs
time: 5, 138 facts and 44 exclusive pairs
408 ops and 3244 exclusive pairs
time: 6, 157 facts and 39 exclusive pairs
476 ops and 3800 exclusive pairs
time: 7, 170 facts and 23 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
58 ops and 8 exclusive pairs
time: 1, 61 facts and 8 exclusive pairs
96 ops and 181 exclusive pairs
time: 2, 76 facts and 31 exclusive pairs
160 ops and 864 exclusive pairs
time: 3, 96 facts and 46 exclusive pairs
240 ops and 1709 exclusive pairs
time: 4, 115 facts and 46 exclusive pairs
323 ops and 2548 exclusive pairs
time: 5, 138 facts and 44 exclusive pairs
408 ops and 3244 exclusive pairs
time: 6, 157 facts and 39 exclusive pairs
476 ops and 3800 exclusive pairs
time: 7, 170 facts and 23 exclusive pairs
527 ops and 4247 exclusive pairs
time: 8, 183 facts and 20 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 3334 VARS, 19294 CLAUSES.
time spent: 0.00 seconds instantiating 8624 action templates
0.00 seconds reachability analysis, yielding 212 facts and 462 actions
0.00 seconds collecting 209 relevant facts
0.00 seconds building connectivity graph
0.00 seconds building (std) graph
0.05 seconds CNF output time
0.05 seconds total planner time (solving not included)
***Solving***
[ filemap ]
[ extract ]
variables : 3334
pure lits : 180
1-clauses : 53
2-clauses : 18501
3-clauses : 134
n-clauses : 606
discarded : 0
[ solve ]
satisfiable
[ stats ]
decisions : 63741
conflicts : 3547
time : ~0.14
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
58 ops and 8 exclusive pairs
time: 1, 61 facts and 8 exclusive pairs
96 ops and 181 exclusive pairs
time: 2, 76 facts and 31 exclusive pairs
160 ops and 864 exclusive pairs
time: 3, 96 facts and 46 exclusive pairs
240 ops and 1709 exclusive pairs
time: 4, 115 facts and 46 exclusive pairs
323 ops and 2548 exclusive pairs
time: 5, 138 facts and 44 exclusive pairs
408 ops and 3244 exclusive pairs
time: 6, 157 facts and 39 exclusive pairs
476 ops and 3800 exclusive pairs
time: 7, 170 facts and 23 exclusive pairs
527 ops and 4247 exclusive pairs
time: 8, 183 facts and 20 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 3334 VARS, 19294 CLAUSES.
time spent: 0.00 seconds instantiating 8624 action templates
0.01 seconds reachability analysis, yielding 212 facts and 462 actions
0.00 seconds collecting 209 relevant facts
0.00 seconds building connectivity graph
0.00 seconds building (std) graph
0.04 seconds CNF output time
0.05 seconds total planner time (solving not included)
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
Pruned: 0: (MOVE R3 V52 V51) [1]
---SatPlan Version: 1.1
***SAT!***
Solved in 8 layers
Real Time: = 0.35
User Time: = 0.35
Syst Time: = 0.03