iters=5 new-facts=1 prior-facts=1 | | mean | 269.935 | | σ | 0.008 | | min | 269.927 | | max | 269.946 |
| | mean | 2472.000 | | σ | 0.000 | | min | 2472.000 | | max | 2472.000 |
| | mean | 0.377 | | σ | 0.010 | | min | 0.369 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.384 | | σ | 0.014 | | min | 1930.371 | | max | 1930.403 |
| | mean | 2472.000 | | σ | 0.000 | | min | 2472.000 | | max | 2472.000 |
| | mean | 2.489 | | σ | 0.115 | | min | 2.386 | | max | 2.684 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.820 | | σ | 0.822 | | min | 4750.312 | | max | 4752.274 |
| | mean | 2472.000 | | σ | 0.000 | | min | 2472.000 | | max | 2472.000 |
| | mean | 8.652 | | σ | 0.270 | | min | 8.302 | | max | 8.925 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.334 | | σ | 0.084 | | min | 4941.271 | | max | 4941.427 |
| | mean | 2957.800 | | σ | 264.772 | | min | 2602.000 | | max | 3306.000 |
| | mean | 8.427 | | σ | 0.112 | | min | 8.323 | | max | 8.606 |
|