| 
						
					 | 
					
						
						
							
						
						3d82968381
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 19]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:18:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a55a64b429
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 19]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:17:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f01d0031d1
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 18]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:17:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						23f2f56bac
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 18]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:17:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1b18141b49
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 17]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:16:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						59d0af0371
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 17]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:16:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7e750c71fa
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 16]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:16:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fe3b54dd68
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 16]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:15:48 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						235249b74a
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 15]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:15:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a9cbefb663
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 15]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:15:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7f76d1c750
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 14]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:14:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b1bf5c011d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 14]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:14:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ab06b600a4
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 13]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:14:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						35a13b4fb6
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 13]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:13:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dda87e85f9
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 12]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:13:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a08ace5c5a
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 12]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:13:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a2b47d245b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 11]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:12:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2fd6d46d47
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 11]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:12:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bc7e18ead7
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 10]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:12:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4bdf95ab60
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 10]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:11:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b78cbf24c7
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 9]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:11:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8551532076
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 9]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:11:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c7980de07a
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 8]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:10:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7e32a4cb82
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 8]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:10:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						78903bdd26
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 7]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:10:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						33cb4273cb
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 7]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:09:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1ef47912b5
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 6]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:09:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e93dc83215
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 6]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:09:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						43a5899137
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 5]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:08:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						689405d7db
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 5]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:08:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cd4524f82d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 4]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:08:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fd7557101b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 4]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:07:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c2fb6b269c
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 3]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:07:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b686ff107b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 3]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:07:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cd06ec851d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 2]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:06:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2a43a13cdf
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 2]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:06:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bfa179ad5e
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 1]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:06:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fe8de1ef5e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 1]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:05:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						29efb92972
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 50]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:05:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4ea087dc39
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 50]
						
						
						
						
						
						
					 | 
					
						2017-12-01 18:03:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3b61b31193
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 49]
						
						
						
						
						
						
					 | 
					
						2017-12-01 17:47:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c7d11b28c2
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 49]
						
						
						
						
						
						
					 | 
					
						2017-12-01 17:46:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						853adfe1b0
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 48]
						
						
						
						
						
						
					 | 
					
						2017-12-01 17:44:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a87b3ab34d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 48]
						
						
						
						
						
						
					 | 
					
						2017-12-01 17:29:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7bb3c3a564
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 47]
						
						
						
						
						
						
					 | 
					
						2017-12-01 17:14:13 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2ea0dbb34a
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 47]
						
						
						
						
						
						
					 | 
					
						2017-12-01 16:58:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5f8a7db0dc
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 46]
						
						
						
						
						
						
					 | 
					
						2017-12-01 16:43:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0c49aed3db
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 46]
						
						
						
						
						
						
					 | 
					
						2017-12-01 16:28:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d051f4133d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 45]
						
						
						
						
						
						
					 | 
					
						2017-12-01 16:13:00 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e28bf5df4b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 45]
						
						
						
						
						
						
					 | 
					
						2017-12-01 15:57:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |