iters=5 new-facts=1 prior-facts=1 | | mean | 324.758-324.767=-0.009 | | σ | 0.055-0.046=0.010 | | min | 324.660-324.686=-0.026 | | max | 324.791-324.797=-0.006 |
| | mean | 2833.000-2829.000=4.000 | | σ | 0.000 | | min | 2833.000-2829.000=4.000 | | max | 2833.000-2829.000=4.000 |
| | mean | 0.426-0.431=-0.005 | | σ | 0.008-0.009=-0.002 | | min | 0.421-0.424=-0.003 | | max | 0.440-0.442=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.330-1985.321=0.009 | | σ | 0.006-0.008=-0.002 | | min | 1985.322-1985.309=0.013 | | max | 1985.336-1985.330=0.007 |
| | mean | 2833.000-2829.000=4.000 | | σ | 0.000 | | min | 2833.000-2829.000=4.000 | | max | 2833.000-2829.000=4.000 |
| | mean | 2.602-2.757=-0.155 | | σ | 0.066-0.108=-0.042 | | min | 2.549-2.591=-0.041 | | max | 2.687-2.862=-0.175 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.097-4808.858=0.239 | | σ | 7.681-7.128=0.553 | | min | 4805.602-4805.636=-0.033 | | max | 4822.837-4821.609=1.228 |
| | mean | 2833.000-2829.000=4.000 | | σ | 0.000 | | min | 2833.000-2829.000=4.000 | | max | 2833.000-2829.000=4.000 |
| | mean | 8.967-8.716=0.251 | | σ | 0.151-0.269=-0.118 | | min | 8.824-8.258=0.566 | | max | 9.181-8.915=0.265 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.630-4996.492=0.137 | | σ | 0.017-0.328=-0.310 | | min | 4996.611-4995.907=0.704 | | max | 4996.652-4996.656=-0.005 |
| | mean | 3045.000-3084.200=-39.200 | | σ | 197.119-259.030=-61.911 | | min | 2833.000-2829.000=4.000 | | max | 3333.000-3350.000=-17.000 |
| | mean | 8.682-9.161=-0.478 | | σ | 0.231-0.329=-0.098 | | min | 8.473-8.609=-0.136 | | max | 9.039-9.473=-0.434 |
|