| 
						
					 | 
					
						
						
							
						
						bc37291c91
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-29 13:00:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7b405cbbf7
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:59:43 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bf0e3fb211
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:59:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5f1dd6db69
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:58:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ea8c201d24
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:58:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dce7b91579
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:57:48 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						28c1ac1a1f
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:57:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4c0a9d740c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:57:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8716b86873
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:56:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						514435cc10
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:56:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9d69c6fa96
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:56:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						68138462dc
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:55:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						97ea2e760c
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:55:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dd799fe31f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:54:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						810b66281e
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:54:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c65ae2c74a
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:54:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c9dcdfb19d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:54:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f5727b86c6
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:53:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8225242dc2
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:53:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e5627bff73
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:52:59 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7622f9ed4e
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:52:43 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						09d40c8467
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:52:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b5c0dca4f6
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:52:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						227d48c8a0
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:51:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						65207923ba
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:51:25 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9eb7ee72f2
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:51:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d10e71881a
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:50:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e520ecd553
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:50:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						685f7c1294
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:50:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cc2aec7b8f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:49:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2adfd2f97c
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:49:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						14f904879f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:49:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						494826ee8a
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:48:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9efa3965a6
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:48:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7b476c619b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 20]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:48:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a1ceeb4b3b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 20]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:46:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						71ed32e9de
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:46:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						62773544e3
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:45:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4c3281e6b3
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:44:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						607c0eac24
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:43:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fb6f06e6c8
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:43:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b8cb804272
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:42:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ad6300814c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:42:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8efc14995d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:42:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b0be395d05
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:41:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1b76edfbdb
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:41:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a84e1939d4
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:40:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d073940f95
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:40:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						791b444447
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:40:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fd67428010
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:39:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |