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  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						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  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						38a1d1f19d
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-25 09:09:30 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						d047e29ff5
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 16]  
						
						 
						
						
						
						
					 
					
						2017-11-25 07:00:11 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						a106219563
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-25 04:51:54 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ad8284f2a9
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-25 03:36:51 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						3c82d9f5f8
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-25 02:57:31 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						6fc6ac745d
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-25 02:19:25 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						7616aff2ec
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-25 02:16:22 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9fa956ad83
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-25 02:11:20 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						683b54f2e0
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 8]  
						
						 
						
						
						
						
					 
					
						2017-11-25 02:08:11 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						8a85a9fee8
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-25 01:51:03 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						553f2a45ac
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 5]  
						
						 
						
						
						
						
					 
					
						2017-11-25 01:48:56 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						02a37b89aa
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 4]  
						
						 
						
						
						
						
					 
					
						2017-11-25 01:46:51 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						8843e21ea6
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 2]  
						
						 
						
						
						
						
					 
					
						2017-11-25 01:44:04 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						6c97677cee
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-1998 | logistics-round-1-strips | 33]  
						
						 
						
						
						
						
					 
					
						2017-11-25 01:41:36 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						3fdcbcea9e
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-1998 | logistics-round-1-strips | 32]  
						
						 
						
						
						
						
					 
					
						2017-11-25 01:27:32 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9f6ed06ae4
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-1998 | logistics-round-1-strips | 31]  
						
						 
						
						
						
						
					 
					
						2017-11-25 01:21:07 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						1215e9c543
	 
				 
					 
					
						
						
							
							Remove results with errors  
						
						 
						
						... 
						
						
						
						Some instances have hyphens within variable names. Unfortunately,
support for hyphens in variable names was missing in plasp 3.1.0, which
resulted in incorrect ASP output. Additionally, clingo just printed an
info message in the affected cases, which is why these incorrect
benchmark runs weren’t easy to spot immediately.
This removes all the affected results in order to run them again with
plasp 3.1.1. Note that the new release doesn’t change anything else, and
thus, the other results aren’t invalidated by the plasp update. 
						
						
					 
					
						2017-11-25 00:58:41 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						a859734220
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-24 17:34:31 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						8fadb64f4c
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 16]  
						
						 
						
						
						
						
					 
					
						2017-11-24 17:31:03 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9a7b27cb9a
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-24 17:10:31 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						1482d150ff
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-24 17:07:28 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b444360b6d
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-24 17:04:30 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						1b59601126
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-24 17:01:30 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						748ac9a2bd
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-24 16:58:31 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						684d96fff5
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-24 16:55:35 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						1bb1df3bfb
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 8]  
						
						 
						
						
						
						
					 
					
						2017-11-24 16:52:39 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						11e2eaf3f3
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-24 16:49:44 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						3ee5fa83a2
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 5]  
						
						 
						
						
						
						
					 
					
						2017-11-24 16:46:50 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b79aecac50
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 4]  
						
						 
						
						
						
						
					 
					
						2017-11-24 14:19:10 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						16e4723b54
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 2]  
						
						 
						
						
						
						
					 
					
						2017-11-24 13:44:13 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f26ddba515
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-24 13:10:03 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f38ab8af5f
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 16]  
						
						 
						
						
						
						
					 
					
						2017-11-24 11:44:29 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						2ca7bee427
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-24 10:41:58 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f13480b3dc
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-24 10:04:35 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						54d8cd8558
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-24 07:05:08 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						453ff13839
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 8]  
						
						 
						
						
						
						
					 
					
						2017-11-24 06:22:45 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						d6963fccb8
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-24 05:01:12 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						74cc4e0e09
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 6]  
						
						 
						
						
						
						
					 
					
						2017-11-24 04:29:35 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						51f8b8f082
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 5]  
						
						 
						
						
						
						
					 
					
						2017-11-24 01:19:39 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9b03f3628c
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 4]  
						
						 
						
						
						
						
					 
					
						2017-11-23 22:35:22 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						99028fe472
	 
				 
					 
					
						
						
							
							Add benchmark result [pc-e1-sh | ipc-2002 | depots-strips-automatic | 3]  
						
						 
						
						
						
						
					 
					
						2017-11-23 21:23:59 +01:00