| 
						
					 | 
					
						
						
							
						
						f0d40314b5
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | blocks-strips-typed | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-21 22:34:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bb25258641
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e2 | ipc-2000 | blocks-strips-typed | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-21 22:33:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						de7be0c036
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e1-sh | ipc-2000 | blocks-strips-typed | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-21 22:32:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ed096c9828
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e0-sh | ipc-2000 | blocks-strips-typed | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-21 22:31:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bb44a0b098
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pa-e1-sh | ipc-2000 | blocks-strips-typed | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-21 22:31:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1e67b4169f
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-ps-e1-sh | ipc-2000 | blocks-strips-typed | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-21 22:30:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4c479e899a
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-21 22:29:44 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7ead70a38f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-21 22:29:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						695995847c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | blocks-strips-typed | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-21 22:28:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0540219feb
	
				 
					 | 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 22:27:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ea7cc7356c
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-es | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 22:15:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						936c08917b
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e4 | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 22:14:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						97570a7fd2
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 22:11:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f1e22b8fbb
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e3-t0 | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 22:10:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d8227a158f
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e3 | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 22:10:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3e2ed8b84e
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e2 | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 22:03:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3b2460fb26
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:48:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5b021c10ae
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:46:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dafdce12e2
	
				 
					 | 
					
						
						
							
							Add benchmark result [pa-e1-sh | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:45:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						77bf7e11a1
	
				 
					 | 
					
						
						
							
							Add benchmark result [ps-e1-sh | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:41:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cf7c4e8a1b
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:40:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7df4348396
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-es | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:39:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7627c86cd8
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e4 | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:38:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						37655fbbd9
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:37:59 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b8da3f20d3
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:37:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c7dac0e3f1
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:36:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3f6323df9a
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e2 | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:35:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dedb0c7332
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e1-sh | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:35:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5997648e15
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e0-sh | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:34:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7784e18836
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pa-e1-sh | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:33:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5fe3f8cd1c
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-ps-e1-sh | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:33:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f770669004
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:32:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						502c12131f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:31:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7a4022046e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-m | ipc-2000 | blocks-strips-typed | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:31:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e25db3441b
	
				 
					 | 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2000 | blocks-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:30:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						32ef637141
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-es | ipc-2000 | blocks-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:24:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c504facd13
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e4 | ipc-2000 | blocks-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:23:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7aebcc30ac
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:22:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						65d8823e1f
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e3-t0 | ipc-2000 | blocks-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:22:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ef37d17a6f
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e3 | ipc-2000 | blocks-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:21:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2001359638
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e2 | ipc-2000 | blocks-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:20:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						95fde0369a
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e1-sh | ipc-2000 | blocks-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:18:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7f0f471d44
	
				 
					 | 
					
						
						
							
							Add benchmark result [pb-e0-sh | ipc-2000 | blocks-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:17:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8a6fefbc48
	
				 
					 | 
					
						
						
							
							Add benchmark result [pa-e1-sh | ipc-2000 | blocks-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:17:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						25ea24b1ad
	
				 
					 | 
					
						
						
							
							Add benchmark result [ps-e1-sh | ipc-2000 | blocks-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:16:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6e60a732c9
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pc-e1-sh | ipc-2000 | blocks-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:15:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						09df84b7ba
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-es | ipc-2000 | blocks-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:14:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bdcaa8c270
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e4 | ipc-2000 | blocks-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:14:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						262f716438
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:13:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7d5218fa38
	
				 
					 | 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | blocks-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-21 21:12:48 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |