iters=5 new-facts=1 prior-facts=1 | | mean | 269.079 | | σ | 18.140 | | min | 236.630 | | max | 277.201 |
| | mean | 2416.000 | | σ | 0.000 | | min | 2416.000 | | max | 2416.000 |
| | mean | 0.386 | | σ | 0.030 | | min | 0.334 | | max | 0.413 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.445 | | σ | 0.021 | | min | 2174.423 | | max | 2174.469 |
| | mean | 2416.000 | | σ | 0.000 | | min | 2416.000 | | max | 2416.000 |
| | mean | 3.009 | | σ | 0.160 | | min | 2.798 | | max | 3.222 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.501 | | σ | 0.692 | | min | 5052.105 | | max | 5053.732 |
| | mean | 2416.000 | | σ | 0.000 | | min | 2416.000 | | max | 2416.000 |
| | mean | 9.300 | | σ | 0.420 | | min | 8.840 | | max | 9.768 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.430 | | σ | 0.090 | | min | 5188.356 | | max | 5188.531 |
| | mean | 3223.200 | | σ | 389.021 | | min | 2665.000 | | max | 3688.000 |
| | mean | 9.000 | | σ | 0.233 | | min | 8.822 | | max | 9.401 |
|