planner.py version 0.0.1

Time:	 57.45s
Memory: 4372MB

Iteration 1
Queue:		 [(0,0,0,True)]
Grounded Until:	 0
Solving...
Solving Time:	 1.01s
Memory:		 4186MB (+-186MB)
UNSAT
Iteration Time:	 1.01s

Iteration 2
PLAN NOT FOUND

Models       : 0
Calls        : 1
Time         : 58.432s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 58.450s

Choices      : 0       
Conflicts    : 0        (Analyzed: 0)
Restarts     : 0       
Problems     : 1        (Average Length: 2.00 Splits: 0)
Lemmas       : 0        (Deleted: 0)
  Binary     : 0        (Ratio:   0.00%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 0        (Average:  0.00 Max:   0 Sum:      0)
  Executed   : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio:   0.00%)
  Bounded    : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio: 100.00%)

Rules        : 12050916
Atoms        : 12050916
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 0        (Eliminated:    0 Frozen:    0)
Constraints  : 0        (Binary:   0.0% Ternary:   0.0% Other:   0.0%)

Memory Peak  : 4468MB
Max. Length  : 0 steps