| 
						
					 | 
					
						
						
							
						
						54496bdb23
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 18]
						
						
						
						
						
						
					 | 
					
						2017-11-27 11:31:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9537f45184
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:54:43 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8263d5276b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:31:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cab7738566
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:26:48 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						942ab2560f
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:23:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a3a9b79d0b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:20:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5cf31c2ac0
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:16:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						61c6ff1c54
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:13:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1cfb8f0ed5
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:11:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0bac2407e5
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2000 | freecell-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:08:25 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8f003697cf
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2000 | freecell-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-27 09:40:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0990b91af4
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2000 | freecell-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-27 09:25:25 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3239e5386b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2000 | freecell-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-27 09:10:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						498b9b432f
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2000 | freecell-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-27 08:55:39 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						862f9a3a04
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2000 | freecell-strips-typed | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-27 08:41:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7b9daffbe4
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-27 08:26:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						935997b986
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-27 08:12:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f6d322bf67
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-27 07:58:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						31ab58e359
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2000 | freecell-strips-typed | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-27 07:44:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d597675420
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2000 | freecell-strips-typed | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-27 07:30:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0df0fb1240
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2000 | freecell-strips-typed | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-27 07:16:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						36f023bda7
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2000 | freecell-strips-typed | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-27 07:05:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						939405eb6c
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2000 | freecell-strips-typed | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:53:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						212f9637fd
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2000 | freecell-strips-typed | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:42:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						24b4f00ea6
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2000 | freecell-strips-typed | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:31:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						401461113d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-1998 | mystery-round-1-strips | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:20:01 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						96a7ffc47c
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-1998 | mystery-round-1-strips | 29]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:15:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						752e487467
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-1998 | mystery-round-1-strips | 27]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:12:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9a2b8cbd08
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-1998 | mystery-round-1-strips | 26]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:09:01 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fba83a12c7
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-1998 | mystery-round-1-strips | 20]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:05:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fcd1009bb8
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-1998 | mystery-round-1-strips | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-27 05:57:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9b18e8b359
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-1998 | mystery-round-1-strips | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-27 05:50:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						720c4df3fa
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-1998 | mystery-round-1-strips | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-27 05:35:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2bb67dd51a
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-1998 | mystery-round-1-strips | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-27 05:18:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e7ed3889bd
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-1998 | mystery-round-1-strips | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-27 04:56:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						edd05a0b14
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-1998 | mystery-round-1-strips | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-27 04:53:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c7cc8ce785
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-1998 | mystery-round-1-strips | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-27 04:39:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |