| 
						
					 | 
					
						
						
							
						
						b09c2b0eae
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-es | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:53:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						979666207d
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e4 | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:52:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5c5fff776b
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:51:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0b499bee12
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e3-t0 | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:50:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						97512ac9f3
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e3 | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:50:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						da0c06b73d
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e2 | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:48:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2519861407
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:44:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d939e78fa8
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:43:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						51edf142ea
	
				 
					 | 
					
						
						
							
							Add benchmark result [pa-e1-sh | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:42:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						176de0c2f9
	
				 
					 | 
					
						
						
							
							Add benchmark result [ps-e1-sh | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:41:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						11d87ef975
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:41:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7f9ce63080
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-es | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:40:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5b2409ba9e
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e4 | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:39:48 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4ba25762e8
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:39:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a33e6921f2
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:38:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e6368fb602
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:37:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c9a60dc7da
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e2 | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:37:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c1467f8fc5
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e1-sh | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:36:33 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b5a18cd816
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e0-sh | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:35:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ea7520b5ad
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pa-e1-sh | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:35:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						31181d53fe
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-ps-e1-sh | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:34:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						663ef1941b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:33:57 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ba4cd45b0d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:33:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3e6dfe595f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:32:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3f43e9036e
	
				 
					 | 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:32:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9d899cc790
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-es | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:25:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						225e0f55e9
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e4 | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:24:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						66a5d63fcb
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:23:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7c95a91a71
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e3-t0 | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:23:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						de4b517574
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e3 | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:22:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2c12c0b7c3
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e2 | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:21:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						99a449bef6
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:20:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						31f95573de
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:19:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						034e033ce2
	
				 
					 | 
					
						
						
							
							Add benchmark result [pa-e1-sh | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:18:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						22477fdb2e
	
				 
					 | 
					
						
						
							
							Add benchmark result [ps-e1-sh | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:17:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b62843033a
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:17:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						86ef7b2d8f
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-es | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:16:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						45fcbcf622
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e4 | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:15:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						95fb5971e9
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:15:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bf0c53deef
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:14:35 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f60b72fc59
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:13:57 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2e1ed94525
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e2 | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:13:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7f30f19f65
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e1-sh | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:12:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7423fa0961
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e0-sh | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:12:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5fc27a78e0
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pa-e1-sh | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:11:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						71e8a09791
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-ps-e1-sh | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:10:48 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						676fe6735c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:10:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9cef52f69e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:09:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b992da978b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:09:01 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4482e3cda7
	
				 
					 | 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2000 | blocks-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:08:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |