| 
						
					 | 
					
						
						
							
						
						c1ceb4fd10
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e0-sh-h | ipc-1998 | gripper-round-1-strips | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-27 22:21:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b1abe4bd4d
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e0-sh-h | ipc-1998 | gripper-round-1-strips | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-27 22:21:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						def97cdab0
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e0-sh-h | ipc-1998 | gripper-round-1-strips | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-27 22:21:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cd25d54232
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e0-sh-h | ipc-1998 | gripper-round-1-strips | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-27 22:20:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2c8f85846c
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e0-sh-h | ipc-1998 | gripper-round-1-strips | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-27 22:20:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5de5d03610
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e0-sh-h | ipc-1998 | gripper-round-1-strips | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-27 22:20:13 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						661ee46352
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e0-sh-h | ipc-1998 | gripper-round-1-strips | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-27 22:19:57 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e6d4b95dfe
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e0-sh-h | ipc-1998 | gripper-round-1-strips | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-27 22:19:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c3b2536e9c
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 18]
						
						
						
						
						
						
					 | 
					
						2017-11-27 19:07:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b62a13e013
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 18]
						
						
						
						
						
						
					 | 
					
						2017-11-27 19:07:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						16ac03cb51
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 18]
						
						
						
						
						
						
					 | 
					
						2017-11-27 19:04:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						115c9f42cc
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-27 19:03:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						36059ac8b4
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-27 19:02:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						26de0fd47e
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-27 19:02:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f55fb59952
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-27 19:01:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f292a88889
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-27 19:00:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e0cf5066cb
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-27 19:00:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f322aa1505
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-27 19:00:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a923682fd7
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:59:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						85775a37ff
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:59:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						322c17f8bc
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:59:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5d1d066539
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:58:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9298117203
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:58:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						079efd5932
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:58:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						04fadd5efe
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:57:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3290c1484c
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:57:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						21929cf88f
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:57:01 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d82d1c34f1
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:56:43 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						607aa3fa8b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:56:25 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						04b64dd384
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:56:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0f230d435d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:55:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						81fe75ce5d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:55:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f29e45b728
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:55:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b5e26b69e4
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:54:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						84b6b4978b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:54:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2908c1b664
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:54:25 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9623dfb231
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:44:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b95c071fc6
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt0 | ipc-2000 | freecell-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:33:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ed87c1e2f4
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:32:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						62e93f5a9e
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:27:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e80e86ed47
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt0 | ipc-2000 | freecell-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:22:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						39ced44d18
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:21:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						814880ea66
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:17:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						116b2007d6
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt0 | ipc-2000 | freecell-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:13:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c3dbb1b4d8
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:12:44 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0355ab5ea0
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:08:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6f9f518e7a
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt0 | ipc-2000 | freecell-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:03:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a4646d0984
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:02:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						38eb3f3b5b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:01:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9bdca8c1d1
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt0 | ipc-2000 | freecell-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-27 18:00:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |