diff --git a/m-mpc/ipc-2000_blocks-strips-typed_91.env b/m-mpc/ipc-2000_blocks-strips-typed_91.env new file mode 100644 index 000000000..c4b62019f --- /dev/null +++ b/m-mpc/ipc-2000_blocks-strips-typed_91.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-91.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: 91 + 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_91.err b/m-mpc/ipc-2000_blocks-strips-typed_91.err new file mode 100644 index 000000000..64c60d842 --- /dev/null +++ b/m-mpc/ipc-2000_blocks-strips-typed_91.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': 91} +# 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-91.pddl', '--stats', '--verbose', '--print-call', '--madagascar-MpC'] +# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner +# exit code: 0 +TIMEOUT CPU 900.02 MEM 7806820 MAXMEM 7806820 STALE 0 MAXMEM_RSS 5215844 + + diff --git a/m-mpc/ipc-2000_blocks-strips-typed_91.out b/m-mpc/ipc-2000_blocks-strips-typed_91.out new file mode 100644 index 000000000..bc341eb91 --- /dev/null +++ b/m-mpc/ipc-2000_blocks-strips-typed_91.out @@ -0,0 +1,129 @@ +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-91.pddlignoring --stats +ignoring --verbose + +Domain: blocks +Problem: blocks-45-0 +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 21 3.06 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.88 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 (38 decisions 33 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 + Allocated 32 MB (total 7179 MB) + GC: 88.45 MB + Allocated 32 MB (total 7211 MB) + GC: 40.41 MB + GC: 62.81 MB + Allocated 32 MB (total 7243 MB) + GC: 62.78 MB + GC: 60.06 MB + Allocated 32 MB (total 7275 MB) + GC: 83.36 MB + Allocated 32 MB (total 7307 MB) + GC: 121.59 MB + GC: 84.76 MB + GC: 87.20 MB + GC: 82.41 MB +