| 
						
					 | 
					
						
						
							
						
						37e91e0f9c
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 3]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:16:05 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						42fda8481f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 3]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:15:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a35d2925bc
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 2]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:15:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a610a996c3
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 2]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:15:02 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cfb7ac2b42
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 1]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:14:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						33bc76a9ce
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 1]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:14:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						829954e76d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 30]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:14:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e3588c4e1c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 30]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:08:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5bdfcdb0d2
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 29]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:07:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						285242be5c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 29]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:02:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4cb5c10b3f
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 28]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:01:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						31f5dbd84c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 28]
						
						
						
						
						
						
					 | 
					
						2017-12-02 01:55:59 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						066e40cc62
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 27]
						
						
						
						
						
						
					 | 
					
						2017-12-02 01:55:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1352f65c91
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 27]
						
						
						
						
						
						
					 | 
					
						2017-12-02 01:49:44 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ccfed4f082
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 26]
						
						
						
						
						
						
					 | 
					
						2017-12-02 01:49:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8e6c58fb20
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 26]
						
						
						
						
						
						
					 | 
					
						2017-12-02 01:43:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						768bc11954
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 25]
						
						
						
						
						
						
					 | 
					
						2017-12-02 01:43:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						41d9a4372d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 25]
						
						
						
						
						
						
					 | 
					
						2017-12-02 01:37:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						561d65b24b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 24]
						
						
						
						
						
						
					 | 
					
						2017-12-02 01:37:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5287f38146
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 24]
						
						
						
						
						
						
					 | 
					
						2017-12-02 01:31:39 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2e5b0220ad
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 23]
						
						
						
						
						
						
					 | 
					
						2017-12-02 01:31:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7cc9c7f571
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 23]
						
						
						
						
						
						
					 | 
					
						2017-12-02 01:25:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ea5b998bcb
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 22]
						
						
						
						
						
						
					 | 
					
						2017-12-02 01:25:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1fcc71777c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 22]
						
						
						
						
						
						
					 | 
					
						2017-12-02 01:19:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7dd8f3060a
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 21]
						
						
						
						
						
						
					 | 
					
						2017-12-02 01:19:33 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d4a4171864
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 21]
						
						
						
						
						
						
					 | 
					
						2017-12-02 01:13:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						db2af525b0
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 20]
						
						
						
						
						
						
					 | 
					
						2017-12-02 01:13:25 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fb39da5298
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 20]
						
						
						
						
						
						
					 | 
					
						2017-12-02 01:07:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						514d980869
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 19]
						
						
						
						
						
						
					 | 
					
						2017-12-02 01:07:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6865614722
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 19]
						
						
						
						
						
						
					 | 
					
						2017-12-02 01:01:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cc9188b8c0
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 18]
						
						
						
						
						
						
					 | 
					
						2017-12-02 01:01:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4bd79e3a7d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 18]
						
						
						
						
						
						
					 | 
					
						2017-12-02 00:56:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						209b387317
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 17]
						
						
						
						
						
						
					 | 
					
						2017-12-02 00:55:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						62790912b9
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 17]
						
						
						
						
						
						
					 | 
					
						2017-12-02 00:50:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d7092013ff
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 16]
						
						
						
						
						
						
					 | 
					
						2017-12-02 00:50:00 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						da34a38dbf
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 16]
						
						
						
						
						
						
					 | 
					
						2017-12-02 00:44:28 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6e8664b104
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 15]
						
						
						
						
						
						
					 | 
					
						2017-12-02 00:44:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						032055f084
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 15]
						
						
						
						
						
						
					 | 
					
						2017-12-02 00:38:44 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						566d52a5b9
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 14]
						
						
						
						
						
						
					 | 
					
						2017-12-02 00:38:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						73d4850a1a
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 14]
						
						
						
						
						
						
					 | 
					
						2017-12-02 00:32:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						361023204d
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 13]
						
						
						
						
						
						
					 | 
					
						2017-12-02 00:32:39 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						785327cac3
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 13]
						
						
						
						
						
						
					 | 
					
						2017-12-02 00:27:10 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8dc8f4b8cf
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 12]
						
						
						
						
						
						
					 | 
					
						2017-12-02 00:26:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3bbac6b963
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 12]
						
						
						
						
						
						
					 | 
					
						2017-12-02 00:21:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7e46734b7b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 11]
						
						
						
						
						
						
					 | 
					
						2017-12-02 00:21:00 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f347929805
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 11]
						
						
						
						
						
						
					 | 
					
						2017-12-02 00:15:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d9e0fccdb2
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 10]
						
						
						
						
						
						
					 | 
					
						2017-12-02 00:15:17 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						123821391f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 10]
						
						
						
						
						
						
					 | 
					
						2017-12-02 00:09:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4645026487
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 9]
						
						
						
						
						
						
					 | 
					
						2017-12-02 00:09:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c96c1500f3
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 9]
						
						
						
						
						
						
					 | 
					
						2017-12-02 00:04:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |