daf16f9bfa
	 
				 
					 
					
						
						
							
							Add benchmark result [pb-e1-sh-h | ipc-1998 | grid-round-2-strips | 1]  
						
						 
						
						
						
						
					 
					
						2017-11-29 21:07:44 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						a1b20c3500
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-29 21:05:01 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b9cf0e49bd
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 16]  
						
						 
						
						
						
						
					 
					
						2017-11-29 20:49:45 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						2379da6729
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-29 20:34:29 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						a387e8b9a1
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-29 20:19:14 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e12e8d0b88
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-29 20:03:58 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e5f17a332f
	 
				 
					 
					
						
						
							
							Add benchmark result [pb-e3 | ipc-2002 | depots-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-29 19:48:43 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						70d7343cc7
	 
				 
					 
					
						
						
							
							Add benchmark result [pb-e2 | ipc-2002 | depots-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-29 19:44:09 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						bb18464e67
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-29 19:28:53 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						dcc020ed68
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 6]  
						
						 
						
						
						
						
					 
					
						2017-11-29 19:13:37 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						674a916414
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 5]  
						
						 
						
						
						
						
					 
					
						2017-11-29 18:58:22 +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  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f02d5a1318
	 
				 
					 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-29 18:35:27 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ad56190d53
	 
				 
					 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | mystery-prime-round-1-strips | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-29 18:33:26 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						a2f65d4e7c
	 
				 
					 
					
						
						
							
							Add benchmark result [m-m | ipc-1998 | mystery-round-1-strips | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-29 18:32:31 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						583c544ec3
	 
				 
					 
					
						
						
							
							Remove Madagascar results with memouts  
						
						 
						
						... 
						
						
						
						Madagascar automatically manages its memory consumption in order not to
have memouts. The memouts that were recorded by the benchmark runner are
the result of a difference in comupting memory consumption between the
benchmark runner and Madagascar. For this reason, these results are not
representative for Madagascar, and they will be redone with a softer
memory limit (with an extra margin of 256 MB). 
						
						
					 
					
						2017-11-29 17:39:39 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						766efcde6a
	 
				 
					 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-29 17:29:38 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						6d4c3c65b7
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-29 17:29:07 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ef3509d9b6
	 
				 
					 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-29 17:13:48 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						5b17eca15a
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 8]  
						
						 
						
						
						
						
					 
					
						2017-11-29 17:13:17 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						7a07ac1a15
	 
				 
					 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 8]  
						
						 
						
						
						
						
					 
					
						2017-11-29 16:57:58 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f74be5c9cb
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-29 16:57:40 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ff4e3525dc
	 
				 
					 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-29 16:43:00 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						20da8927a7
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 6]  
						
						 
						
						
						
						
					 
					
						2017-11-29 16:42:42 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						41e2858ace
	 
				 
					 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 6]  
						
						 
						
						
						
						
					 
					
						2017-11-29 16:35:49 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						a6517e2ffd
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 5]  
						
						 
						
						
						
						
					 
					
						2017-11-29 16:35:31 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						3dc8eef244
	 
				 
					 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 5]  
						
						 
						
						
						
						
					 
					
						2017-11-29 16:29:10 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						774d82bf9e
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 4]  
						
						 
						
						
						
						
					 
					
						2017-11-29 16:28:52 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9a877551d4
	 
				 
					 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 4]  
						
						 
						
						
						
						
					 
					
						2017-11-29 16:22:42 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						8fd74407f2
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 3]  
						
						 
						
						
						
						
					 
					
						2017-11-29 16:22:25 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						63a9b0be1d
	 
				 
					 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 3]  
						
						 
						
						
						
						
					 
					
						2017-11-29 16:17:50 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						5ef5c888b7
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 2]  
						
						 
						
						
						
						
					 
					
						2017-11-29 16:17:33 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						3561d8e75d
	 
				 
					 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 2]  
						
						 
						
						
						
						
					 
					
						2017-11-29 16:12:50 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b987d95ec7
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 1]  
						
						 
						
						
						
						
					 
					
						2017-11-29 16:12:34 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						c18f883fa9
	 
				 
					 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 1]  
						
						 
						
						
						
						
					 
					
						2017-11-29 16:09:53 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9b7e3791af
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 50]  
						
						 
						
						
						
						
					 
					
						2017-11-29 16:09:36 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						41fc7f5f00
	 
				 
					 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 50]  
						
						 
						
						
						
						
					 
					
						2017-11-29 15:54:39 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						7d47b3946d
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 49]  
						
						 
						
						
						
						
					 
					
						2017-11-29 15:48:23 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						77c74a222e
	 
				 
					 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 49]  
						
						 
						
						
						
						
					 
					
						2017-11-29 15:43:24 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						8d519f9db7
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 48]  
						
						 
						
						
						
						
					 
					
						2017-11-29 15:39:12 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						489e57ffd6
	 
				 
					 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 48]  
						
						 
						
						
						
						
					 
					
						2017-11-29 15:35:08 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						611b91811e
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 47]  
						
						 
						
						
						
						
					 
					
						2017-11-29 15:22:32 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						eb989f8478
	 
				 
					 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 47]  
						
						 
						
						
						
						
					 
					
						2017-11-29 15:19:21 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						253d79f50d
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 46]  
						
						 
						
						
						
						
					 
					
						2017-11-29 15:17:49 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						c2fdd66b9c
	 
				 
					 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 46]  
						
						 
						
						
						
						
					 
					
						2017-11-29 15:15:32 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e005a4792a
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 45]  
						
						 
						
						
						
						
					 
					
						2017-11-29 15:14:17 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						a226e389eb
	 
				 
					 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 45]  
						
						 
						
						
						
						
					 
					
						2017-11-29 15:12:03 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						c0ff01f32a
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 44]  
						
						 
						
						
						
						
					 
					
						2017-11-29 15:11:04 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						2e168198dc
	 
				 
					 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 44]  
						
						 
						
						
						
						
					 
					
						2017-11-29 15:09:12 +01:00  
					
					
						 
						
						
							
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						c96ee652ac
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 43]  
						
						 
						
						
						
						
					 
					
						2017-11-29 15:08:21 +01:00