iters=5 new-facts=1 prior-facts=1 | | mean | 277.718-277.715=0.003 | | σ | 0.012-0.011=0.000 | | min | 277.700-277.698=0.001 | | max | 277.732-277.727=0.005 |
| | mean | 2628.000-2654.000=-26.000 | | σ | 0.000 | | min | 2628.000-2654.000=-26.000 | | max | 2628.000-2654.000=-26.000 |
| | mean | 0.410-0.411=-0.001 | | σ | 0.001-0.002=-0.001 | | min | 0.409-0.409=0.000 | | max | 0.410-0.413=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.883-2267.892=-0.009 | | σ | 0.007-0.009=-0.002 | | min | 2267.871-2267.884=-0.012 | | max | 2267.889-2267.902=-0.014 |
| | mean | 2628.000-2654.000=-26.000 | | σ | 0.000 | | min | 2628.000-2654.000=-26.000 | | max | 2628.000-2654.000=-26.000 |
| | mean | 2.964-3.070=-0.106 | | σ | 0.141-0.180=-0.039 | | min | 2.775-2.889=-0.114 | | max | 3.141-3.296=-0.155 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.963-4955.076=-0.113 | | σ | 0.899-0.848=0.051 | | min | 4954.214-4954.639=-0.424 | | max | 4956.528-4956.590=-0.062 |
| | mean | 2628.000-2654.000=-26.000 | | σ | 0.000 | | min | 2628.000-2654.000=-26.000 | | max | 2628.000-2654.000=-26.000 |
| | mean | 7.857-7.916=-0.059 | | σ | 0.197-0.159=0.038 | | min | 7.716-7.725=-0.009 | | max | 8.202-8.112=0.090 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.648-5169.790=-0.142 | | σ | 0.282-0.077=0.205 | | min | 5169.337-5169.694=-0.357 | | max | 5169.866-5169.856=0.010 |
| | mean | 3413.200-3421.200=-8.000 | | σ | 454.540-473.878=-19.338 | | min | 2821.000-2856.000=-35.000 | | max | 4049.000-4106.000=-57.000 |
| | mean | 9.295-9.398=-0.103 | | σ | 0.347-0.379=-0.032 | | min | 8.974-9.001=-0.027 | | max | 9.870-10.023=-0.153 |
|