Remove results with errors
Due to minor bugs in the planner, three configurations had errors. This removes the affected results in order to rerun them with the fixed planner. As the bugfixes address these configurations only, the other results are unspoiled by this change.
This commit is contained in:
@@ -1,70 +0,0 @@
|
||||
INFO Running translator.
|
||||
INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/driverlog-strips-automatic/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/driverlog-strips-automatic/instances/instance-18.pddl']
|
||||
INFO translator arguments: []
|
||||
INFO translator time limit: None
|
||||
INFO translator memory limit: None
|
||||
INFO callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/driverlog-strips-automatic/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/driverlog-strips-automatic/instances/instance-18.pddl
|
||||
Parsing...
|
||||
Parsing: [0.030s CPU, 0.035s wall-clock]
|
||||
Normalizing task... [0.010s CPU, 0.002s wall-clock]
|
||||
Instantiating...
|
||||
Generating Datalog program... [0.010s CPU, 0.014s wall-clock]
|
||||
Normalizing Datalog program...
|
||||
Normalizing Datalog program: [0.020s CPU, 0.016s wall-clock]
|
||||
Preparing model... [0.030s CPU, 0.036s wall-clock]
|
||||
Generated 35 rules.
|
||||
Computing model... [0.990s CPU, 0.983s wall-clock]
|
||||
10402 relevant atoms
|
||||
3678 auxiliary atoms
|
||||
14080 final queue length
|
||||
22680 total queue pushes
|
||||
Completing instantiation... [1.820s CPU, 1.817s wall-clock]
|
||||
Instantiating: [2.880s CPU, 2.879s wall-clock]
|
||||
Computing fact groups...
|
||||
Finding invariants...
|
||||
11 initial candidates
|
||||
Finding invariants: [0.040s CPU, 0.037s wall-clock]
|
||||
Checking invariant weight... [0.000s CPU, 0.004s wall-clock]
|
||||
Instantiating groups... [0.100s CPU, 0.102s wall-clock]
|
||||
Collecting mutex groups... [0.000s CPU, 0.006s wall-clock]
|
||||
Choosing groups...
|
||||
5 uncovered facts
|
||||
Choosing groups: [0.020s CPU, 0.018s wall-clock]
|
||||
Building translation key... [0.010s CPU, 0.011s wall-clock]
|
||||
Computing fact groups: [0.230s CPU, 0.227s wall-clock]
|
||||
Building STRIPS to SAS dictionary... [0.000s CPU, 0.005s wall-clock]
|
||||
Building dictionary for full mutex groups... [0.010s CPU, 0.004s wall-clock]
|
||||
Building mutex information...
|
||||
Building mutex information: [0.000s CPU, 0.006s wall-clock]
|
||||
Translating task...
|
||||
Processing axioms...
|
||||
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
|
||||
Processing axioms: [0.100s CPU, 0.101s wall-clock]
|
||||
Translating task: [2.020s CPU, 2.015s wall-clock]
|
||||
500 effect conditions simplified
|
||||
0 implied preconditions added
|
||||
Detecting unreachable propositions...
|
||||
0 operators removed
|
||||
0 axioms removed
|
||||
30 propositions removed
|
||||
Detecting unreachable propositions: [1.010s CPU, 1.013s wall-clock]
|
||||
Reordering and filtering variables...
|
||||
32 of 35 variables necessary.
|
||||
5 of 35 mutex groups necessary.
|
||||
8360 of 8960 operators necessary.
|
||||
0 of 0 axiom rules necessary.
|
||||
Reordering and filtering variables: [0.250s CPU, 0.252s wall-clock]
|
||||
Translator variables: 32
|
||||
Translator derived variables: 0
|
||||
Translator facts: 825
|
||||
Translator goal facts: 23
|
||||
Translator mutex groups: 5
|
||||
Translator total mutex groups size: 30
|
||||
Translator operators: 8360
|
||||
Translator axioms: 0
|
||||
Translator task size: 35190
|
||||
Translator peak memory: 62668 KB
|
||||
Writing output... [0.720s CPU, 0.774s wall-clock]
|
||||
Done! [7.240s CPU, 7.296s wall-clock]
|
||||
planner.py version 0.0.1
|
||||
|
||||
Reference in New Issue
Block a user