1
0
tplp-planning-benchmark/pb-e3-t0/ipc-2002_depots-strips-automatic_6.out

48 lines
1.3 KiB
Plaintext

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