| 
						
					 | 
					
						
						
							
						
						f6acb756e4
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 40]
						
						
						
						
						
						
					 | 
					
						2017-11-30 09:14:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5dcfa73bbf
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 39]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:59:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9f230aea97
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 36]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:58:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f4714cc078
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:54:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cc52708a2f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:51:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						448783adf2
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:35:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d913db93bf
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:20:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5b4ce2de21
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:17:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8ae5a6fee7
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:14:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4bce23fbb3
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:10:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						080c4544a0
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:07:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3d4a5c2206
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:04:25 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						095cdba40a
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:01:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ebb7f7ff42
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:58:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c6004736a1
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:55:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8c342b02a1
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:51:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7d7850a1c6
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:48:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b612ab14b2
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:45:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ed29a07453
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:42:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						138e7b6207
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:39:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						99d9d5e02f
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:36:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bfbdc975b3
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:33:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f188586966
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:30:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						08a2c8170d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:27:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6ee3a588fb
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:23:57 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6da08f88d3
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:20:48 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6e5bf38356
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:17:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7923c38b4b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:14:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						df82d30ed9
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:11:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cac51e81ee
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:08:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						97e7648c2b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:05:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5606cf3ad8
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:01:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bb1a8bbedb
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-30 06:57:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9c746784bb
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-30 06:53:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						abfd5dc793
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-30 06:49:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ad29f48751
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-30 06:46:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1274691ce8
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-30 06:42:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						900f5ef0c5
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-30 06:38:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						81802abab7
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-30 06:34:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						376162b5ee
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-30 06:30:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						52b0f4baa5
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-30 06:26:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e79bd4f88b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-30 06:23:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						33aa247e41
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-30 06:19:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						aa7aaa0e2d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-30 06:15:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dbd5135918
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-30 06:11:44 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d0f9338cc6
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-30 06:07:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e11a5070e5
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-30 06:04:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fe8a9d9ff8
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-30 06:00:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						53da832f71
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-30 05:56:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3610944172
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-30 05:52:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |