iters=5 new-facts=1 prior-facts=1 | | mean | 269.929 | | σ | 0.006 | | min | 269.921 | | max | 269.937 |
| | mean | 2511.000 | | σ | 0.000 | | min | 2511.000 | | max | 2511.000 |
| | mean | 0.374 | | σ | 0.002 | | min | 0.372 | | max | 0.378 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1790.181 | | σ | 313.539 | | min | 1229.306 | | max | 1930.406 |
| | mean | 2511.000 | | σ | 0.000 | | min | 2511.000 | | max | 2511.000 |
| | mean | 2.442 | | σ | 0.419 | | min | 1.755 | | max | 2.854 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.811 | | σ | 0.890 | | min | 4750.334 | | max | 4752.398 |
| | mean | 2511.000 | | σ | 0.000 | | min | 2511.000 | | max | 2511.000 |
| | mean | 8.895 | | σ | 0.173 | | min | 8.613 | | max | 9.084 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.334 | | σ | 0.086 | | min | 4941.261 | | max | 4941.439 |
| | mean | 2965.600 | | σ | 336.390 | | min | 2522.000 | | max | 3279.000 |
| | mean | 8.740 | | σ | 0.459 | | min | 8.384 | | max | 9.544 |
|