Remove Madagascar results with memouts

Madagascar automatically manages its memory consumption in order not to have memouts. The memouts that were recorded by the benchmark runner are the result of a difference in comupting memory consumption between the benchmark runner and Madagascar. For this reason, these results are not representative for Madagascar, and they will be redone with a softer memory limit (with an extra margin of 256 MB).
2017-11-29 17:39:39 +01:00 · 2017-11-29 17:39:39 +01:00 · 583c544ec3
commit 583c544ec3
parent 766efcde6a
105 changed files with 0 additions and 2834 deletions
--- a/m-m/ipc-1998_mystery-round-1-strips_10.env
+++ b/m-m/ipc-1998_mystery-round-1-strips_10.env
@ -1,35 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-10.pddl
- --stats
- --verbose
- --print-call
- --madagascar-M
-configuration:
-  id: m-m
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-M
-exitCode: 0
-instance:
-  domain: mystery-round-1-strips
-  instance: 10
-  ipc: ipc-1998
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 517f2c0422a36582df17ecebb08e879b170cdfe2 (2017-11-21 02:23:06 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-m/ipc-1998_mystery-round-1-strips_10.err
+++ b/m-m/ipc-1998_mystery-round-1-strips_10.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-m', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-M'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances']}
-# instance: {'ipc': 'ipc-1998', 'domain': 'mystery-round-1-strips', 'instance': 10}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-10.pddl', '--stats', '--verbose', '--print-call', '--madagascar-M']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 116.79 MEM 8060880 MAXMEM 8060880 STALE 0 MAXMEM_RSS 5636800
-<time name="ALL">116820</time>
-
--- a/m-m/ipc-1998_mystery-round-1-strips_10.out
+++ b/m-m/ipc-1998_mystery-round-1-strips_10.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:03:18 amd64 1-core
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-10.pddlignoring --stats
-ignoring --verbose
-
-Domain: mystery-strips
-Problem: strips-mysty-x-10
-Parser: 42174 ground actions and 1546 state variables
-Invariants: 0 1 2 3 4 5 6  1.00 secs
-Goal: conjunctive
-Simplified: 36738 ground actions and 1346 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-1998_mystery-prime-round-1-strips_14.env
+++ b/m-mp/ipc-1998_mystery-prime-round-1-strips_14.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-prime-round-1-strips/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-prime-round-1-strips/instances/instance-14.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: mystery-prime-round-1-strips
-  instance: 14
-  ipc: ipc-1998
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-1998_mystery-prime-round-1-strips_14.err
+++ b/m-mp/ipc-1998_mystery-prime-round-1-strips_14.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-1998', 'domain': 'mystery-prime-round-1-strips', 'instance': 14}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-prime-round-1-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-prime-round-1-strips/instances/instance-14.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 35.35 MEM 8532280 MAXMEM 8532280 STALE 0 MAXMEM_RSS 5065160
-<time name="ALL">35370</time>
-
--- a/m-mp/ipc-1998_mystery-prime-round-1-strips_14.out
+++ b/m-mp/ipc-1998_mystery-prime-round-1-strips_14.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-prime-round-1-strips/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-prime-round-1-strips/instances/instance-14.pddlignoring --stats
-ignoring --verbose
-
-Domain: mystery-prime-strips
-Problem: strips-mprime-x-14
-Parser: 193626 ground actions and 2199 state variables
-Invariants: 0 1 2 3 4 5  0.40 secs
-Goal: conjunctive
-Simplified: 60906 ground actions and 1671 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-1998_mystery-prime-round-1-strips_18.env
+++ b/m-mp/ipc-1998_mystery-prime-round-1-strips_18.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-prime-round-1-strips/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-prime-round-1-strips/instances/instance-18.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: mystery-prime-round-1-strips
-  instance: 18
-  ipc: ipc-1998
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-1998_mystery-prime-round-1-strips_18.err
+++ b/m-mp/ipc-1998_mystery-prime-round-1-strips_18.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-1998', 'domain': 'mystery-prime-round-1-strips', 'instance': 18}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-prime-round-1-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-prime-round-1-strips/instances/instance-18.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 25.28 MEM 8568496 MAXMEM 8568496 STALE 0 MAXMEM_RSS 4739196
-<time name="ALL">25290</time>
-
--- a/m-mp/ipc-1998_mystery-prime-round-1-strips_18.out
+++ b/m-mp/ipc-1998_mystery-prime-round-1-strips_18.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-prime-round-1-strips/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-prime-round-1-strips/instances/instance-18.pddlignoring --stats
-ignoring --verbose
-
-Domain: mystery-prime-strips
-Problem: strips-mprime-x-18
-Parser: 115962 ground actions and 957 state variables
-Invariants: 0 1 2 3 4 5 6  0.18 secs
-Goal: conjunctive
-Simplified: 30366 ground actions and 619 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-1998_mystery-round-1-strips_14.env
+++ b/m-mp/ipc-1998_mystery-round-1-strips_14.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-14.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: mystery-round-1-strips
-  instance: 14
-  ipc: ipc-1998
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-1998_mystery-round-1-strips_14.err
+++ b/m-mp/ipc-1998_mystery-round-1-strips_14.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-1998', 'domain': 'mystery-round-1-strips', 'instance': 14}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-14.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 68.03 MEM 8540504 MAXMEM 8540504 STALE 0 MAXMEM_RSS 5437852
-<time name="ALL">68050</time>
-
--- a/m-mp/ipc-1998_mystery-round-1-strips_14.out
+++ b/m-mp/ipc-1998_mystery-round-1-strips_14.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-14.pddlignoring --stats
-ignoring --verbose
-
-Domain: mystery-strips
-Problem: strips-mysty-x-14
-Parser: 52506 ground actions and 1821 state variables
-Invariants: 0 1 2 3 4 5 6  0.34 secs
-Goal: conjunctive
-Simplified: 45872 ground actions and 1601 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-1998_mystery-round-1-strips_4.env
+++ b/m-mp/ipc-1998_mystery-round-1-strips_4.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-4.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: mystery-round-1-strips
-  instance: 4
-  ipc: ipc-1998
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-1998_mystery-round-1-strips_4.err
+++ b/m-mp/ipc-1998_mystery-round-1-strips_4.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-1998', 'domain': 'mystery-round-1-strips', 'instance': 4}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-4.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 0.96 MEM 8430248 MAXMEM 8430248 STALE 0 MAXMEM_RSS 509156
-<time name="ALL">980</time>
-
--- a/m-mp/ipc-1998_mystery-round-1-strips_4.out
+++ b/m-mp/ipc-1998_mystery-round-1-strips_4.out
@ -1,221 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-4.pddlignoring --stats
-ignoring --verbose
-
-Domain: mystery-strips
-Problem: strips-mysty-x-4
-Parser: 252 ground actions and 197 state variables
-Invariants: 0 1 2 3 4 5 6 7 8  0.01 secs
-Goal: conjunctive
-Simplified: 174 ground actions and 118 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.00 secs (max SCC size 1)
-Plan type: E-step
-				Allocated 32 MB permanent (total 122 MB)
-Horizon 0: 118 variables
-0 UNSAT (0 decisions 0 conflicts)
-Horizon 5: 1578 variables
-5 UNSAT (0 decisions 0 conflicts)
-Horizon 10: 3038 variables
-10 UNSAT (0 decisions 0 conflicts)
-Horizon 15: 4498 variables
-15 UNSAT (0 decisions 0 conflicts)
-Horizon 20: 5958 variables
-20 UNSAT (0 decisions 0 conflicts)
-Horizon 25: 7418 variables
-25 UNSAT (0 decisions 0 conflicts)
-Horizon 30: 8878 variables
-30 UNSAT (0 decisions 0 conflicts)
-Horizon 35: 10338 variables
-35 UNSAT (0 decisions 0 conflicts)
-Horizon 40: 11798 variables
-40 UNSAT (0 decisions 0 conflicts)
-Horizon 45: 13258 variables
-45 UNSAT (0 decisions 0 conflicts)
-Horizon 50: 14718 variables
-50 UNSAT (0 decisions 0 conflicts)
-Horizon 55: 16178 variables
-55 UNSAT (0 decisions 0 conflicts)
-Horizon 60: 17638 variables
-60 UNSAT (0 decisions 0 conflicts)
-Horizon 65: 19098 variables
-65 UNSAT (0 decisions 0 conflicts)
-Horizon 70: 20558 variables
-70 UNSAT (0 decisions 0 conflicts)
-Horizon 75: 22018 variables
-75 UNSAT (0 decisions 0 conflicts)
-Horizon 80: 23478 variables
-80 UNSAT (0 decisions 0 conflicts)
-Horizon 85: 24938 variables
-85 UNSAT (0 decisions 0 conflicts)
-Horizon 90: 26398 variables
-90 UNSAT (0 decisions 0 conflicts)
-Horizon 95: 27858 variables
-95 UNSAT (0 decisions 0 conflicts)
-Horizon 100: 29318 variables
-100 UNSAT (0 decisions 0 conflicts)
-Horizon 105: 30778 variables
-105 UNSAT (0 decisions 0 conflicts)
-Horizon 110: 32238 variables
-110 UNSAT (0 decisions 0 conflicts)
-Horizon 115: 33698 variables
-115 UNSAT (0 decisions 0 conflicts)
-Horizon 120: 35158 variables
-120 UNSAT (0 decisions 0 conflicts)
-Horizon 125: 36618 variables
-125 UNSAT (0 decisions 0 conflicts)
-Horizon 130: 38078 variables
-130 UNSAT (0 decisions 0 conflicts)
-Horizon 135: 39538 variables
-135 UNSAT (0 decisions 0 conflicts)
-Horizon 140: 40998 variables
-140 UNSAT (0 decisions 0 conflicts)
-Horizon 145: 42458 variables
-145 UNSAT (0 decisions 0 conflicts)
-Horizon 150: 43918 variables
-150 UNSAT (0 decisions 0 conflicts)
-Horizon 155: 45378 variables
-155 UNSAT (0 decisions 0 conflicts)
-Horizon 160: 46838 variables
-160 UNSAT (0 decisions 0 conflicts)
-Horizon 165: 48298 variables
-165 UNSAT (0 decisions 0 conflicts)
-Horizon 170: 49758 variables
-170 UNSAT (0 decisions 0 conflicts)
-Horizon 175: 51218 variables
-175 UNSAT (0 decisions 0 conflicts)
-Horizon 180: 52678 variables
-180 UNSAT (0 decisions 0 conflicts)
-				Allocated 32 MB permanent (total 3116 MB)
-Horizon 185: 54138 variables
-185 UNSAT (0 decisions 0 conflicts)
-Horizon 190: 55598 variables
-190 UNSAT (0 decisions 0 conflicts)
-Horizon 195: 57058 variables
-195 UNSAT (0 decisions 0 conflicts)
-Horizon 200: 58518 variables
-200 UNSAT (0 decisions 0 conflicts)
-Horizon 205: 59978 variables
-205 UNSAT (0 decisions 0 conflicts)
-Horizon 210: 61438 variables
-210 UNSAT (0 decisions 0 conflicts)
-Horizon 215: 62898 variables
-215 UNSAT (0 decisions 0 conflicts)
-Horizon 220: 64358 variables
-220 UNSAT (0 decisions 0 conflicts)
-Horizon 225: 65818 variables
-225 UNSAT (0 decisions 0 conflicts)
-Horizon 230: 67278 variables
-230 UNSAT (0 decisions 0 conflicts)
-Horizon 235: 68738 variables
-235 UNSAT (0 decisions 0 conflicts)
-Horizon 240: 70198 variables
-240 UNSAT (0 decisions 0 conflicts)
-Horizon 245: 71658 variables
-245 UNSAT (0 decisions 0 conflicts)
-Horizon 250: 73118 variables
-250 UNSAT (0 decisions 0 conflicts)
-Horizon 255: 74578 variables
-255 UNSAT (0 decisions 0 conflicts)
-				Allocated 32 MB permanent (total 4352 MB)
-Horizon 260: 76038 variables
-260 UNSAT (0 decisions 0 conflicts)
-Horizon 265: 77498 variables
-265 UNSAT (0 decisions 0 conflicts)
-Horizon 270: 78958 variables
-270 UNSAT (0 decisions 0 conflicts)
-Horizon 275: 80418 variables
-275 UNSAT (0 decisions 0 conflicts)
-Horizon 280: 81878 variables
-280 UNSAT (0 decisions 0 conflicts)
-Horizon 285: 83338 variables
-285 UNSAT (0 decisions 0 conflicts)
-Horizon 290: 84798 variables
-290 UNSAT (0 decisions 0 conflicts)
-Horizon 295: 86258 variables
-295 UNSAT (0 decisions 0 conflicts)
-Horizon 300: 87718 variables
-300 UNSAT (0 decisions 0 conflicts)
-Horizon 305: 89178 variables
-305 UNSAT (0 decisions 0 conflicts)
-Horizon 310: 90638 variables
-310 UNSAT (0 decisions 0 conflicts)
-				Allocated 32 MB permanent (total 5278 MB)
-Horizon 315: 92098 variables
-315 UNSAT (0 decisions 0 conflicts)
-Horizon 320: 93558 variables
-320 UNSAT (0 decisions 0 conflicts)
-Horizon 325: 95018 variables
-325 UNSAT (0 decisions 0 conflicts)
-Horizon 330: 96478 variables
-330 UNSAT (0 decisions 0 conflicts)
-Horizon 335: 97938 variables
-335 UNSAT (0 decisions 0 conflicts)
-Horizon 340: 99398 variables
-340 UNSAT (0 decisions 0 conflicts)
-Horizon 345: 100858 variables
-345 UNSAT (0 decisions 0 conflicts)
-Horizon 350: 102318 variables
-350 UNSAT (0 decisions 0 conflicts)
-Horizon 355: 103778 variables
-355 UNSAT (0 decisions 0 conflicts)
-Horizon 360: 105238 variables
-360 UNSAT (0 decisions 0 conflicts)
-				Allocated 32 MB permanent (total 6133 MB)
-Horizon 365: 106698 variables
-365 UNSAT (0 decisions 0 conflicts)
-Horizon 370: 108158 variables
-370 UNSAT (0 decisions 0 conflicts)
-Horizon 375: 109618 variables
-375 UNSAT (0 decisions 0 conflicts)
-Horizon 380: 111078 variables
-380 UNSAT (0 decisions 0 conflicts)
-Horizon 385: 112538 variables
-385 UNSAT (0 decisions 0 conflicts)
-Horizon 390: 113998 variables
-390 UNSAT (0 decisions 0 conflicts)
-Horizon 395: 115458 variables
-395 UNSAT (0 decisions 0 conflicts)
-Horizon 400: 116918 variables
-400 UNSAT (0 decisions 0 conflicts)
-Horizon 405: 118378 variables
-405 UNSAT (0 decisions 0 conflicts)
-				Allocated 32 MB permanent (total 6913 MB)
-Horizon 410: 119838 variables
-410 UNSAT (0 decisions 0 conflicts)
-Horizon 415: 121298 variables
-415 UNSAT (0 decisions 0 conflicts)
-Horizon 420: 122758 variables
-420 UNSAT (0 decisions 0 conflicts)
-Horizon 425: 124218 variables
-425 UNSAT (0 decisions 0 conflicts)
-Horizon 430: 125678 variables
-430 UNSAT (0 decisions 0 conflicts)
-Horizon 435: 127138 variables
-435 UNSAT (0 decisions 0 conflicts)
-Horizon 440: 128598 variables
-440 UNSAT (0 decisions 0 conflicts)
-Horizon 445: 130058 variables
-445 UNSAT (0 decisions 0 conflicts)
-				Allocated 32 MB permanent (total 7615 MB)
-Horizon 450: 131518 variables
-450 UNSAT (0 decisions 0 conflicts)
-Horizon 455: 132978 variables
-455 UNSAT (0 decisions 0 conflicts)
-Horizon 460: 134438 variables
-460 UNSAT (0 decisions 0 conflicts)
-Horizon 465: 135898 variables
-465 UNSAT (0 decisions 0 conflicts)
-Horizon 470: 137358 variables
-470 UNSAT (0 decisions 0 conflicts)
-Horizon 475: 138818 variables
-475 UNSAT (0 decisions 0 conflicts)
-Horizon 480: 140278 variables
-480 UNSAT (0 decisions 0 conflicts)
-				Allocated 32 MB permanent (total 8238 MB)
-Horizon 485: 141738 variables
-ATTENTION: Memory bound 8192.00 MB reached, 8238.72 MB allocated
-485 UNSAT (0 decisions 0 conflicts)
-ATTENTION: Horizon 490 will not be started: memory allocated 8238.72 MB limit 8192.00 MB
-						GC: 226.46 MB
-
--- a/m-mp/ipc-1998_mystery-round-1-strips_7.env
+++ b/m-mp/ipc-1998_mystery-round-1-strips_7.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-7.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: mystery-round-1-strips
-  instance: 7
-  ipc: ipc-1998
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-1998_mystery-round-1-strips_7.err
+++ b/m-mp/ipc-1998_mystery-round-1-strips_7.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-1998', 'domain': 'mystery-round-1-strips', 'instance': 7}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-7.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 2.73 MEM 8153516 MAXMEM 8153516 STALE 0 MAXMEM_RSS 547548
-<time name="ALL">2750</time>
-
--- a/m-mp/ipc-1998_mystery-round-1-strips_7.out
+++ b/m-mp/ipc-1998_mystery-round-1-strips_7.out
@ -1,138 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-7.pddlignoring --stats
-ignoring --verbose
-
-Domain: mystery-strips
-Problem: strips-mysty-x-7
-Parser: 1128 ground actions and 426 state variables
-Invariants: 0 1 2 3 4 5  0.04 secs
-Goal: conjunctive
-Simplified: 168 ground actions and 181 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.00 secs (max SCC size 1)
-Plan type: E-step
-WARNING: Emitting top-level constant FALSE.
-				Allocated 32 MB permanent (total 123 MB)
-Horizon 0: 181 variables
-0 UNSAT (0 decisions 0 conflicts)
-Horizon 5: 1926 variables
-5 UNSAT (0 decisions 0 conflicts)
-Horizon 10: 3671 variables
-10 UNSAT (0 decisions 0 conflicts)
-Horizon 15: 5416 variables
-15 UNSAT (0 decisions 0 conflicts)
-Horizon 20: 7161 variables
-20 UNSAT (0 decisions 0 conflicts)
-Horizon 25: 8906 variables
-25 UNSAT (0 decisions 0 conflicts)
-Horizon 30: 10651 variables
-30 UNSAT (0 decisions 0 conflicts)
-Horizon 35: 12396 variables
-35 UNSAT (0 decisions 0 conflicts)
-Horizon 40: 14141 variables
-40 UNSAT (0 decisions 0 conflicts)
-Horizon 45: 15886 variables
-45 UNSAT (0 decisions 0 conflicts)
-Horizon 50: 17631 variables
-50 UNSAT (0 decisions 0 conflicts)
-Horizon 55: 19376 variables
-55 UNSAT (0 decisions 0 conflicts)
-Horizon 60: 21121 variables
-60 UNSAT (0 decisions 0 conflicts)
-Horizon 65: 22866 variables
-65 UNSAT (0 decisions 0 conflicts)
-Horizon 70: 24611 variables
-70 UNSAT (0 decisions 0 conflicts)
-Horizon 75: 26356 variables
-75 UNSAT (0 decisions 0 conflicts)
-Horizon 80: 28101 variables
-80 UNSAT (0 decisions 0 conflicts)
-Horizon 85: 29846 variables
-85 UNSAT (0 decisions 0 conflicts)
-Horizon 90: 31591 variables
-90 UNSAT (0 decisions 0 conflicts)
-Horizon 95: 33336 variables
-95 UNSAT (0 decisions 0 conflicts)
-Horizon 100: 35081 variables
-100 UNSAT (0 decisions 0 conflicts)
-Horizon 105: 36826 variables
-105 UNSAT (0 decisions 0 conflicts)
-Horizon 110: 38571 variables
-110 UNSAT (0 decisions 0 conflicts)
-Horizon 115: 40316 variables
-115 UNSAT (0 decisions 0 conflicts)
-Horizon 120: 42061 variables
-120 UNSAT (0 decisions 0 conflicts)
-Horizon 125: 43806 variables
-125 UNSAT (0 decisions 0 conflicts)
-Horizon 130: 45551 variables
-130 UNSAT (0 decisions 0 conflicts)
-Horizon 135: 47296 variables
-135 UNSAT (0 decisions 0 conflicts)
-Horizon 140: 49041 variables
-140 UNSAT (0 decisions 0 conflicts)
-Horizon 145: 50786 variables
-145 UNSAT (0 decisions 0 conflicts)
-Horizon 150: 52531 variables
-150 UNSAT (0 decisions 0 conflicts)
-Horizon 155: 54276 variables
-155 UNSAT (0 decisions 0 conflicts)
-Horizon 160: 56021 variables
-160 UNSAT (0 decisions 0 conflicts)
-Horizon 165: 57766 variables
-165 UNSAT (0 decisions 0 conflicts)
-				Allocated 32 MB permanent (total 2889 MB)
-Horizon 170: 59511 variables
-170 UNSAT (0 decisions 0 conflicts)
-Horizon 175: 61256 variables
-175 UNSAT (0 decisions 0 conflicts)
-Horizon 180: 63001 variables
-180 UNSAT (0 decisions 0 conflicts)
-Horizon 185: 64746 variables
-185 UNSAT (0 decisions 0 conflicts)
-Horizon 190: 66491 variables
-190 UNSAT (0 decisions 0 conflicts)
-Horizon 195: 68236 variables
-195 UNSAT (0 decisions 0 conflicts)
-Horizon 200: 69981 variables
-200 UNSAT (0 decisions 0 conflicts)
-Horizon 205: 71726 variables
-205 UNSAT (0 decisions 0 conflicts)
-Horizon 210: 73471 variables
-210 UNSAT (0 decisions 0 conflicts)
-Horizon 215: 75216 variables
-215 UNSAT (0 decisions 0 conflicts)
-Horizon 220: 76961 variables
-220 UNSAT (0 decisions 0 conflicts)
-Horizon 225: 78706 variables
-225 UNSAT (0 decisions 0 conflicts)
-Horizon 230: 80451 variables
-230 UNSAT (0 decisions 0 conflicts)
-Horizon 235: 82196 variables
-235 UNSAT (0 decisions 0 conflicts)
-Horizon 240: 83941 variables
-240 UNSAT (0 decisions 0 conflicts)
-				Allocated 32 MB permanent (total 4131 MB)
-Horizon 245: 85686 variables
-245 UNSAT (0 decisions 0 conflicts)
-Horizon 250: 87431 variables
-250 UNSAT (0 decisions 0 conflicts)
-Horizon 255: 89176 variables
-255 UNSAT (0 decisions 0 conflicts)
-Horizon 260: 90921 variables
-260 UNSAT (0 decisions 0 conflicts)
-Horizon 265: 92666 variables
-265 UNSAT (0 decisions 0 conflicts)
-Horizon 270: 94411 variables
-270 UNSAT (0 decisions 0 conflicts)
-Horizon 275: 96156 variables
-275 UNSAT (0 decisions 0 conflicts)
-Horizon 280: 97901 variables
-280 UNSAT (0 decisions 0 conflicts)
-Horizon 285: 99646 variables
-285 UNSAT (0 decisions 0 conflicts)
-Horizon 290: 101391 variables
-290 UNSAT (0 decisions 0 conflicts)
-Horizon 295: 103136 variables
-295 UNSAT (0 decisions 0 conflicts)
-				Allocated 32 M
--- a/m-mp/ipc-2000_freecell-strips-typed_36.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_36.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-36.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 36
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_36.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_36.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 36}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-36.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 28.34 MEM 8488420 MAXMEM 8488420 STALE 0 MAXMEM_RSS 4840420
-<time name="ALL">28360</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_36.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_36.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-36.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-9-1
-Parser: 61720 ground actions and 1945 state variables
-Invariants: 0 1 2  0.08 secs
-Goal: conjunctive
-Simplified: 17359 ground actions and 268 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_39.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_39.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-39.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 39
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_39.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_39.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 39}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-39.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 30.74 MEM 8419180 MAXMEM 8419180 STALE 0 MAXMEM_RSS 4870060
-<time name="ALL">30760</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_39.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_39.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-39.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-9-4
-Parser: 61720 ground actions and 1945 state variables
-Invariants: 0 1 2  0.09 secs
-Goal: conjunctive
-Simplified: 17329 ground actions and 267 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_40.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_40.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-40.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 40
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_40.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_40.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 40}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-40.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 28.34 MEM 8425300 MAXMEM 8425300 STALE 0 MAXMEM_RSS 4627576
-<time name="ALL">28360</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_40.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_40.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-40.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-9-5
-Parser: 61720 ground actions and 1945 state variables
-Invariants: 0 1 2 3  0.11 secs
-Goal: conjunctive
-Simplified: 17356 ground actions and 268 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_41.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_41.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-41.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 41
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_41.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_41.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 41}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-41.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 31.79 MEM 8528880 MAXMEM 8528880 STALE 0 MAXMEM_RSS 4975648
-<time name="ALL">31810</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_41.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_41.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-41.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-10-1
-Parser: 73048 ground actions and 2313 state variables
-Invariants: 0 1 2 3  0.11 secs
-Goal: conjunctive
-Simplified: 19357 ground actions and 296 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_42.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_42.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-42.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 42
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_42.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_42.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 42}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-42.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 33.12 MEM 8491636 MAXMEM 8491636 STALE 0 MAXMEM_RSS 5008060
-<time name="ALL">33140</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_42.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_42.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-42.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-10-2
-Parser: 73048 ground actions and 2313 state variables
-Invariants: 0 1 2 3  0.10 secs
-Goal: conjunctive
-Simplified: 19326 ground actions and 295 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_43.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_43.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-43.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 43
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_43.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_43.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 43}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-43.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 28.79 MEM 8521748 MAXMEM 8521748 STALE 0 MAXMEM_RSS 4961588
-<time name="ALL">28810</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_43.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_43.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-43.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-10-3
-Parser: 73048 ground actions and 2313 state variables
-Invariants: 0 1 2 3  0.12 secs
-Goal: conjunctive
-Simplified: 19301 ground actions and 294 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_44.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_44.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-44.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 44
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_44.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_44.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 44}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-44.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 31.05 MEM 8458832 MAXMEM 8458832 STALE 0 MAXMEM_RSS 4855664
-<time name="ALL">31070</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_44.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_44.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-44.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-10-4
-Parser: 73048 ground actions and 2313 state variables
-Invariants: 0 1 2 3  0.20 secs
-Goal: conjunctive
-Simplified: 19330 ground actions and 295 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_45.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_45.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-45.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 45
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_45.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_45.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 45}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-45.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 30.76 MEM 8464520 MAXMEM 8464520 STALE 0 MAXMEM_RSS 4715880
-<time name="ALL">30780</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_45.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_45.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-45.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-10-5
-Parser: 73048 ground actions and 2313 state variables
-Invariants: 0 1 2 3  0.13 secs
-Goal: conjunctive
-Simplified: 19357 ground actions and 296 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_46.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_46.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-46.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 46
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_46.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_46.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 46}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-46.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 34.33 MEM 8510840 MAXMEM 8510840 STALE 0 MAXMEM_RSS 5046760
-<time name="ALL">34350</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_46.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_46.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-46.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-11-1
-Parser: 85304 ground actions and 2713 state variables
-Invariants: 0 1 2 3  0.13 secs
-Goal: conjunctive
-Simplified: 21363 ground actions and 324 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_47.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_47.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-47.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 47
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_47.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_47.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 47}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-47.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 34.22 MEM 8505248 MAXMEM 8505248 STALE 0 MAXMEM_RSS 5043100
-<time name="ALL">34240</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_47.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_47.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-47.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-11-2
-Parser: 85304 ground actions and 2713 state variables
-Invariants: 0 1 2 3  0.13 secs
-Goal: conjunctive
-Simplified: 21332 ground actions and 323 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_48.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_48.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-48.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 48
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_48.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_48.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 48}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-48.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 30.75 MEM 8504976 MAXMEM 8504976 STALE 1 MAXMEM_RSS 5045296
-<time name="ALL">30770</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_48.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_48.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-48.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-11-3
-Parser: 85304 ground actions and 2713 state variables
-Invariants: 0 1 2 3  0.14 secs
-Goal: conjunctive
-Simplified: 21329 ground actions and 323 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_49.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_49.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-49.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 49
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_49.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_49.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 49}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-49.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 31.39 MEM 8506216 MAXMEM 8506216 STALE 1 MAXMEM_RSS 5029964
-<time name="ALL">31400</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_49.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_49.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-49.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-11-4
-Parser: 85304 ground actions and 2713 state variables
-Invariants: 0 1 2 3  0.17 secs
-Goal: conjunctive
-Simplified: 21333 ground actions and 323 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_50.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_50.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-50.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 50
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_50.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_50.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 50}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-50.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 34.64 MEM 8476740 MAXMEM 8476740 STALE 0 MAXMEM_RSS 4798636
-<time name="ALL">34670</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_50.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_50.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-50.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-11-5
-Parser: 85304 ground actions and 2713 state variables
-Invariants: 0 1 2 3  0.14 secs
-Goal: conjunctive
-Simplified: 21357 ground actions and 324 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_51.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_51.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-51.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 51
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_51.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_51.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 51}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-51.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 33.15 MEM 8382528 MAXMEM 8382528 STALE 0 MAXMEM_RSS 4974040
-<time name="ALL">33170</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_51.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_51.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-51.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-12-1
-Parser: 98488 ground actions and 3145 state variables
-Invariants: 0 1 2 3  0.14 secs
-Goal: conjunctive
-Simplified: 23362 ground actions and 352 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_52.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_52.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-52.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 52
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_52.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_52.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 52}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-52.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 32.64 MEM 8378052 MAXMEM 8378052 STALE 0 MAXMEM_RSS 4802224
-<time name="ALL">32660</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_52.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_52.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-52.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-12-2
-Parser: 98488 ground actions and 3145 state variables
-Invariants: 0 1 2 3  0.13 secs
-Goal: conjunctive
-Simplified: 23335 ground actions and 351 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_53.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_53.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-53.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 53
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_53.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_53.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 53}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-53.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 29.84 MEM 8380436 MAXMEM 8380436 STALE 0 MAXMEM_RSS 4988940
-<time name="ALL">29850</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_53.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_53.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-53.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-12-3
-Parser: 98488 ground actions and 3145 state variables
-Invariants: 0 1 2 3  0.15 secs
-Goal: conjunctive
-Simplified: 23331 ground actions and 351 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_54.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_54.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-54.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 54
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_54.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_54.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 54}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-54.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 34.44 MEM 8383224 MAXMEM 8383224 STALE 0 MAXMEM_RSS 4892064
-<time name="ALL">34460</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_54.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_54.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-54.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-12-4
-Parser: 98488 ground actions and 3145 state variables
-Invariants: 0 1 2 3  0.15 secs
-Goal: conjunctive
-Simplified: 23364 ground actions and 352 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_55.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_55.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-55.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 55
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_55.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_55.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 55}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-55.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 34.84 MEM 8353400 MAXMEM 8353400 STALE 0 MAXMEM_RSS 4711020
-<time name="ALL">34860</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_55.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_55.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-55.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-12-5
-Parser: 98488 ground actions and 3145 state variables
-Invariants: 0 1 2 3  0.26 secs
-Goal: conjunctive
-Simplified: 23362 ground actions and 352 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_56.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_56.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-56.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 56
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_56.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_56.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 56}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-56.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 33.45 MEM 8155952 MAXMEM 8155952 STALE 0 MAXMEM_RSS 4706700
-<time name="ALL">33470</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_56.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_56.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-56.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-13-1
-Parser: 112600 ground actions and 3609 state variables
-Invariants: 0 1 2 3 4  0.20 secs
-Goal: conjunctive
-Simplified: 25365 ground actions and 380 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_57.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_57.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-57.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 57
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_57.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_57.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 57}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-57.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 37.13 MEM 8190984 MAXMEM 8190984 STALE 0 MAXMEM_RSS 4776172
-<time name="ALL">37140</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_57.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_57.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-57.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-13-2
-Parser: 112600 ground actions and 3609 state variables
-Invariants: 0 1 2 3  0.16 secs
-Goal: conjunctive
-Simplified: 25337 ground actions and 379 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_58.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_58.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-58.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 58
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_58.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_58.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 58}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-58.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 32.00 MEM 8226856 MAXMEM 8226856 STALE 1 MAXMEM_RSS 4955880
-<time name="ALL">32020</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_58.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_58.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-58.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-13-3
-Parser: 112600 ground actions and 3609 state variables
-Invariants: 0 1 2 3  0.16 secs
-Goal: conjunctive
-Simplified: 25333 ground actions and 379 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_59.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_59.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-59.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 59
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_59.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_59.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 59}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-59.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 31.45 MEM 8159112 MAXMEM 8159112 STALE 0 MAXMEM_RSS 4909112
-<time name="ALL">31470</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_59.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_59.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-59.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-13-4
-Parser: 112600 ground actions and 3609 state variables
-Invariants: 0 1 2 3  0.17 secs
-Goal: conjunctive
-Simplified: 25340 ground actions and 379 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2000_freecell-strips-typed_60.env
+++ b/m-mp/ipc-2000_freecell-strips-typed_60.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-60.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: freecell-strips-typed
-  instance: 60
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2000_freecell-strips-typed_60.err
+++ b/m-mp/ipc-2000_freecell-strips-typed_60.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 60}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-60.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 31.44 MEM 8186520 MAXMEM 8186520 STALE 0 MAXMEM_RSS 4955432
-<time name="ALL">31460</time>
-
--- a/m-mp/ipc-2000_freecell-strips-typed_60.out
+++ b/m-mp/ipc-2000_freecell-strips-typed_60.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-60.pddlignoring --stats
-ignoring --verbose
-
-Domain: freecell
-Problem: freecell-13-5
-Parser: 112600 ground actions and 3609 state variables
-Invariants: 0 1 2 3  0.17 secs
-Goal: conjunctive
-Simplified: 25362 ground actions and 380 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mp/ipc-2004_airport-nontemporal-strips_50.env
+++ b/m-mp/ipc-2004_airport-nontemporal-strips_50.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/airport-nontemporal-strips/domains/domain-50.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/airport-nontemporal-strips/instances/instance-50.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
-configuration:
-  id: m-mp
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-Mp
-exitCode: 0
-instance:
-  domain: airport-nontemporal-strips
-  instance: 50
-  ipc: ipc-2004
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mp/ipc-2004_airport-nontemporal-strips_50.err
+++ b/m-mp/ipc-2004_airport-nontemporal-strips_50.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2004', 'domain': 'airport-nontemporal-strips', 'instance': 50}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/airport-nontemporal-strips/domains/domain-50.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/airport-nontemporal-strips/instances/instance-50.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 358.36 MEM 8148348 MAXMEM 8148348 STALE 0 MAXMEM_RSS 5393716
-<time name="ALL">358380</time>
-
--- a/m-mp/ipc-2004_airport-nontemporal-strips_50.out
+++ b/m-mp/ipc-2004_airport-nontemporal-strips_50.out
@ -1,12 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/airport-nontemporal-strips/domains/domain-50.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/airport-nontemporal-strips/instances/instance-50.pddlignoring --stats
-ignoring --verbose
-
-Domain: airport_fixed_structure
-Problem: problem_x
-Parser: 21120 ground actions and 21800 state variables
-Invariants: 0 1 2 3 4 5 6 7 8  107.86 secs
-Goal: conjunctive
-Simplified: 5916 ground actions and 13461 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100
--- a/m-mpc/ipc-1998_mystery-round-1-strips_8.env
+++ b/m-mpc/ipc-1998_mystery-round-1-strips_8.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-8.pddl
- --stats
- --verbose
- --print-call
- --madagascar-MpC
-configuration:
-  id: m-mpc
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-MpC
-exitCode: 0
-instance:
-  domain: mystery-round-1-strips
-  instance: 8
-  ipc: ipc-1998
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mpc/ipc-1998_mystery-round-1-strips_8.err
+++ b/m-mpc/ipc-1998_mystery-round-1-strips_8.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mpc', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-MpC'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-1998', 'domain': 'mystery-round-1-strips', 'instance': 8}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-8.pddl', '--stats', '--verbose', '--print-call', '--madagascar-MpC']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 644.50 MEM 8031756 MAXMEM 8031756 STALE 0 MAXMEM_RSS 6217792
-<time name="ALL">644520</time>
-
--- a/m-mpc/ipc-1998_mystery-round-1-strips_8.out
+++ b/m-mpc/ipc-1998_mystery-round-1-strips_8.out
@ -1,126 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:45:59 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-8.pddlignoring --stats
-ignoring --verbose
-
-Domain: mystery-strips
-Problem: strips-mysty-x-8
-Parser: 6372 ground actions and 513 state variables
-Invariants: 0 1 2 3 4 5 6 7 8  0.06 secs
-Goal: conjunctive
-Simplified: 2970 ground actions and 291 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.03 secs (max SCC size 15)
-Plan type: E-step
-				Allocated 32 MB permanent (total 143 MB)
-Horizon 5: 17876 variables
-				Allocated 32 MB (total 254 MB)
-5 UNSAT (22 decisions 20 conflicts)
-Horizon 7: 24910 variables
-Horizon 10: 35461 variables
-7 UNSAT (140 decisions 110 conflicts)
-Horizon 14: 49529 variables
-Horizon 20: 70631 variables
-Horizon 28: 98767 variables
-Horizon 40: 140971 variables
-Horizon 56: 197243 variables
-Horizon 80: 281651 variables
-Horizon 113: 397712 variables
-				Allocated 32 MB permanent (total 1159 MB)
-Horizon 160: 563011 variables
-Horizon 226: 795133 variables
-				Allocated 32 MB (total 1315 MB)
-				Allocated 32 MB permanent (total 1489 MB)
-Horizon 320: 1125731 variables
-				Allocated 32 MB permanent (total 1692 MB)
-Horizon 452: 1589975 variables
-				Allocated 32 MB (total 1724 MB)
-				Allocated 32 MB permanent (total 1965 MB)
-Horizon 640: 2251171 variables
-				Allocated 32 MB (total 1997 MB)
-				Allocated 32 MB (total 2029 MB)
-				Allocated 32 MB permanent (total 2326 MB)
-				Allocated 32 MB permanent (total 2358 MB)
-Horizon 905: 3183176 variables
-				Allocated 32 MB (total 2390 MB)
-				Allocated 32 MB permanent (total 2764 MB)
-				Allocated 32 MB permanent (total 2796 MB)
-				Allocated 32 MB permanent (total 2828 MB)
-Horizon 1280: 4502051 variables
-				Allocated 32 MB (total 2860 MB)
-				Allocated 32 MB (total 2892 MB)
-				Allocated 32 MB (total 2924 MB)
-				Allocated 32 MB (total 2956 MB)
-				Allocated 32 MB permanent (total 3441 MB)
-				Allocated 32 MB permanent (total 3473 MB)
-				Allocated 32 MB permanent (total 3505 MB)
-Horizon 1810: 6366061 variables
-				Allocated 32 MB (total 3537 MB)
-				Allocated 32 MB (total 3569 MB)
-				Allocated 32 MB (total 3601 MB)
-				Allocated 32 MB (total 3633 MB)
-				Allocated 32 MB permanent (total 4274 MB)
-				Allocated 32 MB permanent (total 4306 MB)
-				Allocated 32 MB permanent (total 4338 MB)
-				Allocated 32 MB permanent (total 4370 MB)
-				Allocated 32 MB permanent (total 4402 MB)
-				Allocated 32 MB permanent (total 4434 MB)
-Horizon 2560: 9003811 variables
-				Allocated 32 MB (total 4466 MB)
-				Allocated 32 MB (total 4498 MB)
-				Allocated 32 MB (total 4530 MB)
-				Allocated 32 MB (total 4562 MB)
-				Allocated 32 MB (total 4594 MB)
-				Allocated 32 MB (total 4626 MB)
-				Allocated 32 MB (total 4658 MB)
-				Allocated 32 MB (total 4690 MB)
-				Allocated 32 MB (total 4722 MB)
-				Allocated 32 MB (total 4754 MB)
-				Allocated 32 MB (total 4786 MB)
-				Allocated 32 MB (total 4818 MB)
-				Allocated 32 MB (total 4850 MB)
-				Allocated 32 MB (total 4882 MB)
-10 UNSAT (1635 decisions 1196 conflicts)
-				Allocated 32 MB (total 4914 MB)
-				Allocated 32 MB (total 4946 MB)
-				Allocated 32 MB (total 4978 MB)
-				Allocated 32 MB (total 5010 MB)
-				Allocated 32 MB (total 5042 MB)
-				Allocated 32 MB (total 5074 MB)
-				Allocated 32 MB (total 5106 MB)
-				Allocated 32 MB (total 5138 MB)
-				Allocated 32 MB (total 5170 MB)
-				Allocated 32 MB (total 5202 MB)
-				Allocated 32 MB (total 5234 MB)
-				Allocated 32 MB (total 5266 MB)
-				Allocated 32 MB (total 5298 MB)
-				Allocated 32 MB (total 5330 MB)
-				Allocated 32 MB (total 5362 MB)
-				Allocated 32 MB (total 5394 MB)
-				Allocated 32 MB (total 5426 MB)
-				Allocated 32 MB (total 5458 MB)
-				Allocated 32 MB (total 5490 MB)
-				Allocated 32 MB (total 5522 MB)
-				Allocated 32 MB (total 5554 MB)
-				Allocated 32 MB (total 5586 MB)
-				Allocated 32 MB (total 5618 MB)
-				Allocated 32 MB (total 5650 MB)
-				Allocated 32 MB (total 5682 MB)
-				Allocated 32 MB (total 5714 MB)
-				Allocated 32 MB (total 5746 MB)
-				Allocated 32 MB (total 5778 MB)
-				Allocated 32 MB (total 5810 MB)
-				Allocated 32 MB (total 5842 MB)
-				Allocated 32 MB (total 5874 MB)
-				Allocated 32 MB (total 5906 MB)
-				Allocated 32 MB (total 5938 MB)
-				Allocated 32 MB (total 5970 MB)
-				Allocated 32 MB (total 6002 MB)
-				Allocated 32 MB (total 6034 MB)
-				Allocated 32 MB (total 6066 MB)
-				Allocated 32 MB (total 6098 MB)
-				Allocated 32 MB (total 6130 MB)
-				Allocated 32 MB (total 6162 MB)
-				Allocated 32 MB (total 6194 MB)
-				Allocated 32 MB (total 6226 MB)
-						GC: 1626.03 MB
-
--- a/m-mpc/ipc-2000_blocks-strips-typed_95.env
+++ b/m-mpc/ipc-2000_blocks-strips-typed_95.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-95.pddl
- --stats
- --verbose
- --print-call
- --madagascar-MpC
-configuration:
-  id: m-mpc
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-MpC
-exitCode: 0
-instance:
-  domain: blocks-strips-typed
-  instance: 95
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mpc/ipc-2000_blocks-strips-typed_95.err
+++ b/m-mpc/ipc-2000_blocks-strips-typed_95.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mpc', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-MpC'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 95}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-95.pddl', '--stats', '--verbose', '--print-call', '--madagascar-MpC']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 35.46 MEM 8002464 MAXMEM 8002464 STALE 0 MAXMEM_RSS 5077264
-<time name="ALL">35470</time>
-
--- a/m-mpc/ipc-2000_blocks-strips-typed_95.out
+++ b/m-mpc/ipc-2000_blocks-strips-typed_95.out
@ -1,110 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:45:59 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-95.pddlignoring --stats
-ignoring --verbose
-
-Domain: blocks
-Problem: blocks-47-0
-Parser: 4512 ground actions and 2351 state variables
-Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16  4.16 secs
-Goal: conjunctive
-Simplified: 4512 ground actions and 2351 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100 2.31 secs (max SCC size 1)
-Plan type: E-step
-				Allocated 32 MB permanent (total 173 MB)
-Horizon 5: 36666 variables
-5 UNSAT (0 decisions 0 conflicts)
-Horizon 7: 50392 variables
-7 UNSAT (0 decisions 0 conflicts)
-Horizon 10: 70981 variables
-10 UNSAT (0 decisions 0 conflicts)
-Horizon 14: 98433 variables
-14 UNSAT (0 decisions 0 conflicts)
-Horizon 20: 139611 variables
-20 UNSAT (0 decisions 0 conflicts)
-Horizon 28: 194515 variables
-28 UNSAT (0 decisions 0 conflicts)
-				Allocated 32 MB permanent (total 794 MB)
-Horizon 40: 276871 variables
-40 UNSAT (0 decisions 0 conflicts)
-Horizon 56: 386679 variables
-56 UNSAT (0 decisions 0 conflicts)
-				Allocated 32 MB permanent (total 1034 MB)
-Horizon 80: 551391 variables
-				Allocated 32 MB (total 1066 MB)
-				Allocated 32 MB permanent (total 1221 MB)
-Horizon 113: 777870 variables
-				Allocated 32 MB permanent (total 1394 MB)
-Horizon 160: 1100431 variables
-				Allocated 32 MB permanent (total 1594 MB)
-				Allocated 32 MB permanent (total 1626 MB)
-Horizon 226: 1553389 variables
-				Allocated 32 MB permanent (total 1865 MB)
-				Allocated 32 MB permanent (total 1897 MB)
-				Allocated 32 MB permanent (total 1929 MB)
-Horizon 320: 2198511 variables
-				Allocated 32 MB permanent (total 2221 MB)
-				Allocated 32 MB permanent (total 2253 MB)
-				Allocated 32 MB permanent (total 2285 MB)
-				Allocated 32 MB permanent (total 2317 MB)
-Horizon 452: 3104427 variables
-80 UNSAT (561 decisions 318 conflicts)
-				Allocated 32 MB permanent (total 2685 MB)
-				Allocated 32 MB permanent (total 2717 MB)
-				Allocated 32 MB permanent (total 2749 MB)
-				Allocated 32 MB permanent (total 2781 MB)
-				Allocated 32 MB permanent (total 2813 MB)
-				Allocated 32 MB permanent (total 2845 MB)
-Horizon 640: 4394671 variables
-				Allocated 32 MB permanent (total 3321 MB)
-				Allocated 32 MB permanent (total 3353 MB)
-				Allocated 32 MB permanent (total 3385 MB)
-				Allocated 32 MB permanent (total 3417 MB)
-				Allocated 32 MB permanent (total 3449 MB)
-				Allocated 32 MB permanent (total 3481 MB)
-				Allocated 32 MB permanent (total 3513 MB)
-				Allocated 32 MB permanent (total 3545 MB)
-Horizon 905: 6213366 variables
-				Allocated 32 MB permanent (total 4172 MB)
-				Allocated 32 MB permanent (total 4204 MB)
-				Allocated 32 MB permanent (total 4236 MB)
-				Allocated 32 MB permanent (total 4268 MB)
-				Allocated 32 MB permanent (total 4300 MB)
-				Allocated 32 MB permanent (total 4332 MB)
-				Allocated 32 MB permanent (total 4364 MB)
-				Allocated 32 MB permanent (total 4396 MB)
-				Allocated 32 MB permanent (total 4428 MB)
-				Allocated 32 MB permanent (total 4460 MB)
-				Allocated 32 MB permanent (total 4492 MB)
-Horizon 1280: 8786991 variables
-				Allocated 32 MB permanent (total 5335 MB)
-				Allocated 32 MB permanent (total 5367 MB)
-				Allocated 32 MB permanent (total 5399 MB)
-				Allocated 32 MB permanent (total 5431 MB)
-				Allocated 32 MB permanent (total 5463 MB)
-				Allocated 32 MB permanent (total 5495 MB)
-				Allocated 32 MB permanent (total 5527 MB)
-				Allocated 32 MB permanent (total 5559 MB)
-				Allocated 32 MB permanent (total 5591 MB)
-				Allocated 32 MB permanent (total 5623 MB)
-				Allocated 32 MB permanent (total 5655 MB)
-				Allocated 32 MB permanent (total 5687 MB)
-				Allocated 32 MB permanent (total 5719 MB)
-				Allocated 32 MB permanent (total 5751 MB)
-				Allocated 32 MB permanent (total 5783 MB)
-				Allocated 32 MB permanent (total 5815 MB)
-Horizon 1810: 12424381 variables
-				Allocated 32 MB permanent (total 6963 MB)
-				Allocated 32 MB permanent (total 6995 MB)
-				Allocated 32 MB permanent (total 7027 MB)
-				Allocated 32 MB permanent (total 7059 MB)
-				Allocated 32 MB permanent (total 7091 MB)
-				Allocated 32 MB permanent (total 7123 MB)
-				Allocated 32 MB permanent (total 7155 MB)
-				Allocated 32 MB permanent (total 7187 MB)
-				Allocated 32 MB permanent (total 7219 MB)
-				Allocated 32 MB permanent (total 7251 MB)
-				Allocated 32 MB permanent (total 7283 MB)
-				Allocated 32 MB permanent (total 7315 MB)
-				Allocated 32 MB permanent (total 7347 MB)
-				Allocated 32 MB permanent (tota
--- a/m-mpc/ipc-2000_blocks-strips-typed_96.env
+++ b/m-mpc/ipc-2000_blocks-strips-typed_96.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-96.pddl
- --stats
- --verbose
- --print-call
- --madagascar-MpC
-configuration:
-  id: m-mpc
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-MpC
-exitCode: 0
-instance:
-  domain: blocks-strips-typed
-  instance: 96
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/m-mpc/ipc-2000_blocks-strips-typed_96.err
+++ b/m-mpc/ipc-2000_blocks-strips-typed_96.err
@ -1,8 +0,0 @@
-# configuration: {'id': 'm-mpc', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-MpC'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
-# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 96}
-# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-96.pddl', '--stats', '--verbose', '--print-call', '--madagascar-MpC']
-# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-# exit code: 0
-MEM CPU 36.20 MEM 8044380 MAXMEM 8044380 STALE 0 MAXMEM_RSS 5088040
-<time name="ALL">36220</time>
-
--- a/m-mpc/ipc-2000_blocks-strips-typed_96.out
+++ b/m-mpc/ipc-2000_blocks-strips-typed_96.out
@ -1,110 +0,0 @@
-Madagascar 0.99999 25/02/2015 09:45:59 amd64 1-core (no VSIDS)
-Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-96.pddlignoring --stats
-ignoring --verbose
-
-Domain: blocks
-Problem: blocks-47-1
-Parser: 4512 ground actions and 2351 state variables
-Invariants: 0 1 2 3 4 5 6 7 8 9 10 11  4.31 secs
-Goal: conjunctive
-Simplified: 4512 ground actions and 2351 state variables
-Actions: STRIPS
-Disabling graph %: 10 20 30 40 50 60 70 80 90 100 2.32 secs (max SCC size 1)
-Plan type: E-step
-				Allocated 32 MB permanent (total 173 MB)
-Horizon 5: 36666 variables
-5 UNSAT (0 decisions 0 conflicts)
-Horizon 7: 50392 variables
-7 UNSAT (0 decisions 0 conflicts)
-Horizon 10: 70981 variables
-10 UNSAT (0 decisions 0 conflicts)
-Horizon 14: 98433 variables
-14 UNSAT (0 decisions 0 conflicts)
-Horizon 20: 139611 variables
-20 UNSAT (0 decisions 0 conflicts)
-Horizon 28: 194515 variables
-28 UNSAT (0 decisions 0 conflicts)
-				Allocated 32 MB permanent (total 794 MB)
-Horizon 40: 276871 variables
-40 UNSAT (0 decisions 0 conflicts)
-Horizon 56: 386679 variables
-56 UNSAT (0 decisions 0 conflicts)
-				Allocated 32 MB permanent (total 1034 MB)
-Horizon 80: 551391 variables
-				Allocated 32 MB (total 1066 MB)
-				Allocated 32 MB permanent (total 1221 MB)
-Horizon 113: 777870 variables
-				Allocated 32 MB permanent (total 1394 MB)
-Horizon 160: 1100431 variables
-				Allocated 32 MB permanent (total 1594 MB)
-				Allocated 32 MB permanent (total 1626 MB)
-Horizon 226: 1553389 variables
-				Allocated 32 MB permanent (total 1865 MB)
-				Allocated 32 MB permanent (total 1897 MB)
-				Allocated 32 MB permanent (total 1929 MB)
-Horizon 320: 2198511 variables
-				Allocated 32 MB permanent (total 2221 MB)
-				Allocated 32 MB permanent (total 2253 MB)
-				Allocated 32 MB permanent (total 2285 MB)
-				Allocated 32 MB permanent (total 2317 MB)
-Horizon 452: 3104427 variables
-				Allocated 32 MB permanent (total 2685 MB)
-				Allocated 32 MB permanent (total 2717 MB)
-				Allocated 32 MB permanent (total 2749 MB)
-				Allocated 32 MB permanent (total 2781 MB)
-				Allocated 32 MB permanent (total 2813 MB)
-				Allocated 32 MB permanent (total 2845 MB)
-Horizon 640: 4394671 variables
-				Allocated 32 MB permanent (total 3321 MB)
-				Allocated 32 MB permanent (total 3353 MB)
-				Allocated 32 MB permanent (total 3385 MB)
-				Allocated 32 MB permanent (total 3417 MB)
-				Allocated 32 MB permanent (total 3449 MB)
-				Allocated 32 MB permanent (total 3481 MB)
-				Allocated 32 MB permanent (total 3513 MB)
-				Allocated 32 MB permanent (total 3545 MB)
-Horizon 905: 6213366 variables
-				Allocated 32 MB permanent (total 4172 MB)
-				Allocated 32 MB permanent (total 4204 MB)
-				Allocated 32 MB permanent (total 4236 MB)
-				Allocated 32 MB permanent (total 4268 MB)
-				Allocated 32 MB permanent (total 4300 MB)
-				Allocated 32 MB permanent (total 4332 MB)
-				Allocated 32 MB permanent (total 4364 MB)
-				Allocated 32 MB permanent (total 4396 MB)
-				Allocated 32 MB permanent (total 4428 MB)
-				Allocated 32 MB permanent (total 4460 MB)
-				Allocated 32 MB permanent (total 4492 MB)
-Horizon 1280: 8786991 variables
-				Allocated 32 MB permanent (total 5335 MB)
-				Allocated 32 MB permanent (total 5367 MB)
-				Allocated 32 MB permanent (total 5399 MB)
-				Allocated 32 MB permanent (total 5431 MB)
-				Allocated 32 MB permanent (total 5463 MB)
-				Allocated 32 MB permanent (total 5495 MB)
-				Allocated 32 MB permanent (total 5527 MB)
-				Allocated 32 MB permanent (total 5559 MB)
-				Allocated 32 MB permanent (total 5591 MB)
-				Allocated 32 MB permanent (total 5623 MB)
-				Allocated 32 MB permanent (total 5655 MB)
-				Allocated 32 MB permanent (total 5687 MB)
-				Allocated 32 MB permanent (total 5719 MB)
-				Allocated 32 MB permanent (total 5751 MB)
-				Allocated 32 MB permanent (total 5783 MB)
-				Allocated 32 MB permanent (total 5815 MB)
-Horizon 1810: 12424381 variables
-				Allocated 32 MB permanent (total 6963 MB)
-				Allocated 32 MB permanent (total 6995 MB)
-				Allocated 32 MB permanent (total 7027 MB)
-				Allocated 32 MB permanent (total 7059 MB)
-				Allocated 32 MB permanent (total 7091 MB)
-				Allocated 32 MB permanent (total 7123 MB)
-				Allocated 32 MB permanent (total 7155 MB)
-				Allocated 32 MB permanent (total 7187 MB)
-				Allocated 32 MB permanent (total 7219 MB)
-				Allocated 32 MB permanent (total 7251 MB)
-				Allocated 32 MB permanent (total 7283 MB)
-				Allocated 32 MB permanent (total 7315 MB)
-				Allocated 32 MB permanent (total 7347 MB)
-				Allocated 32 MB permanent (total 7379 MB)
-				Allocated 32 MB permanen
--- a/m-mpc/ipc-2000_blocks-strips-typed_97.env
+++ b/m-mpc/ipc-2000_blocks-strips-typed_97.env
@ -1,37 +0,0 @@
-command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-97.pddl
- --stats
- --verbose
- --print-call
- --madagascar-MpC
-configuration:
-  id: m-mpc
-  instanceSets:
-  - lpnmr-easy-instances
-  - lpnmr-hard-instances
-  - lpnmr-first-plan-not-serializable
-  - rintanen-aij-2012
-  options:
-  - --stats
-  - --verbose
-  - --print-call
-  - --madagascar-MpC
-exitCode: 0
-instance:
-  domain: blocks-strips-typed
-  instance: 97
-  ipc: ipc-2000
-versions:
-  clingo: 5.2.2
-  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
-  planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
-  plasp: 3.1.1
-  python: 3.6.3
-workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
-
--- a/Show More
+++ b/Show More