iters=5 new-facts=1 prior-facts=1 | | mean | 295.146-300.736=-5.589 | | σ | 0.005-0.018=-0.013 | | min | 295.141-300.705=-5.564 | | max | 295.154-300.751=-5.596 |
| | mean | 3893.000-3899.000=-6.000 | | σ | 0.000 | | min | 3893.000-3899.000=-6.000 | | max | 3893.000-3899.000=-6.000 |
| | mean | 0.415-0.429=-0.014 | | σ | 0.006-0.012=-0.006 | | min | 0.407-0.418=-0.011 | | max | 0.421-0.445=-0.024 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2981.968-3219.670=-237.701 | | σ | 0.015-0.076=-0.061 | | min | 2981.954-3219.551=-237.596 | | max | 2981.988-3219.734=-237.747 |
| | mean | 3893.000-3899.000=-6.000 | | σ | 0.000 | | min | 3893.000-3899.000=-6.000 | | max | 3893.000-3899.000=-6.000 |
| | mean | 3.936-3.712=0.224 | | σ | 0.088-0.105=-0.017 | | min | 3.837-3.619=0.218 | | max | 4.042-3.865=0.177 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5802.744-6099.594=-296.850 | | σ | 1.040-1.116=-0.076 | | min | 5802.171-6098.473=-296.303 | | max | 5804.600-6101.466=-296.866 |
| | mean | 3893.000-3899.000=-6.000 | | σ | 0.000 | | min | 3893.000-3899.000=-6.000 | | max | 3893.000-3899.000=-6.000 |
| | mean | 9.486-10.033=-0.547 | | σ | 0.476-0.831=-0.356 | | min | 8.712-8.885=-0.173 | | max | 9.984-10.882=-0.899 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 6011.247-6248.762=-237.515 | | σ | 0.065-0.137=-0.072 | | min | 6011.156-6248.581=-237.425 | | max | 6011.306-6248.963=-237.658 |
| | mean | 3893.000-3913.800=-20.800 | | σ | 0.000-33.094=-33.094 | | min | 3893.000-3899.000=-6.000 | | max | 3893.000-3973.000=-80.000 |
| | mean | 9.212-9.914=-0.702 | | σ | 0.181-0.476=-0.296 | | min | 9.030-9.505=-0.475 | | max | 9.421-10.738=-1.316 |
|