Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 56]

This commit is contained in:
Potassco Bot 2017-11-30 12:38:13 +01:00
parent e1ef25a354
commit 86e130e002
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 141 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-2000/domains/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-56.pddl
- --stats
- --verbose
- --print-call
- -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: freecell-strips-typed
instance: 56
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

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-2000', 'domain': 'freecell-strips-typed', 'instance': 56}
# 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/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-56.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.11 MEM 8683948 MAXMEM 8683948 STALE 0 MAXMEM_RSS 5775632
<time name="ALL">900140</time>

View File

@ -0,0 +1,94 @@
Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-56.pddlignoring --stats
ignoring --verbose
-m 8192
Domain: freecell
Problem: freecell-13-1
Parser: 112600 ground actions and 3609 state variables
Invariants: 0 1 2 3 4 0.19 secs
Goal: conjunctive
Simplified: 25365 ground actions and 380 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 3.66 secs (max SCC size 25217)
Plan type: E-step
Allocated 32 MB permanent (total 445 MB)
Horizon 0: 380 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 518170 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 1035960 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 1553750 variables
15 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1201 MB)
Horizon 20: 2071540 variables
Allocated 32 MB (total 1233 MB)
Horizon 25: 2589330 variables
Allocated 32 MB permanent (total 1755 MB)
Horizon 30: 3107120 variables
20 UNSAT (174 decisions 163 conflicts)
Horizon 35: 3624910 variables
Allocated 32 MB permanent (total 2399 MB)
Horizon 40: 4142700 variables
Allocated 32 MB permanent (total 2783 MB)
Horizon 45: 4660490 variables
Allocated 32 MB permanent (total 3197 MB)
Horizon 50: 5178280 variables
Allocated 32 MB permanent (total 3642 MB)
Horizon 55: 5696070 variables
Allocated 32 MB permanent (total 4118 MB)
Allocated 32 MB permanent (total 4150 MB)
Horizon 60: 6213860 variables
Allocated 32 MB permanent (total 4656 MB)
Horizon 65: 6731650 variables
Allocated 32 MB permanent (total 5193 MB)
Horizon 70: 7249440 variables
Allocated 32 MB (total 5225 MB)
Allocated 32 MB permanent (total 5793 MB)
Allocated 32 MB permanent (total 5825 MB)
Horizon 75: 7767230 variables
Allocated 32 MB permanent (total 6423 MB)
Allocated 32 MB permanent (total 6455 MB)
Horizon 80: 8285020 variables
Allocated 32 MB (total 6487 MB)
Allocated 32 MB permanent (total 7116 MB)
Horizon 85: 8802810 variables
Allocated 32 MB permanent (total 7775 MB)
Allocated 32 MB permanent (total 7807 MB)
Horizon 90: 9320600 variables
Allocated 32 MB (total 7839 MB)
ATTENTION: Horizon 95 will not be started: memory allocated 7839.97 MB limit 8192.00 MB
Allocated 32 MB (total 7871 MB)
Allocated 32 MB (total 7903 MB)
Allocated 32 MB (total 7935 MB)
Allocated 32 MB (total 7967 MB)
Allocated 32 MB (total 7999 MB)
Allocated 32 MB (total 8031 MB)
Allocated 32 MB (total 8063 MB)
GC: 232.36 MB
Allocated 32 MB (total 8095 MB)
Allocated 32 MB (total 8127 MB)
Allocated 32 MB (total 8159 MB)
Allocated 32 MB (total 8191 MB)
Allocated 32 MB (total 8223 MB)
ATTENTION: Memory bound 8192.00 MB reached, 8223.97 MB allocated
GC: 256.04 MB
GC: 204.27 MB
GC: 266.98 MB
GC: 158.86 MB
GC: 168.34 MB
GC: 169.67 MB
GC: 172.50 MB
GC: 151.33 MB
GC: 158.12 MB
GC: 163.79 MB
GC: 162.03 MB
GC: 170.29 MB
GC: 391.36 MB
GC: 139.43 MB
GC: 144.68 MB
GC: 147.31 MB
GC: 301.80 MB
GC: 141.95 MB
GC: 176.74 MB