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