tplp-planning-benchmark/pb-e3-t0/ipc-2002_driverlog-strips-automatic_17.out

48 lines
1.3 KiB
Plaintext

planner.py version 0.0.1
Time: 0.42s
Memory: 95MB
Iteration 1
Queue: [(0,0,0,True)]
Grounded Until: 0
Solving...
Solving Time: 0.01s
Memory: 95MB (+0MB)
UNSAT
Iteration Time: 0.01s
Iteration 2
PLAN NOT FOUND
Models : 0
Calls : 1
Time : 0.432s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time : 0.440s
Choices : 0
Conflicts : 1 (Analyzed: 0)
Restarts : 0
Problems : 0 (Average Length: 0.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 : 304916
Atoms : 0
Bodies : 2
Tight : Yes
Variables : 0 (Eliminated: 0 Frozen: 0)
Constraints : 0 (Binary: 0.0% Ternary: 0.0% Other: 0.0%)
Memory Peak : 96MB
Max. Length : 0 steps