iters=5 new-facts=1 prior-facts=1 | | mean | 270.114 | | σ | 0.012 | | min | 270.097 | | max | 270.127 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 0.386 | | σ | 0.006 | | min | 0.380 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.593 | | σ | 0.007 | | min | 1930.583 | | max | 1930.603 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 2.487 | | σ | 0.057 | | min | 2.440 | | max | 2.578 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.090 | | σ | 0.893 | | min | 4750.509 | | max | 4752.667 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 8.558 | | σ | 0.465 | | min | 7.996 | | max | 9.077 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.491 | | σ | 0.214 | | min | 4941.127 | | max | 4941.627 |
| | mean | 3057.000 | | σ | 185.451 | | min | 2849.000 | | max | 3321.000 |
| | mean | 8.528 | | σ | 0.133 | | min | 8.380 | | max | 8.716 |
|