planner.py version 0.0.1

Time:	 6.62s
Memory: 376MB

Iteration 1
Queue:		 [(0,0,0,True)]
Grounded Until:	 0
Solving...
Solving Time:	 0.02s
Memory:		 376MB (+0MB)
UNSAT
Iteration Time:	 0.02s

Iteration 2
PLAN NOT FOUND

Models       : 0
Calls        : 1
Time         : 6.637s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 6.650s

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        : 1003715 
Atoms        : 1003715 
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  : 420MB
Max. Length  : 0 steps