iters=5 new-facts=1 prior-facts=1 | | mean | 303.803 | | σ | 0.049 | | min | 303.760 | | max | 303.866 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 0.392 | | σ | 0.001 | | min | 0.391 | | max | 0.393 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.335 | | σ | 0.090 | | min | 1326.224 | | max | 1326.444 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 1.980 | | σ | 0.116 | | min | 1.843 | | max | 2.113 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.393 | | σ | 6.899 | | min | 1561.076 | | max | 1576.728 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 2.426 | | σ | 0.358 | | min | 2.077 | | max | 2.903 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.286 | | σ | 0.078 | | min | 1894.189 | | max | 1894.387 |
| | mean | 1776.800 | | σ | 114.724 | | min | 1629.000 | | max | 1947.000 |
| | mean | 2.971 | | σ | 0.116 | | min | 2.863 | | max | 3.135 |
|