iters=5 new-facts=1 prior-facts=1 | | mean | 303.484 | | σ | 0.051 | | min | 303.398 | | max | 303.535 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 0.390 | | σ | 0.001 | | min | 0.389 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.058 | | σ | 0.111 | | min | 1325.927 | | max | 1326.207 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 1.861 | | σ | 0.097 | | min | 1.708 | | max | 1.947 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.112 | | σ | 6.940 | | min | 1560.769 | | max | 1576.521 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 2.308 | | σ | 0.320 | | min | 2.131 | | max | 2.878 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.018 | | σ | 0.072 | | min | 1893.891 | | max | 1894.064 |
| | mean | 1802.000 | | σ | 197.399 | | min | 1630.000 | | max | 2081.000 |
| | mean | 3.237 | | σ | 0.235 | | min | 2.954 | | max | 3.484 |
|