| 
						
					 | 
					
						
						
							
						
						1c2fb8dc79
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-24 04:50:39 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7b2e8f7c5d
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-24 02:46:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4b9a07febd
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-23 23:41:13 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						12ce283e0a
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-23 21:47:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						48b091424d
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2002 | depots-strips-automatic | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-23 21:11:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3961dcd16e
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 45]
						
						
						
						
						
						
					 | 
					
						2017-11-23 20:19:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c3ecf2fec7
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 44]
						
						
						
						
						
						
					 | 
					
						2017-11-23 18:31:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a0cbfea5dd
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 43]
						
						
						
						
						
						
					 | 
					
						2017-11-23 16:51:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						95b6abe33f
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 42]
						
						
						
						
						
						
					 | 
					
						2017-11-23 15:31:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d77bd2fce4
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 41]
						
						
						
						
						
						
					 | 
					
						2017-11-23 13:57:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ebfdfe45ce
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 40]
						
						
						
						
						
						
					 | 
					
						2017-11-23 12:39:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						82d04f2b9e
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 39]
						
						
						
						
						
						
					 | 
					
						2017-11-23 11:10:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						49eced9d2c
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 38]
						
						
						
						
						
						
					 | 
					
						2017-11-23 09:58:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						14e2733c05
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 37]
						
						
						
						
						
						
					 | 
					
						2017-11-23 08:39:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1116db174f
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 36]
						
						
						
						
						
						
					 | 
					
						2017-11-23 07:29:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						be2bc8f013
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 35]
						
						
						
						
						
						
					 | 
					
						2017-11-23 06:26:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c04101a000
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 34]
						
						
						
						
						
						
					 | 
					
						2017-11-23 05:40:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						00f91cf609
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 33]
						
						
						
						
						
						
					 | 
					
						2017-11-23 04:44:01 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f0f4434d03
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 32]
						
						
						
						
						
						
					 | 
					
						2017-11-23 04:02:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0e2777ebe3
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-11-23 03:14:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						408c856d33
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-11-23 02:34:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2b6d0b8c0f
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 29]
						
						
						
						
						
						
					 | 
					
						2017-11-23 01:57:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						08b3e43455
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 28]
						
						
						
						
						
						
					 | 
					
						2017-11-23 01:32:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						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 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |