| 
						
					 | 
					
						
						
							
						
						eff5738962
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 27]
						
						
						
						
						
						
					 | 
					
						2017-11-23 00:55:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d23d79d181
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 26]
						
						
						
						
						
						
					 | 
					
						2017-11-23 00:30:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dbf305b4ca
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-22 22:31:00 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						76e28f7f30
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-22 20:10:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						365044af47
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 29]
						
						
						
						
						
						
					 | 
					
						2017-11-22 17:50:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b826d42037
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 26]
						
						
						
						
						
						
					 | 
					
						2017-11-22 15:30:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ba5dd7dc4a
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 25]
						
						
						
						
						
						
					 | 
					
						2017-11-22 13:08:35 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4334f70de9
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 24]
						
						
						
						
						
						
					 | 
					
						2017-11-22 10:46:44 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cdb859f248
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 23]
						
						
						
						
						
						
					 | 
					
						2017-11-22 08:25:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7f69a62415
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 22]
						
						
						
						
						
						
					 | 
					
						2017-11-22 06:13:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6965b4d533
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 21]
						
						
						
						
						
						
					 | 
					
						2017-11-22 04:15:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ef2f704c85
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 20]
						
						
						
						
						
						
					 | 
					
						2017-11-22 02:24:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d50e4d8ff3
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-22 00:44:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1fccdef7f6
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 18]
						
						
						
						
						
						
					 | 
					
						2017-11-21 23:33:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						31ab212497
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-21 22:42:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5b021c10ae
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:46:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7f0f471d44
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:17:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d939e78fa8
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:43:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						31f95573de
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:19:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bc4dcbbe15
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-21 20:00:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ad66968d1a
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-21 19:40:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						998220837b
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-1998 | logistics-round-1-strips | 33]
						
						
						
						
						
						
					 | 
					
						2017-11-21 19:24:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2bb2bdbccf
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-1998 | logistics-round-1-strips | 32]
						
						
						
						
						
						
					 | 
					
						2017-11-21 19:10:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						138d718380
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-1998 | logistics-round-1-strips | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-21 18:56:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						612ef183f8
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-1998 | gripper-round-1-strips | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-21 17:32:39 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						62635c06b9
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-1998 | gripper-round-1-strips | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-21 15:01:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1e7c33bcb5
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-1998 | gripper-round-1-strips | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-21 12:29:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4671d937f1
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-1998 | gripper-round-1-strips | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-21 10:00:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5a089fb75a
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-1998 | gripper-round-1-strips | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-21 07:39:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8cedebf4a7
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-1998 | gripper-round-1-strips | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-21 05:37:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						72d2ef3875
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-1998 | gripper-round-1-strips | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-21 04:22:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2f01a26be8
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-1998 | gripper-round-1-strips | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-21 03:28:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4cfe344f06
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-1998 | gripper-round-1-strips | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-21 02:48:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1644ce7c9b
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-1998 | gripper-round-1-strips | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-21 02:35:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |