Result ID: 135879184

Workunit ID:	105815861
Result name:	sf7_DS-16x12-11_Grp994181of3125000_651807876_0
Priority:	9000
Created:	05 Feb 2026, 13:39:05
Sent:	05 Feb 2026, 13:39:16
Received:	08 Feb 2026, 13:25:51
Report deadline:	10 Feb 2026, 13:39:05
Server state:	over
Outcome:	1 RESULT_OUTCOME_SUCCESS
Client state:	5
Exit status:	0
Computer:	ID: 91622,  owner: User,  team: Belarus
Validate state:	Valid.
CPU/Device time:	3,031.00 sec
Claimed credit:	107.21
Granted credit:	1,608.21
Application:	"Get Decic Fields", version: 400, platform: Windows_x86_64, plan_class: cpu.
data_in:	x^2 + 10 [2, 5] [[[5, [0, 1]~, 2, 1, [0, -10; 1, 0]], 5; [2, [0, 1]~, 2, 1, [0, -10; 1, 0]], 5], 3200000000000000, [[0, 0]~, [-100, -10]~, [0, 40]~, [150, -15]~, [-400, 32]~], [[0, 0]~, [250, -10]~, [-300, 0]~, [475, 10]~, [300, 32]~], [[0, 0]~, [50, -10]~, [100, 40]~, [-25, -20]~, [-100, 12]~], [[0, 0]~, [-500, -20]~, [-200, 0]~, [300, 25]~, [-200, -28]~], [[0, 0]~, [-350, -20]~, [-500, 20]~, [-125, 5]~, [-500, -28]~], [[0, 0]~, [-50, -30]~, [-300, 20]~, [175, 45]~, [-100, 12]~], [[0, 0]~, [450, -50]~, [10
stderr_txt:	Boinc Manager 8.2.8 <stderr_txt> numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-11_Grp994181of3125000_651807876_0.wu_checkpoint. Checkpoint Flag = 0. Reading file in K = x^2 + 10 S = [2, 5] Disc Bound = 3200000000000000 Skip = (P^5)*(Q^5) Num Congruences = 16 SCALE = 1.000000 |dK| = 40 Signature = [0,1] Opening output file out Now starting the targeted Martinet search: Num Cvecs = 16. Doing Cvec 1. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-11_Grp994181of3125000_651807876_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 0. N1 Start = 12. N2 Start = 51. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = 1. m1 Start = 15. m2 Start = 21. Poly Count value = 103843840. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 653 (sec). Reading file in K = x^2 + 10 S = [2, 5] Disc Bound = 3200000000000000 Skip = (P^5)*(Q^5) Num Congruences = 16 SCALE = 1.000000 |dK| = 40 Signature = [0,1] Opening output file out Now starting the targeted Martinet search: Num Cvecs = 16. Doing Cvec 1. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-11_Grp994181of3125000_651807876_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 0. N1 Start = 12. N2 Start = 51. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = 1. m1 Start = 15. m2 Start = 21. Poly Count value = 103843840. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 653 (sec). Reading file in K = x^2 + 10 S = [2, 5] Disc Bound = 3200000000000000 Skip = (P^5)*(Q^5) Num Congruences = 16 SCALE = 1.000000 |dK| = 40 Signature = [0,1] Opening output file out Now starting the targeted Martinet search: Num Cvecs = 16. Doing Cvec 1. Doing Cvec 2. Doing Cvec 3. Doing Cvec 4. Doing Cvec 5. Doing Cvec 6. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-11_Grp994181of3125000_651807876_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 5. N1 Start = -19. N2 Start = 41. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = -2. m1 Start = -10. m2 Start = -3. Poly Count value = 419737600. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 2622 (sec). Reading file in K = x^2 + 10 S = [2, 5] Disc Bound = 3200000000000000 Skip = (P^5)*(Q^5) Num Congruences = 16 SCALE = 1.000000 |dK| = 40 Signature = [0,1] Opening output file out Now starting the targeted Martinet search: Num Cvecs = 16. Doing Cvec 6. numBlocks = 10240. threadsPerBlock = 1. polyBufferSize = 10240. CHECKPOINT_FILE = sf7_DS-16x12-11_Grp994181of3125000_651807876_0.wu_checkpoint. Reading checkpoint file. Checkpoint Flag = 1. Checkpoint Data: Cvec Starting Index = 5. N1 Start = -19. N2 Start = 41. k1 Start = 0. k2 Start = 0. L1 Start = 1. L2 Start = -2. m1 Start = -10. m2 Start = -3. Poly Count value = 419737600. Poly Disc Count = 0. Irreducibility Count = 0. Field Disc Count = 0. Elapsed Time = 2622 (sec). Reading file in K = x^2 + 10 S = [2, 5] Disc Bound = 3200000000000000 Skip = (P^5)*(Q^5) Num Congruences = 16 SCALE = 1.000000 |dK| = 40 Signature = [0,1] Opening output file out Now starting the targeted Martinet search: Num Cvecs = 16. Doing Cvec 6. num