| 
						
					 | 
					
						
						
							
						
						7d507c2bba
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | freecell-strips-typed | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-26 05:09:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						945bd0c901
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-26 05:09:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						69f6ff429e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | freecell-strips-typed | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-26 05:08:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2dbfce0a82
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-26 05:07:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						28ed772e47
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-26 05:05:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b56091087e
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-es | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-26 05:05:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e68c9a7609
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e4 | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-26 05:04:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9aed0e9b72
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-26 05:01:35 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dfa836d0bb
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-26 05:01:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cbc645b405
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:58:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						91011bde60
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e2 | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:55:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ff68217269
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e1-sh | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:52:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8d8dd0b30d
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e0-sh | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:52:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1ec44ca937
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pa-e1-sh | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:51:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9ac5fb76cd
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-ps-e1-sh | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:51:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cdf20bae90
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:51:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b0d35ca16f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:50:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4baf19729e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:50:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						50562ef198
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:50:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						77be74790f
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:48:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						010c87696b
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-es | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:47:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						69b79d95f8
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e4 | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:47:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b5ce757caf
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:44:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e3de555f95
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:43:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1dfdd73ceb
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:41:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						377c65b517
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e2 | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:38:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5a4b9a15bd
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e1-sh | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:35:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						72ea84c826
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e0-sh | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:35:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6d59c4fdf0
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pa-e1-sh | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:34:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3cf9d55041
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-ps-e1-sh | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:34:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						76d83656c1
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:33:48 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f0243ae710
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:33:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e8225dbc63
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:33:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a9d858e194
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:33:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f703fa8074
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:30:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c79e675541
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-es | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:30:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6f226dea6e
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e4 | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:29:33 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						911744cfe7
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:26:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0701ee1e37
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:26:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						40f69e08b2
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:23:33 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a6d0f0e9eb
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e2 | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:20:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7f328a8ca9
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e1-sh | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:18:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						99d906f405
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e0-sh | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:17:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f3030a22f3
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pa-e1-sh | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:17:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2c93003cbf
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-ps-e1-sh | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:16:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						658c4e4418
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:16:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						98e7f57675
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:16:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ebf9496409
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:15:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2fa9e5826a
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:15:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f9e03c3119
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-26 04:13:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |