iters=5 new-facts=1 prior-facts=1 | | mean | 275.755 | | σ | 0.012 | | min | 275.743 | | max | 275.770 |
| | mean | 2637.000 | | σ | 0.000 | | min | 2637.000 | | max | 2637.000 |
| | mean | 0.395 | | σ | 0.009 | | min | 0.387 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.287 | | σ | 0.005 | | min | 2168.280 | | max | 2168.293 |
| | mean | 2637.000 | | σ | 0.000 | | min | 2637.000 | | max | 2637.000 |
| | mean | 2.999 | | σ | 0.117 | | min | 2.831 | | max | 3.114 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.963 | | σ | 1.004 | | min | 5047.156 | | max | 5049.715 |
| | mean | 2637.000 | | σ | 0.000 | | min | 2637.000 | | max | 2637.000 |
| | mean | 8.826 | | σ | 0.436 | | min | 8.055 | | max | 9.091 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.159 | | σ | 0.215 | | min | 5178.799 | | max | 5179.334 |
| | mean | 3219.600 | | σ | 390.332 | | min | 2692.000 | | max | 3727.000 |
| | mean | 9.652 | | σ | 0.477 | | min | 8.964 | | max | 10.141 |
|