| 
						
					 | 
					
						
						
							
						
						179f79111c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 18]
						
						
						
						
						
						
					 | 
					
						2017-11-26 17:43:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						14ffb50a2a
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-26 16:09:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						257c1fd48d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 20]
						
						
						
						
						
						
					 | 
					
						2017-11-26 14:25:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bccca999b0
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-26 13:48:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8d1e343201
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 18]
						
						
						
						
						
						
					 | 
					
						2017-11-26 13:04:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						40e9bfe980
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-26 11:22:13 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						205dc35faf
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-26 10:52:00 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e8c2158dbb
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-26 09:04:43 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						46014204ee
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 07:28:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3b6035a986
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-26 07:06:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e905ad00ed
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-26 06:44:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d4057df053
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-26 06:24:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						603b0e657f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-26 05:56:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6234653e20
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-26 05:29:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						945bd0c901
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-26 05:09:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b0d35ca16f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:50:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f0243ae710
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:33:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						98e7f57675
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:16:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						260b338d58
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-26 03:58:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						42495d83b8
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-26 03:41:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9f41c33473
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-26 03:26:35 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6beb104b58
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-26 03:08:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3f77dec4f1
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-26 02:55:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f8f9717620
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-26 02:40:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1df67f08a2
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-26 02:26:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						382d61ceb2
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 59]
						
						
						
						
						
						
					 | 
					
						2017-11-26 02:21:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						559cd2f662
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 58]
						
						
						
						
						
						
					 | 
					
						2017-11-26 02:07:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0b6f5c0fa4
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 57]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:47:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						51b2e037dc
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 56]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:39:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						de195ce52a
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 55]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:34:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fec800e36b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 54]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:19:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dc497c083e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 53]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:09:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0e83248b79
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 52]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:05:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						20fca5dbc1
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 51]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:00:48 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0160f926e9
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 50]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:56:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f63658ec56
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 49]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:52:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6f3f9c4de7
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 48]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:48:48 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						92e405eb49
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 47]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:44:57 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						78a570c425
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | elevator-strips-simple-typed | 46]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:40:48 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						eed7b3f51c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 42]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:18:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						28a0366122
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 41]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:08:33 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ddc7fe4398
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 40]
						
						
						
						
						
						
					 | 
					
						2017-11-25 23:47:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						96ee925af5
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 39]
						
						
						
						
						
						
					 | 
					
						2017-11-25 23:26:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						76dd14a6b4
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 38]
						
						
						
						
						
						
					 | 
					
						2017-11-25 23:05:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						55a0abe2f3
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 37]
						
						
						
						
						
						
					 | 
					
						2017-11-25 22:44:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7e61f56abf
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 36]
						
						
						
						
						
						
					 | 
					
						2017-11-25 22:36:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0ee546e155
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 35]
						
						
						
						
						
						
					 | 
					
						2017-11-25 22:20:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6789c2c654
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 34]
						
						
						
						
						
						
					 | 
					
						2017-11-25 22:14:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4dbc17c936
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 33]
						
						
						
						
						
						
					 | 
					
						2017-11-25 22:01:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						78ce28cb6f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 32]
						
						
						
						
						
						
					 | 
					
						2017-11-25 21:42:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |