| 
						
					 | 
					
						
						
							
						
						a6726db178
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:54:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a10fc4d101
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:54:13 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5c20c3f185
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:38:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						708e85a088
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:38:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						69a52436d5
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:30:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4526c5db71
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:29:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c1c99d3f67
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:29:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a70aba94cd
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:28:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4b8fe747e3
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:28:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e19f973ef4
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:27:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2032546aba
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:27:13 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3d3d4dfa36
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:26:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						da779215ff
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:26:25 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0214eef190
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:26:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						71f4a73e89
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:25:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						841c1e0ce7
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:25:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						45c9ed2437
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:24:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						aea32134de
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:24:39 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						94918a4770
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:24:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e1080f5779
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:23:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						52f264f334
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:23:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e1ade52616
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:23:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5f97dffa76
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:22:48 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9d0c093ff0
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:22:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7e26e69256
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:22:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7b89a5ab10
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 29]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:21:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						98d1a1ceb3
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 29]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:15:59 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5d2b82eafc
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 28]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:15:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b5d911ea67
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 28]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:09:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4ce79dded3
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 27]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:09:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						09a83ff0e2
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 27]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:03:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						11ff0d583a
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 26]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:03:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						40c1f0ea54
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 26]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:57:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c462fa1610
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 25]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:57:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3e7cf5de5d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 25]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:51:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b52fde64cb
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 24]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:51:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8f9848766c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 24]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:45:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c9d3f48427
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 23]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:44:57 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f6573530c8
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 23]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:39:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3fe3c7f78b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 22]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:39:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ca24d85bd6
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 22]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:33:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						31a44aa9b3
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 21]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:33:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1401d0152d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 21]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:27:43 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cb83e2a9ed
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 20]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:27:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						89aaf30357
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 20]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:21:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8dea3e7913
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:21:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b955a1b92f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:15:59 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d0f7c819d2
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 18]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:15:43 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f599627caf
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 18]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:10:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						425848ba4f
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:09:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |