| 
						
					 | 
					
						
						
							
						
						7d30e4e580
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | driverlog-strips-automatic | 18]
						
						
						
						
						
						
					 | 
					
						2017-11-26 17:43:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4927682c3c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | driverlog-strips-automatic | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-26 16:09:44 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						841f14e2a7
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | depots-strips-automatic | 20]
						
						
						
						
						
						
					 | 
					
						2017-11-26 14:25:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4fbbc31f8b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | depots-strips-automatic | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-26 13:48:48 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f68f8b31c6
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | depots-strips-automatic | 18]
						
						
						
						
						
						
					 | 
					
						2017-11-26 13:04:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						41ab7e067b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | depots-strips-automatic | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-26 11:22:25 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e523319949
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | depots-strips-automatic | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-26 10:52:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						721b539bbe
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | depots-strips-automatic | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-26 09:04:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						880182dcfa
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2002 | depots-strips-automatic | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 07:28:57 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e4ae69b39a
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | freecell-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-26 07:06:35 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						161b6a4ea7
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | freecell-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-26 06:44:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						693bb8bc48
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | freecell-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-26 06:24:33 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b922100f50
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | freecell-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-26 05:56:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2d8f6743e1
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | freecell-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-26 05:30:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7d507c2bba
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | freecell-strips-typed | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-26 05:09:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cdf20bae90
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:51:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						76d83656c1
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:33:48 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						658c4e4418
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:16:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e9c3cad16c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | freecell-strips-typed | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-26 03:58:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7593080476
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | freecell-strips-typed | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-26 03:41:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6b8e110137
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | freecell-strips-typed | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-26 03:26:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						642bb47e61
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | freecell-strips-typed | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-26 03:09:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						19c08f29d1
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | freecell-strips-typed | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-26 02:55:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c5e519dfc8
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | freecell-strips-typed | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-26 02:40:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6663ff7bc3
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | freecell-strips-typed | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-26 02:26:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						61b9bf5796
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 59]
						
						
						
						
						
						
					 | 
					
						2017-11-26 02:21:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						36dad77f40
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 58]
						
						
						
						
						
						
					 | 
					
						2017-11-26 02:07:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						000b7d66b3
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 57]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:47:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						817c90b8de
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 56]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:39:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						64521d6eda
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 55]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:34:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						98d4499ef2
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 54]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:19:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9e2036ce54
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 53]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:09:44 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a306780e66
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 52]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:05:39 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6c5b509a88
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 51]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:01:00 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2ffede2ce3
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 50]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:56:59 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6778f054fd
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 49]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:52:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						681ac71608
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 48]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:48:59 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						85d221a1b4
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 47]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:45:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						37d2c582da
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | elevator-strips-simple-typed | 46]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:40:59 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2e7788f57f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 42]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:18:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						38e7301ba8
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 41]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:08:44 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						636fbc4f07
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 40]
						
						
						
						
						
						
					 | 
					
						2017-11-25 23:48:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8075c1c2ba
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 39]
						
						
						
						
						
						
					 | 
					
						2017-11-25 23:26:35 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bfe8b7ee2c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 38]
						
						
						
						
						
						
					 | 
					
						2017-11-25 23:05:35 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0a1e9d7cde
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 37]
						
						
						
						
						
						
					 | 
					
						2017-11-25 22:45:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cf20d01d03
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 36]
						
						
						
						
						
						
					 | 
					
						2017-11-25 22:37:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fdc727204e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 35]
						
						
						
						
						
						
					 | 
					
						2017-11-25 22:21:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						62d22ec663
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 34]
						
						
						
						
						
						
					 | 
					
						2017-11-25 22:14:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						89e48ca0e7
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 33]
						
						
						
						
						
						
					 | 
					
						2017-11-25 22:02:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						64d6749d06
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 32]
						
						
						
						
						
						
					 | 
					
						2017-11-25 21:42:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |