| 
						
					 | 
					
						
						
							
						
						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 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5b6ffb4219
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 8]
						
						
						
						
						
						
					 | 
					
						2017-12-02 00:03:51 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d8f8ea4b78
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 8]
						
						
						
						
						
						
					 | 
					
						2017-12-01 23:58:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						04315fbd26
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 7]
						
						
						
						
						
						
					 | 
					
						2017-12-01 23:58:06 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e20bb84dc4
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 7]
						
						
						
						
						
						
					 | 
					
						2017-12-01 23:52:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e86a9ce028
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 6]
						
						
						
						
						
						
					 | 
					
						2017-12-01 23:52:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2a4e8e46af
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 6]
						
						
						
						
						
						
					 | 
					
						2017-12-01 23:47:00 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						681c164692
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 5]
						
						
						
						
						
						
					 | 
					
						2017-12-01 23:46:43 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7ff759b34f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 5]
						
						
						
						
						
						
					 | 
					
						2017-12-01 23:41:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c1dddb9eda
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 4]
						
						
						
						
						
						
					 | 
					
						2017-12-01 23:40:59 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |