iters=5 new-facts=1 prior-facts=1 | | mean | 271.600-271.755=-0.156 | | σ | 0.008-0.006=0.002 | | min | 271.594-271.750=-0.156 | | max | 271.609-271.765=-0.156 |
| | mean | 2730.000-2436.000=294.000 | | σ | 0.000 | | min | 2730.000-2436.000=294.000 | | max | 2730.000-2436.000=294.000 |
| | mean | 0.386-0.383=0.003 | | σ | 0.008-0.007=0.001 | | min | 0.379-0.376=0.003 | | max | 0.395-0.393=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.004-1932.181=-0.178 | | σ | 0.012-0.007=0.005 | | min | 1931.985-1932.173=-0.189 | | max | 1932.014-1932.192=-0.178 |
| | mean | 2730.000-2436.000=294.000 | | σ | 0.000 | | min | 2730.000-2436.000=294.000 | | max | 2730.000-2436.000=294.000 |
| | mean | 2.506-3.076=-0.570 | | σ | 0.085-0.186=-0.101 | | min | 2.404-2.885=-0.481 | | max | 2.609-3.341=-0.732 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.735-4752.911=-0.176 | | σ | 0.877-0.852=0.025 | | min | 4752.203-4752.449=-0.246 | | max | 4754.296-4754.426=-0.130 |
| | mean | 2730.000-2436.000=294.000 | | σ | 0.000 | | min | 2730.000-2436.000=294.000 | | max | 2730.000-2436.000=294.000 |
| | mean | 8.596-8.387=0.209 | | σ | 0.394-0.498=-0.104 | | min | 8.235-7.605=0.630 | | max | 9.216-8.806=0.410 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.150-4943.378=-0.228 | | σ | 0.144-0.012=0.132 | | min | 4942.893-4943.361=-0.469 | | max | 4943.226-4943.391=-0.165 |
| | mean | 3039.400-3018.600=20.800 | | σ | 226.911-302.662=-75.751 | | min | 2730.000-2607.000=123.000 | | max | 3331.000-3404.000=-73.000 |
| | mean | 8.542-8.564=-0.021 | | σ | 0.126-0.070=0.056 | | min | 8.385-8.493=-0.107 | | max | 8.676-8.667=0.009 |
|