iters=5 new-facts=1 prior-facts=1 | | mean | 289.034 | | σ | 0.039 | | min | 288.984 | | max | 289.074 |
| | mean | 1458.000 | | σ | 0.000 | | min | 1458.000 | | max | 1458.000 |
| | mean | 0.400 | | σ | 0.006 | | min | 0.391 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1311.545 | | σ | 0.097 | | min | 1311.419 | | max | 1311.646 |
| | mean | 1458.000 | | σ | 0.000 | | min | 1458.000 | | max | 1458.000 |
| | mean | 1.928 | | σ | 0.097 | | min | 1.828 | | max | 2.054 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1549.652 | | σ | 6.827 | | min | 1546.434 | | max | 1561.861 |
| | mean | 1458.000 | | σ | 0.000 | | min | 1458.000 | | max | 1458.000 |
| | mean | 2.399 | | σ | 0.231 | | min | 2.065 | | max | 2.655 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1879.508 | | σ | 0.044 | | min | 1879.460 | | max | 1879.551 |
| | mean | 1713.200 | | σ | 221.715 | | min | 1458.000 | | max | 2016.000 |
| | mean | 2.939 | | σ | 0.117 | | min | 2.860 | | max | 3.137 |
|