iters=5 new-facts=1 prior-facts=1 | | mean | 275.713-275.387=0.326 | | σ | 0.004-0.010=-0.006 | | min | 275.709-275.378=0.331 | | max | 275.718-275.398=0.319 |
| | mean | 2846.000-2857.000=-11.000 | | σ | 0.000 | | min | 2846.000-2857.000=-11.000 | | max | 2846.000-2857.000=-11.000 |
| | mean | 0.391-0.387=0.004 | | σ | 0.008-0.004=0.004 | | min | 0.384-0.384=0.000 | | max | 0.401-0.394=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1936.129-1935.782=0.347 | | σ | 0.014-0.011=0.003 | | min | 1936.107-1935.770=0.336 | | max | 1936.145-1935.800=0.345 |
| | mean | 2846.000-2857.000=-11.000 | | σ | 0.000 | | min | 2846.000-2857.000=-11.000 | | max | 2846.000-2857.000=-11.000 |
| | mean | 3.026-2.938=0.088 | | σ | 0.012-0.249=-0.237 | | min | 3.007-2.553=0.454 | | max | 3.038-3.185=-0.147 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.805-4756.396=0.409 | | σ | 0.921-1.054=-0.134 | | min | 4756.010-4755.151=0.859 | | max | 4758.396-4758.076=0.320 |
| | mean | 2846.000-2857.000=-11.000 | | σ | 0.000 | | min | 2846.000-2857.000=-11.000 | | max | 2846.000-2857.000=-11.000 |
| | mean | 8.375-7.923=0.452 | | σ | 0.462-0.363=0.098 | | min | 7.616-7.687=-0.071 | | max | 8.863-8.568=0.295 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4947.281-4946.927=0.354 | | σ | 0.161-0.159=0.002 | | min | 4946.995-4946.646=0.349 | | max | 4947.377-4947.022=0.355 |
| | mean | 3025.000-3085.200=-60.200 | | σ | 268.781-306.785=-38.005 | | min | 2846.000-2857.000=-11.000 | | max | 3461.000-3556.000=-95.000 |
| | mean | 8.424-8.477=-0.053 | | σ | 0.051-0.121=-0.070 | | min | 8.359-8.399=-0.040 | | max | 8.471-8.690=-0.219 |
|