back to table · edit · history · where entries came from · files · download
7275 bytes, as of the version from 2026-10-27 01:06 (current). Recorded here, not run.
{
"tid": "T426",
"working_bits": 640,
"mpmath_digits": [
150,
200
],
"checked": 43,
"reference_branches": [],
"failures": [],
"records": [
{
"parameters": [
"1/12"
],
"accuracy_bits": 634,
"independent_ball": true,
"mpmath_error_ulps": "0.328183128998964"
},
{
"parameters": [
"1/11"
],
"accuracy_bits": 634,
"independent_ball": true,
"mpmath_error_ulps": "0.233229122045176"
},
{
"parameters": [
"1/10"
],
"accuracy_bits": 634,
"independent_ball": true,
"mpmath_error_ulps": "2.0e-21"
},
{
"parameters": [
"1/9"
],
"accuracy_bits": 634,
"independent_ball": true,
"mpmath_error_ulps": "0.279858439005911"
},
{
"parameters": [
"1/8"
],
"accuracy_bits": 634,
"independent_ball": true,
"mpmath_error_ulps": "0.17802933421573"
},
{
"parameters": [
"1/7"
],
"accuracy_bits": 634,
"independent_ball": true,
"mpmath_error_ulps": "0.386866593899054"
},
{
"parameters": [
"1/6"
],
"accuracy_bits": 634,
"independent_ball": true,
"mpmath_error_ulps": "0.0272785682740847"
},
{
"parameters": [
"2/11"
],
"accuracy_bits": 634,
"independent_ball": true,
"mpmath_error_ulps": "0.423771097635782"
},
{
"parameters": [
"1/5"
],
"accuracy_bits": 634,
"independent_ball": true,
"mpmath_error_ulps": "0.0456003242705089"
},
{
"parameters": [
"2/9"
],
"accuracy_bits": 634,
"independent_ball": true,
"mpmath_error_ulps": "0.209963884908108"
},
{
"parameters": [
"1/4"
],
"accuracy_bits": 634,
"independent_ball": true,
"mpmath_error_ulps": "0.0226366984400304"
},
{
"parameters": [
"3/11"
],
"accuracy_bits": 633,
"independent_ball": true,
"mpmath_error_ulps": "0.0090932466659258"
},
{
"parameters": [
"2/7"
],
"accuracy_bits": 633,
"independent_ball": true,
"mpmath_error_ulps": "0.490335119041132"
},
{
"parameters": [
"3/10"
],
"accuracy_bits": 633,
"independent_ball": true,
"mpmath_error_ulps": "0.255905633457255"
},
{
"parameters": [
"1/3"
],
"accuracy_bits": 634,
"independent_ball": true,
"mpmath_error_ulps": "0.248738612488928"
},
{
"parameters": [
"4/11"
],
"accuracy_bits": 634,
"independent_ball": true,
"mpmath_error_ulps": "0.330956674075579"
},
{
"parameters": [
"3/8"
],
"accuracy_bits": 634,
"independent_ball": true,
"mpmath_error_ulps": "0.495877769222514"
},
{
"parameters": [
"2/5"
],
"accuracy_bits": 634,
"independent_ball": true,
"mpmath_error_ulps": "0.458708927434098"
},
{
"parameters": [
"5/12"
],
"accuracy_bits": 633,
"independent_ball": true,
"mpmath_error_ulps": "0.118668804266195"
},
{
"parameters": [
"3/7"
],
"accuracy_bits": 633,
"independent_ball": true,
"mpmath_error_ulps": "0.237436680548548"
},
{
"parameters": [
"4/9"
],
"accuracy_bits": 633,
"independent_ball": true,
"mpmath_error_ulps": "0.137010121952344"
},
{
"parameters": [
"5/11"
],
"accuracy_bits": 634,
"independent_ball": true,
"mpmath_error_ulps": "0.111996003048669"
},
{
"parameters": [
"1/2"
],
"accuracy_bits": 633,
"independent_ball": true,
"mpmath_error_ulps": "0.268247209572173"
},
{
"parameters": [
"6/11"
],
"accuracy_bits": 633,
"independent_ball": true,
"mpmath_error_ulps": "0.196391787111089"
},
{
"parameters": [
"5/9"
],
"accuracy_bits": 633,
"independent_ball": true,
"mpmath_error_ulps": "0.394766007330294"
},
{
"parameters": [
"4/7"
],
"accuracy_bits": 633,
"independent_ball": true,
"mpmath_error_ulps": "0.293229377637026"
},
{
"parameters": [
"7/12"
],
"accuracy_bits": 633,
"independent_ball": true,
"mpmath_error_ulps": "0.42232143878935"
},
{
"parameters": [
"3/5"
],
"accuracy_bits": 633,
"independent_ball": true,
"mpmath_error_ulps": "0.410423426918442"
},
{
"parameters": [
"5/8"
],
"accuracy_bits": 633,
"independent_ball": true,
"mpmath_error_ulps": "0.00499468585478654"
},
{
"parameters": [
"7/11"
],
"accuracy_bits": 633,
"independent_ball": true,
"mpmath_error_ulps": "0.435962574976067"
},
{
"parameters": [
"2/3"
],
"accuracy_bits": 633,
"independent_ball": true,
"mpmath_error_ulps": "0.101735775452763"
},
{
"parameters": [
"7/10"
],
"accuracy_bits": 632,
"independent_ball": true,
"mpmath_error_ulps": "0.0386354705293349"
},
{
"parameters": [
"5/7"
],
"accuracy_bits": 633,
"independent_ball": true,
"mpmath_error_ulps": "0.248154245850293"
},
{
"parameters": [
"8/11"
],
"accuracy_bits": 632,
"independent_ball": true,
"mpmath_error_ulps": "0.336547276771298"
},
{
"parameters": [
"3/4"
],
"accuracy_bits": 633,
"independent_ball": true,
"mpmath_error_ulps": "0.109029711747099"
},
{
"parameters": [
"7/9"
],
"accuracy_bits": 632,
"independent_ball": true,
"mpmath_error_ulps": "0.480866603148511"
},
{
"parameters": [
"4/5"
],
"accuracy_bits": 631,
"independent_ball": true,
"mpmath_error_ulps": "0.0116137414822269"
},
{
"parameters": [
"9/11"
],
"accuracy_bits": 632,
"independent_ball": true,
"mpmath_error_ulps": "0.0678615738640114"
},
{
"parameters": [
"5/6"
],
"accuracy_bits": 631,
"independent_ball": true,
"mpmath_error_ulps": "0.388845231792161"
},
{
"parameters": [
"6/7"
],
"accuracy_bits": 631,
"independent_ball": true,
"mpmath_error_ulps": "0.250656104899112"
},
{
"parameters": [
"7/8"
],
"accuracy_bits": 632,
"independent_ball": true,
"mpmath_error_ulps": "0.175138301681622"
},
{
"parameters": [
"8/9"
],
"accuracy_bits": 631,
"independent_ball": true,
"mpmath_error_ulps": "0.234231820078615"
},
{
"parameters": [
"9/10"
],
"accuracy_bits": 630,
"independent_ball": true,
"mpmath_error_ulps": "0.25166693932093"
}
]
}