Remove instances with missing statistics

Due to a mistake in handling SIGTERM signals, the statistics were
missing. Remove the affected instances to trigger new measurements.
This commit is contained in:
Patrick Lühne 2018-02-01 15:08:15 +01:00
parent db129f7a7b
commit 26262d938b
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
174 changed files with 0 additions and 10780 deletions

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-100.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 100
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 100}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-100.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.03 MEM 6668948 MAXMEM 6668948 STALE 0 MAXMEM_RSS 3377284
<time name="ALL">900060</time>

View File

@ -1,148 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-100.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-49-1
Parser: 4900 ground actions and 2549 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 4.20 secs
Goal: conjunctive
Simplified: 4900 ground actions and 2549 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 2.89 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 178 MB)
Horizon 0: 2549 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 39794 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 77039 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 114284 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 151529 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 188774 variables
25 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 796 MB)
Horizon 30: 226019 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 263264 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 300509 variables
40 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1111 MB)
Horizon 45: 337754 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 374999 variables
50 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1342 MB)
Horizon 55: 412244 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 449489 variables
60 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1582 MB)
Horizon 65: 486734 variables
Allocated 32 MB (total 1614 MB)
65 UNSAT (1 decisions 1 conflicts)
Allocated 32 MB permanent (total 1753 MB)
Horizon 70: 523979 variables
70 UNSAT (44 decisions 37 conflicts)
Horizon 75: 561224 variables
Allocated 32 MB permanent (total 2007 MB)
Horizon 80: 598469 variables
Allocated 32 MB permanent (total 2153 MB)
Horizon 85: 635714 variables
Allocated 32 MB permanent (total 2301 MB)
Horizon 90: 672959 variables
Allocated 32 MB permanent (total 2451 MB)
Horizon 95: 710204 variables
Allocated 32 MB permanent (total 2604 MB)
Horizon 100: 747449 variables
Allocated 32 MB permanent (total 2758 MB)
Horizon 105: 784694 variables
75 UNSAT (585 decisions 412 conflicts)
Allocated 32 MB permanent (total 2915 MB)
Horizon 110: 821939 variables
Allocated 32 MB permanent (total 3074 MB)
Horizon 115: 859184 variables
Allocated 32 MB permanent (total 3236 MB)
Horizon 120: 896429 variables
Allocated 32 MB permanent (total 3399 MB)
Horizon 125: 933674 variables
Allocated 32 MB permanent (total 3565 MB)
Horizon 130: 970919 variables
Allocated 32 MB (total 3597 MB)
Allocated 32 MB permanent (total 3765 MB)
Allocated 32 MB permanent (total 3797 MB)
Horizon 135: 1008164 variables
Allocated 32 MB permanent (total 3967 MB)
Horizon 140: 1045409 variables
Allocated 32 MB permanent (total 4140 MB)
Horizon 145: 1082654 variables
Allocated 32 MB permanent (total 4314 MB)
Allocated 32 MB permanent (total 4346 MB)
Horizon 150: 1119899 variables
Allocated 32 MB permanent (total 4523 MB)
Horizon 155: 1157144 variables
Allocated 32 MB permanent (total 4702 MB)
Allocated 32 MB permanent (total 4734 MB)
Horizon 160: 1194389 variables
Allocated 32 MB (total 4766 MB)
Allocated 32 MB permanent (total 4947 MB)
Horizon 165: 1231634 variables
Allocated 32 MB permanent (total 5130 MB)
Allocated 32 MB permanent (total 5162 MB)
Horizon 170: 1268879 variables
Allocated 32 MB permanent (total 5348 MB)
Allocated 32 MB permanent (total 5380 MB)
Horizon 175: 1306124 variables
Allocated 32 MB (total 5412 MB)
Allocated 32 MB (total 5444 MB)
Allocated 32 MB (total 5476 MB)
80 UNSAT (3037 decisions 2041 conflicts)
Allocated 32 MB permanent (total 5664 MB)
Horizon 180: 1343369 variables
GC: 354.35 MB
Allocated 32 MB (total 5696 MB)
Allocated 32 MB (total 5728 MB)
Allocated 32 MB (total 5760 MB)
Allocated 32 MB (total 5792 MB)
GC: 212.73 MB
Allocated 32 MB (total 5824 MB)
Allocated 32 MB (total 5856 MB)
GC: 230.21 MB
Allocated 32 MB (total 5888 MB)
Allocated 32 MB (total 5920 MB)
Allocated 32 MB (total 5952 MB)
Allocated 32 MB (total 5984 MB)
GC: 363.88 MB
GC: 304.37 MB
Allocated 32 MB (total 6016 MB)
Allocated 32 MB (total 6048 MB)
Allocated 32 MB (total 6080 MB)
GC: 361.37 MB
Allocated 32 MB (total 6112 MB)
Allocated 32 MB (total 6144 MB)
Allocated 32 MB (total 6176 MB)
GC: 399.56 MB
Allocated 32 MB (total 6208 MB)
Allocated 32 MB (total 6240 MB)
Allocated 32 MB (total 6272 MB)
GC: 647.72 MB
GC: 431.42 MB
85 UNSAT (31710 decisions 21903 conflicts)
Horizon 185: 1380614 variables
GC: 446.05 MB
GC: 350.45 MB
GC: 408.22 MB
GC: 415.02 MB
GC: 507.53 MB
GC: 593.10 MB
GC: 474.46 MB
GC: 461.28 MB
GC: 483.05 MB
GC: 457.09 MB
GC: 511.12 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-101.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 101
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 101}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-101.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.03 MEM 6990312 MAXMEM 6990312 STALE 0 MAXMEM_RSS 3866824
<time name="ALL">900060</time>

View File

@ -1,159 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-101.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-50-0
Parser: 5100 ground actions and 2651 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 6.13 secs
Goal: conjunctive
Simplified: 5100 ground actions and 2651 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 3.13 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 181 MB)
Horizon 0: 2651 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 41406 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 80161 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 118916 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 157671 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 196426 variables
25 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 802 MB)
Horizon 30: 235181 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 273936 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 312691 variables
40 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1118 MB)
Horizon 45: 351446 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 390201 variables
50 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1351 MB)
Horizon 55: 428956 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 467711 variables
Allocated 32 MB (total 1487 MB)
60 UNSAT (2 decisions 2 conflicts)
Allocated 32 MB permanent (total 1626 MB)
Horizon 65: 506466 variables
65 UNSAT (73 decisions 58 conflicts)
Allocated 32 MB permanent (total 1766 MB)
Horizon 70: 545221 variables
Horizon 75: 583976 variables
Allocated 32 MB permanent (total 2022 MB)
Horizon 80: 622731 variables
Allocated 32 MB permanent (total 2170 MB)
Horizon 85: 661486 variables
70 UNSAT (283 decisions 239 conflicts)
Allocated 32 MB permanent (total 2319 MB)
Horizon 90: 700241 variables
Allocated 32 MB permanent (total 2471 MB)
Horizon 95: 738996 variables
Allocated 32 MB permanent (total 2626 MB)
Horizon 100: 777751 variables
Allocated 32 MB permanent (total 2782 MB)
Horizon 105: 816506 variables
Allocated 32 MB permanent (total 2941 MB)
Horizon 110: 855261 variables
Allocated 32 MB permanent (total 3102 MB)
Horizon 115: 894016 variables
Allocated 32 MB permanent (total 3266 MB)
Horizon 120: 932771 variables
Allocated 32 MB (total 3298 MB)
Allocated 32 MB permanent (total 3464 MB)
Allocated 32 MB permanent (total 3496 MB)
Horizon 125: 971526 variables
Allocated 32 MB permanent (total 3664 MB)
Horizon 130: 1010281 variables
Allocated 32 MB permanent (total 3834 MB)
Horizon 135: 1049036 variables
Allocated 32 MB permanent (total 4007 MB)
Allocated 32 MB permanent (total 4039 MB)
Horizon 140: 1087791 variables
Allocated 32 MB (total 4071 MB)
Allocated 32 MB permanent (total 4246 MB)
Horizon 145: 1126546 variables
Allocated 32 MB permanent (total 4423 MB)
Allocated 32 MB permanent (total 4455 MB)
Horizon 150: 1165301 variables
Allocated 32 MB permanent (total 4635 MB)
Horizon 155: 1204056 variables
Allocated 32 MB permanent (total 4816 MB)
Allocated 32 MB permanent (total 4848 MB)
Horizon 160: 1242811 variables
Allocated 32 MB (total 4880 MB)
Allocated 32 MB permanent (total 5065 MB)
Horizon 165: 1281566 variables
Allocated 32 MB permanent (total 5251 MB)
Allocated 32 MB permanent (total 5283 MB)
Horizon 170: 1320321 variables
Allocated 32 MB (total 5315 MB)
Allocated 32 MB (total 5347 MB)
Allocated 32 MB (total 5379 MB)
Allocated 32 MB (total 5411 MB)
Allocated 32 MB (total 5443 MB)
GC: 322.16 MB
Allocated 32 MB (total 5475 MB)
Allocated 32 MB (total 5507 MB)
Allocated 32 MB (total 5539 MB)
Allocated 32 MB (total 5571 MB)
Allocated 32 MB (total 5603 MB)
75 UNSAT (4390 decisions 3366 conflicts)
Horizon 175: 1359076 variables
Allocated 32 MB (total 5792 MB)
Allocated 32 MB (total 5824 MB)
Allocated 32 MB (total 5856 MB)
Allocated 32 MB (total 5888 MB)
Allocated 32 MB (total 5920 MB)
GC: 549.65 MB
GC: 429.99 MB
Allocated 32 MB (total 5952 MB)
Allocated 32 MB (total 5984 MB)
Allocated 32 MB (total 6016 MB)
Allocated 32 MB (total 6048 MB)
Allocated 32 MB (total 6080 MB)
Allocated 32 MB (total 6112 MB)
Allocated 32 MB (total 6144 MB)
GC: 561.67 MB
GC: 612.63 MB
Allocated 32 MB (total 6176 MB)
GC: 608.11 MB
Allocated 32 MB (total 6208 MB)
Allocated 32 MB (total 6240 MB)
GC: 612.78 MB
Allocated 32 MB (total 6272 MB)
Allocated 32 MB (total 6304 MB)
Allocated 32 MB (total 6336 MB)
Allocated 32 MB (total 6368 MB)
GC: 699.36 MB
Allocated 32 MB (total 6400 MB)
Allocated 32 MB (total 6432 MB)
Allocated 32 MB (total 6464 MB)
GC: 698.90 MB
Allocated 32 MB (total 6496 MB)
Allocated 32 MB (total 6528 MB)
Allocated 32 MB (total 6560 MB)
Allocated 32 MB (total 6592 MB)
Allocated 32 MB (total 6624 MB)
Allocated 32 MB (total 6656 MB)
GC: 827.24 MB
Allocated 32 MB (total 6688 MB)
GC: 1123.44 MB
GC: 862.67 MB
GC: 982.02 MB
GC: 833.04 MB
GC: 805.72 MB
GC: 844.90 MB
Allocated 32 MB (total 6720 MB)
GC: 967.70 MB
GC: 952.12 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-102.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 102
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 102}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-102.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.01 MEM 7210448 MAXMEM 7210448 STALE 0 MAXMEM_RSS 3743268
<time name="ALL">900040</time>

View File

@ -1,156 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-102.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-50-1
Parser: 5100 ground actions and 2651 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 6.42 secs
Goal: conjunctive
Simplified: 5100 ground actions and 2651 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 3.17 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 181 MB)
Horizon 0: 2651 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 41406 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 80161 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 118916 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 157671 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 196426 variables
25 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 802 MB)
Horizon 30: 235181 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 273936 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 312691 variables
40 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1118 MB)
Horizon 45: 351446 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 390201 variables
50 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1351 MB)
Horizon 55: 428956 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 467711 variables
60 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1594 MB)
Horizon 65: 506466 variables
65 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1734 MB)
Horizon 70: 545221 variables
Allocated 32 MB (total 1766 MB)
70 UNSAT (2 decisions 2 conflicts)
Horizon 75: 583976 variables
75 UNSAT (26 decisions 25 conflicts)
Allocated 32 MB permanent (total 2022 MB)
Horizon 80: 622731 variables
Allocated 32 MB permanent (total 2170 MB)
Horizon 85: 661486 variables
80 UNSAT (105 decisions 83 conflicts)
Allocated 32 MB permanent (total 2319 MB)
Horizon 90: 700241 variables
Allocated 32 MB permanent (total 2471 MB)
Horizon 95: 738996 variables
85 UNSAT (180 decisions 154 conflicts)
Allocated 32 MB permanent (total 2626 MB)
Horizon 100: 777751 variables
Allocated 32 MB permanent (total 2782 MB)
Horizon 105: 816506 variables
Allocated 32 MB permanent (total 2941 MB)
Horizon 110: 855261 variables
Allocated 32 MB permanent (total 3102 MB)
Horizon 115: 894016 variables
Allocated 32 MB permanent (total 3266 MB)
Horizon 120: 932771 variables
Allocated 32 MB permanent (total 3432 MB)
Allocated 32 MB permanent (total 3464 MB)
Horizon 125: 971526 variables
90 UNSAT (700 decisions 481 conflicts)
Allocated 32 MB permanent (total 3632 MB)
Horizon 130: 1010281 variables
Allocated 32 MB permanent (total 3802 MB)
Horizon 135: 1049036 variables
Allocated 32 MB permanent (total 3975 MB)
Allocated 32 MB permanent (total 4007 MB)
Horizon 140: 1087791 variables
Allocated 32 MB permanent (total 4182 MB)
Horizon 145: 1126546 variables
Allocated 32 MB permanent (total 4359 MB)
Allocated 32 MB permanent (total 4391 MB)
Horizon 150: 1165301 variables
Allocated 32 MB permanent (total 4571 MB)
Horizon 155: 1204056 variables
Allocated 32 MB permanent (total 4752 MB)
Allocated 32 MB permanent (total 4784 MB)
Horizon 160: 1242811 variables
Allocated 32 MB permanent (total 4969 MB)
Horizon 165: 1281566 variables
Allocated 32 MB permanent (total 5155 MB)
Allocated 32 MB permanent (total 5187 MB)
Horizon 170: 1320321 variables
Allocated 32 MB (total 5219 MB)
Allocated 32 MB permanent (total 5408 MB)
Allocated 32 MB permanent (total 5440 MB)
Horizon 175: 1359076 variables
Allocated 32 MB permanent (total 5631 MB)
Allocated 32 MB permanent (total 5663 MB)
Horizon 180: 1397831 variables
Allocated 32 MB permanent (total 5856 MB)
Allocated 32 MB permanent (total 5888 MB)
Horizon 185: 1436586 variables
Allocated 32 MB permanent (total 6083 MB)
Horizon 190: 1475341 variables
Allocated 32 MB (total 6115 MB)
Allocated 32 MB (total 6147 MB)
GC: 344.85 MB
Allocated 32 MB (total 6179 MB)
Allocated 32 MB (total 6211 MB)
Allocated 32 MB (total 6243 MB)
Allocated 32 MB (total 6275 MB)
GC: 162.63 MB
Allocated 32 MB (total 6307 MB)
Allocated 32 MB (total 6339 MB)
Allocated 32 MB (total 6371 MB)
Allocated 32 MB (total 6403 MB)
GC: 289.44 MB
Allocated 32 MB (total 6435 MB)
GC: 311.29 MB
Allocated 32 MB (total 6467 MB)
Allocated 32 MB (total 6499 MB)
Allocated 32 MB (total 6531 MB)
GC: 361.44 MB
95 UNSAT (20486 decisions 12980 conflicts)
Horizon 195: 1514096 variables
GC: 422.03 MB
GC: 226.34 MB
GC: 288.98 MB
GC: 307.98 MB
GC: 299.62 MB
GC: 333.03 MB
Allocated 32 MB (total 6729 MB)
GC: 336.08 MB
Allocated 32 MB (total 6761 MB)
Allocated 32 MB (total 6793 MB)
GC: 380.25 MB
Allocated 32 MB (total 6825 MB)
Allocated 32 MB (total 6857 MB)
Allocated 32 MB (total 6889 MB)
GC: 466.48 MB
GC: 384.33 MB
GC: 395.82 MB
GC: 412.62 MB
Allocated 32 MB (total 6921 MB)
GC: 466.42 MB
Allocated 32 MB (total 6953 MB)
Allocated 32 MB (total 6985 MB)
GC: 703.39 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-48.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 48
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 48}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-48.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.11 MEM 3242196 MAXMEM 3242196 STALE 0 MAXMEM_RSS 616688
<time name="ALL">900140</time>

View File

