iters=5 new-facts=1 prior-facts=1 | | mean | 302.976 | | σ | 0.041 | | min | 302.905 | | max | 303.003 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 0.399 | | σ | 0.012 | | min | 0.392 | | max | 0.420 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1304.324 | | σ | 0.060 | | min | 1304.217 | | max | 1304.354 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 1.959 | | σ | 0.135 | | min | 1.847 | | max | 2.178 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1724.607 | | σ | 6.997 | | min | 1721.308 | | max | 1737.119 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 2.946 | | σ | 0.629 | | min | 2.428 | | max | 4.010 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1987.322 | | σ | 0.028 | | min | 1987.291 | | max | 1987.366 |
| | mean | 1807.200 | | σ | 149.044 | | min | 1632.000 | | max | 2011.000 |
| | mean | 3.323 | | σ | 0.248 | | min | 3.113 | | max | 3.726 |
|