iters=5 new-facts=1 prior-facts=1 | | mean | 326.632-326.635=-0.003 | | σ | 0.061-0.054=0.007 | | min | 326.523-326.539=-0.016 | | max | 326.671-326.668=0.002 |
| | mean | 2760.000-2832.000=-72.000 | | σ | 0.000 | | min | 2760.000-2832.000=-72.000 | | max | 2760.000-2832.000=-72.000 |
| | mean | 0.429-0.423=0.006 | | σ | 0.006-0.001=0.005 | | min | 0.424-0.422=0.002 | | max | 0.439-0.424=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.799-1988.804=-0.005 | | σ | 0.015-0.008=0.007 | | min | 1988.782-1988.792=-0.010 | | max | 1988.820-1988.814=0.006 |
| | mean | 2760.000-2832.000=-72.000 | | σ | 0.000 | | min | 2760.000-2832.000=-72.000 | | max | 2760.000-2832.000=-72.000 |
| | mean | 2.679-2.703=-0.025 | | σ | 0.143-0.105=0.038 | | min | 2.576-2.578=-0.003 | | max | 2.926-2.831=0.095 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.553-4813.663=-0.110 | | σ | 7.513-7.776=-0.263 | | min | 4810.142-4810.133=0.009 | | max | 4826.992-4827.572=-0.580 |
| | mean | 2760.000-2832.000=-72.000 | | σ | 0.000 | | min | 2760.000-2832.000=-72.000 | | max | 2760.000-2832.000=-72.000 |
| | mean | 8.923-8.991=-0.068 | | σ | 0.444-0.405=0.039 | | min | 8.467-8.602=-0.135 | | max | 9.539-9.591=-0.052 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.131-5001.211=-0.080 | | σ | 0.156-0.039=0.117 | | min | 5000.855-5001.177=-0.322 | | max | 5001.231-5001.274=-0.043 |
| | mean | 2989.200-3054.000=-64.800 | | σ | 228.327-216.849=11.478 | | min | 2760.000-2832.000=-72.000 | | max | 3322.000-3328.000=-6.000 |
| | mean | 9.645-9.915=-0.269 | | σ | 0.182-0.203=-0.021 | | min | 9.460-9.641=-0.181 | | max | 9.901-10.195=-0.295 |
|