iters=5 new-facts=1 prior-facts=1 | | mean | 285.394 | | σ | 0.016 | | min | 285.371 | | max | 285.412 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 0.375 | | σ | 0.001 | | min | 0.375 | | max | 0.376 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.353 | | σ | 0.132 | | min | 1285.287 | | max | 1285.590 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 1.876 | | σ | 0.077 | | min | 1.768 | | max | 1.954 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.682 | | σ | 7.018 | | min | 1804.302 | | max | 1820.221 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 4.115 | | σ | 0.239 | | min | 3.800 | | max | 4.445 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.175 | | σ | 0.009 | | min | 2070.164 | | max | 2070.188 |
| | mean | 1845.200 | | σ | 174.464 | | min | 1635.000 | | max | 2088.000 |
| | mean | 4.446 | | σ | 0.048 | | min | 4.397 | | max | 4.515 |
|