iters=5 new-facts=1 prior-facts=1 | | mean | 269.928 | | σ | 0.009 | | min | 269.921 | | max | 269.943 |
| | mean | 2626.000 | | σ | 0.000 | | min | 2626.000 | | max | 2626.000 |
| | mean | 0.378 | | σ | 0.014 | | min | 0.368 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.401 | | σ | 0.015 | | min | 1930.374 | | max | 1930.412 |
| | mean | 2626.000 | | σ | 0.000 | | min | 2626.000 | | max | 2626.000 |
| | mean | 2.518 | | σ | 0.189 | | min | 2.275 | | max | 2.806 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.844 | | σ | 0.946 | | min | 4750.292 | | max | 4752.525 |
| | mean | 2626.000 | | σ | 0.000 | | min | 2626.000 | | max | 2626.000 |
| | mean | 8.884 | | σ | 0.429 | | min | 8.409 | | max | 9.524 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.260 | | σ | 0.199 | | min | 4940.933 | | max | 4941.428 |
| | mean | 3010.200 | | σ | 275.037 | | min | 2630.000 | | max | 3320.000 |
| | mean | 8.496 | | σ | 0.149 | | min | 8.364 | | max | 8.724 |
|