iters=5 new-facts=1 prior-facts=1 | | mean | 285.412 | | σ | 0.033 | | min | 285.366 | | max | 285.444 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 0.385 | | σ | 0.007 | | min | 0.380 | | max | 0.397 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.803 | | σ | 0.113 | | min | 1295.676 | | max | 1295.942 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 1.892 | | σ | 0.097 | | min | 1.813 | | max | 2.046 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.928 | | σ | 6.898 | | min | 1536.576 | | max | 1552.260 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 2.356 | | σ | 0.315 | | min | 2.026 | | max | 2.759 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.705 | | σ | 0.051 | | min | 1857.655 | | max | 1857.772 |
| | mean | 1774.000 | | σ | 170.490 | | min | 1639.000 | | max | 2027.000 |
| | mean | 2.844 | | σ | 0.126 | | min | 2.641 | | max | 2.962 |
|