From 6860f602fe0ae71524ad881e08d8bee59d08d048 Mon Sep 17 00:00:00 2001 From: potassco-bot Date: Tue, 28 Nov 2017 12:06:30 +0100 Subject: [PATCH] Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 92] --- m-mpc/ipc-2000_blocks-strips-typed_92.env | 37 +++++++ m-mpc/ipc-2000_blocks-strips-typed_92.err | 8 ++ m-mpc/ipc-2000_blocks-strips-typed_92.out | 128 ++++++++++++++++++++++ 3 files changed, 173 insertions(+) create mode 100644 m-mpc/ipc-2000_blocks-strips-typed_92.env create mode 100644 m-mpc/ipc-2000_blocks-strips-typed_92.err create mode 100644 m-mpc/ipc-2000_blocks-strips-typed_92.out diff --git a/m-mpc/ipc-2000_blocks-strips-typed_92.env b/m-mpc/ipc-2000_blocks-strips-typed_92.env new file mode 100644 index 000000000..6dae8cd26 --- /dev/null +++ b/m-mpc/ipc-2000_blocks-strips-typed_92.env @@ -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-92.pddl +- --stats +- --verbose +- --print-call +- --madagascar-MpC +configuration: + id: m-mpc + instanceSets: + - lpnmr-easy-instances + - lpnmr-hard-instances + - lpnmr-first-plan-not-serializable + - rintanen-aij-2012 + options: + - --stats + - --verbose + - --print-call + - --madagascar-MpC +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: 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 + diff --git a/m-mpc/ipc-2000_blocks-strips-typed_92.err b/m-mpc/ipc-2000_blocks-strips-typed_92.err new file mode 100644 index 000000000..783641465 --- /dev/null +++ b/m-mpc/ipc-2000_blocks-strips-typed_92.err @@ -0,0 +1,8 @@ +# configuration: {'id': 'm-mpc', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-MpC'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']} +# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 92} +# 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-92.pddl', '--stats', '--verbose', '--print-call', '--madagascar-MpC'] +# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner +# exit code: 0 +TIMEOUT CPU 900.11 MEM 7740704 MAXMEM 7740704 STALE 0 MAXMEM_RSS 5126236 + + diff --git a/m-mpc/ipc-2000_blocks-strips-typed_92.out b/m-mpc/ipc-2000_blocks-strips-typed_92.out new file mode 100644 index 000000000..a00e30a4c --- /dev/null +++ b/m-mpc/ipc-2000_blocks-strips-typed_92.out @@ -0,0 +1,128 @@ +Madagascar 0.99999 25/02/2015 09:45:59 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-92.pddlignoring --stats +ignoring --verbose + +Domain: blocks +Problem: blocks-45-1 +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 2.60 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.86 secs (max SCC size 1) +Plan type: E-step + Allocated 32 MB permanent (total 167 MB) +Horizon 5: 33666 variables +5 UNSAT (0 decisions 0 conflicts) +Horizon 7: 46268 variables +7 UNSAT (0 decisions 0 conflicts) +Horizon 10: 65171 variables +10 UNSAT (0 decisions 0 conflicts) +Horizon 14: 90375 variables +14 UNSAT (0 decisions 0 conflicts) +Horizon 20: 128181 variables +20 UNSAT (0 decisions 0 conflicts) +Horizon 28: 178589 variables +28 UNSAT (0 decisions 0 conflicts) + Allocated 32 MB permanent (total 784 MB) +Horizon 40: 254201 variables +40 UNSAT (0 decisions 0 conflicts) +Horizon 56: 355017 variables +56 UNSAT (0 decisions 0 conflicts) + Allocated 32 MB permanent (total 1020 MB) +Horizon 80: 506241 variables + Allocated 32 MB (total 1052 MB) +80 UNSAT (62 decisions 50 conflicts) + Allocated 32 MB permanent (total 1202 MB) +Horizon 113: 714174 variables + Allocated 32 MB permanent (total 1371 MB) +Horizon 160: 1010321 variables + Allocated 32 MB permanent (total 1563 MB) + Allocated 32 MB permanent (total 1595 MB) +Horizon 226: 1426187 variables + Allocated 32 MB permanent (total 1823 MB) + Allocated 32 MB permanent (total 1855 MB) +Horizon 320: 2018481 variables + Allocated 32 MB permanent (total 2132 MB) + Allocated 32 MB permanent (total 2164 MB) + Allocated 32 MB permanent (total 2196 MB) + Allocated 32 MB permanent (total 2228 MB) +Horizon 452: 2850213 variables + Allocated 32 MB permanent (total 2575 MB) + Allocated 32 MB permanent (total 2607 MB) + Allocated 32 MB permanent (total 2639 MB) + Allocated 32 MB permanent (total 2671 MB) + Allocated 32 MB permanent (total 2703 MB) +Horizon 640: 4034801 variables + Allocated 32 MB permanent (total 3148 MB) + Allocated 32 MB permanent (total 3180 MB) + Allocated 32 MB permanent (total 3212 MB) + Allocated 32 MB permanent (total 3244 MB) + Allocated 32 MB permanent (total 3276 MB) + Allocated 32 MB permanent (total 3308 MB) + Allocated 32 MB permanent (total 3340 MB) +Horizon 905: 5704566 variables + Allocated 32 MB permanent (total 3926 MB) + Allocated 32 MB permanent (total 3958 MB) + Allocated 32 MB permanent (total 3990 MB) + Allocated 32 MB permanent (total 4022 MB) + Allocated 32 MB permanent (total 4054 MB) + Allocated 32 MB permanent (total 4086 MB) + Allocated 32 MB permanent (total 4118 MB) + Allocated 32 MB permanent (total 4150 MB) + Allocated 32 MB permanent (total 4182 MB) + Allocated 32 MB permanent (total 4214 MB) + Allocated 32 MB permanent (total 4246 MB) +Horizon 1280: 8067441 variables + Allocated 32 MB permanent (total 5029 MB) + Allocated 32 MB permanent (total 5061 MB) + Allocated 32 MB permanent (total 5093 MB) + Allocated 32 MB permanent (total 5125 MB) + Allocated 32 MB permanent (total 5157 MB) + Allocated 32 MB permanent (total 5189 MB) + Allocated 32 MB permanent (total 5221 MB) + Allocated 32 MB permanent (total 5253 MB) + Allocated 32 MB permanent (total 5285 MB) + Allocated 32 MB permanent (total 5317 MB) + Allocated 32 MB permanent (total 5349 MB) + Allocated 32 MB permanent (total 5381 MB) + Allocated 32 MB permanent (total 5413 MB) + Allocated 32 MB permanent (total 5445 MB) + Allocated 32 MB permanent (total 5477 MB) +Horizon 1810: 11406971 variables + Allocated 32 MB permanent (total 6539 MB) + Allocated 32 MB permanent (total 6571 MB) + Allocated 32 MB permanent (total 6603 MB) + Allocated 32 MB permanent (total 6635 MB) + Allocated 32 MB permanent (total 6667 MB) + Allocated 32 MB permanent (total 6699 MB) + Allocated 32 MB permanent (total 6731 MB) + Allocated 32 MB permanent (total 6763 MB) + Allocated 32 MB permanent (total 6795 MB) + Allocated 32 MB permanent (total 6827 MB) + Allocated 32 MB permanent (total 6859 MB) + Allocated 32 MB permanent (total 6891 MB) + Allocated 32 MB permanent (total 6923 MB) + Allocated 32 MB permanent (total 6955 MB) + Allocated 32 MB permanent (total 6987 MB) + Allocated 32 MB permanent (total 7019 MB) + Allocated 32 MB permanent (total 7051 MB) + Allocated 32 MB permanent (total 7083 MB) + Allocated 32 MB permanent (total 7115 MB) + Allocated 32 MB permanent (total 7147 MB) +Horizon 2560: 16132721 variables + GC: 90.48 MB + Allocated 32 MB (total 7179 MB) + GC: 36.46 MB + Allocated 32 MB (total 7211 MB) + GC: 52.88 MB + GC: 52.63 MB + GC: 51.79 MB + GC: 60.97 MB + GC: 56.14 MB + GC: 57.92 MB + Allocated 32 MB (total 7243 MB) + GC: 67.91 MB + GC: 85.31 MB + GC: 66.33 MB +