iters=5 new-facts=1 prior-facts=1 | | mean | 270.144 | | σ | 0.005 | | min | 270.135 | | max | 270.148 |
| | mean | 2416.000 | | σ | 0.000 | | min | 2416.000 | | max | 2416.000 |
| | mean | 0.385 | | σ | 0.006 | | min | 0.381 | | max | 0.396 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.609 | | σ | 0.007 | | min | 1930.601 | | max | 1930.617 |
| | mean | 2416.000 | | σ | 0.000 | | min | 2416.000 | | max | 2416.000 |
| | mean | 2.490 | | σ | 0.125 | | min | 2.338 | | max | 2.671 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.177 | | σ | 1.041 | | min | 4750.274 | | max | 4752.973 |
| | mean | 2416.000 | | σ | 0.000 | | min | 2416.000 | | max | 2416.000 |
| | mean | 8.802 | | σ | 0.334 | | min | 8.446 | | max | 9.187 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.778 | | σ | 0.021 | | min | 4941.753 | | max | 4941.805 |
| | mean | 2989.000 | | σ | 284.694 | | min | 2600.000 | | max | 3326.000 |
| | mean | 8.707 | | σ | 0.436 | | min | 8.357 | | max | 9.431 |
|