4bce23fbb3
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-30 08:10:53 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ebb7f7ff42
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-30 07:58:12 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b612ab14b2
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-30 07:45:46 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						bfbdc975b3
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-30 07:33:16 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						6da08f88d3
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-30 07:20:48 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						cac51e81ee
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-30 07:08:22 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9c746784bb
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-30 06:53:46 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						900f5ef0c5
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-30 06:38:30 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e79bd4f88b
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 8]  
						
						 
						
						
						
						
					 
					
						2017-11-30 06:23:07 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						d0f9338cc6
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-30 06:07:56 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						3610944172
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 6]  
						
						 
						
						
						
						
					 
					
						2017-11-30 05:52:36 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ad79379053
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-1998 | mystery-round-1-strips | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-30 05:37:30 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						22e0074132
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-1998 | mystery-round-1-strips | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-30 05:22:40 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						79c36bd1ba
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-1998 | mystery-round-1-strips | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-30 05:07:19 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						fef5f1929f
	 
				 
					 
					
						
						
							
							Remove planner results with memouts  
						
						 
						
						... 
						
						
						
						This removes all results obtained with our planner where memouts were
encountered. These were mainly due to the fact that we didn’t configure
the planner to respect the memory limit in the first place. With this
configuration now in place, we can redo all the affected measurements in
order to get actual, useful results. 
						
						
					 
					
						2017-11-29 18:40:52 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9180f64159
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:58:06 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b691dfb30b
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:33:29 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						914451f1b1
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:28:19 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						8e5520db61
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:24:41 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						d5c33a90ca
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:21:29 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						70ff52b0a2
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:17:58 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f790299624
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:15:07 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						17105ec850
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:12:24 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						00cc0b97e6
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:09:43 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						bca6093ea8
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-27 09:45:17 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						247347373b
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 09:29:53 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						978b3f983b
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 09:15:00 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						2720e9c1ba
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 09:00:09 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9526e93284
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-27 08:45:28 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						54d62b2522
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-27 08:30:29 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						637ee08703
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-27 08:16:17 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ca050e1866
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-27 08:02:17 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						6d920d0081
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 8]  
						
						 
						
						
						
						
					 
					
						2017-11-27 07:48:16 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						064c03e057
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-27 07:34:19 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						2be964e5b3
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 6]  
						
						 
						
						
						
						
					 
					
						2017-11-27 07:20:19 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						eed90903ce
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 5]  
						
						 
						
						
						
						
					 
					
						2017-11-27 07:08:42 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						efe805945a
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 4]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:57:21 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f82d16ddf7
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 3]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:45:58 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						93ea52505d
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 2]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:34:55 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						145950841b
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 1]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:23:40 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						8a026b2e7b
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-1998 | mystery-round-1-strips | 30]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:17:05 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						a561a2fb28
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-1998 | mystery-round-1-strips | 29]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:13:31 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						03c7a6659d
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-1998 | mystery-round-1-strips | 27]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:10:29 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						bea4870c5c
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-1998 | mystery-round-1-strips | 26]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:07:16 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						8b22bb0d88
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-1998 | mystery-round-1-strips | 20]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:00:42 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						87c3aa493c
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-1998 | mystery-round-1-strips | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-27 05:52:57 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ac329fc17c
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-1998 | mystery-round-1-strips | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 05:39:55 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						190e479186
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-1998 | mystery-round-1-strips | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 05:23:19 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						c627d16cb9
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-1998 | mystery-round-1-strips | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-27 05:03:41 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						fdd0ea5048
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-1998 | mystery-round-1-strips | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-27 04:54:40 +01:00