Remove results with errors

These results are related to domains that use action costs. However,
the encodings currently don’t support this feature. For this reason,
these results were all incorrect and needed to be removed.

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_1.env

@@ -1,53 +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-2011/domains/barman-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-1.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: barman-sequential-satisficing
-  instance: 1
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_1.err

@@ -1,9 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'barman-sequential-satisficing', 'instance': 1}
-# 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-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-1.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-1.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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 5.51 MEM 0 MAXMEM 126284 STALE 1 MAXMEM_RSS 69928
-<time name="ALL">5440</time>
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_10.env

@@ -1,53 +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-2011/domains/barman-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-10.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: barman-sequential-satisficing
-  instance: 10
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_10.err

@@ -1,9 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'barman-sequential-satisficing', '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-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-10.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 6.90 MEM 0 MAXMEM 141668 STALE 1 MAXMEM_RSS 85304
-<time name="ALL">6710</time>
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_11.env

@@ -1,53 +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-2011/domains/barman-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-11.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: barman-sequential-satisficing
-  instance: 11
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_11.err

@@ -1,9 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'barman-sequential-satisficing', 'instance': 11}
-# 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-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-11.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-11.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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 6.61 MEM 33472 MAXMEM 141668 STALE 1 MAXMEM_RSS 85396
-<time name="ALL">6470</time>
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_12.env

@@ -1,53 +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-2011/domains/barman-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-12.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: barman-sequential-satisficing
-  instance: 12
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_12.err

@@ -1,9 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'barman-sequential-satisficing', 'instance': 12}
-# 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-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-12.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-12.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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 6.54 MEM 33472 MAXMEM 141668 STALE 1 MAXMEM_RSS 84996
-<time name="ALL">6450</time>
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_13.env

@@ -1,53 +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-2011/domains/barman-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-13.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: barman-sequential-satisficing
-  instance: 13
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_13.err

@@ -1,9 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'barman-sequential-satisficing', 'instance': 13}
-# 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-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-13.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-13.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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 7.18 MEM 33472 MAXMEM 148108 STALE 1 MAXMEM_RSS 91800
-<time name="ALL">7080</time>
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_14.env

@@ -1,53 +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-2011/domains/barman-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-14.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: barman-sequential-satisficing
-  instance: 14
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_14.err

@@ -1,9 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'barman-sequential-satisficing', 'instance': 14}
-# 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-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-14.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-14.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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 7.24 MEM 33728 MAXMEM 148108 STALE 1 MAXMEM_RSS 91608
-<time name="ALL">7150</time>
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_15.env

@@ -1,53 +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-2011/domains/barman-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-15.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: barman-sequential-satisficing
-  instance: 15
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_15.err

@@ -1,9 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'barman-sequential-satisficing', '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-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-15.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 7.26 MEM 0 MAXMEM 148108 STALE 1 MAXMEM_RSS 91720
-<time name="ALL">7190</time>
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_16.env

@@ -1,53 +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-2011/domains/barman-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-16.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: barman-sequential-satisficing
-  instance: 16
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_16.err

@@ -1,9 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'barman-sequential-satisficing', 'instance': 16}
-# 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-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-16.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-16.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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 7.24 MEM 33472 MAXMEM 148108 STALE 1 MAXMEM_RSS 91652
-<time name="ALL">7120</time>
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_17.env

@@ -1,53 +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-2011/domains/barman-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-17.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: barman-sequential-satisficing
-  instance: 17
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_17.err

@@ -1,9 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'barman-sequential-satisficing', '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-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-17.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 7.69 MEM 33472 MAXMEM 152212 STALE 1 MAXMEM_RSS 95504
-<time name="ALL">7650</time>
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_18.env

@@ -1,53 +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-2011/domains/barman-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-18.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: barman-sequential-satisficing
-  instance: 18
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_18.err

@@ -1,9 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'barman-sequential-satisficing', '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-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-18.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 7.77 MEM 33472 MAXMEM 152212 STALE 1 MAXMEM_RSS 95416
-<time name="ALL">7570</time>
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_19.env

@@ -1,53 +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-2011/domains/barman-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-19.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: barman-sequential-satisficing
-  instance: 19
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_19.err

@@ -1,9 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'barman-sequential-satisficing', 'instance': 19}
-# 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-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-19.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-19.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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 7.55 MEM 0 MAXMEM 152212 STALE 1 MAXMEM_RSS 95656
-<time name="ALL">7400</time>
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_2.env

@@ -1,53 +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-2011/domains/barman-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-2.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: barman-sequential-satisficing
-  instance: 2
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_2.err

@@ -1,9 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'barman-sequential-satisficing', '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-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-2.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 5.31 MEM 33472 MAXMEM 126284 STALE 1 MAXMEM_RSS 69848
-<time name="ALL">5240</time>
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_20.env

@@ -1,53 +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-2011/domains/barman-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-20.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: barman-sequential-satisficing
-  instance: 20
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_20.err

