iters=5 new-facts=1 prior-facts=1 | | mean | 303.782-303.791=-0.009 | | σ | 0.061-0.050=0.011 | | min | 303.684-303.720=-0.036 | | max | 303.836-303.840=-0.003 |
| | mean | 1510.000-1517.000=-7.000 | | σ | 0.000 | | min | 1510.000-1517.000=-7.000 | | max | 1510.000-1517.000=-7.000 |
| | mean | 0.393-0.393=0.000 | | σ | 0.001-0.001=0.000 | | min | 0.392-0.392=-0.000 | | max | 0.395-0.395=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.328-1326.333=-0.005 | | σ | 0.106-0.105=0.001 | | min | 1326.199-1326.198=0.001 | | max | 1326.461-1326.457=0.005 |
| | mean | 1510.000-1517.000=-7.000 | | σ | 0.000 | | min | 1510.000-1517.000=-7.000 | | max | 1510.000-1517.000=-7.000 |
| | mean | 1.928-1.919=0.009 | | σ | 0.146-0.076=0.071 | | min | 1.791-1.829=-0.038 | | max | 2.130-1.991=0.139 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.375-1564.396=-0.021 | | σ | 6.912-6.919=-0.007 | | min | 1561.081-1561.113=-0.032 | | max | 1576.735-1576.769=-0.034 |
| | mean | 1510.000-1517.000=-7.000 | | σ | 0.000 | | min | 1510.000-1517.000=-7.000 | | max | 1510.000-1517.000=-7.000 |
| | mean | 2.297-2.342=-0.045 | | σ | 0.261-0.330=-0.069 | | min | 2.040-2.069=-0.028 | | max | 2.619-2.735=-0.116 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.277-1894.281=-0.004 | | σ | 0.068-0.068=-0.000 | | min | 1894.156-1894.160=-0.004 | | max | 1894.316-1894.320=-0.005 |
| | mean | 1735.200-1764.000=-28.800 | | σ | 217.188-200.643=16.545 | | min | 1510.000-1517.000=-7.000 | | max | 2042.000-1962.000=80.000 |
| | mean | 2.947-3.060=-0.114 | | σ | 0.114-0.127=-0.013 | | min | 2.879-2.873=0.005 | | max | 3.150-3.199=-0.049 |
|