| 
						
					 | 
					
						
						
							
						
						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 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8a76f9582e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 29]
						
						
						
						
						
						
					 | 
					
						2017-11-22 17:09:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						52075ee2e9
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 26]
						
						
						
						
						
						
					 | 
					
						2017-11-22 14:48:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						87aba324fb
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 25]
						
						
						
						
						
						
					 | 
					
						2017-11-22 12:25:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1c00ad78ac
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 24]
						
						
						
						
						
						
					 | 
					
						2017-11-22 10:04:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5701f137fc
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 23]
						
						
						
						
						
						
					 | 
					
						2017-11-22 07:43:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						de9f76c6d6
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 22]
						
						
						
						
						
						
					 | 
					
						2017-11-22 05:31:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5e7182f017
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 21]
						
						
						
						
						
						
					 | 
					
						2017-11-22 03:42:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						61c59ede73
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 20]
						
						
						
						
						
						
					 | 
					
						2017-11-22 01:48:25 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ed37375423
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-22 00:08:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fcb279b07b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 18]
						
						
						
						
						
						
					 | 
					
						2017-11-21 23:21:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4c479e899a
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-21 22:29:44 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |