iters=5 new-facts=1 prior-facts=1 | | mean | 324.762-324.703=0.059 | | σ | 0.043-0.030=0.014 | | min | 324.691-324.651=0.041 | | max | 324.798-324.724=0.074 |
| | mean | 2839.000-2833.000=6.000 | | σ | 0.000 | | min | 2839.000-2833.000=6.000 | | max | 2839.000-2833.000=6.000 |
| | mean | 0.420-0.423=-0.003 | | σ | 0.010-0.002=0.009 | | min | 0.415-0.421=-0.007 | | max | 0.438-0.426=0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.330-1985.248=0.081 | | σ | 0.004-0.014=-0.010 | | min | 1985.325-1985.230=0.094 | | max | 1985.334-1985.264=0.070 |
| | mean | 2839.000-2833.000=6.000 | | σ | 0.000 | | min | 2839.000-2833.000=6.000 | | max | 2839.000-2833.000=6.000 |
| | mean | 2.601-2.614=-0.013 | | σ | 0.058-0.119=-0.060 | | min | 2.522-2.513=0.009 | | max | 2.661-2.785=-0.124 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.024-4808.877=0.147 | | σ | 7.706-7.649=0.057 | | min | 4804.974-4805.340=-0.367 | | max | 4822.794-4822.559=0.235 |
| | mean | 2839.000-2833.000=6.000 | | σ | 0.000 | | min | 2839.000-2833.000=6.000 | | max | 2839.000-2833.000=6.000 |
| | mean | 8.763-8.640=0.123 | | σ | 0.818-0.546=0.272 | | min | 7.684-7.710=-0.026 | | max | 9.963-9.081=0.882 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.630-4996.438=0.192 | | σ | 0.025-0.016=0.009 | | min | 4996.589-4996.417=0.172 | | max | 4996.651-4996.460=0.191 |
| | mean | 3048.400-3060.800=-12.400 | | σ | 188.558-298.361=-109.802 | | min | 2839.000-2833.000=6.000 | | max | 3320.000-3519.000=-199.000 |
| | mean | 8.628-8.472=0.157 | | σ | 0.132-0.125=0.007 | | min | 8.483-8.350=0.133 | | max | 8.788-8.675=0.113 |
|