iters=5 new-facts=1 prior-facts=1 | | mean | 269.932 | | σ | 0.007 | | min | 269.925 | | max | 269.941 |
| | mean | 2622.000 | | σ | 0.000 | | min | 2622.000 | | max | 2622.000 |
| | mean | 0.373 | | σ | 0.005 | | min | 0.369 | | max | 0.382 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.390 | | σ | 0.020 | | min | 1930.360 | | max | 1930.409 |
| | mean | 2622.000 | | σ | 0.000 | | min | 2622.000 | | max | 2622.000 |
| | mean | 2.510 | | σ | 0.068 | | min | 2.457 | | max | 2.611 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.845 | | σ | 0.830 | | min | 4750.334 | | max | 4752.312 |
| | mean | 2622.000 | | σ | 0.000 | | min | 2622.000 | | max | 2622.000 |
| | mean | 8.653 | | σ | 0.200 | | min | 8.469 | | max | 8.868 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.264 | | σ | 0.202 | | min | 4940.926 | | max | 4941.423 |
| | mean | 2968.400 | | σ | 263.754 | | min | 2622.000 | | max | 3316.000 |
| | mean | 8.456 | | σ | 0.157 | | min | 8.291 | | max | 8.694 |
|