9149996946
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2002 | depots-strips-automatic | 20]  
						
						 
						
						
						
						
					 
					
						2017-11-30 04:44:45 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						3f393cbd5f
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2002 | depots-strips-automatic | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-30 03:56:39 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						7a6a6f2a1f
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-30 03:11:25 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						bdaac83bf6
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-30 02:56:01 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						05575e7a2c
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-30 02:40:53 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						1cbfb0955d
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-30 02:25:45 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ec2337ac4a
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-30 02:10:37 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						45eb7fd76f
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-30 01:55:29 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						006797067b
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-30 01:39:13 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						12b920e9cb
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-30 01:21:14 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						de96b7da53
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 8]  
						
						 
						
						
						
						
					 
					
						2017-11-30 01:03:12 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						0dbb14db9c
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-30 00:45:09 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						19e91672c5
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 6]  
						
						 
						
						
						
						
					 
					
						2017-11-30 00:27:10 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						051f81410b
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-1998 | mystery-round-1-strips | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-29 23:31:27 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						c39cd61157
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-1998 | mystery-round-1-strips | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-29 23:13:24 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						8f5d7dd0a6
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-1998 | mystery-round-1-strips | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-29 22:56:07 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						1f5cdfdea0
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-1998 | mystery-round-1-strips | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-29 22:39:21 +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  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						5a14964624
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2002 | driverlog-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-26 18:13:11 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						57d98d52f0
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-26 17:24:30 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f733ee23e7
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-26 16:59:11 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						1b2addd125
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-26 16:30:59 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						d42bd8e431
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2002 | driverlog-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-26 16:25:49 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						128483a74e
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2002 | driverlog-strips-automatic | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-26 16:11:27 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						7d40189435
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2002 | driverlog-strips-automatic | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-26 16:07:15 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						bf5dfb10ab
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2002 | driverlog-strips-automatic | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-26 16:03:54 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						61bfd85f54
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2002 | driverlog-strips-automatic | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-26 16:01:23 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						313f8ccba5
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2002 | depots-strips-automatic | 20]  
						
						 
						
						
						
						
					 
					
						2017-11-26 15:10:41 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b98c689b5e
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2002 | depots-strips-automatic | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-26 13:52:53 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f541f44f52
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2002 | depots-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-26 13:12:34 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						7ef0df814c
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2002 | depots-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-26 12:15:19 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						da35dcd3e0
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2002 | depots-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-26 10:56:20 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ea603e893a
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2002 | depots-strips-automatic | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-26 10:04:22 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						353eda17ba
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2002 | depots-strips-automatic | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-26 08:16:34 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						0df7bb184e
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-26 07:14:58 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9504917f02
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-26 06:52:13 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b5d04d4738
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-26 06:32:14 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ef52bd4eb9
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-26 06:04:05 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						a4487920c5
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-26 05:37:45 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						d1078d6054
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-26 05:17:04 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						cbc645b405
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-26 04:58:22 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						1dfdd73ceb
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-26 04:41:04 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						40f69e08b2
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 8]  
						
						 
						
						
						
						
					 
					
						2017-11-26 04:23:33 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						df588b70a3
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-26 04:06:01 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ca3d72a220
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 6]  
						
						 
						
						
						
						
					 
					
						2017-11-26 03:48:44 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						99a0498255
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 5]  
						
						 
						
						
						
						
					 
					
						2017-11-26 03:32:58 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						3b8bfab40c
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 4]  
						
						 
						
						
						
						
					 
					
						2017-11-26 03:18:28 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						765f228c98
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 3]  
						
						 
						
						
						
						
					 
					
						2017-11-26 03:00:57 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						dd8d9a97a9
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 2]  
						
						 
						
						
						
						
					 
					
						2017-11-26 02:46:58 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						3a9ce0e7fb
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 1]  
						
						 
						
						
						
						
					 
					
						2017-11-26 02:32:40 +01:00