| 
						
					 | 
					
						
						
							
						
						fe6631b31a
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 18]
						
						
						
						
						
						
					 | 
					
						2017-11-27 11:01:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a52523737a
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:35:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a236593544
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:29:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5bd4d44483
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:25:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						abe40ff220
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:22:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8b197f71b7
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:18:39 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e1438a811a
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:15:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						706a5e63f0
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:12:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5ca9c013f2
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-27 10:10:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7c0918be7d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-27 09:51:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bd581d87d0
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-27 09:35:39 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						798b27f4cb
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-27 09:20:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1686dac69e
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-27 09:05:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e142bc6e1f
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-27 08:51:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f87cc4d423
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-27 08:36:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						581797c90f
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-27 08:21:57 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cf601484ed
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-27 08:07:57 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6fe953b9ec
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-27 07:53:57 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bc4819810c
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-27 07:40:00 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3cd7533c08
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-27 07:26:00 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7e07644e6e
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-27 07:13:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						77b6edd8d9
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-27 07:01:57 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8271e88d83
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:50:35 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						af95c814d6
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:39:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dcb83fd82c
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:28:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3ad2b84ac0
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-1998 | mystery-round-1-strips | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:18:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						043db3f122
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-1998 | mystery-round-1-strips | 29]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:14:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						46c8816250
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-1998 | mystery-round-1-strips | 27]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:11:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cd2fe78994
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-1998 | mystery-round-1-strips | 26]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:08:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e33e77a9f0
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-1998 | mystery-round-1-strips | 20]
						
						
						
						
						
						
					 | 
					
						2017-11-27 06:03:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1010c8c6e3
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-1998 | mystery-round-1-strips | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-27 05:55:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c84f50d27f
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-1998 | mystery-round-1-strips | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-27 05:45:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						549d2ecbaa
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-1998 | mystery-round-1-strips | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-27 05:29:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						074653614b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-1998 | mystery-round-1-strips | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-27 05:11:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cc61db1b14
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-1998 | mystery-round-1-strips | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-27 04:55:39 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						42f9c831c4
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-1998 | mystery-round-1-strips | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-27 04:49:01 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fb06162294
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-1998 | mystery-round-1-strips | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-27 04:37:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |