iters=5 new-facts=1 prior-facts=1 | | mean | 273.507-272.015=1.492 | | σ | 0.005-0.004=0.001 | | min | 273.502-272.011=1.492 | | max | 273.514-272.020=1.494 |
| | mean | 2862.000-2851.000=11.000 | | σ | 0.000 | | min | 2862.000-2851.000=11.000 | | max | 2862.000-2851.000=11.000 |
| | mean | 0.377-0.382=-0.005 | | σ | 0.005-0.012=-0.006 | | min | 0.372-0.370=0.002 | | max | 0.386-0.402=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.897-1932.442=1.455 | | σ | 0.015-0.010=0.005 | | min | 1933.888-1932.428=1.461 | | max | 1933.924-1932.457=1.467 |
| | mean | 2862.000-2851.000=11.000 | | σ | 0.000 | | min | 2862.000-2851.000=11.000 | | max | 2862.000-2851.000=11.000 |
| | mean | 2.856-3.146=-0.291 | | σ | 0.291-0.267=0.024 | | min | 2.428-2.985=-0.556 | | max | 3.168-3.613=-0.446 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.732-4753.171=1.561 | | σ | 0.819-0.811=0.008 | | min | 4754.259-4752.698=1.561 | | max | 4756.193-4754.609=1.584 |
| | mean | 2862.000-2851.000=11.000 | | σ | 0.000 | | min | 2862.000-2851.000=11.000 | | max | 2862.000-2851.000=11.000 |
| | mean | 7.917-8.449=-0.532 | | σ | 0.467-0.541=-0.074 | | min | 7.484-7.631=-0.147 | | max | 8.711-8.943=-0.232 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.111-4943.635=1.476 | | σ | 0.010-0.026=-0.016 | | min | 4945.097-4943.603=1.495 | | max | 4945.123-4943.665=1.458 |
| | mean | 3064.200-3080.800=-16.600 | | σ | 286.046-232.578=53.467 | | min | 2862.000-2851.000=11.000 | | max | 3518.000-3316.000=202.000 |
| | mean | 8.423-8.752=-0.329 | | σ | 0.128-0.361=-0.233 | | min | 8.314-8.364=-0.050 | | max | 8.566-9.309=-0.743 |
|