iters=5 new-facts=1 prior-facts=1 | | mean | 294.678 | | σ | 0.015 | | min | 294.656 | | max | 294.698 |
| | mean | 1652.000 | | σ | 0.000 | | min | 1652.000 | | max | 1652.000 |
| | mean | 0.383 | | σ | 0.001 | | min | 0.382 | | max | 0.384 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.940 | | σ | 0.096 | | min | 1316.868 | | max | 1317.108 |
| | mean | 1652.000 | | σ | 0.000 | | min | 1652.000 | | max | 1652.000 |
| | mean | 1.978 | | σ | 0.100 | | min | 1.859 | | max | 2.119 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.293 | | σ | 6.878 | | min | 1551.983 | | max | 1567.591 |
| | mean | 1652.000 | | σ | 0.000 | | min | 1652.000 | | max | 1652.000 |
| | mean | 2.311 | | σ | 0.241 | | min | 2.142 | | max | 2.735 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.774 | | σ | 0.030 | | min | 1884.754 | | max | 1884.826 |
| | mean | 1783.200 | | σ | 165.924 | | min | 1652.000 | | max | 2042.000 |
| | mean | 2.920 | | σ | 0.029 | | min | 2.891 | | max | 2.955 |
|