iters=5 new-facts=1 prior-facts=1 | | mean | 285.397 | | σ | 0.008 | | min | 285.390 | | max | 285.410 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 0.383 | | σ | 0.010 | | min | 0.375 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.353 | | σ | 0.133 | | min | 1285.287 | | max | 1285.591 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 1.891 | | σ | 0.076 | | min | 1.798 | | max | 2.003 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.673 | | σ | 7.041 | | min | 1804.324 | | max | 1820.253 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 4.152 | | σ | 0.278 | | min | 3.918 | | max | 4.602 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.178 | | σ | 0.008 | | min | 2070.170 | | max | 2070.191 |
| | mean | 1847.000 | | σ | 174.303 | | min | 1639.000 | | max | 2091.000 |
| | mean | 4.462 | | σ | 0.062 | | min | 4.399 | | max | 4.538 |
|