iters=5 new-facts=1 prior-facts=1 | | mean | 285.028 | | σ | 0.040 | | min | 284.980 | | max | 285.068 |
| | mean | 1509.000 | | σ | 0.000 | | min | 1509.000 | | max | 1509.000 |
| | mean | 0.383 | | σ | 0.027 | | min | 0.338 | | max | 0.411 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.406 | | σ | 0.106 | | min | 1295.298 | | max | 1295.531 |
| | mean | 1509.000 | | σ | 0.000 | | min | 1509.000 | | max | 1509.000 |
| | mean | 1.920 | | σ | 0.127 | | min | 1.816 | | max | 2.078 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.526 | | σ | 6.819 | | min | 1536.251 | | max | 1551.721 |
| | mean | 1509.000 | | σ | 0.000 | | min | 1509.000 | | max | 1509.000 |
| | mean | 2.267 | | σ | 0.271 | | min | 2.043 | | max | 2.685 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.322 | | σ | 0.062 | | min | 1857.251 | | max | 1857.394 |
| | mean | 1737.600 | | σ | 215.154 | | min | 1509.000 | | max | 2030.000 |
| | mean | 2.856 | | σ | 0.076 | | min | 2.754 | | max | 2.936 |
|