iters=5 new-facts=1 prior-facts=1 | | mean | 286.818 | | σ | 0.037 | | min | 286.771 | | max | 286.855 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 0.397 | | σ | 0.008 | | min | 0.388 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.164 | | σ | 0.073 | | min | 1297.091 | | max | 1297.274 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 1.954 | | σ | 0.150 | | min | 1.803 | | max | 2.160 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.355 | | σ | 6.803 | | min | 1538.185 | | max | 1553.523 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 2.265 | | σ | 0.253 | | min | 2.039 | | max | 2.681 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.113 | | σ | 0.066 | | min | 1859.058 | | max | 1859.215 |
| | mean | 1782.400 | | σ | 144.147 | | min | 1645.000 | | max | 1932.000 |
| | mean | 2.938 | | σ | 0.178 | | min | 2.692 | | max | 3.156 |
|