| 
						
					 | 
					
						
						
							
						
						367464a21e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 1]
						
						
						
						
						
						
					 | 
					
						2017-12-01 23:37:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0307d1e309
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 36]
						
						
						
						
						
						
					 | 
					
						2017-12-01 23:37:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ceb885f177
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 36]
						
						
						
						
						
						
					 | 
					
						2017-12-01 23:21:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ce22fcdde6
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 35]
						
						
						
						
						
						
					 | 
					
						2017-12-01 23:20:01 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c54924cbcd
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 35]
						
						
						
						
						
						
					 | 
					
						2017-12-01 23:04:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5e308432c9
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 34]
						
						
						
						
						
						
					 | 
					
						2017-12-01 23:03:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a783db1a57
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 34]
						
						
						
						
						
						
					 | 
					
						2017-12-01 22:47:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						809a25cfa9
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 33]
						
						
						
						
						
						
					 | 
					
						2017-12-01 22:46:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8236a31400
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 33]
						
						
						
						
						
						
					 | 
					
						2017-12-01 22:31:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9b4b5ef5e6
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 32]
						
						
						
						
						
						
					 | 
					
						2017-12-01 22:29:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						427347ef88
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 32]
						
						
						
						
						
						
					 | 
					
						2017-12-01 22:14:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ad95beb6b0
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 31]
						
						
						
						
						
						
					 | 
					
						2017-12-01 22:13:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a6b6214a47
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 31]
						
						
						
						
						
						
					 | 
					
						2017-12-01 21:57:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						028be32474
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 30]
						
						
						
						
						
						
					 | 
					
						2017-12-01 21:56:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						04666fbb86
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 30]
						
						
						
						
						
						
					 | 
					
						2017-12-01 21:41:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4813f3446d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 29]
						
						
						
						
						
						
					 | 
					
						2017-12-01 21:40:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f3a6c0e894
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 29]
						
						
						
						
						
						
					 | 
					
						2017-12-01 21:25:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						877406f7e0
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 28]
						
						
						
						
						
						
					 | 
					
						2017-12-01 21:24:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1a2c50f965
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 28]
						
						
						
						
						
						
					 | 
					
						2017-12-01 21:09:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						497054482a
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 27]
						
						
						
						
						
						
					 | 
					
						2017-12-01 21:09:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b065de4fd2
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 27]
						
						
						
						
						
						
					 | 
					
						2017-12-01 20:53:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						42a922959b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 26]
						
						
						
						
						
						
					 | 
					
						2017-12-01 20:53:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c853d1ffd1
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 26]
						
						
						
						
						
						
					 | 
					
						2017-12-01 20:38:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bb65584d99
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 25]
						
						
						
						
						
						
					 | 
					
						2017-12-01 20:37:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ce7f599fd0
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 25]
						
						
						
						
						
						
					 | 
					
						2017-12-01 20:22:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2719e66439
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 24]
						
						
						
						
						
						
					 | 
					
						2017-12-01 20:22:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6c9ced8e92
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 24]
						
						
						
						
						
						
					 | 
					
						2017-12-01 20:06:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fdd595cbdb
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 23]
						
						
						
						
						
						
					 | 
					
						2017-12-01 20:06:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d05e128106
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 23]
						
						
						
						
						
						
					 | 
					
						2017-12-01 19:51:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c2b22e4ae8
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 22]
						
						
						
						
						
						
					 | 
					
						2017-12-01 19:50:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d05d3a601c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 22]
						
						
						
						
						
						
					 | 
					
						2017-12-01 19:49:01 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b33cda6015
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 21]
						
						
						
						
						
						
					 | 
					
						2017-12-01 19:48:43 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4be0762ebe
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 21]
						
						
						
						
						
						
					 | 
					
						2017-12-01 19:33:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						846860fecb
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 20]
						
						
						
						
						
						
					 | 
					
						2017-12-01 19:33:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e2c9340915
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 20]
						
						
						
						
						
						
					 | 
					
						2017-12-01 19:32:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0ac462bdfd
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 19]
						
						
						
						
						
						
					 | 
					
						2017-12-01 19:32:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						330713b41b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 19]
						
						
						
						
						
						
					 | 
					
						2017-12-01 19:31:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						832f6aa15d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 18]
						
						
						
						
						
						
					 | 
					
						2017-12-01 19:31:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4c8b64e4e8
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 18]
						
						
						
						
						
						
					 | 
					
						2017-12-01 19:30:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						018f334bc7
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 17]
						
						
						
						
						
						
					 | 
					
						2017-12-01 19:30:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e2d30d725c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 17]
						
						
						
						
						
						
					 | 
					
						2017-12-01 19:15:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9b4e71e22d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 16]
						
						
						
						
						
						
					 | 
					
						2017-12-01 19:14:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4399c4b1ee
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 16]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:59:33 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6316c51371
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 15]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:59:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e7fc4a08d3
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 15]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:58:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2c879025c3
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 14]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:57:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2375e9f6b3
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 14]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:57:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						33c25b40cf
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 13]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:57:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a63b91582d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | satellite-strips | 13]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:56:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						88808818dc
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 12]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:56:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |