| 
						
					 | 
					
						
						
							
						
						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 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						eca68cc3f8
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-es | ipc-2000 | blocks-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:05:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						053253fd6b
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e4 | ipc-2000 | blocks-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:04:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6f50a090f0
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:04:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4bb5305a0d
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e3-t0 | ipc-2000 | blocks-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:03:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						19c65c2f15
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e3 | ipc-2000 | blocks-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:02:48 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3098d7fd61
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e2 | ipc-2000 | blocks-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:01:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a88b2e065b
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh | ipc-2000 | blocks-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:00:43 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bc4dcbbe15
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:00:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3e0b8c9884
	
				 
					 | 
					
						
						
							
							Add benchmark result [pa-e1-sh | ipc-2000 | blocks-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-21 19:59:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1239d38e01
	
				 
					 | 
					
						
						
							
							Add benchmark result [ps-e1-sh | ipc-2000 | blocks-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-21 19:58:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6d85429bef
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | blocks-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-21 19:58:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |