3bd489abae
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2002 | depots-strips-automatic | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-30 04:11:56 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						584036a344
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2002 | depots-strips-automatic | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-30 03:36:31 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						fef5f1929f
	 
				 
					 
					
						
						
							
							Remove planner results with memouts  
						
						 
						
						... 
						
						
						
						This removes all results obtained with our planner where memouts were
encountered. These were mainly due to the fact that we didn’t configure
the planner to respect the memory limit in the first place. With this
configuration now in place, we can redo all the affected measurements in
order to get actual, useful results. 
						
						
					 
					
						2017-11-29 18:40:52 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						bf1e5f4f76
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-26 18:35:26 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						db035d3013
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-26 17:43:06 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						0f63d0fb80
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-26 17:15:27 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						cc686f6ed0
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-26 16:47:02 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						0f039df8d2
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-26 16:28:38 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f16c5af325
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-26 16:23:12 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						46379ac6e0
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-26 16:09:08 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						0d3a3fdc06
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-26 16:05:42 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						93572dd373
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-26 16:02:24 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						1103f34b2f
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2002 | depots-strips-automatic | 20]  
						
						 
						
						
						
						
					 
					
						2017-11-26 15:44:41 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ddd7978c80
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2002 | depots-strips-automatic | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-26 14:09:44 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						55e5dce7c9
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2002 | depots-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-26 13:33:02 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9ac745c678
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2002 | depots-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-26 12:48:24 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						c2f4343dfa
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2002 | depots-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-26 11:13:08 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						da7f4dabcd
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2002 | depots-strips-automatic | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-26 10:36:24 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						0ea6fb5022
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2002 | depots-strips-automatic | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-26 08:48:07 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						5fde863d3b
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-26 07:25:40 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e94497fb98
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-26 07:02:14 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ac0c48d894
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-26 06:40:33 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b44619608d
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-26 06:21:36 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e85542cfc9
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-26 05:52:22 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						a41aa3419f
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-26 05:27:06 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						28ed772e47
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-26 05:05:36 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						77be74790f
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-26 04:48:07 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f703fa8074
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 8]  
						
						 
						
						
						
						
					 
					
						2017-11-26 04:30:47 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f9e03c3119
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-26 04:13:19 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						5b65343971
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 6]  
						
						 
						
						
						
						
					 
					
						2017-11-26 03:55:48 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						572370489a
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 5]  
						
						 
						
						
						
						
					 
					
						2017-11-26 03:38:25 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						cee33d0264
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 4]  
						
						 
						
						
						
						
					 
					
						2017-11-26 03:23:54 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						85afa84c1e
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 3]  
						
						 
						
						
						
						
					 
					
						2017-11-26 03:06:18 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						64155342aa
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 2]  
						
						 
						
						
						
						
					 
					
						2017-11-26 02:52:27 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						7eab60c0aa
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 1]  
						
						 
						
						
						
						
					 
					
						2017-11-26 02:38:05 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b15419ffdb
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 59]  
						
						 
						
						
						
						
					 
					
						2017-11-26 02:25:00 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						837facf6f3
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 58]  
						
						 
						
						
						
						
					 
					
						2017-11-26 02:19:41 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f5f13f40a2
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 57]  
						
						 
						
						
						
						
					 
					
						2017-11-26 02:06:16 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						902da46a4e
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 56]  
						
						 
						
						
						
						
					 
					
						2017-11-26 01:44:52 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						42352e76e8
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 55]  
						
						 
						
						
						
						
					 
					
						2017-11-26 01:38:24 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ef28a52862
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 54]  
						
						 
						
						
						
						
					 
					
						2017-11-26 01:33:34 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						bea2bd8a1e
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 53]  
						
						 
						
						
						
						
					 
					
						2017-11-26 01:18:22 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e90bcde13f
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 52]  
						
						 
						
						
						
						
					 
					
						2017-11-26 01:08:49 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						0d044e0ead
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 51]  
						
						 
						
						
						
						
					 
					
						2017-11-26 01:04:36 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9aff3dac81
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 50]  
						
						 
						
						
						
						
					 
					
						2017-11-26 01:00:07 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						c616d1eb06
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 49]  
						
						 
						
						
						
						
					 
					
						2017-11-26 00:56:00 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						09042448f8
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 48]  
						
						 
						
						
						
						
					 
					
						2017-11-26 00:52:01 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f11b7b73f7
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 47]  
						
						 
						
						
						
						
					 
					
						2017-11-26 00:48:05 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b856c99b85
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 46]  
						
						 
						
						
						
						
					 
					
						2017-11-26 00:44:05 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b50f8f5c6c
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | blocks-strips-typed | 42]  
						
						 
						
						
						
						
					 
					
						2017-11-26 00:25:14 +01:00