iters=5 new-facts=1 prior-facts=1 | | mean | 268.230-268.233=-0.003 | | σ | 0.006-0.008=-0.003 | | min | 268.225-268.224=0.001 | | max | 268.239-268.243=-0.004 |
| | mean | 2847.000-2856.000=-9.000 | | σ | 0.000 | | min | 2847.000-2856.000=-9.000 | | max | 2847.000-2856.000=-9.000 |
| | mean | 0.378-0.384=-0.006 | | σ | 0.004-0.009=-0.005 | | min | 0.375-0.374=0.001 | | max | 0.385-0.395=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1928.631-1928.635=-0.005 | | σ | 0.011-0.010=0.001 | | min | 1928.616-1928.621=-0.005 | | max | 1928.642-1928.649=-0.007 |
| | mean | 2847.000-2856.000=-9.000 | | σ | 0.000 | | min | 2847.000-2856.000=-9.000 | | max | 2847.000-2856.000=-9.000 |
| | mean | 3.044-3.003=0.041 | | σ | 0.111-0.045=0.065 | | min | 2.943-2.952=-0.009 | | max | 3.218-3.062=0.156 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4749.221-4749.385=-0.163 | | σ | 1.013-0.909=0.104 | | min | 4748.375-4748.897=-0.522 | | max | 4750.981-4751.001=-0.020 |
| | mean | 2847.000-2856.000=-9.000 | | σ | 0.000 | | min | 2847.000-2856.000=-9.000 | | max | 2847.000-2856.000=-9.000 |
| | mean | 8.836-8.471=0.365 | | σ | 0.314-0.537=-0.223 | | min | 8.408-7.589=0.819 | | max | 9.150-8.921=0.229 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4939.769-4939.833=-0.065 | | σ | 0.146-0.018=0.128 | | min | 4939.509-4939.806=-0.297 | | max | 4939.851-4939.849=0.001 |
| | mean | 3057.800-3055.000=2.800 | | σ | 227.013-193.929=33.083 | | min | 2847.000-2856.000=-9.000 | | max | 3395.000-3335.000=60.000 |
| | mean | 8.705-8.480=0.225 | | σ | 0.312-0.168=0.144 | | min | 8.407-8.336=0.072 | | max | 9.154-8.731=0.423 |
|