iters=5 new-facts=1 prior-facts=1 | | mean | 272.759-271.956=0.802 | | σ | 0.006-0.007=-0.001 | | min | 272.754-271.947=0.807 | | max | 272.767-271.966=0.801 |
| | mean | 2704.000-2734.000=-30.000 | | σ | 0.000 | | min | 2704.000-2734.000=-30.000 | | max | 2704.000-2734.000=-30.000 |
| | mean | 0.383-0.385=-0.002 | | σ | 0.004-0.007=-0.003 | | min | 0.379-0.381=-0.002 | | max | 0.390-0.398=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.130-1932.331=0.799 | | σ | 0.011-0.013=-0.003 | | min | 1933.121-1932.313=0.808 | | max | 1933.146-1932.347=0.798 |
| | mean | 2704.000-2734.000=-30.000 | | σ | 0.000 | | min | 2704.000-2734.000=-30.000 | | max | 2704.000-2734.000=-30.000 |
| | mean | 3.103-2.946=0.157 | | σ | 0.094-0.286=-0.192 | | min | 2.990-2.449=0.541 | | max | 3.189-3.173=0.016 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.838-4752.979=0.859 | | σ | 0.938-1.009=-0.072 | | min | 4753.128-4752.048=1.080 | | max | 4755.479-4754.701=0.777 |
| | mean | 2704.000-2734.000=-30.000 | | σ | 0.000 | | min | 2704.000-2734.000=-30.000 | | max | 2704.000-2734.000=-30.000 |
| | mean | 8.480-8.621=-0.140 | | σ | 0.498-0.369=0.129 | | min | 7.962-8.013=-0.051 | | max | 9.063-8.926=0.137 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.357-4943.556=0.801 | | σ | 0.018-0.014=0.005 | | min | 4944.332-4943.537=0.795 | | max | 4944.375-4943.570=0.805 |
| | mean | 2996.000-3041.200=-45.200 | | σ | 328.917-224.355=104.562 | | min | 2704.000-2734.000=-30.000 | | max | 3465.000-3328.000=137.000 |
| | mean | 8.433-8.486=-0.053 | | σ | 0.095-0.126=-0.031 | | min | 8.327-8.338=-0.011 | | max | 8.564-8.631=-0.066 |
|