iters=5 new-facts=1 prior-facts=1 | | mean | 280.290 | | σ | 0.012 | | min | 280.275 | | max | 280.303 |
| | mean | 2610.000 | | σ | 0.000 | | min | 2610.000 | | max | 2610.000 |
| | mean | 0.414 | | σ | 0.007 | | min | 0.406 | | max | 0.422 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.305 | | σ | 0.016 | | min | 2270.279 | | max | 2270.319 |
| | mean | 2610.000 | | σ | 0.000 | | min | 2610.000 | | max | 2610.000 |
| | mean | 3.123 | | σ | 0.157 | | min | 2.915 | | max | 3.340 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5147.587 | | σ | 1.015 | | min | 5146.982 | | max | 5149.392 |
| | mean | 2610.000 | | σ | 0.000 | | min | 2610.000 | | max | 2610.000 |
| | mean | 8.921 | | σ | 0.703 | | min | 8.144 | | max | 9.907 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5285.634 | | σ | 0.083 | | min | 5285.562 | | max | 5285.727 |
| | mean | 3493.000 | | σ | 534.992 | | min | 2780.000 | | max | 4002.000 |
| | mean | 9.814 | | σ | 0.500 | | min | 8.955 | | max | 10.257 |
|