iters=5 new-facts=1 prior-facts=1 | | mean | 269.930 | | σ | 0.009 | | min | 269.920 | | max | 269.943 |
| | mean | 2415.000 | | σ | 0.000 | | min | 2415.000 | | max | 2415.000 |
| | mean | 0.373 | | σ | 0.007 | | min | 0.368 | | max | 0.385 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.397 | | σ | 0.013 | | min | 1930.378 | | max | 1930.408 |
| | mean | 2415.000 | | σ | 0.000 | | min | 2415.000 | | max | 2415.000 |
| | mean | 2.559 | | σ | 0.092 | | min | 2.467 | | max | 2.677 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.755 | | σ | 0.907 | | min | 4749.798 | | max | 4752.256 |
| | mean | 2415.000 | | σ | 0.000 | | min | 2415.000 | | max | 2415.000 |
| | mean | 8.472 | | σ | 0.222 | | min | 8.238 | | max | 8.768 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.262 | | σ | 0.215 | | min | 4940.903 | | max | 4941.431 |
| | mean | 3008.800 | | σ | 273.074 | | min | 2617.000 | | max | 3343.000 |
| | mean | 8.501 | | σ | 0.162 | | min | 8.350 | | max | 8.753 |
|