iters=5 new-facts=1 prior-facts=1 | | mean | 324.682 | | σ | 0.048 | | min | 324.596 | | max | 324.707 |
| | mean | 2422.000 | | σ | 0.000 | | min | 2422.000 | | max | 2422.000 |
| | mean | 0.431 | | σ | 0.011 | | min | 0.423 | | max | 0.449 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.253 | | σ | 0.012 | | min | 1985.233 | | max | 1985.265 |
| | mean | 2422.000 | | σ | 0.000 | | min | 2422.000 | | max | 2422.000 |
| | mean | 2.674 | | σ | 0.194 | | min | 2.475 | | max | 2.979 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.858 | | σ | 7.690 | | min | 4805.410 | | max | 4822.615 |
| | mean | 2422.000 | | σ | 0.000 | | min | 2422.000 | | max | 2422.000 |
| | mean | 8.975 | | σ | 0.109 | | min | 8.884 | | max | 9.160 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.375 | | σ | 0.145 | | min | 4996.117 | | max | 4996.466 |
| | mean | 2937.600 | | σ | 449.491 | | min | 2422.000 | | max | 3538.000 |
| | mean | 8.524 | | σ | 0.123 | | min | 8.440 | | max | 8.740 |
|