| 
						
					 | 
					
						
						
							
						
						4ed6dd2e4e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 77]
						
						
						
						
						
						
					 | 
					
						2017-11-28 23:28:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fad9140ad8
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 76]
						
						
						
						
						
						
					 | 
					
						2017-11-28 23:13:00 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						96122153ee
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 75]
						
						
						
						
						
						
					 | 
					
						2017-11-28 22:57:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d9da1148d5
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 74]
						
						
						
						
						
						
					 | 
					
						2017-11-28 22:42:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						957d6a8c97
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 73]
						
						
						
						
						
						
					 | 
					
						2017-11-28 22:27:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						763e69b436
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 72]
						
						
						
						
						
						
					 | 
					
						2017-11-28 22:11:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a6beb8fbb9
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 71]
						
						
						
						
						
						
					 | 
					
						2017-11-28 21:56:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f55f6a3d60
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 70]
						
						
						
						
						
						
					 | 
					
						2017-11-28 21:41:13 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						87da612020
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 69]
						
						
						
						
						
						
					 | 
					
						2017-11-28 21:25:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c4c5ed2ef0
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 68]
						
						
						
						
						
						
					 | 
					
						2017-11-28 21:23:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2fb8572f75
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 67]
						
						
						
						
						
						
					 | 
					
						2017-11-28 21:07:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d3d00b2627
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 66]
						
						
						
						
						
						
					 | 
					
						2017-11-28 20:52:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8f39274295
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 65]
						
						
						
						
						
						
					 | 
					
						2017-11-28 20:37:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						63f8138d64
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 64]
						
						
						
						
						
						
					 | 
					
						2017-11-28 20:28:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ce5d03fad5
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 63]
						
						
						
						
						
						
					 | 
					
						2017-11-28 20:23:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c70bbbe137
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 62]
						
						
						
						
						
						
					 | 
					
						2017-11-28 20:07:57 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						791ae480db
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 61]
						
						
						
						
						
						
					 | 
					
						2017-11-28 19:52:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3d673dcad0
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 60]
						
						
						
						
						
						
					 | 
					
						2017-11-28 19:52:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fca8ec9d53
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 59]
						
						
						
						
						
						
					 | 
					
						2017-11-28 19:47:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d0b44ab73e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 58]
						
						
						
						
						
						
					 | 
					
						2017-11-28 19:47:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fa511c4c4c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 57]
						
						
						
						
						
						
					 | 
					
						2017-11-28 19:32:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						22bbacd04a
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 56]
						
						
						
						
						
						
					 | 
					
						2017-11-28 19:16:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						90028ba1fa
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 55]
						
						
						
						
						
						
					 | 
					
						2017-11-28 19:15:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						aa1cd1c8c3
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 54]
						
						
						
						
						
						
					 | 
					
						2017-11-28 19:14:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ad3f7feab0
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 53]
						
						
						
						
						
						
					 | 
					
						2017-11-28 19:14:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c307077890
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 52]
						
						
						
						
						
						
					 | 
					
						2017-11-28 19:13:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						74b9e09747
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 51]
						
						
						
						
						
						
					 | 
					
						2017-11-28 19:12:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8a97d8f7fc
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 50]
						
						
						
						
						
						
					 | 
					
						2017-11-28 19:04:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						437a6a31a5
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 49]
						
						
						
						
						
						
					 | 
					
						2017-11-28 19:04:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bed4b4666d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 48]
						
						
						
						
						
						
					 | 
					
						2017-11-28 19:02:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e552506f8e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 47]
						
						
						
						
						
						
					 | 
					
						2017-11-28 18:47:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1a77921c3f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 46]
						
						
						
						
						
						
					 | 
					
						2017-11-28 18:47:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						555f41a926
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 45]
						
						
						
						
						
						
					 | 
					
						2017-11-28 18:46:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e672138c37
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 44]
						
						
						
						
						
						
					 | 
					
						2017-11-28 18:45:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8a41eb59af
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 43]
						
						
						
						
						
						
					 | 
					
						2017-11-28 18:45:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bf921aaa0f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-28 18:45:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8f75a620c7
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-28 18:45:00 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						496129d4ea
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-28 18:44:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cf55c7f8d2
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-28 18:44:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e84cb7d6b8
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-28 18:44:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5fd212d2b2
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-28 18:43:57 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c03df1ca25
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-28 18:43:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5ee05fcee4
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-28 18:43:25 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						27a931c071
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-28 18:43:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d930d89523
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-28 18:42:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d09c84e224
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 18]
						
						
						
						
						
						
					 | 
					
						2017-11-28 18:42:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						37d9e80b79
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-28 18:27:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b5ffd79e6e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-28 18:12:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3792728935
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-28 18:10:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						88da8af89b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-28 17:55:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |