| 
						
					 | 
					
						
						
							
						
						8c5349a277
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-1998 | gripper-round-1-strips | 15]
						
						
						
						
						
						
					 | 
					
						2017-12-14 20:47:57 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						20142bbb76
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-1998 | gripper-round-1-strips | 14]
						
						
						
						
						
						
					 | 
					
						2017-12-14 20:32:40 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7fae99e36e
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-1998 | gripper-round-1-strips | 13]
						
						
						
						
						
						
					 | 
					
						2017-12-14 20:17:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						06c7adad75
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-1998 | grid-round-2-strips | 2]
						
						
						
						
						
						
					 | 
					
						2017-12-14 20:02:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4fa1931337
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-1998 | grid-round-2-strips | 1]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:58:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						06058601a5
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 17]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:55:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7aebb583eb
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 16]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:40:25 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						149ad3ef26
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 15]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:25:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ab660be540
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 14]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:24:39 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6dcaab02c4
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 13]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:24:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						63e5f804dc
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 11]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:23:57 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						92ace4876c
	
				 
					 | 
					
						
						
							
							Add benchmark result [no-fd-gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 10]
						
						
						
						
						
						
					 | 
					
						2017-12-14 19:23:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						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 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |