iters=5 new-facts=1 prior-facts=1 | | mean | 324.762-324.692=0.070 | | σ | 0.056-0.047=0.010 | | min | 324.662-324.609=0.053 | | max | 324.800-324.722=0.078 |
| | mean | 2847.000-2845.000=2.000 | | σ | 0.000 | | min | 2847.000-2845.000=2.000 | | max | 2847.000-2845.000=2.000 |
| | mean | 0.432-0.424=0.008 | | σ | 0.008-0.002=0.005 | | min | 0.422-0.423=-0.001 | | max | 0.440-0.429=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.317-1985.257=0.060 | | σ | 0.016-0.006=0.011 | | min | 1985.291-1985.248=0.043 | | max | 1985.330-1985.263=0.068 |
| | mean | 2847.000-2845.000=2.000 | | σ | 0.000 | | min | 2847.000-2845.000=2.000 | | max | 2847.000-2845.000=2.000 |
| | mean | 2.621-2.633=-0.013 | | σ | 0.068-0.076=-0.008 | | min | 2.551-2.564=-0.013 | | max | 2.715-2.716=-0.000 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.106-4808.731=0.376 | | σ | 7.628-7.765=-0.137 | | min | 4805.595-4804.823=0.771 | | max | 4822.749-4822.614=0.136 |
| | mean | 2847.000-2845.000=2.000 | | σ | 0.000 | | min | 2847.000-2845.000=2.000 | | max | 2847.000-2845.000=2.000 |
| | mean | 8.935-8.798=0.137 | | σ | 0.456-0.304=0.152 | | min | 8.367-8.301=0.067 | | max | 9.633-9.014=0.619 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.629-4996.454=0.175 | | σ | 0.023-0.019=0.004 | | min | 4996.598-4996.434=0.164 | | max | 4996.653-4996.473=0.180 |
| | mean | 3056.600-3039.000=17.600 | | σ | 226.085-202.000=24.085 | | min | 2847.000-2845.000=2.000 | | max | 3393.000-3327.000=66.000 |
| | mean | 8.751-8.642=0.109 | | σ | 0.170-0.186=-0.016 | | min | 8.496-8.483=0.012 | | max | 8.958-8.944=0.014 |
|