iters=5 new-facts=1 prior-facts=1 | | mean | 273.507 | | σ | 0.005 | | min | 273.502 | | max | 273.514 |
| | mean | 2862.000 | | σ | 0.000 | | min | 2862.000 | | max | 2862.000 |
| | mean | 0.377 | | σ | 0.005 | | min | 0.372 | | max | 0.386 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.897 | | σ | 0.015 | | min | 1933.888 | | max | 1933.924 |
| | mean | 2862.000 | | σ | 0.000 | | min | 2862.000 | | max | 2862.000 |
| | mean | 2.856 | | σ | 0.291 | | min | 2.428 | | max | 3.168 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.732 | | σ | 0.819 | | min | 4754.259 | | max | 4756.193 |
| | mean | 2862.000 | | σ | 0.000 | | min | 2862.000 | | max | 2862.000 |
| | mean | 7.917 | | σ | 0.467 | | min | 7.484 | | max | 8.711 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.111 | | σ | 0.010 | | min | 4945.097 | | max | 4945.123 |
| | mean | 3064.200 | | σ | 286.046 | | min | 2862.000 | | max | 3518.000 |
| | mean | 8.423 | | σ | 0.128 | | min | 8.314 | | max | 8.566 |
|