SANER2024-formality-underprod/verbose_data/expanded_data/121323_metadata_expanded.json

{"success_rate": 0.18627585262292837, "final_index": 21903, "total_success": 4080, "no_upstream_info": 7770}