8ae5a6fee7
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-30 08:14:08 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						095cdba40a
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-30 08:01:19 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						7d7850a1c6
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-30 07:48:52 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						99d9d5e02f
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-30 07:36:23 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						6ee3a588fb
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-30 07:23:57 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						df82d30ed9
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-30 07:11:28 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						bb1a8bbedb
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-30 06:57:34 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						1274691ce8
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-30 06:42:19 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						52b0f4baa5
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 8]  
						
						 
						
						
						
						
					 
					
						2017-11-30 06:26:56 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						dbd5135918
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-30 06:11:44 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						53da832f71
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 6]  
						
						 
						
						
						
						
					 
					
						2017-11-30 05:56:27 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						14e2f8797f
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-1998 | mystery-round-1-strips | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-30 05:41:15 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						259319c5d0
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-1998 | mystery-round-1-strips | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-30 05:26:21 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						2c8a2276d3
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-1998 | mystery-round-1-strips | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-30 05:11:11 +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  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						292120b2ed
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:59:44 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						509fa3c459
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:34:29 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						61258eebbd
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:28:45 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						69f1a5c4d9
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:25:00 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9a66c6c594
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:21:48 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						7ff035a259
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:18:20 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b24dd99336
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:15:24 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b9b888d94a
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:12:40 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ee35d7774f
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:09:59 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						6d0913082c
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-27 09:48:17 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						78f2038aec
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 09:32:45 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b97783db43
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 09:17:51 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						c86f613bfd
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 09:03:02 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ee49868db3
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-27 08:48:22 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e94530ab57
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-27 08:33:22 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						75ddbbc314
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-27 08:19:07 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b356d25134
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-27 08:05:08 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						dda0f884ae
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 8]  
						
						 
						
						
						
						
					 
					
						2017-11-27 07:51:07 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						6c4d1ca6e6
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-27 07:37:09 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						0a7b7008ca
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 6]  
						
						 
						
						
						
						
					 
					
						2017-11-27 07:23:09 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e10991f3cb
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 5]  
						
						 
						
						
						
						
					 
					
						2017-11-27 07:10:55 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						1a2a1b8ea3
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 4]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:59:33 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f0b521f88b
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 3]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:48:17 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						286bbe144d
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 2]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:37:07 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						1505fb44cc
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 1]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:26:04 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ffecaab572
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-1998 | mystery-round-1-strips | 30]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:17:48 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						18a973d8dc
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-1998 | mystery-round-1-strips | 29]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:13:53 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						65c2b55a66
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-1998 | mystery-round-1-strips | 27]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:10:49 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						5da90aaaa8
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-1998 | mystery-round-1-strips | 26]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:07:39 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e5a47a1da1
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-1998 | mystery-round-1-strips | 20]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:02:07 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ca02503173
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-1998 | mystery-round-1-strips | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-27 05:54:17 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e2181e1847
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-1998 | mystery-round-1-strips | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 05:42:51 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						0c271fe702
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-1998 | mystery-round-1-strips | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 05:26:28 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						d2d414d172
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-1998 | mystery-round-1-strips | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-27 05:07:25 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						5199a4ba2a
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-1998 | mystery-round-1-strips | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-27 04:55:08 +01:00