{ "format": "fastandaccurate-result", "formatVersion": 1, "problem": "laplace-dirichlet-2d", "problemVersion": 1, "instance": "flower-15", "spec": { "a": 0.2, "d": 0.25, "instance": "flower-15", "k": 15, "problem": "laplace-dirichlet-2d", "problemVersion": 1 }, "specHash": "0f66b2d599e60ea851124485b5615a6027f9406a1c56bbb7deef269e96079970", "solver": { "id": "mfs", "version": "1.0.0", "backend": "cpu", "source": "builtin" }, "environment": { "kind": "node", "runtime": "node v24.14.1", "numblVersion": "0.4.18", "os": "linux 6.12.101+deb13-amd64", "cpu": "13th Gen Intel(R) Core(TM) i7-1355U", "machineLabel": "linux laptop (i7-1355U)", "browserReproducible": true }, "protocol": { "warmupRuns": 2, "minTimedRuns": 5, "timeBudgetSeconds": 0.5, "maxTimedRuns": 50, "statistic": "min", "timer": "numbl tic/toc" }, "createdUtc": "2026-08-18T10:57:36.440Z", "points": [ { "n": 8, "solveSeconds": 0.00019613900001047568, "solveSecondsAll": [ 0.00043363800000406627, 0.000313263000009556, 0.00034454900000469024, 0.0002618470000044226, 0.00029329499999164454, 0.00025995200000750174, 0.0004954230000038251, 0.0002400909999948908, 0.0002161910000069156, 0.00020624699999416407, 0.0002276049999920815, 0.00020867700000337663, 0.00023898499998153966, 0.00040736099998639475, 0.0002270079999959762, 0.0002098270000061575, 0.0002056959999947594, 0.00021329899999500412, 0.00020223599999269481, 0.00019939999999962765, 0.0006011430000114615, 0.0006146700000186911, 0.0005244809999993549, 0.0005052789999950846, 0.0005027610000070126, 0.0005145630000100709, 0.0005050039999900946, 0.0007190809999997327, 0.0002725439999835544, 0.0002779180000089809, 0.00023665199999811648, 0.00022540000000503824, 0.00021697399999709432, 0.0002107530000046154, 0.0003881830000125319, 0.00024780199998986063, 0.00021006000000056702, 0.00019772400000306334, 0.00019613900001047568, 0.0002114309999967645, 0.0002623409999955584, 0.0004646659999991698, 0.00026576399999100886, 0.00025279700000169214, 0.00023624800000732193, 0.00022608499999421383, 0.00023031400000661506, 0.00022571400000970243, 0.0004729079999918895, 0.00025302100000601513 ], "coldSeconds": 0.008014549999998621, "relMax": 0.38204782552148514, "relL2": 0.1584666951340821 }, { "n": 12, "solveSeconds": 0.00024458899999046935, "solveSecondsAll": [ 0.00043645200000241857, 0.0011206730000026255, 0.0005489600000032624, 0.0003046170000118309, 0.0002946230000020478, 0.0002899549999995088, 0.0003183900000038875, 0.0003150649999952293, 0.00034457299999246516, 0.00033144900000081634, 0.00030025200000238783, 0.0003493960000042762, 0.0003212630000035688, 0.00032862599999816666, 0.0006536179999869773, 0.0003733709999949042, 0.00035900099999253143, 0.0002742780000062339, 0.0002648719999882587, 0.00025711899999691923, 0.00025649200000543715, 0.0002520629999906987, 0.000253776000008088, 0.00025259299999902396, 0.0002497920000053, 0.00026242099998796675, 0.00034190199998818116, 0.0003443159999960699, 0.0002902979999959143, 0.000595450000005826, 0.00042954100000258677, 0.0002801779999970222, 0.0002673899999905416, 0.00026009799999826555, 0.0002569039999968936, 0.00026072699999701854, 0.00025520900000230995, 0.00025103000000115117, 0.00024729700000136745, 0.0002690279999910672, 0.00024906699999860393, 0.00025021599999774935, 0.00024526299999649837, 0.00024458899999046935, 0.0005887929999914832, 0.0003618479999971669, 0.0002723500000030299, 0.0002636750000135635, 0.000256299999989551, 0.000253432000008047 ], "coldSeconds": 0.006034166999995705, "relMax": 0.2831351532514015, "relL2": 0.09334533134504036 }, { "n": 16, "solveSeconds": 0.00031808100000318973, "solveSecondsAll": [ 0.0005752109999974664, 0.00036984199999778866, 0.000343175999987011, 0.0005668289999789522, 0.0004120899999975336, 0.00033293500000297627, 0.00031910799999934625, 0.00032156999999699565, 0.00033201000000815384, 0.00044205199999680644, 0.0004133380000013176, 0.00038224400000785863, 0.001410255000010352, 0.0004647389999945517, 0.0003981759999902579, 0.00038608200000567194, 0.0003919090000010783, 0.00036396800001625706, 0.0003572389999959569, 0.0003504980000030855, 0.0004045120000029101, 0.0003883690000208162, 0.002598034000001803, 0.0003989129999979468, 0.0003526130000039984, 0.00039282600000944967, 0.0003491500000052383, 0.0004053349999821876, 0.00041096899998649405, 0.00043230099998936566, 0.0003835540000096671, 0.00041388000001063574, 0.00031808100000318973, 0.00038101699999515404, 0.0004074070000115171, 0.00038768599999627895, 0.0003812559999971654, 0.0003786600000097451, 0.00037696200000425506, 0.00038033200000597844, 0.0004194409999911386, 0.00040108599999655326, 0.00032000400000242735, 0.0003642679999984466, 0.00038006899998777044, 0.00036792199999524655, 0.0004063869999981762, 0.00037329699999588684, 0.00041273799999430594, 0.0003978750000044329 ], "coldSeconds": 0.006473357999993823, "relMax": 4.723678156308008, "relL2": 2.147709024111429 }, { "n": 24, "solveSeconds": 0.00034668499999668256, "solveSecondsAll": [ 0.0005418900000080384, 0.00044810100000347575, 0.0004583420000017213, 0.0011456529999946952, 0.0004420359999954826, 0.00040460500001415767, 0.00038568900001223483, 0.0003726560000103518, 0.00036776199999621895, 0.00040335400001367816, 0.0003627299999919842, 0.00035547299999905135, 0.00035808900000233734, 0.00035336400001995116, 0.00035131500000318283, 0.0003883790000003273, 0.0004045829999910211, 0.0003491340000039145, 0.00035013299999775427, 0.00034668499999668256, 0.0003608009999851447, 0.0004366879999935236, 0.0004950830000041151, 0.00042266999999185373, 0.00047604599998862795, 0.0005126490000009198, 0.000605181000011612, 0.00043418200000644447, 0.000371692999991069, 0.0011209339999851409, 0.0005986310000025696, 0.00047640900000089914, 0.00043983499999455944, 0.00038875300000995594, 0.0003816170000021657, 0.0004369439999862834, 0.00041346199999736655, 0.0003727449999928467, 0.0003664410000112639, 0.00036146499999745174, 0.00035682800000813586, 0.00036150200000406585, 0.00043321600000467697, 0.000494118000005983, 0.00038608400001294285, 0.00036190600000907125, 0.0003541829999988977, 0.00035186099998441023, 0.0003519839999910346, 0.0003633869999930539 ], "coldSeconds": 0.007863169999993147, "relMax": 0.1832441060595142, "relL2": 0.04574727307028305 }, { "n": 32, "solveSeconds": 0.0004152089999962527, "solveSecondsAll": [ 0.000582766999997375, 0.0005795379999966599, 0.0004651759999916294, 0.0004545549999903642, 0.0005058360000020912, 0.00045679999999492793, 0.0010670050000101128, 0.0004949759999988146, 0.0004596250000048485, 0.0004569540000005645, 0.00044682900001191683, 0.0004619990000094276, 0.00046426599999449536, 0.0004514419999850361, 0.0004975690000037503, 0.00043593900001326347, 0.000424389000002634, 0.00046185099999718204, 0.0004837520000080531, 0.0004232590000157188, 0.00043957299999419774, 0.0004504850000159877, 0.0004227409999941756, 0.00041805600000088816, 0.0004152089999962527, 0.0005246900000059895, 0.000609627000002888, 0.000616488999980902, 0.0006254780000034543, 0.0006195839999918462, 0.0006418880000040872, 0.0005118090000024722, 0.0005301340000016808, 0.0012414360000008173, 0.0007354500000076314, 0.0005788800000061656, 0.00048730999999690994, 0.0005005600000060895, 0.0006197180000100388, 0.0004892230000024256, 0.00046539899999231693, 0.0005103829999910658, 0.0004426550000005136, 0.0005245640000168805, 0.000492368999999826, 0.000501938999988738, 0.0005780599999951619, 0.0004912090000033231, 0.0004369059999902447, 0.0004702330000014854 ], "coldSeconds": 0.00829887199999746, "relMax": 0.04477776352706684, "relL2": 0.01821220807034194 }, { "n": 48, "solveSeconds": 0.000602012999991075, "solveSecondsAll": [ 0.0007936809999904426, 0.000683648999995512, 0.0006568470000019033, 0.0006904500000075586, 0.0013343860000105678, 0.0007556040000054054, 0.0006690479999917898, 0.00071135800000377, 0.000655255999987503, 0.0006455200000061723, 0.0006574200000102337, 0.0006164299999937839, 0.000609631000003219, 0.0007276790000076971, 0.0006631890000079466, 0.0007457960000039066, 0.0007290470000071991, 0.0007804920000040738, 0.0006603000000069414, 0.0007265000000131749, 0.0006785860000064758, 0.0008297650000059775, 0.0009073599999993576, 0.0008400359999995999, 0.0008853950000116129, 0.0009619569999870237, 0.0009345680000052425, 0.0011676499999992984, 0.0009901530000036018, 0.0009374459999946794, 0.0009565700000138122, 0.0009622779999887143, 0.001149486000002753, 0.0008462699999967072, 0.0007341959999962455, 0.0006687220000003435, 0.0006298659999970369, 0.0006729190000100971, 0.0006186539999930574, 0.0006342819999929361, 0.0006157850000079179, 0.0007380180000069458, 0.0006354740000062975, 0.0006079659999898013, 0.0006044759999923599, 0.000602012999991075, 0.0006585430000001224, 0.0006727800000021489, 0.0006092469999998684, 0.0006229619999942315 ], "coldSeconds": 0.010448596000003363, "relMax": 0.030942393351308675, "relL2": 0.00668341139754862 }, { "n": 64, "solveSeconds": 0.0008527980000110347, "solveSecondsAll": [ 0.001067332999994619, 0.0010377379999937375, 0.0010108540000146604, 0.0009892709999945737, 0.0008950339999955759, 0.0008732910000048832, 0.00092414800000995, 0.0008864340000087623, 0.0008875649999993129, 0.0009055000000017799, 0.0009526839999978165, 0.0009257059999896455, 0.0009163180000086868, 0.0009068449999887207, 0.0008904999999970187, 0.0009061450000018567, 0.0008594560000005913, 0.0009215399999931151, 0.0010029700000018238, 0.0013352480000037303, 0.0014186000000080412, 0.0014102269999938244, 0.0012143559999913123, 0.0011405099999990398, 0.0029837439999909066, 0.0011571989999907828, 0.0011428079999831198, 0.0011777149999971925, 0.0009757679999893298, 0.0009222589999922093, 0.000954799999988154, 0.000884876000000645, 0.0009387380000021039, 0.0008746530000109942, 0.0008788469999956305, 0.0008720470000014302, 0.0008692290000027469, 0.0008527980000110347, 0.0008601890000079493, 0.0009353220000036799, 0.0008658859999997048, 0.0009028899999918849, 0.0008532080000094311, 0.0008652709999950048, 0.000859358000013799, 0.0008625790000138522, 0.0011046129999954246, 0.0010224469999968733, 0.0009491790000026867, 0.0009224290000133806 ], "coldSeconds": 0.013654529000007187, "relMax": 0.029141090471831943, "relL2": 0.007409386148496113 }, { "n": 96, "solveSeconds": 0.001584696999998414, "solveSecondsAll": [ 0.0017833630000154699, 0.0016673199999956978, 0.001621060000005059, 0.0017219369999850187, 0.0016540620000000672, 0.0016412340000044878, 0.0016637259999896514, 0.0018059760000141978, 0.0018783010000049671, 0.0018010490000079926, 0.0017134659999982205, 0.001768686999994884, 0.0017521249999958854, 0.0016220829999866737, 0.0016009230000122443, 0.0020349010000018097, 0.0018458090000166294, 0.0020536050000146133, 0.0027164979999980687, 0.0073274770000040235, 0.0017297659999826465, 0.00185641599999542, 0.0019023979999843732, 0.0018223410000075546, 0.0017250920000009273, 0.0017675859999997101, 0.0017449749999940423, 0.0016874350000080085, 0.0016104199999915636, 0.0016476119999992989, 0.001643893000007779, 0.0015907759999862492, 0.0016235199999954375, 0.0016389749999916603, 0.0016315960000099494, 0.00165237799998863, 0.0016285930000066173, 0.0015851259999806189, 0.0016367379999877585, 0.0024803029999986848, 0.008058542000000557, 0.0026575200000138466, 0.0025203539999978375, 0.0016533559999913905, 0.002415522000006831, 0.002423268000001144, 0.0016316490000036765, 0.0016033849999956828, 0.0032841529999956265, 0.001584696999998414 ], "coldSeconds": 0.01443259300000932, "relMax": 1.6324201206540139, "relL2": 0.3712506469549427 }, { "n": 128, "solveSeconds": 0.0026829570000046488, "solveSecondsAll": [ 0.004495379999994498, 0.0030452129999787303, 0.005122933999999191, 0.004645629999998846, 0.0028682250000002796, 0.0044143850000040175, 0.0027214850000092383, 0.004398292999994169, 0.002740763000005586, 0.004503063999976575, 0.0029752499999773363, 0.004558507999988137, 0.0032610190000070816, 0.010139095999988967, 0.0027756220000014764, 0.004461296000002335, 0.002802387000002682, 0.004594294000014543, 0.003827748999981395, 0.0036989190000014105, 0.0035878150000030473, 0.0034742039999997587, 0.0037173789999940254, 0.0038773389999988694, 0.004239003999998658, 0.0026933040000045594, 0.0046459139999939225, 0.008182595000008064, 0.0035870830000135356, 0.0035160020000120085, 0.003581089999983078, 0.0035488999999984117, 0.003795739000011622, 0.0034940789999922117, 0.003482794999996486, 0.0036709330000093132, 0.0048140030000070055, 0.005498116000012487, 0.0036244289999984858, 0.0035094339999943713, 0.0026829570000046488, 0.004345472000011341, 0.002778978000009147, 0.0043334230000056095, 0.002708077000008302, 0.004399041000013426, 0.0026946250000037253, 0.0034585669999813717, 0.003539242999991643, 0.004291042999994943 ], "coldSeconds": 0.021460597000015014, "relMax": 0.005855028924318972, "relL2": 0.0015073616541331479 }, { "n": 192, "solveSeconds": 0.006200532000008252, "solveSecondsAll": [ 0.008113955000013107, 0.008034512999984145, 0.008144687999987354, 0.008924022999991621, 0.009030003999995984, 0.011415201000005482, 0.008879766999996264, 0.007895613999991724, 0.0078089710000028845, 0.00804217300000687, 0.008856320999996115, 0.008857005999999501, 0.010191586000004804, 0.016304304000001935, 0.008840491000000839, 0.008065206000011926, 0.007977709000002164, 0.007952047000003404, 0.00785330499999759, 0.00943541300000561, 0.008139497000001938, 0.0132833560000023, 0.008174850000003175, 0.008234556000005, 0.009240749000014148, 0.008735280999999873, 0.007823227999992355, 0.008028155999994624, 0.008262081000012245, 0.012834925999996472, 0.008116620999999213, 0.009101244999996538, 0.008871811999995316, 0.00781167099999891, 0.008105643999996914, 0.00817561499999897, 0.008650428999999349, 0.015843759999995655, 0.007828213000010464, 0.006396733000002541, 0.006200532000008252, 0.006296098000007078, 0.006253142000005596, 0.006767614999986904, 0.006654068000003122, 0.01045308799999134, 0.006346831000001885, 0.006485130999990929, 0.006771314999994615, 0.006537417000004098 ], "coldSeconds": 0.03246562399999675, "relMax": 0.0018249465357017738, "relL2": 0.0006413743313268184 }, { "n": 256, "solveSeconds": 0.01241479100001186, "solveSecondsAll": [ 0.01710337000001516, 0.016860940999990248, 0.017094145000015715, 0.016645141999987345, 0.02129575899999736, 0.015865420999986668, 0.016666574999987915, 0.016418955999995433, 0.015729922999994983, 0.019452556000004506, 0.01997029799998984, 0.01541807399999584, 0.016342483000002517, 0.016375054999997474, 0.015550228999998694, 0.020880172999994784, 0.015635475999999926, 0.01711784100000102, 0.015561274999996044, 0.015393653000003837, 0.016476752000002648, 0.01590517199998942, 0.012578611999998657, 0.012573553999999376, 0.012588968000002865, 0.01241479100001186, 0.015433525999995368, 0.015361097999985418, 0.012698700000001395, 0.012780960000000618, 0.012552949999999896, 0.012789218000008873 ], "coldSeconds": 0.04486052200000756, "relMax": 0.0001077810176407548, "relL2": 0.0000217381737712342 }, { "n": 384, "solveSeconds": 0.03736659700000189, "solveSecondsAll": [ 0.038426770000015154, 0.03736659700000189, 0.042986360000000445, 0.03827281799999582, 0.03879348099999902, 0.04400586600000622, 0.038111886999985245, 0.03794319799999357, 0.04557412600000532, 0.04753680900000745, 0.04603814000000739, 0.05198037600001726 ], "coldSeconds": 0.07907973300000037, "relMax": 0.0000018704705414187728, "relL2": 4.2093517330212985e-7 }, { "n": 512, "solveSeconds": 0.08557444499999178, "solveSecondsAll": [ 0.08557444499999178, 0.09698173200000326, 0.09591872599999363, 0.10623641900001246, 0.08641756399998712, 0.09403968499999849 ], "coldSeconds": 0.15740511600002094, "relMax": 0.00005195583154515702, "relL2": 0.000013375745039914274 }, { "n": 768, "solveSeconds": 0.2721734489999932, "solveSecondsAll": [ 0.2760792529999776, 0.2721734489999932, 0.2724342369999988, 0.27265953399999887, 0.27459735399999374 ], "coldSeconds": 0.36367973800000186, "relMax": 0.0011994335431973367, "relL2": 0.0003567682637449915 } ] }