Experiment 1 · Results
Results: 0 of 14 runs
(a) \(\textbf{H}_a\): \(s(N,\text{off})\) is non-decreasing in \(N\). (b) \(\textbf{H}_b\): at equal \(k\), \(E_{\rm miss}\) and \(f\) are lower under paired, with \(s\) not much lower. The definitions of \(s, f, E_{\rm self}, E_{\rm miss}, F\) are in Design §3–4. With \(m=2\) seeds both are descriptions, not tests (§2.8).
Run list
| \(\pi\) | run | \((N,v)\) | \(k\) | status |
|---|---|---|---|---|
| 1 | exp1-cc-N4-paired-s2 | (4, paired) | 8 | not run |
| 2 | exp1-cc-N2-paired-s1 | (2, paired) | 4 | not run |
| 3 | exp1-cc-N1-off-s1 | (1, off) | 1 | not run |
| 4 | exp1-cc-N4-paired-s1 | (4, paired) | 8 | not run |
| 5 | exp1-cc-N8-off-s1 | (8, off) | 8 | not run |
| 6 | exp1-cc-N4-off-s2 | (4, off) | 4 | not run |
| 7 | exp1-cc-N2-off-s2 | (2, off) | 2 | not run |
| 8 | exp1-cc-N1-paired-s1 | (1, paired) | 2 | not run |
| 9 | exp1-cc-N8-off-s2 | (8, off) | 8 | not run |
| 10 | exp1-cc-N2-paired-s2 | (2, paired) | 4 | not run |
| 11 | exp1-cc-N4-off-s1 | (4, off) | 4 | not run |
| 12 | exp1-cc-N1-off-s2 | (1, off) | 1 | not run |
| 13 | exp1-cc-N1-paired-s2 | (1, paired) | 2 | not run |
| 14 | exp1-cc-N2-off-s1 | (2, off) | 2 | not run |
The pilot is outside the 14; its report stays on the private branch until the 14 runs are filed.
(a) More agents
(b) Verifiers
Cost
