a12f5d648b
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt0 | ipc-1998 | mystery-round-1-strips | 2]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:27:31 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						fe532cc0af
	 
				 
					 
					
						
						
							
							Remove results with errors  
						
						 
						
						... 
						
						
						
						Due to minor bugs in the planner, three configurations had errors. This
removes the affected results in order to rerun them with the fixed
planner. As the bugfixes address these configurations only, the other
results are unspoiled by this change. 
						
						
					 
					
						2017-11-27 14:24:36 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						c6e0d1ee5b
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-27 11:31:56 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						07f700edda
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-27 11:31:43 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						54496bdb23
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-27 11:31:30 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						7f2928704d
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-27 11:16:16 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						0c16a621e3
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-27 11:02:39 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						fe6631b31a
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-27 11:01:17 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						292120b2ed
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:59:44 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9180f64159
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:58:06 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e9e407f64a
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:56:32 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						0d81d48f07
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:55:33 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						2f3b48fd82
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:55:08 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						c3cdeacd0e
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:54:55 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9537f45184
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:54:43 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						cae8e3f50f
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:39:28 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						2dc92db063
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:36:22 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						a52523737a
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:35:27 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						509fa3c459
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:34:29 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b691dfb30b
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:33:29 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						144068e133
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:32:37 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						721caabfd5
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:32:01 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f426aabe71
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:31:39 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e28c1d8941
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:31:25 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						8263d5276b
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:31:12 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						c1246114fa
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:29:58 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e037a10624
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:29:37 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						a236593544
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:29:12 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						61258eebbd
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:28:45 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						914451f1b1
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:28:19 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						48eba024c0
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:27:53 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						3df98ad207
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:27:33 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						cdd066721b
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:27:14 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b4b1a213e2
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:27:00 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						cab7738566
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:26:48 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						4fd35f0462
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:26:07 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						77f3b06d8e
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:25:42 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						5bd4d44483
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:25:20 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						69f1a5c4d9
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:25:00 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						8e5520db61
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:24:41 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						21732cb852
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:24:18 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						6df7a452d1
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:24:00 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						7277d6402f
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:23:42 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						801b950fbb
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:23:29 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						942ab2560f
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:23:12 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b18efefbca
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:22:48 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						93b1783e99
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:22:29 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						abe40ff220
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:22:07 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9a66c6c594
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:21:48 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						d5c33a90ca
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:21:29 +01:00