| 
						
					 | 
					
						
						
							
						
						38630e234c
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-26 10:51:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6d23eb57ae
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 09:03:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1409653df1
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-26 07:27:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						98ba0a088d
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-26 07:04:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3b9be814ab
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-26 06:42:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e21800c136
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-26 06:23:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						afff2e20c3
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-26 05:54:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b2b898736d
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-26 05:29:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2dbfce0a82
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-26 05:07:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						50562ef198
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:50:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a9d858e194
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:33:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2fa9e5826a
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:15:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cf5a47093f
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-26 03:58:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						62efc98b58
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-26 03:40:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						33caa2856c
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-26 03:26:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dcf44b1111
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-26 03:08:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2eb7847845
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-26 02:54:39 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						667019f37a
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-26 02:40:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8ee8cd4dfb
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 59]
						
						
						
						
						
						
					 | 
					
						2017-11-26 02:25:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8655232b95
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 58]
						
						
						
						
						
						
					 | 
					
						2017-11-26 02:20:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fcb701e036
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 57]
						
						
						
						
						
						
					 | 
					
						2017-11-26 02:07:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0e99ee40be
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 56]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:46:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bf6ba690be
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 55]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:38:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f719ee0c39
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 54]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:34:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						aed60beda4
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 53]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:19:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9d59fa38ff
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 52]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:09:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7811a626cd
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 51]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:05:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						443e86b219
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 50]
						
						
						
						
						
						
					 | 
					
						2017-11-26 01:00:25 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2ad0ac81ee
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 49]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:56:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a598c0ce12
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 48]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:52:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9065c2a6d0
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 47]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:48:25 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c274b07cd9
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 46]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:44:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6cd6504908
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 42]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:40:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e43abeddf0
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 41]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:17:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8c028b54eb
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 40]
						
						
						
						
						
						
					 | 
					
						2017-11-26 00:08:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a8718f8d30
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 39]
						
						
						
						
						
						
					 | 
					
						2017-11-25 23:47:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a0cb190dbd
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 38]
						
						
						
						
						
						
					 | 
					
						2017-11-25 23:25:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						51bd6096e9
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 37]
						
						
						
						
						
						
					 | 
					
						2017-11-25 23:04:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a58539f1b4
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 36]
						
						
						
						
						
						
					 | 
					
						2017-11-25 22:44:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4a7bb1f66b
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 35]
						
						
						
						
						
						
					 | 
					
						2017-11-25 22:36:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						22f0ca421c
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 34]
						
						
						
						
						
						
					 | 
					
						2017-11-25 22:20:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a1433aebd0
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 33]
						
						
						
						
						
						
					 | 
					
						2017-11-25 22:14:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						322919f88d
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 32]
						
						
						
						
						
						
					 | 
					
						2017-11-25 22:01:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c9fe9348f0
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 28]
						
						
						
						
						
						
					 | 
					
						2017-11-25 21:41:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						98283192c6
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 27]
						
						
						
						
						
						
					 | 
					
						2017-11-25 21:36:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d640d93be4
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-25 21:31:48 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d4e3497216
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 29]
						
						
						
						
						
						
					 | 
					
						2017-11-25 21:20:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f6466c1a10
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 27]
						
						
						
						
						
						
					 | 
					
						2017-11-25 21:15:00 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3e02f9ebcf
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 26]
						
						
						
						
						
						
					 | 
					
						2017-11-25 21:09:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e939ee47f7
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 20]
						
						
						
						
						
						
					 | 
					
						2017-11-25 21:03:00 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |