iters=5 new-facts=1 prior-facts=1 | | mean | 285.410 | | σ | 0.013 | | min | 285.392 | | max | 285.429 |
| | mean | 1633.000 | | σ | 0.000 | | min | 1633.000 | | max | 1633.000 |
| | mean | 0.372 | | σ | 0.005 | | min | 0.369 | | max | 0.381 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.377 | | σ | 0.137 | | min | 1285.308 | | max | 1285.622 |
| | mean | 1633.000 | | σ | 0.000 | | min | 1633.000 | | max | 1633.000 |
| | mean | 1.921 | | σ | 0.066 | | min | 1.808 | | max | 1.981 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.711 | | σ | 7.010 | | min | 1804.344 | | max | 1820.235 |
| | mean | 1633.000 | | σ | 0.000 | | min | 1633.000 | | max | 1633.000 |
| | mean | 4.184 | | σ | 0.295 | | min | 3.854 | | max | 4.568 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.193 | | σ | 0.010 | | min | 2070.179 | | max | 2070.207 |
| | mean | 1794.600 | | σ | 176.554 | | min | 1633.000 | | max | 2044.000 |
| | mean | 4.465 | | σ | 0.195 | | min | 4.336 | | max | 4.809 |
|