/ concept-collection / fastandaccurate-results
Sign in
concept-collection / fastandaccurate-results
fastandaccurate-results / results / laplace-dirichlet-2d / laplace-dirichlet-2d.flower-15.mfs.i7-1355U.json
723 lines · 20.7 KBBlameHistoryRaw
1{
2 "format": "fastandaccurate-result",
3 "formatVersion": 1,
4 "problem": "laplace-dirichlet-2d",
5 "problemVersion": 1,
6 "instance": "flower-15",
7 "spec": {
8 "a": 0.2,
9 "d": 0.25,
10 "instance": "flower-15",
11 "k": 15,
12 "problem": "laplace-dirichlet-2d",
13 "problemVersion": 1
14 },
15 "specHash": "0f66b2d599e60ea851124485b5615a6027f9406a1c56bbb7deef269e96079970",
16 "solver": {
17 "id": "mfs",
18 "version": "1.0.0",
19 "backend": "cpu",
20 "source": "builtin"
21 },
22 "environment": {
23 "kind": "node",
24 "runtime": "node v24.14.1",
25 "numblVersion": "0.4.18",
26 "os": "linux 6.12.101+deb13-amd64",
27 "cpu": "13th Gen Intel(R) Core(TM) i7-1355U",
28 "machineLabel": "linux laptop (i7-1355U)",
29 "browserReproducible": true
30 },
31 "protocol": {
32 "warmupRuns": 2,
33 "minTimedRuns": 5,
34 "timeBudgetSeconds": 0.5,
35 "maxTimedRuns": 50,
36 "statistic": "min",
37 "timer": "numbl tic/toc"
38 },
39 "createdUtc": "2026-08-18T10:57:36.440Z",
40 "points": [
41 {
42 "n": 8,
43 "solveSeconds": 0.00019613900001047568,
44 "solveSecondsAll": [
45 0.00043363800000406627,
46 0.000313263000009556,
47 0.00034454900000469024,
48 0.0002618470000044226,
49 0.00029329499999164454,
50 0.00025995200000750174,
51 0.0004954230000038251,
52 0.0002400909999948908,
53 0.0002161910000069156,
54 0.00020624699999416407,
55 0.0002276049999920815,
56 0.00020867700000337663,
57 0.00023898499998153966,
58 0.00040736099998639475,
59 0.0002270079999959762,
60 0.0002098270000061575,
61 0.0002056959999947594,
62 0.00021329899999500412,
63 0.00020223599999269481,
64 0.00019939999999962765,
65 0.0006011430000114615,
66 0.0006146700000186911,
67 0.0005244809999993549,
68 0.0005052789999950846,
69 0.0005027610000070126,
70 0.0005145630000100709,
71 0.0005050039999900946,
72 0.0007190809999997327,
73 0.0002725439999835544,
74 0.0002779180000089809,
75 0.00023665199999811648,
76 0.00022540000000503824,
77 0.00021697399999709432,
78 0.0002107530000046154,
79 0.0003881830000125319,
80 0.00024780199998986063,
81 0.00021006000000056702,
82 0.00019772400000306334,
83 0.00019613900001047568,
84 0.0002114309999967645,
85 0.0002623409999955584,
86 0.0004646659999991698,
87 0.00026576399999100886,
88 0.00025279700000169214,
89 0.00023624800000732193,
90 0.00022608499999421383,
91 0.00023031400000661506,
92 0.00022571400000970243,
93 0.0004729079999918895,
94 0.00025302100000601513
95 ],
96 "coldSeconds": 0.008014549999998621,
97 "relMax": 0.38204782552148514,
98 "relL2": 0.1584666951340821
99 },
100 {
101 "n": 12,
102 "solveSeconds": 0.00024458899999046935,
103 "solveSecondsAll": [
104 0.00043645200000241857,
105 0.0011206730000026255,
106 0.0005489600000032624,
107 0.0003046170000118309,
108 0.0002946230000020478,
109 0.0002899549999995088,
110 0.0003183900000038875,
111 0.0003150649999952293,
112 0.00034457299999246516,
113 0.00033144900000081634,
114 0.00030025200000238783,
115 0.0003493960000042762,
116 0.0003212630000035688,
117 0.00032862599999816666,
118 0.0006536179999869773,
119 0.0003733709999949042,
120 0.00035900099999253143,
121 0.0002742780000062339,
122 0.0002648719999882587,
123 0.00025711899999691923,
124 0.00025649200000543715,
125 0.0002520629999906987,
126 0.000253776000008088,
127 0.00025259299999902396,
128 0.0002497920000053,
129 0.00026242099998796675,
130 0.00034190199998818116,
131 0.0003443159999960699,
132 0.0002902979999959143,
133 0.000595450000005826,
134 0.00042954100000258677,
135 0.0002801779999970222,
136 0.0002673899999905416,
137 0.00026009799999826555,
138 0.0002569039999968936,
139 0.00026072699999701854,
140 0.00025520900000230995,
141 0.00025103000000115117,
142 0.00024729700000136745,
143 0.0002690279999910672,
144 0.00024906699999860393,
145 0.00025021599999774935,
146 0.00024526299999649837,
147 0.00024458899999046935,
148 0.0005887929999914832,
149 0.0003618479999971669,
150 0.0002723500000030299,
151 0.0002636750000135635,
152 0.000256299999989551,
153 0.000253432000008047
154 ],
155 "coldSeconds": 0.006034166999995705,
156 "relMax": 0.2831351532514015,
157 "relL2": 0.09334533134504036
158 },
159 {
160 "n": 16,
161 "solveSeconds": 0.00031808100000318973,
162 "solveSecondsAll": [
163 0.0005752109999974664,
164 0.00036984199999778866,
165 0.000343175999987011,
166 0.0005668289999789522,
167 0.0004120899999975336,
168 0.00033293500000297627,
169 0.00031910799999934625,
170 0.00032156999999699565,
171 0.00033201000000815384,
172 0.00044205199999680644,
173 0.0004133380000013176,
174 0.00038224400000785863,
175 0.001410255000010352,
176 0.0004647389999945517,
177 0.0003981759999902579,
178 0.00038608200000567194,
179 0.0003919090000010783,
180 0.00036396800001625706,
181 0.0003572389999959569,
182 0.0003504980000030855,
183 0.0004045120000029101,
184 0.0003883690000208162,
185 0.002598034000001803,
186 0.0003989129999979468,
187 0.0003526130000039984,
188 0.00039282600000944967,
189 0.0003491500000052383,
190 0.0004053349999821876,
191 0.00041096899998649405,
192 0.00043230099998936566,
193 0.0003835540000096671,
194 0.00041388000001063574,
195 0.00031808100000318973,
196 0.00038101699999515404,
197 0.0004074070000115171,
198 0.00038768599999627895,
199 0.0003812559999971654,
200 0.0003786600000097451,
201 0.00037696200000425506,
202 0.00038033200000597844,
203 0.0004194409999911386,
204 0.00040108599999655326,
205 0.00032000400000242735,
206 0.0003642679999984466,
207 0.00038006899998777044,
208 0.00036792199999524655,
209 0.0004063869999981762,
210 0.00037329699999588684,
211 0.00041273799999430594,
212 0.0003978750000044329
213 ],
214 "coldSeconds": 0.006473357999993823,
215 "relMax": 4.723678156308008,
216 "relL2": 2.147709024111429
217 },
218 {
219 "n": 24,
220 "solveSeconds": 0.00034668499999668256,
221 "solveSecondsAll": [
222 0.0005418900000080384,
223 0.00044810100000347575,
224 0.0004583420000017213,
225 0.0011456529999946952,
226 0.0004420359999954826,
227 0.00040460500001415767,
228 0.00038568900001223483,
229 0.0003726560000103518,
230 0.00036776199999621895,
231 0.00040335400001367816,
232 0.0003627299999919842,
233 0.00035547299999905135,
234 0.00035808900000233734,
235 0.00035336400001995116,
236 0.00035131500000318283,
237 0.0003883790000003273,
238 0.0004045829999910211,
239 0.0003491340000039145,
240 0.00035013299999775427,
241 0.00034668499999668256,
242 0.0003608009999851447,
243 0.0004366879999935236,
244 0.0004950830000041151,
245 0.00042266999999185373,
246 0.00047604599998862795,
247 0.0005126490000009198,
248 0.000605181000011612,
249 0.00043418200000644447,
250 0.000371692999991069,
251 0.0011209339999851409,
252 0.0005986310000025696,
253 0.00047640900000089914,
254 0.00043983499999455944,
255 0.00038875300000995594,
256 0.0003816170000021657,
257 0.0004369439999862834,
258 0.00041346199999736655,
259 0.0003727449999928467,
260 0.0003664410000112639,
261 0.00036146499999745174,
262 0.00035682800000813586,
263 0.00036150200000406585,
264 0.00043321600000467697,
265 0.000494118000005983,
266 0.00038608400001294285,
267 0.00036190600000907125,
268 0.0003541829999988977,
269 0.00035186099998441023,
270 0.0003519839999910346,
271 0.0003633869999930539
272 ],
273 "coldSeconds": 0.007863169999993147,
274 "relMax": 0.1832441060595142,
275 "relL2": 0.04574727307028305
276 },
277 {
278 "n": 32,
279 "solveSeconds": 0.0004152089999962527,
280 "solveSecondsAll": [
281 0.000582766999997375,
282 0.0005795379999966599,
283 0.0004651759999916294,
284 0.0004545549999903642,
285 0.0005058360000020912,
286 0.00045679999999492793,
287 0.0010670050000101128,
288 0.0004949759999988146,
289 0.0004596250000048485,
290 0.0004569540000005645,
291 0.00044682900001191683,
292 0.0004619990000094276,
293 0.00046426599999449536,
294 0.0004514419999850361,
295 0.0004975690000037503,
296 0.00043593900001326347,
297 0.000424389000002634,
298 0.00046185099999718204,
299 0.0004837520000080531,
300 0.0004232590000157188,
301 0.00043957299999419774,
302 0.0004504850000159877,
303 0.0004227409999941756,
304 0.00041805600000088816,
305 0.0004152089999962527,
306 0.0005246900000059895,
307 0.000609627000002888,
308 0.000616488999980902,
309 0.0006254780000034543,
310 0.0006195839999918462,
311 0.0006418880000040872,
312 0.0005118090000024722,
313 0.0005301340000016808,
314 0.0012414360000008173,
315 0.0007354500000076314,
316 0.0005788800000061656,
317 0.00048730999999690994,
318 0.0005005600000060895,
319 0.0006197180000100388,
320 0.0004892230000024256,
321 0.00046539899999231693,
322 0.0005103829999910658,
323 0.0004426550000005136,
324 0.0005245640000168805,
325 0.000492368999999826,
326 0.000501938999988738,
327 0.0005780599999951619,
328 0.0004912090000033231,
329 0.0004369059999902447,
330 0.0004702330000014854
331 ],
332 "coldSeconds": 0.00829887199999746,
333 "relMax": 0.04477776352706684,
334 "relL2": 0.01821220807034194
335 },
336 {
337 "n": 48,
338 "solveSeconds": 0.000602012999991075,
339 "solveSecondsAll": [
340 0.0007936809999904426,
341 0.000683648999995512,
342 0.0006568470000019033,
343 0.0006904500000075586,
344 0.0013343860000105678,
345 0.0007556040000054054,
346 0.0006690479999917898,
347 0.00071135800000377,
348 0.000655255999987503,
349 0.0006455200000061723,
350 0.0006574200000102337,
351 0.0006164299999937839,
352 0.000609631000003219,
353 0.0007276790000076971,
354 0.0006631890000079466,
355 0.0007457960000039066,
356 0.0007290470000071991,
357 0.0007804920000040738,
358 0.0006603000000069414,
359 0.0007265000000131749,
360 0.0006785860000064758,
361 0.0008297650000059775,
362 0.0009073599999993576,
363 0.0008400359999995999,
364 0.0008853950000116129,
365 0.0009619569999870237,
366 0.0009345680000052425,
367 0.0011676499999992984,
368 0.0009901530000036018,
369 0.0009374459999946794,
370 0.0009565700000138122,
371 0.0009622779999887143,
372 0.001149486000002753,
373 0.0008462699999967072,
374 0.0007341959999962455,
375 0.0006687220000003435,
376 0.0006298659999970369,
377 0.0006729190000100971,
378 0.0006186539999930574,
379 0.0006342819999929361,
380 0.0006157850000079179,
381 0.0007380180000069458,
382 0.0006354740000062975,
383 0.0006079659999898013,
384 0.0006044759999923599,
385 0.000602012999991075,
386 0.0006585430000001224,
387 0.0006727800000021489,
388 0.0006092469999998684,
389 0.0006229619999942315
390 ],
391 "coldSeconds": 0.010448596000003363,
392 "relMax": 0.030942393351308675,
393 "relL2": 0.00668341139754862
394 },
395 {
396 "n": 64,
397 "solveSeconds": 0.0008527980000110347,
398 "solveSecondsAll": [
399 0.001067332999994619,
400 0.0010377379999937375,
401 0.0010108540000146604,
402 0.0009892709999945737,
403 0.0008950339999955759,
404 0.0008732910000048832,
405 0.00092414800000995,
406 0.0008864340000087623,
407 0.0008875649999993129,
408 0.0009055000000017799,
409 0.0009526839999978165,
410 0.0009257059999896455,
411 0.0009163180000086868,
412 0.0009068449999887207,
413 0.0008904999999970187,
414 0.0009061450000018567,
415 0.0008594560000005913,
416 0.0009215399999931151,
417 0.0010029700000018238,
418 0.0013352480000037303,
419 0.0014186000000080412,
420 0.0014102269999938244,
421 0.0012143559999913123,
422 0.0011405099999990398,
423 0.0029837439999909066,
424 0.0011571989999907828,
425 0.0011428079999831198,
426 0.0011777149999971925,
427 0.0009757679999893298,
428 0.0009222589999922093,
429 0.000954799999988154,
430 0.000884876000000645,
431 0.0009387380000021039,
432 0.0008746530000109942,
433 0.0008788469999956305,
434 0.0008720470000014302,
435 0.0008692290000027469,
436 0.0008527980000110347,
437 0.0008601890000079493,
438 0.0009353220000036799,
439 0.0008658859999997048,
440 0.0009028899999918849,
441 0.0008532080000094311,
442 0.0008652709999950048,
443 0.000859358000013799,
444 0.0008625790000138522,
445 0.0011046129999954246,
446 0.0010224469999968733,
447 0.0009491790000026867,
448 0.0009224290000133806
449 ],
450 "coldSeconds": 0.013654529000007187,
451 "relMax": 0.029141090471831943,
452 "relL2": 0.007409386148496113
453 },
454 {
455 "n": 96,
456 "solveSeconds": 0.001584696999998414,
457 "solveSecondsAll": [
458 0.0017833630000154699,
459 0.0016673199999956978,
460 0.001621060000005059,
461 0.0017219369999850187,
462 0.0016540620000000672,
463 0.0016412340000044878,
464 0.0016637259999896514,
465 0.0018059760000141978,
466 0.0018783010000049671,
467 0.0018010490000079926,
468 0.0017134659999982205,
469 0.001768686999994884,
470 0.0017521249999958854,
471 0.0016220829999866737,
472 0.0016009230000122443,
473 0.0020349010000018097,
474 0.0018458090000166294,
475 0.0020536050000146133,
476 0.0027164979999980687,
477 0.0073274770000040235,
478 0.0017297659999826465,
479 0.00185641599999542,
480 0.0019023979999843732,
481 0.0018223410000075546,
482 0.0017250920000009273,
483 0.0017675859999997101,
484 0.0017449749999940423,
485 0.0016874350000080085,
486 0.0016104199999915636,
487 0.0016476119999992989,
488 0.001643893000007779,
489 0.0015907759999862492,
490 0.0016235199999954375,
491 0.0016389749999916603,
492 0.0016315960000099494,
493 0.00165237799998863,
494 0.0016285930000066173,
495 0.0015851259999806189,
496 0.0016367379999877585,
497 0.0024803029999986848,
498 0.008058542000000557,
499 0.0026575200000138466,
500 0.0025203539999978375,
501 0.0016533559999913905,
502 0.002415522000006831,
503 0.002423268000001144,
504 0.0016316490000036765,
505 0.0016033849999956828,
506 0.0032841529999956265,
507 0.001584696999998414
508 ],
509 "coldSeconds": 0.01443259300000932,
510 "relMax": 1.6324201206540139,
511 "relL2": 0.3712506469549427
512 },
513 {
514 "n": 128,
515 "solveSeconds": 0.0026829570000046488,
516 "solveSecondsAll": [
517 0.004495379999994498,
518 0.0030452129999787303,
519 0.005122933999999191,
520 0.004645629999998846,
521 0.0028682250000002796,
522 0.0044143850000040175,
523 0.0027214850000092383,
524 0.004398292999994169,
525 0.002740763000005586,
526 0.004503063999976575,
527 0.0029752499999773363,
528 0.004558507999988137,
529 0.0032610190000070816,
530 0.010139095999988967,
531 0.0027756220000014764,
532 0.004461296000002335,
533 0.002802387000002682,
534 0.004594294000014543,
535 0.003827748999981395,
536 0.0036989190000014105,
537 0.0035878150000030473,
538 0.0034742039999997587,
539 0.0037173789999940254,
540 0.0038773389999988694,
541 0.004239003999998658,
542 0.0026933040000045594,
543 0.0046459139999939225,
544 0.008182595000008064,
545 0.0035870830000135356,
546 0.0035160020000120085,
547 0.003581089999983078,
548 0.0035488999999984117,
549 0.003795739000011622,
550 0.0034940789999922117,
551 0.003482794999996486,
552 0.0036709330000093132,
553 0.0048140030000070055,
554 0.005498116000012487,
555 0.0036244289999984858,
556 0.0035094339999943713,
557 0.0026829570000046488,
558 0.004345472000011341,
559 0.002778978000009147,
560 0.0043334230000056095,
561 0.002708077000008302,
562 0.004399041000013426,
563 0.0026946250000037253,
564 0.0034585669999813717,
565 0.003539242999991643,
566 0.004291042999994943
567 ],
568 "coldSeconds": 0.021460597000015014,
569 "relMax": 0.005855028924318972,
570 "relL2": 0.0015073616541331479
571 },
572 {
573 "n": 192,
574 "solveSeconds": 0.006200532000008252,
575 "solveSecondsAll": [
576 0.008113955000013107,
577 0.008034512999984145,
578 0.008144687999987354,
579 0.008924022999991621,
580 0.009030003999995984,
581 0.011415201000005482,
582 0.008879766999996264,
583 0.007895613999991724,
584 0.0078089710000028845,
585 0.00804217300000687,
586 0.008856320999996115,
587 0.008857005999999501,
588 0.010191586000004804,
589 0.016304304000001935,
590 0.008840491000000839,
591 0.008065206000011926,
592 0.007977709000002164,
593 0.007952047000003404,
594 0.00785330499999759,
595 0.00943541300000561,
596 0.008139497000001938,
597 0.0132833560000023,
598 0.008174850000003175,
599 0.008234556000005,
600 0.009240749000014148,
601 0.008735280999999873,
602 0.007823227999992355,
603 0.008028155999994624,
604 0.008262081000012245,
605 0.012834925999996472,
606 0.008116620999999213,
607 0.009101244999996538,
608 0.008871811999995316,
609 0.00781167099999891,
610 0.008105643999996914,
611 0.00817561499999897,
612 0.008650428999999349,
613 0.015843759999995655,
614 0.007828213000010464,
615 0.006396733000002541,
616 0.006200532000008252,
617 0.006296098000007078,
618 0.006253142000005596,
619 0.006767614999986904,
620 0.006654068000003122,
621 0.01045308799999134,
622 0.006346831000001885,
623 0.006485130999990929,
624 0.006771314999994615,
625 0.006537417000004098
626 ],
627 "coldSeconds": 0.03246562399999675,
628 "relMax": 0.0018249465357017738,
629 "relL2": 0.0006413743313268184
630 },
631 {
632 "n": 256,
633 "solveSeconds": 0.01241479100001186,
634 "solveSecondsAll": [
635 0.01710337000001516,
636 0.016860940999990248,
637 0.017094145000015715,
638 0.016645141999987345,
639 0.02129575899999736,
640 0.015865420999986668,
641 0.016666574999987915,
642 0.016418955999995433,
643 0.015729922999994983,
644 0.019452556000004506,
645 0.01997029799998984,
646 0.01541807399999584,
647 0.016342483000002517,
648 0.016375054999997474,
649 0.015550228999998694,
650 0.020880172999994784,
651 0.015635475999999926,
652 0.01711784100000102,
653 0.015561274999996044,
654 0.015393653000003837,
655 0.016476752000002648,
656 0.01590517199998942,
657 0.012578611999998657,
658 0.012573553999999376,
659 0.012588968000002865,
660 0.01241479100001186,
661 0.015433525999995368,
662 0.015361097999985418,
663 0.012698700000001395,
664 0.012780960000000618,
665 0.012552949999999896,
666 0.012789218000008873
667 ],
668 "coldSeconds": 0.04486052200000756,
669 "relMax": 0.0001077810176407548,
670 "relL2": 0.0000217381737712342
671 },
672 {
673 "n": 384,
674 "solveSeconds": 0.03736659700000189,
675 "solveSecondsAll": [
676 0.038426770000015154,
677 0.03736659700000189,
678 0.042986360000000445,
679 0.03827281799999582,
680 0.03879348099999902,
681 0.04400586600000622,
682 0.038111886999985245,
683 0.03794319799999357,
684 0.04557412600000532,
685 0.04753680900000745,
686 0.04603814000000739,
687 0.05198037600001726
688 ],
689 "coldSeconds": 0.07907973300000037,
690 "relMax": 0.0000018704705414187728,
691 "relL2": 4.2093517330212985e-7
692 },
693 {
694 "n": 512,
695 "solveSeconds": 0.08557444499999178,
696 "solveSecondsAll": [
697 0.08557444499999178,
698 0.09698173200000326,
699 0.09591872599999363,
700 0.10623641900001246,
701 0.08641756399998712,
702 0.09403968499999849
703 ],
704 "coldSeconds": 0.15740511600002094,
705 "relMax": 0.00005195583154515702,
706 "relL2": 0.000013375745039914274
707 },
708 {
709 "n": 768,
710 "solveSeconds": 0.2721734489999932,
711 "solveSecondsAll": [
712 0.2760792529999776,
713 0.2721734489999932,
714 0.2724342369999988,
715 0.27265953399999887,
716 0.27459735399999374
717 ],
718 "coldSeconds": 0.36367973800000186,
719 "relMax": 0.0011994335431973367,
720 "relL2": 0.0003567682637449915
721 }
722 ]
moveopenescclose