iters=5 new-facts=1 prior-facts=1 | | mean | 278.698 | | σ | 0.013 | | min | 278.689 | | max | 278.720 |
| | mean | 2693.000 | | σ | 0.000 | | min | 2693.000 | | max | 2693.000 |
| | mean | 0.419 | | σ | 0.001 | | min | 0.418 | | max | 0.420 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.871 | | σ | 0.006 | | min | 2268.865 | | max | 2268.878 |
| | mean | 2693.000 | | σ | 0.000 | | min | 2693.000 | | max | 2693.000 |
| | mean | 3.093 | | σ | 0.219 | | min | 2.883 | | max | 3.411 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.078 | | σ | 0.909 | | min | 4951.145 | | max | 4953.599 |
| | mean | 2693.000 | | σ | 0.000 | | min | 2693.000 | | max | 2693.000 |
| | mean | 8.077 | | σ | 0.237 | | min | 7.858 | | max | 8.346 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.848 | | σ | 0.162 | | min | 5166.560 | | max | 5166.939 |
| | mean | 3467.000 | | σ | 509.392 | | min | 2834.000 | | max | 4180.000 |
| | mean | 9.280 | | σ | 0.511 | | min | 8.481 | | max | 9.727 |
|