| 
						
					 | 
					
						
						
							
						
						d3ec1af391
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-23 21:26:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						113bf5915c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-23 20:53:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						aa350280e5
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 45]
						
						
						
						
						
						
					 | 
					
						2017-11-23 19:31:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3c90964c5e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 44]
						
						
						
						
						
						
					 | 
					
						2017-11-23 17:38:00 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ce04db0155
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 43]
						
						
						
						
						
						
					 | 
					
						2017-11-23 16:03:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a91ba06ef6
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 42]
						
						
						
						
						
						
					 | 
					
						2017-11-23 14:43:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1712d02aab
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 41]
						
						
						
						
						
						
					 | 
					
						2017-11-23 13:10:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						aca764b7cf
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 40]
						
						
						
						
						
						
					 | 
					
						2017-11-23 11:52:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						14e1d90f9f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 39]
						
						
						
						
						
						
					 | 
					
						2017-11-23 10:23:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7ac491405b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 38]
						
						
						
						
						
						
					 | 
					
						2017-11-23 09:21:00 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7cca6ef401
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 37]
						
						
						
						
						
						
					 | 
					
						2017-11-23 07:58:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5b7a22d2fd
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 36]
						
						
						
						
						
						
					 | 
					
						2017-11-23 06:53:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						63f48ce52e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 35]
						
						
						
						
						
						
					 | 
					
						2017-11-23 05:52:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ddf97ae707
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 34]
						
						
						
						
						
						
					 | 
					
						2017-11-23 05:09:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dc1ce4b700
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 33]
						
						
						
						
						
						
					 | 
					
						2017-11-23 04:14:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						eb82867e1d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 32]
						
						
						
						
						
						
					 | 
					
						2017-11-23 03:31:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cd0fbfd868
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-23 02:45:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9254563de6
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-23 02:06:25 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b76fc6b2b5
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 29]
						
						
						
						
						
						
					 | 
					
						2017-11-23 01:40:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c3c299892d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 28]
						
						
						
						
						
						
					 | 
					
						2017-11-23 01:04:13 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dd4001b75f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 27]
						
						
						
						
						
						
					 | 
					
						2017-11-23 00:38:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c9e522f4a5
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 26]
						
						
						
						
						
						
					 | 
					
						2017-11-23 00:10:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						abfcde0553
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 21:48:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						17c64452db
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 19:28:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b07a4e80fc
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 29]
						
						
						
						
						
						
					 | 
					
						2017-11-22 17:08:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						71a59be46f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 26]
						
						
						
						
						
						
					 | 
					
						2017-11-22 14:47:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8072ba2c81
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 25]
						
						
						
						
						
						
					 | 
					
						2017-11-22 12:24:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b5901a43fb
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 24]
						
						
						
						
						
						
					 | 
					
						2017-11-22 10:03:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9a78c275c1
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 23]
						
						
						
						
						
						
					 | 
					
						2017-11-22 07:42:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3420d688cb
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 22]
						
						
						
						
						
						
					 | 
					
						2017-11-22 05:30:35 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9646a8ddc6
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 21]
						
						
						
						
						
						
					 | 
					
						2017-11-22 03:41:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						892dbbb2b0
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 20]
						
						
						
						
						
						
					 | 
					
						2017-11-22 01:47:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						eaaac842a4
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-22 00:07:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4c43caea04
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 18]
						
						
						
						
						
						
					 | 
					
						2017-11-21 23:20:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7ead70a38f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-21 22:29:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						502c12131f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:31:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b143dd1d9c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:07:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ba4cd45b0d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:33:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9cef52f69e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:09:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d4c9f08b03
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-21 19:50:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f207c4c079
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-21 19:30:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0a39b2bc40
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | logistics-round-1-strips | 33]
						
						
						
						
						
						
					 | 
					
						2017-11-21 19:15:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						219c872d1b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | logistics-round-1-strips | 32]
						
						
						
						
						
						
					 | 
					
						2017-11-21 19:02:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0d9c5d7a73
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | logistics-round-1-strips | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-21 18:49:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						92e2339341
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | gripper-round-1-strips | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-21 16:13:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8486e2f8f0
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | gripper-round-1-strips | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-21 13:36:43 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ee317172ed
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | gripper-round-1-strips | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-21 11:07:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b97e2a9e5f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | gripper-round-1-strips | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-21 08:43:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4431eb615f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | gripper-round-1-strips | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-21 06:26:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5a6c39927c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | gripper-round-1-strips | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-21 04:38:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |