| 
						
					 | 
					
						
						
							
						
						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 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5776e9b0c8
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | blocks-strips-typed | 41]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:15:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						55a0dd92c1
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | blocks-strips-typed | 40]
						
						
						
						
						
						
					 | 
					
						2017-11-25 23:52:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						eebf40d35c
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | blocks-strips-typed | 39]
						
						
						
						
						
						
					 | 
					
						2017-11-25 23:32:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |