iters=5 new-facts=1 prior-facts=1 | | mean | 275.568 | | σ | 0.007 | | min | 275.557 | | max | 275.575 |
| | mean | 2844.000 | | σ | 0.000 | | min | 2844.000 | | max | 2844.000 |
| | mean | 0.404 | | σ | 0.007 | | min | 0.397 | | max | 0.411 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.101 | | σ | 0.010 | | min | 2168.089 | | max | 2168.113 |
| | mean | 2844.000 | | σ | 0.000 | | min | 2844.000 | | max | 2844.000 |
| | mean | 3.050 | | σ | 0.172 | | min | 2.811 | | max | 3.223 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.888 | | σ | 0.878 | | min | 5047.414 | | max | 5049.450 |
| | mean | 2844.000 | | σ | 0.000 | | min | 2844.000 | | max | 2844.000 |
| | mean | 8.830 | | σ | 0.374 | | min | 8.214 | | max | 9.122 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.908 | | σ | 0.263 | | min | 5178.625 | | max | 5179.149 |
| | mean | 3250.600 | | σ | 328.141 | | min | 2844.000 | | max | 3695.000 |
| | mean | 9.855 | | σ | 0.323 | | min | 9.463 | | max | 10.222 |
|