@ -1,138 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-48.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-23-1
Parser: 1104 ground actions and 599 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 0.16 secs
Goal: conjunctive
Simplified: 1104 ground actions and 599 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.07 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 130 MB)
Horizon 0: 599 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 9114 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 17629 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 26144 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 34659 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 43174 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 51689 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 60204 variables
Allocated 32 MB (total 788 MB)
35 UNSAT (7 decisions 7 conflicts)
Horizon 40: 68719 variables
40 UNSAT (59 decisions 53 conflicts)
Horizon 45: 77234 variables
Horizon 50: 85749 variables
Horizon 55: 94264 variables
Horizon 60: 102779 variables
Allocated 32 MB permanent (total 1310 MB)
Horizon 65: 111294 variables
Horizon 70: 119809 variables
Horizon 75: 128324 variables
Horizon 80: 136839 variables
Horizon 85: 145354 variables
45 UNSAT (708 decisions 523 conflicts)
Horizon 90: 153869 variables
Allocated 32 MB permanent (total 1850 MB)
Horizon 95: 162384 variables
Horizon 100: 170899 variables
Horizon 105: 179414 variables
Horizon 110: 187929 variables
Allocated 32 MB permanent (total 2231 MB)
Horizon 115: 196444 variables
Horizon 120: 204959 variables
Horizon 125: 213474 variables
Horizon 130: 221989 variables
Allocated 32 MB permanent (total 2620 MB)
Horizon 135: 230504 variables
Horizon 140: 239019 variables
Horizon 145: 247534 variables
GC: 30.86 MB
Allocated 32 MB (total 2833 MB)
GC: 29.68 MB
Allocated 32 MB (total 2865 MB)
GC: 69.45 MB
GC: 64.93 MB
Allocated 32 MB (total 2897 MB)
50 UNSAT (16381 decisions 11232 conflicts)
Horizon 150: 256049 variables
GC: 92.50 MB
GC: 47.20 MB
GC: 50.55 MB
GC: 56.37 MB
GC: 59.93 MB
GC: 64.96 MB
GC: 65.94 MB
GC: 69.99 MB
GC: 80.23 MB
GC: 71.63 MB
GC: 111.25 MB
GC: 63.50 MB
GC: 61.55 MB
GC: 61.59 MB
GC: 59.41 MB
GC: 57.87 MB
GC: 62.81 MB
GC: 69.88 MB
GC: 70.66 MB
GC: 92.51 MB
GC: 73.73 MB
GC: 75.39 MB
GC: 77.80 MB
GC: 83.97 MB
GC: 81.28 MB
GC: 89.05 MB
GC: 89.87 MB
GC: 99.20 MB
GC: 99.95 MB
GC: 100.59 MB
GC: 109.31 MB
GC: 107.55 MB
GC: 106.90 MB
Allocated 32 MB (total 3021 MB)
GC: 111.09 MB
GC: 105.89 MB
GC: 110.47 MB
GC: 127.27 MB
GC: 108.74 MB
GC: 112.81 MB
GC: 116.52 MB
GC: 118.47 MB
GC: 112.05 MB
GC: 124.38 MB
GC: 123.77 MB
GC: 120.91 MB
GC: 128.90 MB
GC: 123.72 MB
GC: 137.11 MB
GC: 138.07 MB
GC: 135.65 MB
GC: 140.50 MB
Allocated 32 MB (total 3053 MB)
GC: 144.56 MB
GC: 138.88 MB
GC: 157.08 MB
GC: 153.74 MB
GC: 147.10 MB
GC: 158.63 MB
GC: 144.70 MB
GC: 162.11 MB
GC: 152.71 MB
GC: 150.10 MB
GC: 151.47 MB
GC: 153.30 MB
GC: 165.93 MB
GC: 171.17 MB
GC: 162.31 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-57.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 57
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 57}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-57.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.03 MEM 3690172 MAXMEM 3690172 STALE 0 MAXMEM_RSS 1040868
<time name="ALL">900060</time>

View File

@ -1,129 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-57.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-28-0
Parser: 1624 ground actions and 869 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 0.48 secs
Goal: conjunctive
Simplified: 1624 ground actions and 869 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.18 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 136 MB)
Horizon 0: 869 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 13334 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 25799 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 38264 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 50729 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 63194 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 75659 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 88124 variables
Allocated 32 MB (total 800 MB)
35 UNSAT (1 decisions 1 conflicts)
Horizon 40: 100589 variables
40 UNSAT (42 decisions 40 conflicts)
Horizon 45: 113054 variables
Horizon 50: 125519 variables
Allocated 32 MB permanent (total 1166 MB)
Horizon 55: 137984 variables
Horizon 60: 150449 variables
Horizon 65: 162914 variables
Horizon 70: 175379 variables
Horizon 75: 187844 variables
Allocated 32 MB permanent (total 1632 MB)
Horizon 80: 200309 variables
45 UNSAT (630 decisions 436 conflicts)
Horizon 85: 212774 variables
Horizon 90: 225239 variables
Allocated 32 MB permanent (total 1932 MB)
Horizon 95: 237704 variables
Horizon 100: 250169 variables
Horizon 105: 262634 variables
Allocated 32 MB permanent (total 2240 MB)
Horizon 110: 275099 variables
Horizon 115: 287564 variables
Horizon 120: 300029 variables
Allocated 32 MB permanent (total 2554 MB)
Horizon 125: 312494 variables
Horizon 130: 324959 variables
Allocated 32 MB permanent (total 2778 MB)
Horizon 135: 337424 variables
Horizon 140: 349889 variables
Allocated 32 MB permanent (total 3005 MB)
Horizon 145: 362354 variables
Allocated 32 MB (total 3037 MB)
GC: 67.66 MB
Allocated 32 MB (total 3069 MB)
Allocated 32 MB (total 3101 MB)
Allocated 32 MB (total 3133 MB)
GC: 94.05 MB
Allocated 32 MB (total 3165 MB)
50 UNSAT (9191 decisions 6281 conflicts)
Horizon 150: 374819 variables
GC: 184.23 MB
GC: 104.55 MB
GC: 124.28 MB
GC: 146.40 MB
GC: 163.02 MB
Allocated 32 MB (total 3295 MB)
GC: 161.57 MB
GC: 180.37 MB
Allocated 32 MB (total 3327 MB)
GC: 200.23 MB
GC: 223.43 MB
GC: 161.94 MB
GC: 167.55 MB
GC: 170.49 MB
GC: 185.90 MB
GC: 187.59 MB
GC: 207.77 MB
GC: 201.98 MB
GC: 219.67 MB
GC: 200.26 MB
GC: 233.20 MB
GC: 227.83 MB
GC: 224.37 MB
Allocated 32 MB (total 3359 MB)
GC: 238.14 MB
GC: 241.10 MB
GC: 255.04 MB
GC: 255.25 MB
Allocated 32 MB (total 3391 MB)
GC: 262.14 MB
GC: 267.82 MB
GC: 254.11 MB
Allocated 32 MB (total 3423 MB)
GC: 302.98 MB
GC: 294.99 MB
GC: 283.56 MB
GC: 297.48 MB
GC: 305.71 MB
GC: 305.31 MB
GC: 306.82 MB
GC: 309.33 MB
Allocated 32 MB (total 3455 MB)
GC: 327.50 MB
GC: 346.86 MB
GC: 334.20 MB
GC: 345.10 MB
Allocated 32 MB (total 3487 MB)
GC: 353.12 MB
GC: 377.72 MB
GC: 364.09 MB
GC: 382.59 MB
GC: 288.62 MB
GC: 301.08 MB
GC: 330.44 MB
GC: 355.01 MB
GC: 343.04 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-58.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 58
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 58}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-58.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.12 MEM 3888416 MAXMEM 3888416 STALE 0 MAXMEM_RSS 1079844
<time name="ALL">900140</time>

View File

@ -1,133 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-58.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-28-1
Parser: 1624 ground actions and 869 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 0.43 secs
Goal: conjunctive
Simplified: 1624 ground actions and 869 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.18 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 136 MB)
Horizon 0: 869 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 13334 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 25799 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 38264 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 50729 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 63194 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 75659 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 88124 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 100589 variables
Allocated 32 MB (total 883 MB)
40 UNSAT (1 decisions 1 conflicts)
Horizon 45: 113054 variables
45 UNSAT (31 decisions 26 conflicts)
Horizon 50: 125519 variables
Allocated 32 MB permanent (total 1166 MB)
Horizon 55: 137984 variables
Horizon 60: 150449 variables
50 UNSAT (178 decisions 124 conflicts)
Horizon 65: 162914 variables
Horizon 70: 175379 variables
Horizon 75: 187844 variables
Allocated 32 MB permanent (total 1632 MB)
Horizon 80: 200309 variables
Horizon 85: 212774 variables
55 UNSAT (620 decisions 418 conflicts)
Horizon 90: 225239 variables
Allocated 32 MB permanent (total 1932 MB)
Horizon 95: 237704 variables
Horizon 100: 250169 variables
Horizon 105: 262634 variables
Allocated 32 MB permanent (total 2240 MB)
Horizon 110: 275099 variables
Horizon 115: 287564 variables
Horizon 120: 300029 variables
Allocated 32 MB permanent (total 2554 MB)
Horizon 125: 312494 variables
Horizon 130: 324959 variables
Allocated 32 MB permanent (total 2778 MB)
Horizon 135: 337424 variables
Horizon 140: 349889 variables
Allocated 32 MB permanent (total 3005 MB)
Horizon 145: 362354 variables
Horizon 150: 374819 variables
Allocated 32 MB permanent (total 3235 MB)
Horizon 155: 387284 variables
Allocated 32 MB (total 3267 MB)
GC: 68.44 MB
Allocated 32 MB (total 3299 MB)
Allocated 32 MB (total 3331 MB)
GC: 71.33 MB
Allocated 32 MB (total 3363 MB)
Allocated 32 MB (total 3395 MB)
GC: 125.70 MB
Allocated 32 MB (total 3427 MB)
GC: 186.09 MB
GC: 172.47 MB
GC: 181.01 MB
Allocated 32 MB (total 3459 MB)
GC: 188.19 MB
60 UNSAT (28150 decisions 18182 conflicts)
Horizon 160: 399749 variables
GC: 184.83 MB
GC: 98.41 MB
GC: 119.51 MB
GC: 120.88 MB
GC: 128.59 MB
GC: 124.25 MB
GC: 143.22 MB
GC: 145.46 MB
GC: 143.34 MB
GC: 153.29 MB
GC: 175.69 MB
GC: 166.75 MB
GC: 188.58 MB
GC: 173.82 MB
GC: 233.26 MB
GC: 181.29 MB
GC: 159.84 MB
GC: 176.07 MB
GC: 196.38 MB
GC: 215.27 MB
GC: 215.20 MB
GC: 229.30 MB
GC: 199.76 MB
GC: 205.45 MB
GC: 176.75 MB
GC: 205.81 MB
GC: 192.53 MB
GC: 232.96 MB
Allocated 32 MB (total 3591 MB)
GC: 253.63 MB
GC: 240.74 MB
GC: 254.93 MB
Allocated 32 MB (total 3623 MB)
GC: 265.23 MB
Allocated 32 MB (total 3655 MB)
Allocated 32 MB (total 3687 MB)
GC: 338.41 MB
GC: 298.27 MB
GC: 325.01 MB
GC: 251.42 MB
GC: 279.46 MB
GC: 262.45 MB
GC: 286.51 MB
GC: 304.77 MB
GC: 286.24 MB
GC: 266.75 MB
GC: 274.56 MB
GC: 263.67 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-62.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 62
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 62}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-62.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.14 MEM 4118308 MAXMEM 4118308 STALE 0 MAXMEM_RSS 1237852
<time name="ALL">900170</time>

View File

@ -1,135 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-62.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-30-1
Parser: 1860 ground actions and 991 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 0.50 secs
Goal: conjunctive
Simplified: 1860 ground actions and 991 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.25 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 138 MB)
Horizon 0: 991 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 15246 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 29501 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 43756 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 58011 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 72266 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 86521 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 100776 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 115031 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 129286 variables
Allocated 32 MB (total 973 MB)
45 UNSAT (9 decisions 9 conflicts)
Allocated 32 MB permanent (total 1090 MB)
Horizon 50: 143541 variables
50 UNSAT (36 decisions 33 conflicts)
Horizon 55: 157796 variables
Horizon 60: 172051 variables
Horizon 65: 186306 variables
Horizon 70: 200561 variables
55 UNSAT (292 decisions 235 conflicts)
Allocated 32 MB permanent (total 1559 MB)
Horizon 75: 214816 variables
Horizon 80: 229071 variables
Horizon 85: 243326 variables
Allocated 32 MB permanent (total 1863 MB)
Horizon 90: 257581 variables
Horizon 95: 271836 variables
Horizon 100: 286091 variables
60 UNSAT (746 decisions 527 conflicts)
Allocated 32 MB permanent (total 2175 MB)
Horizon 105: 300346 variables
Horizon 110: 314601 variables
Allocated 32 MB permanent (total 2398 MB)
Horizon 115: 328856 variables
Horizon 120: 343111 variables
Allocated 32 MB permanent (total 2624 MB)
Horizon 125: 357366 variables
Horizon 130: 371621 variables
Horizon 135: 385876 variables
Allocated 32 MB permanent (total 2953 MB)
Horizon 140: 400131 variables
Allocated 32 MB permanent (total 3086 MB)
Horizon 145: 414386 variables
Horizon 150: 428641 variables
Allocated 32 MB permanent (total 3322 MB)
Horizon 155: 442896 variables
Horizon 160: 457151 variables
Allocated 32 MB (total 3458 MB)
GC: 71.28 MB
Allocated 32 MB (total 3490 MB)
GC: 52.12 MB
Allocated 32 MB (total 3522 MB)
Allocated 32 MB (total 3554 MB)
GC: 75.32 MB
65 UNSAT (10727 decisions 7541 conflicts)
Horizon 165: 471406 variables
GC: 119.12 MB
GC: 87.03 MB
Allocated 32 MB (total 3690 MB)
GC: 93.80 MB
Allocated 32 MB (total 3722 MB)
GC: 116.67 MB
Allocated 32 MB (total 3754 MB)
GC: 127.54 MB
GC: 203.83 MB
GC: 137.35 MB
GC: 116.24 MB
GC: 114.65 MB
GC: 122.46 MB
GC: 125.15 MB
GC: 139.62 MB
GC: 138.03 MB
GC: 143.90 MB
GC: 147.70 MB
GC: 164.39 MB
GC: 158.46 MB
GC: 164.38 MB
GC: 170.06 MB
GC: 162.08 MB
GC: 174.74 MB
GC: 192.93 MB
GC: 183.26 MB
GC: 202.38 MB
Allocated 32 MB (total 3786 MB)
GC: 206.61 MB
GC: 185.16 MB
GC: 207.30 MB
GC: 194.91 MB
GC: 207.18 MB
GC: 207.45 MB
GC: 219.09 MB
Allocated 32 MB (total 3818 MB)
GC: 243.27 MB
GC: 239.96 MB
GC: 228.25 MB
GC: 238.71 MB
GC: 242.30 MB
Allocated 32 MB (total 3850 MB)
GC: 261.83 MB
GC: 235.72 MB
GC: 254.70 MB
GC: 266.16 MB
GC: 272.85 MB
GC: 270.66 MB
GC: 271.77 MB
Allocated 32 MB (total 3882 MB)
GC: 281.20 MB
GC: 279.59 MB
Allocated 32 MB (total 3914 MB)
GC: 306.64 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-63.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 63
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 63}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-63.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.03 MEM 4192260 MAXMEM 4192260 STALE 0 MAXMEM_RSS 1220780
<time name="ALL">900060</time>

View File

@ -1,135 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-63.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-31-0
Parser: 1984 ground actions and 1055 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 0.58 secs
Goal: conjunctive
Simplified: 1984 ground actions and 1055 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.30 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 140 MB)
Horizon 0: 1055 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 16250 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 31445 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 46640 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 61835 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 77030 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 92225 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 107420 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 122615 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 137810 variables
45 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1063 MB)
Horizon 50: 153005 variables
Allocated 32 MB (total 1095 MB)
50 UNSAT (8 decisions 8 conflicts)
Horizon 55: 168200 variables
Horizon 60: 183395 variables
55 UNSAT (84 decisions 69 conflicts)
Horizon 65: 198590 variables
Allocated 32 MB permanent (total 1477 MB)
Horizon 70: 213785 variables
Horizon 75: 228980 variables
60 UNSAT (286 decisions 210 conflicts)
Horizon 80: 244175 variables
Allocated 32 MB permanent (total 1782 MB)
Horizon 85: 259370 variables
65 UNSAT (440 decisions 298 conflicts)
Horizon 90: 274565 variables
Horizon 95: 289760 variables
Allocated 32 MB permanent (total 2094 MB)
Horizon 100: 304955 variables
Horizon 105: 320150 variables
Horizon 110: 335345 variables
Allocated 32 MB permanent (total 2415 MB)
Horizon 115: 350540 variables
Horizon 120: 365735 variables
Allocated 32 MB permanent (total 2643 MB)
Horizon 125: 380930 variables
Horizon 130: 396125 variables
Allocated 32 MB permanent (total 2876 MB)
Horizon 135: 411320 variables
Horizon 140: 426515 variables
Allocated 32 MB permanent (total 3112 MB)
Horizon 145: 441710 variables
Allocated 32 MB permanent (total 3247 MB)
Horizon 150: 456905 variables
Horizon 155: 472100 variables
Allocated 32 MB permanent (total 3489 MB)
Horizon 160: 487295 variables
Allocated 32 MB permanent (total 3627 MB)
Horizon 165: 502490 variables
Allocated 32 MB (total 3659 MB)
GC: 101.26 MB
Allocated 32 MB (total 3691 MB)
Allocated 32 MB (total 3723 MB)
GC: 77.82 MB
GC: 91.97 MB
GC: 88.20 MB
Allocated 32 MB (total 3755 MB)
Allocated 32 MB (total 3787 MB)
GC: 115.51 MB
Allocated 32 MB (total 3819 MB)
GC: 141.21 MB
GC: 119.43 MB
GC: 125.31 MB
Allocated 32 MB (total 3851 MB)
Allocated 32 MB (total 3883 MB)
GC: 158.13 MB
70 UNSAT (36605 decisions 24482 conflicts)
Horizon 170: 517685 variables
GC: 259.66 MB
GC: 65.46 MB
GC: 94.04 MB
GC: 93.51 MB
GC: 115.44 MB
GC: 141.27 MB
GC: 105.97 MB
GC: 100.77 MB
GC: 106.82 MB
GC: 102.67 MB
GC: 112.08 MB
GC: 119.36 MB
GC: 116.21 MB
GC: 126.11 MB
GC: 120.40 MB
GC: 131.50 MB
GC: 115.12 MB
GC: 139.49 MB
GC: 127.62 MB
GC: 123.30 MB
GC: 125.63 MB
GC: 129.77 MB
GC: 147.04 MB
GC: 146.96 MB
GC: 151.74 MB
GC: 153.38 MB
GC: 151.41 MB
GC: 142.17 MB
GC: 166.41 MB
GC: 158.50 MB
GC: 168.83 MB
GC: 161.41 MB
GC: 182.95 MB
GC: 186.78 MB
GC: 184.20 MB
GC: 176.09 MB
GC: 197.33 MB
GC: 167.98 MB
GC: 193.84 MB
GC: 176.52 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-66.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 66
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 66}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-66.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.11 MEM 4652844 MAXMEM 4652844 STALE 0 MAXMEM_RSS 1432384
<time name="ALL">900140</time>

View File