@@ -1,9 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'barman-sequential-satisficing', '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-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-20.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 7.59 MEM 33472 MAXMEM 152212 STALE 1 MAXMEM_RSS 95312
-<time name="ALL">7540</time>
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_3.env

@@ -1,53 +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-2011/domains/barman-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-3.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: barman-sequential-satisficing
-  instance: 3
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_3.err

@@ -1,9 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'barman-sequential-satisficing', 'instance': 3}
-# 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-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-3.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-3.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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 5.55 MEM 33472 MAXMEM 126284 STALE 1 MAXMEM_RSS 69800
-<time name="ALL">5460</time>
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_4.env

@@ -1,53 +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-2011/domains/barman-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-4.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: barman-sequential-satisficing
-  instance: 4
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_4.err

@@ -1,9 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'barman-sequential-satisficing', 'instance': 4}
-# 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-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-4.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-4.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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 5.50 MEM 0 MAXMEM 126284 STALE 1 MAXMEM_RSS 69828
-<time name="ALL">5430</time>
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_5.env

@@ -1,53 +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-2011/domains/barman-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-5.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: barman-sequential-satisficing
-  instance: 5
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_5.err

@@ -1,9 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'barman-sequential-satisficing', 'instance': 5}
-# 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-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-5.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-5.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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 5.94 MEM 33728 MAXMEM 131788 STALE 1 MAXMEM_RSS 75592
-<time name="ALL">5820</time>
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_6.env

@@ -1,53 +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-2011/domains/barman-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-6.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: barman-sequential-satisficing
-  instance: 6
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_6.err

@@ -1,9 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'barman-sequential-satisficing', '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-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-6.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 6.54 MEM 33472 MAXMEM 131788 STALE 1 MAXMEM_RSS 75360
-<time name="ALL">6460</time>
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_7.env

@@ -1,53 +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-2011/domains/barman-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-7.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: barman-sequential-satisficing
-  instance: 7
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_7.err

@@ -1,9 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'barman-sequential-satisficing', '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-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-7.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 5.75 MEM 33728 MAXMEM 131788 STALE 1 MAXMEM_RSS 75632
-<time name="ALL">5700</time>
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_8.env

@@ -1,53 +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-2011/domains/barman-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-8.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: barman-sequential-satisficing
-  instance: 8
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_8.err

@@ -1,9 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'barman-sequential-satisficing', '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-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-8.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 5.95 MEM 33472 MAXMEM 131788 STALE 0 MAXMEM_RSS 75224
-<time name="ALL">5890</time>
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_9.env

@@ -1,53 +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-2011/domains/barman-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-9.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: barman-sequential-satisficing
-  instance: 9
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_barman-sequential-satisficing_9.err

@@ -1,9 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'barman-sequential-satisficing', '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-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-9.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 6.89 MEM 33728 MAXMEM 141668 STALE 1 MAXMEM_RSS 85312
-<time name="ALL">6820</time>
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_1.env

@@ -1,53 +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-2011/domains/elevator-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-1.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: elevator-sequential-satisficing
-  instance: 1
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_1.err

@@ -1,24 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'elevator-sequential-satisficing', 'instance': 1}
-# 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-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-1.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-/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)
-
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-1.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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 6.20 MEM 33472 MAXMEM 135536 STALE 1 MAXMEM_RSS 79468
-<time name="ALL">6110</time>
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_10.env

@@ -1,53 +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-2011/domains/elevator-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-10.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: elevator-sequential-satisficing
-  instance: 10
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_10.err

@@ -1,24 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'elevator-sequential-satisficing', '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-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-10.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-/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)
-
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 26.48 MEM 0 MAXMEM 349288 STALE 1 MAXMEM_RSS 292516
-<time name="ALL">26330</time>
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_11.env

@@ -1,53 +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-2011/domains/elevator-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-11.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: elevator-sequential-satisficing
-  instance: 11
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_11.err

@@ -1,24 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'elevator-sequential-satisficing', 'instance': 11}
-# 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-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-11.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-/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)
-
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-11.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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 40.90 MEM 33472 MAXMEM 544560 STALE 1 MAXMEM_RSS 487580
-<time name="ALL">40780</time>
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_12.env

@@ -1,53 +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-2011/domains/elevator-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-12.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: elevator-sequential-satisficing
-  instance: 12
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_12.err

@@ -1,24 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'elevator-sequential-satisficing', 'instance': 12}
-# 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-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-12.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-/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)
-
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-12.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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 43.77 MEM 33472 MAXMEM 578360 STALE 1 MAXMEM_RSS 521832
-<time name="ALL">43680</time>
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_13.env

@@ -1,53 +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-2011/domains/elevator-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-13.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: elevator-sequential-satisficing
-  instance: 13
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_13.err

