| 
						
					 | 
					
						
						
							
						
						0c16a621e3
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 18]
						
						
						
						
						
						
					 | 
					
						2017-11-27 11:02:39 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2dc92db063
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:36:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e037a10624
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:29:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						77f3b06d8e
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:25:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						93b1783e99
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:22:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bc273819e0
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:18:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fbe7dfc7e6
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:15:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a10cacadab
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:13:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5dec59db09
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:10:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ede1423831
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-27 09:54:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						728367635b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-27 09:38:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fec232d8e2
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-27 09:23:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2bc00c77d4
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-27 09:08:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a4055eb6e9
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-27 08:54:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d6dbc09836
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-27 08:39:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9e343af54c
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-27 08:24:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8261060a34
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-27 08:10:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a12699f9fe
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-27 07:56:48 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						63e74b6b85
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-27 07:42:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						987fb1c035
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-27 07:28:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9bb16ac71f
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-27 07:15:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cb899994e4
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-27 07:04:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						465f278e89
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:52:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c52134c8b8
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:41:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c24f0dd2a6
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:30:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						14c435e85d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:19:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d998a825b7
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 29]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:14:35 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7822865243
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 27]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:11:33 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						61e56cbdcb
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 26]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:08:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f61cc936ac
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 20]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:04:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b557860805
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-27 05:56:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6c9cbde813
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-27 05:48:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9714a7b4a1
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-27 05:32:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ad4a7e7be4
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-27 05:14:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						30225a1190
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-27 04:56:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1982040f97
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-27 04:51:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0afecc713b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-27 04:38:39 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |