mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > Hardware > GPU Computing > GpuOwl

Reply
 
Thread Tools
Old 2020-11-01, 04:59   #1
preda
 
preda's Avatar
 
"Mihai Preda"
Apr 2015

53×11 Posts
Default Bad proofs in v7.1

It seems something is broken with the proof generation, probably concerning Proof v2 (v7.1).

I'm investigating. In the meantime please double-check the generated proofs if using v7.1 with -verify before uploading them. I'll update here when I know more.
preda is offline   Reply With Quote
Old 2020-11-01, 06:23   #2
preda
 
preda's Avatar
 
"Mihai Preda"
Apr 2015

53·11 Posts
Default

Quote:
Originally Posted by preda View Post
It seems something is broken with the proof generation, probably concerning Proof v2 (v7.1).

I'm investigating. In the meantime please double-check the generated proofs if using v7.1 with -verify before uploading them. I'll update here when I know more.
Should be fixed in the latest commit, tagged with v7.2.

Please don't generate proofs with v7.1 -- upgrade to v7.2 if you were using 7.1 before.

The bug was affecting only proofs generated with self-verify enabled (ironically..)
preda is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Leyland Primes: ECPP proofs Batalov XYYXF Project 20 2021-11-07 20:36
Share N+/-1 Primality Proofs wblipp FactorDB 432 2021-11-02 16:57
Avoidance of self- & other-deception in proofs cheesehead Soap Box 71 2010-01-14 09:04
Status of GIMPS proofs Brian-E Information & Answers 7 2007-08-02 23:15
Collection of Proofs? Orgasmic Troll Math 1 2004-12-30 15:10

All times are UTC. The time now is 23:07.


Wed Jan 26 23:07:52 UTC 2022 up 187 days, 17:36, 1 user, load averages: 1.58, 1.73, 1.70

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2022, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.

≠ ± ∓ ÷ × · − √ ‰ ⊗ ⊕ ⊖ ⊘ ⊙ ≤ ≥ ≦ ≧ ≨ ≩ ≺ ≻ ≼ ≽ ⊏ ⊐ ⊑ ⊒ ² ³ °
∠ ∟ ° ≅ ~ ‖ ⟂ ⫛
≡ ≜ ≈ ∝ ∞ ≪ ≫ ⌊⌋ ⌈⌉ ∘ ∏ ∐ ∑ ∧ ∨ ∩ ∪ ⨀ ⊕ ⊗ 𝖕 𝖖 𝖗 ⊲ ⊳
∅ ∖ ∁ ↦ ↣ ∩ ∪ ⊆ ⊂ ⊄ ⊊ ⊇ ⊃ ⊅ ⊋ ⊖ ∈ ∉ ∋ ∌ ℕ ℤ ℚ ℝ ℂ ℵ ℶ ℷ ℸ 𝓟
¬ ∨ ∧ ⊕ → ← ⇒ ⇐ ⇔ ∀ ∃ ∄ ∴ ∵ ⊤ ⊥ ⊢ ⊨ ⫤ ⊣ … ⋯ ⋮ ⋰ ⋱
∫ ∬ ∭ ∮ ∯ ∰ ∇ ∆ δ ∂ ℱ ℒ ℓ
𝛢𝛼 𝛣𝛽 𝛤𝛾 𝛥𝛿 𝛦𝜀𝜖 𝛧𝜁 𝛨𝜂 𝛩𝜃𝜗 𝛪𝜄 𝛫𝜅 𝛬𝜆 𝛭𝜇 𝛮𝜈 𝛯𝜉 𝛰𝜊 𝛱𝜋 𝛲𝜌 𝛴𝜎 𝛵𝜏 𝛶𝜐 𝛷𝜙𝜑 𝛸𝜒 𝛹𝜓 𝛺𝜔