iters=5 new-facts=1 prior-facts=1 | | mean | 285.668 | | σ | 0.015 | | min | 285.641 | | max | 285.678 |
| | mean | 1570.000 | | σ | 0.000 | | min | 1570.000 | | max | 1570.000 |
| | mean | 0.384 | | σ | 0.011 | | min | 0.374 | | max | 0.397 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.640 | | σ | 0.137 | | min | 1285.573 | | max | 1285.885 |
| | mean | 1570.000 | | σ | 0.000 | | min | 1570.000 | | max | 1570.000 |
| | mean | 1.942 | | σ | 0.152 | | min | 1.827 | | max | 2.197 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.995 | | σ | 6.981 | | min | 1804.636 | | max | 1820.466 |
| | mean | 1570.000 | | σ | 0.000 | | min | 1570.000 | | max | 1570.000 |
| | mean | 4.219 | | σ | 0.145 | | min | 4.074 | | max | 4.449 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.470 | | σ | 0.041 | | min | 2070.416 | | max | 2070.529 |
| | mean | 1861.200 | | σ | 215.133 | | min | 1599.000 | | max | 2102.000 |
| | mean | 4.690 | | σ | 0.449 | | min | 4.434 | | max | 5.488 |
|