| ID | Claim | Value | Verified |
|---|---|---|---|
| F6-001 | At tau=0.10, 24 h captures 28% of total preload loss | 27.5 | holds |
| F6-002 | At tau=0.15, 24 h captures 38% of total preload loss | 38.3 | holds |
| F6-003 | At tau=0.20, 24 h captures 47% of total preload loss | 47.5 | holds |
| F6-004 | At tau=0.25, 24 h captures 55% of total preload loss | 55.3 | holds |
| F6-005 | At tau=0.30, 24 h captures 62% of total preload loss | 61.9 | holds |
| F6-006 | At tau=0.35, 24 h captures 68% of total preload loss | 67.6 | holds |
| F6-007 | At tau=0.40, 24 h captures 72% of total preload loss | 72.4 | holds |
| F6-008 | At tau=0.45, 24 h captures 77% of total preload loss | 76.5 | holds |
| F6-009 | At tau=0.50, 24 h captures 80% of total preload loss | 80.0 | fails |
| F6-010 | At tau=0.55, 24 h captures 83% of total preload loss | 83.0 | fails |
| F6-011 | At tau=0.60, 24 h captures 86% of total preload loss | 85.5 | fails |
| F6-012 | At tau=0.65, 24 h captures 88% of total preload loss | 87.7 | fails |
| F6-013 | At tau=0.70, 24 h captures 89% of total preload loss | 89.5 | fails |
| F6-014 | At tau=0.75, 24 h captures 91% of total preload loss | 91.1 | fails |
| F6-015 | At tau=0.80, 24 h captures 92% of total preload loss | 92.4 | fails |
| F6-016 | At tau=0.85, 24 h captures 94% of total preload loss | 93.5 | fails |
| F6-017 | At tau=0.90, 24 h captures 94% of total preload loss | 94.5 | fails |
| F6-018 | At tau=0.95, 24 h captures 95% of total preload loss | 95.3 | fails |
| F6-019 | At tau=1.00, 24 h captures 96% of total preload loss | 96.0 | fails |
| F6-020 | At tau=1.05, 24 h captures 97% of total preload loss | 96.6 | fails |
| F6-021 | At tau=1.10, 24 h captures 97% of total preload loss | 97.1 | fails |
| F6-022 | At tau=1.15, 24 h captures 98% of total preload loss | 97.5 | fails |
| F6-023 | At tau=1.20, 24 h captures 98% of total preload loss | 97.9 | fails |
| F6-024 | At tau=1.25, 24 h captures 98% of total preload loss | 98.2 | fails |
| F6-025 | At tau=1.30, 24 h captures 98% of total preload loss | 98.5 | fails |
| F6-026 | At tau=1.35, 24 h captures 99% of total preload loss | 98.7 | fails |
| F6-027 | At tau=1.40, 24 h captures 99% of total preload loss | 98.9 | fails |
| F6-028 | At tau=1.45, 24 h captures 99% of total preload loss | 99.1 | fails |
| F6-029 | At tau=1.50, 24 h captures 99% of total preload loss | 99.2 | fails |
| F6-030 | At tau=1.55, 24 h captures 99% of total preload loss | 99.3 | fails |
| F6-031 | At tau=1.60, 24 h captures 99% of total preload loss | 99.4 | fails |
| F6-032 | At tau=1.65, 24 h captures 100% of total preload loss | 99.5 | fails |
| F6-033 | At tau=1.70, 24 h captures 100% of total preload loss | 99.6 | fails |
| F6-034 | At tau=1.75, 24 h captures 100% of total preload loss | 99.6 | fails |
| F6-035 | At tau=1.80, 24 h captures 100% of total preload loss | 99.7 | fails |
| F6-036 | At tau=1.85, 24 h captures 100% of total preload loss | 99.7 | fails |
| F6-037 | At tau=1.90, 24 h captures 100% of total preload loss | 99.8 | fails |
| F6-038 | At tau=1.95, 24 h captures 100% of total preload loss | 99.8 | fails |
| F6-039 | At tau=2.00, 24 h captures 100% of total preload loss | 99.8 | fails |
| F6-040 | At tau=2.05, 24 h captures 100% of total preload loss | 99.9 | fails |
| F6-041 | At tau=2.10, 24 h captures 100% of total preload loss | 99.9 | fails |
| F6-042 | At tau=2.15, 24 h captures 100% of total preload loss | 99.9 | fails |
| F6-043 | At tau=2.20, 24 h captures 100% of total preload loss | 99.9 | fails |
| F6-044 | At tau=2.25, 24 h captures 100% of total preload loss | 99.9 | fails |
| F6-045 | At tau=2.30, 24 h captures 100% of total preload loss | 99.9 | fails |
| F6-046 | At tau=2.35, 24 h captures 100% of total preload loss | 99.9 | fails |
| F6-047 | At tau=2.40, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-048 | At tau=2.45, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-049 | At tau=2.50, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-050 | At tau=2.55, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-051 | At tau=2.60, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-052 | At tau=2.65, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-053 | At tau=2.70, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-054 | At tau=2.75, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-055 | At tau=2.80, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-056 | At tau=2.85, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-057 | At tau=2.90, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-058 | At tau=2.95, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-059 | At tau=3.00, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-060 | At tau=3.05, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-061 | At tau=3.10, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-062 | At tau=3.15, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-063 | At tau=3.20, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-064 | At tau=3.25, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-065 | At tau=3.30, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-066 | At tau=3.35, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-067 | At tau=3.40, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-068 | At tau=3.45, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-069 | At tau=3.50, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-070 | At tau=3.55, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-071 | At tau=3.60, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-072 | At tau=3.65, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-073 | At tau=3.70, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-074 | At tau=3.75, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-075 | At tau=3.80, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-076 | At tau=3.85, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-077 | At tau=3.90, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-078 | At tau=3.95, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-079 | At tau=4.00, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-080 | At tau=4.05, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-081 | At tau=4.10, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-082 | At tau=4.15, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-083 | At tau=4.20, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-084 | At tau=4.25, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-085 | At tau=4.30, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-086 | At tau=4.35, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-087 | At tau=4.40, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-088 | At tau=4.45, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-089 | At tau=4.50, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-090 | At tau=4.55, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-091 | At tau=4.60, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-092 | At tau=4.65, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-093 | At tau=4.70, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-094 | At tau=4.75, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-095 | At tau=4.80, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-096 | At tau=4.85, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-097 | At tau=4.90, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-098 | At tau=4.95, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-099 | At tau=5.00, 24 h captures 100% of total preload loss | 100.0 | fails |
| F6-100 | At tau=5.05, 24 h captures 100% of total preload loss | 100.0 | fails |
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.