@ -1,137 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-66.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-32-1
Parser: 2112 ground actions and 1121 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 0.58 secs
Goal: conjunctive
Simplified: 2112 ground actions and 1121 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.36 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 141 MB)
Horizon 0: 1121 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 17286 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 33451 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 49616 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 65781 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 81946 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 98111 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 114276 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 130441 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 146606 variables
45 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1068 MB)
Horizon 50: 162771 variables
50 UNSAT (0 decisions 0 conflicts)
Horizon 55: 178936 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 195101 variables
Allocated 32 MB (total 1274 MB)
60 UNSAT (11 decisions 10 conflicts)
Horizon 65: 211266 variables
65 UNSAT (24 decisions 22 conflicts)
Allocated 32 MB permanent (total 1485 MB)
Horizon 70: 227431 variables
70 UNSAT (61 decisions 56 conflicts)
Horizon 75: 243596 variables
Horizon 80: 259761 variables
75 UNSAT (168 decisions 99 conflicts)
Allocated 32 MB permanent (total 1792 MB)
Horizon 85: 275926 variables
Horizon 90: 292091 variables
Horizon 95: 308256 variables
Allocated 32 MB permanent (total 2108 MB)
Horizon 100: 324421 variables
Horizon 105: 340586 variables
Allocated 32 MB permanent (total 2334 MB)
Horizon 110: 356751 variables
Horizon 115: 372916 variables
Allocated 32 MB permanent (total 2563 MB)
Horizon 120: 389081 variables
Horizon 125: 405246 variables
Allocated 32 MB permanent (total 2797 MB)
Horizon 130: 421411 variables
Horizon 135: 437576 variables
Allocated 32 MB permanent (total 3034 MB)
Horizon 140: 453741 variables
Allocated 32 MB permanent (total 3170 MB)
Horizon 145: 469906 variables
Horizon 150: 486071 variables
Allocated 32 MB permanent (total 3414 MB)
Horizon 155: 502236 variables
Allocated 32 MB permanent (total 3553 MB)
Horizon 160: 518401 variables
Horizon 165: 534566 variables
80 UNSAT (2637 decisions 1046 conflicts)
Allocated 32 MB permanent (total 3801 MB)
Horizon 170: 550731 variables
Allocated 32 MB permanent (total 3943 MB)
Horizon 175: 566896 variables
85 UNSAT (2950 decisions 1110 conflicts)
Horizon 180: 583061 variables
Allocated 32 MB permanent (total 4198 MB)
Horizon 185: 599226 variables
Allocated 32 MB (total 4230 MB)
GC: 142.57 MB
Allocated 32 MB (total 4262 MB)
GC: 67.22 MB
Allocated 32 MB (total 4294 MB)
GC: 88.43 MB
GC: 80.52 MB
GC: 84.47 MB
GC: 96.18 MB
GC: 109.21 MB
GC: 110.13 MB
GC: 103.55 MB
GC: 113.50 MB
Allocated 32 MB (total 4326 MB)
GC: 122.17 MB
GC: 128.55 MB
GC: 134.38 MB
GC: 131.06 MB
Allocated 32 MB (total 4358 MB)
GC: 146.88 MB
GC: 142.61 MB
GC: 153.37 MB
GC: 157.10 MB
GC: 158.73 MB
GC: 158.72 MB
GC: 164.79 MB
Allocated 32 MB (total 4390 MB)
GC: 186.45 MB
GC: 175.45 MB
GC: 137.49 MB
GC: 165.61 MB
GC: 167.01 MB
GC: 171.37 MB
GC: 181.22 MB
GC: 201.24 MB
GC: 181.66 MB
GC: 204.67 MB
GC: 174.61 MB
GC: 197.79 MB
Allocated 32 MB (total 4422 MB)
GC: 209.57 MB
GC: 208.35 MB
GC: 237.26 MB
GC: 210.20 MB
GC: 211.45 MB
GC: 220.51 MB
GC: 218.60 MB
GC: 229.85 MB
Allocated 32 MB (total 4454 MB)
GC: 250.71 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-67.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 67
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 67}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-67.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.06 MEM 4410528 MAXMEM 4410528 STALE 0 MAXMEM_RSS 1595840
<time name="ALL">900090</time>

View File

@ -1,130 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-67.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-33-0
Parser: 2244 ground actions and 1189 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 1.18 secs
Goal: conjunctive
Simplified: 2244 ground actions and 1189 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.50 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 143 MB)
Horizon 0: 1189 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 18354 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 35519 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 52684 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 69849 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 87014 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 104179 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 121344 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 138509 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 155674 variables
Allocated 32 MB (total 986 MB)
45 UNSAT (27 decisions 27 conflicts)
Allocated 32 MB permanent (total 1105 MB)
Horizon 50: 172839 variables
Horizon 55: 190004 variables
Horizon 60: 207169 variables
Allocated 32 MB permanent (total 1402 MB)
Horizon 65: 224334 variables
Horizon 70: 241499 variables
50 UNSAT (300 decisions 261 conflicts)
Horizon 75: 258664 variables
Allocated 32 MB permanent (total 1709 MB)
Horizon 80: 275829 variables
Horizon 85: 292994 variables
Horizon 90: 310159 variables
Allocated 32 MB permanent (total 2025 MB)
Horizon 95: 327324 variables
Horizon 100: 344489 variables
Allocated 32 MB permanent (total 2252 MB)
Horizon 105: 361654 variables
Horizon 110: 378819 variables
Allocated 32 MB permanent (total 2482 MB)
Horizon 115: 395984 variables
Allocated 32 MB (total 2514 MB)
Horizon 120: 413149 variables
Allocated 32 MB permanent (total 2749 MB)
Horizon 125: 430314 variables
Horizon 130: 447479 variables
Allocated 32 MB permanent (total 2987 MB)
Horizon 135: 464644 variables
Allocated 32 MB permanent (total 3124 MB)
Horizon 140: 481809 variables
Horizon 145: 498974 variables
Allocated 32 MB permanent (total 3369 MB)
Horizon 150: 516139 variables
Allocated 32 MB (total 3401 MB)
Allocated 32 MB (total 3433 MB)
55 UNSAT (2219 decisions 1698 conflicts)
Allocated 32 MB permanent (total 3573 MB)
Horizon 155: 533304 variables
Allocated 32 MB (total 3605 MB)
GC: 160.82 MB
60 UNSAT (4160 decisions 2853 conflicts)
Horizon 160: 550469 variables
Allocated 32 MB (total 3746 MB)
Allocated 32 MB (total 3778 MB)
GC: 188.84 MB
Allocated 32 MB (total 3810 MB)
GC: 211.76 MB
Allocated 32 MB (total 3842 MB)
Allocated 32 MB (total 3874 MB)
GC: 235.77 MB
Allocated 32 MB (total 3906 MB)
GC: 252.03 MB
GC: 254.60 MB
Allocated 32 MB (total 3938 MB)
Allocated 32 MB (total 3970 MB)
GC: 288.50 MB
Allocated 32 MB (total 4002 MB)
GC: 323.68 MB
Allocated 32 MB (total 4034 MB)
GC: 309.52 MB
GC: 308.15 MB
Allocated 32 MB (total 4066 MB)
Allocated 32 MB (total 4098 MB)
GC: 481.21 MB
GC: 339.19 MB
GC: 341.42 MB
GC: 336.78 MB
GC: 323.92 MB
GC: 357.94 MB
GC: 377.68 MB
GC: 373.08 MB
GC: 382.40 MB
GC: 376.22 MB
GC: 371.92 MB
GC: 411.89 MB
GC: 413.07 MB
GC: 428.03 MB
GC: 476.28 MB
Allocated 32 MB (total 4130 MB)
GC: 486.29 MB
GC: 475.16 MB
GC: 472.78 MB
GC: 477.85 MB
GC: 467.27 MB
Allocated 32 MB (total 4162 MB)
GC: 525.01 MB
GC: 488.47 MB
GC: 516.54 MB
Allocated 32 MB (total 4194 MB)
GC: 548.45 MB
GC: 564.35 MB
GC: 550.98 MB
GC: 510.10 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-68.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 68
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 68}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-68.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.09 MEM 4071788 MAXMEM 4071788 STALE 0 MAXMEM_RSS 1312984
<time name="ALL">900110</time>

View File

@ -1,128 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-68.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-33-1
Parser: 2244 ground actions and 1189 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 0.61 secs
Goal: conjunctive
Simplified: 2244 ground actions and 1189 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.42 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 143 MB)
Horizon 0: 1189 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 18354 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 35519 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 52684 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 69849 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 87014 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 104179 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 121344 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 138509 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 155674 variables
Allocated 32 MB (total 986 MB)
45 UNSAT (5 decisions 5 conflicts)
Allocated 32 MB permanent (total 1105 MB)
Horizon 50: 172839 variables
50 UNSAT (21 decisions 19 conflicts)
Horizon 55: 190004 variables
Horizon 60: 207169 variables
Allocated 32 MB permanent (total 1402 MB)
Horizon 65: 224334 variables
Horizon 70: 241499 variables
55 UNSAT (335 decisions 224 conflicts)
Horizon 75: 258664 variables
Allocated 32 MB permanent (total 1709 MB)
Horizon 80: 275829 variables
Horizon 85: 292994 variables
Horizon 90: 310159 variables
Allocated 32 MB permanent (total 2025 MB)
Horizon 95: 327324 variables
Horizon 100: 344489 variables
Allocated 32 MB permanent (total 2252 MB)
Horizon 105: 361654 variables
Horizon 110: 378819 variables
Allocated 32 MB permanent (total 2482 MB)
Horizon 115: 395984 variables
Horizon 120: 413149 variables
Allocated 32 MB permanent (total 2717 MB)
Horizon 125: 430314 variables
Horizon 130: 447479 variables
Allocated 32 MB permanent (total 2955 MB)
Horizon 135: 464644 variables
Allocated 32 MB permanent (total 3092 MB)
Horizon 140: 481809 variables
Horizon 145: 498974 variables
Allocated 32 MB permanent (total 3337 MB)
Horizon 150: 516139 variables
Allocated 32 MB permanent (total 3477 MB)
Horizon 155: 533304 variables
Allocated 32 MB (total 3509 MB)
Allocated 32 MB (total 3541 MB)
GC: 102.74 MB
Allocated 32 MB (total 3573 MB)
GC: 109.82 MB
Allocated 32 MB (total 3605 MB)
GC: 122.67 MB
Allocated 32 MB (total 3637 MB)
GC: 136.19 MB
GC: 171.41 MB
GC: 156.18 MB
Allocated 32 MB (total 3669 MB)
GC: 172.69 MB
GC: 180.24 MB
GC: 194.53 MB
Allocated 32 MB (total 3701 MB)
GC: 217.86 MB
GC: 186.04 MB
GC: 203.82 MB
GC: 201.82 MB
GC: 207.03 MB
GC: 222.41 MB
GC: 226.85 MB
GC: 233.23 MB
Allocated 32 MB (total 3733 MB)
GC: 248.34 MB
GC: 245.91 MB
GC: 253.44 MB
Allocated 32 MB (total 3765 MB)
GC: 267.12 MB
GC: 260.44 MB
GC: 271.73 MB
Allocated 32 MB (total 3797 MB)
GC: 293.15 MB
GC: 311.93 MB
GC: 252.16 MB
GC: 262.84 MB
GC: 274.33 MB
GC: 289.53 MB
GC: 310.64 MB
GC: 287.87 MB
GC: 303.95 MB
GC: 296.36 MB
GC: 308.94 MB
GC: 309.88 MB
GC: 307.75 MB
GC: 308.50 MB
Allocated 32 MB (total 3829 MB)
GC: 338.24 MB
GC: 327.28 MB
GC: 336.22 MB
GC: 335.10 MB
GC: 349.07 MB
GC: 364.53 MB
Allocated 32 MB (total 3861 MB)
GC: 364.57 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-70.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 70
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 70}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-70.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.07 MEM 4633484 MAXMEM 4633484 STALE 0 MAXMEM_RSS 1661732
<time name="ALL">900100</time>

View File

@ -1,130 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-70.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-34-1
Parser: 2380 ground actions and 1259 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 0.96 secs
Goal: conjunctive
Simplified: 2380 ground actions and 1259 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.47 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 144 MB)
Horizon 0: 1259 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 19454 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 37649 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 55844 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 74039 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 92234 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 110429 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 128624 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 146819 variables
40 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 990 MB)
Horizon 45: 165014 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 183209 variables
Allocated 32 MB (total 1110 MB)
50 UNSAT (1 decisions 1 conflicts)
Horizon 55: 201404 variables
55 UNSAT (12 decisions 12 conflicts)
Horizon 60: 219599 variables
60 UNSAT (51 decisions 42 conflicts)
Allocated 32 MB permanent (total 1410 MB)
Horizon 65: 237794 variables
Horizon 70: 255989 variables
65 UNSAT (119 decisions 94 conflicts)
Horizon 75: 274184 variables
Allocated 32 MB permanent (total 1719 MB)
Horizon 80: 292379 variables
Horizon 85: 310574 variables
Allocated 32 MB permanent (total 1942 MB)
Horizon 90: 328769 variables
Horizon 95: 346964 variables
Horizon 100: 365159 variables
Allocated 32 MB permanent (total 2268 MB)
Horizon 105: 383354 variables
Horizon 110: 401549 variables
Allocated 32 MB permanent (total 2501 MB)
Horizon 115: 419744 variables
Allocated 32 MB permanent (total 2635 MB)
Horizon 120: 437939 variables
Allocated 32 MB (total 2667 MB)
Horizon 125: 456134 variables
Allocated 32 MB permanent (total 2907 MB)
Horizon 130: 474329 variables
Horizon 135: 492524 variables
Allocated 32 MB permanent (total 3151 MB)
Horizon 140: 510719 variables
Allocated 32 MB permanent (total 3290 MB)
Horizon 145: 528914 variables
Horizon 150: 547109 variables
Allocated 32 MB permanent (total 3541 MB)
Horizon 155: 565304 variables
Allocated 32 MB (total 3573 MB)
Allocated 32 MB permanent (total 3716 MB)
Horizon 160: 583499 variables
Allocated 32 MB permanent (total 3860 MB)
Horizon 165: 601694 variables
70 UNSAT (2455 decisions 1416 conflicts)
Horizon 170: 619889 variables
Allocated 32 MB (total 4005 MB)
Allocated 32 MB (total 4037 MB)
GC: 199.91 MB
Allocated 32 MB (total 4069 MB)
GC: 147.97 MB
Allocated 32 MB (total 4101 MB)
GC: 171.65 MB
Allocated 32 MB (total 4133 MB)
GC: 219.97 MB
GC: 205.79 MB
Allocated 32 MB (total 4165 MB)
Allocated 32 MB (total 4197 MB)
GC: 263.99 MB
GC: 213.31 MB
GC: 233.71 MB
GC: 256.97 MB
GC: 271.11 MB
GC: 275.80 MB
Allocated 32 MB (total 4229 MB)
GC: 304.33 MB
Allocated 32 MB (total 4261 MB)
GC: 353.43 MB
GC: 293.98 MB
GC: 291.63 MB
GC: 301.71 MB
GC: 302.39 MB
GC: 315.61 MB
GC: 324.69 MB
GC: 325.57 MB
GC: 344.33 MB
GC: 348.81 MB
Allocated 32 MB (total 4293 MB)
GC: 360.73 MB
Allocated 32 MB (total 4325 MB)
GC: 395.05 MB
GC: 385.98 MB
GC: 402.72 MB
Allocated 32 MB (total 4357 MB)
GC: 415.83 MB
GC: 430.24 MB
Allocated 32 MB (total 4389 MB)
GC: 449.53 MB
GC: 468.60 MB
Allocated 32 MB (total 4421 MB)
GC: 471.75 MB
GC: 480.20 MB
GC: 392.18 MB
GC: 430.55 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-71.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 71
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 71}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-71.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.10 MEM 4708444 MAXMEM 4708444 STALE 0 MAXMEM_RSS 1733460
<time name="ALL">900130</time>

View File

@ -1,131 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-71.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-35-0
Parser: 2520 ground actions and 1331 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 1.36 secs
Goal: conjunctive
Simplified: 2520 ground actions and 1331 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.68 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 146 MB)
Horizon 0: 1331 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 20586 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 39841 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 59096 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 78351 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 97606 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 116861 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 136116 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 155371 variables
40 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 995 MB)
Horizon 45: 174626 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 193881 variables
Allocated 32 MB (total 1115 MB)
50 UNSAT (3 decisions 3 conflicts)
Horizon 55: 213136 variables
Horizon 60: 232391 variables
55 UNSAT (130 decisions 90 conflicts)
Allocated 32 MB permanent (total 1417 MB)
Horizon 65: 251646 variables
Horizon 70: 270901 variables
Horizon 75: 290156 variables
Allocated 32 MB permanent (total 1730 MB)
Horizon 80: 309411 variables
Horizon 85: 328666 variables
Allocated 32 MB permanent (total 1954 MB)
Horizon 90: 347921 variables
Horizon 95: 367176 variables
Allocated 32 MB permanent (total 2184 MB)
Horizon 100: 386431 variables
Horizon 105: 405686 variables
Allocated 32 MB permanent (total 2417 MB)
Horizon 110: 424941 variables
Horizon 115: 444196 variables
Allocated 32 MB permanent (total 2656 MB)
Horizon 120: 463451 variables
Allocated 32 MB (total 2688 MB)
Allocated 32 MB permanent (total 2825 MB)
Horizon 125: 482706 variables
60 UNSAT (1185 decisions 828 conflicts)
Horizon 130: 501961 variables
Allocated 32 MB permanent (total 3070 MB)
Horizon 135: 521216 variables
Allocated 32 MB permanent (total 3210 MB)
Horizon 140: 540471 variables
Horizon 145: 559726 variables
Allocated 32 MB permanent (total 3462 MB)
Horizon 150: 578981 variables
Allocated 32 MB permanent (total 3606 MB)
Horizon 155: 598236 variables
Allocated 32 MB permanent (total 3751 MB)
Horizon 160: 617491 variables
Allocated 32 MB (total 3783 MB)
Allocated 32 MB (total 3815 MB)
GC: 161.75 MB
Allocated 32 MB (total 3847 MB)
Allocated 32 MB (total 3879 MB)
Allocated 32 MB (total 3911 MB)
Allocated 32 MB (total 3943 MB)
GC: 170.39 MB
Allocated 32 MB (total 3975 MB)
Allocated 32 MB (total 4007 MB)
Allocated 32 MB (total 4039 MB)
GC: 282.28 MB
Allocated 32 MB (total 4071 MB)
Allocated 32 MB (total 4103 MB)
GC: 325.66 MB
Allocated 32 MB (total 4135 MB)
Allocated 32 MB (total 4167 MB)
GC: 348.84 MB
Allocated 32 MB (total 4199 MB)
Allocated 32 MB (total 4231 MB)
Allocated 32 MB (total 4263 MB)
GC: 398.26 MB
65 UNSAT (20867 decisions 15697 conflicts)
Horizon 165: 636746 variables
GC: 460.82 MB
GC: 294.57 MB
GC: 321.58 MB
70 UNSAT (31877 decisions 22320 conflicts)
Horizon 170: 656001 variables
GC: 475.50 MB
GC: 215.69 MB
GC: 235.11 MB
GC: 250.48 MB
GC: 267.98 MB
GC: 270.14 MB
GC: 271.36 MB
GC: 283.74 MB
GC: 301.46 MB
GC: 304.65 MB
GC: 298.28 MB
GC: 300.70 MB
GC: 302.55 MB
GC: 313.60 MB
GC: 328.02 MB
GC: 322.27 MB
GC: 328.87 MB
GC: 356.93 MB
GC: 356.86 MB
GC: 355.04 MB
GC: 364.59 MB
GC: 376.57 MB
GC: 373.69 MB
GC: 385.25 MB
GC: 392.73 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-72.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 72
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 72}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-72.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.09 MEM 4968464 MAXMEM 4968464 STALE 0 MAXMEM_RSS 1661832
<time name="ALL">900120</time>

