iters=5 new-facts=1 prior-facts=1 | | mean | 274.436 | | σ | 0.005 | | min | 274.427 | | max | 274.442 |
| | mean | 2603.000 | | σ | 0.000 | | min | 2603.000 | | max | 2603.000 |
| | mean | 0.403 | | σ | 0.001 | | min | 0.402 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2264.673 | | σ | 0.014 | | min | 2264.657 | | max | 2264.689 |
| | mean | 2603.000 | | σ | 0.000 | | min | 2603.000 | | max | 2603.000 |
| | mean | 2.936 | | σ | 0.280 | | min | 2.739 | | max | 3.424 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4951.538 | | σ | 0.990 | | min | 4950.802 | | max | 4953.257 |
| | mean | 2603.000 | | σ | 0.000 | | min | 2603.000 | | max | 2603.000 |
| | mean | 7.941 | | σ | 0.293 | | min | 7.717 | | max | 8.413 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.492 | | σ | 0.080 | | min | 5166.412 | | max | 5166.583 |
| | mean | 3373.200 | | σ | 459.727 | | min | 2832.000 | | max | 4021.000 |
| | mean | 9.257 | | σ | 0.349 | | min | 8.745 | | max | 9.698 |
|