iters=5 new-facts=1 prior-facts=1 | | mean | 324.710 | | σ | 0.032 | | min | 324.653 | | max | 324.729 |
| | mean | 2413.000 | | σ | 0.000 | | min | 2413.000 | | max | 2413.000 |
| | mean | 0.423 | | σ | 0.001 | | min | 0.422 | | max | 0.424 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.266 | | σ | 0.010 | | min | 1985.248 | | max | 1985.272 |
| | mean | 2413.000 | | σ | 0.000 | | min | 2413.000 | | max | 2413.000 |
| | mean | 2.611 | | σ | 0.104 | | min | 2.502 | | max | 2.776 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.867 | | σ | 7.655 | | min | 4805.387 | | max | 4822.560 |
| | mean | 2413.000 | | σ | 0.000 | | min | 2413.000 | | max | 2413.000 |
| | mean | 8.928 | | σ | 0.150 | | min | 8.766 | | max | 9.070 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.467 | | σ | 0.013 | | min | 4996.452 | | max | 4996.481 |
| | mean | 2949.400 | | σ | 447.286 | | min | 2413.000 | | max | 3541.000 |
| | mean | 8.553 | | σ | 0.216 | | min | 8.404 | | max | 8.918 |
|