From 6b3aef35416bb99c3088e876c62ed72ee10fd3d0 Mon Sep 17 00:00:00 2001 From: potassco-bot Date: Sat, 2 Dec 2017 19:57:41 +0100 Subject: [PATCH] Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 26] --- ...pc-2006_trucks-propositional-strips_26.env | 39 ++++++ ...pc-2006_trucks-propositional-strips_26.err | 8 ++ ...pc-2006_trucks-propositional-strips_26.out | 121 ++++++++++++++++++ 3 files changed, 168 insertions(+) create mode 100644 m-mp/ipc-2006_trucks-propositional-strips_26.env create mode 100644 m-mp/ipc-2006_trucks-propositional-strips_26.err create mode 100644 m-mp/ipc-2006_trucks-propositional-strips_26.out diff --git a/m-mp/ipc-2006_trucks-propositional-strips_26.env b/m-mp/ipc-2006_trucks-propositional-strips_26.env new file mode 100644 index 000000000..391c33419 --- /dev/null +++ b/m-mp/ipc-2006_trucks-propositional-strips_26.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-2006/domains/trucks-propositional-strips/domains/domain-26.pddl +- /home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/instances/instance-26.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: 26 + 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 + diff --git a/m-mp/ipc-2006_trucks-propositional-strips_26.err b/m-mp/ipc-2006_trucks-propositional-strips_26.err new file mode 100644 index 000000000..61597ad4d --- /dev/null +++ b/m-mp/ipc-2006_trucks-propositional-strips_26.err @@ -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': 26} +# 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-26.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/instances/instance-26.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.01 MEM 6539252 MAXMEM 6539252 STALE 0 MAXMEM_RSS 4463880 + + diff --git a/m-mp/ipc-2006_trucks-propositional-strips_26.out b/m-mp/ipc-2006_trucks-propositional-strips_26.out new file mode 100644 index 000000000..1bf835d72 --- /dev/null +++ b/m-mp/ipc-2006_trucks-propositional-strips_26.out @@ -0,0 +1,121 @@ +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-26.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/instances/instance-26.pddlignoring --stats +ignoring --verbose + -m 8192 +Domain: grounded-trucks +Problem: grounded-truck-26 +Parser: 28098 ground actions and 2708 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 13.27 secs +Goal: conjunctive +Simplified: 28062 ground actions and 2707 state variables +Actions: STRIPS +Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.91 secs (max SCC size 1) +Plan type: E-step + Allocated 32 MB permanent (total 405 MB) +Horizon 0: 2707 variables +0 UNSAT (0 decisions 0 conflicts) +Horizon 5: 156552 variables + Allocated 32 MB (total 613 MB) +Horizon 10: 310397 variables +5 UNSAT (102 decisions 92 conflicts) +Horizon 15: 464242 variables +Horizon 20: 618087 variables + Allocated 32 MB permanent (total 1079 MB) +Horizon 25: 771932 variables +Horizon 30: 925777 variables +Horizon 35: 1079622 variables + Allocated 32 MB permanent (total 1531 MB) +Horizon 40: 1233467 variables + Allocated 32 MB permanent (total 1722 MB) +Horizon 45: 1387312 variables +Horizon 50: 1541157 variables + Allocated 32 MB permanent (total 2098 MB) +Horizon 55: 1695002 variables + Allocated 32 MB permanent (total 2315 MB) +Horizon 60: 1848847 variables + Allocated 32 MB (total 2347 MB) + Allocated 32 MB permanent (total 2574 MB) +Horizon 65: 2002692 variables + Allocated 32 MB permanent (total 2810 MB) +Horizon 70: 2156537 variables + Allocated 32 MB (total 2842 MB) + Allocated 32 MB permanent (total 3087 MB) +Horizon 75: 2310382 variables + Allocated 32 MB permanent (total 3341 MB) +Horizon 80: 2464227 variables + Allocated 32 MB (total 3373 MB) + Allocated 32 MB permanent (total 3636 MB) +Horizon 85: 2618072 variables + Allocated 32 MB permanent (total 3908 MB) +Horizon 90: 2771917 variables + Allocated 32 MB (total 3940 MB) + Allocated 32 MB permanent (total 4222 MB) + Allocated 32 MB permanent (total 4254 MB) +Horizon 95: 2925762 variables + Allocated 32 MB (total 4286 MB) + Allocated 32 MB permanent (total 4576 MB) +Horizon 100: 3079607 variables + Allocated 32 MB permanent (total 4876 MB) + Allocated 32 MB permanent (total 4908 MB) +Horizon 105: 3233452 variables + Allocated 32 MB (total 4940 MB) + Allocated 32 MB (total 4972 MB) + Allocated 32 MB (total 5004 MB) + Allocated 32 MB (total 5036 MB) + Allocated 32 MB (total 5068 MB) + Allocated 32 MB (total 5100 MB) + GC: 166.44 MB + Allocated 32 MB (total 5132 MB) + Allocated 32 MB (total 5164 MB) + Allocated 32 MB (total 5196 MB) + Allocated 32 MB (total 5228 MB) + Allocated 32 MB (total 5260 MB) + Allocated 32 MB (total 5292 MB) + Allocated 32 MB (total 5324 MB) + GC: 226.07 MB + Allocated 32 MB (total 5356 MB) + Allocated 32 MB (total 5388 MB) + Allocated 32 MB (total 5420 MB) + Allocated 32 MB (total 5452 MB) + Allocated 32 MB (total 5484 MB) + GC: 235.05 MB + Allocated 32 MB (total 5516 MB) + Allocated 32 MB (total 5548 MB) + Allocated 32 MB (total 5580 MB) + Allocated 32 MB (total 5612 MB) + Allocated 32 MB (total 5644 MB) + Allocated 32 MB (total 5676 MB) + GC: 713.63 MB + GC: 391.06 MB + GC: 408.70 MB + GC: 415.93 MB + Allocated 32 MB (total 5708 MB) + Allocated 32 MB (total 5740 MB) + GC: 440.18 MB + Allocated 32 MB (total 5772 MB) + Allocated 32 MB (total 5804 MB) + Allocated 32 MB (total 5836 MB) + GC: 480.43 MB + Allocated 32 MB (total 5868 MB) + Allocated 32 MB (total 5900 MB) + Allocated 32 MB (total 5932 MB) + Allocated 32 MB (total 5964 MB) + Allocated 32 MB (total 5996 MB) + GC: 1031.11 MB + GC: 593.94 MB + GC: 578.22 MB + GC: 580.85 MB + GC: 586.53 MB + GC: 932.27 MB + GC: 618.43 MB + GC: 623.59 MB + GC: 624.74 MB + GC: 658.00 MB + GC: 646.75 MB + GC: 668.48 MB + GC: 675.32 MB + GC: 747.11 MB + GC: 635.58 MB + GC: 644.44 MB + GC: 710.27 MB +