back to table · edit · history · where entries came from · files · download
7671 bytes, as of the version from 2026-10-26 15:40 (current). Recorded here, not run.
{
"tid": "T425",
"working_bits": 640,
"mpmath_digits": [
150,
200
],
"checked": 45,
"reference_branches": [],
"failures": [],
"records": [
{
"parameters": [
"1/12"
],
"accuracy_bits": 632,
"independent_ball": false,
"mpmath_error_ulps": "0.0316040101936473"
},
{
"parameters": [
"1/11"
],
"accuracy_bits": 632,
"independent_ball": false,
"mpmath_error_ulps": "0.398889392547833"
},
{
"parameters": [
"1/10"
],
"accuracy_bits": 632,
"independent_ball": false,
"mpmath_error_ulps": "0.330769797138746"
},
{
"parameters": [
"1/9"
],
"accuracy_bits": 631,
"independent_ball": false,
"mpmath_error_ulps": "0.0893864809872534"
},
{
"parameters": [
"1/8"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.445773807980767"
},
{
"parameters": [
"1/7"
],
"accuracy_bits": 632,
"independent_ball": false,
"mpmath_error_ulps": "0.464988730088346"
},
{
"parameters": [
"1/6"
],
"accuracy_bits": 632,
"independent_ball": false,
"mpmath_error_ulps": "0.0204108880389198"
},
{
"parameters": [
"2/11"
],
"accuracy_bits": 632,
"independent_ball": false,
"mpmath_error_ulps": "0.219580521665348"
},
{
"parameters": [
"1/5"
],
"accuracy_bits": 632,
"independent_ball": false,
"mpmath_error_ulps": "0.444860131339359"
},
{
"parameters": [
"2/9"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.107280761010279"
},
{
"parameters": [
"1/4"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.273766920497814"
},
{
"parameters": [
"3/11"
],
"accuracy_bits": 632,
"independent_ball": false,
"mpmath_error_ulps": "0.317283280446296"
},
{
"parameters": [
"2/7"
],
"accuracy_bits": 632,
"independent_ball": false,
"mpmath_error_ulps": "0.346512789010952"
},
{
"parameters": [
"3/10"
],
"accuracy_bits": 632,
"independent_ball": false,
"mpmath_error_ulps": "0.247496638047144"
},
{
"parameters": [
"1/3"
],
"accuracy_bits": 632,
"independent_ball": false,
"mpmath_error_ulps": "0.11423406040497"
},
{
"parameters": [
"4/11"
],
"accuracy_bits": 632,
"independent_ball": false,
"mpmath_error_ulps": "0.283178609764788"
},
{
"parameters": [
"3/8"
],
"accuracy_bits": 632,
"independent_ball": false,
"mpmath_error_ulps": "0.0899581299319296"
},
{
"parameters": [
"2/5"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.131445080818578"
},
{
"parameters": [
"5/12"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.174146582064828"
},
{
"parameters": [
"3/7"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.0354933384544014"
},
{
"parameters": [
"4/9"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.171000097238676"
},
{
"parameters": [
"5/11"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.375319980034584"
},
{
"parameters": [
"1/2"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.298319303540234"
},
{
"parameters": [
"6/11"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.0210991415801989"
},
{
"parameters": [
"5/9"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.0728854225627772"
},
{
"parameters": [
"4/7"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.0840891322532501"
},
{
"parameters": [
"7/12"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.394442106172905"
},
{
"parameters": [
"3/5"
],
"accuracy_bits": 632,
"independent_ball": false,
"mpmath_error_ulps": "0.321779263337159"
},
{
"parameters": [
"5/8"
],
"accuracy_bits": 632,
"independent_ball": false,
"mpmath_error_ulps": "0.118390981096988"
},
{
"parameters": [
"7/11"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.298898077708845"
},
{
"parameters": [
"2/3"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.411563987317024"
},
{
"parameters": [
"7/10"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.00702998606518796"
},
{
"parameters": [
"5/7"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.0649366743329764"
},
{
"parameters": [
"8/11"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.061661185159907"
},
{
"parameters": [
"3/4"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.107687411864044"
},
{
"parameters": [
"7/9"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.0209255695541303"
},
{
"parameters": [
"4/5"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.264558149711371"
},
{
"parameters": [
"9/11"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.376837406942171"
},
{
"parameters": [
"5/6"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.116023912800382"
},
{
"parameters": [
"6/7"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.00920953772770331"
},
{
"parameters": [
"7/8"
],
"accuracy_bits": 634,
"independent_ball": false,
"mpmath_error_ulps": "0.103788378031583"
},
{
"parameters": [
"8/9"
],
"accuracy_bits": 634,
"independent_ball": false,
"mpmath_error_ulps": "0.176265680720128"
},
{
"parameters": [
"9/10"
],
"accuracy_bits": 634,
"independent_ball": false,
"mpmath_error_ulps": "0.229307207333297"
},
{
"parameters": [
"10/11"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.315762012268435"
},
{
"parameters": [
"11/12"
],
"accuracy_bits": 633,
"independent_ball": false,
"mpmath_error_ulps": "0.306689409596141"
}
]
}