planner.py version 0.0.1 Time: 13.06s Memory: 770MB Iteration 1 Queue: [(0,0,0,True)] Grounded Until: 0 Solving... Solving Time: 0.04s Memory: 770MB (+0MB) UNSAT Iteration Time: 0.04s Iteration 2 PLAN NOT FOUND Models : 0 Calls : 1 Time : 13.100s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s) CPU Time : 13.100s 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 : 1897152 Atoms : 1897152 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 : 785MB Max. Length : 0 steps