iters=5 new-facts=1 prior-facts=1 | | mean | 280.022 | | σ | 0.008 | | min | 280.010 | | max | 280.031 |
| | mean | 2689.000 | | σ | 0.000 | | min | 2689.000 | | max | 2689.000 |
| | mean | 0.418 | | σ | 0.002 | | min | 0.415 | | max | 0.420 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2265.240 | | σ | 0.006 | | min | 2265.229 | | max | 2265.245 |
| | mean | 2689.000 | | σ | 0.000 | | min | 2689.000 | | max | 2689.000 |
| | mean | 2.973 | | σ | 0.178 | | min | 2.775 | | max | 3.262 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4946.795 | | σ | 1.085 | | min | 4945.458 | | max | 4948.491 |
| | mean | 2689.000 | | σ | 0.000 | | min | 2689.000 | | max | 2689.000 |
| | mean | 7.991 | | σ | 0.320 | | min | 7.658 | | max | 8.379 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5174.389 | | σ | 0.190 | | min | 5174.063 | | max | 5174.522 |
| | mean | 3382.400 | | σ | 464.262 | | min | 2751.000 | | max | 3969.000 |
| | mean | 9.279 | | σ | 0.406 | | min | 8.649 | | max | 9.696 |
|