View File

@ -1,137 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-72.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-35-1
Parser: 2520 ground actions and 1331 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 0.90 secs
Goal: conjunctive
Simplified: 2520 ground actions and 1331 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.55 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 146 MB)
Horizon 0: 1331 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 20586 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 39841 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 59096 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 78351 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 97606 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 116861 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 136116 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 155371 variables
40 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 995 MB)
Horizon 45: 174626 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 193881 variables
50 UNSAT (0 decisions 0 conflicts)
Horizon 55: 213136 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 232391 variables
Allocated 32 MB (total 1294 MB)
60 UNSAT (2 decisions 2 conflicts)
Allocated 32 MB permanent (total 1417 MB)
Horizon 65: 251646 variables
65 UNSAT (23 decisions 20 conflicts)
Horizon 70: 270901 variables
70 UNSAT (60 decisions 58 conflicts)
Horizon 75: 290156 variables
Allocated 32 MB permanent (total 1730 MB)
Horizon 80: 309411 variables
Horizon 85: 328666 variables
75 UNSAT (196 decisions 162 conflicts)
Allocated 32 MB permanent (total 1954 MB)
Horizon 90: 347921 variables
80 UNSAT (250 decisions 181 conflicts)
Horizon 95: 367176 variables
Allocated 32 MB permanent (total 2184 MB)
Horizon 100: 386431 variables
Horizon 105: 405686 variables
Allocated 32 MB permanent (total 2417 MB)
Horizon 110: 424941 variables
Horizon 115: 444196 variables
Allocated 32 MB permanent (total 2656 MB)
Horizon 120: 463451 variables
Allocated 32 MB permanent (total 2793 MB)
Horizon 125: 482706 variables
85 UNSAT (941 decisions 496 conflicts)
Horizon 130: 501961 variables
Allocated 32 MB permanent (total 3038 MB)
Horizon 135: 521216 variables
Allocated 32 MB permanent (total 3178 MB)
Horizon 140: 540471 variables
Horizon 145: 559726 variables
Allocated 32 MB permanent (total 3430 MB)
Horizon 150: 578981 variables
Allocated 32 MB permanent (total 3574 MB)
Horizon 155: 598236 variables
Allocated 32 MB permanent (total 3719 MB)
Horizon 160: 617491 variables
Horizon 165: 636746 variables
Allocated 32 MB permanent (total 3980 MB)
Horizon 170: 656001 variables
Allocated 32 MB permanent (total 4128 MB)
Horizon 175: 675256 variables
Allocated 32 MB permanent (total 4277 MB)
Horizon 180: 694511 variables
Allocated 32 MB permanent (total 4428 MB)
Horizon 185: 713766 variables
GC: 141.47 MB
Allocated 32 MB (total 4460 MB)
GC: 45.19 MB
Allocated 32 MB (total 4492 MB)
GC: 66.32 MB
Allocated 32 MB (total 4524 MB)
GC: 80.53 MB
Allocated 32 MB (total 4556 MB)
GC: 120.43 MB
GC: 97.87 MB
GC: 107.23 MB
Allocated 32 MB (total 4588 MB)
GC: 138.37 MB
Allocated 32 MB (total 4620 MB)
GC: 167.35 MB
GC: 141.18 MB
Allocated 32 MB (total 4652 MB)
GC: 168.09 MB
90 UNSAT (57763 decisions 28279 conflicts)
Horizon 190: 733021 variables
GC: 150.65 MB
GC: 75.35 MB
GC: 94.09 MB
GC: 88.32 MB
GC: 95.71 MB
GC: 90.04 MB
GC: 120.17 MB
GC: 77.64 MB
GC: 96.82 MB
GC: 102.07 MB
GC: 108.59 MB
GC: 93.34 MB
GC: 90.06 MB
GC: 98.67 MB
GC: 110.13 MB
GC: 117.60 MB
GC: 104.59 MB
GC: 103.12 MB
GC: 99.70 MB
GC: 109.69 MB
GC: 108.82 MB
GC: 109.92 MB
GC: 113.69 MB
GC: 114.13 MB
GC: 120.50 MB
GC: 121.51 MB
GC: 130.06 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-73.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 73
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 73}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-73.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.02 MEM 4600284 MAXMEM 4600284 STALE 0 MAXMEM_RSS 1702736
<time name="ALL">900050</time>

View File

@ -1,130 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-73.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-36-0
Parser: 2664 ground actions and 1405 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 1.09 secs
Goal: conjunctive
Simplified: 2664 ground actions and 1405 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.63 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 148 MB)
Horizon 0: 1405 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 21750 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 42095 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 62440 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 82785 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 103130 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 123475 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 143820 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 164165 variables
40 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1000 MB)
Horizon 45: 184510 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 204855 variables
Allocated 32 MB (total 1120 MB)
50 UNSAT (1 decisions 1 conflicts)
Horizon 55: 225200 variables
55 UNSAT (13 decisions 9 conflicts)
Allocated 32 MB permanent (total 1333 MB)
Horizon 60: 245545 variables
60 UNSAT (110 decisions 36 conflicts)
Horizon 65: 265890 variables
Horizon 70: 286235 variables
Allocated 32 MB permanent (total 1645 MB)
Horizon 75: 306580 variables
Horizon 80: 326925 variables
Allocated 32 MB permanent (total 1869 MB)
Horizon 85: 347270 variables
Horizon 90: 367615 variables
Horizon 95: 387960 variables
Allocated 32 MB permanent (total 2199 MB)
Horizon 100: 408305 variables
Allocated 32 MB permanent (total 2333 MB)
Horizon 105: 428650 variables
Horizon 110: 448995 variables
Allocated 32 MB permanent (total 2572 MB)
Horizon 115: 469340 variables
Horizon 120: 489685 variables
Allocated 32 MB permanent (total 2816 MB)
Horizon 125: 510030 variables
Allocated 32 MB permanent (total 2955 MB)
Horizon 130: 530375 variables
Horizon 135: 550720 variables
Allocated 32 MB (total 3096 MB)
Allocated 32 MB permanent (total 3238 MB)
Horizon 140: 571065 variables
Allocated 32 MB permanent (total 3382 MB)
Horizon 145: 591410 variables
Allocated 32 MB permanent (total 3526 MB)
Horizon 150: 611755 variables
Allocated 32 MB permanent (total 3672 MB)
Horizon 155: 632100 variables
Horizon 160: 652445 variables
Allocated 32 MB (total 3819 MB)
Allocated 32 MB (total 3851 MB)
GC: 162.51 MB
Allocated 32 MB (total 3883 MB)
Allocated 32 MB (total 3915 MB)
65 UNSAT (6580 decisions 4156 conflicts)
Horizon 165: 672790 variables
GC: 184.77 MB
GC: 160.89 MB
Allocated 32 MB (total 4063 MB)
Allocated 32 MB (total 4095 MB)
GC: 212.71 MB
GC: 205.06 MB
Allocated 32 MB (total 4127 MB)
GC: 234.42 MB
GC: 250.67 MB
Allocated 32 MB (total 4159 MB)
GC: 254.87 MB
GC: 268.64 MB
Allocated 32 MB (total 4191 MB)
GC: 314.54 MB
GC: 256.13 MB
GC: 269.05 MB
GC: 282.11 MB
GC: 310.61 MB
GC: 314.05 MB
GC: 321.71 MB
GC: 322.64 MB
GC: 314.96 MB
Allocated 32 MB (total 4223 MB)
GC: 352.62 MB
GC: 326.74 MB
GC: 351.71 MB
Allocated 32 MB (total 4255 MB)
GC: 361.15 MB
Allocated 32 MB (total 4287 MB)
GC: 384.69 MB
GC: 394.16 MB
GC: 400.99 MB
GC: 404.66 MB
Allocated 32 MB (total 4319 MB)
GC: 427.42 MB
GC: 421.25 MB
GC: 433.97 MB
Allocated 32 MB (total 4351 MB)
GC: 481.99 MB
GC: 383.66 MB
GC: 403.22 MB
GC: 425.79 MB
GC: 444.57 MB
Allocated 32 MB (total 4383 MB)
GC: 506.20 MB
GC: 484.74 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-74.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 74
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 74}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-74.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.01 MEM 4999344 MAXMEM 4999344 STALE 0 MAXMEM_RSS 1771164
<time name="ALL">900040</time>

View File

@ -1,137 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-74.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-36-1
Parser: 2664 ground actions and 1405 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 1.02 secs
Goal: conjunctive
Simplified: 2664 ground actions and 1405 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.64 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 148 MB)
Horizon 0: 1405 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 21750 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 42095 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 62440 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 82785 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 103130 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 123475 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 143820 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 164165 variables
40 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1000 MB)
Horizon 45: 184510 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 204855 variables
50 UNSAT (0 decisions 0 conflicts)
Horizon 55: 225200 variables
55 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1301 MB)
Horizon 60: 245545 variables
Allocated 32 MB (total 1333 MB)
60 UNSAT (1 decisions 1 conflicts)
Horizon 65: 265890 variables
65 UNSAT (20 decisions 19 conflicts)
Horizon 70: 286235 variables
70 UNSAT (64 decisions 60 conflicts)
Allocated 32 MB permanent (total 1645 MB)
Horizon 75: 306580 variables
Horizon 80: 326925 variables
75 UNSAT (135 decisions 94 conflicts)
Allocated 32 MB permanent (total 1869 MB)
Horizon 85: 347270 variables
Horizon 90: 367615 variables
Horizon 95: 387960 variables
Allocated 32 MB permanent (total 2199 MB)
Horizon 100: 408305 variables
Allocated 32 MB permanent (total 2333 MB)
Horizon 105: 428650 variables
Horizon 110: 448995 variables
Allocated 32 MB permanent (total 2572 MB)
Horizon 115: 469340 variables
Horizon 120: 489685 variables
Allocated 32 MB permanent (total 2816 MB)
Horizon 125: 510030 variables
Allocated 32 MB permanent (total 2955 MB)
Horizon 130: 530375 variables
Horizon 135: 550720 variables
Allocated 32 MB permanent (total 3206 MB)
Horizon 140: 571065 variables
Allocated 32 MB permanent (total 3350 MB)
Horizon 145: 591410 variables
Allocated 32 MB permanent (total 3494 MB)
Horizon 150: 611755 variables
Allocated 32 MB permanent (total 3640 MB)
Horizon 155: 632100 variables
Horizon 160: 652445 variables
Allocated 32 MB (total 3787 MB)
Allocated 32 MB permanent (total 3935 MB)
Horizon 165: 672790 variables
Allocated 32 MB permanent (total 4084 MB)
Horizon 170: 693135 variables
Allocated 32 MB permanent (total 4235 MB)
Horizon 175: 713480 variables
80 UNSAT (3184 decisions 1192 conflicts)
Allocated 32 MB permanent (total 4386 MB)
Horizon 180: 733825 variables
Allocated 32 MB (total 4418 MB)
GC: 183.62 MB
Allocated 32 MB (total 4450 MB)
Allocated 32 MB (total 4482 MB)
GC: 134.14 MB
Allocated 32 MB (total 4514 MB)
GC: 149.73 MB
Allocated 32 MB (total 4546 MB)
GC: 191.73 MB
GC: 172.19 MB
85 UNSAT (26219 decisions 12706 conflicts)
Horizon 185: 754170 variables
GC: 220.72 MB
GC: 163.53 MB
GC: 166.35 MB
GC: 166.71 MB
GC: 170.14 MB
GC: 178.48 MB
Allocated 32 MB (total 4699 MB)
GC: 204.34 MB
GC: 204.82 MB
Allocated 32 MB (total 4731 MB)
GC: 247.52 MB
GC: 161.01 MB
GC: 177.85 MB
GC: 222.51 MB
GC: 218.21 MB
GC: 218.87 MB
GC: 222.05 MB
GC: 211.21 MB
GC: 240.34 MB
GC: 224.39 MB
GC: 241.02 MB
GC: 244.68 MB
GC: 244.49 MB
GC: 242.03 MB
GC: 262.60 MB
Allocated 32 MB (total 4763 MB)
GC: 268.22 MB
GC: 257.03 MB
GC: 279.94 MB
GC: 262.04 MB
GC: 270.95 MB
Allocated 32 MB (total 4795 MB)
GC: 310.67 MB
GC: 213.00 MB
GC: 240.32 MB
GC: 266.51 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-75.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 75
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 75}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-75.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.09 MEM 5410048 MAXMEM 5410048 STALE 0 MAXMEM_RSS 1920172
<time name="ALL">900120</time>

View File

@ -1,139 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-75.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-37-0
Parser: 2812 ground actions and 1481 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 1.20 secs
Goal: conjunctive
Simplified: 2812 ground actions and 1481 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.73 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 149 MB)
Horizon 0: 1481 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 22946 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 44411 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 65876 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 87341 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 108806 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 130271 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 151736 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 173201 variables
40 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1005 MB)
Horizon 45: 194666 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 216131 variables
50 UNSAT (0 decisions 0 conflicts)
Horizon 55: 237596 variables
55 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1308 MB)
Horizon 60: 259061 variables
60 UNSAT (0 decisions 0 conflicts)
Horizon 65: 280526 variables
65 UNSAT (0 decisions 0 conflicts)
Horizon 70: 301991 variables
Allocated 32 MB (total 1527 MB)
70 UNSAT (3 decisions 3 conflicts)
Allocated 32 MB permanent (total 1655 MB)
Horizon 75: 323456 variables
75 UNSAT (28 decisions 28 conflicts)
Horizon 80: 344921 variables
Allocated 32 MB permanent (total 1882 MB)
Horizon 85: 366386 variables
80 UNSAT (79 decisions 70 conflicts)
Horizon 90: 387851 variables
Allocated 32 MB permanent (total 2113 MB)
Horizon 95: 409316 variables
85 UNSAT (132 decisions 121 conflicts)
Horizon 100: 430781 variables
Allocated 32 MB permanent (total 2350 MB)
Horizon 105: 452246 variables
90 UNSAT (228 decisions 188 conflicts)
Allocated 32 MB permanent (total 2487 MB)
Horizon 110: 473711 variables
95 UNSAT (297 decisions 218 conflicts)
Horizon 115: 495176 variables
Allocated 32 MB permanent (total 2731 MB)
Horizon 120: 516641 variables
Allocated 32 MB permanent (total 2871 MB)
Horizon 125: 538106 variables
100 UNSAT (585 decisions 354 conflicts)
Horizon 130: 559571 variables
Allocated 32 MB permanent (total 3123 MB)
Horizon 135: 581036 variables
Allocated 32 MB permanent (total 3267 MB)
Horizon 140: 602501 variables
Allocated 32 MB permanent (total 3413 MB)
Horizon 145: 623966 variables
Horizon 150: 645431 variables
Allocated 32 MB permanent (total 3675 MB)
Horizon 155: 666896 variables
Allocated 32 MB permanent (total 3824 MB)
Horizon 160: 688361 variables
Allocated 32 MB permanent (total 3974 MB)
Horizon 165: 709826 variables
Allocated 32 MB permanent (total 4126 MB)
Horizon 170: 731291 variables
Allocated 32 MB permanent (total 4279 MB)
Horizon 175: 752756 variables
Allocated 32 MB permanent (total 4433 MB)
Horizon 180: 774221 variables
Allocated 32 MB permanent (total 4588 MB)
Horizon 185: 795686 variables
Allocated 32 MB permanent (total 4745 MB)
Horizon 190: 817151 variables
Allocated 32 MB permanent (total 4903 MB)
Horizon 195: 838616 variables
Allocated 32 MB permanent (total 5062 MB)
Horizon 200: 860081 variables
GC: 207.27 MB
Allocated 32 MB (total 5094 MB)
GC: 38.51 MB
GC: 48.65 MB
Allocated 32 MB (total 5126 MB)
GC: 61.84 MB
GC: 56.53 MB
GC: 64.77 MB
GC: 70.35 MB
GC: 74.59 MB
Allocated 32 MB (total 5158 MB)
GC: 79.38 MB
GC: 79.46 MB
GC: 89.31 MB
GC: 94.49 MB
Allocated 32 MB (total 5190 MB)
GC: 104.84 MB
GC: 106.97 MB
GC: 110.06 MB
GC: 124.32 MB
GC: 104.69 MB
GC: 107.14 MB
GC: 111.59 MB
GC: 111.10 MB
GC: 120.02 MB
GC: 126.26 MB
GC: 115.97 MB
GC: 122.27 MB
GC: 127.40 MB
Allocated 32 MB (total 5222 MB)
GC: 139.45 MB
GC: 148.34 MB
GC: 145.71 MB
GC: 141.20 MB
GC: 128.08 MB
GC: 131.56 MB
GC: 149.26 MB
GC: 139.05 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-76.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 76
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 76}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-76.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.06 MEM 4876104 MAXMEM 4876104 STALE 0 MAXMEM_RSS 1810948
<time name="ALL">900080</time>

View File

