| ID | Claim | Value | Verified |
|---|---|---|---|
| F7-001 | Coffin-Manson n=1.50: halving dT from 20 K multiplies life by 2.83 | 2.83 | holds |
| F7-002 | Coffin-Manson n=1.55: halving dT from 22 K multiplies life by 2.93 | 2.93 | holds |
| F7-003 | Coffin-Manson n=1.60: halving dT from 24 K multiplies life by 3.03 | 3.03 | holds |
| F7-004 | Coffin-Manson n=1.65: halving dT from 26 K multiplies life by 3.14 | 3.14 | holds |
| F7-005 | Coffin-Manson n=1.70: halving dT from 28 K multiplies life by 3.25 | 3.25 | holds |
| F7-006 | Coffin-Manson n=1.75: halving dT from 30 K multiplies life by 3.36 | 3.36 | holds |
| F7-007 | Coffin-Manson n=1.80: halving dT from 32 K multiplies life by 3.48 | 3.48 | holds |
| F7-008 | Coffin-Manson n=1.85: halving dT from 34 K multiplies life by 3.61 | 3.61 | holds |
| F7-009 | Coffin-Manson n=1.90: halving dT from 36 K multiplies life by 3.73 | 3.73 | holds |
| F7-010 | Coffin-Manson n=1.95: halving dT from 38 K multiplies life by 3.86 | 3.86 | holds |
| F7-011 | Coffin-Manson n=2.00: halving dT from 40 K multiplies life by 4.00 | 4.0 | holds |
| F7-012 | Coffin-Manson n=2.05: halving dT from 42 K multiplies life by 4.14 | 4.14 | holds |
| F7-013 | Coffin-Manson n=2.10: halving dT from 44 K multiplies life by 4.29 | 4.29 | holds |
| F7-014 | Coffin-Manson n=2.15: halving dT from 46 K multiplies life by 4.44 | 4.44 | holds |
| F7-015 | Coffin-Manson n=2.20: halving dT from 48 K multiplies life by 4.59 | 4.59 | holds |
| F7-016 | Coffin-Manson n=2.25: halving dT from 50 K multiplies life by 4.76 | 4.76 | holds |
| F7-017 | Coffin-Manson n=2.30: halving dT from 52 K multiplies life by 4.92 | 4.92 | holds |
| F7-018 | Coffin-Manson n=2.35: halving dT from 54 K multiplies life by 5.10 | 5.1 | holds |
| F7-019 | Coffin-Manson n=2.40: halving dT from 56 K multiplies life by 5.28 | 5.28 | holds |
| F7-020 | Coffin-Manson n=2.45: halving dT from 58 K multiplies life by 5.46 | 5.46 | holds |
| F7-021 | Coffin-Manson n=2.50: halving dT from 60 K multiplies life by 5.66 | 5.66 | holds |
| F7-022 | Coffin-Manson n=2.55: halving dT from 62 K multiplies life by 5.86 | 5.86 | holds |
| F7-023 | Coffin-Manson n=2.60: halving dT from 64 K multiplies life by 6.06 | 6.06 | holds |
| F7-024 | Coffin-Manson n=2.65: halving dT from 66 K multiplies life by 6.28 | 6.28 | holds |
| F7-025 | Coffin-Manson n=2.70: halving dT from 68 K multiplies life by 6.50 | 6.5 | holds |
| F7-026 | Coffin-Manson n=2.75: halving dT from 70 K multiplies life by 6.73 | 6.73 | holds |
| F7-027 | Coffin-Manson n=2.80: halving dT from 72 K multiplies life by 6.96 | 6.96 | holds |
| F7-028 | Coffin-Manson n=2.85: halving dT from 74 K multiplies life by 7.21 | 7.21 | holds |
| F7-029 | Coffin-Manson n=2.90: halving dT from 76 K multiplies life by 7.46 | 7.46 | holds |
| F7-030 | Coffin-Manson n=2.95: halving dT from 78 K multiplies life by 7.73 | 7.73 | holds |
| F7-031 | Coffin-Manson n=3.00: halving dT from 80 K multiplies life by 8.00 | 8.0 | holds |
| F7-032 | Coffin-Manson n=3.05: halving dT from 82 K multiplies life by 8.28 | 8.28 | holds |
| F7-033 | Coffin-Manson n=3.10: halving dT from 84 K multiplies life by 8.57 | 8.57 | holds |
| F7-034 | Coffin-Manson n=3.15: halving dT from 86 K multiplies life by 8.88 | 8.88 | holds |
| F7-035 | Coffin-Manson n=3.20: halving dT from 88 K multiplies life by 9.19 | 9.19 | holds |
| F7-036 | Coffin-Manson n=3.25: halving dT from 90 K multiplies life by 9.51 | 9.51 | holds |
| F7-037 | Coffin-Manson n=3.30: halving dT from 92 K multiplies life by 9.85 | 9.85 | holds |
| F7-038 | Coffin-Manson n=3.35: halving dT from 94 K multiplies life by 10.20 | 10.2 | holds |
| F7-039 | Coffin-Manson n=3.40: halving dT from 96 K multiplies life by 10.56 | 10.56 | holds |
| F7-040 | Coffin-Manson n=3.45: halving dT from 98 K multiplies life by 10.93 | 10.93 | holds |
| F7-041 | Coffin-Manson n=3.50: halving dT from 100 K multiplies life by 11.31 | 11.31 | holds |
| F7-042 | Coffin-Manson n=3.55: halving dT from 102 K multiplies life by 11.71 | 11.71 | holds |
| F7-043 | Coffin-Manson n=3.60: halving dT from 104 K multiplies life by 12.13 | 12.13 | holds |
| F7-044 | Coffin-Manson n=3.65: halving dT from 106 K multiplies life by 12.55 | 12.55 | holds |
| F7-045 | Coffin-Manson n=3.70: halving dT from 108 K multiplies life by 13.00 | 13.0 | holds |
| F7-046 | Coffin-Manson n=3.75: halving dT from 110 K multiplies life by 13.45 | 13.45 | holds |
| F7-047 | Coffin-Manson n=3.80: halving dT from 112 K multiplies life by 13.93 | 13.93 | holds |
| F7-048 | Coffin-Manson n=3.85: halving dT from 114 K multiplies life by 14.42 | 14.42 | holds |
| F7-049 | Coffin-Manson n=3.90: halving dT from 116 K multiplies life by 14.93 | 14.93 | holds |
| F7-050 | Coffin-Manson n=3.95: halving dT from 118 K multiplies life by 15.45 | 15.45 | holds |
| F7-051 | Coffin-Manson n=4.00: halving dT from 120 K multiplies life by 16.00 | 16.0 | holds |
| F7-052 | Coffin-Manson n=4.05: halving dT from 122 K multiplies life by 16.56 | 16.56 | holds |
| F7-053 | Coffin-Manson n=4.10: halving dT from 124 K multiplies life by 17.15 | 17.15 | holds |
| F7-054 | Coffin-Manson n=4.15: halving dT from 126 K multiplies life by 17.75 | 17.75 | holds |
| F7-055 | Coffin-Manson n=4.20: halving dT from 128 K multiplies life by 18.38 | 18.38 | holds |
| F7-056 | Coffin-Manson n=4.25: halving dT from 130 K multiplies life by 19.03 | 19.03 | holds |
| F7-057 | Coffin-Manson n=4.30: halving dT from 132 K multiplies life by 19.70 | 19.7 | holds |
| F7-058 | Coffin-Manson n=4.35: halving dT from 134 K multiplies life by 20.39 | 20.39 | holds |
| F7-059 | Coffin-Manson n=4.40: halving dT from 136 K multiplies life by 21.11 | 21.11 | holds |
| F7-060 | Coffin-Manson n=4.45: halving dT from 138 K multiplies life by 21.86 | 21.86 | holds |
| F7-061 | Coffin-Manson n=4.50: halving dT from 140 K multiplies life by 22.63 | 22.63 | holds |
| F7-062 | Coffin-Manson n=4.55: halving dT from 142 K multiplies life by 23.43 | 23.43 | holds |
| F7-063 | Coffin-Manson n=4.60: halving dT from 144 K multiplies life by 24.25 | 24.25 | holds |
| F7-064 | Coffin-Manson n=4.65: halving dT from 146 K multiplies life by 25.11 | 25.11 | holds |
| F7-065 | Coffin-Manson n=4.70: halving dT from 148 K multiplies life by 25.99 | 25.99 | holds |
| F7-066 | Coffin-Manson n=4.75: halving dT from 150 K multiplies life by 26.91 | 26.91 | holds |
| F7-067 | Coffin-Manson n=4.80: halving dT from 152 K multiplies life by 27.86 | 27.86 | holds |
| F7-068 | Coffin-Manson n=4.85: halving dT from 154 K multiplies life by 28.84 | 28.84 | holds |
| F7-069 | Coffin-Manson n=4.90: halving dT from 156 K multiplies life by 29.86 | 29.86 | holds |
| F7-070 | Coffin-Manson n=4.95: halving dT from 158 K multiplies life by 30.91 | 30.91 | holds |
| F7-071 | Coffin-Manson n=5.00: halving dT from 160 K multiplies life by 32.00 | 32.0 | holds |
| F7-072 | Coffin-Manson n=5.05: halving dT from 162 K multiplies life by 33.13 | 33.13 | holds |
| F7-073 | Coffin-Manson n=5.10: halving dT from 164 K multiplies life by 34.30 | 34.3 | holds |
| F7-074 | Coffin-Manson n=5.15: halving dT from 166 K multiplies life by 35.51 | 35.51 | holds |
| F7-075 | Coffin-Manson n=5.20: halving dT from 168 K multiplies life by 36.76 | 36.76 | holds |
| F7-076 | Coffin-Manson n=5.25: halving dT from 170 K multiplies life by 38.05 | 38.05 | holds |
| F7-077 | Coffin-Manson n=5.30: halving dT from 172 K multiplies life by 39.40 | 39.4 | holds |
| F7-078 | Coffin-Manson n=5.35: halving dT from 174 K multiplies life by 40.79 | 40.79 | holds |
| F7-079 | Coffin-Manson n=5.40: halving dT from 176 K multiplies life by 42.22 | 42.22 | holds |
| F7-080 | Coffin-Manson n=5.45: halving dT from 178 K multiplies life by 43.71 | 43.71 | holds |
| F7-081 | Coffin-Manson n=5.50: halving dT from 180 K multiplies life by 45.25 | 45.25 | holds |
| F7-082 | Coffin-Manson n=5.55: halving dT from 182 K multiplies life by 46.85 | 46.85 | holds |
| F7-083 | Coffin-Manson n=5.60: halving dT from 184 K multiplies life by 48.50 | 48.5 | holds |
| F7-084 | Coffin-Manson n=5.65: halving dT from 186 K multiplies life by 50.21 | 50.21 | holds |
| F7-085 | Coffin-Manson n=5.70: halving dT from 188 K multiplies life by 51.98 | 51.98 | holds |
| F7-086 | Coffin-Manson n=5.75: halving dT from 190 K multiplies life by 53.82 | 53.82 | holds |
| F7-087 | Coffin-Manson n=5.80: halving dT from 192 K multiplies life by 55.72 | 55.72 | holds |
| F7-088 | Coffin-Manson n=5.85: halving dT from 194 K multiplies life by 57.68 | 57.68 | holds |
| F7-089 | Coffin-Manson n=5.90: halving dT from 196 K multiplies life by 59.71 | 59.71 | holds |
| F7-090 | Coffin-Manson n=5.95: halving dT from 198 K multiplies life by 61.82 | 61.82 | holds |
| F7-091 | Coffin-Manson n=6.00: halving dT from 200 K multiplies life by 64.00 | 64.0 | holds |
| F7-092 | Coffin-Manson n=6.05: halving dT from 202 K multiplies life by 66.26 | 66.26 | holds |
| F7-093 | Coffin-Manson n=6.10: halving dT from 204 K multiplies life by 68.59 | 68.59 | holds |
| F7-094 | Coffin-Manson n=6.15: halving dT from 206 K multiplies life by 71.01 | 71.01 | holds |
| F7-095 | Coffin-Manson n=6.20: halving dT from 208 K multiplies life by 73.52 | 73.52 | holds |
| F7-096 | Coffin-Manson n=6.25: halving dT from 210 K multiplies life by 76.11 | 76.11 | holds |
| F7-097 | Coffin-Manson n=6.30: halving dT from 212 K multiplies life by 78.79 | 78.79 | holds |
| F7-098 | Coffin-Manson n=6.35: halving dT from 214 K multiplies life by 81.57 | 81.57 | holds |
| F7-099 | Coffin-Manson n=6.40: halving dT from 216 K multiplies life by 84.45 | 84.45 | holds |
| F7-100 | Coffin-Manson n=6.45: halving dT from 218 K multiplies life by 87.43 | 87.43 | holds |
A failing entry is not a defect in the code — it is a case where the stated inequality does not hold over the full range, which bounds the claim's domain of validity. Those cases are kept.
Incoprea Research · study 10, 1,000 verified claims · 3 November 2026. Computation only.