| 
									
										
										
										
											2019-04-14 21:07:42 +02:00
										 |  |  | #!/usr/bin/env python | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | import os | 
					
						
							|  |  |  | import sys | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | datasets = ['MH_01_easy', 'MH_02_easy', 'MH_03_medium', 'MH_04_difficult', | 
					
						
							|  |  |  | 'MH_05_difficult', 'V1_01_easy', 'V1_02_medium', | 
					
						
							|  |  |  | 'V1_03_difficult', 'V2_01_easy', 'V2_02_medium'] | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | # Other results. | 
					
						
							|  |  |  | results_vio = [] | 
					
						
							|  |  |  | results_mapping = [] | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | out_dir = sys.argv[1] | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | for key in datasets: | 
					
						
							|  |  |  |     fname = out_dir + '/vio_' + key | 
					
						
							|  |  |  |     if os.path.isfile(fname):  | 
					
						
							| 
									
										
										
										
											2019-04-15 15:38:58 +00:00
										 |  |  |         with open(fname, 'r') as f: | 
					
						
							|  |  |  |             res = round(float(f.read()), 3) | 
					
						
							| 
									
										
										
										
											2019-04-14 21:07:42 +02:00
										 |  |  |         results_vio.append(float(res)) | 
					
						
							|  |  |  |     else: | 
					
						
							|  |  |  |         results_vio.append(float('Inf')) | 
					
						
							|  |  |  |      | 
					
						
							|  |  |  |     fname = out_dir + '/mapper_' + key | 
					
						
							|  |  |  |     if os.path.isfile(fname):  | 
					
						
							| 
									
										
										
										
											2019-04-15 15:38:58 +00:00
										 |  |  |         with open(fname, 'r') as f: | 
					
						
							|  |  |  |             res = round(float(f.read()), 3) | 
					
						
							| 
									
										
										
										
											2019-04-14 21:07:42 +02:00
										 |  |  |         results_mapping.append(float(res)) | 
					
						
							|  |  |  |     else: | 
					
						
							|  |  |  |         results_mapping.append(float('Inf')) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | row_format ="{:>17}" * (len(datasets)) | 
					
						
							|  |  |  | print row_format.format(*datasets) | 
					
						
							|  |  |  | print row_format.format(*results_vio) | 
					
						
							|  |  |  | print row_format.format(*results_mapping) | 
					
						
							|  |  |  | 
 |