# Mizar CNF Problems and Prover9 Proofs (1439 New Bounties)

I used reportbounties to get a list of all bounties to doublecheck the bounties are there. They are, but I noticed some problems had multiple 25 bar bounties. I now realize this happened because 18 of the 1439 problems are duplicates. To be specific 7 addresses correspond to 2 problems each and 1 address corresponds to 4 problems. I didn't think to check for this before, but it's only a few cases so I suppose it's not a huge deal. Essentially there are only 1429 problems. Here is a list of the 8 addresses with the multiple bounties and a list of the Mizar problems they were derived from.

TMZPAPyEPS2GSQjei1QuePMKCa7TyyrZ5LW: t6_cat_3 t7_cat_3

TMHf56pApyotpY8gCP4bupxVi8DUpVHhmci: t8_complex2 t9_complex2

TMYojCRLszJwjbrkaAkLcncph364s5kmzbJ: t80_transgeo t51_transgeo

TMXeAgzusRtUTzsYk3AdMwsBvZ8ctA1FsET: t48_transgeo t75_transgeo

TMRXVZNXJVHJmuCnpoyvfY5hUPG8PZ9cJLp: t49_sin_cos3 t47_sin_cos3

TMZUqc5UpZHn6b2goxw31ZE6HtEKzdh2EYb: t47_yellow_4 t20_yellow_4

TMQco5oyqUAmmJMfsUmVPeWQusKwbwovorW: t25_tex_4 t26_tex_4

TMJBwMsMMNr2Svj6GbTq3jFce1E7H9mqmuE: t42_tdlat_1 t43_tdlat_1 t39_tdlat_1 t40_tdlat_1

**Complete thread:**

- Mizar CNF Problems and Prover9 Proofs -
**Brown**, 2021-09-05, 11:49- Mizar CNF Problems and Prover9 Proofs -
**BlakeKeiller**, 2021-09-05, 20:17- Mizar CNF Problems and Prover9 Proofs (1439 New Bounties) -
**BlakeKeiller**, 2021-09-12, 16:32- Mizar CNF Problems and Prover9 Proofs (1439 New Bounties) -
**Brown**, 2021-09-13, 19:00

- Mizar CNF Problems and Prover9 Proofs (1439 New Bounties) -

- Mizar CNF Problems and Prover9 Proofs (1439 New Bounties) -

- Mizar CNF Problems and Prover9 Proofs -