iters=5 new-facts=1 prior-facts=1 | | mean | 277.199 | | σ | 0.002 | | min | 277.196 | | max | 277.201 |
| | mean | 2659.000 | | σ | 0.000 | | min | 2659.000 | | max | 2659.000 |
| | mean | 0.413 | | σ | 0.010 | | min | 0.403 | | max | 0.423 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.430 | | σ | 0.016 | | min | 2174.402 | | max | 2174.444 |
| | mean | 2659.000 | | σ | 0.000 | | min | 2659.000 | | max | 2659.000 |
| | mean | 2.944 | | σ | 0.125 | | min | 2.807 | | max | 3.074 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.640 | | σ | 0.899 | | min | 5052.150 | | max | 5054.245 |
| | mean | 2659.000 | | σ | 0.000 | | min | 2659.000 | | max | 2659.000 |
| | mean | 8.792 | | σ | 0.601 | | min | 7.982 | | max | 9.653 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.406 | | σ | 0.098 | | min | 5188.292 | | max | 5188.517 |
| | mean | 3209.000 | | σ | 478.003 | | min | 2659.000 | | max | 3855.000 |
| | mean | 8.959 | | σ | 0.466 | | min | 8.658 | | max | 9.780 |
|