iters=5 new-facts=1 prior-facts=1 | | mean | 284.694-299.437=-14.743 | | σ | 0.039-0.056=-0.017 | | min | 284.643-299.351=-14.708 | | max | 284.742-299.489=-14.748 |
| | mean | 1644.000-1509.000=135.000 | | σ | 0.000 | | min | 1644.000-1509.000=135.000 | | max | 1644.000-1509.000=135.000 |
| | mean | 0.401-0.388=0.013 | | σ | 0.008-0.007=0.001 | | min | 0.387-0.383=0.004 | | max | 0.406-0.401=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.057-1309.887=-14.830 | | σ | 0.084-0.102=-0.018 | | min | 1294.952-1309.755=-14.804 | | max | 1295.169-1309.990=-14.821 |
| | mean | 1644.000-1509.000=135.000 | | σ | 0.000 | | min | 1644.000-1509.000=135.000 | | max | 1644.000-1509.000=135.000 |
| | mean | 1.907-1.822=0.085 | | σ | 0.058-0.093=-0.036 | | min | 1.813-1.694=0.120 | | max | 1.964-1.921=0.043 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.194-1553.963=-14.770 | | σ | 6.884-6.873=0.010 | | min | 1535.885-1550.615=-14.730 | | max | 1551.502-1566.254=-14.751 |
| | mean | 1644.000-1509.000=135.000 | | σ | 0.000 | | min | 1644.000-1509.000=135.000 | | max | 1644.000-1509.000=135.000 |
| | mean | 2.287-2.282=0.005 | | σ | 0.240-0.272=-0.032 | | min | 2.025-2.119=-0.094 | | max | 2.630-2.762=-0.132 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.993-1871.778=-14.785 | | σ | 0.066-0.072=-0.005 | | min | 1856.914-1871.695=-14.781 | | max | 1857.087-1871.864=-14.777 |
| | mean | 1763.200-1719.600=43.600 | | σ | 126.496-203.661=-77.165 | | min | 1644.000-1541.000=103.000 | | max | 1948.000-2019.000=-71.000 |
| | mean | 2.927-2.877=0.050 | | σ | 0.127-0.069=0.058 | | min | 2.783-2.801=-0.018 | | max | 3.076-2.952=0.123 |
|