iters=5 new-facts=1 prior-facts=1 | | mean | 270.146 | | σ | 0.005 | | min | 270.141 | | max | 270.151 |
| | mean | 2491.000 | | σ | 0.000 | | min | 2491.000 | | max | 2491.000 |
| | mean | 0.379 | | σ | 0.002 | | min | 0.375 | | max | 0.380 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.596 | | σ | 0.013 | | min | 1930.579 | | max | 1930.614 |
| | mean | 2491.000 | | σ | 0.000 | | min | 2491.000 | | max | 2491.000 |
| | mean | 2.549 | | σ | 0.088 | | min | 2.486 | | max | 2.694 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.209 | | σ | 1.032 | | min | 4750.235 | | max | 4752.966 |
| | mean | 2491.000 | | σ | 0.000 | | min | 2491.000 | | max | 2491.000 |
| | mean | 8.570 | | σ | 0.622 | | min | 7.610 | | max | 9.182 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.772 | | σ | 0.016 | | min | 4941.757 | | max | 4941.789 |
| | mean | 2935.200 | | σ | 306.318 | | min | 2491.000 | | max | 3306.000 |
| | mean | 8.489 | | σ | 0.063 | | min | 8.440 | | max | 8.590 |
|