independent-evidence.json

back to table · edit · history · where entries came from · files · download

5589 bytes, as of the version from 2026-10-30 06:50 (current). Recorded here, not run.

{
  "0": {
    "steps": 171,
    "terminal_theta": "8.9923744700544481598476384163555296545842750218211723553441711870413672460e-21",
    "dps": 70,
    "degree": 80,
    "exterior_correction": "1.1013364513831843842475346061278905394442130290086628586214632105487388260e-20",
    "control_relative_error": "3.0323549478632631519869866668183388516453059465866892824385318231242308694e-41",
    "relative_difference_from_surface_solver": "3.0323549478632631519869866668183388516452139948213909743046445598535600917e-41",
    "value": "2.4494897427831780981972840747058913919660217578800828172515982211079341573",
    "seconds": 3.016857624053955
  },
  "1": {
    "steps": 174,
    "terminal_theta": "9.5494358310984766386357578436455709743916328270374615785593509924428336538e-21",
    "dps": 70,
    "degree": 80,
    "exterior_correction": "3.0000437452906115811458520467200888346185715476498923727810690151452266721e-20",
    "control_relative_error": "2.8649142985077976148466683421323330491686582991064238368122112743918972884e-60",
    "relative_difference_from_surface_solver": "2.8649142985077976148466683421323330491686582991064238368122030666579594939e-60",
    "value": "3.1415926535897932384626433832795028841971693993751058209749535927015297627",
    "seconds": 3.930793046951294
  },
  "1/2": {
    "steps": 231,
    "terminal_theta": "9.4809098801128421455191181852451303461999186691717400551799612255191378348e-21",
    "dps": 70,
    "degree": 80,
    "exterior_correction": "1.8961930386242703324135577872678896672836870995030986663658169800048670695e-20",
    "relative_difference_from_surface_solver": "1.0174757090431395893952862295095484242338663161551164531005519663465071916e-50",
    "value": "2.7526980540649878531532656404019430561248671867632816984230025128784863505",
    "seconds": 7.373279333114624
  },
  "3/2": {
    "steps": 204,
    "terminal_theta": "8.2810956420093954550912268411469631826340490991877645913274590871914537938e-21",
    "dps": 70,
    "degree": 80,
    "exterior_correction": "4.0733120492567330879612805475673981874704742218062771460848861018391725724e-20",
    "relative_difference_from_surface_solver": "4.8093360635537869169392352437649354114661449165706044998635206825131842085e-70",
    "value": "3.6537537362191224246090942804592658170246703892493206965659996344027431544",
    "seconds": 4.666877508163452
  },
  "2": {
    "steps": 181,
    "terminal_theta": "8.2278264697119648581126494054562235253049897968873764949149008587471076466e-21",
    "dps": 70,
    "degree": 80,
    "exterior_correction": "6.4659439582037292562967976633290608297080336673490597783334091621260414046e-20",
    "relative_difference_from_surface_solver": "2.0316313749660262652309473927273507999503752627055333021920312712168813543e-75",
    "value": "4.3528745959461246769735700615261426281123653632130088353021516941235822047",
    "seconds": 4.245162010192871
  },
  "5/2": {
    "steps": 200,
    "terminal_theta": "9.1107813353986732955466299585168007235796811332194813328936983974505073175e-21",
    "dps": 70,
    "degree": 80,
    "exterior_correction": "1.1946229163150820941710775009960355358313313255778713178095686798703502930e-19",
    "relative_difference_from_surface_solver": "1.6513504614476471938098574386335649629481886254303528231619639597571372482e-75",
    "value": "5.3552754590107794599093600029736324732309138931540229692354209292345147052",
    "seconds": 4.692620754241943
  },
  "3": {
    "steps": 197,
    "terminal_theta": "9.0453551863196317776515796170740515860923613626155201360423085073665617663e-21",
    "dps": 70,
    "degree": 80,
    "exterior_correction": "2.1318422958349242857539701587322026880736061880488200774453690037839237049e-19",
    "relative_difference_from_surface_solver": "3.8467293202162234322873171579659948729000374089395292244925016993256974782e-75",
    "value": "6.8968486193769603754545281871231212769721891141849435295635101186844848253",
    "seconds": 4.775153398513794
  },
  "7/2": {
    "steps": 221,
    "terminal_theta": "9.1627465564147263631569312513204331723406602896097008439597407333030025929e-21",
    "dps": 70,
    "degree": 80,
    "exterior_correction": "4.4070769248593262313433507932269040167006530287246820169521923428667835663e-19",
    "relative_difference_from_surface_solver": "1.8547854703753983787958925406989780203844609769361755423848004629180365827e-75",
    "value": "9.5358053442448504441047426257893812019382993343755078814391759620017489654",
    "seconds": 5.067175388336182
  },
  "4": {
    "steps": 256,
    "terminal_theta": "8.0872233150608269310269056215871007519591560762544247449560043795409978211e-21",
    "dps": 70,
    "degree": 80,
    "exterior_correction": "1.0086235755880034635236094361173418122132519672562638190247426509354054831e-18",
    "relative_difference_from_surface_solver": "8.2695607735564604088432865969136825001424249776707157759361589247926831876e-75",
    "value": "14.971546348838095097611066218365395746918594810897391497220875279310633195",
    "seconds": 5.5697033405303955
  },
  "9/2": {
    "steps": 386,
    "terminal_theta": "8.7095048063503346924108424385474334407522115662883065402654305242921344073e-21",
    "dps": 70,
    "degree": 80,
    "exterior_correction": "5.0797645626869224613761183856145489874556336299448969338668505034050223675e-18",
    "relative_difference_from_surface_solver": "2.7777697957358742448046400054258402742454543220897206042037047746703218720e-74",
    "value": "31.836463244694285264382809280665274691883439510399467359594279772874471443",
    "seconds": 7.827686309814453
  }
}