From 48f824a04edb2b33a95d9ac14da56e75b8875e4b Mon Sep 17 00:00:00 2001 From: potassco-bot Date: Tue, 5 Dec 2017 15:54:47 +0100 Subject: [PATCH] Add benchmark result [m-mp | ipc-2011 | transport-sequential-satisficing | 6] --- ...011_transport-sequential-satisficing_6.env | 39 ++++++++ ...011_transport-sequential-satisficing_6.err | 9 ++ ...011_transport-sequential-satisficing_6.out | 88 +++++++++++++++++++ 3 files changed, 136 insertions(+) create mode 100644 m-mp/ipc-2011_transport-sequential-satisficing_6.env create mode 100644 m-mp/ipc-2011_transport-sequential-satisficing_6.err create mode 100644 m-mp/ipc-2011_transport-sequential-satisficing_6.out diff --git a/m-mp/ipc-2011_transport-sequential-satisficing_6.env b/m-mp/ipc-2011_transport-sequential-satisficing_6.env new file mode 100644 index 000000000..439fc164a --- /dev/null +++ b/m-mp/ipc-2011_transport-sequential-satisficing_6.env @@ -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-2011/domains/transport-sequential-satisficing/domain.pddl +- /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/transport-sequential-satisficing/instances/instance-6.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: transport-sequential-satisficing + instance: 6 + ipc: ipc-2011 +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 + diff --git a/m-mp/ipc-2011_transport-sequential-satisficing_6.err b/m-mp/ipc-2011_transport-sequential-satisficing_6.err new file mode 100644 index 000000000..d550199bf --- /dev/null +++ b/m-mp/ipc-2011_transport-sequential-satisficing_6.err @@ -0,0 +1,9 @@ +# 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-2011', 'domain': 'transport-sequential-satisficing', 'instance': 6} +# 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-2011/domains/transport-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/transport-sequential-satisficing/instances/instance-6.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'] +# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner +# exit code: 0 +WARNING: will ignore action costs +TIMEOUT CPU 900.02 MEM 7127808 MAXMEM 7127808 STALE 0 MAXMEM_RSS 4505136 + + diff --git a/m-mp/ipc-2011_transport-sequential-satisficing_6.out b/m-mp/ipc-2011_transport-sequential-satisficing_6.out new file mode 100644 index 000000000..467213631 --- /dev/null +++ b/m-mp/ipc-2011_transport-sequential-satisficing_6.out @@ -0,0 +1,88 @@ +Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS) +Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/transport-sequential-satisficing/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/transport-sequential-satisficing/instances/instance-6.pddlignoring --stats +ignoring --verbose + -m 8192 +Domain: transport +Problem: transport-two-cities-sequential-24nodes-1000size-4degree-100mindistance-4trucks-16packages-2008seed +Parser: 25344 ground actions and 1240 state variables +Invariants: 0 1 2 3 4 5 0.24 secs +Goal: conjunctive +Simplified: 25344 ground actions and 1044 state variables +Actions: STRIPS +Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.57 secs (max SCC size 16) +Plan type: E-step + Allocated 32 MB permanent (total 349 MB) +Horizon 0: 1044 variables +0 UNSAT (0 decisions 0 conflicts) +Horizon 5: 248184 variables +5 UNSAT (0 decisions 0 conflicts) +Horizon 10: 495324 variables + Allocated 32 MB (total 672 MB) +Horizon 15: 742464 variables +Horizon 20: 989604 variables +10 UNSAT (229 decisions 133 conflicts) + Allocated 32 MB permanent (total 1108 MB) +Horizon 25: 1236744 variables +Horizon 30: 1483884 variables + Allocated 32 MB permanent (total 1483 MB) +Horizon 35: 1731024 variables +Horizon 40: 1978164 variables + Allocated 32 MB permanent (total 1916 MB) +Horizon 45: 2225304 variables + Allocated 32 MB permanent (total 2171 MB) +Horizon 50: 2472444 variables +Horizon 55: 2719584 variables + Allocated 32 MB permanent (total 2692 MB) +Horizon 60: 2966724 variables + Allocated 32 MB permanent (total 2990 MB) +Horizon 65: 3213864 variables + Allocated 32 MB permanent (total 3303 MB) +Horizon 70: 3461004 variables + Allocated 32 MB permanent (total 3631 MB) +Horizon 75: 3708144 variables + Allocated 32 MB permanent (total 3973 MB) +Horizon 80: 3955284 variables + Allocated 32 MB permanent (total 4330 MB) + Allocated 32 MB permanent (total 4362 MB) +Horizon 85: 4202424 variables + Allocated 32 MB (total 4394 MB) + Allocated 32 MB permanent (total 4765 MB) +Horizon 90: 4449564 variables + Allocated 32 MB permanent (total 5151 MB) +Horizon 95: 4696704 variables + Allocated 32 MB permanent (total 5552 MB) + Allocated 32 MB permanent (total 5584 MB) +Horizon 100: 4943844 variables + Allocated 32 MB permanent (total 5999 MB) +Horizon 105: 5190984 variables + Allocated 32 MB permanent (total 6429 MB) + Allocated 32 MB permanent (total 6461 MB) +Horizon 110: 5438124 variables + Allocated 32 MB (total 6493 MB) + Allocated 32 MB (total 6525 MB) + GC: 90.76 MB + Allocated 32 MB (total 6557 MB) + GC: 105.60 MB + GC: 119.48 MB + GC: 112.49 MB + Allocated 32 MB (total 6589 MB) + GC: 113.91 MB + GC: 147.32 MB + GC: 127.39 MB + GC: 141.73 MB + GC: 125.71 MB + Allocated 32 MB (total 6621 MB) + GC: 142.09 MB + GC: 145.06 MB + GC: 151.01 MB + Allocated 32 MB (total 6653 MB) + GC: 157.03 MB + GC: 153.91 MB + GC: 150.63 MB + Allocated 32 MB (total 6685 MB) + GC: 219.17 MB + GC: 159.10 MB + GC: 160.97 MB + GC: 175.95 MB + GC: 194.51 MB +