mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > PrimeNet

Reply
 
Thread Tools
Old 2018-04-12, 00:22   #1486
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

932310 Posts
Default

Quote:
Originally Posted by retina View Post
That now leaves us with the 2 missing tests, out of 5 total, that are listed as "Status Unproven".
And the world ends, as we know it...
chalsall is online now   Reply With Quote
Old 2018-04-12, 01:04   #1487
GP2
 
GP2's Avatar
 
Sep 2003

29×89 Posts
Default

Quote:
Originally Posted by GP2 View Post
The "Status Unproven" columns merely refer to exponents that haven't been verified with matching residues, which may or may not be currently assigned. The two LLERR could perhaps be "Suspect" first-time results which haven't yet been assigned for another LL test.
And in fact that seems to be the case:

Code:
77732573        LL      Suspect;2017-09-13;Jamous;4DA09FAE8A06C8__;61108850
77879497        LL      Suspect;2018-02-12;arnaud;CD50EEEB710BBA__;58080809
The above listing doesn't show it, but 77732573 has error code 00010100 and 77879497 has error code 01000200.

Also, both of these have a single PRP result and a single LL result, and no current assignments.

When PRP testing was first introduced, it wasn't co-ordinated well with LL testing. So some exponents had both kinds of tests done, one of which will end up being redundant.

So I think the mystery is cleared up.

If anyone wants to double-check the PRP results:

Code:
PRP=1,2,77732573,-1,75,0,3,1
PRP=1,2,77879497,-1,75,0,3,1
GP2 is offline   Reply With Quote
Old 2018-04-12, 03:49   #1488
ATH
Einyen
 
ATH's Avatar
 
Dec 2003
Denmark

1011101000112 Posts
Default

Quote:
Originally Posted by retina View Post
That now leaves us with the 2 missing tests, out of 5 total, that are listed as "Status Unproven".
The 2 LLERR is accounted for and 2 of the 3 in NO-LL is in the Assignment list. But still the last of the 3 NO-LL is unaccounted for, which in my script count is in the Factored column.
ATH is offline   Reply With Quote
Old 2018-04-12, 07:23   #1489
GP2
 
GP2's Avatar
 
Sep 2003

258110 Posts
Default

Quote:
Originally Posted by ATH View Post
The 2 LLERR is accounted for and 2 of the 3 in NO-LL is in the Assignment list. But still the last of the 3 NO-LL is unaccounted for, which in my script count is in the Factored column.
Hmm, yes, I count 35813 Factored at the moment (which includes 77191483 and 77197033 which previously had one LL test done), but the statistics page currently shows 35812. It's not an updating problem, since it's updated hourly and it's been at that level for more than a few hours.

So there's a problem with the statistics report, and it doesn't seem to be related to PRPs at all.
GP2 is offline   Reply With Quote
Old 2018-04-12, 07:26   #1490
GP2
 
GP2's Avatar
 
Sep 2003

29×89 Posts
Default

Quote:
Originally Posted by chalsall View Post
And the world ends, as we know it...
A strange statement.

Much of science and of programming consists of sniffing out anomalies and investigating them.
GP2 is offline   Reply With Quote
Old 2018-04-13, 22:04   #1491
GP2
 
GP2's Avatar
 
Sep 2003

50258 Posts
Default

Quote:
Originally Posted by retina View Post
I don't see that extra assignment for 77231809. This link only shows two assignments. 77959619 and 77998639.

In your output why is the ordering not correct? 77231809 appears out of order. Did the server output it in that order?
If you click on the link to 77231809, the assignment shows up there. The original tester has a self-double-check assigned, or possibly this reflects a hung original assignment.

There is something weird though, because 6.0% done as of 2018-04-09 has turned into 0.0% done as of 2018-04-12.

I am now poaching that PRP double check and we'll see if anything changes when it completes in a few weeks.

