| 
						
					 | 
					
						
						
							
						
						8accebf414
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e3 | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 23:18:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d347719268
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e2 | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 23:02:39 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6cdc0ba28f
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 22:46:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dbf305b4ca
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 22:31:00 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						623565f8e7
	
				 
					 | 
					
						
						
							
							Add benchmark result [pa-e1-sh | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 22:30:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						295e75d839
	
				 
					 | 
					
						
						
							
							Add benchmark result [ps-e1-sh | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 22:14:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1b4cde3a3a
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 21:58:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3d9b889ee4
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-es | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 21:57:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						01d31010fd
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e4 | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 21:56:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3126e7c5dd
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 21:55:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ba78630a45
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 21:55:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						203a2b0169
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 21:54:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2d87536074
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e2 | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 21:53:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						105bddfd97
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e1-sh | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 21:52:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4022ee518e
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e0-sh | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 21:51:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6ba9dbdd80
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pa-e1-sh | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 21:50:44 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						87770d8fba
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-ps-e1-sh | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 21:49:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d35e1ba37d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 21:49:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						abfcde0553
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 21:48:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fc56a4ac7b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 21:47:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7f676ef2e9
	
				 
					 | 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 21:46:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						23368caaba
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-es | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 21:30:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						aa37bc954e
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e4 | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 21:15:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f9ad71aa44
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 20:59:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c7102eb498
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e3-t0 | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 20:58:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a2e570ee28
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e3 | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 20:57:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1441d49b47
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e2 | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 20:41:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						44a4e03eb3
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 20:25:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						76e28f7f30
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 20:10:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0d9226d347
	
				 
					 | 
					
						
						
							
							Add benchmark result [pa-e1-sh | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 20:09:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9793ff35b6
	
				 
					 | 
					
						
						
							
							Add benchmark result [ps-e1-sh | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 19:53:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9ea17f9dab
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 19:37:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c881c3e5a5
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-es | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 19:37:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						067249663c
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e4 | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 19:36:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9c7520b8ab
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 19:35:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0bf21857f0
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 19:34:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e19ea5586e
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 19:33:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c394f0b205
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e2 | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 19:32:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						96cec4d503
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e1-sh | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 19:32:01 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e100cee025
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e0-sh | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 19:31:13 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a0a9c5ec41
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pa-e1-sh | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 19:30:25 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c25b3247fd
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-ps-e1-sh | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 19:29:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c4d4489a49
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 19:28:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						17c64452db
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 19:28:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						865767d78d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 19:27:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a8fc6e8b4f
	
				 
					 | 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2000 | blocks-strips-typed | 29]
						
						
						
						
						
						
					 | 
					
						2017-11-22 19:26:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						99638ce597
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-es | ipc-2000 | blocks-strips-typed | 29]
						
						
						
						
						
						
					 | 
					
						2017-11-22 19:10:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						be4cb903f6
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e4 | ipc-2000 | blocks-strips-typed | 29]
						
						
						
						
						
						
					 | 
					
						2017-11-22 18:55:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c1465d8c7f
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 29]
						
						
						
						
						
						
					 | 
					
						2017-11-22 18:39:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fdd0a541db
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e3-t0 | ipc-2000 | blocks-strips-typed | 29]
						
						
						
						
						
						
					 | 
					
						2017-11-22 18:37:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |