iters=5 new-facts=1 prior-facts=1 | | mean | 270.129 | | σ | 0.003 | | min | 270.125 | | max | 270.133 |
| | mean | 2420.000 | | σ | 0.000 | | min | 2420.000 | | max | 2420.000 |
| | mean | 0.382 | | σ | 0.003 | | min | 0.379 | | max | 0.387 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.596 | | σ | 0.013 | | min | 1930.584 | | max | 1930.616 |
| | mean | 2420.000 | | σ | 0.000 | | min | 2420.000 | | max | 2420.000 |
| | mean | 2.500 | | σ | 0.132 | | min | 2.334 | | max | 2.692 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.992 | | σ | 0.553 | | min | 4750.671 | | max | 4751.978 |
| | mean | 2420.000 | | σ | 0.000 | | min | 2420.000 | | max | 2420.000 |
| | mean | 8.295 | | σ | 0.594 | | min | 7.586 | | max | 8.990 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.458 | | σ | 0.215 | | min | 4941.106 | | max | 4941.636 |
| | mean | 2982.800 | | σ | 282.809 | | min | 2597.000 | | max | 3319.000 |
| | mean | 8.622 | | σ | 0.292 | | min | 8.366 | | max | 9.082 |
|