iters=5 new-facts=1 prior-facts=1 | | mean | 286.818-286.822=-0.004 | | σ | 0.037-0.036=0.001 | | min | 286.771-286.776=-0.005 | | max | 286.855-286.860=-0.005 |
| | mean | 1645.000-1646.000=-1.000 | | σ | 0.000 | | min | 1645.000-1646.000=-1.000 | | max | 1645.000-1646.000=-1.000 |
| | mean | 0.397-0.398=-0.001 | | σ | 0.008-0.007=0.001 | | min | 0.388-0.390=-0.002 | | max | 0.404-0.405=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.164-1297.264=-0.100 | | σ | 0.073-0.087=-0.014 | | min | 1297.091-1297.150=-0.059 | | max | 1297.274-1297.375=-0.102 |
| | mean | 1645.000-1646.000=-1.000 | | σ | 0.000 | | min | 1645.000-1646.000=-1.000 | | max | 1645.000-1646.000=-1.000 |
| | mean | 1.954-2.207=-0.253 | | σ | 0.150-0.033=0.117 | | min | 1.803-2.167=-0.364 | | max | 2.160-2.252=-0.092 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.355-1541.367=-0.012 | | σ | 6.803-6.818=-0.015 | | min | 1538.185-1538.194=-0.008 | | max | 1553.523-1553.561=-0.038 |
| | mean | 1645.000-1646.000=-1.000 | | σ | 0.000 | | min | 1645.000-1646.000=-1.000 | | max | 1645.000-1646.000=-1.000 |
| | mean | 2.265-2.295=-0.030 | | σ | 0.253-0.193=0.059 | | min | 2.039-2.143=-0.103 | | max | 2.681-2.587=0.094 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.113-1859.115=-0.002 | | σ | 0.066-0.065=0.002 | | min | 1859.058-1859.028=0.030 | | max | 1859.215-1859.190=0.025 |
| | mean | 1782.400-1774.600=7.800 | | σ | 144.147-128.893=15.254 | | min | 1645.000-1646.000=-1.000 | | max | 1932.000-1909.000=23.000 |
| | mean | 2.938-3.139=-0.201 | | σ | 0.178-0.321=-0.143 | | min | 2.692-2.855=-0.164 | | max | 3.156-3.621=-0.465 |
|