In my original output I sorted by work type, which is why the assignments appeared out of order.
GP2 is offline   Reply With Quote
Old 2018-04-18, 04:49   #1492
petrw1
1976 Toyota Corona years forever!
 
petrw1's Avatar
 
"Wayne"
Nov 2006
Saskatchewan, Canada

446510 Posts
Default

GIMPS Milestones Report

Warning: odbc_exec(): SQL error: [Microsoft][ODBC SQL Server Driver][SQL Server]Cannot insert the value NULL into column 'm_value', table 'primenet.dbo.t_gimps_milestones'; column does not allow nulls. UPDATE fails., SQL state 23000 in SQLExecDirect in C:\inetpub\www\report_milestones\default.php on line 38 Warning: odbc_fetch_array() expects parameter 1 to be resource, boolean given in C:\inetpub\www\report_milestones\default.php on line 39 Warning: odbc_free_result() expects parameter 1 to be resource, boolean given in C:\inetpub\www\report_milestones\default.php on line 42

Progress toward next GIMPS milestones (last updated UTC, updates every 15 minutes)

====================================

A minute later no error

Last fiddled with by petrw1 on 2018-04-18 at 05:31
petrw1 is online now   Reply With Quote
Old 2018-04-18, 20:09   #1493
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

29·113 Posts
Default

Quote:
Originally Posted by petrw1 View Post
GIMPS Milestones Report

Warning: odbc_exec(): SQL error: [Microsoft][ODBC SQL Server Driver][SQL Server]Cannot insert the value NULL into column 'm_value', table 'primenet.dbo.t_gimps_milestones'; column does not allow nulls. UPDATE fails., SQL state 23000 in SQLExecDirect in C:\inetpub\www\report_milestones\default.php on line 38 Warning: odbc_fetch_array() expects parameter 1 to be resource, boolean given in C:\inetpub\www\report_milestones\default.php on line 39 Warning: odbc_free_result() expects parameter 1 to be resource, boolean given in C:\inetpub\www\report_milestones\default.php on line 42

Progress toward next GIMPS milestones (last updated UTC, updates every 15 minutes)

====================================

A minute later no error
On the one hand we shouldn't be displaying the raw PHP errors to everyone, but on the other hand it's useful for troubleshooting. LOL

In this case it sounds like the routine that updates those milestones every 15 minutes hung up on something or another... probably not really NULL data but something else along the way. I'm glad it self-corrected. "m_value" is the # of exponents left to test... it should never be null ordinarily... zero maybe, but not NULL.
Madpoo is offline   Reply With Quote
Old 2018-04-19, 01:02   #1494
retina
Undefined
 
retina's Avatar
 
"The unspeakable one"
Jun 2006
My evil lair

587910 Posts
Default

Now the reports seem to be conflicting about what is happening.
Quote:
Originally Posted by https://www.mersenne.org/report_milestones/
April 18, 2018 All exponents below 78 million tested at least once.
Code:
----------=-----=-- | -----=-----=-----=-----=----- | -----=-----=-----=----- | -----=-----=-----=----- |
  Exponent Range    | Composite  | Status Unproven  |        Assigned         |        Available        |
   Start   Count  P |   F   LL-D | LL   LLERR NO-LL |  TF    P-1   LL   LL-D  |  TF    P-1   LL   LL-D  |
----------=-----=-- | -----=-----=-----=-----=----- | -----=-----=-----=----- | -----=-----=-----=----- |
  77000000 55009  1 | 35812   607 18586     2     1 |                 1    35 |                   18552 |
So which is it? Both can't be right.
retina is offline   Reply With Quote
Old 2018-04-19, 07:01   #1495
S485122
 
S485122's Avatar
 
Sep 2006
Brussels, Belgium

1,597 Posts
Default Active Assignmnets page

As stated earlier by me, there is something weird on the Active Assignments page. The problem only seem to exist in the double-check range. (In the "first-time" range I did not see this kind of behaviour.)

When one checks the "Exclude double-check assignments" tick box, the current active TF assignments are not shown.

For instance at this moment :

Excluding no category all 936 active assignments are shown.
https://www.mersenne.org/assignments...xp_hi=45000000

Excluding trial factoring assignments 847 assignments are shown.
https://www.mersenne.org/assignments...5000000&extf=1

Excluding double-check assignments 0 assignments are returned, there should be 89 trial factoring assignments.
https://www.mersenne.org/assignments...00000&exdchk=1

Jacob
S485122 is offline   Reply With Quote
Old 2018-04-19, 22:53   #1496
GP2
 
GP2's Avatar
 
Sep 2003

A1516 Posts
Default

Quote:
Originally Posted by retina View Post
Now the reports seem to be conflicting about what is happening.
Code:
----------=-----=-- | -----=-----=-----=-----=----- | -----=-----=-----=----- | -----=-----=-----=----- |
  Exponent Range    | Composite  | Status Unproven  |        Assigned         |        Available        |
   Start   Count  P |   F   LL-D | LL   LLERR NO-LL |  TF    P-1   LL   LL-D  |  TF    P-1   LL   LL-D  |
----------=-----=-- | -----=-----=-----=-----=----- | -----=-----=-----=----- | -----=-----=-----=----- |
  77000000 55009  1 | 35812   607 18586     2     1 |                 1    35 |                   18552 |
So which is it? Both can't be right.
There is no contradiction here. All exponents below 78 million have been tested at least once.

The entire 77M range is fully first-time tested if every exponent has either been factored, or had at least one non-Suspect LL test done, or had at least one PRP test done. That is already the case, and the range is done.

I counted 35813 exponents that have at least one factor, 18953 exponents that have had at least one non-Suspect LL test done and no PRP tests (including the one Mersenne prime), 156 exponents that have had at least one PRP test done and no LL tests, and 85 exponents that have had both at least one non-Suspect LL test and at least one PRP test.

Finally, there are two exponents 77732573 and 77879497 that have each had one PRP test and one Suspect LL test. Those are the "2" in the LLERR column, but that's just a display anomaly. They have already been cleared by virtue of the PRP test.

The simplest way of resolving the display anomaly is to do early double-checks of those two PRP results, which I have now started. This should shift that "2" into the confirmed composite column.

This sort of thing shouldn't be an issue because going forward there won't be too many more cases of the same exponent having both PRP and LL tests done on it. That was caused by confusion in manual assignments in the early days of gpuOwL implementing PRP testing.


Similarly, the outstanding NO-LL is most likely due to a hung assignment on M77231809. The system seems to think that the first-time PRP assignment is still outstanding, despite the fact that the result was already submitted. No LL test was ever done on this exponent, nor should it be at this point. Again, doing an early PRP double-check will likely resolve the problem, by shifting it into confirmed-composite status. I am poaching this exponent to do that, it's about 25% complete.




The real question, as ATH has pointed out, is why does it show 35812 factored exponents in the 77M range when in fact there are 35813? Maybe Madpoo could check the SQL that produces the https://www.mersenne.org/primenet/ report and figure out what's going on.
GP2 is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Official "Faits erronés dans de belles-lettres" thread ewmayer Lounge 39 2015-05-19 01:08
Official "all-Greek-to-me Fiction Literature and Cinema" Thread ewmayer Science & Technology 41 2014-04-16 11:54
Official "Lasciate ogne speranza" whinge-thread cheesehead Soap Box 56 2013-06-29 01:42
Official "Ernst is a deceiving bully and George is a meanie" thread cheesehead Soap Box 61 2013-06-11 04:30
Official "String copy Statement Considered Harmful" thread Dubslow Programming 19 2012-05-31 17:49

All times are UTC. The time now is 04:03.

Thu Nov 26 04:03:57 UTC 2020 up 77 days, 1:14, 3 users, load averages: 1.48, 1.50, 1.43

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2020, 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.