@@ -1,24 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'elevator-sequential-satisficing', 'instance': 13}
-# 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-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-13.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-/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)
-
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-13.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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 47.34 MEM 33472 MAXMEM 612032 STALE 1 MAXMEM_RSS 555244
-<time name="ALL">47250</time>
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_14.env

@@ -1,53 +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-2011/domains/elevator-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-14.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: elevator-sequential-satisficing
-  instance: 14
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_14.err

@@ -1,24 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'elevator-sequential-satisficing', 'instance': 14}
-# 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-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-14.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-/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)
-
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-14.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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 49.39 MEM 33472 MAXMEM 645820 STALE 1 MAXMEM_RSS 589216
-<time name="ALL">49240</time>
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_15.env

@@ -1,53 +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-2011/domains/elevator-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-15.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: elevator-sequential-satisficing
-  instance: 15
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_15.err

@@ -1,24 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'elevator-sequential-satisficing', '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-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-15.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-/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)
-
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 52.83 MEM 33472 MAXMEM 679624 STALE 1 MAXMEM_RSS 623592
-<time name="ALL">52680</time>
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_16.env

@@ -1,53 +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-2011/domains/elevator-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-16.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: elevator-sequential-satisficing
-  instance: 16
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_16.err

@@ -1,24 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'elevator-sequential-satisficing', 'instance': 16}
-# 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-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-16.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-/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)
-
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-16.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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 49.83 MEM 0 MAXMEM 635060 STALE 1 MAXMEM_RSS 579256
-<time name="ALL">49780</time>
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_17.env

@@ -1,53 +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-2011/domains/elevator-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-17.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: elevator-sequential-satisficing
-  instance: 17
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_17.err

@@ -1,24 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'elevator-sequential-satisficing', '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-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-17.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-/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)
-
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 56.39 MEM 33472 MAXMEM 702464 STALE 1 MAXMEM_RSS 645736
-<time name="ALL">56320</time>
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_18.env

@@ -1,53 +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-2011/domains/elevator-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-18.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: elevator-sequential-satisficing
-  instance: 18
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_18.err

@@ -1,24 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'elevator-sequential-satisficing', '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-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-18.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-/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)
-
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 62.23 MEM 33472 MAXMEM 771864 STALE 1 MAXMEM_RSS 713720
-<time name="ALL">62140</time>
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_19.env

@@ -1,53 +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-2011/domains/elevator-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-19.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: elevator-sequential-satisficing
-  instance: 19
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_19.err

@@ -1,24 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'elevator-sequential-satisficing', 'instance': 19}
-# 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-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-19.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-/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)
-
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-19.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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 66.89 MEM 0 MAXMEM 835456 STALE 1 MAXMEM_RSS 778164
-<time name="ALL">66750</time>
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_2.env

@@ -1,53 +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-2011/domains/elevator-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-2.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: elevator-sequential-satisficing
-  instance: 2
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_2.err

@@ -1,24 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'elevator-sequential-satisficing', '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-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-2.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-/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)
-
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 14.15 MEM 33472 MAXMEM 230064 STALE 1 MAXMEM_RSS 173744
-<time name="ALL">14020</time>
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_20.env

@@ -1,53 +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-2011/domains/elevator-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-20.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: elevator-sequential-satisficing
-  instance: 20
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_20.err

@@ -1,24 +0,0 @@
-# configuration: {'id': 'gc-ta1-tt1', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1'], 'instanceSets': ['lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2011', 'domain': 'elevator-sequential-satisficing', '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-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-20.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=0', '--shallow', '--use-heuristic', '--test-until-not-sat', '--test=0', '--test-add=1', '--test-times=1']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-/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)
-
-# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/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 --test-until-not-sat  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1  --test=- --test=/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/test.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/test_files/block_forall_t.lp --test-once  --heuristic=Domain /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/heuristic.lp  -c _shallow=1  -c _closure=3   -c _parallel=0 
-FINISHED CPU 72.17 MEM 33472 MAXMEM 897928 STALE 1 MAXMEM_RSS 840728
-<time name="ALL">72050</time>
-

gc-ta1-tt1/ipc-2011_elevator-sequential-satisficing_3.env

@@ -1,53 +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-2011/domains/elevator-sequential-satisficing/domain.pddl
-- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-3.pddl
-- --stats
-- --verbose
-- --print-call
-- -m 8192
-- --translate
-- -B 0.9
-- --parallel=0
-- --shallow
-- --use-heuristic
-- --test-until-not-sat
-- --test=0
-- --test-add=1
-- --test-times=1
-configuration:
-  id: gc-ta1-tt1
-  instanceSets:
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - -m 8192
-  - --translate
-  - -B 0.9
-  - --parallel=0
-  - --shallow
-  - --use-heuristic
-  - --test-until-not-sat
-  - --test=0
-  - --test-add=1
-  - --test-times=1
-exitCode: 0
-instance:
-  domain: elevator-sequential-satisficing
-  instance: 3
-  ipc: ipc-2011
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-