| 
						
					 | 
					
						
						
							
						
						7b476c619b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 20]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:48:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a1ceeb4b3b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 20]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:46:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						71ed32e9de
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:46:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						62773544e3
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:45:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4c3281e6b3
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:44:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						607c0eac24
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:43:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fb6f06e6c8
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:43:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b8cb804272
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:42:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ad6300814c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:42:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8efc14995d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:42:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b0be395d05
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:41:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1b76edfbdb
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:41:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a84e1939d4
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:40:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d073940f95
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:40:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						791b444447
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:40:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fd67428010
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:39:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4faaba769a
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 22]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:39:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						efcdf0298f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 22]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:38:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8b045939cb
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 21]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:37:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6c9b5ee228
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 21]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:37:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						df400bdfa4
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 20]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:36:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						703e043078
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:36:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9e240cab4e
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 18]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:35:43 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9db4e55eca
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 17]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:35:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						75d585cb05
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 16]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:34:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e34022e1fd
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:34:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7310edfe60
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:33:35 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						21699d1650
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:33:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						96c2847dc8
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:32:43 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2af0e3c083
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:32:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fc4b6ce802
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:31:44 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3d63f32a7e
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 9]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:31:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						99bdb78cd8
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 8]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:30:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						401f14d093
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:30:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a8c4f06cfc
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 6]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:30:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5db3ace6cf
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 5]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:29:44 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e6986f00e3
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:29:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						26dbf7d3a6
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 3]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:28:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a1a0340794
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:28:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bebff7e4ae
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 2]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:28:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ff9a60a805
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:27:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						eee355038d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 1]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:27:35 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9d9047f5e8
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 60]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:27:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						73bfaaa095
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 60]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:12:01 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7e5c10efa3
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 59]
						
						
						
						
						
						
					 | 
					
						2017-11-29 12:11:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2c73f2e46c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 59]
						
						
						
						
						
						
					 | 
					
						2017-11-29 11:55:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2ff40ee42c
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 58]
						
						
						
						
						
						
					 | 
					
						2017-11-29 11:55:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						374eb028e5
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 58]
						
						
						
						
						
						
					 | 
					
						2017-11-29 11:39:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c3c1b4618c
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 57]
						
						
						
						
						
						
					 | 
					
						2017-11-29 11:39:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						94a3ea35ed
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 57]
						
						
						
						
						
						
					 | 
					
						2017-11-29 11:23:39 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |