| 
						
					 | 
					
						
						
							
						
						eaaeaa0f17
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2018-01-31 20:18:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						21e20a1d81
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2018-01-31 20:18:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8cd5a479ce
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2018-01-31 20:18:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7bbf37e815
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 11]
						
						
						
						
						
						
					 | 
					
						2018-01-31 20:18:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dede6dc569
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2018-01-31 20:18:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b7fa3ee590
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2018-01-31 20:17:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						12c9dbac7c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2018-01-31 20:17:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4df3250b3b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 7]
						
						
						
						
						
						
					 | 
					
						2018-01-31 20:17:35 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a4bccff8fd
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 6]
						
						
						
						
						
						
					 | 
					
						2018-01-31 20:17:25 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e44d372b99
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 5]
						
						
						
						
						
						
					 | 
					
						2018-01-31 20:17:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ba68731361
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 4]
						
						
						
						
						
						
					 | 
					
						2018-01-31 20:17:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6410aa9ffc
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 3]
						
						
						
						
						
						
					 | 
					
						2018-01-31 20:16:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1f5735b591
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 2]
						
						
						
						
						
						
					 | 
					
						2018-01-31 20:16:44 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4133c10668
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 1]
						
						
						
						
						
						
					 | 
					
						2018-01-31 20:16:33 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ddcecbae64
	
				 
					 | 
					
						
						
							
							Initial commit
						
						
						
						
						
						
					 | 
					
						2018-01-31 18:39:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |