iters=5 new-facts=1 prior-facts=1 | | mean | 324.725 | | σ | 0.037 | | min | 324.659 | | max | 324.751 |
| | mean | 2773.000 | | σ | 0.000 | | min | 2773.000 | | max | 2773.000 |
| | mean | 0.425 | | σ | 0.002 | | min | 0.423 | | max | 0.428 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.285 | | σ | 0.008 | | min | 1985.273 | | max | 1985.293 |
| | mean | 2773.000 | | σ | 0.000 | | min | 2773.000 | | max | 2773.000 |
| | mean | 2.629 | | σ | 0.098 | | min | 2.551 | | max | 2.764 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.777 | | σ | 7.442 | | min | 4805.412 | | max | 4822.090 |
| | mean | 2773.000 | | σ | 0.000 | | min | 2773.000 | | max | 2773.000 |
| | mean | 8.977 | | σ | 0.119 | | min | 8.828 | | max | 9.126 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.485 | | σ | 0.022 | | min | 4996.460 | | max | 4996.510 |
| | mean | 3033.600 | | σ | 203.962 | | min | 2773.000 | | max | 3309.000 |
| | mean | 8.627 | | σ | 0.140 | | min | 8.485 | | max | 8.786 |
|