iters=5 new-facts=1 prior-facts=1 | | mean | 285.400 | | σ | 0.037 | | min | 285.351 | | max | 285.439 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 0.390 | | σ | 0.008 | | min | 0.382 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.774 | | σ | 0.109 | | min | 1295.663 | | max | 1295.904 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 1.911 | | σ | 0.103 | | min | 1.809 | | max | 2.045 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.905 | | σ | 6.888 | | min | 1536.609 | | max | 1552.222 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 2.273 | | σ | 0.215 | | min | 2.048 | | max | 2.495 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.684 | | σ | 0.068 | | min | 1857.603 | | max | 1857.777 |
| | mean | 1773.800 | | σ | 125.917 | | min | 1644.000 | | max | 1904.000 |
| | mean | 3.064 | | σ | 0.255 | | min | 2.819 | | max | 3.489 |
|