iters=5 new-facts=1 prior-facts=1 | | mean | 270.145-266.783=3.362 | | σ | 0.008-0.006=0.002 | | min | 270.136-266.776=3.360 | | max | 270.153-266.791=3.362 |
| | mean | 2850.000-2474.000=376.000 | | σ | 0.000 | | min | 2850.000-2474.000=376.000 | | max | 2850.000-2474.000=376.000 |
| | mean | 0.380-0.364=0.015 | | σ | 0.006-0.001=0.005 | | min | 0.371-0.363=0.008 | | max | 0.388-0.366=0.022 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.608-1927.212=3.396 | | σ | 0.010-0.014=-0.004 | | min | 1930.594-1927.193=3.401 | | max | 1930.620-1927.227=3.393 |
| | mean | 2850.000-2474.000=376.000 | | σ | 0.000 | | min | 2850.000-2474.000=376.000 | | max | 2850.000-2474.000=376.000 |
| | mean | 2.550-3.060=-0.510 | | σ | 0.147-0.109=0.039 | | min | 2.437-2.972=-0.535 | | max | 2.783-3.245=-0.461 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.316-4747.660=3.655 | | σ | 0.852-0.467=0.385 | | min | 4750.824-4747.379=3.446 | | max | 4752.830-4748.484=4.346 |
| | mean | 2850.000-2474.000=376.000 | | σ | 0.000 | | min | 2850.000-2474.000=376.000 | | max | 2850.000-2474.000=376.000 |
| | mean | 8.500-7.870=0.631 | | σ | 0.400-0.270=0.130 | | min | 7.893-7.637=0.257 | | max | 9.016-8.334=0.682 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.771-4938.166=3.605 | | σ | 0.019-0.075=-0.056 | | min | 4941.750-4938.106=3.643 | | max | 4941.794-4938.249=3.545 |
| | mean | 3057.800-2963.800=94.000 | | σ | 193.984-430.332=-236.348 | | min | 2850.000-2474.000=376.000 | | max | 3336.000-3544.000=-208.000 |
| | mean | 8.557-8.466=0.092 | | σ | 0.223-0.170=0.052 | | min | 8.374-8.332=0.042 | | max | 8.901-8.753=0.149 |
|