bf7478a7b0
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-30 03:14:33 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						cfa55dfd49
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-30 02:59:04 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						0559ec9b0e
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-30 02:43:54 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						80e26ff87d
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-30 02:28:47 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						4d373ae624
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-30 02:13:38 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						1eeee8ed40
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-30 01:58:32 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						54fcbe6d4a
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-30 01:42:58 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						4fce55129e
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-30 01:24:59 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						dc69ea4f40
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 8]  
						
						 
						
						
						
						
					 
					
						2017-11-30 01:06:58 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						84db29cda2
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-30 00:48:53 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						57e2732608
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 6]  
						
						 
						
						
						
						
					 
					
						2017-11-30 00:30:53 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						4b4ca35279
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-1998 | mystery-round-1-strips | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-29 23:35:07 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						a67db5776d
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-1998 | mystery-round-1-strips | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-29 23:17:03 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						711e543e77
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-1998 | mystery-round-1-strips | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-29 22:59:40 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						7f9a6bcabe
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-1998 | mystery-round-1-strips | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-29 22:42:57 +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  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						64800dfbfc
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-26 18:14:24 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						cfc4761f23
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-26 17:25:14 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						1c05f78f41
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-26 16:59:33 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b8f9b8fad1
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-26 16:31:16 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						2446d10f53
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-26 16:26:05 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f065c10fda
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-26 16:11:43 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b88698566f
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-26 16:07:30 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						17cfdb9104
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-26 16:04:11 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						de24d58e13
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-26 16:01:37 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						3045eac683
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2002 | depots-strips-automatic | 20]  
						
						 
						
						
						
						
					 
					
						2017-11-26 15:11:50 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f6488b2365
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2002 | depots-strips-automatic | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-26 13:53:18 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e6ec005bf8
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2002 | depots-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-26 13:13:40 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						28223d87f7
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2002 | depots-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-26 12:16:03 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						2013311180
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2002 | depots-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-26 10:56:45 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						df71bac99d
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2002 | depots-strips-automatic | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-26 10:05:02 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f9bdec5551
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2002 | depots-strips-automatic | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-26 08:17:01 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f8bcb71a34
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-26 07:17:51 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e3d9052a04
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-26 06:55:01 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ee7550afb4
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-26 06:35:02 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						4076bd0471
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-26 06:06:52 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						c4ce832346
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-26 05:40:32 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						a4ee2477eb
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-26 05:19:53 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						dfa836d0bb
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-26 05:01:09 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e3de555f95
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-26 04:43:51 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						0701ee1e37
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 8]  
						
						 
						
						
						
						
					 
					
						2017-11-26 04:26:20 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						485f0e2e02
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-26 04:08:48 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						cf07a76a68
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 6]  
						
						 
						
						
						
						
					 
					
						2017-11-26 03:51:32 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						7286d90f6f
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 5]  
						
						 
						
						
						
						
					 
					
						2017-11-26 03:35:07 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						722dfdf345
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 4]  
						
						 
						
						
						
						
					 
					
						2017-11-26 03:20:37 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						48d7b5560e
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 3]  
						
						 
						
						
						
						
					 
					
						2017-11-26 03:03:05 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						014112093b
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 2]  
						
						 
						
						
						
						
					 
					
						2017-11-26 02:49:05 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						062cb9dfa9
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 1]  
						
						 
						
						
						
						
					 
					
						2017-11-26 02:34:49 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f7119bfa51
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 59]  
						
						 
						
						
						
						
					 
					
						2017-11-26 02:23:44 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						41e8eda9ad
	 
				 
					 
					
						
						
							
							Add benchmark result [fd-pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 58]  
						
						 
						
						
						
						
					 
					
						2017-11-26 02:18:15 +01:00