| 
						
					 | 
					
						
						
							
						
						0e3af051f7
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-1998 | gripper-round-1-strips | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-24 18:56:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						629e8baae1
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-1998 | gripper-round-1-strips | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-24 18:03:33 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e37087a42c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-1998 | grid-round-2-strips | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-24 17:43:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b24ae10a9e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-1998 | grid-round-2-strips | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-24 17:35:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dc6ccde14e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | driverlog-strips-automatic | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-24 17:31:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a860590fb4
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | driverlog-strips-automatic | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-24 17:28:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9f48c4e8f0
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | driverlog-strips-automatic | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-24 17:08:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						919f81817e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | driverlog-strips-automatic | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-24 17:05:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ec67238584
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | driverlog-strips-automatic | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-24 17:02:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c779d811eb
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | driverlog-strips-automatic | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-24 16:59:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e74fd6afa9
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | driverlog-strips-automatic | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-24 16:56:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						64b4af8b21
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | driverlog-strips-automatic | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-24 16:53:13 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						653050a40b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | driverlog-strips-automatic | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-24 16:50:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9864ae0693
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | driverlog-strips-automatic | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-24 16:47:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6832696d13
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | driverlog-strips-automatic | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-24 14:23:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						68f97444fc
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | driverlog-strips-automatic | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-24 13:48:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						01ca72cab3
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | driverlog-strips-automatic | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-24 13:14:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						269466f5f5
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | depots-strips-automatic | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-24 11:48:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1abd18b3cb
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | depots-strips-automatic | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-24 10:45:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ae2efa18d5
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | depots-strips-automatic | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-24 10:08:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						88595928e0
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | depots-strips-automatic | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-24 07:08:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						376ae75e6a
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | depots-strips-automatic | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-24 06:26:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9ab9b03186
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | depots-strips-automatic | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-24 05:04:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5993bb0d35
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | depots-strips-automatic | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-24 04:33:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c72da53454
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | depots-strips-automatic | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-24 01:23:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c4097eb224
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | depots-strips-automatic | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-23 22:38:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ab4f6a91f7
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | depots-strips-automatic | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-23 21:27:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						57d5efc24b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | depots-strips-automatic | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-23 20:54:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fe131347f6
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 45]
						
						
						
						
						
						
					 | 
					
						2017-11-23 19:33:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2912dbc654
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 44]
						
						
						
						
						
						
					 | 
					
						2017-11-23 17:42:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						82dec5de04
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 43]
						
						
						
						
						
						
					 | 
					
						2017-11-23 16:04:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						11c07a2550
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 42]
						
						
						
						
						
						
					 | 
					
						2017-11-23 14:44:35 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0d0d48dd6c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 41]
						
						
						
						
						
						
					 | 
					
						2017-11-23 13:11:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						262160318c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 40]
						
						
						
						
						
						
					 | 
					
						2017-11-23 11:53:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						80b95be674
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 39]
						
						
						
						
						
						
					 | 
					
						2017-11-23 10:24:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						570faa5950
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 38]
						
						
						
						
						
						
					 | 
					
						2017-11-23 09:22:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a78ba59bc0
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 37]
						
						
						
						
						
						
					 | 
					
						2017-11-23 07:59:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a9093081e8
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 36]
						
						
						
						
						
						
					 | 
					
						2017-11-23 06:54:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ccc88ef93a
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 35]
						
						
						
						
						
						
					 | 
					
						2017-11-23 05:53:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						50fbf2c937
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 34]
						
						
						
						
						
						
					 | 
					
						2017-11-23 05:10:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c2eccfc81c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 33]
						
						
						
						
						
						
					 | 
					
						2017-11-23 04:15:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						71ef2250aa
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 32]
						
						
						
						
						
						
					 | 
					
						2017-11-23 03:32:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						34ad26a5db
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-23 02:46:01 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						aa312d9e50
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-23 02:07:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9149415c9b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 29]
						
						
						
						
						
						
					 | 
					
						2017-11-23 01:41:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						82a31eeb04
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 28]
						
						
						
						
						
						
					 | 
					
						2017-11-23 01:05:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ced1bb55ee
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 27]
						
						
						
						
						
						
					 | 
					
						2017-11-23 00:39:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						776bc49157
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 26]
						
						
						
						
						
						
					 | 
					
						2017-11-23 00:11:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d35e1ba37d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 21:49:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c4d4489a49
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 19:28:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |