| 
						
					 | 
					
						
						
							
						
						7b89a5ab10
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 29]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:21:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5d2b82eafc
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 28]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:15:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4ce79dded3
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 27]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:09:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						11ff0d583a
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 26]
						
						
						
						
						
						
					 | 
					
						2017-11-30 17:03:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c462fa1610
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 25]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:57:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b52fde64cb
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 24]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:51:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c9d3f48427
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 23]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:44:57 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3fe3c7f78b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 22]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:39:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						31a44aa9b3
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 21]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:33:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cb83e2a9ed
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 20]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:27:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8dea3e7913
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:21:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d0f7c819d2
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 18]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:15:43 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						425848ba4f
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:09:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9fdb450182
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-30 16:04:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5b82caedb3
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-30 15:58:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7c191377ab
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-30 15:52:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7f5264199e
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-30 15:47:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5515c69457
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-30 15:41:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5917822a71
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-30 15:37:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						de154348fd
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-30 15:32:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						45ea31c2ab
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-30 15:28:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						58b2b6ed54
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-30 15:23:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0dbdf23f5c
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-30 15:20:39 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						56027e06ca
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-30 15:17:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4003014e86
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-30 15:14:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						97bd3b012b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-30 15:11:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2f7afc296d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-30 15:08:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bdefc25a03
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-30 15:05:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e902832f2e
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-30 15:02:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						296ac4ee85
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-30 14:59:33 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e754591dcf
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-30 14:43:33 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						67b9ae0983
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-30 14:27:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0734a80dda
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-30 14:11:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0c89ef1525
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-30 14:01:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6d4c3c65b7
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-29 17:29:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5b17eca15a
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-29 17:13:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f74be5c9cb
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-29 16:57:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						20da8927a7
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-29 16:42:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a6517e2ffd
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-29 16:35:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						774d82bf9e
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-29 16:28:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8fd74407f2
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-29 16:22:25 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5ef5c888b7
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-29 16:17:33 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b987d95ec7
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-29 16:12:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9b7e3791af
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 50]
						
						
						
						
						
						
					 | 
					
						2017-11-29 16:09:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7d47b3946d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 49]
						
						
						
						
						
						
					 | 
					
						2017-11-29 15:48:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8d519f9db7
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 48]
						
						
						
						
						
						
					 | 
					
						2017-11-29 15:39:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						611b91811e
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 47]
						
						
						
						
						
						
					 | 
					
						2017-11-29 15:22:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						253d79f50d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 46]
						
						
						
						
						
						
					 | 
					
						2017-11-29 15:17:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e005a4792a
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 45]
						
						
						
						
						
						
					 | 
					
						2017-11-29 15:14:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c0ff01f32a
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 44]
						
						
						
						
						
						
					 | 
					
						2017-11-29 15:11:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |