iters=5 new-facts=1 prior-facts=1 | | mean | 299.439 | | σ | 0.063 | | min | 299.341 | | max | 299.495 |
| | mean | 1454.000 | | σ | 0.000 | | min | 1454.000 | | max | 1454.000 |
| | mean | 0.390 | | σ | 0.008 | | min | 0.384 | | max | 0.402 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1309.888 | | σ | 0.101 | | min | 1309.766 | | max | 1310.021 |
| | mean | 1454.000 | | σ | 0.000 | | min | 1454.000 | | max | 1454.000 |
| | mean | 1.852 | | σ | 0.086 | | min | 1.776 | | max | 1.966 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1553.972 | | σ | 6.879 | | min | 1550.654 | | max | 1566.271 |
| | mean | 1454.000 | | σ | 0.000 | | min | 1454.000 | | max | 1454.000 |
| | mean | 2.287 | | σ | 0.263 | | min | 2.032 | | max | 2.653 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1871.778 | | σ | 0.083 | | min | 1871.675 | | max | 1871.886 |
| | mean | 1719.800 | | σ | 192.418 | | min | 1551.000 | | max | 2002.000 |
| | mean | 2.870 | | σ | 0.050 | | min | 2.806 | | max | 2.930 |
|