c3b2536e9c
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-27 19:07:42 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						115c9f42cc
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-27 19:03:23 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f55fb59952
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 19:01:20 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f322aa1505
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 19:00:11 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						322c17f8bc
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 18:59:07 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						079efd5932
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-27 18:58:08 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						21929cf88f
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-27 18:57:01 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						04b64dd384
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-27 18:56:07 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f29e45b728
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-27 18:55:15 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						2908c1b664
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-27 18:54:25 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ed87c1e2f4
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 18:32:40 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						39ced44d18
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 18:21:31 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						c3dbb1b4d8
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 18:12:44 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						a4646d0984
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-27 18:02:51 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						5894ba69f7
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-27 17:59:53 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						27c3acb20e
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-27 17:38:47 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						bb3e091306
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-27 17:30:20 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						8305914e86
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 8]  
						
						 
						
						
						
						
					 
					
						2017-11-27 17:12:31 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b582d96332
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-27 17:02:55 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						7ae1ed7344
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 6]  
						
						 
						
						
						
						
					 
					
						2017-11-27 16:53:36 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						01d4487289
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 5]  
						
						 
						
						
						
						
					 
					
						2017-11-27 16:46:49 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						43b77abcb2
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 4]  
						
						 
						
						
						
						
					 
					
						2017-11-27 16:15:48 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						4ef65856c4
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 3]  
						
						 
						
						
						
						
					 
					
						2017-11-27 15:44:44 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						be72ef1e28
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 2]  
						
						 
						
						
						
						
					 
					
						2017-11-27 15:42:47 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ab358dded5
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 1]  
						
						 
						
						
						
						
					 
					
						2017-11-27 15:11:44 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						7054a3f6a7
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-1998 | mystery-round-1-strips | 30]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:55:15 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						2e514cec97
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-1998 | mystery-round-1-strips | 29]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:53:54 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						de0a3ac315
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-1998 | mystery-round-1-strips | 27]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:52:53 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						d43ee9faec
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-1998 | mystery-round-1-strips | 26]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:51:44 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						045eff15cb
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-1998 | mystery-round-1-strips | 20]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:50:40 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						90a4253369
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-1998 | mystery-round-1-strips | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:48:08 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ffb0aa5ba5
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-1998 | mystery-round-1-strips | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:46:25 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						868edfa3f4
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-1998 | mystery-round-1-strips | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:43:17 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						fcf52106d8
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-1998 | mystery-round-1-strips | 10]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:39:35 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						2c17b13d78
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-1998 | mystery-round-1-strips | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:33:26 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b6da8842b5
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-1998 | mystery-round-1-strips | 6]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:31:23 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						33a2ede1fa
	 
				 
					 
					
						
						
							
							Add benchmark result [gc-ta7-tt1 | ipc-1998 | mystery-round-1-strips | 2]  
						
						 
						
						
						
						
					 
					
						2017-11-27 14:28:19 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						fe532cc0af
	 
				 
					 
					
						
						
							
							Remove results with errors  
						
						 
						
						... 
						
						
						
						Due to minor bugs in the planner, three configurations had errors. This
removes the affected results in order to rerun them with the fixed
planner. As the bugfixes address these configurations only, the other
results are unspoiled by this change. 
						
						
					 
					
						2017-11-27 14:24:36 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						c6e0d1ee5b
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 18]  
						
						 
						
						
						
						
					 
					
						2017-11-27 11:31:56 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						2f3b48fd82
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 17]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:55:08 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						f426aabe71
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:31:39 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						cdd066721b
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:27:14 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						7277d6402f
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 13]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:23:42 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e33aadec11
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 12]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:20:34 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						98fa230b9c
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 11]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:17:00 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						ecc00d6e78
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 9]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:14:15 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						e6429c44ae
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 7]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:11:32 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						9d195b945b
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 19]  
						
						 
						
						
						
						
					 
					
						2017-11-27 10:08:50 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						b9e96bb0c5
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 15]  
						
						 
						
						
						
						
					 
					
						2017-11-27 09:40:55 +01:00  
					
					
						 
						
						
							
							
							 
							
							
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
							
						
						83e7e68cf6
	 
				 
					 
					
						
						
							
							Add corrupt benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 14]  
						
						 
						
						
						
						
					 
					
						2017-11-27 09:25:54 +01:00