iters=5 new-facts=1 prior-facts=1 | | mean | 324.592 | | σ | 0.030 | | min | 324.539 | | max | 324.612 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 0.424 | | σ | 0.002 | | min | 0.422 | | max | 0.426 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.140 | | σ | 0.008 | | min | 1985.128 | | max | 1985.147 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 2.681 | | σ | 0.116 | | min | 2.580 | | max | 2.863 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.735 | | σ | 7.673 | | min | 4805.223 | | max | 4822.461 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 9.005 | | σ | 0.135 | | min | 8.853 | | max | 9.159 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.284 | | σ | 0.173 | | min | 4995.976 | | max | 4996.378 |
| | mean | 3041.000 | | σ | 212.352 | | min | 2838.000 | | max | 3261.000 |
| | mean | 8.857 | | σ | 0.148 | | min | 8.649 | | max | 9.002 |
|