| 
						
					 | 
					
						
						
							
						
						afac3def27
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 27]
						
						
						
						
						
						
					 | 
					
						2017-12-02 08:10:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ac9cdd0416
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 26]
						
						
						
						
						
						
					 | 
					
						2017-12-02 07:54:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e0d4038423
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 25]
						
						
						
						
						
						
					 | 
					
						2017-12-02 07:38:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a3fc7aa1cb
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 24]
						
						
						
						
						
						
					 | 
					
						2017-12-02 07:22:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						48db146e4b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 23]
						
						
						
						
						
						
					 | 
					
						2017-12-02 07:06:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f9695b98f7
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 22]
						
						
						
						
						
						
					 | 
					
						2017-12-02 06:51:01 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0a63322eb2
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 21]
						
						
						
						
						
						
					 | 
					
						2017-12-02 06:35:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f252a4c56f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 20]
						
						
						
						
						
						
					 | 
					
						2017-12-02 06:19:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						c78b6bfd0a
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 19]
						
						
						
						
						
						
					 | 
					
						2017-12-02 06:16:43 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						499eb94fb0
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 18]
						
						
						
						
						
						
					 | 
					
						2017-12-02 06:01:04 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						28f9ddb948
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 17]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:45:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fb4ed12a3f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 16]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:44:36 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fcd43aa365
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 15]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:38:57 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e350c85e82
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 14]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:38:13 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						adce1667c9
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 13]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:37:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						795d375149
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 12]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:21:52 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8a86cca2d9
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 11]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:14:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2f454db8ba
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 10]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:13:54 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4846c284ba
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 9]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:13:08 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						9d97beb29d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 8]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:12:22 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d77650dd13
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 7]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:11:42 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1c9c68bc0a
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 6]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:10:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5fa25bb0c7
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 5]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:10:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						34420890f5
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 4]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:09:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						742551dfb0
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 3]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:08:45 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						577dfa0a78
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 2]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:07:59 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						347c5db772
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | storage-propositional | 1]
						
						
						
						
						
						
					 | 
					
						2017-12-02 05:07:19 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						dc3897c423
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 40]
						
						
						
						
						
						
					 | 
					
						2017-12-02 04:51:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f241d23069
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 39]
						
						
						
						
						
						
					 | 
					
						2017-12-02 04:31:14 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fff8f39634
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 38]
						
						
						
						
						
						
					 | 
					
						2017-12-02 04:11:34 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						0bdae4fa3c
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 37]
						
						
						
						
						
						
					 | 
					
						2017-12-02 03:52:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3b3076c375
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 36]
						
						
						
						
						
						
					 | 
					
						2017-12-02 03:34:24 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6db08532b4
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 35]
						
						
						
						
						
						
					 | 
					
						2017-12-02 03:17:03 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7987058cb3
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 34]
						
						
						
						
						
						
					 | 
					
						2017-12-02 03:13:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						62cff9c406
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 33]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:57:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a4c15b3ee0
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 32]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:41:07 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						bcc2aab20f
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 31]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:39:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						792f9d1f88
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 30]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:37:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						aac700ee5b
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 29]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:36:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8020f05b69
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 28]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:35:15 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1346ab7e9a
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 27]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:34:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fce806a09d
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 26]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:33:23 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5ee57a5153
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 25]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:32:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						85c06517b6
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 24]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:31:31 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						5e181d000e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 23]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:30:29 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						25396c5bf4
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 22]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:29:33 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fa2740713e
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 21]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:28:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b36228b4f7
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 20]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:27:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e7cc809b9a
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 19]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:26:58 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						404c11e1a5
	
				 
					 | 
					
						
						
							
							Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 18]
						
						
						
						
						
						
					 | 
					
						2017-12-02 02:26:16 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |