studentized_range_mpmath_ref.json 29 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499
  1. {
  2. "COMMENT": "!!!!!! THIS FILE WAS AUTOGENERATED BY RUNNING `python studentized_range_mpmath_ref.py` !!!!!!",
  3. "moment_data": [
  4. {
  5. "src_case": {
  6. "m": 0,
  7. "k": 3,
  8. "v": 10,
  9. "expected_atol": 1e-09,
  10. "expected_rtol": 1e-09
  11. },
  12. "mp_result": 1.0
  13. },
  14. {
  15. "src_case": {
  16. "m": 1,
  17. "k": 3,
  18. "v": 10,
  19. "expected_atol": 1e-09,
  20. "expected_rtol": 1e-09
  21. },
  22. "mp_result": 1.8342745127927962
  23. },
  24. {
  25. "src_case": {
  26. "m": 2,
  27. "k": 3,
  28. "v": 10,
  29. "expected_atol": 1e-09,
  30. "expected_rtol": 1e-09
  31. },
  32. "mp_result": 4.567483357831711
  33. },
  34. {
  35. "src_case": {
  36. "m": 3,
  37. "k": 3,
  38. "v": 10,
  39. "expected_atol": 1e-09,
  40. "expected_rtol": 1e-09
  41. },
  42. "mp_result": 14.412156886227011
  43. },
  44. {
  45. "src_case": {
  46. "m": 4,
  47. "k": 3,
  48. "v": 10,
  49. "expected_atol": 1e-09,
  50. "expected_rtol": 1e-09
  51. },
  52. "mp_result": 56.012250366720444
  53. }
  54. ],
  55. "cdf_data": [
  56. {
  57. "src_case": {
  58. "q": 0.1,
  59. "k": 3,
  60. "v": 3,
  61. "expected_atol": 1e-11,
  62. "expected_rtol": 1e-11
  63. },
  64. "mp_result": 0.0027502772229359594
  65. },
  66. {
  67. "src_case": {
  68. "q": 0.1,
  69. "k": 10,
  70. "v": 10,
  71. "expected_atol": 1e-11,
  72. "expected_rtol": 1e-11
  73. },
  74. "mp_result": 2.8544145010066327e-12
  75. },
  76. {
  77. "src_case": {
  78. "q": 0.1,
  79. "k": 3,
  80. "v": 10,
  81. "expected_atol": 1e-11,
  82. "expected_rtol": 1e-11
  83. },
  84. "mp_result": 0.0027520560662338336
  85. },
  86. {
  87. "src_case": {
  88. "q": 0.1,
  89. "k": 10,
  90. "v": 100,
  91. "expected_atol": 1e-11,
  92. "expected_rtol": 1e-11
  93. },
  94. "mp_result": 9.39089126131273e-13
  95. },
  96. {
  97. "src_case": {
  98. "q": 0.1,
  99. "k": 3,
  100. "v": 20,
  101. "expected_atol": 1e-11,
  102. "expected_rtol": 1e-11
  103. },
  104. "mp_result": 0.002752437649536182
  105. },
  106. {
  107. "src_case": {
  108. "q": 0.1,
  109. "k": 10,
  110. "v": 50,
  111. "expected_atol": 1e-11,
  112. "expected_rtol": 1e-11
  113. },
  114. "mp_result": 1.0862189999210748e-12
  115. },
  116. {
  117. "src_case": {
  118. "q": 0.1,
  119. "k": 3,
  120. "v": 120,
  121. "expected_atol": 1e-11,
  122. "expected_rtol": 1e-11
  123. },
  124. "mp_result": 0.002752755744313648
  125. },
  126. {
  127. "src_case": {
  128. "q": 0.1,
  129. "k": 3,
  130. "v": 100,
  131. "expected_atol": 1e-11,
  132. "expected_rtol": 1e-11
  133. },
  134. "mp_result": 0.0027527430186246545
  135. },
  136. {
  137. "src_case": {
  138. "q": 0.1,
  139. "k": 3,
  140. "v": 50,
  141. "expected_atol": 1e-11,
  142. "expected_rtol": 1e-11
  143. },
  144. "mp_result": 0.002752666667812431
  145. },
  146. {
  147. "src_case": {
  148. "q": 0.1,
  149. "k": 20,
  150. "v": 10,
  151. "expected_atol": 1e-11,
  152. "expected_rtol": 1e-11
  153. },
  154. "mp_result": 2.505275157135514e-24
  155. },
  156. {
  157. "src_case": {
  158. "q": 0.1,
  159. "k": 20,
  160. "v": 20,
  161. "expected_atol": 1e-11,
  162. "expected_rtol": 1e-11
  163. },
  164. "mp_result": 3.8546698113384126e-25
  165. },
  166. {
  167. "src_case": {
  168. "q": 0.1,
  169. "k": 10,
  170. "v": 3,
  171. "expected_atol": 1e-11,
  172. "expected_rtol": 1e-11
  173. },
  174. "mp_result": 1.7362668562706085e-11
  175. },
  176. {
  177. "src_case": {
  178. "q": 0.1,
  179. "k": 20,
  180. "v": 50,
  181. "expected_atol": 1e-11,
  182. "expected_rtol": 1e-11
  183. },
  184. "mp_result": 5.571947730052616e-26
  185. },
  186. {
  187. "src_case": {
  188. "q": 0.1,
  189. "k": 20,
  190. "v": 100,
  191. "expected_atol": 1e-11,
  192. "expected_rtol": 1e-11
  193. },
  194. "mp_result": 2.032619249089036e-27
  195. },
  196. {
  197. "src_case": {
  198. "q": 0.1,
  199. "k": 20,
  200. "v": 3,
  201. "expected_atol": 1e-11,
  202. "expected_rtol": 1e-11
  203. },
  204. "mp_result": 9.539763646681808e-22
  205. },
  206. {
  207. "src_case": {
  208. "q": 0.1,
  209. "k": 10,
  210. "v": 20,
  211. "expected_atol": 1e-11,
  212. "expected_rtol": 1e-11
  213. },
  214. "mp_result": 1.618313512511099e-12
  215. },
  216. {
  217. "src_case": {
  218. "q": 0.1,
  219. "k": 20,
  220. "v": 120,
  221. "expected_atol": 1e-11,
  222. "expected_rtol": 1e-11
  223. },
  224. "mp_result": 4.919231733354114e-28
  225. },
  226. {
  227. "src_case": {
  228. "q": 0.1,
  229. "k": 10,
  230. "v": 120,
  231. "expected_atol": 1e-11,
  232. "expected_rtol": 1e-11
  233. },
  234. "mp_result": 9.159348906295542e-13
  235. },
  236. {
  237. "src_case": {
  238. "q": 1,
  239. "k": 3,
  240. "v": 3,
  241. "expected_atol": 1e-11,
  242. "expected_rtol": 1e-11
  243. },
  244. "mp_result": 0.22331624289542043
  245. },
  246. {
  247. "src_case": {
  248. "q": 1,
  249. "k": 3,
  250. "v": 50,
  251. "expected_atol": 1e-11,
  252. "expected_rtol": 1e-11
  253. },
  254. "mp_result": 0.2395624637676257
  255. },
  256. {
  257. "src_case": {
  258. "q": 1,
  259. "k": 3,
  260. "v": 10,
  261. "expected_atol": 1e-11,
  262. "expected_rtol": 1e-11
  263. },
  264. "mp_result": 0.23510918942128056
  265. },
  266. {
  267. "src_case": {
  268. "q": 1,
  269. "k": 3,
  270. "v": 20,
  271. "expected_atol": 1e-11,
  272. "expected_rtol": 1e-11
  273. },
  274. "mp_result": 0.23786536230099864
  275. },
  276. {
  277. "src_case": {
  278. "q": 1,
  279. "k": 10,
  280. "v": 50,
  281. "expected_atol": 1e-11,
  282. "expected_rtol": 1e-11
  283. },
  284. "mp_result": 0.000651656693149116
  285. },
  286. {
  287. "src_case": {
  288. "q": 1,
  289. "k": 3,
  290. "v": 100,
  291. "expected_atol": 1e-11,
  292. "expected_rtol": 1e-11
  293. },
  294. "mp_result": 0.2401356460422021
  295. },
  296. {
  297. "src_case": {
  298. "q": 1,
  299. "k": 10,
  300. "v": 3,
  301. "expected_atol": 1e-11,
  302. "expected_rtol": 1e-11
  303. },
  304. "mp_result": 0.003971273224673166
  305. },
  306. {
  307. "src_case": {
  308. "q": 1,
  309. "k": 10,
  310. "v": 20,
  311. "expected_atol": 1e-11,
  312. "expected_rtol": 1e-11
  313. },
  314. "mp_result": 0.0008732969319364606
  315. },
  316. {
  317. "src_case": {
  318. "q": 1,
  319. "k": 3,
  320. "v": 120,
  321. "expected_atol": 1e-11,
  322. "expected_rtol": 1e-11
  323. },
  324. "mp_result": 0.24023154593376422
  325. },
  326. {
  327. "src_case": {
  328. "q": 1,
  329. "k": 10,
  330. "v": 10,
  331. "expected_atol": 1e-11,
  332. "expected_rtol": 1e-11
  333. },
  334. "mp_result": 0.001300816146573152
  335. },
  336. {
  337. "src_case": {
  338. "q": 1,
  339. "k": 20,
  340. "v": 50,
  341. "expected_atol": 1e-11,
  342. "expected_rtol": 1e-11
  343. },
  344. "mp_result": 1.5682573722040226e-07
  345. },
  346. {
  347. "src_case": {
  348. "q": 1,
  349. "k": 10,
  350. "v": 100,
  351. "expected_atol": 1e-11,
  352. "expected_rtol": 1e-11
  353. },
  354. "mp_result": 0.0005841098057517027
  355. },
  356. {
  357. "src_case": {
  358. "q": 1,
  359. "k": 20,
  360. "v": 3,
  361. "expected_atol": 1e-11,
  362. "expected_rtol": 1e-11
  363. },
  364. "mp_result": 9.2267674885784e-05
  365. },
  366. {
  367. "src_case": {
  368. "q": 1,
  369. "k": 10,
  370. "v": 120,
  371. "expected_atol": 1e-11,
  372. "expected_rtol": 1e-11
  373. },
  374. "mp_result": 0.0005731712496327297
  375. },
  376. {
  377. "src_case": {
  378. "q": 1,
  379. "k": 20,
  380. "v": 10,
  381. "expected_atol": 1e-11,
  382. "expected_rtol": 1e-11
  383. },
  384. "mp_result": 2.746798012658064e-06
  385. },
  386. {
  387. "src_case": {
  388. "q": 1,
  389. "k": 20,
  390. "v": 20,
  391. "expected_atol": 1e-11,
  392. "expected_rtol": 1e-11
  393. },
  394. "mp_result": 5.807700350854172e-07
  395. },
  396. {
  397. "src_case": {
  398. "q": 1,
  399. "k": 20,
  400. "v": 100,
  401. "expected_atol": 1e-11,
  402. "expected_rtol": 1e-11
  403. },
  404. "mp_result": 9.147637957472628e-08
  405. },
  406. {
  407. "src_case": {
  408. "q": 1,
  409. "k": 20,
  410. "v": 120,
  411. "expected_atol": 1e-11,
  412. "expected_rtol": 1e-11
  413. },
  414. "mp_result": 8.306675539750552e-08
  415. },
  416. {
  417. "src_case": {
  418. "q": 4,
  419. "k": 3,
  420. "v": 3,
  421. "expected_atol": 1e-11,
  422. "expected_rtol": 1e-11
  423. },
  424. "mp_result": 0.8711786295203324
  425. },
  426. {
  427. "src_case": {
  428. "q": 4,
  429. "k": 3,
  430. "v": 50,
  431. "expected_atol": 1e-11,
  432. "expected_rtol": 1e-11
  433. },
  434. "mp_result": 0.9818862781476212
  435. },
  436. {
  437. "src_case": {
  438. "q": 4,
  439. "k": 3,
  440. "v": 10,
  441. "expected_atol": 1e-11,
  442. "expected_rtol": 1e-11
  443. },
  444. "mp_result": 0.9566506502400175
  445. },
  446. {
  447. "src_case": {
  448. "q": 4,
  449. "k": 3,
  450. "v": 120,
  451. "expected_atol": 1e-11,
  452. "expected_rtol": 1e-11
  453. },
  454. "mp_result": 0.9849546621386962
  455. },
  456. {
  457. "src_case": {
  458. "q": 4,
  459. "k": 3,
  460. "v": 20,
  461. "expected_atol": 1e-11,
  462. "expected_rtol": 1e-11
  463. },
  464. "mp_result": 0.9731488893573804
  465. },
  466. {
  467. "src_case": {
  468. "q": 4,
  469. "k": 10,
  470. "v": 50,
  471. "expected_atol": 1e-11,
  472. "expected_rtol": 1e-11
  473. },
  474. "mp_result": 0.8450530667988544
  475. },
  476. {
  477. "src_case": {
  478. "q": 4,
  479. "k": 10,
  480. "v": 3,
  481. "expected_atol": 1e-11,
  482. "expected_rtol": 1e-11
  483. },
  484. "mp_result": 0.6164875232404174
  485. },
  486. {
  487. "src_case": {
  488. "q": 4,
  489. "k": 3,
  490. "v": 100,
  491. "expected_atol": 1e-11,
  492. "expected_rtol": 1e-11
  493. },
  494. "mp_result": 0.9845292772767739
  495. },
  496. {
  497. "src_case": {
  498. "q": 4,
  499. "k": 10,
  500. "v": 20,
  501. "expected_atol": 1e-11,
  502. "expected_rtol": 1e-11
  503. },
  504. "mp_result": 0.8079691517949077
  505. },
  506. {
  507. "src_case": {
  508. "q": 4,
  509. "k": 10,
  510. "v": 10,
  511. "expected_atol": 1e-11,
  512. "expected_rtol": 1e-11
  513. },
  514. "mp_result": 0.7573606942645745
  515. },
  516. {
  517. "src_case": {
  518. "q": 4,
  519. "k": 10,
  520. "v": 100,
  521. "expected_atol": 1e-11,
  522. "expected_rtol": 1e-11
  523. },
  524. "mp_result": 0.8587525248147736
  525. },
  526. {
  527. "src_case": {
  528. "q": 4,
  529. "k": 10,
  530. "v": 120,
  531. "expected_atol": 1e-11,
  532. "expected_rtol": 1e-11
  533. },
  534. "mp_result": 0.8611036193280976
  535. },
  536. {
  537. "src_case": {
  538. "q": 4,
  539. "k": 20,
  540. "v": 3,
  541. "expected_atol": 1e-11,
  542. "expected_rtol": 1e-11
  543. },
  544. "mp_result": 0.46523135355387657
  545. },
  546. {
  547. "src_case": {
  548. "q": 4,
  549. "k": 20,
  550. "v": 50,
  551. "expected_atol": 1e-11,
  552. "expected_rtol": 1e-11
  553. },
  554. "mp_result": 0.6318042819232383
  555. },
  556. {
  557. "src_case": {
  558. "q": 4,
  559. "k": 20,
  560. "v": 10,
  561. "expected_atol": 1e-11,
  562. "expected_rtol": 1e-11
  563. },
  564. "mp_result": 0.5574947140294286
  565. },
  566. {
  567. "src_case": {
  568. "q": 4,
  569. "k": 20,
  570. "v": 20,
  571. "expected_atol": 1e-11,
  572. "expected_rtol": 1e-11
  573. },
  574. "mp_result": 0.5970517763141937
  575. },
  576. {
  577. "src_case": {
  578. "q": 4,
  579. "k": 20,
  580. "v": 120,
  581. "expected_atol": 1e-11,
  582. "expected_rtol": 1e-11
  583. },
  584. "mp_result": 0.6493671527818267
  585. },
  586. {
  587. "src_case": {
  588. "q": 4,
  589. "k": 20,
  590. "v": 100,
  591. "expected_atol": 1e-11,
  592. "expected_rtol": 1e-11
  593. },
  594. "mp_result": 0.6466699776044968
  595. },
  596. {
  597. "src_case": {
  598. "q": 10,
  599. "k": 3,
  600. "v": 3,
  601. "expected_atol": 1e-11,
  602. "expected_rtol": 1e-11
  603. },
  604. "mp_result": 0.9881335633712994
  605. },
  606. {
  607. "src_case": {
  608. "q": 10,
  609. "k": 3,
  610. "v": 50,
  611. "expected_atol": 1e-11,
  612. "expected_rtol": 1e-11
  613. },
  614. "mp_result": 0.9999999861266821
  615. },
  616. {
  617. "src_case": {
  618. "q": 10,
  619. "k": 3,
  620. "v": 10,
  621. "expected_atol": 1e-11,
  622. "expected_rtol": 1e-11
  623. },
  624. "mp_result": 0.999908236635449
  625. },
  626. {
  627. "src_case": {
  628. "q": 10,
  629. "k": 3,
  630. "v": 20,
  631. "expected_atol": 1e-11,
  632. "expected_rtol": 1e-11
  633. },
  634. "mp_result": 0.9999978467928313
  635. },
  636. {
  637. "src_case": {
  638. "q": 10,
  639. "k": 3,
  640. "v": 120,
  641. "expected_atol": 1e-11,
  642. "expected_rtol": 1e-11
  643. },
  644. "mp_result": 0.9999999996690216
  645. },
  646. {
  647. "src_case": {
  648. "q": 10,
  649. "k": 3,
  650. "v": 100,
  651. "expected_atol": 1e-11,
  652. "expected_rtol": 1e-11
  653. },
  654. "mp_result": 0.9999999993640496
  655. },
  656. {
  657. "src_case": {
  658. "q": 10,
  659. "k": 10,
  660. "v": 3,
  661. "expected_atol": 1e-11,
  662. "expected_rtol": 1e-11
  663. },
  664. "mp_result": 0.9570401457077894
  665. },
  666. {
  667. "src_case": {
  668. "q": 10,
  669. "k": 10,
  670. "v": 50,
  671. "expected_atol": 1e-11,
  672. "expected_rtol": 1e-11
  673. },
  674. "mp_result": 0.9999997977351971
  675. },
  676. {
  677. "src_case": {
  678. "q": 10,
  679. "k": 10,
  680. "v": 10,
  681. "expected_atol": 1e-11,
  682. "expected_rtol": 1e-11
  683. },
  684. "mp_result": 0.9991738325963548
  685. },
  686. {
  687. "src_case": {
  688. "q": 10,
  689. "k": 10,
  690. "v": 20,
  691. "expected_atol": 1e-11,
  692. "expected_rtol": 1e-11
  693. },
  694. "mp_result": 0.9999730883609333
  695. },
  696. {
  697. "src_case": {
  698. "q": 10,
  699. "k": 10,
  700. "v": 100,
  701. "expected_atol": 1e-11,
  702. "expected_rtol": 1e-11
  703. },
  704. "mp_result": 0.9999999905199205
  705. },
  706. {
  707. "src_case": {
  708. "q": 10,
  709. "k": 10,
  710. "v": 120,
  711. "expected_atol": 1e-11,
  712. "expected_rtol": 1e-11
  713. },
  714. "mp_result": 0.9999999950566264
  715. },
  716. {
  717. "src_case": {
  718. "q": 10,
  719. "k": 20,
  720. "v": 3,
  721. "expected_atol": 1e-11,
  722. "expected_rtol": 1e-11
  723. },
  724. "mp_result": 0.9312318042339768
  725. },
  726. {
  727. "src_case": {
  728. "q": 10,
  729. "k": 20,
  730. "v": 50,
  731. "expected_atol": 1e-11,
  732. "expected_rtol": 1e-11
  733. },
  734. "mp_result": 0.9999991743904675
  735. },
  736. {
  737. "src_case": {
  738. "q": 10,
  739. "k": 20,
  740. "v": 10,
  741. "expected_atol": 1e-11,
  742. "expected_rtol": 1e-11
  743. },
  744. "mp_result": 0.9977643922032399
  745. },
  746. {
  747. "src_case": {
  748. "q": 10,
  749. "k": 20,
  750. "v": 20,
  751. "expected_atol": 1e-11,
  752. "expected_rtol": 1e-11
  753. },
  754. "mp_result": 0.9999054426012515
  755. },
  756. {
  757. "src_case": {
  758. "q": 10,
  759. "k": 20,
  760. "v": 100,
  761. "expected_atol": 1e-11,
  762. "expected_rtol": 1e-11
  763. },
  764. "mp_result": 0.9999999602948055
  765. },
  766. {
  767. "src_case": {
  768. "q": 10,
  769. "k": 20,
  770. "v": 120,
  771. "expected_atol": 1e-11,
  772. "expected_rtol": 1e-11
  773. },
  774. "mp_result": 0.9999999792458618
  775. }
  776. ],
  777. "pdf_data": [
  778. {
  779. "src_case": {
  780. "q": 0.1,
  781. "k": 3,
  782. "v": 3,
  783. "expected_atol": 1e-11,
  784. "expected_rtol": 1e-11
  785. },
  786. "mp_result": 0.05487847613526332
  787. },
  788. {
  789. "src_case": {
  790. "q": 0.1,
  791. "k": 10,
  792. "v": 10,
  793. "expected_atol": 1e-11,
  794. "expected_rtol": 1e-11
  795. },
  796. "mp_result": 2.564099684606509e-10
  797. },
  798. {
  799. "src_case": {
  800. "q": 0.1,
  801. "k": 3,
  802. "v": 10,
  803. "expected_atol": 1e-11,
  804. "expected_rtol": 1e-11
  805. },
  806. "mp_result": 0.05494947290360002
  807. },
  808. {
  809. "src_case": {
  810. "q": 0.1,
  811. "k": 10,
  812. "v": 100,
  813. "expected_atol": 1e-11,
  814. "expected_rtol": 1e-11
  815. },
  816. "mp_result": 8.442593793786411e-11
  817. },
  818. {
  819. "src_case": {
  820. "q": 0.1,
  821. "k": 3,
  822. "v": 20,
  823. "expected_atol": 1e-11,
  824. "expected_rtol": 1e-11
  825. },
  826. "mp_result": 0.054964710604860405
  827. },
  828. {
  829. "src_case": {
  830. "q": 0.1,
  831. "k": 10,
  832. "v": 50,
  833. "expected_atol": 1e-11,
  834. "expected_rtol": 1e-11
  835. },
  836. "mp_result": 9.764441961563576e-11
  837. },
  838. {
  839. "src_case": {
  840. "q": 0.1,
  841. "k": 3,
  842. "v": 100,
  843. "expected_atol": 1e-11,
  844. "expected_rtol": 1e-11
  845. },
  846. "mp_result": 0.05497690690332341
  847. },
  848. {
  849. "src_case": {
  850. "q": 0.1,
  851. "k": 3,
  852. "v": 50,
  853. "expected_atol": 1e-11,
  854. "expected_rtol": 1e-11
  855. },
  856. "mp_result": 0.05497385731702228
  857. },
  858. {
  859. "src_case": {
  860. "q": 0.1,
  861. "k": 20,
  862. "v": 10,
  863. "expected_atol": 1e-11,
  864. "expected_rtol": 1e-11
  865. },
  866. "mp_result": 4.758021225803992e-22
  867. },
  868. {
  869. "src_case": {
  870. "q": 0.1,
  871. "k": 3,
  872. "v": 120,
  873. "expected_atol": 1e-11,
  874. "expected_rtol": 1e-11
  875. },
  876. "mp_result": 0.054977415200879516
  877. },
  878. {
  879. "src_case": {
  880. "q": 0.1,
  881. "k": 20,
  882. "v": 3,
  883. "expected_atol": 1e-11,
  884. "expected_rtol": 1e-11
  885. },
  886. "mp_result": 1.8004731453548083e-19
  887. },
  888. {
  889. "src_case": {
  890. "q": 0.1,
  891. "k": 10,
  892. "v": 3,
  893. "expected_atol": 1e-11,
  894. "expected_rtol": 1e-11
  895. },
  896. "mp_result": 1.5564176176604816e-09
  897. },
  898. {
  899. "src_case": {
  900. "q": 0.1,
  901. "k": 20,
  902. "v": 50,
  903. "expected_atol": 1e-11,
  904. "expected_rtol": 1e-11
  905. },
  906. "mp_result": 9.342768070688728e-24
  907. },
  908. {
  909. "src_case": {
  910. "q": 0.1,
  911. "k": 10,
  912. "v": 20,
  913. "expected_atol": 1e-11,
  914. "expected_rtol": 1e-11
  915. },
  916. "mp_result": 1.454372265306114e-10
  917. },
  918. {
  919. "src_case": {
  920. "q": 0.1,
  921. "k": 20,
  922. "v": 100,
  923. "expected_atol": 1e-11,
  924. "expected_rtol": 1e-11
  925. },
  926. "mp_result": 3.9138464398429654e-25
  927. },
  928. {
  929. "src_case": {
  930. "q": 0.1,
  931. "k": 20,
  932. "v": 20,
  933. "expected_atol": 1e-11,
  934. "expected_rtol": 1e-11
  935. },
  936. "mp_result": 5.266341131767418e-23
  937. },
  938. {
  939. "src_case": {
  940. "q": 0.1,
  941. "k": 10,
  942. "v": 120,
  943. "expected_atol": 1e-11,
  944. "expected_rtol": 1e-11
  945. },
  946. "mp_result": 8.234556126446594e-11
  947. },
  948. {
  949. "src_case": {
  950. "q": 0.1,
  951. "k": 20,
  952. "v": 120,
  953. "expected_atol": 1e-11,
  954. "expected_rtol": 1e-11
  955. },
  956. "mp_result": 9.32929780487562e-26
  957. },
  958. {
  959. "src_case": {
  960. "q": 1,
  961. "k": 3,
  962. "v": 3,
  963. "expected_atol": 1e-11,
  964. "expected_rtol": 1e-11
  965. },
  966. "mp_result": 0.36083736990527154
  967. },
  968. {
  969. "src_case": {
  970. "q": 1,
  971. "k": 3,
  972. "v": 50,
  973. "expected_atol": 1e-11,
  974. "expected_rtol": 1e-11
  975. },
  976. "mp_result": 0.4137959132282269
  977. },
  978. {
  979. "src_case": {
  980. "q": 1,
  981. "k": 3,
  982. "v": 20,
  983. "expected_atol": 1e-11,
  984. "expected_rtol": 1e-11
  985. },
  986. "mp_result": 0.4080239698771056
  987. },
  988. {
  989. "src_case": {
  990. "q": 1,
  991. "k": 3,
  992. "v": 10,
  993. "expected_atol": 1e-11,
  994. "expected_rtol": 1e-11
  995. },
  996. "mp_result": 0.398772020275752
  997. },
  998. {
  999. "src_case": {
  1000. "q": 1,
  1001. "k": 3,
  1002. "v": 120,
  1003. "expected_atol": 1e-11,
  1004. "expected_rtol": 1e-11
  1005. },
  1006. "mp_result": 0.4160873922094346
  1007. },
  1008. {
  1009. "src_case": {
  1010. "q": 1,
  1011. "k": 3,
  1012. "v": 100,
  1013. "expected_atol": 1e-11,
  1014. "expected_rtol": 1e-11
  1015. },
  1016. "mp_result": 0.4157583991350054
  1017. },
  1018. {
  1019. "src_case": {
  1020. "q": 1,
  1021. "k": 10,
  1022. "v": 50,
  1023. "expected_atol": 1e-11,
  1024. "expected_rtol": 1e-11
  1025. },
  1026. "mp_result": 0.005210720148451848
  1027. },
  1028. {
  1029. "src_case": {
  1030. "q": 1,
  1031. "k": 10,
  1032. "v": 3,
  1033. "expected_atol": 1e-11,
  1034. "expected_rtol": 1e-11
  1035. },
  1036. "mp_result": 0.02575314059867804
  1037. },
  1038. {
  1039. "src_case": {
  1040. "q": 1,
  1041. "k": 10,
  1042. "v": 10,
  1043. "expected_atol": 1e-11,
  1044. "expected_rtol": 1e-11
  1045. },
  1046. "mp_result": 0.009782573637596617
  1047. },
  1048. {
  1049. "src_case": {
  1050. "q": 1,
  1051. "k": 10,
  1052. "v": 20,
  1053. "expected_atol": 1e-11,
  1054. "expected_rtol": 1e-11
  1055. },
  1056. "mp_result": 0.006818708302379005
  1057. },
  1058. {
  1059. "src_case": {
  1060. "q": 1,
  1061. "k": 10,
  1062. "v": 100,
  1063. "expected_atol": 1e-11,
  1064. "expected_rtol": 1e-11
  1065. },
  1066. "mp_result": 0.0047089182958790715
  1067. },
  1068. {
  1069. "src_case": {
  1070. "q": 1,
  1071. "k": 10,
  1072. "v": 120,
  1073. "expected_atol": 1e-11,
  1074. "expected_rtol": 1e-11
  1075. },
  1076. "mp_result": 0.004627085294166373
  1077. },
  1078. {
  1079. "src_case": {
  1080. "q": 1,
  1081. "k": 20,
  1082. "v": 3,
  1083. "expected_atol": 1e-11,
  1084. "expected_rtol": 1e-11
  1085. },
  1086. "mp_result": 0.0010886280311369462
  1087. },
  1088. {
  1089. "src_case": {
  1090. "q": 1,
  1091. "k": 20,
  1092. "v": 50,
  1093. "expected_atol": 1e-11,
  1094. "expected_rtol": 1e-11
  1095. },
  1096. "mp_result": 2.630674470916427e-06
  1097. },
  1098. {
  1099. "src_case": {
  1100. "q": 1,
  1101. "k": 20,
  1102. "v": 10,
  1103. "expected_atol": 1e-11,
  1104. "expected_rtol": 1e-11
  1105. },
  1106. "mp_result": 4.121713278199428e-05
  1107. },
  1108. {
  1109. "src_case": {
  1110. "q": 1,
  1111. "k": 20,
  1112. "v": 20,
  1113. "expected_atol": 1e-11,
  1114. "expected_rtol": 1e-11
  1115. },
  1116. "mp_result": 9.319506007252685e-06
  1117. },
  1118. {
  1119. "src_case": {
  1120. "q": 1,
  1121. "k": 20,
  1122. "v": 100,
  1123. "expected_atol": 1e-11,
  1124. "expected_rtol": 1e-11
  1125. },
  1126. "mp_result": 1.5585754418789747e-06
  1127. },
  1128. {
  1129. "src_case": {
  1130. "q": 1,
  1131. "k": 20,
  1132. "v": 120,
  1133. "expected_atol": 1e-11,
  1134. "expected_rtol": 1e-11
  1135. },
  1136. "mp_result": 1.4190335899441991e-06
  1137. },
  1138. {
  1139. "src_case": {
  1140. "q": 4,
  1141. "k": 3,
  1142. "v": 3,
  1143. "expected_atol": 1e-11,
  1144. "expected_rtol": 1e-11
  1145. },
  1146. "mp_result": 0.07185383302009114
  1147. },
  1148. {
  1149. "src_case": {
  1150. "q": 4,
  1151. "k": 3,
  1152. "v": 10,
  1153. "expected_atol": 1e-11,
  1154. "expected_rtol": 1e-11
  1155. },
  1156. "mp_result": 0.050268901219386576
  1157. },
  1158. {
  1159. "src_case": {
  1160. "q": 4,
  1161. "k": 3,
  1162. "v": 50,
  1163. "expected_atol": 1e-11,
  1164. "expected_rtol": 1e-11
  1165. },
  1166. "mp_result": 0.03321056847176124
  1167. },
  1168. {
  1169. "src_case": {
  1170. "q": 4,
  1171. "k": 3,
  1172. "v": 20,
  1173. "expected_atol": 1e-11,
  1174. "expected_rtol": 1e-11
  1175. },
  1176. "mp_result": 0.04044172384981084
  1177. },
  1178. {
  1179. "src_case": {
  1180. "q": 4,
  1181. "k": 3,
  1182. "v": 100,
  1183. "expected_atol": 1e-11,
  1184. "expected_rtol": 1e-11
  1185. },
  1186. "mp_result": 0.030571365659999617
  1187. },
  1188. {
  1189. "src_case": {
  1190. "q": 4,
  1191. "k": 3,
  1192. "v": 120,
  1193. "expected_atol": 1e-11,
  1194. "expected_rtol": 1e-11
  1195. },
  1196. "mp_result": 0.030120779149073032
  1197. },
  1198. {
  1199. "src_case": {
  1200. "q": 4,
  1201. "k": 10,
  1202. "v": 3,
  1203. "expected_atol": 1e-11,
  1204. "expected_rtol": 1e-11
  1205. },
  1206. "mp_result": 0.17501664247670937
  1207. },
  1208. {
  1209. "src_case": {
  1210. "q": 4,
  1211. "k": 10,
  1212. "v": 10,
  1213. "expected_atol": 1e-11,
  1214. "expected_rtol": 1e-11
  1215. },
  1216. "mp_result": 0.22374394725370736
  1217. },
  1218. {
  1219. "src_case": {
  1220. "q": 4,
  1221. "k": 10,
  1222. "v": 50,
  1223. "expected_atol": 1e-11,
  1224. "expected_rtol": 1e-11
  1225. },
  1226. "mp_result": 0.23246597521020534
  1227. },
  1228. {
  1229. "src_case": {
  1230. "q": 4,
  1231. "k": 10,
  1232. "v": 20,
  1233. "expected_atol": 1e-11,
  1234. "expected_rtol": 1e-11
  1235. },
  1236. "mp_result": 0.23239043677504484
  1237. },
  1238. {
  1239. "src_case": {
  1240. "q": 4,
  1241. "k": 10,
  1242. "v": 100,
  1243. "expected_atol": 1e-11,
  1244. "expected_rtol": 1e-11
  1245. },
  1246. "mp_result": 0.23057775622748988
  1247. },
  1248. {
  1249. "src_case": {
  1250. "q": 4,
  1251. "k": 10,
  1252. "v": 120,
  1253. "expected_atol": 1e-11,
  1254. "expected_rtol": 1e-11
  1255. },
  1256. "mp_result": 0.23012666145240815
  1257. },
  1258. {
  1259. "src_case": {
  1260. "q": 4,
  1261. "k": 20,
  1262. "v": 3,
  1263. "expected_atol": 1e-11,
  1264. "expected_rtol": 1e-11
  1265. },
  1266. "mp_result": 0.2073676639537027
  1267. },
  1268. {
  1269. "src_case": {
  1270. "q": 4,
  1271. "k": 20,
  1272. "v": 10,
  1273. "expected_atol": 1e-11,
  1274. "expected_rtol": 1e-11
  1275. },
  1276. "mp_result": 0.3245990542431859
  1277. },
  1278. {
  1279. "src_case": {
  1280. "q": 10,
  1281. "k": 3,
  1282. "v": 3,
  1283. "expected_atol": 1e-11,
  1284. "expected_rtol": 1e-11
  1285. },
  1286. "mp_result": 0.0033733228559870584
  1287. },
  1288. {
  1289. "src_case": {
  1290. "q": 10,
  1291. "k": 3,
  1292. "v": 10,
  1293. "expected_atol": 1e-11,
  1294. "expected_rtol": 1e-11
  1295. },
  1296. "mp_result": 7.728665739003835e-05
  1297. },
  1298. {
  1299. "src_case": {
  1300. "q": 4,
  1301. "k": 20,
  1302. "v": 20,
  1303. "expected_atol": 1e-11,
  1304. "expected_rtol": 1e-11
  1305. },
  1306. "mp_result": 0.38244500549096866
  1307. },
  1308. {
  1309. "src_case": {
  1310. "q": 4,
  1311. "k": 20,
  1312. "v": 100,
  1313. "expected_atol": 1e-11,
  1314. "expected_rtol": 1e-11
  1315. },
  1316. "mp_result": 0.45434978340834464
  1317. },
  1318. {
  1319. "src_case": {
  1320. "q": 4,
  1321. "k": 20,
  1322. "v": 50,
  1323. "expected_atol": 1e-11,
  1324. "expected_rtol": 1e-11
  1325. },
  1326. "mp_result": 0.43334135870667473
  1327. },
  1328. {
  1329. "src_case": {
  1330. "q": 10,
  1331. "k": 3,
  1332. "v": 100,
  1333. "expected_atol": 1e-11,
  1334. "expected_rtol": 1e-11
  1335. },
  1336. "mp_result": 2.159522630228393e-09
  1337. },
  1338. {
  1339. "src_case": {
  1340. "q": 4,
  1341. "k": 20,
  1342. "v": 120,
  1343. "expected_atol": 1e-11,
  1344. "expected_rtol": 1e-11
  1345. },
  1346. "mp_result": 0.45807877248528855
  1347. },
  1348. {
  1349. "src_case": {
  1350. "q": 10,
  1351. "k": 3,
  1352. "v": 50,
  1353. "expected_atol": 1e-11,
  1354. "expected_rtol": 1e-11
  1355. },
  1356. "mp_result": 3.5303467191175695e-08
  1357. },
  1358. {
  1359. "src_case": {
  1360. "q": 10,
  1361. "k": 3,
  1362. "v": 20,
  1363. "expected_atol": 1e-11,
  1364. "expected_rtol": 1e-11
  1365. },
  1366. "mp_result": 3.121281850105421e-06
  1367. },
  1368. {
  1369. "src_case": {
  1370. "q": 10,
  1371. "k": 3,
  1372. "v": 120,
  1373. "expected_atol": 1e-11,
  1374. "expected_rtol": 1e-11
  1375. },
  1376. "mp_result": 1.1901591191700855e-09
  1377. },
  1378. {
  1379. "src_case": {
  1380. "q": 10,
  1381. "k": 10,
  1382. "v": 10,
  1383. "expected_atol": 1e-11,
  1384. "expected_rtol": 1e-11
  1385. },
  1386. "mp_result": 0.0006784051704217357
  1387. },
  1388. {
  1389. "src_case": {
  1390. "q": 10,
  1391. "k": 10,
  1392. "v": 3,
  1393. "expected_atol": 1e-11,
  1394. "expected_rtol": 1e-11
  1395. },
  1396. "mp_result": 0.011845582636101885
  1397. },
  1398. {
  1399. "src_case": {
  1400. "q": 10,
  1401. "k": 10,
  1402. "v": 20,
  1403. "expected_atol": 1e-11,
  1404. "expected_rtol": 1e-11
  1405. },
  1406. "mp_result": 3.844183552674918e-05
  1407. },
  1408. {
  1409. "src_case": {
  1410. "q": 10,
  1411. "k": 10,
  1412. "v": 100,
  1413. "expected_atol": 1e-11,
  1414. "expected_rtol": 1e-11
  1415. },
  1416. "mp_result": 3.215093171597309e-08
  1417. },
  1418. {
  1419. "src_case": {
  1420. "q": 10,
  1421. "k": 10,
  1422. "v": 50,
  1423. "expected_atol": 1e-11,
  1424. "expected_rtol": 1e-11
  1425. },
  1426. "mp_result": 5.125792577534542e-07
  1427. },
  1428. {
  1429. "src_case": {
  1430. "q": 10,
  1431. "k": 10,
  1432. "v": 120,
  1433. "expected_atol": 1e-11,
  1434. "expected_rtol": 1e-11
  1435. },
  1436. "mp_result": 1.7759015355532446e-08
  1437. },
  1438. {
  1439. "src_case": {
  1440. "q": 10,
  1441. "k": 20,
  1442. "v": 10,
  1443. "expected_atol": 1e-11,
  1444. "expected_rtol": 1e-11
  1445. },
  1446. "mp_result": 0.0017957646258393628
  1447. },
  1448. {
  1449. "src_case": {
  1450. "q": 10,
  1451. "k": 20,
  1452. "v": 3,
  1453. "expected_atol": 1e-11,
  1454. "expected_rtol": 1e-11
  1455. },
  1456. "mp_result": 0.018534407764819284
  1457. },
  1458. {
  1459. "src_case": {
  1460. "q": 10,
  1461. "k": 20,
  1462. "v": 20,
  1463. "expected_atol": 1e-11,
  1464. "expected_rtol": 1e-11
  1465. },
  1466. "mp_result": 0.00013316083413164858
  1467. },
  1468. {
  1469. "src_case": {
  1470. "q": 10,
  1471. "k": 20,
  1472. "v": 50,
  1473. "expected_atol": 1e-11,
  1474. "expected_rtol": 1e-11
  1475. },
  1476. "mp_result": 2.082489228991225e-06
  1477. },
  1478. {
  1479. "src_case": {
  1480. "q": 10,
  1481. "k": 20,
  1482. "v": 100,
  1483. "expected_atol": 1e-11,
  1484. "expected_rtol": 1e-11
  1485. },
  1486. "mp_result": 1.3444226792257012e-07
  1487. },
  1488. {
  1489. "src_case": {
  1490. "q": 10,
  1491. "k": 20,
  1492. "v": 120,
  1493. "expected_atol": 1e-11,
  1494. "expected_rtol": 1e-11
  1495. },
  1496. "mp_result": 7.446912854228521e-08
  1497. }
  1498. ]
  1499. }