iters=5 new-facts=1 prior-facts=1 | | mean | 282.193 | | σ | 0.008 | | min | 282.182 | | max | 282.202 |
| | mean | 2658.000 | | σ | 0.000 | | min | 2658.000 | | max | 2658.000 |
| | mean | 0.407 | | σ | 0.004 | | min | 0.403 | | max | 0.414 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.707 | | σ | 0.022 | | min | 2174.676 | | max | 2174.730 |
| | mean | 2658.000 | | σ | 0.000 | | min | 2658.000 | | max | 2658.000 |
| | mean | 2.974 | | σ | 0.132 | | min | 2.758 | | max | 3.084 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.545 | | σ | 0.971 | | min | 5053.996 | | max | 5056.271 |
| | mean | 2658.000 | | σ | 0.000 | | min | 2658.000 | | max | 2658.000 |
| | mean | 9.047 | | σ | 0.471 | | min | 8.361 | | max | 9.568 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.668 | | σ | 0.077 | | min | 5185.595 | | max | 5185.763 |
| | mean | 3230.200 | | σ | 395.253 | | min | 2690.000 | | max | 3733.000 |
| | mean | 9.706 | | σ | 0.636 | | min | 8.873 | | max | 10.411 |
|