iters=5 new-facts=1 prior-facts=1 | | mean | 274.419 | | σ | 0.010 | | min | 274.403 | | max | 274.427 |
| | mean | 2608.000 | | σ | 0.000 | | min | 2608.000 | | max | 2608.000 |
| | mean | 0.406 | | σ | 0.002 | | min | 0.404 | | max | 0.408 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2264.669 | | σ | 0.003 | | min | 2264.664 | | max | 2264.673 |
| | mean | 2608.000 | | σ | 0.000 | | min | 2608.000 | | max | 2608.000 |
| | mean | 2.910 | | σ | 0.151 | | min | 2.751 | | max | 3.151 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4951.714 | | σ | 0.885 | | min | 4951.160 | | max | 4953.280 |
| | mean | 2608.000 | | σ | 0.000 | | min | 2608.000 | | max | 2608.000 |
| | mean | 8.252 | | σ | 0.371 | | min | 7.820 | | max | 8.680 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.329 | | σ | 0.266 | | min | 5165.868 | | max | 5166.561 |
| | mean | 3413.200 | | σ | 461.528 | | min | 2777.000 | | max | 4002.000 |
| | mean | 9.447 | | σ | 0.139 | | min | 9.226 | | max | 9.606 |
|