d913db93bf
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-30 08:20:41 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						080c4544a0
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-30 08:07:34 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						c6004736a1
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-30 07:55:06 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ed29a07453
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-30 07:42:37 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f188586966
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-30 07:30:10 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						6e5bf38356
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-30 07:17:40 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						97e7648c2b
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-30 07:05:15 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						abfd5dc793
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-30 06:49:58 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						81802abab7
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 8]  
						
						 
						
						
						
						
					 
					
						2017-11-30 06:34:40 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						33aa247e41
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-30 06:19:19 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e11a5070e5
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 6]  
						
						 
						
						
						
						
					 
					
						2017-11-30 06:04:06 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						768ea57f73
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-30 05:48:45 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						1e1a2dc8d4
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-30 05:33:45 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						62008849a5
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-30 05:18:56 +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  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						0c16a621e3
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-27 11:02:39 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						2dc92db063
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:36:22 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e037a10624
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:29:37 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						77f3b06d8e
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:25:42 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						93b1783e99
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:22:29 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						bc273819e0
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:18:58 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						fbe7dfc7e6
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:15:58 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						a10cacadab
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:13:14 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						5dec59db09
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:10:32 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ede1423831
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-27 09:54:20 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						728367635b
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 09:38:31 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						fec232d8e2
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 09:23:34 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						2bc00c77d4
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 09:08:47 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						a4055eb6e9
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-27 08:54:07 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						d6dbc09836
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-27 08:39:07 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9e343af54c
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-27 08:24:49 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						8261060a34
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-27 08:10:46 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						a12699f9fe
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 8]  
						
						 
						
						
						
						
					 
					
						2017-11-27 07:56:48 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						63e74b6b85
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-27 07:42:51 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						987fb1c035
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 6]  
						
						 
						
						
						
						
					 
					
						2017-11-27 07:28:51 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9bb16ac71f
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 5]  
						
						 
						
						
						
						
					 
					
						2017-11-27 07:15:14 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						cb899994e4
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 4]  
						
						 
						
						
						
						
					 
					
						2017-11-27 07:04:15 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						465f278e89
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 3]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:52:42 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						c52134c8b8
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 2]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:41:26 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						c24f0dd2a6
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 1]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:30:29 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						14c435e85d
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 30]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:19:14 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						d998a825b7
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 29]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:14:35 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						7822865243
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 27]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:11:33 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						61e56cbdcb
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 26]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:08:24 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f61cc936ac
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 20]  
						
						 
						
						
						
						
					 
					
						2017-11-27 06:04:50 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b557860805
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-27 05:56:54 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						6c9cbde813
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 05:48:32 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9714a7b4a1
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 05:32:47 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ad4a7e7be4
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-27 05:14:53 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						30225a1190
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-1998 | mystery-round-1-strips | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-27 04:56:06 +01:00