@ -1,132 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-76.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-37-1
Parser: 2812 ground actions and 1481 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 1.23 secs
Goal: conjunctive
Simplified: 2812 ground actions and 1481 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.72 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 149 MB)
Horizon 0: 1481 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 22946 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 44411 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 65876 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 87341 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 108806 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 130271 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 151736 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 173201 variables
40 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1005 MB)
Horizon 45: 194666 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 216131 variables
50 UNSAT (0 decisions 0 conflicts)
Horizon 55: 237596 variables
Allocated 32 MB (total 1217 MB)
55 UNSAT (10 decisions 10 conflicts)
Allocated 32 MB permanent (total 1340 MB)
Horizon 60: 259061 variables
60 UNSAT (44 decisions 43 conflicts)
Horizon 65: 280526 variables
Horizon 70: 301991 variables
Allocated 32 MB permanent (total 1655 MB)
Horizon 75: 323456 variables
65 UNSAT (230 decisions 160 conflicts)
Horizon 80: 344921 variables
Allocated 32 MB permanent (total 1882 MB)
Horizon 85: 366386 variables
Horizon 90: 387851 variables
Allocated 32 MB permanent (total 2113 MB)
Horizon 95: 409316 variables
70 UNSAT (475 decisions 331 conflicts)
Horizon 100: 430781 variables
Allocated 32 MB permanent (total 2350 MB)
Horizon 105: 452246 variables
Allocated 32 MB permanent (total 2487 MB)
Horizon 110: 473711 variables
Horizon 115: 495176 variables
Allocated 32 MB permanent (total 2731 MB)
Horizon 120: 516641 variables
Allocated 32 MB permanent (total 2871 MB)
Horizon 125: 538106 variables
Horizon 130: 559571 variables
Allocated 32 MB permanent (total 3123 MB)
Horizon 135: 581036 variables
Allocated 32 MB permanent (total 3267 MB)
Horizon 140: 602501 variables
Allocated 32 MB permanent (total 3413 MB)
Horizon 145: 623966 variables
Horizon 150: 645431 variables
Allocated 32 MB permanent (total 3675 MB)
Horizon 155: 666896 variables
Allocated 32 MB (total 3707 MB)
Allocated 32 MB permanent (total 3856 MB)
Horizon 160: 688361 variables
Allocated 32 MB permanent (total 4006 MB)
Horizon 165: 709826 variables
Allocated 32 MB permanent (total 4158 MB)
Horizon 170: 731291 variables
Allocated 32 MB (total 4190 MB)
GC: 160.36 MB
Allocated 32 MB (total 4222 MB)
Allocated 32 MB (total 4254 MB)
Allocated 32 MB (total 4286 MB)
Allocated 32 MB (total 4318 MB)
GC: 139.95 MB
Allocated 32 MB (total 4350 MB)
Allocated 32 MB (total 4382 MB)
Allocated 32 MB (total 4414 MB)
GC: 233.53 MB
75 UNSAT (12173 decisions 8395 conflicts)
Horizon 175: 752756 variables
GC: 257.42 MB
GC: 162.71 MB
GC: 200.05 MB
GC: 191.60 MB
GC: 199.10 MB
Allocated 32 MB (total 4567 MB)
GC: 216.77 MB
Allocated 32 MB (total 4599 MB)
GC: 225.26 MB
GC: 244.85 MB
Allocated 32 MB (total 4631 MB)
GC: 242.35 MB
Allocated 32 MB (total 4663 MB)
GC: 383.26 MB
GC: 189.79 MB
GC: 262.36 MB
GC: 248.44 MB
GC: 254.23 MB
GC: 295.96 MB
GC: 240.08 MB
GC: 215.28 MB
GC: 248.50 MB
GC: 266.28 MB
GC: 345.54 MB
GC: 283.96 MB
GC: 293.30 MB
GC: 251.84 MB
GC: 304.08 MB
GC: 365.23 MB
GC: 307.00 MB
GC: 319.76 MB
GC: 303.55 MB
GC: 333.11 MB
GC: 312.76 MB
GC: 358.00 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-77.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 77
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 77}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-77.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.10 MEM 5465364 MAXMEM 5465364 STALE 0 MAXMEM_RSS 1983432
<time name="ALL">900130</time>

View File

@ -1,136 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-77.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-38-0
Parser: 2964 ground actions and 1559 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 1.21 secs
Goal: conjunctive
Simplified: 2964 ground actions and 1559 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.82 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 151 MB)
Horizon 0: 1559 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 24174 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 46789 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 69404 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 92019 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 114634 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 137249 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 159864 variables
35 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 922 MB)
Horizon 40: 182479 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 205094 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 227709 variables
50 UNSAT (0 decisions 0 conflicts)
Horizon 55: 250324 variables
55 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1316 MB)
Horizon 60: 272939 variables
60 UNSAT (0 decisions 0 conflicts)
Horizon 65: 295554 variables
65 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1537 MB)
Horizon 70: 318169 variables
Allocated 32 MB (total 1569 MB)
70 UNSAT (20 decisions 20 conflicts)
Horizon 75: 340784 variables
Horizon 80: 363399 variables
75 UNSAT (81 decisions 75 conflicts)
Allocated 32 MB permanent (total 1894 MB)
Horizon 85: 386014 variables
80 UNSAT (105 decisions 86 conflicts)
Horizon 90: 408629 variables
Allocated 32 MB permanent (total 2128 MB)
Horizon 95: 431244 variables
85 UNSAT (203 decisions 161 conflicts)
Allocated 32 MB permanent (total 2264 MB)
Horizon 100: 453859 variables
Horizon 105: 476474 variables
Allocated 32 MB permanent (total 2506 MB)
Horizon 110: 499089 variables
90 UNSAT (598 decisions 282 conflicts)
Allocated 32 MB permanent (total 2645 MB)
Horizon 115: 521704 variables
Horizon 120: 544319 variables
95 UNSAT (538 decisions 349 conflicts)
Allocated 32 MB permanent (total 2896 MB)
Horizon 125: 566934 variables
Allocated 32 MB permanent (total 3039 MB)
Horizon 130: 589549 variables
Allocated 32 MB permanent (total 3183 MB)
Horizon 135: 612164 variables
Horizon 140: 634779 variables
Allocated 32 MB permanent (total 3444 MB)
Horizon 145: 657394 variables
Allocated 32 MB permanent (total 3593 MB)
Horizon 150: 680009 variables
Allocated 32 MB permanent (total 3743 MB)
Horizon 155: 702624 variables
Allocated 32 MB permanent (total 3894 MB)
Horizon 160: 725239 variables
Allocated 32 MB permanent (total 4047 MB)
Horizon 165: 747854 variables
Allocated 32 MB permanent (total 4201 MB)
Horizon 170: 770469 variables
Allocated 32 MB permanent (total 4356 MB)
Horizon 175: 793084 variables
Allocated 32 MB permanent (total 4512 MB)
Horizon 180: 815699 variables
Allocated 32 MB permanent (total 4670 MB)
Horizon 185: 838314 variables
Allocated 32 MB permanent (total 4829 MB)
Horizon 190: 860929 variables
Allocated 32 MB permanent (total 4990 MB)
Horizon 195: 883544 variables
Allocated 32 MB (total 5022 MB)
GC: 205.87 MB
Allocated 32 MB (total 5054 MB)
GC: 56.91 MB
GC: 70.66 MB
Allocated 32 MB (total 5086 MB)
GC: 93.64 MB
GC: 95.99 MB
Allocated 32 MB (total 5118 MB)
GC: 102.18 MB
GC: 103.98 MB
GC: 118.32 MB
100 UNSAT (64478 decisions 21695 conflicts)
Horizon 200: 906159 variables
Allocated 32 MB (total 5280 MB)
GC: 165.04 MB
GC: 81.50 MB
GC: 99.65 MB
GC: 113.95 MB
GC: 133.64 MB
GC: 124.04 MB
GC: 120.48 MB
GC: 126.72 MB
GC: 154.77 MB
GC: 134.48 MB
GC: 133.47 MB
GC: 134.31 MB
GC: 149.82 MB
GC: 146.10 MB
GC: 165.33 MB
GC: 151.97 MB
GC: 161.46 MB
GC: 160.39 MB
GC: 150.16 MB
GC: 172.13 MB
GC: 168.13 MB
GC: 170.25 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-78.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 78
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 78}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-78.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.09 MEM 5052448 MAXMEM 5052448 STALE 0 MAXMEM_RSS 1985100
<time name="ALL">900120</time>

View File

@ -1,129 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-78.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-38-1
Parser: 2964 ground actions and 1559 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 1.45 secs
Goal: conjunctive
Simplified: 2964 ground actions and 1559 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.82 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 151 MB)
Horizon 0: 1559 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 24174 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 46789 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 69404 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 92019 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 114634 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 137249 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 159864 variables
35 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 922 MB)
Horizon 40: 182479 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 205094 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 227709 variables
50 UNSAT (0 decisions 0 conflicts)
Horizon 55: 250324 variables
Allocated 32 MB (total 1223 MB)
55 UNSAT (1 decisions 1 conflicts)
Allocated 32 MB permanent (total 1348 MB)
Horizon 60: 272939 variables
60 UNSAT (18 decisions 13 conflicts)
Horizon 65: 295554 variables
65 UNSAT (69 decisions 54 conflicts)
Allocated 32 MB permanent (total 1569 MB)
Horizon 70: 318169 variables
Horizon 75: 340784 variables
Horizon 80: 363399 variables
70 UNSAT (209 decisions 126 conflicts)
Allocated 32 MB permanent (total 1894 MB)
Horizon 85: 386014 variables
Horizon 90: 408629 variables
Allocated 32 MB permanent (total 2128 MB)
Horizon 95: 431244 variables
Allocated 32 MB permanent (total 2264 MB)
Horizon 100: 453859 variables
Horizon 105: 476474 variables
Allocated 32 MB permanent (total 2506 MB)
Horizon 110: 499089 variables
Allocated 32 MB permanent (total 2645 MB)
Horizon 115: 521704 variables
Horizon 120: 544319 variables
Allocated 32 MB permanent (total 2896 MB)
Horizon 125: 566934 variables
Allocated 32 MB permanent (total 3039 MB)
Horizon 130: 589549 variables
Allocated 32 MB (total 3071 MB)
Allocated 32 MB permanent (total 3215 MB)
Horizon 135: 612164 variables
Horizon 140: 634779 variables
Allocated 32 MB permanent (total 3476 MB)
Horizon 145: 657394 variables
Allocated 32 MB permanent (total 3625 MB)
Horizon 150: 680009 variables
Allocated 32 MB permanent (total 3775 MB)
Horizon 155: 702624 variables
Allocated 32 MB permanent (total 3926 MB)
Horizon 160: 725239 variables
Allocated 32 MB (total 3958 MB)
Allocated 32 MB permanent (total 4111 MB)
Horizon 165: 747854 variables
Allocated 32 MB permanent (total 4265 MB)
Horizon 170: 770469 variables
Allocated 32 MB (total 4297 MB)
Allocated 32 MB (total 4329 MB)
Allocated 32 MB (total 4361 MB)
GC: 233.82 MB
Allocated 32 MB (total 4393 MB)
Allocated 32 MB (total 4425 MB)
75 UNSAT (7330 decisions 3887 conflicts)
Horizon 175: 793084 variables
Allocated 32 MB (total 4580 MB)
Allocated 32 MB (total 4612 MB)
GC: 276.57 MB
GC: 232.77 MB
Allocated 32 MB (total 4644 MB)
GC: 300.54 MB
GC: 263.54 MB
GC: 286.11 MB
Allocated 32 MB (total 4676 MB)
GC: 312.11 MB
GC: 351.29 MB
GC: 296.34 MB
GC: 316.29 MB
GC: 338.39 MB
GC: 334.13 MB
Allocated 32 MB (total 4708 MB)
GC: 374.25 MB
Allocated 32 MB (total 4740 MB)
GC: 390.00 MB
Allocated 32 MB (total 4772 MB)
GC: 416.93 MB
GC: 420.64 MB
Allocated 32 MB (total 4804 MB)
GC: 445.40 MB
GC: 485.63 MB
GC: 370.93 MB
GC: 379.49 MB
GC: 394.54 MB
GC: 416.92 MB
GC: 441.28 MB
GC: 444.98 MB
GC: 442.43 MB
GC: 477.39 MB
Allocated 32 MB (total 4836 MB)
GC: 510.38 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-79.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 79
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 79}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-79.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.12 MEM 5021904 MAXMEM 5021904 STALE 0 MAXMEM_RSS 2088336
<time name="ALL">900150</time>

View File

@ -1,135 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-79.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-39-0
Parser: 3120 ground actions and 1639 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 1.66 secs
Goal: conjunctive
Simplified: 3120 ground actions and 1639 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.94 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 153 MB)
Horizon 0: 1639 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 25434 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 49229 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 73024 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 96819 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 120614 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 144409 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 168204 variables
35 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 927 MB)
Horizon 40: 191999 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 215794 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 239589 variables
Allocated 32 MB (total 1138 MB)
50 UNSAT (2 decisions 2 conflicts)
Allocated 32 MB permanent (total 1262 MB)
Horizon 55: 263384 variables
55 UNSAT (39 decisions 37 conflicts)
Horizon 60: 287179 variables
Horizon 65: 310974 variables
Allocated 32 MB permanent (total 1578 MB)
Horizon 70: 334769 variables
60 UNSAT (210 decisions 169 conflicts)
Horizon 75: 358564 variables
Allocated 32 MB permanent (total 1807 MB)
Horizon 80: 382359 variables
Horizon 85: 406154 variables
Allocated 32 MB permanent (total 2041 MB)
Horizon 90: 429949 variables
Horizon 95: 453744 variables
Allocated 32 MB permanent (total 2281 MB)
Horizon 100: 477539 variables
Allocated 32 MB permanent (total 2419 MB)
Horizon 105: 501334 variables
Horizon 110: 525129 variables
Allocated 32 MB permanent (total 2667 MB)
Horizon 115: 548924 variables
Allocated 32 MB permanent (total 2809 MB)
Horizon 120: 572719 variables
Horizon 125: 596514 variables
Allocated 32 MB permanent (total 3066 MB)
Horizon 130: 620309 variables
Allocated 32 MB permanent (total 3212 MB)
Horizon 135: 644104 variables
Allocated 32 MB permanent (total 3360 MB)
Horizon 140: 667899 variables
Allocated 32 MB permanent (total 3509 MB)
Horizon 145: 691694 variables
Allocated 32 MB (total 3541 MB)
Allocated 32 MB permanent (total 3692 MB)
Horizon 150: 715489 variables
Allocated 32 MB permanent (total 3844 MB)
Horizon 155: 739284 variables
Allocated 32 MB permanent (total 3997 MB)
Horizon 160: 763079 variables
Allocated 32 MB (total 4029 MB)
65 UNSAT (2475 decisions 1766 conflicts)
Allocated 32 MB permanent (total 4184 MB)
Horizon 165: 786874 variables
Allocated 32 MB (total 4216 MB)
GC: 176.93 MB
Allocated 32 MB (total 4248 MB)
Allocated 32 MB (total 4280 MB)
GC: 155.85 MB
Allocated 32 MB (total 4312 MB)
Allocated 32 MB (total 4344 MB)
GC: 192.07 MB
Allocated 32 MB (total 4376 MB)
GC: 242.40 MB
Allocated 32 MB (total 4408 MB)
GC: 259.53 MB
Allocated 32 MB (total 4440 MB)
Allocated 32 MB (total 4472 MB)
Allocated 32 MB (total 4504 MB)
GC: 342.49 MB
GC: 307.53 MB
GC: 269.13 MB
GC: 333.02 MB
GC: 345.98 MB
GC: 298.44 MB
GC: 289.98 MB
GC: 345.44 MB
GC: 347.39 MB
GC: 355.32 MB
Allocated 32 MB (total 4536 MB)
GC: 376.70 MB
Allocated 32 MB (total 4568 MB)
GC: 418.75 MB
GC: 389.64 MB
GC: 362.56 MB
Allocated 32 MB (total 4600 MB)
GC: 409.32 MB
GC: 437.30 MB
Allocated 32 MB (total 4632 MB)
GC: 456.47 MB
GC: 457.57 MB
GC: 469.17 MB
GC: 442.52 MB
Allocated 32 MB (total 4664 MB)
GC: 490.21 MB
Allocated 32 MB (total 4696 MB)
GC: 510.33 MB
Allocated 32 MB (total 4728 MB)
GC: 560.01 MB
Allocated 32 MB (total 4760 MB)
GC: 561.90 MB
GC: 574.04 MB
GC: 586.15 MB
Allocated 32 MB (total 4792 MB)
GC: 594.56 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-80.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 80
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 80}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-80.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.03 MEM 5002428 MAXMEM 5002428 STALE 0 MAXMEM_RSS 1928712
<time name="ALL">900060</time>

View File

