iters=5 new-facts=1 prior-facts=1 | | mean | 324.764-324.762=0.002 | | σ | 0.056-0.056=-0.000 | | min | 324.664-324.662=0.002 | | max | 324.802-324.800=0.002 |
| | mean | 2839.000-2847.000=-8.000 | | σ | 0.000 | | min | 2839.000-2847.000=-8.000 | | max | 2839.000-2847.000=-8.000 |
| | mean | 0.437-0.432=0.005 | | σ | 0.017-0.008=0.009 | | min | 0.423-0.422=0.000 | | max | 0.463-0.440=0.023 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.306-1985.317=-0.011 | | σ | 0.010-0.016=-0.007 | | min | 1985.291-1985.291=-0.000 | | max | 1985.314-1985.330=-0.016 |
| | mean | 2839.000-2847.000=-8.000 | | σ | 0.000 | | min | 2839.000-2847.000=-8.000 | | max | 2839.000-2847.000=-8.000 |
| | mean | 2.629-2.621=0.009 | | σ | 0.096-0.068=0.028 | | min | 2.564-2.551=0.013 | | max | 2.789-2.715=0.073 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.026-4809.106=-0.081 | | σ | 7.705-7.628=0.078 | | min | 4804.969-4805.595=-0.626 | | max | 4822.793-4822.749=0.044 |
| | mean | 2839.000-2847.000=-8.000 | | σ | 0.000 | | min | 2839.000-2847.000=-8.000 | | max | 2839.000-2847.000=-8.000 |
| | mean | 8.710-8.935=-0.225 | | σ | 0.618-0.456=0.162 | | min | 7.705-8.367=-0.662 | | max | 9.161-9.633=-0.472 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.551-4996.629=-0.078 | | σ | 0.146-0.023=0.123 | | min | 4996.293-4996.598=-0.305 | | max | 4996.646-4996.653=-0.007 |
| | mean | 3085.800-3056.600=29.200 | | σ | 252.098-226.085=26.013 | | min | 2839.000-2847.000=-8.000 | | max | 3345.000-3393.000=-48.000 |
| | mean | 8.755-8.751=0.003 | | σ | 0.260-0.170=0.090 | | min | 8.503-8.496=0.007 | | max | 9.119-8.958=0.161 |
|