iters=5 new-facts=1 prior-facts=1 | | mean | 279.070-279.069=0.000 | | σ | 0.006-0.012=-0.006 | | min | 279.060-279.053=0.007 | | max | 279.076-279.083=-0.007 |
| | mean | 2848.000-2492.000=356.000 | | σ | 0.000 | | min | 2848.000-2492.000=356.000 | | max | 2848.000-2492.000=356.000 |
| | mean | 0.391-0.389=0.002 | | σ | 0.005-0.005=0.000 | | min | 0.386-0.384=0.002 | | max | 0.397-0.396=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1939.513-1939.524=-0.011 | | σ | 0.007-0.016=-0.009 | | min | 1939.506-1939.507=-0.001 | | max | 1939.525-1939.544=-0.019 |
| | mean | 2848.000-2492.000=356.000 | | σ | 0.000 | | min | 2848.000-2492.000=356.000 | | max | 2848.000-2492.000=356.000 |
| | mean | 2.986-2.830=0.156 | | σ | 0.278-0.270=0.008 | | min | 2.508-2.468=0.040 | | max | 3.207-3.057=0.150 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4760.063-4760.060=0.003 | | σ | 0.789-0.860=-0.070 | | min | 4759.600-4759.565=0.036 | | max | 4761.465-4761.586=-0.121 |
| | mean | 2848.000-2492.000=356.000 | | σ | 0.000 | | min | 2848.000-2492.000=356.000 | | max | 2848.000-2492.000=356.000 |
| | mean | 8.140-8.095=0.045 | | σ | 0.330-0.627=-0.298 | | min | 7.742-7.640=0.102 | | max | 8.493-9.168=-0.675 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4950.399-4950.399=-0.001 | | σ | 0.129-0.120=0.008 | | min | 4950.201-4950.212=-0.011 | | max | 4950.560-4950.549=0.012 |
| | mean | 3060.800-2959.000=101.800 | | σ | 288.266-411.934=-123.668 | | min | 2848.000-2492.000=356.000 | | max | 3510.000-3519.000=-9.000 |
| | mean | 8.479-8.491=-0.012 | | σ | 0.148-0.168=-0.020 | | min | 8.305-8.392=-0.087 | | max | 8.653-8.788=-0.136 |
|