Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 30]

This commit is contained in:
Potassco Bot 2017-12-02 21:48:46 +01:00
parent 901cf65755
commit 855a311142
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 134 additions and 0 deletions

View File

@ -0,0 +1,39 @@
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-2006/domains/trucks-propositional-strips/domains/domain-30.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/instances/instance-30.pddl
- --stats
- --verbose
- --print-call
- -m 8192
- --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
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: trucks-propositional-strips
instance: 30
ipc: ipc-2006
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

@ -0,0 +1,8 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
# instance: {'ipc': 'ipc-2006', 'domain': 'trucks-propositional-strips', 'instance': 30}
# 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-2006/domains/trucks-propositional-strips/domains/domain-30.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/instances/instance-30.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
MEM CPU 201.18 MEM 9216852 MAXMEM 9216852 STALE 0 MAXMEM_RSS 7087544
<time name="ALL">201200</time>

View File

@ -0,0 +1,87 @@
Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/domains/domain-30.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/instances/instance-30.pddlignoring --stats
ignoring --verbose
-m 8192
Domain: grounded-trucks
Problem: grounded-truck-30
Parser: 59696 ground actions and 4363 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 27 28 29 30 82.57 secs
Goal: conjunctive
Simplified: 59660 ground actions and 4362 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 3.80 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 835 MB)
Horizon 0: 4362 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 324472 variables
Allocated 32 MB (total 1069 MB)
5 UNSAT (46 decisions 45 conflicts)
Horizon 10: 644582 variables
Horizon 15: 964692 variables
Allocated 32 MB permanent (total 1501 MB)
Horizon 20: 1284802 variables
Allocated 32 MB permanent (total 1704 MB)
Horizon 25: 1604912 variables
Horizon 30: 1925022 variables
Allocated 32 MB permanent (total 2136 MB)
Horizon 35: 2245132 variables
Allocated 32 MB permanent (total 2396 MB)
Horizon 40: 2565242 variables
Allocated 32 MB permanent (total 2675 MB)
Allocated 32 MB permanent (total 2707 MB)
Horizon 45: 2885352 variables
Allocated 32 MB permanent (total 3005 MB)
Horizon 50: 3205462 variables
Allocated 32 MB permanent (total 3321 MB)
Allocated 32 MB permanent (total 3353 MB)
Horizon 55: 3525572 variables
Allocated 32 MB permanent (total 3689 MB)
Horizon 60: 3845682 variables
Allocated 32 MB permanent (total 4044 MB)
Allocated 32 MB permanent (total 4076 MB)
Horizon 65: 4165792 variables
Allocated 32 MB (total 4108 MB)
Allocated 32 MB permanent (total 4481 MB)
Allocated 32 MB permanent (total 4513 MB)
Horizon 70: 4485902 variables
Allocated 32 MB permanent (total 4906 MB)
Allocated 32 MB permanent (total 4938 MB)
Horizon 75: 4806012 variables
Allocated 32 MB (total 4970 MB)
Allocated 32 MB permanent (total 5381 MB)
Allocated 32 MB permanent (total 5413 MB)
Horizon 80: 5126122 variables
Allocated 32 MB permanent (total 5844 MB)
Allocated 32 MB permanent (total 5876 MB)
Allocated 32 MB permanent (total 5908 MB)
Horizon 85: 5446232 variables
Allocated 32 MB (total 5940 MB)
Allocated 32 MB permanent (total 6389 MB)
Allocated 32 MB permanent (total 6421 MB)
Horizon 90: 5766342 variables
Allocated 32 MB permanent (total 6889 MB)
Allocated 32 MB permanent (total 6921 MB)
Allocated 32 MB permanent (total 6953 MB)
Horizon 95: 6086452 variables
Allocated 32 MB (total 6985 MB)
Allocated 32 MB permanent (total 7472 MB)
Allocated 32 MB permanent (total 7504 MB)
Horizon 100: 6406562 variables
ATTENTION: Horizon 105 will not be started: memory allocated 7504.88 MB limit 8192.00 MB
Allocated 32 MB (total 7536 MB)
Allocated 32 MB (total 7568 MB)
Allocated 32 MB (total 7600 MB)
Allocated 32 MB (total 7632 MB)
Allocated 32 MB (total 7664 MB)
Allocated 32 MB (total 7696 MB)
GC: 186.60 MB
Allocated 32 MB (total 7728 MB)
Allocated 32 MB (total 7760 MB)
Allocated 32 MB (total 7792 MB)
Allocated 32 MB (total 7824 MB)
Allocated 32 MB (total 7856 MB)
Allocated 32 MB (total 7888 MB)
Allocated 32 MB (total 7920 MB)
GC: 209.04 MB