@ -1,135 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-80.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-39-1
Parser: 3120 ground actions and 1639 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 1.36 secs
Goal: conjunctive
Simplified: 3120 ground actions and 1639 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.95 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 153 MB)
Horizon 0: 1639 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 25434 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 49229 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 73024 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 96819 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 120614 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 144409 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 168204 variables
35 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 927 MB)
Horizon 40: 191999 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 215794 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 239589 variables
50 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1230 MB)
Horizon 55: 263384 variables
Allocated 32 MB (total 1262 MB)
55 UNSAT (2 decisions 2 conflicts)
Horizon 60: 287179 variables
60 UNSAT (40 decisions 37 conflicts)
Horizon 65: 310974 variables
Allocated 32 MB permanent (total 1578 MB)
Horizon 70: 334769 variables
65 UNSAT (140 decisions 106 conflicts)
Horizon 75: 358564 variables
Allocated 32 MB permanent (total 1807 MB)
Horizon 80: 382359 variables
Horizon 85: 406154 variables
70 UNSAT (282 decisions 188 conflicts)
Allocated 32 MB permanent (total 2041 MB)
Horizon 90: 429949 variables
Horizon 95: 453744 variables
Allocated 32 MB permanent (total 2281 MB)
Horizon 100: 477539 variables
Allocated 32 MB permanent (total 2419 MB)
Horizon 105: 501334 variables
Horizon 110: 525129 variables
Allocated 32 MB permanent (total 2667 MB)
Horizon 115: 548924 variables
Allocated 32 MB permanent (total 2809 MB)
Horizon 120: 572719 variables
Horizon 125: 596514 variables
Allocated 32 MB permanent (total 3066 MB)
Horizon 130: 620309 variables
Allocated 32 MB permanent (total 3212 MB)
Horizon 135: 644104 variables
Allocated 32 MB permanent (total 3360 MB)
Horizon 140: 667899 variables
Allocated 32 MB permanent (total 3509 MB)
Horizon 145: 691694 variables
Allocated 32 MB permanent (total 3660 MB)
Horizon 150: 715489 variables
Allocated 32 MB permanent (total 3812 MB)
Horizon 155: 739284 variables
Allocated 32 MB permanent (total 3965 MB)
Horizon 160: 763079 variables
Allocated 32 MB permanent (total 4120 MB)
Horizon 165: 786874 variables
Allocated 32 MB permanent (total 4276 MB)
Horizon 170: 810669 variables
Allocated 32 MB (total 4308 MB)
GC: 139.84 MB
Allocated 32 MB (total 4340 MB)
Allocated 32 MB (total 4372 MB)
GC: 69.25 MB
Allocated 32 MB (total 4404 MB)
GC: 105.41 MB
GC: 109.41 MB
Allocated 32 MB (total 4436 MB)
GC: 120.81 MB
Allocated 32 MB (total 4468 MB)
Allocated 32 MB (total 4500 MB)
GC: 137.23 MB
Allocated 32 MB (total 4532 MB)
GC: 217.41 MB
GC: 183.77 MB
GC: 187.21 MB
Allocated 32 MB (total 4564 MB)
GC: 228.46 MB
Allocated 32 MB (total 4596 MB)
Allocated 32 MB (total 4628 MB)
GC: 274.99 MB
GC: 271.23 MB
GC: 250.77 MB
75 UNSAT (58616 decisions 35351 conflicts)
Horizon 175: 834464 variables
Allocated 32 MB (total 4786 MB)
GC: 355.13 MB
GC: 124.85 MB
GC: 131.82 MB
GC: 145.52 MB
GC: 168.67 MB
GC: 202.93 MB
GC: 214.28 MB
GC: 200.16 MB
GC: 247.25 MB
GC: 224.46 MB
GC: 198.73 MB
GC: 189.59 MB
GC: 279.36 MB
GC: 141.61 MB
GC: 155.09 MB
GC: 171.06 MB
GC: 169.99 MB
GC: 185.02 MB
GC: 188.63 MB
GC: 209.18 MB
GC: 207.79 MB
GC: 224.25 MB
GC: 184.98 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-81.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 81
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 81}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-81.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.03 MEM 5831536 MAXMEM 5831536 STALE 0 MAXMEM_RSS 2672116
<time name="ALL">900060</time>

View File

@ -1,148 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-81.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-40-0
Parser: 3280 ground actions and 1721 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 1.36 secs
Goal: conjunctive
Simplified: 3280 ground actions and 1721 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.07 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 155 MB)
Horizon 0: 1721 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 26726 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 51731 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 76736 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 101741 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 126746 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 151751 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 176756 variables
35 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 931 MB)
Horizon 40: 201761 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 226766 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 251771 variables
50 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1237 MB)
Horizon 55: 276776 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 301781 variables
Allocated 32 MB (total 1363 MB)
60 UNSAT (5 decisions 5 conflicts)
Horizon 65: 326786 variables
65 UNSAT (40 decisions 27 conflicts)
Allocated 32 MB permanent (total 1588 MB)
Horizon 70: 351791 variables
Horizon 75: 376796 variables
Allocated 32 MB permanent (total 1819 MB)
Horizon 80: 401801 variables
Horizon 85: 426806 variables
Allocated 32 MB permanent (total 2055 MB)
Horizon 90: 451811 variables
70 UNSAT (471 decisions 260 conflicts)
Allocated 32 MB permanent (total 2192 MB)
Horizon 95: 476816 variables
Horizon 100: 501821 variables
Allocated 32 MB permanent (total 2437 MB)
Horizon 105: 526826 variables
Allocated 32 MB permanent (total 2578 MB)
Horizon 110: 551831 variables
Horizon 115: 576836 variables
Allocated 32 MB permanent (total 2833 MB)
Horizon 120: 601841 variables
Allocated 32 MB permanent (total 2978 MB)
Horizon 125: 626846 variables
Allocated 32 MB (total 3010 MB)
Allocated 32 MB permanent (total 3157 MB)
Horizon 130: 651851 variables
Allocated 32 MB permanent (total 3305 MB)
Horizon 135: 676856 variables
Allocated 32 MB permanent (total 3455 MB)
Horizon 140: 701861 variables
Allocated 32 MB permanent (total 3607 MB)
Horizon 145: 726866 variables
Horizon 150: 751871 variables
Allocated 32 MB permanent (total 3882 MB)
Horizon 155: 776876 variables
Allocated 32 MB (total 3914 MB)
Allocated 32 MB permanent (total 4069 MB)
Allocated 32 MB permanent (total 4101 MB)
Horizon 160: 801881 variables
Allocated 32 MB permanent (total 4259 MB)
Horizon 165: 826886 variables
Allocated 32 MB permanent (total 4417 MB)
Horizon 170: 851891 variables
Allocated 32 MB (total 4449 MB)
Allocated 32 MB (total 4481 MB)
Allocated 32 MB (total 4513 MB)
GC: 204.32 MB
Allocated 32 MB (total 4545 MB)
Allocated 32 MB (total 4577 MB)
75 UNSAT (5989 decisions 3255 conflicts)
Horizon 175: 876896 variables
Allocated 32 MB (total 4738 MB)
Allocated 32 MB (total 4770 MB)
Allocated 32 MB (total 4802 MB)
Allocated 32 MB (total 4834 MB)
GC: 311.53 MB
GC: 234.25 MB
Allocated 32 MB (total 4866 MB)
Allocated 32 MB (total 4898 MB)
Allocated 32 MB (total 4930 MB)
Allocated 32 MB (total 4962 MB)
GC: 365.58 MB
GC: 303.18 MB
GC: 321.97 MB
Allocated 32 MB (total 4994 MB)
Allocated 32 MB (total 5026 MB)
GC: 353.44 MB
Allocated 32 MB (total 5058 MB)
Allocated 32 MB (total 5090 MB)
Allocated 32 MB (total 5122 MB)
GC: 515.04 MB
GC: 370.87 MB
GC: 396.42 MB
GC: 416.44 MB
GC: 405.04 MB
GC: 423.25 MB
GC: 429.78 MB
GC: 433.52 MB
GC: 430.83 MB
Allocated 32 MB (total 5154 MB)
Allocated 32 MB (total 5186 MB)
GC: 499.87 MB
Allocated 32 MB (total 5218 MB)
GC: 511.61 MB
Allocated 32 MB (total 5250 MB)
GC: 527.15 MB
Allocated 32 MB (total 5282 MB)
GC: 539.26 MB
Allocated 32 MB (total 5314 MB)
Allocated 32 MB (total 5346 MB)
GC: 585.90 MB
Allocated 32 MB (total 5378 MB)
GC: 610.41 MB
Allocated 32 MB (total 5410 MB)
GC: 624.98 MB
80 UNSAT (136164 decisions 69027 conflicts)
Horizon 180: 901901 variables
Allocated 32 MB (total 5571 MB)
Allocated 32 MB (total 5603 MB)
GC: 811.08 MB
GC: 460.47 MB
GC: 474.80 MB
GC: 515.12 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-82.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 82
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 82}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-82.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.10 MEM 5555796 MAXMEM 5555796 STALE 0 MAXMEM_RSS 2114776
<time name="ALL">900120</time>

View File

@ -1,140 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-82.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-40-1
Parser: 3280 ground actions and 1721 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 1.66 secs
Goal: conjunctive
Simplified: 3280 ground actions and 1721 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.05 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 155 MB)
Horizon 0: 1721 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 26726 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 51731 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 76736 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 101741 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 126746 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 151751 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 176756 variables
35 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 931 MB)
Horizon 40: 201761 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 226766 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 251771 variables
50 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1237 MB)
Horizon 55: 276776 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 301781 variables
60 UNSAT (0 decisions 0 conflicts)
Horizon 65: 326786 variables
65 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1556 MB)
Horizon 70: 351791 variables
Allocated 32 MB (total 1588 MB)
70 UNSAT (2 decisions 2 conflicts)
Horizon 75: 376796 variables
75 UNSAT (26 decisions 25 conflicts)
Allocated 32 MB permanent (total 1819 MB)
Horizon 80: 401801 variables
80 UNSAT (39 decisions 39 conflicts)
Horizon 85: 426806 variables
Allocated 32 MB permanent (total 2055 MB)
Horizon 90: 451811 variables
85 UNSAT (130 decisions 117 conflicts)
Allocated 32 MB permanent (total 2192 MB)
Horizon 95: 476816 variables
Horizon 100: 501821 variables
90 UNSAT (205 decisions 164 conflicts)
Allocated 32 MB permanent (total 2437 MB)
Horizon 105: 526826 variables
Allocated 32 MB permanent (total 2578 MB)
Horizon 110: 551831 variables
95 UNSAT (313 decisions 234 conflicts)
Horizon 115: 576836 variables
Allocated 32 MB permanent (total 2833 MB)
Horizon 120: 601841 variables
Allocated 32 MB permanent (total 2978 MB)
Horizon 125: 626846 variables
Allocated 32 MB permanent (total 3125 MB)
Horizon 130: 651851 variables
Allocated 32 MB permanent (total 3273 MB)
Horizon 135: 676856 variables
Allocated 32 MB permanent (total 3423 MB)
Horizon 140: 701861 variables
Allocated 32 MB permanent (total 3575 MB)
Horizon 145: 726866 variables
Horizon 150: 751871 variables
Allocated 32 MB permanent (total 3850 MB)
Horizon 155: 776876 variables
Allocated 32 MB permanent (total 4005 MB)
Allocated 32 MB permanent (total 4037 MB)
Horizon 160: 801881 variables
Allocated 32 MB permanent (total 4195 MB)
Horizon 165: 826886 variables
Allocated 32 MB permanent (total 4353 MB)
Horizon 170: 851891 variables
Allocated 32 MB permanent (total 4514 MB)
Horizon 175: 876896 variables
Allocated 32 MB permanent (total 4675 MB)
Horizon 180: 901901 variables
Allocated 32 MB permanent (total 4838 MB)
Horizon 185: 926906 variables
Allocated 32 MB permanent (total 5003 MB)
Horizon 190: 951911 variables
Allocated 32 MB permanent (total 5169 MB)
Allocated 32 MB permanent (total 5201 MB)
Horizon 195: 976916 variables
Allocated 32 MB (total 5233 MB)
GC: 224.72 MB
Allocated 32 MB (total 5265 MB)
GC: 60.63 MB
GC: 78.66 MB
Allocated 32 MB (total 5297 MB)
GC: 82.71 MB
GC: 89.76 MB
GC: 78.68 MB
GC: 86.45 MB
GC: 98.59 MB
GC: 104.61 MB
Allocated 32 MB (total 5329 MB)
GC: 123.17 MB
GC: 104.57 MB
GC: 104.14 MB
GC: 104.99 MB
GC: 121.45 MB
GC: 106.30 MB
GC: 119.23 MB
GC: 123.98 MB
GC: 128.72 MB
GC: 134.63 MB
GC: 132.98 MB
GC: 136.74 MB
GC: 139.32 MB
GC: 142.27 MB
Allocated 32 MB (total 5361 MB)
GC: 149.07 MB
GC: 147.91 MB
GC: 148.20 MB
GC: 152.40 MB
GC: 156.45 MB
GC: 170.45 MB
GC: 138.40 MB
GC: 153.47 MB
GC: 156.46 MB
GC: 159.73 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-83.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 83
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 83}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-83.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.01 MEM 5749048 MAXMEM 5749048 STALE 0 MAXMEM_RSS 2419804
<time name="ALL">900040</time>

View File

@ -1,140 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-83.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-41-0
Parser: 3444 ground actions and 1805 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 1.86 secs
Goal: conjunctive
Simplified: 3444 ground actions and 1805 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.19 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 158 MB)
Horizon 0: 1805 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 28050 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 54295 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 80540 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 106785 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 133030 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 159275 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 185520 variables
35 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 936 MB)
Horizon 40: 211765 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 238010 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 264255 variables
50 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1244 MB)
Horizon 55: 290500 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 316745 variables
60 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1468 MB)
Horizon 65: 342990 variables
Allocated 32 MB (total 1500 MB)
65 UNSAT (20 decisions 20 conflicts)
Horizon 70: 369235 variables
Allocated 32 MB permanent (total 1730 MB)
Horizon 75: 395480 variables
70 UNSAT (120 decisions 116 conflicts)
Horizon 80: 421725 variables
Allocated 32 MB permanent (total 1966 MB)
Horizon 85: 447970 variables
75 UNSAT (174 decisions 156 conflicts)
Horizon 90: 474215 variables
Allocated 32 MB permanent (total 2208 MB)
Horizon 95: 500460 variables
Allocated 32 MB permanent (total 2348 MB)
Horizon 100: 526705 variables
Horizon 105: 552950 variables
80 UNSAT (342 decisions 308 conflicts)
Allocated 32 MB permanent (total 2599 MB)
Horizon 110: 579195 variables
Allocated 32 MB permanent (total 2744 MB)
Horizon 115: 605440 variables
Allocated 32 MB permanent (total 2889 MB)
Horizon 120: 631685 variables
Horizon 125: 657930 variables
Allocated 32 MB permanent (total 3153 MB)
Horizon 130: 684175 variables
Allocated 32 MB permanent (total 3304 MB)
Horizon 135: 710420 variables
Allocated 32 MB permanent (total 3455 MB)
Horizon 140: 736665 variables
Allocated 32 MB permanent (total 3609 MB)
Horizon 145: 762910 variables
Allocated 32 MB permanent (total 3764 MB)
Horizon 150: 789155 variables
Allocated 32 MB permanent (total 3921 MB)
Horizon 155: 815400 variables
Allocated 32 MB permanent (total 4079 MB)
Horizon 160: 841645 variables
85 UNSAT (1314 decisions 906 conflicts)
Allocated 32 MB permanent (total 4238 MB)
Horizon 165: 867890 variables
Allocated 32 MB permanent (total 4399 MB)
Allocated 32 MB permanent (total 4431 MB)
Horizon 170: 894135 variables
Allocated 32 MB permanent (total 4594 MB)
Horizon 175: 920380 variables
Allocated 32 MB permanent (total 4759 MB)
Horizon 180: 946625 variables
Allocated 32 MB permanent (total 4924 MB)
Horizon 185: 972870 variables
Allocated 32 MB (total 4956 MB)
GC: 206.16 MB
Allocated 32 MB (total 4988 MB)
Allocated 32 MB (total 5020 MB)
Allocated 32 MB (total 5052 MB)
GC: 107.49 MB
Allocated 32 MB (total 5084 MB)
Allocated 32 MB (total 5116 MB)
GC: 138.90 MB
Allocated 32 MB (total 5148 MB)
Allocated 32 MB (total 5180 MB)
GC: 167.57 MB
Allocated 32 MB (total 5212 MB)
Allocated 32 MB (total 5244 MB)
GC: 200.65 MB
Allocated 32 MB (total 5276 MB)
Allocated 32 MB (total 5308 MB)
Allocated 32 MB (total 5340 MB)
GC: 253.41 MB
Allocated 32 MB (total 5372 MB)
Allocated 32 MB (total 5404 MB)
GC: 455.14 MB
GC: 328.34 MB
GC: 326.48 MB
GC: 324.19 MB
GC: 346.74 MB
GC: 423.86 MB
90 UNSAT (52231 decisions 31780 conflicts)
Horizon 190: 999115 variables
GC: 305.35 MB
GC: 186.35 MB
GC: 201.50 MB
GC: 217.88 MB
GC: 211.59 MB
GC: 252.81 MB
GC: 238.01 MB
GC: 242.24 MB
GC: 220.76 MB
GC: 263.03 MB
GC: 248.68 MB
GC: 272.63 MB
GC: 269.09 MB
GC: 308.45 MB
GC: 265.48 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-84.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 84
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 84}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-84.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.09 MEM 5637544 MAXMEM 5637544 STALE 0 MAXMEM_RSS 2723928
<time name="ALL">900120</time>

View File

