universal-physics-tensor 6.1.0 → 8.0.0

package/data/atlas/witness-results.json

@@ -0,0 +1,249 @@
+{
+  "schemaVersion": "0",
+  "results": [
+    {
+      "recordId": "ab-spring-lc",
+      "witnessId": "W1s",
+      "kind": "symbolic",
+      "status": "checked",
+      "detail": "lhs − rhs simplified to literal 0."
+    },
+    {
+      "recordId": "ab-damped-rlc",
+      "witnessId": "W2s",
+      "kind": "symbolic",
+      "status": "checked",
+      "detail": "lhs − rhs simplified to literal 0."
+    },
+    {
+      "recordId": "nt-spring-lc-relative-period",
+      "witnessId": "W1τ",
+      "kind": "numeric",
+      "status": "checked",
+      "detail": "Fine error 7.117284539503999e-11 is within tolerance 1e-9, and refinement reduced the error by a factor of 256.42174933080423.",
+      "convergence": {
+        "coarse": 1.8250265521047027e-8,
+        "fine": 7.117284539503999e-11,
+        "ratio": 256.42174933080423
+      }
+    },
+    {
+      "recordId": "ab-walk-diffusion",
+      "witnessId": "WD1",
+      "kind": "numeric",
+      "status": "checked",
+      "detail": "Fine error 0.00007051487111636723 is within tolerance 0.0001, and refinement reduced the error by a factor of 9.988594363526142.",
+      "convergence": {
+        "coarse": 0.000704344444177718,
+        "fine": 0.00007051487111636723,
+        "ratio": 9.988594363526142
+      }
+    },
+    {
+      "recordId": "ab-heat-diffusion",
+      "witnessId": "WD2",
+      "kind": "numeric",
+      "status": "checked",
+      "detail": "Fine error 0.00011182665624459576 is within tolerance 0.0005, and refinement reduced the error by a factor of 4.002480589030518.",
+      "convergence": {
+        "coarse": 0.0004475840209551829,
+        "fine": 0.00011182665624459576,
+        "ratio": 4.002480589030518
+      }
+    },
+    {
+      "recordId": "ab-heat-diffusion",
+      "witnessId": "WD2s",
+      "kind": "symbolic",
+      "status": "checked",
+      "detail": "lhs − rhs simplified to literal 0."
+    },
+    {
+      "recordId": "ab-schrodinger-diffusion",
+      "witnessId": "WD3",
+      "kind": "numeric",
+      "status": "checked",
+      "detail": "Fine error 0.0002027397470084069 is within tolerance 0.001, and refinement reduced the error by a factor of 16.110434012273277.",
+      "convergence": {
+        "coarse": 0.003266225315843918,
+        "fine": 0.0002027397470084069,
+        "ratio": 16.110434012273277
+      }
+    },
+    {
+      "recordId": "ab-string-wave",
+      "witnessId": "WS1",
+      "kind": "numeric",
+      "status": "checked",
+      "detail": "Fine error 0.00008639609523941605 is within tolerance 0.0002, and refinement reduced the error by a factor of 4.0004661013971035.",
+      "convergence": {
+        "coarse": 0.00034562465029835954,
+        "fine": 0.00008639609523941605,
+        "ratio": 4.0004661013971035
+      }
+    },
+    {
+      "recordId": "ab-wave-dalembert",
+      "witnessId": "WS2",
+      "kind": "numeric",
+      "status": "checked",
+      "detail": "Fine error 0.001124951971576138 is within tolerance 0.002, and refinement reduced the error by a factor of 3.996983248445116.",
+      "convergence": {
+        "coarse": 0.00449641418569513,
+        "fine": 0.001124951971576138,
+        "ratio": 3.996983248445116
+      }
+    },
+    {
+      "recordId": "ab-sound-speed",
+      "witnessId": "WS3",
+      "kind": "numeric",
+      "status": "checked",
+      "detail": "Fine error 0.0001119938952660604 is within tolerance 0.0002, and refinement reduced the error by a factor of 4.027071742000727.",
+      "convergence": {
+        "coarse": 0.0004510074509025408,
+        "fine": 0.0001119938952660604,
+        "ratio": 4.027071742000727
+      }
+    },
+    {
+      "recordId": "ab-klein-gordon-wave",
+      "witnessId": "WS4",
+      "kind": "numeric",
+      "status": "checked",
+      "detail": "Fine error 0.00124921972503933 is within tolerance 0.002, and refinement reduced the error by a factor of 3.992541914059133.",
+      "convergence": {
+        "coarse": 0.00498756211208895,
+        "fine": 0.00124921972503933,
+        "ratio": 3.992541914059133
+      }
+    },
+    {
+      "recordId": "ab-langevin-diffusion",
+      "witnessId": "WD4",
+      "kind": "numeric",
+      "status": "checked",
+      "detail": "Fine error 0.010000000000503495 is within tolerance 0.02, and refinement reduced the error by a factor of 9.999546000199059.",
+      "convergence": {
+        "coarse": 0.0999954600070253,
+        "fine": 0.010000000000503495,
+        "ratio": 9.999546000199059
+      }
+    },
+    {
+      "recordId": "ab-stokes-einstein",
+      "witnessId": "WD5s",
+      "kind": "symbolic",
+      "status": "checked",
+      "detail": "lhs − rhs simplified to literal 0."
+    },
+    {
+      "recordId": "ab-telegraph-diffusion",
+      "witnessId": "WD6",
+      "kind": "numeric",
+      "status": "checked",
+      "detail": "Fine error 0.02633403898972464 is within tolerance 0.03, and refinement reduced the error by a factor of 2.116199874337019.",
+      "convergence": {
+        "coarse": 0.055728090000841446,
+        "fine": 0.02633403898972464,
+        "ratio": 2.116199874337019
+      }
+    },
+    {
+      "recordId": "ab-telegraph-wave",
+      "witnessId": "WD7",
+      "kind": "numeric",
+      "status": "checked",
+      "detail": "Fine error 0.0025031328369998773 is within tolerance 0.003, and refinement reduced the error by a factor of 2.0025157351967895.",
+      "convergence": {
+        "coarse": 0.005012562893380035,
+        "fine": 0.0025031328369998773,
+        "ratio": 2.0025157351967895
+      }
+    },
+    {
+      "recordId": "ab-heat-laplace",
+      "witnessId": "WD8",
+      "kind": "numeric",
+      "status": "checked",
+      "detail": "Fine error 0.019276725259156358 is within tolerance 0.025, and refinement reduced the error by a factor of 7.20250172850875.",
+      "convergence": {
+        "coarse": 0.13884064699906196,
+        "fine": 0.019276725259156358,
+        "ratio": 7.20250172850875
+      }
+    },
+    {
+      "recordId": "ab-kg-schrodinger",
+      "witnessId": "WS5",
+      "kind": "numeric",
+      "status": "checked",
+      "detail": "Fine error 0.0006242199685362326 is within tolerance 0.001, and refinement reduced the error by a factor of 3.985097734126391.",
+      "convergence": {
+        "coarse": 0.0024875775822101875,
+        "fine": 0.0006242199685362326,
+        "ratio": 3.985097734126391
+      }
+    },
+    {
+      "recordId": "ab-kg-oscillator",
+      "witnessId": "WS6",
+      "kind": "numeric",
+      "status": "checked",
+      "detail": "Fine error 0.00025118663177325917 is within tolerance 0.0003, and refinement reduced the error by a factor of 3.9862174965661166.",
+      "convergence": {
+        "coarse": 0.0010012845464780762,
+        "fine": 0.00025118663177325917,
+        "ratio": 3.9862174965661166
+      }
+    },
+    {
+      "recordId": "ab-stiff-string",
+      "witnessId": "WS7",
+      "kind": "numeric",
+      "status": "checked",
+      "detail": "Fine error 0.12492197250392678 is within tolerance 0.15, and refinement reduced the error by a factor of 3.992541914059367.",
+      "convergence": {
+        "coarse": 0.49875621120889946,
+        "fine": 0.12492197250392678,
+        "ratio": 3.992541914059367
+      }
+    },
+    {
+      "recordId": "ab-pendulum-linear",
+      "witnessId": "W7",
+      "kind": "numeric",
+      "status": "checked",
+      "detail": "Fine error 0.00250574422860117 is within tolerance 0.002507, and refinement reduced the error by a factor of 4.027801075813206.",
+      "convergence": {
+        "coarse": 0.010092639299672523,
+        "fine": 0.00250574422860117,
+        "ratio": 4.027801075813206
+      }
+    },
+    {
+      "recordId": "ab-damped-massless",
+      "witnessId": "W8b",
+      "kind": "numeric",
+      "status": "checked",
+      "detail": "Fine error 0.05740000229213571 is within tolerance 0.12, and refinement reduced the error by a factor of 1.9257657114035949.",
+      "convergence": {
+        "coarse": 0.11053895624868271,
+        "fine": 0.05740000229213571,
+        "ratio": 1.9257657114035949
+      }
+    },
+    {
+      "recordId": "ab-chain-wave",
+      "witnessId": "W9",
+      "kind": "numeric",
+      "status": "checked",
+      "detail": "Fine error 0.0004818037019190813 is within tolerance 0.005, and refinement reduced the error by a factor of 3.9972474079370457.",
+      "convergence": {
+        "coarse": 0.0019258885986305208,
+        "fine": 0.0004818037019190813,
+        "ratio": 3.9972474079370457
+      }
+    }
+  ]
+}