iters=5 new-facts=1 prior-facts=1 | | mean | 285.438 | | σ | 0.014 | | min | 285.425 | | max | 285.461 |
| | mean | 1523.000 | | σ | 0.000 | | min | 1523.000 | | max | 1523.000 |
| | mean | 0.378 | | σ | 0.001 | | min | 0.377 | | max | 0.381 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.529 | | σ | 0.064 | | min | 1285.415 | | max | 1285.570 |
| | mean | 1523.000 | | σ | 0.000 | | min | 1523.000 | | max | 1523.000 |
| | mean | 1.975 | | σ | 0.270 | | min | 1.820 | | max | 2.450 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1705.824 | | σ | 6.843 | | min | 1702.645 | | max | 1718.060 |
| | mean | 1523.000 | | σ | 0.000 | | min | 1523.000 | | max | 1523.000 |
| | mean | 3.045 | | σ | 0.309 | | min | 2.555 | | max | 3.380 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1968.424 | | σ | 0.048 | | min | 1968.343 | | max | 1968.473 |
| | mean | 1801.200 | | σ | 232.467 | | min | 1536.000 | | max | 2122.000 |
| | mean | 3.358 | | σ | 0.397 | | min | 3.138 | | max | 4.063 |
|