1
0
tplp-planning-benchmark/pb-e3-t0/ipc-1998_logistics-round-1-strips_33.out

48 lines
1.3 KiB
Plaintext
Raw Normal View History

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