diff --git a/fd-pb-e2/ipc-1998_grid-round-2-strips_2.env b/fd-pb-e2/ipc-1998_grid-round-2-strips_2.env deleted file mode 100644 index 461aafc10..000000000 --- a/fd-pb-e2/ipc-1998_grid-round-2-strips_2.env +++ /dev/null @@ -1,40 +0,0 @@ -command: -- timeout -- -m=9216000 -- -t=900 -- python3 -- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py -- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/grid-round-2-strips/domain.pddl -- /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/grid-round-2-strips/instances/instance-2.pddl -- --stats -- --verbose -- --print-call -- -m 8192 -- --translate -- -B 0.9 -- --parallel=2 -configuration: - id: fd-pb-e2 - instanceSets: - - lpnmr-hard-instances - options: - - --stats - - --verbose - - --print-call - - -m 8192 - - --translate - - -B 0.9 - - --parallel=2 -exitCode: 1 -instance: - domain: grid-round-2-strips - instance: 2 - ipc: ipc-1998 -versions: - clingo: 5.2.2 - fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100) - planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100) - plasp: 3.1.1 - python: 3.6.3 -workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner - diff --git a/fd-pb-e2/ipc-1998_grid-round-2-strips_2.err b/fd-pb-e2/ipc-1998_grid-round-2-strips_2.err deleted file mode 100644 index df0c5bd23..000000000 --- a/fd-pb-e2/ipc-1998_grid-round-2-strips_2.err +++ /dev/null @@ -1,26 +0,0 @@ -# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']} -# instance: {'ipc': 'ipc-1998', 'domain': 'grid-round-2-strips', 'instance': 2} -# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/grid-round-2-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/grid-round-2-strips/instances/instance-2.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'] -# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner -# exit code: 1 -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head: - requires(feature(actionCosts)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head: - requires(feature(axiomRules)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head: - requires(feature(conditionalEffects)) - -Traceback (most recent call last): - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in - Planner().run(options, clingo_options) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run - length = scheduler.next(result) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next - first = self.__next_runs[0] -IndexError: list index out of range -# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/grid-round-2-strips/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/grid-round-2-strips/instances/instance-2.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2 -FINISHED CPU 245.50 MEM 0 MAXMEM 5683864 STALE 1 MAXMEM_RSS 5404696 - - diff --git a/fd-pb-e2/ipc-1998_grid-round-2-strips_2.out b/fd-pb-e2/ipc-1998_grid-round-2-strips_2.out deleted file mode 100644 index 38a3f1e22..000000000 --- a/fd-pb-e2/ipc-1998_grid-round-2-strips_2.out +++ /dev/null @@ -1,144 +0,0 @@ -INFO Running translator. -INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/grid-round-2-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/grid-round-2-strips/instances/instance-2.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-1998/domains/grid-round-2-strips/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/grid-round-2-strips/instances/instance-2.pddl -Parsing... -Parsing: [0.030s CPU, 0.028s wall-clock] -Normalizing task... [0.000s CPU, 0.001s wall-clock] -Instantiating... -Generating Datalog program... [0.010s CPU, 0.007s wall-clock] -Normalizing Datalog program... -Normalizing Datalog program: [0.020s CPU, 0.023s wall-clock] -Preparing model... [0.020s CPU, 0.023s wall-clock] -Generated 46 rules. -Computing model... [0.570s CPU, 0.564s wall-clock] -5240 relevant atoms -2298 auxiliary atoms -7538 final queue length -15595 total queue pushes -Completing instantiation... [1.520s CPU, 1.517s wall-clock] -Instantiating: [2.140s CPU, 2.143s wall-clock] -Computing fact groups... -Finding invariants... -12 initial candidates -Finding invariants: [0.020s CPU, 0.018s wall-clock] -Checking invariant weight... [0.000s CPU, 0.004s wall-clock] -Instantiating groups... [0.020s CPU, 0.010s wall-clock] -Collecting mutex groups... [0.000s CPU, 0.003s wall-clock] -Choosing groups... -1 uncovered facts -Choosing groups: [0.010s CPU, 0.009s wall-clock] -Building translation key... [0.000s CPU, 0.006s wall-clock] -Computing fact groups: [0.070s CPU, 0.070s wall-clock] -Building STRIPS to SAS dictionary... [0.010s CPU, 0.002s wall-clock] -Building dictionary for full mutex groups... [0.000s CPU, 0.003s wall-clock] -Building mutex information... -Building mutex information: [0.000s CPU, 0.003s wall-clock] -Translating task... -Processing axioms... -Simplifying axioms... [0.000s CPU, 0.000s wall-clock] -Processing axioms: [0.070s CPU, 0.072s wall-clock] -Translating task: [1.310s CPU, 1.310s wall-clock] -360 effect conditions simplified -0 implied preconditions added -Detecting unreachable propositions... -0 operators removed -0 axioms removed -103 propositions removed -Detecting unreachable propositions: [0.600s CPU, 0.599s wall-clock] -Reordering and filtering variables... -20 of 20 variables necessary. -1 of 20 mutex groups necessary. -4140 of 4140 operators necessary. -0 of 0 axiom rules necessary. -Reordering and filtering variables: [0.190s CPU, 0.194s wall-clock] -Translator variables: 20 -Translator derived variables: 0 -Translator facts: 424 -Translator goal facts: 3 -Translator mutex groups: 1 -Translator total mutex groups size: 11 -Translator operators: 4140 -Translator axioms: 0 -Translator task size: 24548 -Translator peak memory: 52428 KB -Writing output... [0.420s CPU, 0.458s wall-clock] -Done! [4.830s CPU, 4.869s wall-clock] -planner.py version 0.0.1 - -Time: 23.33s -Memory: 1248MB - -Iteration 1 -Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Solving... -Solving Time: 0.11s -Memory: 1248MB (+0MB) -UNSAT -Iteration Time: 0.11s - -Iteration 2 -Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 1248MB -Grounding... [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('check', [5])] -Grounding Time: 29.32s -Memory: 3776MB (+2528MB) -Unblocking actions... -Solving... -Solving Time: 3.57s -Memory: 3981MB (+205MB) -UNSAT -Iteration Time: 75.88s - -Iteration 3 -Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 5 -Expected Memory: 6714.0MB -Grounding... [('step', [6]), ('step', [7]), ('step', [8]), ('step', [9]), ('step', [10]), ('check', [10])] -Grounding Time: 33.92s -Memory: 5215MB (+1234MB) -Unblocking actions... -Solving... -Solving Time: 13.02s -Memory: 5410MB (+195MB) -UNSAT -Iteration Time: 131.14s - -Iteration 4 -Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 10 -Expected Memory: 8143.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 5 -Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 10 -Expected Memory: 10876.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 6 -Queue: [(5,25,0,True), (6,30,0,True)] -Grounded Until: 10 -Expected Memory: 13609.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 7 -Queue: [(6,30,0,True)] -Grounded Until: 10 -Expected Memory: 16342.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 8 - diff --git a/fd-pb-e2/ipc-1998_logistics-round-1-strips_21.env b/fd-pb-e2/ipc-1998_logistics-round-1-strips_21.env deleted file mode 100644 index 61eb115cf..000000000 --- a/fd-pb-e2/ipc-1998_logistics-round-1-strips_21.env +++ /dev/null @@ -1,40 +0,0 @@ -command: -- timeout -- -m=9216000 -- -t=900 -- python3 -- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py -- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/logistics-round-1-strips/domain.pddl -- /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/logistics-round-1-strips/instances/instance-21.pddl -- --stats -- --verbose -- --print-call -- -m 8192 -- --translate -- -B 0.9 -- --parallel=2 -configuration: - id: fd-pb-e2 - instanceSets: - - lpnmr-hard-instances - options: - - --stats - - --verbose - - --print-call - - -m 8192 - - --translate - - -B 0.9 - - --parallel=2 -exitCode: 1 -instance: - domain: logistics-round-1-strips - instance: 21 - ipc: ipc-1998 -versions: - clingo: 5.2.2 - fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100) - planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100) - plasp: 3.1.1 - python: 3.6.3 -workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner - diff --git a/fd-pb-e2/ipc-1998_logistics-round-1-strips_21.err b/fd-pb-e2/ipc-1998_logistics-round-1-strips_21.err deleted file mode 100644 index ac472ebf1..000000000 --- a/fd-pb-e2/ipc-1998_logistics-round-1-strips_21.err +++ /dev/null @@ -1,41 +0,0 @@ -# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']} -# instance: {'ipc': 'ipc-1998', 'domain': 'logistics-round-1-strips', 'instance': 21} -# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/logistics-round-1-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/logistics-round-1-strips/instances/instance-21.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'] -# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner -# exit code: 1 -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head: - requires(feature(actionCosts)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head: - requires(feature(axiomRules)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head: - requires(feature(conditionalEffects)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:15-28: info: atom does not occur in any rule head: - mutexGroup(G) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:30-45: info: atom does not occur in any rule head: - contains(G,X,V) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:67:15-28: info: atom does not occur in any rule head: - mutexGroup(G) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:74:41-56: info: atom does not occur in any rule head: - contains(G,X,V) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:84:41-56: info: atom does not occur in any rule head: - contains(G,X,V) - -Traceback (most recent call last): - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in - Planner().run(options, clingo_options) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run - length = scheduler.next(result) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next - first = self.__next_runs[0] -IndexError: list index out of range -# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/logistics-round-1-strips/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/logistics-round-1-strips/instances/instance-21.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2 -FINISHED CPU 130.97 MEM 33472 MAXMEM 6198964 STALE 1 MAXMEM_RSS 5807084 - - diff --git a/fd-pb-e2/ipc-1998_logistics-round-1-strips_21.out b/fd-pb-e2/ipc-1998_logistics-round-1-strips_21.out deleted file mode 100644 index 73443e945..000000000 --- a/fd-pb-e2/ipc-1998_logistics-round-1-strips_21.out +++ /dev/null @@ -1,138 +0,0 @@ -INFO Running translator. -INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/logistics-round-1-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/logistics-round-1-strips/instances/instance-21.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-1998/domains/logistics-round-1-strips/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/logistics-round-1-strips/instances/instance-21.pddl -Parsing... -Parsing: [0.040s CPU, 0.038s wall-clock] -Normalizing task... [0.000s CPU, 0.002s wall-clock] -Instantiating... -Generating Datalog program... [0.010s CPU, 0.016s wall-clock] -Normalizing Datalog program... -Normalizing Datalog program: [0.030s CPU, 0.023s wall-clock] -Preparing model... [0.040s CPU, 0.047s wall-clock] -Generated 51 rules. -Computing model... [2.410s CPU, 2.401s wall-clock] -20976 relevant atoms -10799 auxiliary atoms -31775 final queue length -47040 total queue pushes -Completing instantiation... [4.580s CPU, 4.583s wall-clock] -Instantiating: [7.100s CPU, 7.102s wall-clock] -Computing fact groups... -Finding invariants... -6 initial candidates -Finding invariants: [0.040s CPU, 0.046s wall-clock] -Checking invariant weight... [0.010s CPU, 0.005s wall-clock] -Instantiating groups... [0.330s CPU, 0.334s wall-clock] -Collecting mutex groups... [0.020s CPU, 0.016s wall-clock] -Choosing groups... -0 uncovered facts -Choosing groups: [0.040s CPU, 0.044s wall-clock] -Building translation key... [0.030s CPU, 0.029s wall-clock] -Computing fact groups: [0.630s CPU, 0.630s wall-clock] -Building STRIPS to SAS dictionary... [0.010s CPU, 0.014s wall-clock] -Building dictionary for full mutex groups... [0.020s CPU, 0.014s wall-clock] -Building mutex information... -Building mutex information: [0.010s CPU, 0.016s wall-clock] -Translating task... -Processing axioms... -Simplifying axioms... [0.000s CPU, 0.000s wall-clock] -Processing axioms: [0.190s CPU, 0.181s wall-clock] -Translating task: [3.700s CPU, 3.693s wall-clock] -0 effect conditions simplified -0 implied preconditions added -Detecting unreachable propositions... -0 operators removed -0 axioms removed -64 propositions removed -Detecting unreachable propositions: [2.050s CPU, 2.047s wall-clock] -Reordering and filtering variables... -64 of 64 variables necessary. -0 of 64 mutex groups necessary. -17170 of 17170 operators necessary. -0 of 0 axiom rules necessary. -Reordering and filtering variables: [0.430s CPU, 0.435s wall-clock] -Translator variables: 64 -Translator derived variables: 0 -Translator facts: 2511 -Translator goal facts: 11 -Translator mutex groups: 0 -Translator total mutex groups size: 0 -Translator operators: 17170 -Translator axioms: 0 -Translator task size: 66020 -Translator peak memory: 85716 KB -Writing output... [1.360s CPU, 1.504s wall-clock] -Done! [15.520s CPU, 15.657s wall-clock] -planner.py version 0.0.1 - -Time: 73.15s -Memory: 3718MB - -Iteration 1 -Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Solving... -Solving Time: 0.30s -Memory: 3718MB (+0MB) -UNSAT -Iteration Time: 0.30s - -Iteration 2 -Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 3718MB -Grounding... [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('check', [5])] -Grounding Time: 21.70s -Memory: 5709MB (+1991MB) -Unblocking actions... -Solving... -Solving Time: 1.82s -Memory: 6016MB (+307MB) -UNSAT -Iteration Time: 30.63s - -Iteration 3 -Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 5 -Expected Memory: 8314.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 4 -Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 5 -Expected Memory: 10612.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 5 -Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 5 -Expected Memory: 12910.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 6 -Queue: [(5,25,0,True), (6,30,0,True)] -Grounded Until: 5 -Expected Memory: 15208.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 7 -Queue: [(6,30,0,True)] -Grounded Until: 5 -Expected Memory: 17506.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 8 - diff --git a/fd-pb-e2/ipc-1998_mystery-round-1-strips_15.env b/fd-pb-e2/ipc-1998_mystery-round-1-strips_15.env deleted file mode 100644 index 50111f533..000000000 --- a/fd-pb-e2/ipc-1998_mystery-round-1-strips_15.env +++ /dev/null @@ -1,40 +0,0 @@ -command: -- timeout -- -m=9216000 -- -t=900 -- python3 -- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py -- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl -- /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-15.pddl -- --stats -- --verbose -- --print-call -- -m 8192 -- --translate -- -B 0.9 -- --parallel=2 -configuration: - id: fd-pb-e2 - instanceSets: - - lpnmr-hard-instances - options: - - --stats - - --verbose - - --print-call - - -m 8192 - - --translate - - -B 0.9 - - --parallel=2 -exitCode: 1 -instance: - domain: mystery-round-1-strips - instance: 15 - ipc: ipc-1998 -versions: - clingo: 5.2.2 - fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100) - planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100) - plasp: 3.1.1 - python: 3.6.3 -workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner - diff --git a/fd-pb-e2/ipc-1998_mystery-round-1-strips_15.err b/fd-pb-e2/ipc-1998_mystery-round-1-strips_15.err deleted file mode 100644 index ca26b7310..000000000 --- a/fd-pb-e2/ipc-1998_mystery-round-1-strips_15.err +++ /dev/null @@ -1,41 +0,0 @@ -# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']} -# instance: {'ipc': 'ipc-1998', 'domain': 'mystery-round-1-strips', 'instance': 15} -# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-15.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'] -# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner -# exit code: 1 -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head: - requires(feature(actionCosts)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head: - requires(feature(axiomRules)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head: - requires(feature(conditionalEffects)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:15-28: info: atom does not occur in any rule head: - mutexGroup(G) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:30-45: info: atom does not occur in any rule head: - contains(G,X,V) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:67:15-28: info: atom does not occur in any rule head: - mutexGroup(G) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:74:41-56: info: atom does not occur in any rule head: - contains(G,X,V) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:84:41-56: info: atom does not occur in any rule head: - contains(G,X,V) - -Traceback (most recent call last): - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in - Planner().run(options, clingo_options) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run - length = scheduler.next(result) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next - first = self.__next_runs[0] -IndexError: list index out of range -# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-15.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2 -FINISHED CPU 224.42 MEM 33472 MAXMEM 8486536 STALE 1 MAXMEM_RSS 8114084 - - diff --git a/fd-pb-e2/ipc-1998_mystery-round-1-strips_15.out b/fd-pb-e2/ipc-1998_mystery-round-1-strips_15.out deleted file mode 100644 index 234171544..000000000 --- a/fd-pb-e2/ipc-1998_mystery-round-1-strips_15.out +++ /dev/null @@ -1,132 +0,0 @@ -INFO Running translator. -INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-15.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-1998/domains/mystery-round-1-strips/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-15.pddl -Parsing... -Parsing: [0.020s CPU, 0.025s wall-clock] -Normalizing task... [0.000s CPU, 0.001s wall-clock] -Instantiating... -Generating Datalog program... [0.010s CPU, 0.007s wall-clock] -Normalizing Datalog program... -Normalizing Datalog program: [0.040s CPU, 0.043s wall-clock] -Preparing model... [0.040s CPU, 0.034s wall-clock] -Generated 42 rules. -Computing model... [1.960s CPU, 1.966s wall-clock] -17570 relevant atoms -6412 auxiliary atoms -23982 final queue length -56683 total queue pushes -Completing instantiation... [6.980s CPU, 6.986s wall-clock] -Instantiating: [9.060s CPU, 9.061s wall-clock] -Computing fact groups... -Finding invariants... -12 initial candidates -Finding invariants: [0.120s CPU, 0.124s wall-clock] -Checking invariant weight... [0.000s CPU, 0.003s wall-clock] -Instantiating groups... [0.060s CPU, 0.060s wall-clock] -Collecting mutex groups... [0.010s CPU, 0.004s wall-clock] -Choosing groups... -0 uncovered facts -Choosing groups: [0.010s CPU, 0.013s wall-clock] -Building translation key... [0.000s CPU, 0.008s wall-clock] -Computing fact groups: [0.240s CPU, 0.246s wall-clock] -Building STRIPS to SAS dictionary... [0.010s CPU, 0.003s wall-clock] -Building dictionary for full mutex groups... [0.000s CPU, 0.003s wall-clock] -Building mutex information... -Building mutex information: [0.010s CPU, 0.005s wall-clock] -Translating task... -Processing axioms... -Simplifying axioms... [0.000s CPU, 0.000s wall-clock] -Processing axioms: [0.270s CPU, 0.271s wall-clock] -Translating task: [5.310s CPU, 5.309s wall-clock] -0 effect conditions simplified -0 implied preconditions added -Detecting unreachable propositions... -0 operators removed -0 axioms removed -52 propositions removed -Detecting unreachable propositions: [2.660s CPU, 2.657s wall-clock] -Reordering and filtering variables... -52 of 52 variables necessary. -0 of 52 mutex groups necessary. -16665 of 16665 operators necessary. -0 of 0 axiom rules necessary. -Reordering and filtering variables: [0.770s CPU, 0.773s wall-clock] -Translator variables: 52 -Translator derived variables: 0 -Translator facts: 681 -Translator goal facts: 1 -Translator mutex groups: 0 -Translator total mutex groups size: 0 -Translator operators: 16665 -Translator axioms: 0 -Translator task size: 98645 -Translator peak memory: 101500 KB -Writing output... [1.730s CPU, 1.881s wall-clock] -Done! [20.040s CPU, 20.193s wall-clock] -planner.py version 0.0.1 - -Time: 184.23s -Memory: 8250MB - -Iteration 1 -Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Solving... -Solving Time: 0.71s -Memory: 8250MB (+0MB) -UNSAT -Iteration Time: 0.71s - -Iteration 2 -Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8250MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 3 -Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8250MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 4 -Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8250MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 5 -Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8250MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 6 -Queue: [(5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8250MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 7 -Queue: [(6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8250MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 8 - diff --git a/fd-pb-e2/ipc-1998_mystery-round-1-strips_17.env b/fd-pb-e2/ipc-1998_mystery-round-1-strips_17.env deleted file mode 100644 index 995560c83..000000000 --- a/fd-pb-e2/ipc-1998_mystery-round-1-strips_17.env +++ /dev/null @@ -1,40 +0,0 @@ -command: -- timeout -- -m=9216000 -- -t=900 -- python3 -- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py -- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl -- /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-17.pddl -- --stats -- --verbose -- --print-call -- -m 8192 -- --translate -- -B 0.9 -- --parallel=2 -configuration: - id: fd-pb-e2 - instanceSets: - - lpnmr-hard-instances - options: - - --stats - - --verbose - - --print-call - - -m 8192 - - --translate - - -B 0.9 - - --parallel=2 -exitCode: 1 -instance: - domain: mystery-round-1-strips - instance: 17 - ipc: ipc-1998 -versions: - clingo: 5.2.2 - fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100) - planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100) - plasp: 3.1.1 - python: 3.6.3 -workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner - diff --git a/fd-pb-e2/ipc-1998_mystery-round-1-strips_17.err b/fd-pb-e2/ipc-1998_mystery-round-1-strips_17.err deleted file mode 100644 index 875c87f96..000000000 --- a/fd-pb-e2/ipc-1998_mystery-round-1-strips_17.err +++ /dev/null @@ -1,41 +0,0 @@ -# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']} -# instance: {'ipc': 'ipc-1998', 'domain': 'mystery-round-1-strips', 'instance': 17} -# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-17.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'] -# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner -# exit code: 1 -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head: - requires(feature(actionCosts)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head: - requires(feature(axiomRules)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head: - requires(feature(conditionalEffects)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:15-28: info: atom does not occur in any rule head: - mutexGroup(G) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:30-45: info: atom does not occur in any rule head: - contains(G,X,V) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:67:15-28: info: atom does not occur in any rule head: - mutexGroup(G) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:74:41-56: info: atom does not occur in any rule head: - contains(G,X,V) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:84:41-56: info: atom does not occur in any rule head: - contains(G,X,V) - -Traceback (most recent call last): - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in - Planner().run(options, clingo_options) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run - length = scheduler.next(result) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next - first = self.__next_runs[0] -IndexError: list index out of range -# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-17.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2 -FINISHED CPU 249.19 MEM 33472 MAXMEM 9188932 STALE 1 MAXMEM_RSS 8862700 - - diff --git a/fd-pb-e2/ipc-1998_mystery-round-1-strips_17.out b/fd-pb-e2/ipc-1998_mystery-round-1-strips_17.out deleted file mode 100644 index 675800c70..000000000 --- a/fd-pb-e2/ipc-1998_mystery-round-1-strips_17.out +++ /dev/null @@ -1,132 +0,0 @@ -INFO Running translator. -INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-17.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-1998/domains/mystery-round-1-strips/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-17.pddl -Parsing... -Parsing: [0.030s CPU, 0.035s wall-clock] -Normalizing task... [0.000s CPU, 0.002s wall-clock] -Instantiating... -Generating Datalog program... [0.010s CPU, 0.010s wall-clock] -Normalizing Datalog program... -Normalizing Datalog program: [0.040s CPU, 0.037s wall-clock] -Preparing model... [0.030s CPU, 0.028s wall-clock] -Generated 42 rules. -Computing model... [1.930s CPU, 1.934s wall-clock] -17564 relevant atoms -6015 auxiliary atoms -23579 final queue length -56133 total queue pushes -Completing instantiation... [6.970s CPU, 6.970s wall-clock] -Instantiating: [9.000s CPU, 9.002s wall-clock] -Computing fact groups... -Finding invariants... -12 initial candidates -Finding invariants: [0.120s CPU, 0.123s wall-clock] -Checking invariant weight... [0.010s CPU, 0.003s wall-clock] -Instantiating groups... [0.060s CPU, 0.059s wall-clock] -Collecting mutex groups... [0.010s CPU, 0.005s wall-clock] -Choosing groups... -2 uncovered facts -Choosing groups: [0.020s CPU, 0.018s wall-clock] -Building translation key... [0.000s CPU, 0.009s wall-clock] -Computing fact groups: [0.250s CPU, 0.253s wall-clock] -Building STRIPS to SAS dictionary... [0.010s CPU, 0.004s wall-clock] -Building dictionary for full mutex groups... [0.000s CPU, 0.003s wall-clock] -Building mutex information... -Building mutex information: [0.010s CPU, 0.005s wall-clock] -Translating task... -Processing axioms... -Simplifying axioms... [0.000s CPU, 0.000s wall-clock] -Processing axioms: [0.270s CPU, 0.271s wall-clock] -Translating task: [5.340s CPU, 5.334s wall-clock] -0 effect conditions simplified -0 implied preconditions added -Detecting unreachable propositions... -0 operators removed -0 axioms removed -56 propositions removed -Detecting unreachable propositions: [2.660s CPU, 2.666s wall-clock] -Reordering and filtering variables... -52 of 52 variables necessary. -0 of 52 mutex groups necessary. -16616 of 16616 operators necessary. -0 of 0 axiom rules necessary. -Reordering and filtering variables: [0.790s CPU, 0.786s wall-clock] -Translator variables: 52 -Translator derived variables: 0 -Translator facts: 730 -Translator goal facts: 1 -Translator mutex groups: 0 -Translator total mutex groups size: 0 -Translator operators: 16616 -Translator axioms: 0 -Translator task size: 99223 -Translator peak memory: 100868 KB -Writing output... [1.690s CPU, 1.848s wall-clock] -Done! [20.000s CPU, 20.160s wall-clock] -planner.py version 0.0.1 - -Time: 206.52s -Memory: 8936MB - -Iteration 1 -Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Solving... -Solving Time: 0.79s -Memory: 8936MB (+0MB) -UNSAT -Iteration Time: 0.80s - -Iteration 2 -Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8936MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 3 -Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8936MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 4 -Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8936MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 5 -Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8936MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 6 -Queue: [(5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8936MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 7 -Queue: [(6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8936MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 8 - diff --git a/fd-pb-e2/ipc-2000_freecell-strips-typed_10.env b/fd-pb-e2/ipc-2000_freecell-strips-typed_10.env deleted file mode 100644 index 8009033a3..000000000 --- a/fd-pb-e2/ipc-2000_freecell-strips-typed_10.env +++ /dev/null @@ -1,40 +0,0 @@ -command: -- timeout -- -m=9216000 -- -t=900 -- python3 -- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py -- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl -- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-10.pddl -- --stats -- --verbose -- --print-call -- -m 8192 -- --translate -- -B 0.9 -- --parallel=2 -configuration: - id: fd-pb-e2 - instanceSets: - - lpnmr-hard-instances - options: - - --stats - - --verbose - - --print-call - - -m 8192 - - --translate - - -B 0.9 - - --parallel=2 -exitCode: 1 -instance: - domain: freecell-strips-typed - instance: 10 - ipc: ipc-2000 -versions: - clingo: 5.2.2 - fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100) - planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100) - plasp: 3.1.1 - python: 3.6.3 -workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner - diff --git a/fd-pb-e2/ipc-2000_freecell-strips-typed_10.err b/fd-pb-e2/ipc-2000_freecell-strips-typed_10.err deleted file mode 100644 index 5ec6bd1c3..000000000 --- a/fd-pb-e2/ipc-2000_freecell-strips-typed_10.err +++ /dev/null @@ -1,28 +0,0 @@ -# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']} -# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 10} -# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-10.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'] -# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner -# exit code: 1 -Warning: name clash between type and predicate 'suit'. -Interpreting as predicate in conditions. -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head: - requires(feature(actionCosts)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head: - requires(feature(axiomRules)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head: - requires(feature(conditionalEffects)) - -Traceback (most recent call last): - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in - Planner().run(options, clingo_options) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run - length = scheduler.next(result) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next - first = self.__next_runs[0] -IndexError: list index out of range -# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-10.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2 -FINISHED CPU 227.19 MEM 33472 MAXMEM 8615836 STALE 1 MAXMEM_RSS 7913704 - - diff --git a/fd-pb-e2/ipc-2000_freecell-strips-typed_10.out b/fd-pb-e2/ipc-2000_freecell-strips-typed_10.out deleted file mode 100644 index e673d13ee..000000000 --- a/fd-pb-e2/ipc-2000_freecell-strips-typed_10.out +++ /dev/null @@ -1,136 +0,0 @@ -INFO Running translator. -INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-10.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-2000/domains/freecell-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-10.pddl -Parsing... -Parsing: [0.060s CPU, 0.058s wall-clock] -Normalizing task... [0.000s CPU, 0.005s wall-clock] -Instantiating... -Generating Datalog program... [0.020s CPU, 0.013s wall-clock] -Normalizing Datalog program... -Normalizing Datalog program: [0.060s CPU, 0.068s wall-clock] -Preparing model... [0.040s CPU, 0.032s wall-clock] -Generated 125 rules. -Computing model... [0.740s CPU, 0.741s wall-clock] -5624 relevant atoms -1418 auxiliary atoms -7042 final queue length -24499 total queue pushes -Completing instantiation... [2.590s CPU, 2.584s wall-clock] -Instantiating: [3.450s CPU, 3.447s wall-clock] -Computing fact groups... -Finding invariants... -15 initial candidates -Finding invariants: [0.180s CPU, 0.179s wall-clock] -Checking invariant weight... [0.010s CPU, 0.005s wall-clock] -Instantiating groups... [0.030s CPU, 0.027s wall-clock] -Collecting mutex groups... [0.000s CPU, 0.001s wall-clock] -Choosing groups... -11 uncovered facts -Choosing groups: [0.010s CPU, 0.005s wall-clock] -Building translation key... [0.000s CPU, 0.002s wall-clock] -Computing fact groups: [0.230s CPU, 0.226s wall-clock] -Building STRIPS to SAS dictionary... [0.000s CPU, 0.001s wall-clock] -Building dictionary for full mutex groups... [0.010s CPU, 0.002s wall-clock] -Building mutex information... -not in strips_to_sas, left out: Atom bottomcol(c0) -not in strips_to_sas, left out: Atom bottomcol(d0) -not in strips_to_sas, left out: Atom bottomcol(h0) -not in strips_to_sas, left out: Atom bottomcol(s0) -Building mutex information: [0.000s CPU, 0.003s wall-clock] -Translating task... -Processing axioms... -Simplifying axioms... [0.000s CPU, 0.000s wall-clock] -Processing axioms: [0.110s CPU, 0.114s wall-clock] -Translating task: [2.400s CPU, 2.403s wall-clock] -2246 effect conditions simplified -0 implied preconditions added -Detecting unreachable propositions... -0 operators removed -0 axioms removed -14 propositions removed -Detecting unreachable propositions: [1.190s CPU, 1.192s wall-clock] -Reordering and filtering variables... -30 of 30 variables necessary. -36 of 50 mutex groups necessary. -5344 of 5344 operators necessary. -0 of 0 axiom rules necessary. -Reordering and filtering variables: [0.450s CPU, 0.452s wall-clock] -Translator variables: 30 -Translator derived variables: 0 -Translator facts: 124 -Translator goal facts: 4 -Translator mutex groups: 36 -Translator total mutex groups size: 142 -Translator operators: 5344 -Translator axioms: 0 -Translator task size: 44562 -Translator peak memory: 63436 KB -Writing output... [0.760s CPU, 0.806s wall-clock] -Done! [8.650s CPU, 8.691s wall-clock] -planner.py version 0.0.1 - -Time: 200.75s -Memory: 8376MB - -Iteration 1 -Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Solving... -Solving Time: 0.76s -Memory: 8376MB (+0MB) -UNSAT -Iteration Time: 0.76s - -Iteration 2 -Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8376MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 3 -Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8376MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 4 -Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8376MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 5 -Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8376MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 6 -Queue: [(5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8376MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 7 -Queue: [(6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8376MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 8 - diff --git a/fd-pb-e2/ipc-2000_freecell-strips-typed_6.env b/fd-pb-e2/ipc-2000_freecell-strips-typed_6.env deleted file mode 100644 index 2561350f5..000000000 --- a/fd-pb-e2/ipc-2000_freecell-strips-typed_6.env +++ /dev/null @@ -1,40 +0,0 @@ -command: -- timeout -- -m=9216000 -- -t=900 -- python3 -- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py -- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl -- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-6.pddl -- --stats -- --verbose -- --print-call -- -m 8192 -- --translate -- -B 0.9 -- --parallel=2 -configuration: - id: fd-pb-e2 - instanceSets: - - lpnmr-hard-instances - options: - - --stats - - --verbose - - --print-call - - -m 8192 - - --translate - - -B 0.9 - - --parallel=2 -exitCode: 1 -instance: - domain: freecell-strips-typed - instance: 6 - ipc: ipc-2000 -versions: - clingo: 5.2.2 - fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100) - planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100) - plasp: 3.1.1 - python: 3.6.3 -workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner - diff --git a/fd-pb-e2/ipc-2000_freecell-strips-typed_6.err b/fd-pb-e2/ipc-2000_freecell-strips-typed_6.err deleted file mode 100644 index e1dd5dd40..000000000 --- a/fd-pb-e2/ipc-2000_freecell-strips-typed_6.err +++ /dev/null @@ -1,28 +0,0 @@ -# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']} -# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 6} -# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-6.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'] -# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner -# exit code: 1 -Warning: name clash between type and predicate 'suit'. -Interpreting as predicate in conditions. -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head: - requires(feature(actionCosts)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head: - requires(feature(axiomRules)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head: - requires(feature(conditionalEffects)) - -Traceback (most recent call last): - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in - Planner().run(options, clingo_options) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run - length = scheduler.next(result) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next - first = self.__next_runs[0] -IndexError: list index out of range -# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-6.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2 -FINISHED CPU 229.47 MEM 0 MAXMEM 8643776 STALE 1 MAXMEM_RSS 7952968 - - diff --git a/fd-pb-e2/ipc-2000_freecell-strips-typed_6.out b/fd-pb-e2/ipc-2000_freecell-strips-typed_6.out deleted file mode 100644 index 03cc38956..000000000 --- a/fd-pb-e2/ipc-2000_freecell-strips-typed_6.out +++ /dev/null @@ -1,136 +0,0 @@ -INFO Running translator. -INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-6.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-2000/domains/freecell-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-6.pddl -Parsing... -Parsing: [0.030s CPU, 0.037s wall-clock] -Normalizing task... [0.000s CPU, 0.003s wall-clock] -Instantiating... -Generating Datalog program... [0.010s CPU, 0.008s wall-clock] -Normalizing Datalog program... -Normalizing Datalog program: [0.050s CPU, 0.052s wall-clock] -Preparing model... [0.030s CPU, 0.025s wall-clock] -Generated 125 rules. -Computing model... [0.720s CPU, 0.725s wall-clock] -5652 relevant atoms -1425 auxiliary atoms -7077 final queue length -24613 total queue pushes -Completing instantiation... [2.600s CPU, 2.601s wall-clock] -Instantiating: [3.420s CPU, 3.421s wall-clock] -Computing fact groups... -Finding invariants... -15 initial candidates -Finding invariants: [0.140s CPU, 0.141s wall-clock] -Checking invariant weight... [0.010s CPU, 0.005s wall-clock] -Instantiating groups... [0.030s CPU, 0.026s wall-clock] -Collecting mutex groups... [0.000s CPU, 0.001s wall-clock] -Choosing groups... -11 uncovered facts -Choosing groups: [0.010s CPU, 0.005s wall-clock] -Building translation key... [0.000s CPU, 0.002s wall-clock] -Computing fact groups: [0.190s CPU, 0.187s wall-clock] -Building STRIPS to SAS dictionary... [0.000s CPU, 0.001s wall-clock] -Building dictionary for full mutex groups... [0.000s CPU, 0.002s wall-clock] -Building mutex information... -not in strips_to_sas, left out: Atom bottomcol(c0) -not in strips_to_sas, left out: Atom bottomcol(d0) -not in strips_to_sas, left out: Atom bottomcol(h0) -not in strips_to_sas, left out: Atom bottomcol(s0) -Building mutex information: [0.010s CPU, 0.003s wall-clock] -Translating task... -Processing axioms... -Simplifying axioms... [0.000s CPU, 0.000s wall-clock] -Processing axioms: [0.110s CPU, 0.113s wall-clock] -Translating task: [2.410s CPU, 2.411s wall-clock] -2190 effect conditions simplified -0 implied preconditions added -Detecting unreachable propositions... -0 operators removed -0 axioms removed -14 propositions removed -Detecting unreachable propositions: [1.200s CPU, 1.203s wall-clock] -Reordering and filtering variables... -30 of 30 variables necessary. -32 of 50 mutex groups necessary. -5369 of 5369 operators necessary. -0 of 0 axiom rules necessary. -Reordering and filtering variables: [0.450s CPU, 0.453s wall-clock] -Translator variables: 30 -Translator derived variables: 0 -Translator facts: 125 -Translator goal facts: 4 -Translator mutex groups: 32 -Translator total mutex groups size: 124 -Translator operators: 5369 -Translator axioms: 0 -Translator task size: 44686 -Translator peak memory: 63436 KB -Writing output... [0.720s CPU, 0.760s wall-clock] -Done! [8.530s CPU, 8.578s wall-clock] -planner.py version 0.0.1 - -Time: 203.14s -Memory: 8403MB - -Iteration 1 -Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Solving... -Solving Time: 0.73s -Memory: 8404MB (+1MB) -UNSAT -Iteration Time: 0.74s - -Iteration 2 -Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8404MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 3 -Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8404MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 4 -Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8404MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 5 -Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8404MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 6 -Queue: [(5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8404MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 7 -Queue: [(6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8404MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 8 - diff --git a/fd-pb-e2/ipc-2000_freecell-strips-typed_7.env b/fd-pb-e2/ipc-2000_freecell-strips-typed_7.env deleted file mode 100644 index d5a56208e..000000000 --- a/fd-pb-e2/ipc-2000_freecell-strips-typed_7.env +++ /dev/null @@ -1,40 +0,0 @@ -command: -- timeout -- -m=9216000 -- -t=900 -- python3 -- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py -- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl -- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-7.pddl -- --stats -- --verbose -- --print-call -- -m 8192 -- --translate -- -B 0.9 -- --parallel=2 -configuration: - id: fd-pb-e2 - instanceSets: - - lpnmr-hard-instances - options: - - --stats - - --verbose - - --print-call - - -m 8192 - - --translate - - -B 0.9 - - --parallel=2 -exitCode: 1 -instance: - domain: freecell-strips-typed - instance: 7 - ipc: ipc-2000 -versions: - clingo: 5.2.2 - fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100) - planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100) - plasp: 3.1.1 - python: 3.6.3 -workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner - diff --git a/fd-pb-e2/ipc-2000_freecell-strips-typed_7.err b/fd-pb-e2/ipc-2000_freecell-strips-typed_7.err deleted file mode 100644 index dbd2f7b4a..000000000 --- a/fd-pb-e2/ipc-2000_freecell-strips-typed_7.err +++ /dev/null @@ -1,28 +0,0 @@ -# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']} -# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 7} -# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-7.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'] -# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner -# exit code: 1 -Warning: name clash between type and predicate 'suit'. -Interpreting as predicate in conditions. -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head: - requires(feature(actionCosts)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head: - requires(feature(axiomRules)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head: - requires(feature(conditionalEffects)) - -Traceback (most recent call last): - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in - Planner().run(options, clingo_options) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run - length = scheduler.next(result) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next - first = self.__next_runs[0] -IndexError: list index out of range -# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-7.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2 -FINISHED CPU 226.27 MEM 33472 MAXMEM 8615004 STALE 1 MAXMEM_RSS 7910608 - - diff --git a/fd-pb-e2/ipc-2000_freecell-strips-typed_7.out b/fd-pb-e2/ipc-2000_freecell-strips-typed_7.out deleted file mode 100644 index 2b1850c5f..000000000 --- a/fd-pb-e2/ipc-2000_freecell-strips-typed_7.out +++ /dev/null @@ -1,136 +0,0 @@ -INFO Running translator. -INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-7.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-2000/domains/freecell-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-7.pddl -Parsing... -Parsing: [0.040s CPU, 0.043s wall-clock] -Normalizing task... [0.000s CPU, 0.004s wall-clock] -Instantiating... -Generating Datalog program... [0.010s CPU, 0.009s wall-clock] -Normalizing Datalog program... -Normalizing Datalog program: [0.050s CPU, 0.058s wall-clock] -Preparing model... [0.030s CPU, 0.027s wall-clock] -Generated 125 rules. -Computing model... [0.730s CPU, 0.725s wall-clock] -5624 relevant atoms -1418 auxiliary atoms -7042 final queue length -24499 total queue pushes -Completing instantiation... [2.600s CPU, 2.602s wall-clock] -Instantiating: [3.420s CPU, 3.429s wall-clock] -Computing fact groups... -Finding invariants... -15 initial candidates -Finding invariants: [0.190s CPU, 0.186s wall-clock] -Checking invariant weight... [0.010s CPU, 0.005s wall-clock] -Instantiating groups... [0.020s CPU, 0.026s wall-clock] -Collecting mutex groups... [0.000s CPU, 0.001s wall-clock] -Choosing groups... -12 uncovered facts -Choosing groups: [0.010s CPU, 0.005s wall-clock] -Building translation key... [0.000s CPU, 0.002s wall-clock] -Computing fact groups: [0.240s CPU, 0.232s wall-clock] -Building STRIPS to SAS dictionary... [0.000s CPU, 0.001s wall-clock] -Building dictionary for full mutex groups... [0.000s CPU, 0.002s wall-clock] -Building mutex information... -not in strips_to_sas, left out: Atom bottomcol(c0) -not in strips_to_sas, left out: Atom bottomcol(d0) -not in strips_to_sas, left out: Atom bottomcol(h0) -not in strips_to_sas, left out: Atom bottomcol(s0) -Building mutex information: [0.000s CPU, 0.003s wall-clock] -Translating task... -Processing axioms... -Simplifying axioms... [0.000s CPU, 0.000s wall-clock] -Processing axioms: [0.120s CPU, 0.115s wall-clock] -Translating task: [2.400s CPU, 2.403s wall-clock] -2412 effect conditions simplified -0 implied preconditions added -Detecting unreachable propositions... -0 operators removed -0 axioms removed -14 propositions removed -Detecting unreachable propositions: [1.200s CPU, 1.198s wall-clock] -Reordering and filtering variables... -30 of 30 variables necessary. -32 of 50 mutex groups necessary. -5344 of 5344 operators necessary. -0 of 0 axiom rules necessary. -Reordering and filtering variables: [0.490s CPU, 0.488s wall-clock] -Translator variables: 30 -Translator derived variables: 0 -Translator facts: 124 -Translator goal facts: 4 -Translator mutex groups: 32 -Translator total mutex groups size: 124 -Translator operators: 5344 -Translator axioms: 0 -Translator task size: 44456 -Translator peak memory: 63436 KB -Writing output... [0.710s CPU, 0.762s wall-clock] -Done! [8.600s CPU, 8.663s wall-clock] -planner.py version 0.0.1 - -Time: 200.06s -Memory: 8374MB - -Iteration 1 -Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Solving... -Solving Time: 0.73s -Memory: 8374MB (+0MB) -UNSAT -Iteration Time: 0.73s - -Iteration 2 -Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8374MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 3 -Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8374MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 4 -Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8374MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 5 -Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8374MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 6 -Queue: [(5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8374MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 7 -Queue: [(6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8374MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 8 - diff --git a/fd-pb-e2/ipc-2000_freecell-strips-typed_8.env b/fd-pb-e2/ipc-2000_freecell-strips-typed_8.env deleted file mode 100644 index ea263df0a..000000000 --- a/fd-pb-e2/ipc-2000_freecell-strips-typed_8.env +++ /dev/null @@ -1,40 +0,0 @@ -command: -- timeout -- -m=9216000 -- -t=900 -- python3 -- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py -- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl -- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-8.pddl -- --stats -- --verbose -- --print-call -- -m 8192 -- --translate -- -B 0.9 -- --parallel=2 -configuration: - id: fd-pb-e2 - instanceSets: - - lpnmr-hard-instances - options: - - --stats - - --verbose - - --print-call - - -m 8192 - - --translate - - -B 0.9 - - --parallel=2 -exitCode: 1 -instance: - domain: freecell-strips-typed - instance: 8 - ipc: ipc-2000 -versions: - clingo: 5.2.2 - fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100) - planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100) - plasp: 3.1.1 - python: 3.6.3 -workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner - diff --git a/fd-pb-e2/ipc-2000_freecell-strips-typed_8.err b/fd-pb-e2/ipc-2000_freecell-strips-typed_8.err deleted file mode 100644 index a8f904a84..000000000 --- a/fd-pb-e2/ipc-2000_freecell-strips-typed_8.err +++ /dev/null @@ -1,28 +0,0 @@ -# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']} -# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 8} -# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-8.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'] -# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner -# exit code: 1 -Warning: name clash between type and predicate 'suit'. -Interpreting as predicate in conditions. -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head: - requires(feature(actionCosts)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head: - requires(feature(axiomRules)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head: - requires(feature(conditionalEffects)) - -Traceback (most recent call last): - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in - Planner().run(options, clingo_options) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run - length = scheduler.next(result) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next - first = self.__next_runs[0] -IndexError: list index out of range -# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-8.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2 -FINISHED CPU 227.82 MEM 33472 MAXMEM 8613928 STALE 1 MAXMEM_RSS 7908456 - - diff --git a/fd-pb-e2/ipc-2000_freecell-strips-typed_8.out b/fd-pb-e2/ipc-2000_freecell-strips-typed_8.out deleted file mode 100644 index 0529f5996..000000000 --- a/fd-pb-e2/ipc-2000_freecell-strips-typed_8.out +++ /dev/null @@ -1,136 +0,0 @@ -INFO Running translator. -INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-8.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-2000/domains/freecell-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-8.pddl -Parsing... -Parsing: [0.040s CPU, 0.044s wall-clock] -Normalizing task... [0.000s CPU, 0.004s wall-clock] -Instantiating... -Generating Datalog program... [0.010s CPU, 0.010s wall-clock] -Normalizing Datalog program... -Normalizing Datalog program: [0.060s CPU, 0.058s wall-clock] -Preparing model... [0.030s CPU, 0.028s wall-clock] -Generated 125 rules. -Computing model... [0.720s CPU, 0.722s wall-clock] -5624 relevant atoms -1418 auxiliary atoms -7042 final queue length -24499 total queue pushes -Completing instantiation... [2.580s CPU, 2.590s wall-clock] -Instantiating: [3.420s CPU, 3.417s wall-clock] -Computing fact groups... -Finding invariants... -15 initial candidates -Finding invariants: [0.170s CPU, 0.177s wall-clock] -Checking invariant weight... [0.010s CPU, 0.005s wall-clock] -Instantiating groups... [0.030s CPU, 0.025s wall-clock] -Collecting mutex groups... [0.000s CPU, 0.001s wall-clock] -Choosing groups... -11 uncovered facts -Choosing groups: [0.010s CPU, 0.005s wall-clock] -Building translation key... [0.000s CPU, 0.002s wall-clock] -Computing fact groups: [0.220s CPU, 0.223s wall-clock] -Building STRIPS to SAS dictionary... [0.000s CPU, 0.001s wall-clock] -Building dictionary for full mutex groups... [0.010s CPU, 0.002s wall-clock] -Building mutex information... -not in strips_to_sas, left out: Atom bottomcol(c0) -not in strips_to_sas, left out: Atom bottomcol(d0) -not in strips_to_sas, left out: Atom bottomcol(h0) -not in strips_to_sas, left out: Atom bottomcol(s0) -Building mutex information: [0.000s CPU, 0.003s wall-clock] -Translating task... -Processing axioms... -Simplifying axioms... [0.000s CPU, 0.000s wall-clock] -Processing axioms: [0.110s CPU, 0.112s wall-clock] -Translating task: [2.400s CPU, 2.396s wall-clock] -2299 effect conditions simplified -0 implied preconditions added -Detecting unreachable propositions... -0 operators removed -0 axioms removed -12 propositions removed -Detecting unreachable propositions: [1.190s CPU, 1.193s wall-clock] -Reordering and filtering variables... -30 of 30 variables necessary. -36 of 50 mutex groups necessary. -5344 of 5344 operators necessary. -0 of 0 axiom rules necessary. -Reordering and filtering variables: [0.450s CPU, 0.448s wall-clock] -Translator variables: 30 -Translator derived variables: 0 -Translator facts: 126 -Translator goal facts: 4 -Translator mutex groups: 36 -Translator total mutex groups size: 142 -Translator operators: 5344 -Translator axioms: 0 -Translator task size: 44508 -Translator peak memory: 63436 KB -Writing output... [0.750s CPU, 0.799s wall-clock] -Done! [8.580s CPU, 8.628s wall-clock] -planner.py version 0.0.1 - -Time: 201.53s -Memory: 8373MB - -Iteration 1 -Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Solving... -Solving Time: 0.73s -Memory: 8373MB (+0MB) -UNSAT -Iteration Time: 0.74s - -Iteration 2 -Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8373MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 3 -Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8373MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 4 -Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8373MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 5 -Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8373MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 6 -Queue: [(5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8373MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 7 -Queue: [(6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8373MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 8 - diff --git a/fd-pb-e2/ipc-2000_freecell-strips-typed_9.env b/fd-pb-e2/ipc-2000_freecell-strips-typed_9.env deleted file mode 100644 index 9c334eb7f..000000000 --- a/fd-pb-e2/ipc-2000_freecell-strips-typed_9.env +++ /dev/null @@ -1,40 +0,0 @@ -command: -- timeout -- -m=9216000 -- -t=900 -- python3 -- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py -- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl -- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-9.pddl -- --stats -- --verbose -- --print-call -- -m 8192 -- --translate -- -B 0.9 -- --parallel=2 -configuration: - id: fd-pb-e2 - instanceSets: - - lpnmr-hard-instances - options: - - --stats - - --verbose - - --print-call - - -m 8192 - - --translate - - -B 0.9 - - --parallel=2 -exitCode: 1 -instance: - domain: freecell-strips-typed - instance: 9 - ipc: ipc-2000 -versions: - clingo: 5.2.2 - fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100) - planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100) - plasp: 3.1.1 - python: 3.6.3 -workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner - diff --git a/fd-pb-e2/ipc-2000_freecell-strips-typed_9.err b/fd-pb-e2/ipc-2000_freecell-strips-typed_9.err deleted file mode 100644 index c2cc7ba90..000000000 --- a/fd-pb-e2/ipc-2000_freecell-strips-typed_9.err +++ /dev/null @@ -1,28 +0,0 @@ -# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']} -# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 9} -# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-9.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'] -# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner -# exit code: 1 -Warning: name clash between type and predicate 'suit'. -Interpreting as predicate in conditions. -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head: - requires(feature(actionCosts)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head: - requires(feature(axiomRules)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head: - requires(feature(conditionalEffects)) - -Traceback (most recent call last): - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in - Planner().run(options, clingo_options) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run - length = scheduler.next(result) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next - first = self.__next_runs[0] -IndexError: list index out of range -# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-9.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2 -FINISHED CPU 227.90 MEM 33472 MAXMEM 8648012 STALE 1 MAXMEM_RSS 7957520 - - diff --git a/fd-pb-e2/ipc-2000_freecell-strips-typed_9.out b/fd-pb-e2/ipc-2000_freecell-strips-typed_9.out deleted file mode 100644 index d4e74fb83..000000000 --- a/fd-pb-e2/ipc-2000_freecell-strips-typed_9.out +++ /dev/null @@ -1,136 +0,0 @@ -INFO Running translator. -INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-9.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-2000/domains/freecell-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-9.pddl -Parsing... -Parsing: [0.050s CPU, 0.054s wall-clock] -Normalizing task... [0.000s CPU, 0.004s wall-clock] -Instantiating... -Generating Datalog program... [0.010s CPU, 0.011s wall-clock] -Normalizing Datalog program... -Normalizing Datalog program: [0.070s CPU, 0.064s wall-clock] -Preparing model... [0.030s CPU, 0.029s wall-clock] -Generated 125 rules. -Computing model... [0.740s CPU, 0.736s wall-clock] -5656 relevant atoms -1425 auxiliary atoms -7081 final queue length -24625 total queue pushes -Completing instantiation... [2.600s CPU, 2.597s wall-clock] -Instantiating: [3.450s CPU, 3.446s wall-clock] -Computing fact groups... -Finding invariants... -15 initial candidates -Finding invariants: [0.140s CPU, 0.140s wall-clock] -Checking invariant weight... [0.010s CPU, 0.005s wall-clock] -Instantiating groups... [0.020s CPU, 0.025s wall-clock] -Collecting mutex groups... [0.000s CPU, 0.001s wall-clock] -Choosing groups... -12 uncovered facts -Choosing groups: [0.000s CPU, 0.005s wall-clock] -Building translation key... [0.000s CPU, 0.002s wall-clock] -Computing fact groups: [0.190s CPU, 0.186s wall-clock] -Building STRIPS to SAS dictionary... [0.000s CPU, 0.001s wall-clock] -Building dictionary for full mutex groups... [0.000s CPU, 0.002s wall-clock] -Building mutex information... -not in strips_to_sas, left out: Atom bottomcol(c0) -not in strips_to_sas, left out: Atom bottomcol(d0) -not in strips_to_sas, left out: Atom bottomcol(h0) -not in strips_to_sas, left out: Atom bottomcol(s0) -Building mutex information: [0.000s CPU, 0.003s wall-clock] -Translating task... -Processing axioms... -Simplifying axioms... [0.000s CPU, 0.000s wall-clock] -Processing axioms: [0.120s CPU, 0.114s wall-clock] -Translating task: [2.420s CPU, 2.412s wall-clock] -2428 effect conditions simplified -0 implied preconditions added -Detecting unreachable propositions... -0 operators removed -0 axioms removed -14 propositions removed -Detecting unreachable propositions: [1.200s CPU, 1.200s wall-clock] -Reordering and filtering variables... -30 of 30 variables necessary. -32 of 50 mutex groups necessary. -5375 of 5375 operators necessary. -0 of 0 axiom rules necessary. -Reordering and filtering variables: [0.450s CPU, 0.451s wall-clock] -Translator variables: 30 -Translator derived variables: 0 -Translator facts: 125 -Translator goal facts: 4 -Translator mutex groups: 32 -Translator total mutex groups size: 122 -Translator operators: 5375 -Translator axioms: 0 -Translator task size: 44730 -Translator peak memory: 63436 KB -Writing output... [0.720s CPU, 0.765s wall-clock] -Done! [8.580s CPU, 8.624s wall-clock] -planner.py version 0.0.1 - -Time: 201.51s -Memory: 8406MB - -Iteration 1 -Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Solving... -Solving Time: 0.74s -Memory: 8407MB (+1MB) -UNSAT -Iteration Time: 0.74s - -Iteration 2 -Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8407MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 3 -Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8407MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 4 -Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8407MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 5 -Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8407MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 6 -Queue: [(5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8407MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 7 -Queue: [(6,30,0,True)] -Grounded Until: 0 -Expected Memory: 8407MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 8 - diff --git a/fd-pb-e2/ipc-2002_depots-strips-automatic_18.env b/fd-pb-e2/ipc-2002_depots-strips-automatic_18.env deleted file mode 100644 index 98b3a1be0..000000000 --- a/fd-pb-e2/ipc-2002_depots-strips-automatic_18.env +++ /dev/null @@ -1,40 +0,0 @@ -command: -- timeout -- -m=9216000 -- -t=900 -- python3 -- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py -- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/domain.pddl -- /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/instances/instance-18.pddl -- --stats -- --verbose -- --print-call -- -m 8192 -- --translate -- -B 0.9 -- --parallel=2 -configuration: - id: fd-pb-e2 - instanceSets: - - lpnmr-hard-instances - options: - - --stats - - --verbose - - --print-call - - -m 8192 - - --translate - - -B 0.9 - - --parallel=2 -exitCode: 1 -instance: - domain: depots-strips-automatic - instance: 18 - ipc: ipc-2002 -versions: - clingo: 5.2.2 - fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100) - planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100) - plasp: 3.1.1 - python: 3.6.3 -workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner - diff --git a/fd-pb-e2/ipc-2002_depots-strips-automatic_18.err b/fd-pb-e2/ipc-2002_depots-strips-automatic_18.err deleted file mode 100644 index 398b06135..000000000 --- a/fd-pb-e2/ipc-2002_depots-strips-automatic_18.err +++ /dev/null @@ -1,26 +0,0 @@ -# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']} -# instance: {'ipc': 'ipc-2002', 'domain': 'depots-strips-automatic', 'instance': 18} -# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/instances/instance-18.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'] -# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner -# exit code: 1 -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head: - requires(feature(actionCosts)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head: - requires(feature(axiomRules)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head: - requires(feature(conditionalEffects)) - -Traceback (most recent call last): - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in - Planner().run(options, clingo_options) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run - length = scheduler.next(result) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next - first = self.__next_runs[0] -IndexError: list index out of range -# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/instances/instance-18.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2 -FINISHED CPU 105.26 MEM 33472 MAXMEM 5183084 STALE 1 MAXMEM_RSS 4803824 - - diff --git a/fd-pb-e2/ipc-2002_depots-strips-automatic_18.out b/fd-pb-e2/ipc-2002_depots-strips-automatic_18.out deleted file mode 100644 index 1746e52f7..000000000 --- a/fd-pb-e2/ipc-2002_depots-strips-automatic_18.out +++ /dev/null @@ -1,138 +0,0 @@ -INFO Running translator. -INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-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/depots-strips-automatic/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/instances/instance-18.pddl -Parsing... -Parsing: [0.020s CPU, 0.023s wall-clock] -Normalizing task... [0.000s CPU, 0.002s wall-clock] -Instantiating... -Generating Datalog program... [0.010s CPU, 0.011s wall-clock] -Normalizing Datalog program... -Normalizing Datalog program: [0.040s CPU, 0.033s wall-clock] -Preparing model... [0.030s CPU, 0.033s wall-clock] -Generated 43 rules. -Computing model... [0.830s CPU, 0.836s wall-clock] -6652 relevant atoms -3059 auxiliary atoms -9711 final queue length -24313 total queue pushes -Completing instantiation... [2.370s CPU, 2.375s wall-clock] -Instantiating: [3.290s CPU, 3.298s wall-clock] -Computing fact groups... -Finding invariants... -16 initial candidates -Finding invariants: [0.060s CPU, 0.056s wall-clock] -Checking invariant weight... [0.010s CPU, 0.006s wall-clock] -Instantiating groups... [0.110s CPU, 0.117s wall-clock] -Collecting mutex groups... [0.010s CPU, 0.005s wall-clock] -Choosing groups... -47 uncovered facts -Choosing groups: [0.020s CPU, 0.028s wall-clock] -Building translation key... [0.010s CPU, 0.009s wall-clock] -Computing fact groups: [0.270s CPU, 0.269s wall-clock] -Building STRIPS to SAS dictionary... [0.010s CPU, 0.004s wall-clock] -Building dictionary for full mutex groups... [0.010s CPU, 0.010s wall-clock] -Building mutex information... -Building mutex information: [0.020s CPU, 0.019s wall-clock] -Translating task... -Processing axioms... -Simplifying axioms... [0.000s CPU, 0.000s wall-clock] -Processing axioms: [0.130s CPU, 0.129s wall-clock] -Translating task: [2.840s CPU, 2.838s wall-clock] -7680 effect conditions simplified -0 implied preconditions added -Detecting unreachable propositions... -0 operators removed -0 axioms removed -66 propositions removed -Detecting unreachable propositions: [1.450s CPU, 1.442s wall-clock] -Reordering and filtering variables... -65 of 65 variables necessary. -46 of 65 mutex groups necessary. -5568 of 5568 operators necessary. -0 of 0 axiom rules necessary. -Reordering and filtering variables: [0.620s CPU, 0.621s wall-clock] -Translator variables: 65 -Translator derived variables: 0 -Translator facts: 663 -Translator goal facts: 13 -Translator mutex groups: 46 -Translator total mutex groups size: 901 -Translator operators: 5568 -Translator axioms: 0 -Translator task size: 50506 -Translator peak memory: 67276 KB -Writing output... [0.850s CPU, 0.913s wall-clock] -Done! [9.490s CPU, 9.548s wall-clock] -planner.py version 0.0.1 - -Time: 36.02s -Memory: 1884MB - -Iteration 1 -Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Solving... -Solving Time: 0.15s -Memory: 1884MB (+0MB) -UNSAT -Iteration Time: 0.15s - -Iteration 2 -Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 1884MB -Grounding... [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('check', [5])] -Grounding Time: 36.63s -Memory: 4668MB (+2784MB) -Unblocking actions... -Solving... -Solving Time: 1.62s -Memory: 4884MB (+216MB) -UNSAT -Iteration Time: 51.27s - -Iteration 3 -Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 5 -Expected Memory: 7884.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 4 -Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 5 -Expected Memory: 10884.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 5 -Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 5 -Expected Memory: 13884.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 6 -Queue: [(5,25,0,True), (6,30,0,True)] -Grounded Until: 5 -Expected Memory: 16884.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 7 -Queue: [(6,30,0,True)] -Grounded Until: 5 -Expected Memory: 19884.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 8 - diff --git a/fd-pb-e2/ipc-2002_depots-strips-automatic_20.env b/fd-pb-e2/ipc-2002_depots-strips-automatic_20.env deleted file mode 100644 index f3c3ef4e1..000000000 --- a/fd-pb-e2/ipc-2002_depots-strips-automatic_20.env +++ /dev/null @@ -1,40 +0,0 @@ -command: -- timeout -- -m=9216000 -- -t=900 -- python3 -- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py -- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/domain.pddl -- /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/instances/instance-20.pddl -- --stats -- --verbose -- --print-call -- -m 8192 -- --translate -- -B 0.9 -- --parallel=2 -configuration: - id: fd-pb-e2 - instanceSets: - - lpnmr-hard-instances - options: - - --stats - - --verbose - - --print-call - - -m 8192 - - --translate - - -B 0.9 - - --parallel=2 -exitCode: 1 -instance: - domain: depots-strips-automatic - instance: 20 - ipc: ipc-2002 -versions: - clingo: 5.2.2 - fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100) - planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100) - plasp: 3.1.1 - python: 3.6.3 -workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner - diff --git a/fd-pb-e2/ipc-2002_depots-strips-automatic_20.err b/fd-pb-e2/ipc-2002_depots-strips-automatic_20.err deleted file mode 100644 index 4d63760dc..000000000 --- a/fd-pb-e2/ipc-2002_depots-strips-automatic_20.err +++ /dev/null @@ -1,26 +0,0 @@ -# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']} -# instance: {'ipc': 'ipc-2002', 'domain': 'depots-strips-automatic', 'instance': 20} -# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/instances/instance-20.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'] -# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner -# exit code: 1 -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head: - requires(feature(actionCosts)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head: - requires(feature(axiomRules)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head: - requires(feature(conditionalEffects)) - -Traceback (most recent call last): - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in - Planner().run(options, clingo_options) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run - length = scheduler.next(result) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next - first = self.__next_runs[0] -IndexError: list index out of range -# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/instances/instance-20.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2 -FINISHED CPU 114.70 MEM 0 MAXMEM 5554396 STALE 1 MAXMEM_RSS 5195580 - - diff --git a/fd-pb-e2/ipc-2002_depots-strips-automatic_20.out b/fd-pb-e2/ipc-2002_depots-strips-automatic_20.out deleted file mode 100644 index d02092251..000000000 --- a/fd-pb-e2/ipc-2002_depots-strips-automatic_20.out +++ /dev/null @@ -1,138 +0,0 @@ -INFO Running translator. -INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/instances/instance-20.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/depots-strips-automatic/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/instances/instance-20.pddl -Parsing... -Parsing: [0.020s CPU, 0.022s wall-clock] -Normalizing task... [0.000s CPU, 0.002s wall-clock] -Instantiating... -Generating Datalog program... [0.010s CPU, 0.011s wall-clock] -Normalizing Datalog program... -Normalizing Datalog program: [0.020s CPU, 0.022s wall-clock] -Preparing model... [0.020s CPU, 0.022s wall-clock] -Generated 43 rules. -Computing model... [1.000s CPU, 0.996s wall-clock] -7130 relevant atoms -5437 auxiliary atoms -12567 final queue length -27375 total queue pushes -Completing instantiation... [2.490s CPU, 2.488s wall-clock] -Instantiating: [3.550s CPU, 3.551s wall-clock] -Computing fact groups... -Finding invariants... -16 initial candidates -Finding invariants: [0.060s CPU, 0.065s wall-clock] -Checking invariant weight... [0.010s CPU, 0.008s wall-clock] -Instantiating groups... [0.150s CPU, 0.141s wall-clock] -Collecting mutex groups... [0.010s CPU, 0.005s wall-clock] -Choosing groups... -51 uncovered facts -Choosing groups: [0.030s CPU, 0.030s wall-clock] -Building translation key... [0.010s CPU, 0.011s wall-clock] -Computing fact groups: [0.310s CPU, 0.311s wall-clock] -Building STRIPS to SAS dictionary... [0.010s CPU, 0.005s wall-clock] -Building dictionary for full mutex groups... [0.100s CPU, 0.105s wall-clock] -Building mutex information... -Building mutex information: [0.020s CPU, 0.018s wall-clock] -Translating task... -Processing axioms... -Simplifying axioms... [0.000s CPU, 0.000s wall-clock] -Processing axioms: [0.140s CPU, 0.135s wall-clock] -Translating task: [2.990s CPU, 2.988s wall-clock] -8070 effect conditions simplified -0 implied preconditions added -Detecting unreachable propositions... -0 operators removed -0 axioms removed -70 propositions removed -Detecting unreachable propositions: [1.400s CPU, 1.394s wall-clock] -Reordering and filtering variables... -67 of 67 variables necessary. -48 of 67 mutex groups necessary. -5894 of 5894 operators necessary. -0 of 0 axiom rules necessary. -Reordering and filtering variables: [0.660s CPU, 0.660s wall-clock] -Translator variables: 67 -Translator derived variables: 0 -Translator facts: 773 -Translator goal facts: 14 -Translator mutex groups: 48 -Translator total mutex groups size: 993 -Translator operators: 5894 -Translator axioms: 0 -Translator task size: 52919 -Translator peak memory: 69068 KB -Writing output... [0.890s CPU, 0.952s wall-clock] -Done! [10.060s CPU, 10.120s wall-clock] -planner.py version 0.0.1 - -Time: 37.63s -Memory: 1969MB - -Iteration 1 -Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Solving... -Solving Time: 0.16s -Memory: 1969MB (+0MB) -UNSAT -Iteration Time: 0.16s - -Iteration 2 -Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 1969MB -Grounding... [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('check', [5])] -Grounding Time: 40.21s -Memory: 5033MB (+3064MB) -Unblocking actions... -Solving... -Solving Time: 1.84s -Memory: 5276MB (+243MB) -UNSAT -Iteration Time: 57.88s - -Iteration 3 -Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 5 -Expected Memory: 8583.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 4 -Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 5 -Expected Memory: 11890.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 5 -Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 5 -Expected Memory: 15197.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 6 -Queue: [(5,25,0,True), (6,30,0,True)] -Grounded Until: 5 -Expected Memory: 18504.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 7 -Queue: [(6,30,0,True)] -Grounded Until: 5 -Expected Memory: 21811.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 8 - diff --git a/fd-pb-e2/ipc-2002_driverlog-strips-automatic_18.env b/fd-pb-e2/ipc-2002_driverlog-strips-automatic_18.env deleted file mode 100644 index c1961fdab..000000000 --- a/fd-pb-e2/ipc-2002_driverlog-strips-automatic_18.env +++ /dev/null @@ -1,40 +0,0 @@ -command: -- timeout -- -m=9216000 -- -t=900 -- python3 -- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py -- --domain=/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 -- --stats -- --verbose -- --print-call -- -m 8192 -- --translate -- -B 0.9 -- --parallel=2 -configuration: - id: fd-pb-e2 - instanceSets: - - lpnmr-hard-instances - options: - - --stats - - --verbose - - --print-call - - -m 8192 - - --translate - - -B 0.9 - - --parallel=2 -exitCode: 1 -instance: - domain: driverlog-strips-automatic - instance: 18 - ipc: ipc-2002 -versions: - clingo: 5.2.2 - fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100) - planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100) - plasp: 3.1.1 - python: 3.6.3 -workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner - diff --git a/fd-pb-e2/ipc-2002_driverlog-strips-automatic_18.err b/fd-pb-e2/ipc-2002_driverlog-strips-automatic_18.err deleted file mode 100644 index 198f862f7..000000000 --- a/fd-pb-e2/ipc-2002_driverlog-strips-automatic_18.err +++ /dev/null @@ -1,26 +0,0 @@ -# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']} -# instance: {'ipc': 'ipc-2002', 'domain': 'driverlog-strips-automatic', 'instance': 18} -# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/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', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'] -# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner -# exit code: 1 -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head: - requires(feature(actionCosts)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head: - requires(feature(axiomRules)) - -/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head: - requires(feature(conditionalEffects)) - -Traceback (most recent call last): - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in - Planner().run(options, clingo_options) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run - length = scheduler.next(result) - File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next - first = self.__next_runs[0] -IndexError: list index out of range -# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /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 && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2 -FINISHED CPU 184.25 MEM 33472 MAXMEM 8007832 STALE 1 MAXMEM_RSS 7489216 - - diff --git a/fd-pb-e2/ipc-2002_driverlog-strips-automatic_18.out b/fd-pb-e2/ipc-2002_driverlog-strips-automatic_18.out deleted file mode 100644 index eb539c243..000000000 --- a/fd-pb-e2/ipc-2002_driverlog-strips-automatic_18.out +++ /dev/null @@ -1,138 +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.050s CPU, 0.043s wall-clock] -Normalizing task... [0.000s CPU, 0.002s wall-clock] -Instantiating... -Generating Datalog program... [0.020s CPU, 0.017s wall-clock] -Normalizing Datalog program... -Normalizing Datalog program: [0.010s CPU, 0.019s wall-clock] -Preparing model... [0.040s CPU, 0.042s wall-clock] -Generated 35 rules. -Computing model... [0.980s CPU, 0.978s 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.885s wall-clock] -Computing fact groups... -Finding invariants... -11 initial candidates -Finding invariants: [0.050s CPU, 0.044s wall-clock] -Checking invariant weight... [0.000s CPU, 0.004s wall-clock] -Instantiating groups... [0.110s CPU, 0.101s wall-clock] -Collecting mutex groups... [0.000s CPU, 0.006s wall-clock] -Choosing groups... -5 uncovered facts -Choosing groups: [0.020s CPU, 0.017s wall-clock] -Building translation key... [0.010s CPU, 0.011s wall-clock] -Computing fact groups: [0.240s CPU, 0.231s wall-clock] -Building STRIPS to SAS dictionary... [0.000s CPU, 0.005s wall-clock] -Building dictionary for full mutex groups... [0.000s CPU, 0.004s wall-clock] -Building mutex information... -Building mutex information: [0.010s CPU, 0.006s wall-clock] -Translating task... -Processing axioms... -Simplifying axioms... [0.000s CPU, 0.000s wall-clock] -Processing axioms: [0.100s CPU, 0.102s wall-clock] -Translating task: [2.010s CPU, 2.008s 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.006s 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.250s 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.680s CPU, 0.753s wall-clock] -Done! [7.210s CPU, 7.278s wall-clock] -planner.py version 0.0.1 - -Time: 29.83s -Memory: 1680MB - -Iteration 1 -Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Solving... -Solving Time: 0.11s -Memory: 1680MB (+0MB) -UNSAT -Iteration Time: 0.11s - -Iteration 2 -Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 0 -Expected Memory: 1680MB -Grounding... [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('check', [5])] -Grounding Time: 66.24s -Memory: 7079MB (+5399MB) -Unblocking actions... -Solving... -Solving Time: 14.86s -Memory: 7463MB (+384MB) -UNSAT -Iteration Time: 134.85s - -Iteration 3 -Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 5 -Expected Memory: 13246.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 4 -Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 5 -Expected Memory: 19029.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 5 -Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)] -Grounded Until: 5 -Expected Memory: 24812.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 6 -Queue: [(5,25,0,True), (6,30,0,True)] -Grounded Until: 5 -Expected Memory: 30595.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 7 -Queue: [(6,30,0,True)] -Grounded Until: 5 -Expected Memory: 36378.0MB -Skipping: not enough memory for grounding... - -Iteration Time: 0.00s - -Iteration 8 -