iters=5 new-facts=1 prior-facts=1 | | mean | 278.697 | | σ | 0.014 | | min | 278.683 | | max | 278.720 |
| | mean | 2598.000 | | σ | 0.000 | | min | 2598.000 | | max | 2598.000 |
| | mean | 0.419 | | σ | 0.001 | | min | 0.418 | | max | 0.420 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.864 | | σ | 0.010 | | min | 2268.849 | | max | 2268.873 |
| | mean | 2598.000 | | σ | 0.000 | | min | 2598.000 | | max | 2598.000 |
| | mean | 2.990 | | σ | 0.132 | | min | 2.865 | | max | 3.207 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.180 | | σ | 0.832 | | min | 4951.739 | | max | 4953.666 |
| | mean | 2598.000 | | σ | 0.000 | | min | 2598.000 | | max | 2598.000 |
| | mean | 8.025 | | σ | 0.272 | | min | 7.686 | | max | 8.427 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.850 | | σ | 0.160 | | min | 5166.566 | | max | 5166.940 |
| | mean | 3432.000 | | σ | 473.541 | | min | 2822.000 | | max | 4100.000 |
| | mean | 9.259 | | σ | 0.458 | | min | 8.491 | | max | 9.604 |
|