Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 2]
This commit is contained in:
		
							
								
								
									
										40
									
								
								pc-e1-sh/ipc-2002_driverlog-strips-automatic_2.env
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										40
									
								
								pc-e1-sh/ipc-2002_driverlog-strips-automatic_2.env
									
									
									
									
									
										Normal file
									
								
							@@ -0,0 +1,40 @@
 | 
			
		||||
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-2002/domains/driverlog-strips-automatic/domain.pddl
 | 
			
		||||
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/driverlog-strips-automatic/instances/instance-2.pddl
 | 
			
		||||
- --stats
 | 
			
		||||
- --verbose
 | 
			
		||||
- --print-call
 | 
			
		||||
- -C 1.41
 | 
			
		||||
- -F 5
 | 
			
		||||
- --parallel=1
 | 
			
		||||
- --shallow
 | 
			
		||||
configuration:
 | 
			
		||||
  id: pc-e1-sh
 | 
			
		||||
  instanceSets:
 | 
			
		||||
  - lnpmr-easy-instances
 | 
			
		||||
  options:
 | 
			
		||||
  - --stats
 | 
			
		||||
  - --verbose
 | 
			
		||||
  - --print-call
 | 
			
		||||
  - -C 1.41
 | 
			
		||||
  - -F 5
 | 
			
		||||
  - --parallel=1
 | 
			
		||||
  - --shallow
 | 
			
		||||
exitCode: 0
 | 
			
		||||
instance:
 | 
			
		||||
  domain: driverlog-strips-automatic
 | 
			
		||||
  instance: 2
 | 
			
		||||
  ipc: ipc-2002
 | 
			
		||||
versions:
 | 
			
		||||
  clingo: 5.2.2
 | 
			
		||||
  fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
 | 
			
		||||
  planner: 517f2c0422a36582df17ecebb08e879b170cdfe2 (2017-11-21 02:23:06 +0100)
 | 
			
		||||
  plasp: 3.1.0
 | 
			
		||||
  python: 3.6.3
 | 
			
		||||
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
 | 
			
		||||
 | 
			
		||||
							
								
								
									
										66
									
								
								pc-e1-sh/ipc-2002_driverlog-strips-automatic_2.err
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										66
									
								
								pc-e1-sh/ipc-2002_driverlog-strips-automatic_2.err
									
									
									
									
									
										Normal file
									
								
							@@ -0,0 +1,66 @@
 | 
			
		||||
# configuration: {'id': 'pc-e1-sh', 'options': ['--stats', '--verbose', '--print-call', '-C 1.41', '-F 5', '--parallel=1', '--shallow'], 'instanceSets': ['lnpmr-easy-instances']}
 | 
			
		||||
# instance: {'ipc': 'ipc-2002', 'domain': 'driverlog-strips-automatic', 'instance': 2}
 | 
			
		||||
# 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-2002/domains/driverlog-strips-automatic/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/driverlog-strips-automatic/instances/instance-2.pddl', '--stats', '--verbose', '--print-call', '-C 1.41', '-F 5', '--parallel=1', '--shallow']
 | 
			
		||||
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
 | 
			
		||||
# exit code: 0
 | 
			
		||||
<block>:62:38-46: info: operation undefined:
 | 
			
		||||
  (Loc-from)
 | 
			
		||||
 | 
			
		||||
<block>:63:44-52: info: operation undefined:
 | 
			
		||||
  (Loc-from)
 | 
			
		||||
 | 
			
		||||
<block>:64:44-52: info: operation undefined:
 | 
			
		||||
  (Loc-from)
 | 
			
		||||
 | 
			
		||||
<block>:65:44-52: info: operation undefined:
 | 
			
		||||
  (Loc-from)
 | 
			
		||||
 | 
			
		||||
<block>:66:45-53: info: operation undefined:
 | 
			
		||||
  (Loc-from)
 | 
			
		||||
 | 
			
		||||
<block>:67:45-53: info: operation undefined:
 | 
			
		||||
  (Loc-from)
 | 
			
		||||
 | 
			
		||||
<block>:69:32-40: info: operation undefined:
 | 
			
		||||
  (Loc-from)
 | 
			
		||||
 | 
			
		||||
<block>:70:38-46: info: operation undefined:
 | 
			
		||||
  (Loc-from)
 | 
			
		||||
 | 
			
		||||
<block>:71:38-46: info: operation undefined:
 | 
			
		||||
  (Loc-from)
 | 
			
		||||
 | 
			
		||||
<block>:72:39-47: info: operation undefined:
 | 
			
		||||
  (Loc-from)
 | 
			
		||||
 | 
			
		||||
<block>:73:39-47: info: operation undefined:
 | 
			
		||||
  (Loc-from)
 | 
			
		||||
 | 
			
		||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head:
 | 
			
		||||
  requires(feature(actionCosts))
 | 
			
		||||
 | 
			
		||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head:
 | 
			
		||||
  requires(feature(axiomRules))
 | 
			
		||||
 | 
			
		||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head:
 | 
			
		||||
  requires(feature(conditionalEffects))
 | 
			
		||||
 | 
			
		||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:15-28: info: atom does not occur in any rule head:
 | 
			
		||||
  mutexGroup(G)
 | 
			
		||||
 | 
			
		||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:30-45: info: atom does not occur in any rule head:
 | 
			
		||||
  contains(G,X,V)
 | 
			
		||||
 | 
			
		||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:67:15-28: info: atom does not occur in any rule head:
 | 
			
		||||
  mutexGroup(G)
 | 
			
		||||
 | 
			
		||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:74:41-56: info: atom does not occur in any rule head:
 | 
			
		||||
  contains(G,X,V)
 | 
			
		||||
 | 
			
		||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:84:41-56: info: atom does not occur in any rule head:
 | 
			
		||||
  contains(G,X,V)
 | 
			
		||||
 | 
			
		||||
# planner call: plasp-3.1.0 translate --parsing-mode=compatibility /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/driverlog-strips-automatic/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/driverlog-strips-automatic/instances/instance-2.pddl | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -C 1.41 -F 5  --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1   -c _shallow=1  -c _closure=3   -c _parallel=1 
 | 
			
		||||
FINISHED CPU 0.40 MEM 0 MAXMEM 78568 STALE 0 MAXMEM_RSS 24984
 | 
			
		||||
<time name="ALL">370</time>
 | 
			
		||||
 | 
			
		||||
							
								
								
									
										286
									
								
								pc-e1-sh/ipc-2002_driverlog-strips-automatic_2.out
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										286
									
								
								pc-e1-sh/ipc-2002_driverlog-strips-automatic_2.out
									
									
									
									
									
										Normal file
									
								
							
										
											
												File diff suppressed because one or more lines are too long
											
										
									
								
							
		Reference in New Issue
	
	Block a user