iters=5 new-facts=1 prior-facts=1 | | mean | 324.585 | | σ | 0.054 | | min | 324.489 | | max | 324.621 |
| | mean | 2847.000 | | σ | 0.000 | | min | 2847.000 | | max | 2847.000 |
| | mean | 0.431 | | σ | 0.011 | | min | 0.423 | | max | 0.446 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.141 | | σ | 0.015 | | min | 1985.125 | | max | 1985.156 |
| | mean | 2847.000 | | σ | 0.000 | | min | 2847.000 | | max | 2847.000 |
| | mean | 2.616 | | σ | 0.151 | | min | 2.441 | | max | 2.847 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.668 | | σ | 7.772 | | min | 4804.678 | | max | 4822.561 |
| | mean | 2847.000 | | σ | 0.000 | | min | 2847.000 | | max | 2847.000 |
| | mean | 9.132 | | σ | 0.206 | | min | 8.802 | | max | 9.330 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.344 | | σ | 0.024 | | min | 4996.316 | | max | 4996.370 |
| | mean | 3041.000 | | σ | 212.123 | | min | 2847.000 | | max | 3361.000 |
| | mean | 8.772 | | σ | 0.180 | | min | 8.549 | | max | 9.037 |
|