iters=5 new-facts=1 prior-facts=1 | | mean | 326.506-326.506=0.000 | | σ | 0.062-0.049=0.013 | | min | 326.396-326.418=-0.022 | | max | 326.550-326.532=0.018 |
| | mean | 2805.000-2613.000=192.000 | | σ | 0.000 | | min | 2805.000-2613.000=192.000 | | max | 2805.000-2613.000=192.000 |
| | mean | 0.435-0.427=0.008 | | σ | 0.009-0.003=0.006 | | min | 0.427-0.423=0.003 | | max | 0.449-0.431=0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.681-1988.677=0.004 | | σ | 0.004-0.011=-0.007 | | min | 1988.675-1988.663=0.012 | | max | 1988.685-1988.688=-0.003 |
| | mean | 2805.000-2613.000=192.000 | | σ | 0.000 | | min | 2805.000-2613.000=192.000 | | max | 2805.000-2613.000=192.000 |
| | mean | 2.683-2.807=-0.124 | | σ | 0.037-0.205=-0.168 | | min | 2.626-2.574=0.052 | | max | 2.730-3.036=-0.306 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.544-4813.465=0.079 | | σ | 7.747-7.418=0.329 | | min | 4809.973-4809.963=0.010 | | max | 4827.401-4826.730=0.671 |
| | mean | 2805.000-2613.000=192.000 | | σ | 0.000 | | min | 2805.000-2613.000=192.000 | | max | 2805.000-2613.000=192.000 |
| | mean | 8.483-8.357=0.126 | | σ | 0.590-0.745=-0.155 | | min | 7.806-7.640=0.166 | | max | 9.302-9.389=-0.087 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.064-5001.004=0.060 | | σ | 0.041-0.143=-0.102 | | min | 5000.998-5000.751=0.247 | | max | 5001.105-5001.087=0.018 |
| | mean | 3035.000-2960.000=75.000 | | σ | 289.595-361.124=-71.529 | | min | 2805.000-2613.000=192.000 | | max | 3474.000-3442.000=32.000 |
| | mean | 9.681-9.752=-0.071 | | σ | 0.234-0.226=0.007 | | min | 9.320-9.421=-0.101 | | max | 9.923-10.059=-0.137 |
|