| 
						
					 | 
					
						
						
							
						
						22b98074b6
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 9]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:23:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9c199f369e
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 8]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:23:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						853404bb91
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 7]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:22:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a302faeaf6
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 5]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:22:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b2e024407e
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 4]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:22:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a74a30840d
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 2]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:21:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						500cbd8cad
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 17]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:21:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7e0a24a4cb
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 16]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:21:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						25ee531406
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 13]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:20:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5abf0c85de
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 11]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:20:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4f9cab66cb
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 10]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:17:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						deb0896a1b
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 8]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:16:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						298d703445
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 7]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:16:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7e1fe81392
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 6]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:15:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ad502a6c2d
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 5]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:05:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bd44b858c1
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 4]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:59:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b38cd4beae
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 3]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:59:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6ee8f4c9e3
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | elevator-strips-simple-typed | 45]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:59:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						952a57a9d2
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | elevator-strips-simple-typed | 44]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:58:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3908e68308
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | elevator-strips-simple-typed | 43]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:58:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7c51466297
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | elevator-strips-simple-typed | 42]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:58:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e1ce77e834
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | elevator-strips-simple-typed | 41]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:57:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4877f6c7fb
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | elevator-strips-simple-typed | 40]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:57:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4a84115381
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | elevator-strips-simple-typed | 39]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:57:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						14088d66c9
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | elevator-strips-simple-typed | 38]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:56:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dee9dcbc15
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | elevator-strips-simple-typed | 37]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:56:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a0f07faf2a
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | elevator-strips-simple-typed | 36]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:56:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fcd4d2da68
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | elevator-strips-simple-typed | 35]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:55:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						613263af81
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | elevator-strips-simple-typed | 34]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:55:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						aeae381f7b
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | elevator-strips-simple-typed | 33]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:55:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						54ff06d87c
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | elevator-strips-simple-typed | 32]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:55:01 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e0209d8675
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | elevator-strips-simple-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:54:43 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						72039ae8a6
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | elevator-strips-simple-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:54:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3dcfe74c8a
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | elevator-strips-simple-typed | 29]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:54:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						20574f346d
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | elevator-strips-simple-typed | 28]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:53:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2aa1ad4e76
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | elevator-strips-simple-typed | 27]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:53:33 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						698c9a731d
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | elevator-strips-simple-typed | 26]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:53:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						17ff06c35f
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 31]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:52:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						34917e4595
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 30]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:49:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6fc8f965a8
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 29]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:48:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						41682bf094
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 26]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:47:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4c51d14700
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 25]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:45:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						455e292490
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 24]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:44:25 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c59ef13e51
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 23]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:43:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dee1f22db8
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 22]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:43:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1ad2ab23ca
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 21]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:42:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5b32f79baa
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 20]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:41:35 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						233a5a78f8
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:39:35 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1c83a5e49b
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 18]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:39:01 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						44b64ff4f9
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 17]
						
						
						
						
						
						
					 | 
					
						2017-12-14 18:37:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |