Proofs for ML-12

All proofs across all clients for this model

ID	Client	Proved at	Duration	Status
2-1770257009	CL-09	02:03:41, 5th Feb 2026	4s	Proved
2-1770257009	CL-09	02:03:41, 5th Feb 2026	6s	Proved
2-1770257009	CL-09	02:03:37, 5th Feb 2026	5s	Proved
2-1770257009	CL-09	02:03:35, 5th Feb 2026	3s	Proved
2-1770257008	CL-09	02:03:32, 5th Feb 2026	4s	Proved
2-1770257008	CL-09	02:03:32, 5th Feb 2026	3s	Proved
2-1770256889	CL-09	02:02:01, 5th Feb 2026	4s	Proved
2-1770256889	CL-09	02:02:01, 5th Feb 2026	4s	Proved
2-1770256888	CL-09	02:01:57, 5th Feb 2026	5s	Proved
2-1770256889	CL-09	02:01:57, 5th Feb 2026	4s	Proved

Showing 3261 - 3270 of 1,723,786