iters=5 new-facts=1 prior-facts=1 | | mean | 294.674-294.677=-0.003 | | σ | 0.015-0.016=-0.001 | | min | 294.653-294.651=0.002 | | max | 294.694-294.694=0.000 |
| | mean | 1653.000-1655.000=-2.000 | | σ | 0.000 | | min | 1653.000-1655.000=-2.000 | | max | 1653.000-1655.000=-2.000 |
| | mean | 0.386-0.381=0.005 | | σ | 0.009-0.001=0.008 | | min | 0.379-0.380=-0.001 | | max | 0.397-0.382=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.989-1316.932=0.057 | | σ | 0.059-0.103=-0.044 | | min | 1316.903-1316.868=0.034 | | max | 1317.043-1317.115=-0.072 |
| | mean | 1653.000-1655.000=-2.000 | | σ | 0.000 | | min | 1653.000-1655.000=-2.000 | | max | 1653.000-1655.000=-2.000 |
| | mean | 2.049-1.891=0.159 | | σ | 0.200-0.050=0.150 | | min | 1.848-1.846=0.002 | | max | 2.326-1.970=0.356 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.316-1555.277=0.039 | | σ | 6.818-6.853=-0.035 | | min | 1552.074-1551.957=0.117 | | max | 1567.509-1567.530=-0.021 |
| | mean | 1653.000-1655.000=-2.000 | | σ | 0.000 | | min | 1653.000-1655.000=-2.000 | | max | 1653.000-1655.000=-2.000 |
| | mean | 2.273-2.232=0.041 | | σ | 0.100-0.164=-0.065 | | min | 2.178-2.075=0.103 | | max | 2.430-2.500=-0.070 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.773-1884.774=-0.001 | | σ | 0.031-0.031=-0.001 | | min | 1884.754-1884.747=0.007 | | max | 1884.828-1884.828=-0.001 |
| | mean | 1771.800-1794.600=-22.800 | | σ | 129.643-171.354=-41.712 | | min | 1653.000-1655.000=-2.000 | | max | 1967.000-2050.000=-83.000 |
| | mean | 3.028-3.026=0.002 | | σ | 0.168-0.173=-0.005 | | min | 2.878-2.893=-0.015 | | max | 3.274-3.313=-0.039 |
|