Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 91]

This commit is contained in:
Potassco Bot 2017-11-29 03:02:11 +01:00
parent 31eed28164
commit e36dc1b31d
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 199 additions and 0 deletions

View File

@ -0,0 +1,37 @@
command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-91.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- lpnmr-easy-instances
- lpnmr-hard-instances
- lpnmr-first-plan-not-serializable
- rintanen-aij-2012
options:
- --stats
- --verbose
- --print-call
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 91
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -0,0 +1,8 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 91}
# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-91.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.07 MEM 6843272 MAXMEM 6843272 STALE 0 MAXMEM_RSS 3235216
<time name="ALL">900090</time>

View File

@ -0,0 +1,154 @@
Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-91.pddlignoring --stats
ignoring --verbose
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.03 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