iters=5 new-facts=1 prior-facts=1 | | mean | 272.756-272.757=-0.001 | | σ | 0.006-0.005=0.001 | | min | 272.747-272.752=-0.005 | | max | 272.763-272.765=-0.002 |
| | mean | 2770.000-2766.000=4.000 | | σ | 0.000 | | min | 2770.000-2766.000=4.000 | | max | 2770.000-2766.000=4.000 |
| | mean | 0.381-0.381=-0.000 | | σ | 0.001-0.007=-0.006 | | min | 0.380-0.375=0.004 | | max | 0.382-0.392=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.165-1933.157=0.008 | | σ | 0.012-0.008=0.004 | | min | 1933.145-1933.148=-0.003 | | max | 1933.175-1933.165=0.010 |
| | mean | 2770.000-2766.000=4.000 | | σ | 0.000 | | min | 2770.000-2766.000=4.000 | | max | 2770.000-2766.000=4.000 |
| | mean | 2.892-3.271=-0.379 | | σ | 0.248-0.169=0.079 | | min | 2.480-3.050=-0.570 | | max | 3.095-3.493=-0.397 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.900-4757.013=-0.113 | | σ | 7.607-7.556=0.052 | | min | 4753.419-4753.507=-0.088 | | max | 4770.508-4770.528=-0.020 |
| | mean | 2770.000-2766.000=4.000 | | σ | 0.000 | | min | 2770.000-2766.000=4.000 | | max | 2770.000-2766.000=4.000 |
| | mean | 8.697-7.917=0.780 | | σ | 0.292-0.423=-0.131 | | min | 8.329-7.642=0.686 | | max | 9.078-8.667=0.411 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.325-4944.261=0.063 | | σ | 0.168-0.182=-0.014 | | min | 4944.025-4944.060=-0.035 | | max | 4944.418-4944.407=0.010 |
| | mean | 3019.000-2999.800=19.200 | | σ | 307.909-290.236=17.673 | | min | 2770.000-2766.000=4.000 | | max | 3490.000-3439.000=51.000 |
| | mean | 8.446-8.566=-0.120 | | σ | 0.157-0.110=0.047 | | min | 8.346-8.409=-0.063 | | max | 8.719-8.674=0.045 |
|