iters=5 new-facts=1 prior-facts=1 | | mean | 272.754-272.754=-0.000 | | σ | 0.004-0.004=-0.000 | | min | 272.751-272.751=-0.000 | | max | 272.760-272.760=0.000 |
| | mean | 2770.000-2790.000=-20.000 | | σ | 0.000 | | min | 2770.000-2790.000=-20.000 | | max | 2770.000-2790.000=-20.000 |
| | mean | 0.379-0.380=-0.001 | | σ | 0.003-0.005=-0.002 | | min | 0.376-0.377=-0.002 | | max | 0.383-0.389=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.145-1933.166=-0.021 | | σ | 0.039-0.016=0.023 | | min | 1933.079-1933.145=-0.066 | | max | 1933.175-1933.189=-0.013 |
| | mean | 2770.000-2790.000=-20.000 | | σ | 0.000 | | min | 2770.000-2790.000=-20.000 | | max | 2770.000-2790.000=-20.000 |
| | mean | 3.091-2.914=0.177 | | σ | 0.131-0.140=-0.009 | | min | 2.912-2.731=0.181 | | max | 3.251-3.095=0.156 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.793-4756.797=-0.004 | | σ | 7.400-7.709=-0.309 | | min | 4753.406-4753.007=0.400 | | max | 4770.031-4770.583=-0.553 |
| | mean | 2770.000-2790.000=-20.000 | | σ | 0.000 | | min | 2770.000-2790.000=-20.000 | | max | 2770.000-2790.000=-20.000 |
| | mean | 8.796-8.667=0.129 | | σ | 0.295-0.435=-0.140 | | min | 8.489-7.976=0.513 | | max | 9.153-9.043=0.111 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.390-4944.318=0.072 | | σ | 0.017-0.162=-0.146 | | min | 4944.371-4944.029=0.343 | | max | 4944.409-4944.406=0.003 |
| | mean | 3045.400-3052.000=-6.600 | | σ | 336.747-331.494=5.253 | | min | 2770.000-2790.000=-20.000 | | max | 3554.000-3556.000=-2.000 |
| | mean | 8.378-8.435=-0.057 | | σ | 0.141-0.125=0.015 | | min | 8.253-8.348=-0.095 | | max | 8.610-8.655=-0.045 |
|