iters=5 new-facts=1 prior-facts=1 | | mean | 286.824-284.692=2.132 | | σ | 0.034-0.036=-0.002 | | min | 286.782-284.646=2.136 | | max | 286.867-284.730=2.137 |
| | mean | 1653.000-1635.000=18.000 | | σ | 0.000 | | min | 1653.000-1635.000=18.000 | | max | 1653.000-1635.000=18.000 |
| | mean | 0.401-0.395=0.005 | | σ | 0.013-0.009=0.004 | | min | 0.390-0.385=0.006 | | max | 0.419-0.403=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.226-1295.076=2.150 | | σ | 0.074-0.112=-0.038 | | min | 1297.143-1294.953=2.190 | | max | 1297.327-1295.208=2.119 |
| | mean | 1653.000-1635.000=18.000 | | σ | 0.000 | | min | 1653.000-1635.000=18.000 | | max | 1653.000-1635.000=18.000 |
| | mean | 2.079-1.893=0.186 | | σ | 0.065-0.110=-0.045 | | min | 2.014-1.758=0.255 | | max | 2.174-2.028=0.147 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.396-1539.177=2.219 | | σ | 6.823-6.837=-0.014 | | min | 1538.199-1535.964=2.236 | | max | 1553.598-1551.404=2.194 |
| | mean | 1653.000-1635.000=18.000 | | σ | 0.000 | | min | 1653.000-1635.000=18.000 | | max | 1653.000-1635.000=18.000 |
| | mean | 2.397-2.200=0.198 | | σ | 0.175-0.166=0.009 | | min | 2.139-2.040=0.098 | | max | 2.542-2.400=0.142 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.117-1856.982=2.134 | | σ | 0.063-0.064=-0.001 | | min | 1859.040-1856.908=2.132 | | max | 1859.193-1857.069=2.124 |
| | mean | 1773.000-1774.400=-1.400 | | σ | 123.219-131.986=-8.767 | | min | 1653.000-1635.000=18.000 | | max | 1902.000-1908.000=-6.000 |
| | mean | 3.080-3.084=-0.004 | | σ | 0.264-0.307=-0.043 | | min | 2.789-2.845=-0.056 | | max | 3.420-3.617=-0.197 |
|