iters=5 new-facts=1 prior-facts=1 | | mean | 272.793-272.792=0.001 | | σ | 0.004-0.008=-0.005 | | min | 272.787-272.785=0.002 | | max | 272.797-272.804=-0.007 |
| | mean | 2502.000-2734.000=-232.000 | | σ | 0.000 | | min | 2502.000-2734.000=-232.000 | | max | 2502.000-2734.000=-232.000 |
| | mean | 0.378-0.382=-0.004 | | σ | 0.002-0.007=-0.005 | | min | 0.375-0.378=-0.003 | | max | 0.381-0.395=-0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.240-1933.222=0.018 | | σ | 0.016-0.011=0.006 | | min | 1933.214-1933.211=0.003 | | max | 1933.257-1933.239=0.017 |
| | mean | 2502.000-2734.000=-232.000 | | σ | 0.000 | | min | 2502.000-2734.000=-232.000 | | max | 2502.000-2734.000=-232.000 |
| | mean | 2.837-3.039=-0.202 | | σ | 0.322-0.183=0.139 | | min | 2.480-2.731=-0.251 | | max | 3.137-3.167=-0.030 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.951-4756.821=0.130 | | σ | 7.592-7.682=-0.089 | | min | 4753.477-4752.547=0.930 | | max | 4770.532-4770.534=-0.002 |
| | mean | 2502.000-2734.000=-232.000 | | σ | 0.000 | | min | 2502.000-2734.000=-232.000 | | max | 2502.000-2734.000=-232.000 |
| | mean | 8.678-7.953=0.725 | | σ | 0.293-0.390=-0.098 | | min | 8.323-7.648=0.675 | | max | 9.073-8.576=0.498 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.381-4944.396=-0.014 | | σ | 0.147-0.154=-0.007 | | min | 4944.121-4944.122=-0.002 | | max | 4944.467-4944.482=-0.015 |
| | mean | 2951.000-2987.400=-36.400 | | σ | 377.614-303.379=74.235 | | min | 2502.000-2734.000=-232.000 | | max | 3474.000-3438.000=36.000 |
| | mean | 8.513-8.515=-0.003 | | σ | 0.165-0.266=-0.101 | | min | 8.329-8.252=0.078 | | max | 8.743-8.847=-0.104 |
|