iters=5 new-facts=1 prior-facts=1 | | mean | 270.241 | | σ | 0.007 | | min | 270.232 | | max | 270.249 |
| | mean | 2779.000 | | σ | 0.000 | | min | 2779.000 | | max | 2779.000 |
| | mean | 0.381 | | σ | 0.008 | | min | 0.376 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.692 | | σ | 0.015 | | min | 1930.667 | | max | 1930.704 |
| | mean | 2779.000 | | σ | 0.000 | | min | 2779.000 | | max | 2779.000 |
| | mean | 2.545 | | σ | 0.119 | | min | 2.442 | | max | 2.706 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.320 | | σ | 0.994 | | min | 4750.514 | | max | 4753.046 |
| | mean | 2779.000 | | σ | 0.000 | | min | 2779.000 | | max | 2779.000 |
| | mean | 8.327 | | σ | 0.562 | | min | 7.688 | | max | 9.100 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.792 | | σ | 0.177 | | min | 4941.478 | | max | 4941.890 |
| | mean | 3055.000 | | σ | 336.904 | | min | 2779.000 | | max | 3563.000 |
| | mean | 8.482 | | σ | 0.174 | | min | 8.335 | | max | 8.766 |
|