b62a13e013
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-27 19:07:07 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						36059ac8b4
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-27 19:02:46 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f292a88889
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 19:00:55 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						a923682fd7
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 18:59:46 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						5d1d066539
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 18:58:45 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						04fadd5efe
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-27 18:57:47 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						d82d1c34f1
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-27 18:56:43 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						0f230d435d
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-27 18:55:50 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b5e26b69e4
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-27 18:54:58 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9623dfb231
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-27 18:44:22 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						62e93f5a9e
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 18:27:07 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						814880ea66
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 18:17:55 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						0355ab5ea0
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 18:08:41 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						38eb3f3b5b
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-27 18:01:42 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						3ba71d54e4
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-27 17:48:50 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						859cf250aa
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-27 17:35:09 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ee852e6671
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-27 17:22:32 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ba574e9d19
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 8]  
						
						 
						
						
						
						
					 
					
						2017-11-27 17:08:08 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b6b8bc9426
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-27 16:58:58 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b4f9ed72cf
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 6]  
						
						 
						
						
						
						
					 
					
						2017-11-27 16:51:17 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						eadac99e60
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 5]  
						
						 
						
						
						
						
					 
					
						2017-11-27 16:31:33 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						38f855cb22
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 4]  
						
						 
						
						
						
						
					 
					
						2017-11-27 16:00:31 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						d43b71293a
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 3]  
						
						 
						
						
						
						
					 
					
						2017-11-27 15:43:58 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						d7b1b7308f
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 2]  
						
						 
						
						
						
						
					 
					
						2017-11-27 15:27:30 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b86b6ed763
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 1]  
						
						 
						
						
						
						
					 
					
						2017-11-27 15:05:18 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9af27d4723
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-1998 | mystery-round-1-strips | 30]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:54:48 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9c416d1c61
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-1998 | mystery-round-1-strips | 29]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:53:35 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9102720893
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-1998 | mystery-round-1-strips | 27]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:52:31 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						4c505243c0
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-1998 | mystery-round-1-strips | 26]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:51:25 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						3f5ebb5ab2
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-1998 | mystery-round-1-strips | 20]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:49:46 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						5bee095330
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-1998 | mystery-round-1-strips | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:47:34 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f1aa0691b9
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-1998 | mystery-round-1-strips | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:45:16 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						7c2653525d
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-1998 | mystery-round-1-strips | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:41:59 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b15eec8627
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-1998 | mystery-round-1-strips | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:37:24 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e23d04a0ec
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-1998 | mystery-round-1-strips | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:32:55 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						0cd37235bb
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-1998 | mystery-round-1-strips | 6]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:30:12 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						1ac850c5eb
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt0 | ipc-1998 | mystery-round-1-strips | 2]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:27:55 +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  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						07f700edda
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-27 11:31:43 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						c3cdeacd0e
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:54:55 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e28c1d8941
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:31:25 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b4b1a213e2
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:27:00 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						801b950fbb
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:23:29 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						6fb77149f2
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:20:21 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						2d29fa3d8b
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:16:47 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						0d359987a8
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:14:02 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						6ee403036c
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:11:19 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						387d2a2295
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:08:37 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9fe40cd287
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 09:40:39 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						25b19396d7
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 09:25:37 +01:00