iters=5 new-facts=1 prior-facts=1 | | mean | 286.769 | | σ | 0.005 | | min | 286.762 | | max | 286.775 |
| | mean | 1513.000 | | σ | 0.000 | | min | 1513.000 | | max | 1513.000 |
| | mean | 0.370 | | σ | 0.006 | | min | 0.364 | | max | 0.379 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1286.865 | | σ | 0.029 | | min | 1286.813 | | max | 1286.883 |
| | mean | 1513.000 | | σ | 0.000 | | min | 1513.000 | | max | 1513.000 |
| | mean | 1.895 | | σ | 0.106 | | min | 1.803 | | max | 2.040 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4110.157 | | σ | 7.490 | | min | 4106.391 | | max | 4123.549 |
| | mean | 1513.000 | | σ | 0.000 | | min | 1513.000 | | max | 1513.000 |
| | mean | 7.401 | | σ | 0.323 | | min | 6.917 | | max | 7.763 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4100.153 | | σ | 0.048 | | min | 4100.105 | | max | 4100.228 |
| | mean | 1802.200 | | σ | 172.162 | | min | 1591.000 | | max | 2038.000 |
| | mean | 7.761 | | σ | 0.264 | | min | 7.425 | | max | 8.128 |
|