Add benchmark result [m-mp | ipc-2004 | satellite-strips | 31]

This commit is contained in:
Potassco Bot 2017-12-01 21:57:58 +01:00
parent 028be32474
commit a6b6214a47
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 108 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-2004/domains/satellite-strips/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/satellite-strips/instances/instance-31.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: satellite-strips
instance: 31
ipc: ipc-2004
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

View File

@ -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-2004', 'domain': 'satellite-strips', 'instance': 31}
# 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-2004/domains/satellite-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/satellite-strips/instances/instance-31.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
# planner call: Mp /home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/satellite-strips/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/satellite-strips/instances/instance-31.pddl --stats --verbose -m 8192
FINISHED CPU 54.73 MEM 33472 MAXMEM 6914500 STALE 1 MAXMEM_RSS 6216112
<time name="ALL">54710</time>

View File

@ -0,0 +1,60 @@
Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/satellite-strips/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/satellite-strips/instances/instance-31.pddlignoring --stats
ignoring --verbose
-m 8192
Domain: satellite
Problem: strips-sat-x-1
Parser: 371315 ground actions and 3305 state variables
Invariants: 0 1 2 3 6.03 secs
Goal: conjunctive
Simplified: 368990 ground actions and 3175 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 14.74 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 3102 MB)
Horizon 0: 3175 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 1864000 variables
Allocated 32 MB (total 3521 MB)
Allocated 32 MB permanent (total 3850 MB)
Horizon 10: 3724825 variables
Allocated 32 MB permanent (total 4289 MB)
Horizon 15: 5585650 variables
SAT (1451 decisions 0 conflicts)
PLAN FOUND: 15 steps
STEP 0: switch_on(instrument1,satellite0) switch_on(instrument11,satellite4) switch_on(instrument12,satellite5) switch_on(instrument14,satellite6) switch_on(instrument17,satellite7) switch_on(instrument19,satellite8) switch_on(instrument22,satellite9) switch_on(instrument24,satellite10) switch_on(instrument25,satellite11) switch_on(instrument26,satellite12) switch_on(instrument28,satellite13) switch_on(instrument29,satellite14) switch_on(instrument4,satellite1) switch_on(instrument6,satellite2) switch_on(instrument7,satellite3) turn_to(satellite0,star2,planet103) turn_to(satellite1,planet13,phenomenon105) turn_to(satellite10,star1,planet28) turn_to(satellite11,star8,planet81) turn_to(satellite12,star1,planet14) turn_to(satellite13,star1,phenomenon9) turn_to(satellite14,star8,star2) turn_to(satellite2,groundstation3,planet94) turn_to(satellite3,star8,phenomenon30) turn_to(satellite4,phenomenon31,phenomenon33) turn_to(satellite5,phenomenon148,planet125) turn_to(satellite6,star11,phenomenon105) turn_to(satellite7,star4,phenomenon122) turn_to(satellite8,star17,phenomenon121) turn_to(satellite9,star0,phenomenon129)
STEP 1.0: calibrate(satellite0,instrument1,star2) calibrate(satellite10,instrument24,star1) calibrate(satellite12,instrument26,star1) calibrate(satellite13,instrument28,star1) calibrate(satellite2,instrument6,groundstation3) calibrate(satellite7,instrument17,star4) calibrate(satellite9,instrument22,star0) switch_off(instrument14,satellite6) turn_to(satellite1,star2,planet13) turn_to(satellite11,phenomenon23,star8) turn_to(satellite14,phenomenon30,star8) turn_to(satellite3,star2,star8) turn_to(satellite4,groundstation3,phenomenon31) turn_to(satellite5,star2,phenomenon148) turn_to(satellite6,star17,star11) turn_to(satellite8,star1,star17)
STEP 1.1: turn_to(satellite0,star5,star2) turn_to(satellite10,star8,star1) turn_to(satellite12,phenomenon7,star1) turn_to(satellite13,planet14,star1) turn_to(satellite2,star10,groundstation3) turn_to(satellite7,planet6,star4) turn_to(satellite9,star11,star0)
STEP 2.0: calibrate(satellite1,instrument4,star2) calibrate(satellite3,instrument7,star2) calibrate(satellite4,instrument11,groundstation3) calibrate(satellite8,instrument19,star1) switch_on(instrument15,satellite6) take_image(satellite0,star5,instrument1,image3) take_image(satellite10,star8,instrument24,image3) take_image(satellite12,phenomenon7,instrument26,infrared1) take_image(satellite13,planet14,instrument28,thermograph2) take_image(satellite2,star10,instrument6,thermograph2) take_image(satellite7,planet6,instrument17,infrared1) take_image(satellite9,star11,instrument22,infrared1) turn_to(satellite11,planet28,phenomenon23) turn_to(satellite14,star39,phenomenon30) turn_to(satellite5,phenomenon148,star2) turn_to(satellite6,planet28,star17)
STEP 2.1: turn_to(satellite0,phenomenon15,star5) turn_to(satellite1,planet21,star2) turn_to(satellite10,planet13,star8) turn_to(satellite12,star17,phenomenon7) turn_to(satellite13,star24,planet14) turn_to(satellite2,planet20,star10) turn_to(satellite3,planet16,star2) turn_to(satellite4,phenomenon31,groundstation3) turn_to(satellite7,phenomenon23,planet6) turn_to(satellite8,planet22,star1) turn_to(satellite9,star0,star11)
STEP 3.0: switch_off(instrument15,satellite6) take_image(satellite0,phenomenon15,instrument1,infrared0) take_image(satellite1,planet21,instrument4,image3) take_image(satellite10,planet13,instrument24,spectrograph4) take_image(satellite12,star17,instrument26,infrared0) take_image(satellite13,star24,instrument28,thermograph2) take_image(satellite2,planet20,instrument6,infrared1) take_image(satellite3,planet16,instrument7,image3) take_image(satellite4,phenomenon31,instrument11,infrared1) take_image(satellite7,phenomenon23,instrument17,infrared0) take_image(satellite8,planet22,instrument19,thermograph2) turn_to(satellite11,star2,planet28) turn_to(satellite14,star1,star39) turn_to(satellite5,planet28,phenomenon148) turn_to(satellite6,star45,planet28) turn_to(satellite9,planet35,star0)
STEP 3.1: turn_to(satellite0,star25,phenomenon15) turn_to(satellite1,phenomenon30,planet21) turn_to(satellite10,planet27,planet13) turn_to(satellite12,star26,star17) turn_to(satellite13,phenomenon42,star24) turn_to(satellite2,planet28,planet20) turn_to(satellite3,star32,planet16) turn_to(satellite4,planet28,phenomenon31) turn_to(satellite7,phenomenon33,phenomenon23) turn_to(satellite8,phenomenon34,planet22)
STEP 4.0: calibrate(satellite11,instrument25,star2) calibrate(satellite14,instrument29,star1) switch_on(instrument14,satellite6) take_image(satellite0,star25,instrument1,thermograph2) take_image(satellite1,phenomenon30,instrument4,image3) take_image(satellite10,planet27,instrument24,spectrograph4) take_image(satellite12,star26,instrument26,infrared1) take_image(satellite13,phenomenon42,instrument28,thermograph2) take_image(satellite2,planet28,instrument6,infrared1) take_image(satellite3,star32,instrument7,thermograph2) take_image(satellite7,phenomenon33,instrument17,spectrograph4) take_image(satellite8,phenomenon34,instrument19,image3) take_image(satellite9,planet35,instrument22,spectrograph4) turn_to(satellite4,phenomenon31,planet28) turn_to(satellite5,phenomenon148,planet28) turn_to(satellite6,star0,star45)
STEP 4.1: turn_to(satellite0,star45,star25) turn_to(satellite1,star36,phenomenon30) turn_to(satellite10,phenomenon41,planet27) turn_to(satellite11,phenomenon38,star2) turn_to(satellite12,phenomenon47,star26) turn_to(satellite13,phenomenon46,phenomenon42) turn_to(satellite14,phenomenon44,star1) turn_to(satellite2,star40,planet28) turn_to(satellite3,star39,star32) turn_to(satellite7,phenomenon49,phenomenon33) turn_to(satellite8,phenomenon48,phenomenon34) turn_to(satellite9,star0,planet35)
STEP 5.0: calibrate(satellite6,instrument14,star0) take_image(satellite0,star45,instrument1,image3) take_image(satellite1,star36,instrument4,spectrograph4) take_image(satellite10,phenomenon41,instrument24,spectrograph4) take_image(satellite11,phenomenon38,instrument25,infrared1) take_image(satellite12,phenomenon47,instrument26,infrared0) take_image(satellite13,phenomenon46,instrument28,infrared0) take_image(satellite14,phenomenon44,instrument29,image3) take_image(satellite2,star40,instrument6,infrared1) take_image(satellite3,star39,instrument7,image3) take_image(satellite7,phenomenon49,instrument17,infrared1) take_image(satellite8,phenomenon48,instrument19,infrared0) turn_to(satellite4,star54,phenomenon31) turn_to(satellite5,planet59,phenomenon148) turn_to(satellite9,star51,star0)
STEP 5.1: turn_to(satellite0,phenomenon71,star45) turn_to(satellite1,star56,star36) turn_to(satellite10,planet58,phenomenon41) turn_to(satellite11,phenomenon55,phenomenon38) turn_to(satellite12,star51,phenomenon47) turn_to(satellite13,planet64,phenomenon46) turn_to(satellite14,star60,phenomenon44) turn_to(satellite2,star54,star40) turn_to(satellite3,phenomenon67,star39) turn_to(satellite6,planet59,star0) turn_to(satellite7,planet50,phenomenon49) turn_to(satellite8,phenomenon69,phenomenon48)
STEP 6.0: take_image(satellite0,phenomenon71,instrument1,image3) take_image(satellite1,star56,instrument4,image3) take_image(satellite10,planet58,instrument24,spectrograph4) take_image(satellite11,phenomenon55,instrument25,infrared1) take_image(satellite12,star51,instrument26,spectrograph4) take_image(satellite13,planet64,instrument28,infrared0) take_image(satellite14,star60,instrument29,image3) take_image(satellite2,star54,instrument6,infrared1) take_image(satellite3,phenomenon67,instrument7,image3) take_image(satellite6,planet59,instrument14,infrared1) take_image(satellite7,planet50,instrument17,infrared1) take_image(satellite8,phenomenon69,instrument19,infrared0) turn_to(satellite4,phenomenon31,star54) turn_to(satellite5,phenomenon148,planet59) turn_to(satellite9,star0,star51)
STEP 6.1: turn_to(satellite0,phenomenon76,phenomenon71) turn_to(satellite1,phenomenon78,star56) turn_to(satellite10,phenomenon62,planet58) turn_to(satellite11,star77,phenomenon55) turn_to(satellite12,planet74,star51) turn_to(satellite13,planet83,planet64) turn_to(satellite14,planet66,star60) turn_to(satellite2,star72,star54) turn_to(satellite3,phenomenon79,phenomenon67) turn_to(satellite6,phenomenon73,planet59) turn_to(satellite7,phenomenon63,planet50) turn_to(satellite8,planet75,phenomenon69)
STEP 7.0: take_image(satellite0,phenomenon76,instrument1,image3) take_image(satellite1,phenomenon78,instrument4,spectrograph4) take_image(satellite10,phenomenon62,instrument24,spectrograph4) take_image(satellite11,star77,instrument25,infrared1) take_image(satellite12,planet74,instrument26,infrared0) take_image(satellite13,planet83,instrument28,infrared0) take_image(satellite14,planet66,instrument29,image3) take_image(satellite2,star72,instrument6,infrared1) take_image(satellite3,phenomenon79,instrument7,image3) take_image(satellite6,phenomenon73,instrument14,thermograph2) take_image(satellite7,phenomenon63,instrument17,spectrograph4) take_image(satellite8,planet75,instrument19,infrared0) turn_to(satellite4,star96,phenomenon31) turn_to(satellite5,star96,phenomenon148) turn_to(satellite9,star82,star0)
STEP 7.1: turn_to(satellite0,phenomenon80,phenomenon76) turn_to(satellite1,star84,phenomenon78) turn_to(satellite10,planet90,phenomenon62) turn_to(satellite11,star82,star77) turn_to(satellite12,planet81,planet74) turn_to(satellite13,planet85,planet83) turn_to(satellite14,star101,planet66) turn_to(satellite2,phenomenon87,star72) turn_to(satellite3,planet88,phenomenon79) turn_to(satellite6,star93,phenomenon73) turn_to(satellite7,star89,phenomenon63) turn_to(satellite8,phenomenon92,planet75)
STEP 8.0: take_image(satellite0,phenomenon80,instrument1,image3) take_image(satellite1,star84,instrument4,spectrograph4) take_image(satellite10,planet90,instrument24,spectrograph4) take_image(satellite11,star82,instrument25,infrared1) take_image(satellite12,planet81,instrument26,spectrograph4) take_image(satellite13,planet85,instrument28,infrared0) take_image(satellite14,star101,instrument29,image3) take_image(satellite2,phenomenon87,instrument6,thermograph2) take_image(satellite3,planet88,instrument7,thermograph2) take_image(satellite4,star96,instrument11,infrared1) take_image(satellite6,star93,instrument14,infrared1) take_image(satellite7,star89,instrument17,infrared1) take_image(satellite8,phenomenon92,instrument19,thermograph2) turn_to(satellite5,phenomenon148,star96) turn_to(satellite9,star0,star82)
STEP 8.1: turn_to(satellite0,phenomenon105,phenomenon80) turn_to(satellite1,star91,star84) turn_to(satellite10,star99,planet90) turn_to(satellite11,star111,star82) turn_to(satellite12,star95,planet81) turn_to(satellite13,planet98,planet85) turn_to(satellite14,planet103,star101) turn_to(satellite2,planet94,phenomenon87) turn_to(satellite3,planet107,planet88) turn_to(satellite4,phenomenon31,star96) turn_to(satellite6,planet102,star93) turn_to(satellite7,phenomenon97,star89) turn_to(satellite8,star104,phenomenon92)
STEP 9.0: take_image(satellite0,phenomenon105,instrument1,infrared0) take_image(satellite1,star91,instrument4,spectrograph4) take_image(satellite10,star99,instrument24,thermograph2) take_image(satellite11,star111,instrument25,infrared0) take_image(satellite12,star95,instrument26,infrared1) take_image(satellite13,planet98,instrument28,thermograph2) take_image(satellite14,planet103,instrument29,image3) take_image(satellite2,planet94,instrument6,thermograph2) take_image(satellite3,planet107,instrument7,image3) take_image(satellite6,planet102,instrument14,infrared0) take_image(satellite7,phenomenon97,instrument17,spectrograph4) take_image(satellite8,star104,instrument19,thermograph2) turn_to(satellite4,planet110,phenomenon31) turn_to(satellite5,planet108,phenomenon148) turn_to(satellite9,star116,star0)
STEP 9.1: turn_to(satellite0,phenomenon113,phenomenon105) turn_to(satellite1,star106,star91) turn_to(satellite10,planet112,star99) turn_to(satellite11,star131,star111) turn_to(satellite12,planet108,star95) turn_to(satellite13,star117,planet98) turn_to(satellite14,star124,planet103) turn_to(satellite2,planet115,planet94) turn_to(satellite3,planet109,planet107) turn_to(satellite6,phenomenon114,planet102) turn_to(satellite7,phenomenon100,phenomenon97) turn_to(satellite8,planet110,star104)
STEP 10.0: take_image(satellite0,phenomenon113,instrument1,image3) take_image(satellite1,star106,instrument4,spectrograph4) take_image(satellite10,planet112,instrument24,spectrograph4) take_image(satellite11,star131,instrument25,infrared0) take_image(satellite12,planet108,instrument26,infrared1) take_image(satellite13,star117,instrument28,infrared0) take_image(satellite14,star124,instrument29,image3) take_image(satellite2,planet115,instrument6,infrared1) take_image(satellite3,planet109,instrument7,image3) take_image(satellite6,phenomenon114,instrument14,infrared0) take_image(satellite7,phenomenon100,instrument17,spectrograph4) take_image(satellite8,planet110,instrument19,image3) take_image(satellite9,star116,instrument22,spectrograph4) turn_to(satellite4,phenomenon31,planet110) turn_to(satellite5,phenomenon148,planet108)
STEP 10.1: turn_to(satellite0,star134,phenomenon113) turn_to(satellite1,star123,star106) turn_to(satellite10,phenomenon119,planet112) turn_to(satellite11,phenomenon132,star131) turn_to(satellite12,planet125,planet108) turn_to(satellite13,star128,star117) turn_to(satellite14,phenomenon133,star124) turn_to(satellite2,phenomenon137,planet115) turn_to(satellite3,phenomenon120,planet109) turn_to(satellite6,star136,phenomenon114) turn_to(satellite7,phenomenon121,phenomenon100) turn_to(satellite8,phenomenon122,planet110) turn_to(satellite9,star0,star116)
STEP 11.0: take_image(satellite0,star134,instrument1,image3) take_image(satellite1,star123,instrument4,spectrograph4) take_image(satellite10,phenomenon119,instrument24,thermograph2) take_image(satellite11,phenomenon132,instrument25,infrared1) take_image(satellite12,planet125,instrument26,spectrograph4) take_image(satellite13,star128,instrument28,thermograph2) take_image(satellite14,phenomenon133,instrument29,image3) take_image(satellite2,phenomenon137,instrument6,infrared1) take_image(satellite3,phenomenon120,instrument7,thermograph2) take_image(satellite6,star136,instrument14,thermograph2) take_image(satellite7,phenomenon121,instrument17,spectrograph4) take_image(satellite8,phenomenon122,instrument19,thermograph2) turn_to(satellite4,phenomenon149,phenomenon31) turn_to(satellite5,phenomenon143,phenomenon148) turn_to(satellite9,planet127,star0)
STEP 11.1: turn_to(satellite0,star144,star134) turn_to(satellite1,planet126,star123) turn_to(satellite10,star142,phenomenon119) turn_to(satellite11,planet139,phenomenon132) turn_to(satellite12,planet138,planet125) turn_to(satellite13,phenomenon140,star128) turn_to(satellite2,phenomenon143,phenomenon137) turn_to(satellite6,phenomenon145,star136) turn_to(satellite7,planet127,phenomenon121) turn_to(satellite8,phenomenon129,phenomenon122)
STEP 12.0: take_image(satellite0,star144,instrument1,thermograph2) take_image(satellite1,planet126,instrument4,spectrograph4) take_image(satellite10,star142,instrument24,spectrograph4) take_image(satellite11,planet139,instrument25,image3) take_image(satellite12,planet138,instrument26,spectrograph4) take_image(satellite13,phenomenon140,instrument28,infrared0) take_image(satellite2,phenomenon143,instrument6,infrared1) take_image(satellite4,phenomenon149,instrument11,infrared1) take_image(satellite6,phenomenon145,instrument14,infrared0) take_image(satellite7,planet127,instrument17,spectrograph4) take_image(satellite8,phenomenon129,instrument19,infrared0) turn_to(satellite5,phenomenon148,phenomenon143) turn_to(satellite9,star0,planet127)
STEP 12.1: turn_to(satellite1,planet151,planet126) turn_to(satellite10,phenomenon148,star142) turn_to(satellite11,phenomenon153,planet139) turn_to(satellite12,planet147,planet138) turn_to(satellite2,planet154,phenomenon143) turn_to(satellite4,phenomenon31,phenomenon149) turn_to(satellite6,phenomenon152,phenomenon145) turn_to(satellite8,star150,phenomenon129)
STEP 13: take_image(satellite1,planet151,instrument4,infrared0) take_image(satellite10,phenomenon148,instrument24,spectrograph4) take_image(satellite11,phenomenon153,instrument25,infrared1) take_image(satellite12,planet147,instrument26,spectrograph4) take_image(satellite2,planet154,instrument6,infrared1) take_image(satellite6,phenomenon152,instrument14,infrared0) take_image(satellite8,star150,instrument19,infrared0)
351 actions in the plan.
total time 53.09 preprocess 29.82
total size 6.558 GB
max. learned clause length 1818
t val conflicts decisions
0 0 0 0
5 -1 180 796
10 -1 120 738
15 1 0 1451