@ -1,144 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-84.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-41-1
Parser: 3444 ground actions and 1805 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 2.35 secs
Goal: conjunctive
Simplified: 3444 ground actions and 1805 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.19 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 158 MB)
Horizon 0: 1805 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 28050 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 54295 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 80540 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 106785 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 133030 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 159275 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 185520 variables
35 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 936 MB)
Horizon 40: 211765 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 238010 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 264255 variables
50 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1244 MB)
Horizon 55: 290500 variables
Allocated 32 MB (total 1276 MB)
Horizon 60: 316745 variables
55 UNSAT (77 decisions 66 conflicts)
Allocated 32 MB permanent (total 1500 MB)
Horizon 65: 342990 variables
Horizon 70: 369235 variables
Allocated 32 MB permanent (total 1730 MB)
Horizon 75: 395480 variables
Horizon 80: 421725 variables
Allocated 32 MB permanent (total 1966 MB)
Horizon 85: 447970 variables
Horizon 90: 474215 variables
Allocated 32 MB permanent (total 2208 MB)
Horizon 95: 500460 variables
Allocated 32 MB permanent (total 2348 MB)
Horizon 100: 526705 variables
60 UNSAT (671 decisions 515 conflicts)
Horizon 105: 552950 variables
Allocated 32 MB permanent (total 2599 MB)
Horizon 110: 579195 variables
Allocated 32 MB (total 2631 MB)
Allocated 32 MB permanent (total 2776 MB)
Horizon 115: 605440 variables
Allocated 32 MB permanent (total 2921 MB)
Horizon 120: 631685 variables
Horizon 125: 657930 variables
Allocated 32 MB permanent (total 3185 MB)
Horizon 130: 684175 variables
Allocated 32 MB permanent (total 3336 MB)
Horizon 135: 710420 variables
Allocated 32 MB permanent (total 3487 MB)
Horizon 140: 736665 variables
Allocated 32 MB (total 3519 MB)
Allocated 32 MB permanent (total 3673 MB)
Horizon 145: 762910 variables
Allocated 32 MB permanent (total 3828 MB)
Horizon 150: 789155 variables
Allocated 32 MB permanent (total 3985 MB)
Horizon 155: 815400 variables
Allocated 32 MB permanent (total 4143 MB)
Horizon 160: 841645 variables
Allocated 32 MB (total 4175 MB)
Allocated 32 MB (total 4207 MB)
Allocated 32 MB (total 4239 MB)
GC: 192.30 MB
Allocated 32 MB (total 4271 MB)
Allocated 32 MB (total 4303 MB)
Allocated 32 MB (total 4335 MB)
Allocated 32 MB (total 4367 MB)
Allocated 32 MB (total 4399 MB)
Allocated 32 MB (total 4431 MB)
65 UNSAT (5759 decisions 4277 conflicts)
Horizon 165: 867890 variables
GC: 320.32 MB
GC: 236.88 MB
Allocated 32 MB (total 4590 MB)
Allocated 32 MB (total 4622 MB)
Allocated 32 MB (total 4654 MB)
Allocated 32 MB (total 4686 MB)
Allocated 32 MB (total 4718 MB)
Allocated 32 MB (total 4750 MB)
GC: 427.56 MB
GC: 402.50 MB
Allocated 32 MB (total 4782 MB)
Allocated 32 MB (total 4814 MB)
GC: 403.24 MB
Allocated 32 MB (total 4846 MB)
Allocated 32 MB (total 4878 MB)
Allocated 32 MB (total 4910 MB)
GC: 471.04 MB
Allocated 32 MB (total 4942 MB)
Allocated 32 MB (total 4974 MB)
Allocated 32 MB (total 5006 MB)
GC: 517.33 MB
Allocated 32 MB (total 5038 MB)
Allocated 32 MB (total 5070 MB)
GC: 754.96 MB
GC: 532.87 MB
GC: 581.98 MB
GC: 521.28 MB
GC: 548.60 MB
GC: 581.82 MB
GC: 646.85 MB
GC: 578.31 MB
GC: 676.45 MB
Allocated 32 MB (total 5102 MB)
GC: 692.28 MB
Allocated 32 MB (total 5134 MB)
GC: 718.14 MB
GC: 678.88 MB
Allocated 32 MB (total 5166 MB)
GC: 686.75 MB
Allocated 32 MB (total 5198 MB)
Allocated 32 MB (total 5230 MB)
GC: 733.96 MB
Allocated 32 MB (total 5262 MB)
GC: 741.69 MB
GC: 721.41 MB
Allocated 32 MB (total 5294 MB)
Allocated 32 MB (total 5326 MB)
Allocated 32 MB (total 5358 MB)
Allocated 32 MB (total 5390 MB)
GC: 834.73 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-85.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 85
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 85}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-85.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.04 MEM 5255036 MAXMEM 5255036 STALE 0 MAXMEM_RSS 2253192
<time name="ALL">900070</time>

View File

@ -1,133 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-85.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-42-0
Parser: 3612 ground actions and 1891 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 2.85 secs
Goal: conjunctive
Simplified: 3612 ground actions and 1891 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.34 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 160 MB)
Horizon 0: 1891 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 29406 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 56921 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 84436 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 111951 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 139466 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 166981 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 194496 variables
35 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 942 MB)
Horizon 40: 222011 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 249526 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 277041 variables
50 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1252 MB)
Horizon 55: 304556 variables
Allocated 32 MB (total 1284 MB)
55 UNSAT (3 decisions 3 conflicts)
Horizon 60: 332071 variables
Allocated 32 MB permanent (total 1509 MB)
Horizon 65: 359586 variables
60 UNSAT (81 decisions 78 conflicts)
Horizon 70: 387101 variables
Allocated 32 MB permanent (total 1741 MB)
Horizon 75: 414616 variables
Horizon 80: 442131 variables
Allocated 32 MB permanent (total 1980 MB)
Horizon 85: 469646 variables
Allocated 32 MB permanent (total 2118 MB)
Horizon 90: 497161 variables
Horizon 95: 524676 variables
Allocated 32 MB permanent (total 2366 MB)
Horizon 100: 552191 variables
Allocated 32 MB permanent (total 2509 MB)
Horizon 105: 579706 variables
65 UNSAT (688 decisions 532 conflicts)
Horizon 110: 607221 variables
Allocated 32 MB permanent (total 2767 MB)
Horizon 115: 634736 variables
Allocated 32 MB permanent (total 2914 MB)
Horizon 120: 662251 variables
Allocated 32 MB permanent (total 3063 MB)
Horizon 125: 689766 variables
Allocated 32 MB permanent (total 3214 MB)
Horizon 130: 717281 variables
Allocated 32 MB permanent (total 3367 MB)
Horizon 135: 744796 variables
Allocated 32 MB (total 3399 MB)
Allocated 32 MB permanent (total 3553 MB)
Horizon 140: 772311 variables
Allocated 32 MB permanent (total 3708 MB)
Horizon 145: 799826 variables
Allocated 32 MB permanent (total 3865 MB)
Horizon 150: 827341 variables
Allocated 32 MB permanent (total 4024 MB)
Horizon 155: 854856 variables
Allocated 32 MB permanent (total 4185 MB)
Horizon 160: 882371 variables
Allocated 32 MB permanent (total 4347 MB)
Horizon 165: 909886 variables
Allocated 32 MB (total 4379 MB)
Allocated 32 MB (total 4411 MB)
GC: 180.56 MB
Allocated 32 MB (total 4443 MB)
Allocated 32 MB (total 4475 MB)
Allocated 32 MB (total 4507 MB)
Allocated 32 MB (total 4539 MB)
GC: 132.68 MB
Allocated 32 MB (total 4571 MB)
Allocated 32 MB (total 4603 MB)
Allocated 32 MB (total 4635 MB)
Allocated 32 MB (total 4667 MB)
GC: 260.87 MB
70 UNSAT (9940 decisions 7236 conflicts)
Horizon 170: 937401 variables
GC: 296.06 MB
GC: 221.16 MB
GC: 185.98 MB
GC: 207.50 MB
Allocated 32 MB (total 4831 MB)
Allocated 32 MB (total 4863 MB)
GC: 251.04 MB
Allocated 32 MB (total 4895 MB)
Allocated 32 MB (total 4927 MB)
GC: 412.68 MB
GC: 256.03 MB
GC: 269.39 MB
GC: 305.11 MB
GC: 271.51 MB
GC: 338.28 MB
GC: 273.64 MB
GC: 280.25 MB
GC: 289.15 MB
GC: 289.33 MB
GC: 325.71 MB
GC: 327.60 MB
GC: 316.39 MB
GC: 355.47 MB
GC: 352.26 MB
GC: 354.83 MB
GC: 364.55 MB
Allocated 32 MB (total 4959 MB)
GC: 404.41 MB
GC: 373.03 MB
Allocated 32 MB (total 4991 MB)
GC: 400.76 MB
Allocated 32 MB (total 5023 MB)
GC: 444.83 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-86.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 86
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 86}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-86.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.12 MEM 6581456 MAXMEM 6581456 STALE 0 MAXMEM_RSS 2809320
<time name="ALL">900140</time>

View File

@ -1,152 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-86.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-42-1
Parser: 3612 ground actions and 1891 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 2.18 secs
Goal: conjunctive
Simplified: 3612 ground actions and 1891 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.32 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 160 MB)
Horizon 0: 1891 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 29406 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 56921 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 84436 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 111951 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 139466 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 166981 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 194496 variables
35 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 942 MB)
Horizon 40: 222011 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 249526 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 277041 variables
50 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1252 MB)
Horizon 55: 304556 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 332071 variables
60 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1477 MB)
Horizon 65: 359586 variables
65 UNSAT (0 decisions 0 conflicts)
Horizon 70: 387101 variables
70 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1709 MB)
Horizon 75: 414616 variables
75 UNSAT (0 decisions 0 conflicts)
Horizon 80: 442131 variables
Allocated 32 MB (total 1844 MB)
80 UNSAT (5 decisions 5 conflicts)
Allocated 32 MB permanent (total 1980 MB)
Horizon 85: 469646 variables
85 UNSAT (19 decisions 19 conflicts)
Allocated 32 MB permanent (total 2118 MB)
Horizon 90: 497161 variables
Horizon 95: 524676 variables
90 UNSAT (73 decisions 62 conflicts)
Allocated 32 MB permanent (total 2366 MB)
Horizon 100: 552191 variables
Allocated 32 MB permanent (total 2509 MB)
Horizon 105: 579706 variables
95 UNSAT (276 decisions 131 conflicts)
Horizon 110: 607221 variables
Allocated 32 MB permanent (total 2767 MB)
Horizon 115: 634736 variables
Allocated 32 MB permanent (total 2914 MB)
Horizon 120: 662251 variables
100 UNSAT (819 decisions 269 conflicts)
105 UNSAT (775 decisions 214 conflicts)
Allocated 32 MB permanent (total 3063 MB)
Horizon 125: 689766 variables
Allocated 32 MB permanent (total 3214 MB)
Horizon 130: 717281 variables
Allocated 32 MB permanent (total 3367 MB)
Horizon 135: 744796 variables
Allocated 32 MB permanent (total 3521 MB)
Horizon 140: 772311 variables
110 UNSAT (1390 decisions 385 conflicts)
Allocated 32 MB permanent (total 3676 MB)
Horizon 145: 799826 variables
Allocated 32 MB permanent (total 3833 MB)
Horizon 150: 827341 variables
Allocated 32 MB permanent (total 3992 MB)
Horizon 155: 854856 variables
Allocated 32 MB permanent (total 4153 MB)
Horizon 160: 882371 variables
Allocated 32 MB permanent (total 4315 MB)
Horizon 165: 909886 variables
Allocated 32 MB permanent (total 4479 MB)
Allocated 32 MB permanent (total 4511 MB)
Horizon 170: 937401 variables
Allocated 32 MB permanent (total 4676 MB)
Horizon 175: 964916 variables
Allocated 32 MB permanent (total 4843 MB)
Horizon 180: 992431 variables
Allocated 32 MB permanent (total 5012 MB)
Horizon 185: 1019946 variables
Allocated 32 MB permanent (total 5182 MB)
Allocated 32 MB permanent (total 5214 MB)
Horizon 190: 1047461 variables
115 UNSAT (3002 decisions 945 conflicts)
Allocated 32 MB permanent (total 5386 MB)
Horizon 195: 1074976 variables
Allocated 32 MB permanent (total 5560 MB)
Allocated 32 MB permanent (total 5592 MB)
Horizon 200: 1102491 variables
Allocated 32 MB (total 5624 MB)
Allocated 32 MB permanent (total 5799 MB)
Horizon 205: 1130006 variables
Allocated 32 MB permanent (total 5975 MB)
Allocated 32 MB permanent (total 6007 MB)
Horizon 210: 1157521 variables
Allocated 32 MB permanent (total 6186 MB)
Horizon 215: 1185036 variables
GC: 362.77 MB
Allocated 32 MB (total 6218 MB)
Allocated 32 MB (total 6250 MB)
GC: 80.11 MB
GC: 93.74 MB
Allocated 32 MB (total 6282 MB)
GC: 130.44 MB
GC: 121.65 MB
GC: 122.04 MB
GC: 131.20 MB
Allocated 32 MB (total 6314 MB)
GC: 148.17 MB
GC: 160.03 MB
Allocated 32 MB (total 6346 MB)
GC: 164.60 MB
GC: 173.98 MB
GC: 171.14 MB
Allocated 32 MB (total 6378 MB)
GC: 215.92 MB
GC: 175.29 MB
GC: 183.94 MB
GC: 169.90 MB
GC: 201.51 MB
GC: 194.78 MB
GC: 202.07 MB
GC: 210.29 MB
GC: 223.19 MB
GC: 221.68 MB
Allocated 32 MB (total 6410 MB)
GC: 238.74 MB
GC: 248.55 MB
GC: 244.63 MB
GC: 261.69 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-87.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 87
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 87}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-87.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.08 MEM 6160984 MAXMEM 6160984 STALE 0 MAXMEM_RSS 2904900
<time name="ALL">900100</time>

View File

@ -1,149 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-87.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-43-0
Parser: 3784 ground actions and 1979 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 3.17 secs
Goal: conjunctive
Simplified: 3784 ground actions and 1979 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.51 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 162 MB)
Horizon 0: 1979 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 30794 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 59609 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 88424 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 117239 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 146054 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 174869 variables
30 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 857 MB)
Horizon 35: 203684 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 232499 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 261314 variables
45 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1164 MB)
Horizon 50: 290129 variables
50 UNSAT (0 decisions 0 conflicts)
Horizon 55: 318944 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 347759 variables
60 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1487 MB)
Horizon 65: 376574 variables
Allocated 32 MB (total 1519 MB)
65 UNSAT (17 decisions 17 conflicts)
Horizon 70: 405389 variables
Allocated 32 MB permanent (total 1753 MB)
Horizon 75: 434204 variables
70 UNSAT (78 decisions 72 conflicts)
Allocated 32 MB permanent (total 1889 MB)
Horizon 80: 463019 variables
Horizon 85: 491834 variables
Allocated 32 MB permanent (total 2133 MB)
Horizon 90: 520649 variables
75 UNSAT (231 decisions 192 conflicts)
Allocated 32 MB permanent (total 2274 MB)
Horizon 95: 549464 variables
80 UNSAT (342 decisions 237 conflicts)
Horizon 100: 578279 variables
Allocated 32 MB permanent (total 2529 MB)
Horizon 105: 607094 variables
Allocated 32 MB permanent (total 2675 MB)
Horizon 110: 635909 variables
Allocated 32 MB permanent (total 2823 MB)
Horizon 115: 664724 variables
Allocated 32 MB permanent (total 2972 MB)
Horizon 120: 693539 variables
Allocated 32 MB permanent (total 3123 MB)
Horizon 125: 722354 variables
Allocated 32 MB permanent (total 3276 MB)
Horizon 130: 751169 variables
Allocated 32 MB permanent (total 3430 MB)
Horizon 135: 779984 variables
Allocated 32 MB permanent (total 3586 MB)
Horizon 140: 808799 variables
Allocated 32 MB permanent (total 3744 MB)
Horizon 145: 837614 variables
Allocated 32 MB permanent (total 3904 MB)
Horizon 150: 866429 variables
Allocated 32 MB permanent (total 4065 MB)
Horizon 155: 895244 variables
Allocated 32 MB permanent (total 4228 MB)
Horizon 160: 924059 variables
Allocated 32 MB permanent (total 4393 MB)
Horizon 165: 952874 variables
Allocated 32 MB permanent (total 4559 MB)
Allocated 32 MB permanent (total 4591 MB)
Horizon 170: 981689 variables
Allocated 32 MB permanent (total 4759 MB)
Horizon 175: 1010504 variables
Allocated 32 MB permanent (total 4929 MB)
Horizon 180: 1039319 variables
Allocated 32 MB (total 4961 MB)
Allocated 32 MB (total 4993 MB)
GC: 238.39 MB
Allocated 32 MB (total 5025 MB)
Allocated 32 MB (total 5057 MB)
Allocated 32 MB (total 5089 MB)
Allocated 32 MB (total 5121 MB)
Allocated 32 MB (total 5153 MB)
GC: 192.31 MB
Allocated 32 MB (total 5185 MB)
Allocated 32 MB (total 5217 MB)
GC: 243.90 MB
Allocated 32 MB (total 5249 MB)
Allocated 32 MB (total 5281 MB)
Allocated 32 MB (total 5313 MB)
GC: 289.71 MB
Allocated 32 MB (total 5345 MB)
Allocated 32 MB (total 5377 MB)
GC: 315.79 MB
Allocated 32 MB (total 5409 MB)
Allocated 32 MB (total 5441 MB)
Allocated 32 MB (total 5473 MB)
GC: 350.16 MB
Allocated 32 MB (total 5505 MB)
Allocated 32 MB (total 5537 MB)
Allocated 32 MB (total 5569 MB)
GC: 405.27 MB
Allocated 32 MB (total 5601 MB)
Allocated 32 MB (total 5633 MB)
GC: 558.25 MB
GC: 349.41 MB
GC: 397.88 MB
Allocated 32 MB (total 5665 MB)
Allocated 32 MB (total 5697 MB)
GC: 603.36 MB
GC: 474.51 MB
GC: 515.43 MB
Allocated 32 MB (total 5729 MB)
Allocated 32 MB (total 5761 MB)
Allocated 32 MB (total 5793 MB)
GC: 659.40 MB
85 UNSAT (60260 decisions 38942 conflicts)
Horizon 185: 1068134 variables
GC: 808.82 MB
GC: 302.31 MB
GC: 322.83 MB
GC: 332.85 MB
GC: 364.22 MB
GC: 379.02 MB
GC: 387.67 MB
GC: 403.38 MB
GC: 409.54 MB
GC: 430.06 MB
GC: 450.91 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-88.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 88
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 88}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-88.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.13 MEM 6406256 MAXMEM 6406256 STALE 0 MAXMEM_RSS 2808312
<time name="ALL">900160</time>

View File

