iters=5 new-facts=1 prior-facts=1 | | mean | 281.497-281.495=0.001 | | σ | 0.040-0.041=-0.001 | | min | 281.448-281.445=0.003 | | max | 281.539-281.537=0.002 |
| | mean | 1632.000-1653.000=-21.000 | | σ | 0.000 | | min | 1632.000-1653.000=-21.000 | | max | 1632.000-1653.000=-21.000 |
| | mean | 0.394-0.394=0.000 | | σ | 0.006-0.008=-0.002 | | min | 0.386-0.384=0.002 | | max | 0.400-0.400=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1291.476-1291.483=-0.007 | | σ | 0.103-0.104=-0.001 | | min | 1291.360-1291.366=-0.006 | | max | 1291.612-1291.624=-0.012 |
| | mean | 1632.000-1653.000=-21.000 | | σ | 0.000 | | min | 1632.000-1653.000=-21.000 | | max | 1632.000-1653.000=-21.000 |
| | mean | 1.982-1.882=0.100 | | σ | 0.160-0.095=0.065 | | min | 1.839-1.796=0.043 | | max | 2.249-2.028=0.221 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1534.321-1534.349=-0.028 | | σ | 4.013-3.999=0.015 | | min | 1532.297-1532.358=-0.061 | | max | 1541.491-1541.497=-0.006 |
| | mean | 1632.000-1653.000=-21.000 | | σ | 0.000 | | min | 1632.000-1653.000=-21.000 | | max | 1632.000-1653.000=-21.000 |
| | mean | 2.222-2.177=0.046 | | σ | 0.190-0.165=0.025 | | min | 2.036-2.009=0.026 | | max | 2.462-2.420=0.043 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1853.354-1853.357=-0.002 | | σ | 0.049-0.048=0.002 | | min | 1853.307-1853.300=0.007 | | max | 1853.423-1853.414=0.009 |
| | mean | 1792.800-1784.400=8.400 | | σ | 147.298-163.995=-16.697 | | min | 1632.000-1653.000=-21.000 | | max | 1939.000-2026.000=-87.000 |
| | mean | 3.137-2.906=0.230 | | σ | 0.281-0.075=0.206 | | min | 2.905-2.838=0.067 | | max | 3.622-2.992=0.629 |
|