| 
						
					 | 
					
						
						
							
						
						296ac4ee85
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-30 14:59:33 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b394e80f96
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-30 14:44:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e754591dcf
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-30 14:43:33 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e991221151
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-30 14:28:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						67b9ae0983
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-30 14:27:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						665818c864
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 12]
						
						
						
						
						
						
					 | 
					
						2017-11-30 14:12:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0734a80dda
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-30 14:11:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						82d4f86d55
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 11]
						
						
						
						
						
						
					 | 
					
						2017-11-30 14:02:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0c89ef1525
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 10]
						
						
						
						
						
						
					 | 
					
						2017-11-30 14:01:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2215be2093
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 50]
						
						
						
						
						
						
					 | 
					
						2017-11-30 13:46:35 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ccf35e65f8
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 60]
						
						
						
						
						
						
					 | 
					
						2017-11-30 13:39:21 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						19ced5829c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 59]
						
						
						
						
						
						
					 | 
					
						2017-11-30 13:24:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a8de453799
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 58]
						
						
						
						
						
						
					 | 
					
						2017-11-30 13:08:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2de39375ee
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 57]
						
						
						
						
						
						
					 | 
					
						2017-11-30 12:53:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						86e130e002
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 56]
						
						
						
						
						
						
					 | 
					
						2017-11-30 12:38:13 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e1ef25a354
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 55]
						
						
						
						
						
						
					 | 
					
						2017-11-30 12:22:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						540342a650
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 54]
						
						
						
						
						
						
					 | 
					
						2017-11-30 12:07:39 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9aacdc27cd
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 53]
						
						
						
						
						
						
					 | 
					
						2017-11-30 11:52:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3d46155b99
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 52]
						
						
						
						
						
						
					 | 
					
						2017-11-30 11:37:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7b184afa4c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 51]
						
						
						
						
						
						
					 | 
					
						2017-11-30 11:21:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f89ef94156
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 50]
						
						
						
						
						
						
					 | 
					
						2017-11-30 11:06:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						51f08a0883
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 49]
						
						
						
						
						
						
					 | 
					
						2017-11-30 10:51:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d9d4a3b9b0
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 48]
						
						
						
						
						
						
					 | 
					
						2017-11-30 10:35:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b6fe56b96e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 47]
						
						
						
						
						
						
					 | 
					
						2017-11-30 10:35:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6ebe68793c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 46]
						
						
						
						
						
						
					 | 
					
						2017-11-30 10:19:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2fbb84b796
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 45]
						
						
						
						
						
						
					 | 
					
						2017-11-30 10:04:35 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fb846c1853
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 44]
						
						
						
						
						
						
					 | 
					
						2017-11-30 09:49:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						557d16620e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 43]
						
						
						
						
						
						
					 | 
					
						2017-11-30 09:34:01 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ed563c3000
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 42]
						
						
						
						
						
						
					 | 
					
						2017-11-30 09:32:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d482449501
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 41]
						
						
						
						
						
						
					 | 
					
						2017-11-30 09:29:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f6acb756e4
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 40]
						
						
						
						
						
						
					 | 
					
						2017-11-30 09:14:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5dcfa73bbf
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 39]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:59:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9f230aea97
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 36]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:58:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f4714cc078
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:54:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cc52708a2f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 7]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:51:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						448783adf2
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 4]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:35:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d913db93bf
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:20:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5b4ce2de21
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:17:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8ae5a6fee7
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:14:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4bce23fbb3
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 19]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:10:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						080c4544a0
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:07:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3d4a5c2206
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:04:25 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						095cdba40a
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-30 08:01:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ebb7f7ff42
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 15]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:58:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c6004736a1
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:55:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8c342b02a1
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:51:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7d7850a1c6
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:48:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b612ab14b2
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 14]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:45:46 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ed29a07453
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:42:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						138e7b6207
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 13]
						
						
						
						
						
						
					 | 
					
						2017-11-30 07:39:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |