| 
						
					 | 
					
						
						
							
						
						1d8377a24d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2002 | depots-strips-automatic | 18]
						
						
						
						
						
						
					 | 
					
						2017-11-26 13:04:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a4d81c7677
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2002 | depots-strips-automatic | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-26 11:22:01 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b13a58c521
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2002 | depots-strips-automatic | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-26 10:51:48 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6049bc16e9
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2002 | depots-strips-automatic | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-26 09:04:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b7c714a0e5
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2002 | depots-strips-automatic | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 07:28:33 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1e6fcbf052
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | freecell-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-26 07:06:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8c4b085e02
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | freecell-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-26 06:44:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						39a14b76f7
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | freecell-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-26 06:24:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0add45ec29
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | freecell-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-26 05:55:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						741960d4f9
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | freecell-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-26 05:29:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						69f6ff429e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | freecell-strips-typed | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-26 05:08:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4baf19729e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:50:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e8225dbc63
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:33:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ebf9496409
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:15:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e6fcc34db7
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | freecell-strips-typed | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-26 03:58:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1368d75cc2
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | freecell-strips-typed | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-26 03:40:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ba85a303f1
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | freecell-strips-typed | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-26 03:26:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7d35bbe3e8
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | freecell-strips-typed | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-26 03:08:44 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d61c33d308
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | freecell-strips-typed | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-26 02:54:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						663ddc4b00
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | freecell-strips-typed | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-26 02:40:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ce5a7728c7
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | freecell-strips-typed | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-26 02:26:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d2c4bbdc9d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | elevator-strips-simple-typed | 59]
						
						
						
						
						
						
					 | 
					
						2017-11-26 02:20:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						279bd75831
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | elevator-strips-simple-typed | 58]
						
						
						
						
						
						
					 | 
					
						2017-11-26 02:07:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ad90891b4f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | elevator-strips-simple-typed | 57]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:47:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a586776fdf
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | elevator-strips-simple-typed | 56]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:38:57 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						95a62a63a2
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | elevator-strips-simple-typed | 55]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:34:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						71bce43de2
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | elevator-strips-simple-typed | 54]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:19:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5248053b74
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | elevator-strips-simple-typed | 53]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:09:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d0b1f414f8
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | elevator-strips-simple-typed | 52]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:05:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9bde207fe7
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | elevator-strips-simple-typed | 51]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:00:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2b0acd2f40
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | elevator-strips-simple-typed | 50]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:56:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b18ebe8fc7
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | elevator-strips-simple-typed | 49]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:52:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7fc3741c46
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | elevator-strips-simple-typed | 48]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:48:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						92151b6d67
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | elevator-strips-simple-typed | 47]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:44:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8f3da265c1
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | elevator-strips-simple-typed | 46]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:40:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6d009c4a35
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | blocks-strips-typed | 42]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:18:00 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						636e5d53d2
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | blocks-strips-typed | 41]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:08:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9101506b8f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | blocks-strips-typed | 40]
						
						
						
						
						
						
					 | 
					
						2017-11-25 23:47:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						079b1e8d07
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | blocks-strips-typed | 39]
						
						
						
						
						
						
					 | 
					
						2017-11-25 23:26:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dfc1c84731
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | blocks-strips-typed | 38]
						
						
						
						
						
						
					 | 
					
						2017-11-25 23:05:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3fcfc94fd0
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | blocks-strips-typed | 37]
						
						
						
						
						
						
					 | 
					
						2017-11-25 22:44:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d0f55a02cb
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | blocks-strips-typed | 36]
						
						
						
						
						
						
					 | 
					
						2017-11-25 22:36:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b00673c01d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | blocks-strips-typed | 35]
						
						
						
						
						
						
					 | 
					
						2017-11-25 22:20:35 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c451282be1
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | blocks-strips-typed | 34]
						
						
						
						
						
						
					 | 
					
						2017-11-25 22:14:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2fcbf1e0c3
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | blocks-strips-typed | 33]
						
						
						
						
						
						
					 | 
					
						2017-11-25 22:01:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						10aef03272
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | blocks-strips-typed | 32]
						
						
						
						
						
						
					 | 
					
						2017-11-25 21:42:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e2d490099c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | blocks-strips-typed | 28]
						
						
						
						
						
						
					 | 
					
						2017-11-25 21:36:59 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5e4b22f78c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | blocks-strips-typed | 27]
						
						
						
						
						
						
					 | 
					
						2017-11-25 21:32:00 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5c06a9d173
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-1998 | mystery-round-1-strips | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-25 21:20:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						22e4628ed0
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-1998 | mystery-round-1-strips | 29]
						
						
						
						
						
						
					 | 
					
						2017-11-25 21:15:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |