| 
						
					 | 
					
						
						
							
						
						fcd43aa365
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 15]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:38:57 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						101ef7ded5
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 14]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:38:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e350c85e82
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 14]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:38:13 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8377673ac6
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 13]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:37:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						adce1667c9
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 13]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:37:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						15d424d25b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 12]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:37:13 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						795d375149
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 12]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:21:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3a1e51e61c
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 11]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:21:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8a86cca2d9
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 11]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:14:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ca524e237b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 10]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:14:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2f454db8ba
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 10]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:13:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						37d56824d7
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 9]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:13:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4846c284ba
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 9]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:13:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a96aa25703
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 8]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:12:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9d97beb29d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 8]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:12:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						65fa4f517e
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 7]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:12:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d77650dd13
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 7]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:11:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6865ef4ce3
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 6]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:11:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1c9c68bc0a
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 6]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:10:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bcb95740af
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 5]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:10:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5fa25bb0c7
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 5]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:10:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a1ac1fa187
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 4]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:09:53 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						34420890f5
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 4]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:09:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9a7d55d916
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 3]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:09:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						742551dfb0
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 3]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:08:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						94597f17c4
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 2]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:08:27 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						577dfa0a78
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 2]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:07:59 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6fb3ea4aa1
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 1]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:07:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						347c5db772
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 1]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:07:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						512f8ae1c3
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 40]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:07:01 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dc3897c423
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 40]
						
						
						
						
						
						
					 | 
					
						2017-12-02 04:51:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c733b16f8b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 39]
						
						
						
						
						
						
					 | 
					
						2017-12-02 04:46:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f241d23069
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 39]
						
						
						
						
						
						
					 | 
					
						2017-12-02 04:31:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7848aa746b
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 38]
						
						
						
						
						
						
					 | 
					
						2017-12-02 04:26:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fff8f39634
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 38]
						
						
						
						
						
						
					 | 
					
						2017-12-02 04:11:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f21e191b25
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 37]
						
						
						
						
						
						
					 | 
					
						2017-12-02 04:07:59 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0bdae4fa3c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 37]
						
						
						
						
						
						
					 | 
					
						2017-12-02 03:52:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0dc8164813
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 36]
						
						
						
						
						
						
					 | 
					
						2017-12-02 03:49:44 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3b3076c375
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 36]
						
						
						
						
						
						
					 | 
					
						2017-12-02 03:34:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8c1be6f28c
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 35]
						
						
						
						
						
						
					 | 
					
						2017-12-02 03:32:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6db08532b4
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 35]
						
						
						
						
						
						
					 | 
					
						2017-12-02 03:17:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						66fb424a32
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 34]
						
						
						
						
						
						
					 | 
					
						2017-12-02 03:15:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7987058cb3
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 34]
						
						
						
						
						
						
					 | 
					
						2017-12-02 03:13:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						aa3f52bcd6
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 33]
						
						
						
						
						
						
					 | 
					
						2017-12-02 03:12:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						62cff9c406
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 33]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:57:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8b7d527277
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 32]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:56:26 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a4c15b3ee0
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 32]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:41:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f58889c419
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 31]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:40:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bcc2aab20f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 31]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:39:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						058c4b00d2
	
				 
					 | 
					
						
						
							
							Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 30]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:38:49 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |