files / problems / landau-n2-plus-1 / compute / q3 / n2p1.json
{
"n_max": 100000000,
"count_prime": 3954181,
"count_p2_omega_eq_2_composite": 12172983,
"count_iwaniec_p2": 16127164,
"count_omega_le2_composite_diagnostic": 12914417,
"unsplit": 0,
"omega_hist": {
"1": 3954181,
"2": 12172983,
"3": 15562537,
"4": 11140174,
"5": 5081818,
"6": 1610082,
"7": 386099,
"8": 75996,
"9": 13352,
"10": 2346,
"11": 355,
"12": 64,
"13": 14
},
"first_prime_n": [
1,
2,
4,
6,
10,
14,
16,
20,
24,
26,
36,
40,
54,
56,
66,
74,
84,
90,
94,
110,
116,
120,
124,
126,
130,
134,
146,
150,
156,
160
],
"first_prime_values": [
2,
5,
17,
37,
101,
197,
257,
401,
577,
677,
1297,
1601,
2917,
3137,
4357,
5477,
7057,
8101,
8837,
12101,
13457,
14401,
15377,
15877,
16901,
17957,
21317,
22501,
24337,
25601
],
"last_prime_n": [
99999764,
99999786,
99999864,
99999874,
99999896,
99999950,
99999964,
99999966
],
"last_prime_values": [
9999952800055697,
9999957200045797,
9999972800018497,
9999974800015877,
9999979200010817,
9999990000002501,
9999992800001297,
9999993200001157
],
"first_p2_n": [
8,
12,
22,
28,
30,
34,
42,
44,
46,
48,
50,
52
],
"C_q_published": 1.372813462818246,
"C_q_truncated_product": 1.3727410102495463,
"bateman_horn_integral": 2881164.0862593185,
"bateman_horn_prediction": 3955300.846205223,
"wolf_li_prediction": 3955219.374050723,
"prime_over_bh": 0.9997168745820442,
"prime_over_wolf_li": 0.9997374673937088,
"iwaniec_shape_N_over_logN_3_2": 1264857.1685865733,
"wolf_A083844": [
{
"x": 1000000,
"pi_q": 112,
"wolf": 112,
"match": true
},
{
"x": 10000000,
"pi_q": 316,
"wolf": 316,
"match": true
},
{
"x": 100000000,
"pi_q": 841,
"wolf": 841,
"match": true
},
{
"x": 1000000000,
"pi_q": 2378,
"wolf": 2378,
"match": true
},
{
"x": 10000000000,
"pi_q": 6656,
"wolf": 6656,
"match": true
},
{
"x": 100000000000,
"pi_q": 18822,
"wolf": 18822,
"match": true
},
{
"x": 1000000000000,
"pi_q": 54110,
"wolf": 54110,
"match": true
},
{
"x": 10000000000000,
"pi_q": 156081,
"wolf": 156081,
"match": true
},
{
"x": 100000000000000,
"pi_q": 456362,
"wolf": 456362,
"match": true
},
{
"x": 1000000000000000,
"pi_q": 1339875,
"wolf": 1339875,
"match": true
},
{
"x": 10000000000000000,
"pi_q": 3954181,
"wolf": 3954181,
"match": true
}
],
"seconds_roots": 2.317769224,
"seconds_sieve_classify": 144.940052935,
"rss_kb": 95520,
"producer": "sieve_n2p1.c",
"note": "prime_n: n=1 and even n with n^2+1 prime by deterministic MR (bases 2,3,5,7,11,13,17,19,23; OEIS A014233). Iwaniec P2 means \u03a9(n^2+1)<=2 (multiplicity). n^2+1 is never a square for n>=1, so \u03a9=2 means a product of two primes. P2 list is complete on 1<=n<=n_max. Not a proof of infinitude. Did not beat Wolf/Grantham published complete lists.",
"prime_n_txt": "prime_n.txt",
"p2_txt": "p2_omega2.txt",
"prime_n_sha256": "ab3ea9a1215a6fd95dec7c1065712d1f2786870ebdc94bc587ff06a4dfee158b",
"p2_sha256": "74184d390df2ac94bac46d504bc63911c125ef6014b8593171f512c27e61dc3a",
"prime_n_bytes": 35069581,
"p2_bytes": 328310035,
"comparison_rows": [
{
"N": 1000,
"primes": 112,
"p2_composite": 231,
"iwaniec_p2": 343,
"bateman_horn": 121.09238862199471,
"wolf_li": 121.98341923839355,
"prime_over_bh": 0.9249136240067263,
"prime_over_wolf_li": 0.9181575717361813,
"iwaniec_p2_over_shape": 6.227296369707089
},
{
"N": 2000,
"primes": 209,
"p2_composite": 432,
"iwaniec_p2": 641,
"bateman_horn": 215.26710716579132,
"wolf_li": 216.15814042479738,
"prime_over_bh": 0.9708868333471653,
"prime_over_wolf_li": 0.9668847057495494,
"iwaniec_p2_over_shape": 6.716233287953214
},
{
"N": 5000,
"primes": 472,
"p2_composite": 986,
"iwaniec_p2": 1458,
"bateman_horn": 468.8748991341213,
"wolf_li": 469.76592937624656,
"prime_over_bh": 1.0066651059198304,
"prime_over_wolf_li": 1.0047557102038451,
"iwaniec_p2_over_shape": 7.248235026139136
},
{
"N": 10000,
"primes": 841,
"p2_composite": 1916,
"iwaniec_p2": 2757,
"bateman_horn": 854.5369135570216,
"wolf_li": 855.4279276834449,
"prime_over_bh": 0.984158772614428,
"prime_over_wolf_li": 0.9831336723801891,
"iwaniec_p2_over_shape": 7.706377621711199
},
{
"N": 20000,
"primes": 1559,
"p2_composite": 3659,
"iwaniec_p2": 5218,
"bateman_horn": 1570.1000911197104,
"wolf_li": 1570.9910392048296,
"prime_over_bh": 0.9929303289755277,
"prime_over_wolf_li": 0.9923672134941655,
"iwaniec_p2_over_shape": 8.131231376129938
},
{
"N": 50000,
"primes": 3613,
"p2_composite": 8516,
"iwaniec_p2": 12129,
"bateman_horn": 3545.5329465237646,
"wolf_li": 3546.4234313374013,
"prime_over_bh": 1.0190287481441638,
"prime_over_wolf_li": 1.0187728763785806,
"iwaniec_p2_over_shape": 8.633413336750118
},
{
"N": 100000,
"primes": 6656,
"p2_composite": 16470,
"iwaniec_p2": 23126,
"bateman_horn": 6609.147841020791,
"wolf_li": 6610.036674936114,
"prime_over_bh": 1.0070889863725567,
"prime_over_wolf_li": 1.0069535658157798,
"iwaniec_p2_over_shape": 9.03397867083565
},
{
"N": 200000,
"primes": 12391,
"p2_composite": 31953,
"iwaniec_p2": 44344,
"bateman_horn": 12379.256248571262,
"wolf_li": 12380.138538946581,
"prime_over_bh": 1.000948663731724,
"prime_over_wolf_li": 1.0008773295241609,
"iwaniec_p2_over_shape": 9.455158108331851
},
{
"N": 500000,
"primes": 28563,
"p2_composite": 76325,
"iwaniec_p2": 104888,
"bateman_horn": 28558.068944516494,
"wolf_li": 28558.907646389926,
"prime_over_bh": 1.0001726676790748,
"prime_over_wolf_li": 1.0001432951729368,
"iwaniec_p2_over_shape": 9.971807584768825
},
{
"N": 1000000,
"primes": 54110,
"p2_composite": 147612,
"iwaniec_p2": 201722,
"bateman_horn": 53969.84739913601,
"wolf_li": 53970.54997168725,
"prime_over_bh": 1.0025968685778837,
"prime_over_wolf_li": 1.002583817070345,
"iwaniec_p2_over_shape": 10.358662276711092
},
{
"N": 2000000,
"primes": 102205,
"p2_composite": 286275,
"iwaniec_p2": 388480,
"bateman_horn": 102312.02834735205,
"wolf_li": 102312.3117942153,
"prime_over_bh": 0.9989539025950235,
"prime_over_wolf_li": 0.9989511350849823,
"iwaniec_p2_over_shape": 10.73444321730351
},
{
"N": 5000000,
"primes": 239185,
"p2_composite": 687375,
"iwaniec_p2": 926560,
"bateman_horn": 239309.09240696134,
"wolf_li": 239307.61994457498,
"prime_over_bh": 0.9994814555280235,
"prime_over_wolf_li": 0.999487605348282,
"iwaniec_p2_over_shape": 11.226364168789203
},
{
"N": 10000000,
"primes": 456362,
"p2_composite": 1334083,
"iwaniec_p2": 1790445,
"bateman_horn": 456409.5251293722,
"wolf_li": 456404.5400175865,
"prime_over_bh": 0.9998958717407164,
"prime_over_wolf_li": 0.9999067931761045,
"iwaniec_p2_over_shape": 11.585948072757526
},
{
"N": 20000000,
"primes": 872121,
"p2_composite": 2593493,
"iwaniec_p2": 3465614,
"bateman_horn": 872370.5805103857,
"wolf_li": 872357.8428541088,
"prime_over_bh": 0.9997139054021748,
"prime_over_wolf_li": 0.9997285026367919,
"iwaniec_p2_over_shape": 11.944003605280422
},
{
"N": 50000000,
"primes": 2059567,
"p2_composite": 6250537,
"iwaniec_p2": 8310104,
"bateman_horn": 2060327.0779128687,
"wolf_li": 2060289.2933535231,
"prime_over_bh": 0.9996310887135267,
"prime_over_wolf_li": 0.9996494213915234,
"iwaniec_p2_over_shape": 12.405347350985274
},
{
"N": 100000000,
"primes": 3954181,
"p2_composite": 12172983,
"iwaniec_p2": 16127164,
"bateman_horn": 3955300.846205223,
"wolf_li": 3955219.374050723,
"prime_over_bh": 0.9997168745820442,
"prime_over_wolf_li": 0.9997374673937088,
"iwaniec_p2_over_shape": 12.750185871201136
}
],
"seconds_c_verify": 742.417176,
"verify_ok": "verify_ok.json"
}