| 
						
					 | 
					
						
						
							
						
						4fd35f0462
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:26:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b18efefbca
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:22:48 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						49a87735c5
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:19:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c0e646d48a
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:16:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7309dbe1c3
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:13:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a835701ff6
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:10:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7ed69fab7b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2000 | freecell-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:07:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						57d0c9ff32
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2000 | freecell-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-27 09:39:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						062675e572
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2000 | freecell-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-27 09:24:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a49bd08ccb
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2000 | freecell-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-27 09:09:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fa25b3ffbd
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2000 | freecell-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-27 08:54:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d66b88ebdb
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2000 | freecell-strips-typed | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-27 08:40:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						28fec42ecd
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-27 08:25:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						675ddec801
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-27 08:11:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						de1efc5e3b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-27 07:57:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7c96b9c707
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2000 | freecell-strips-typed | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-27 07:43:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6b9e67d640
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2000 | freecell-strips-typed | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-27 07:29:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e427d483be
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2000 | freecell-strips-typed | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-27 07:15:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3cc9e8eada
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2000 | freecell-strips-typed | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-27 07:04:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d9459028ea
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2000 | freecell-strips-typed | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:53:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9d53c9940b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2000 | freecell-strips-typed | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:41:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						967be3ce09
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2000 | freecell-strips-typed | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:30:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b77bda780d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-1998 | mystery-round-1-strips | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:19:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fdb62111e9
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-1998 | mystery-round-1-strips | 29]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:14:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						362513ed8f
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-1998 | mystery-round-1-strips | 27]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:11:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c1a7871534
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-1998 | mystery-round-1-strips | 26]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:08:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b39de25bb1
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-1998 | mystery-round-1-strips | 20]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:05:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						85d0517865
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-1998 | mystery-round-1-strips | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-27 05:57:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c0d5ef9781
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-1998 | mystery-round-1-strips | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-27 05:49:25 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						565a04aba8
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-1998 | mystery-round-1-strips | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-27 05:34:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						641cd803ab
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-1998 | mystery-round-1-strips | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-27 05:16:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0dd44ae156
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-1998 | mystery-round-1-strips | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-27 04:56:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						31dc787d10
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-1998 | mystery-round-1-strips | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-27 04:52:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6ec2511a12
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-1998 | mystery-round-1-strips | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-27 04:39:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |