{ "format": "fastandaccurate-result", "formatVersion": 1, "problem": "laplace-dirichlet-2d", "problemVersion": 1, "instance": "disk-easy", "spec": { "a": 0, "d": 0.5, "instance": "disk-easy", "k": 0, "problem": "laplace-dirichlet-2d", "problemVersion": 1 }, "specHash": "188fddb2f5a2b9f843972da7c87580faf2da18364fbdd648a3c8581e41508448", "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:56:12.999Z", "points": [ { "n": 8, "solveSeconds": 0.0003706500000001389, "solveSecondsAll": [ 0.0036712480000000713, 0.0014450830000001247, 0.0011412509999999543, 0.0010196239999999968, 0.0009751120000000002, 0.000927025999999942, 0.0009328010000000386, 0.000936545999999816, 0.0010010520000001133, 0.0008509700000000064, 0.0007120270000000595, 0.0006277039999998957, 0.0005743400000000065, 0.0005974779999998736, 0.000634016000000126, 0.0006092970000001197, 0.0005670959999999337, 0.000617128999999883, 0.0005983109999999625, 0.0005756150000001403, 0.0005941520000000144, 0.0005741559999998813, 0.0005078129999999126, 0.0005222620000000511, 0.0004697320000000005, 0.00048643000000003767, 0.00048884700000007, 0.0004952229999999336, 0.0004666769999999154, 0.00046874499999993713, 0.0005115209999999593, 0.0006084529999998978, 0.0004922840000000095, 0.0004887609999999487, 0.000665647000000047, 0.0006889749999999806, 0.0005294920000000758, 0.0004944909999999858, 0.000487930999999997, 0.0005377640000000516, 0.00047228699999990464, 0.00043187399999999876, 0.00046701099999990614, 0.00046849199999998703, 0.00038997499999993135, 0.0005257100000000126, 0.0004499049999999727, 0.00038653799999999183, 0.0003706500000001389, 0.00040937200000001894 ], "coldSeconds": 0.011055574000000012, "relMax": 0.14700986691093929, "relL2": 0.07510449149578649 }, { "n": 12, "solveSeconds": 0.0003827840000000249, "solveSecondsAll": [ 0.0006309250000000599, 0.0005319500000000588, 0.0005601980000000673, 0.0005073690000000353, 0.0005487709999999479, 0.0005814309999999656, 0.0006402469999999827, 0.0005350600000000316, 0.0005444609999999406, 0.0004971700000000467, 0.0005898249999999328, 0.0005227180000000331, 0.0005102710000000066, 0.0005337390000000886, 0.0005310099999999984, 0.0004963190000000228, 0.0005052889999999088, 0.0005081430000000164, 0.0004584239999998463, 0.0005793170000001346, 0.00046680300000012664, 0.00043122600000000677, 0.00042500299999992386, 0.00041083399999997106, 0.0004128640000000683, 0.000434873999999974, 0.0004505790000001175, 0.0004952690000000759, 0.0004829619999999757, 0.0004452999999999818, 0.0004239739999999381, 0.00047945100000013063, 0.00046319599999999905, 0.0004778979999999766, 0.0005443309999999535, 0.0005794289999998536, 0.00048876699999989, 0.000507597999999998, 0.0005288920000000585, 0.0004899430000000482, 0.0005064869999999999, 0.0048148809999998265, 0.0006704629999998435, 0.00046143299999990006, 0.00040184799999998244, 0.0004321489999999928, 0.0003827840000000249, 0.00039532599999991813, 0.0004674260000000485, 0.00043370900000005985 ], "coldSeconds": 0.0063687049999999745, "relMax": 0.03230636725931533, "relL2": 0.015371453126207229 }, { "n": 16, "solveSeconds": 0.0003248619999999258, "solveSecondsAll": [ 0.0005883460000000174, 0.0005594410000000494, 0.0004492690000000854, 0.00044562500000000504, 0.00043708100000006134, 0.00045541400000004284, 0.0004150639999999095, 0.0004869880000000215, 0.0005133219999999827, 0.00042625600000001374, 0.00041762499999997704, 0.0005465339999999319, 0.0005234189999999694, 0.00047723700000001923, 0.0004738290000000367, 0.000468550000000012, 0.000538472000000012, 0.0005192800000000108, 0.0004905800000000182, 0.00042498099999999095, 0.0004433719999998864, 0.0005490879999999754, 0.0005922420000000761, 0.0004106660000000595, 0.00040801800000001, 0.00039612500000008044, 0.0003827819999999704, 0.0004090410000000544, 0.0005395770000000688, 0.0004931599999999925, 0.0005079910000000964, 0.00046972100000008954, 0.00043436200000002145, 0.00041269599999993467, 0.0004157999999999662, 0.0004740579999999994, 0.0009559709999999999, 0.0008616059999999592, 0.0014540149999999752, 0.001353632000000049, 0.0010506699999999203, 0.0012437440000000466, 0.0004224860000000552, 0.00046530599999994315, 0.0006745959999999718, 0.0006546589999999464, 0.0003986729999998495, 0.000339913000000025, 0.0003248619999999258, 0.00036866000000002064 ], "coldSeconds": 0.0068155830000000694, "relMax": 0.008948766685973872, "relL2": 0.003952522504129744 }, { "n": 24, "solveSeconds": 0.00042613800000002033, "solveSecondsAll": [ 0.0019929500000001044, 0.0010084459999999407, 0.0008806770000000519, 0.0008030989999999738, 0.0006461410000000445, 0.0007289699999999399, 0.0006115359999999681, 0.000550395999999953, 0.00049832400000005, 0.0013204569999999416, 0.0005645660000000996, 0.0005503079999999994, 0.0007989310000000582, 0.0007434009999999214, 0.0005421429999999949, 0.0009668840000000012, 0.0010447719999999716, 0.001536354000000073, 0.0011605940000001258, 0.0015289330000001211, 0.0015578909999999224, 0.0013146549999999424, 0.001352002999999935, 0.002012769999999997, 0.0025382419999999684, 0.01354847300000006, 0.0018357740000000122, 0.000528568000000007, 0.00042613800000002033, 0.00045925800000012895, 0.0005435370000000939, 0.0004932240000000698, 0.00044603499999995577, 0.0005148509999999273, 0.0005718579999999251, 0.00046877999999994646, 0.0004625069999999454, 0.0004997620000000147, 0.0006327369999998833, 0.00048267899999998587, 0.0005024739999999195, 0.0004999909999999774, 0.0005299189999999898, 0.0005902519999999578, 0.0007578320000000138, 0.000513006000000038, 0.00046605999999993486, 0.0004832900000000251, 0.0005404370000000602, 0.0004327259999999944 ], "coldSeconds": 0.012824298999999928, "relMax": 0.0012048558734636633, "relL2": 0.0004143894126631849 }, { "n": 32, "solveSeconds": 0.000419265000000002, "solveSecondsAll": [ 0.0006713679999998945, 0.0005761199999999578, 0.0005456600000000034, 0.0005577899999998914, 0.0005121820000000277, 0.0006005060000000562, 0.0006121219999999372, 0.0006931970000000343, 0.0005720630000000115, 0.0005804960000000969, 0.0005267329999998349, 0.0005960849999999684, 0.0006493229999999794, 0.0005579769999999318, 0.0005071220000000265, 0.0004924729999999933, 0.0004655089999999751, 0.0005480890000000294, 0.0004894650000000222, 0.0005388470000000645, 0.0005374930000000555, 0.0005205040000000327, 0.0004575989999999752, 0.0004449030000001075, 0.00047890599999989014, 0.0004892050000000481, 0.00044317999999998747, 0.0004356430000000966, 0.00047493900000006306, 0.0004438880000000589, 0.00043496800000009106, 0.00048186500000013677, 0.000419265000000002, 0.00045686799999999916, 0.000585874999999958, 0.00047031500000005444, 0.0004573540000000209, 0.0004793199999999498, 0.0005403920000000006, 0.0005234729999998855, 0.000584970000000018, 0.0005274299999999954, 0.0005021109999998608, 0.0005555259999999729, 0.0004913010000000551, 0.0005004750000000557, 0.0004657980000001283, 0.0005419159999999756, 0.00045801599999995, 0.0005345269999998958 ], "coldSeconds": 0.007569123000000011, "relMax": 0.0001232109874438039, "relL2": 0.00003769370566944991 }, { "n": 48, "solveSeconds": 0.000603417000000106, "solveSecondsAll": [ 0.001616173000000054, 0.0008740910000000213, 0.0008180639999998407, 0.0008592859999999591, 0.0009096940000000719, 0.000872300000000048, 0.0007225629999999539, 0.0007211720000001032, 0.0007131009999999938, 0.0008269270000000883, 0.0007220220000000444, 0.0007466440000000185, 0.0008310519999999988, 0.0006675070000000671, 0.0006578870000001347, 0.0008084470000000454, 0.0006684390000000207, 0.0006545869999999843, 0.0006777209999999645, 0.0006396419999999958, 0.0006184089999999864, 0.0006383249999999396, 0.0006814179999999892, 0.0006373120000000565, 0.0006075720000000562, 0.000603417000000106, 0.0006073620000000002, 0.0007005310000001153, 0.0007362469999999677, 0.0006577269999998858, 0.0006297510000000672, 0.00062411200000001, 0.0008565219999999707, 0.0007027760000000161, 0.0006627319999999992, 0.0006543829999998696, 0.0006297080000000621, 0.0006208560000000585, 0.0006335329999999084, 0.000649216000000008, 0.0011105689999999502, 0.0012269240000000181, 0.0008747200000001065, 0.001220416000000002, 0.007401137999999974, 0.0010603210000001972, 0.0007629179999999458, 0.0007343909999999454, 0.0007637590000000305, 0.0006569739999999769 ], "coldSeconds": 0.015223344000000028, "relMax": 0.00000106985539077248, "relL2": 3.527291939326371e-7 }, { "n": 64, "solveSeconds": 0.0007543009999997352, "solveSecondsAll": [ 0.0019260859999998825, 0.00114566100000002, 0.0009787310000000105, 0.0010603789999998892, 0.0009410389999997548, 0.0009208510000000558, 0.000898127999999998, 0.0009796330000002573, 0.000969110999999856, 0.0008872010000000596, 0.0008761680000000105, 0.0009075660000001928, 0.0008589750000000951, 0.0008228179999998364, 0.0013005550000000365, 0.0016262250000000922, 0.0011153389999998264, 0.0010286180000000922, 0.0009019170000001964, 0.0008892069999999475, 0.000874675000000158, 0.0008987259999999608, 0.0008795749999999103, 0.000879738999999935, 0.0009101310000001472, 0.0008360450000000075, 0.0015318209999999333, 0.006884883000000341, 0.001176907999999921, 0.0010211889999998114, 0.001012416000000016, 0.001232476999999843, 0.0009347010000000378, 0.0016459129999997213, 0.0016453250000001418, 0.001446536999999859, 0.000914261999999999, 0.0008511770000001473, 0.0007848349999999282, 0.0007543009999997352, 0.0007746399999999376, 0.0007704150000000798, 0.0009424970000000421, 0.001042822999999915, 0.0010007659999999863, 0.0009811259999998878, 0.0010569650000000763, 0.0010818249999999807, 0.0010064979999999668, 0.000917367999999863 ], "coldSeconds": 0.013441799999999837, "relMax": 2.0048554919222663e-8, "relL2": 4.913755814017508e-9 }, { "n": 96, "solveSeconds": 0.0013205989999998113, "solveSecondsAll": [ 0.0025817810000001717, 0.0014889180000001723, 0.0014505040000001301, 0.0018597289999999767, 0.006575530000000107, 0.0029818860000001557, 0.0019679470000000254, 0.001878033999999973, 0.0014209060000001106, 0.002560101000000037, 0.001476527999999977, 0.0014541189999999204, 0.0014746119999999863, 0.002400734000000071, 0.0014805010000000784, 0.0014853009999999944, 0.0015445729999998825, 0.0023168510000000087, 0.0015250209999999598, 0.0014900440000000792, 0.0014363770000003218, 0.002241565999999917, 0.0016232460000000781, 0.0023663859999998316, 0.007923939999999963, 0.0029014450000000025, 0.0014484779999999198, 0.0013299979999998879, 0.0023201239999999235, 0.0015553280000002445, 0.0016672149999998886, 0.0016444719999999524, 0.0023276789999999714, 0.0015344090000000143, 0.0016302640000001034, 0.0015226449999998781, 0.0023613700000000293, 0.0016377109999998751, 0.0017060710000000867, 0.001713341999999951, 0.0024073669999999936, 0.001648447999999858, 0.0020178970000002128, 0.003624566999999912, 0.006936947000000027, 0.0024474580000000135, 0.0023373110000000086, 0.0020033060000002045, 0.0013205989999998113, 0.0013774390000000913 ], "coldSeconds": 0.01724204699999987, "relMax": 3.2723913397991925e-12, "relL2": 7.208605432599029e-13 }, { "n": 128, "solveSeconds": 0.002162841000000082, "solveSecondsAll": [ 0.004163209999999751, 0.0034801280000000823, 0.00315068800000029, 0.0026955200000000623, 0.0027612449999998567, 0.002866312000000093, 0.0025088289999999347, 0.003120360000000044, 0.006626615999999919, 0.0025067739999997674, 0.0027403340000000664, 0.002761928000000191, 0.0029295460000000606, 0.0027323519999999935, 0.0027725190000000843, 0.0030368839999999064, 0.0027357150000000274, 0.004321864000000009, 0.002342926999999939, 0.0029850550000001252, 0.002162841000000082, 0.002800752000000184, 0.010600960999999964, 0.002763158999999682, 0.0031286710000002493, 0.002425174999999724, 0.0034261910000001894, 0.002800201000000113, 0.0026612960000000907, 0.003278303999999954, 0.002527480999999998, 0.0033944949999999974, 0.002697621000000039, 0.0034812060000000145, 0.0027755549999999296, 0.004951771999999854, 0.007765872000000007, 0.002676372000000038, 0.0041044420000000414, 0.002323815000000229, 0.0036281840000000898, 0.002767712999999894, 0.003637034000000039, 0.0037098870000000783, 0.0025965910000000925, 0.002399582000000011, 0.0023356210000000655, 0.0024048219999999176, 0.0023220940000001633, 0.0028131450000001834 ], "coldSeconds": 0.017088274000000014, "relMax": 1.3527309081059868e-15, "relL2": 6.783265724692949e-16 }, { "n": 192, "solveSeconds": 0.005524547999999907, "solveSecondsAll": [ 0.006655482999999629, 0.006272190000000011, 0.006284322999999814, 0.006600680999999886, 0.006583277999999915, 0.008332940999999927, 0.010414557000000046, 0.006553026000000184, 0.00718630599999992, 0.006874119000000123, 0.006895541000000227, 0.007051154000000004, 0.006781707000000026, 0.007473867000000078, 0.011757489999999926, 0.0070231990000000355, 0.006949182999999914, 0.007238207999999968, 0.006952539000000035, 0.011015701000000044, 0.008586628999999846, 0.007148359999999743, 0.013188353000000097, 0.01021671099999999, 0.009094163000000322, 0.005759285999999975, 0.005898251999999937, 0.006159010000000187, 0.006106711999999792, 0.005868898999999983, 0.010948006000000232, 0.006123258999999992, 0.006052136999999735, 0.0060369909999997695, 0.006278176999999996, 0.006110381000000054, 0.005978737999999817, 0.006030074000000107, 0.014505926000000002, 0.008520212999999943, 0.008269448999999929, 0.009291412999999915, 0.009974184000000275, 0.008697417000000263, 0.008584907000000142, 0.005524547999999907, 0.011090698999999926, 0.006000608999999768, 0.005970231000000048, 0.006197350999999962 ], "coldSeconds": 0.027613729999999892, "relMax": 1.4880039989165855e-15, "relL2": 6.155342657294801e-16 }, { "n": 256, "solveSeconds": 0.011967157000000395, "solveSecondsAll": [ 0.014209018999999934, 0.022085046999999802, 0.01345226799999999, 0.012139016000000113, 0.012803122000000222, 0.014510825000000338, 0.017828860999999918, 0.013286214999999935, 0.012854954000000252, 0.015344360999999918, 0.012752017000000393, 0.013521985999999764, 0.01877191399999978, 0.013014430000000132, 0.014343531999999826, 0.012995214000000033, 0.014212418999999699, 0.01769622999999987, 0.01285418299999952, 0.011967157000000395, 0.01244902899999989, 0.012347997, 0.013313095999999636, 0.01680113499999969, 0.012805793999999704, 0.01339273700000021, 0.013055084999999966, 0.012867710000000088, 0.018183801000000166, 0.014007710000000007, 0.014044900999999665, 0.014511790999999885, 0.014507539999999874, 0.014429639000000272, 0.01776589900000003 ], "coldSeconds": 0.03835546999999995, "relMax": 9.469116356741906e-16, "relL2": 6.445473683126639e-16 }, { "n": 384, "solveSeconds": 0.03542821199999979, "solveSecondsAll": [ 0.048608141999999965, 0.042663937000000374, 0.04145802499999984, 0.04573635300000012, 0.04122860100000025, 0.043367871999999696, 0.04517726600000049, 0.036990493999999874, 0.03542821199999979, 0.0396001720000001, 0.03711725500000007, 0.037209186999999755, 0.040301703999999994 ], "coldSeconds": 0.07155367299999993, "relMax": 8.251658539446519e-15, "relL2": 5.12504374340217e-15 }, { "n": 512, "solveSeconds": 0.08363956100000003, "solveSecondsAll": [ 0.08607586599999983, 0.09069241400000028, 0.0849437329999998, 0.08562244699999955, 0.08363956100000003, 0.08617498299999982 ], "coldSeconds": 0.11748852399999965, "relMax": 3.5238640156160957e-14, "relL2": 2.3613126241611026e-14 }, { "n": 768, "solveSeconds": 0.26934805200000067, "solveSecondsAll": [ 0.27167691699999974, 0.27373685399999914, 0.26934805200000067, 0.2712874809999999, 0.28003675600000033 ], "coldSeconds": 0.3239198659999998, "relMax": 2.8136802888604524e-14, "relL2": 1.743595674753506e-14 } ] }