@ -1,148 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-88.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-43-1
Parser: 3784 ground actions and 1979 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 2.12 secs
Goal: conjunctive
Simplified: 3784 ground actions and 1979 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.50 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 162 MB)
Horizon 0: 1979 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 30794 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 59609 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 88424 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 117239 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 146054 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 174869 variables
30 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 857 MB)
Horizon 35: 203684 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 232499 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 261314 variables
45 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1164 MB)
Horizon 50: 290129 variables
50 UNSAT (0 decisions 0 conflicts)
Horizon 55: 318944 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 347759 variables
60 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1487 MB)
Horizon 65: 376574 variables
65 UNSAT (0 decisions 0 conflicts)
Horizon 70: 405389 variables
70 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1721 MB)
Horizon 75: 434204 variables
Allocated 32 MB (total 1753 MB)
75 UNSAT (1 decisions 1 conflicts)
Allocated 32 MB permanent (total 1889 MB)
Horizon 80: 463019 variables
80 UNSAT (22 decisions 20 conflicts)
Horizon 85: 491834 variables
85 UNSAT (42 decisions 40 conflicts)
Allocated 32 MB permanent (total 2133 MB)
Horizon 90: 520649 variables
Allocated 32 MB permanent (total 2274 MB)
Horizon 95: 549464 variables
90 UNSAT (115 decisions 99 conflicts)
Horizon 100: 578279 variables
95 UNSAT (133 decisions 94 conflicts)
Allocated 32 MB permanent (total 2529 MB)
Horizon 105: 607094 variables
Allocated 32 MB permanent (total 2675 MB)
Horizon 110: 635909 variables
Allocated 32 MB permanent (total 2823 MB)
Horizon 115: 664724 variables
100 UNSAT (300 decisions 185 conflicts)
Allocated 32 MB permanent (total 2972 MB)
Horizon 120: 693539 variables
Allocated 32 MB permanent (total 3123 MB)
Horizon 125: 722354 variables
Allocated 32 MB permanent (total 3276 MB)
Horizon 130: 751169 variables
Allocated 32 MB permanent (total 3430 MB)
Horizon 135: 779984 variables
Allocated 32 MB permanent (total 3586 MB)
Horizon 140: 808799 variables
Allocated 32 MB permanent (total 3744 MB)
Horizon 145: 837614 variables
Allocated 32 MB permanent (total 3904 MB)
Horizon 150: 866429 variables
Allocated 32 MB permanent (total 4065 MB)
Horizon 155: 895244 variables
Allocated 32 MB permanent (total 4228 MB)
Horizon 160: 924059 variables
Allocated 32 MB permanent (total 4393 MB)
Horizon 165: 952874 variables
Allocated 32 MB permanent (total 4559 MB)
Allocated 32 MB permanent (total 4591 MB)
Horizon 170: 981689 variables
Allocated 32 MB permanent (total 4759 MB)
Horizon 175: 1010504 variables
Allocated 32 MB permanent (total 4929 MB)
Horizon 180: 1039319 variables
Allocated 32 MB (total 4961 MB)
Allocated 32 MB permanent (total 5133 MB)
Allocated 32 MB permanent (total 5165 MB)
Horizon 185: 1068134 variables
Allocated 32 MB permanent (total 5338 MB)
Horizon 190: 1096949 variables
105 UNSAT (3259 decisions 1059 conflicts)
Allocated 32 MB permanent (total 5513 MB)
Horizon 195: 1125764 variables
Allocated 32 MB permanent (total 5689 MB)
Allocated 32 MB permanent (total 5721 MB)
Horizon 200: 1154579 variables
Allocated 32 MB permanent (total 5900 MB)
Horizon 205: 1183394 variables
Allocated 32 MB (total 5932 MB)
GC: 348.63 MB
Allocated 32 MB (total 5964 MB)
Allocated 32 MB (total 5996 MB)
GC: 120.58 MB
Allocated 32 MB (total 6028 MB)
GC: 150.82 MB
Allocated 32 MB (total 6060 MB)
GC: 169.82 MB
Allocated 32 MB (total 6092 MB)
GC: 204.41 MB
GC: 205.41 MB
GC: 196.84 MB
Allocated 32 MB (total 6124 MB)
GC: 215.36 MB
GC: 230.98 MB
Allocated 32 MB (total 6156 MB)
GC: 243.22 MB
GC: 265.01 MB
GC: 254.16 MB
Allocated 32 MB (total 6188 MB)
GC: 272.36 MB
Allocated 32 MB (total 6220 MB)
GC: 322.82 MB
GC: 244.69 MB
GC: 271.79 MB
GC: 263.38 MB
GC: 269.86 MB
GC: 308.54 MB
GC: 297.91 MB
GC: 302.35 MB
GC: 310.93 MB
GC: 318.35 MB
GC: 322.76 MB
GC: 338.12 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-89.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 89
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 89}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-89.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.08 MEM 6186372 MAXMEM 6186372 STALE 1 MAXMEM_RSS 2924076
<time name="ALL">900110</time>

View File

@ -1,143 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-89.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-44-0
Parser: 3960 ground actions and 2069 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 2.92 secs
Goal: conjunctive
Simplified: 3960 ground actions and 2069 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.67 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 165 MB)
Horizon 0: 2069 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 32214 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 62359 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 92504 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 122649 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 152794 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 182939 variables
30 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 862 MB)
Horizon 35: 213084 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 243229 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 273374 variables
45 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1171 MB)
Horizon 50: 303519 variables
50 UNSAT (0 decisions 0 conflicts)
Horizon 55: 333664 variables
55 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1397 MB)
Horizon 60: 363809 variables
60 UNSAT (0 decisions 0 conflicts)
Horizon 65: 393954 variables
65 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1630 MB)
Horizon 70: 424099 variables
Allocated 32 MB (total 1662 MB)
70 UNSAT (37 decisions 35 conflicts)
Horizon 75: 454244 variables
Allocated 32 MB permanent (total 1902 MB)
Horizon 80: 484389 variables
75 UNSAT (117 decisions 70 conflicts)
Horizon 85: 514534 variables
Allocated 32 MB permanent (total 2150 MB)
Horizon 90: 544679 variables
80 UNSAT (597 decisions 146 conflicts)
Allocated 32 MB permanent (total 2292 MB)
Horizon 95: 574824 variables
Allocated 32 MB permanent (total 2436 MB)
Horizon 100: 604969 variables
Horizon 105: 635114 variables
Allocated 32 MB permanent (total 2698 MB)
Horizon 110: 665259 variables
Allocated 32 MB permanent (total 2847 MB)
Horizon 115: 695404 variables
Allocated 32 MB permanent (total 2998 MB)
Horizon 120: 725549 variables
Allocated 32 MB permanent (total 3151 MB)
Horizon 125: 755694 variables
Allocated 32 MB permanent (total 3306 MB)
Horizon 130: 785839 variables
Allocated 32 MB permanent (total 3463 MB)
Horizon 135: 815984 variables
Allocated 32 MB permanent (total 3621 MB)
Horizon 140: 846129 variables
Allocated 32 MB permanent (total 3781 MB)
Horizon 145: 876274 variables
Allocated 32 MB permanent (total 3943 MB)
Allocated 32 MB permanent (total 3975 MB)
Horizon 150: 906419 variables
Allocated 32 MB (total 4007 MB)
Allocated 32 MB permanent (total 4171 MB)
Horizon 155: 936564 variables
Allocated 32 MB permanent (total 4336 MB)
Horizon 160: 966709 variables
Allocated 32 MB permanent (total 4504 MB)
Horizon 165: 996854 variables
Allocated 32 MB permanent (total 4673 MB)
Allocated 32 MB permanent (total 4705 MB)
Horizon 170: 1026999 variables
Allocated 32 MB permanent (total 4876 MB)
Horizon 175: 1057144 variables
Allocated 32 MB permanent (total 5048 MB)
Horizon 180: 1087289 variables
Allocated 32 MB (total 5080 MB)
Allocated 32 MB (total 5112 MB)
Allocated 32 MB (total 5144 MB)
GC: 293.50 MB
85 UNSAT (4550 decisions 2233 conflicts)
Horizon 185: 1117434 variables
Allocated 32 MB (total 5319 MB)
Allocated 32 MB (total 5351 MB)
Allocated 32 MB (total 5383 MB)
Allocated 32 MB (total 5415 MB)
GC: 241.67 MB
Allocated 32 MB (total 5447 MB)
Allocated 32 MB (total 5479 MB)
Allocated 32 MB (total 5511 MB)
Allocated 32 MB (total 5543 MB)
GC: 353.64 MB
GC: 348.55 MB
Allocated 32 MB (total 5575 MB)
Allocated 32 MB (total 5607 MB)
GC: 390.22 MB
Allocated 32 MB (total 5639 MB)
GC: 417.37 MB
Allocated 32 MB (total 5671 MB)
GC: 451.26 MB
Allocated 32 MB (total 5703 MB)
Allocated 32 MB (total 5735 MB)
GC: 486.46 MB
Allocated 32 MB (total 5767 MB)
GC: 570.02 MB
GC: 519.81 MB
GC: 490.53 MB
GC: 541.12 MB
Allocated 32 MB (total 5799 MB)
GC: 589.42 MB
Allocated 32 MB (total 5831 MB)
GC: 602.58 MB
GC: 596.18 MB
Allocated 32 MB (total 5863 MB)
GC: 635.24 MB
Allocated 32 MB (total 5895 MB)
GC: 670.08 MB
GC: 667.74 MB
Allocated 32 MB (total 5927 MB)
Allocated 32 MB (total 5959 MB)
GC: 711.46 MB
GC: 697.28 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-90.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 90
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 90}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-90.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.09 MEM 5951320 MAXMEM 5951320 STALE 0 MAXMEM_RSS 2770640
<time name="ALL">900110</time>

View File

@ -1,140 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-90.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-44-1
Parser: 3960 ground actions and 2069 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 2.80 secs
Goal: conjunctive
Simplified: 3960 ground actions and 2069 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.70 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 165 MB)
Horizon 0: 2069 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 32214 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 62359 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 92504 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 122649 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 152794 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 182939 variables
30 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 862 MB)
Horizon 35: 213084 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 243229 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 273374 variables
45 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1171 MB)
Horizon 50: 303519 variables
50 UNSAT (0 decisions 0 conflicts)
Horizon 55: 333664 variables
55 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1397 MB)
Horizon 60: 363809 variables
60 UNSAT (0 decisions 0 conflicts)
Horizon 65: 393954 variables
Allocated 32 MB (total 1529 MB)
65 UNSAT (9 decisions 9 conflicts)
Allocated 32 MB permanent (total 1662 MB)
Horizon 70: 424099 variables
70 UNSAT (37 decisions 24 conflicts)
Horizon 75: 454244 variables
Allocated 32 MB permanent (total 1902 MB)
Horizon 80: 484389 variables
75 UNSAT (198 decisions 71 conflicts)
Horizon 85: 514534 variables
Allocated 32 MB permanent (total 2150 MB)
Horizon 90: 544679 variables
Allocated 32 MB permanent (total 2292 MB)
Horizon 95: 574824 variables
Allocated 32 MB permanent (total 2436 MB)
Horizon 100: 604969 variables
Horizon 105: 635114 variables
Allocated 32 MB permanent (total 2698 MB)
Horizon 110: 665259 variables
Allocated 32 MB permanent (total 2847 MB)
Horizon 115: 695404 variables
Allocated 32 MB permanent (total 2998 MB)
Horizon 120: 725549 variables
Allocated 32 MB permanent (total 3151 MB)
Horizon 125: 755694 variables
Allocated 32 MB permanent (total 3306 MB)
Horizon 130: 785839 variables
Allocated 32 MB permanent (total 3463 MB)
Horizon 135: 815984 variables
Allocated 32 MB (total 3495 MB)
Allocated 32 MB permanent (total 3653 MB)
Horizon 140: 846129 variables
Allocated 32 MB permanent (total 3813 MB)
Horizon 145: 876274 variables
Allocated 32 MB permanent (total 3975 MB)
Allocated 32 MB permanent (total 4007 MB)
Horizon 150: 906419 variables
Allocated 32 MB permanent (total 4171 MB)
Horizon 155: 936564 variables
Allocated 32 MB permanent (total 4336 MB)
Horizon 160: 966709 variables
Allocated 32 MB permanent (total 4504 MB)
Horizon 165: 996854 variables
Allocated 32 MB (total 4536 MB)
Allocated 32 MB permanent (total 4705 MB)
Allocated 32 MB permanent (total 4737 MB)
Horizon 170: 1026999 variables
Allocated 32 MB permanent (total 4908 MB)
Horizon 175: 1057144 variables
Allocated 32 MB (total 4940 MB)
Allocated 32 MB (total 4972 MB)
Allocated 32 MB (total 5004 MB)
GC: 284.29 MB
Allocated 32 MB (total 5036 MB)
Allocated 32 MB (total 5068 MB)
Allocated 32 MB (total 5100 MB)
Allocated 32 MB (total 5132 MB)
Allocated 32 MB (total 5164 MB)
GC: 289.08 MB
Allocated 32 MB (total 5196 MB)
Allocated 32 MB (total 5228 MB)
GC: 330.77 MB
Allocated 32 MB (total 5260 MB)
Allocated 32 MB (total 5292 MB)
Allocated 32 MB (total 5324 MB)
GC: 385.48 MB
Allocated 32 MB (total 5356 MB)
Allocated 32 MB (total 5388 MB)
Allocated 32 MB (total 5420 MB)
Allocated 32 MB (total 5452 MB)
GC: 567.89 MB
GC: 448.19 MB
GC: 482.52 MB
Allocated 32 MB (total 5484 MB)
Allocated 32 MB (total 5516 MB)
GC: 507.46 MB
80 UNSAT (33350 decisions 19794 conflicts)
Horizon 180: 1087289 variables
GC: 561.06 MB
GC: 509.48 MB
GC: 534.19 MB
GC: 619.75 MB
GC: 476.49 MB
GC: 530.89 MB
GC: 529.08 MB
GC: 582.38 MB
GC: 546.33 MB
GC: 581.13 MB
GC: 580.66 MB
GC: 618.11 MB
Allocated 32 MB (total 5688 MB)
Allocated 32 MB (total 5720 MB)
GC: 668.78 MB
GC: 649.96 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-91.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 91
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -1,8 +0,0 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 91}
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-91.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.02 MEM 6843200 MAXMEM 6843200 STALE 0 MAXMEM_RSS 3235104
<time name="ALL">900050</time>

View File

@ -1,155 +0,0 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-91.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-45-0
Parser: 4140 ground actions and 2161 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 3.30 secs
Goal: conjunctive
Simplified: 4140 ground actions and 2161 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.89 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 167 MB)
Horizon 0: 2161 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 33666 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 65171 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 96676 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 128181 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 159686 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 191191 variables
30 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 867 MB)
Horizon 35: 222696 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 254201 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 285706 variables
45 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1178 MB)
Horizon 50: 317211 variables
50 UNSAT (0 decisions 0 conflicts)
Horizon 55: 348716 variables
55 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1406 MB)
Horizon 60: 380221 variables
60 UNSAT (0 decisions 0 conflicts)
Horizon 65: 411726 variables
65 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1641 MB)
Horizon 70: 443231 variables
70 UNSAT (0 decisions 0 conflicts)
Horizon 75: 474736 variables
Allocated 32 MB (total 1778 MB)
75 UNSAT (3 decisions 3 conflicts)
Allocated 32 MB permanent (total 1916 MB)
Horizon 80: 506241 variables
80 UNSAT (41 decisions 39 conflicts)
Allocated 32 MB permanent (total 2056 MB)
Horizon 85: 537746 variables
Horizon 90: 569251 variables
85 UNSAT (110 decisions 98 conflicts)
Allocated 32 MB permanent (total 2310 MB)
Horizon 95: 600756 variables
Allocated 32 MB permanent (total 2456 MB)
Horizon 100: 632261 variables
90 UNSAT (194 decisions 142 conflicts)
Allocated 32 MB permanent (total 2603 MB)
Horizon 105: 663766 variables
Allocated 32 MB permanent (total 2753 MB)
Horizon 110: 695271 variables
95 UNSAT (272 decisions 205 conflicts)
Allocated 32 MB permanent (total 2904 MB)
Horizon 115: 726776 variables
100 UNSAT (521 decisions 237 conflicts)
Allocated 32 MB permanent (total 3057 MB)
Horizon 120: 758281 variables
Allocated 32 MB permanent (total 3212 MB)
Horizon 125: 789786 variables
Allocated 32 MB permanent (total 3369 MB)
Horizon 130: 821291 variables
Allocated 32 MB permanent (total 3528 MB)
Horizon 135: 852796 variables
Allocated 32 MB permanent (total 3689 MB)
Horizon 140: 884301 variables
Allocated 32 MB permanent (total 3851 MB)
Horizon 145: 915806 variables
Allocated 32 MB permanent (total 4016 MB)
Horizon 150: 947311 variables
Allocated 32 MB permanent (total 4182 MB)
Allocated 32 MB permanent (total 4214 MB)
Horizon 155: 978816 variables
Allocated 32 MB permanent (total 4382 MB)
Horizon 160: 1010321 variables
Allocated 32 MB permanent (total 4552 MB)
Horizon 165: 1041826 variables
Allocated 32 MB permanent (total 4724 MB)
Allocated 32 MB permanent (total 4756 MB)
Horizon 170: 1073331 variables
Allocated 32 MB permanent (total 4929 MB)
Horizon 175: 1104836 variables
Allocated 32 MB permanent (total 5105 MB)
Allocated 32 MB permanent (total 5137 MB)
Horizon 180: 1136341 variables
Allocated 32 MB permanent (total 5314 MB)
Horizon 185: 1167846 variables
Allocated 32 MB permanent (total 5493 MB)
Allocated 32 MB permanent (total 5525 MB)
Horizon 190: 1199351 variables
Allocated 32 MB permanent (total 5707 MB)
Horizon 195: 1230856 variables
Allocated 32 MB (total 5739 MB)
Allocated 32 MB permanent (total 5922 MB)
Allocated 32 MB permanent (total 5954 MB)
Horizon 200: 1262361 variables
Allocated 32 MB (total 5986 MB)
GC: 344.48 MB
Allocated 32 MB (total 6018 MB)
Allocated 32 MB (total 6050 MB)
Allocated 32 MB (total 6082 MB)
GC: 164.13 MB
Allocated 32 MB (total 6114 MB)
Allocated 32 MB (total 6146 MB)
Allocated 32 MB (total 6178 MB)
Allocated 32 MB (total 6210 MB)
Allocated 32 MB (total 6242 MB)
GC: 277.53 MB
105 UNSAT (16338 decisions 7475 conflicts)
Horizon 205: 1293866 variables
GC: 265.60 MB
GC: 171.26 MB
GC: 191.28 MB
GC: 202.54 MB
GC: 216.98 MB
GC: 224.81 MB
GC: 234.55 MB
GC: 235.04 MB
Allocated 32 MB (total 6426 MB)
GC: 266.45 MB
GC: 284.71 MB
Allocated 32 MB (total 6458 MB)
Allocated 32 MB (total 6490 MB)
GC: 310.86 MB
GC: 312.44 MB
GC: 280.91 MB
GC: 306.64 MB
Allocated 32 MB (total 6522 MB)
GC: 312.02 MB
Allocated 32 MB (total 6554 MB)
GC: 353.42 MB
Allocated 32 MB (total 6586 MB)
GC: 356.48 MB
GC: 367.42 MB
Allocated 32 MB (total 6618 MB)
Allocated 32 MB (total 6650 MB)
GC: 401.64 MB
GC: 403.11 MB

View File

@ -1,38 +0,0 @@
command:
- timeout
- -m=9216000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-92.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 92
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

Some files were not shown because too many files have changed in this diff Show More