feat(benchmarks): add projective-plane Zarankiewicz certificate #1861

Job	Run time
Plan Benchmarks	22s
Benchmark Contracts, Adapters, Records & Digests	24s
Host Verifiers (test_zarankiewicz_projective_plane_certificate)	23s
Benchmark Static Quality	17s
Benchmark Inventory Validation	0s
Benchmark Oracle (conjecture-probes-v1/zarankiewicz-projective-plane-certificate)	1m 8s
Benchmark Validation	13s
Publish Benchmark Timings	17s
	3m 4s

Navigation Menu