iters=5 new-facts=1 prior-facts=1 | | mean | 270.239-270.240=-0.001 | | σ | 0.008-0.010=-0.002 | | min | 270.230-270.225=0.005 | | max | 270.252-270.252=-0.001 |
| | mean | 2774.000-2788.000=-14.000 | | σ | 0.000 | | min | 2774.000-2788.000=-14.000 | | max | 2774.000-2788.000=-14.000 |
| | mean | 0.385-0.384=0.001 | | σ | 0.010-0.010=0.000 | | min | 0.380-0.378=0.002 | | max | 0.403-0.401=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.698-1930.701=-0.003 | | σ | 0.018-0.005=0.013 | | min | 1930.668-1930.694=-0.027 | | max | 1930.714-1930.706=0.007 |
| | mean | 2774.000-2788.000=-14.000 | | σ | 0.000 | | min | 2774.000-2788.000=-14.000 | | max | 2774.000-2788.000=-14.000 |
| | mean | 2.638-2.504=0.134 | | σ | 0.154-0.054=0.100 | | min | 2.478-2.453=0.024 | | max | 2.837-2.595=0.242 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.327-4751.385=-0.058 | | σ | 0.924-0.866=0.058 | | min | 4750.595-4750.868=-0.273 | | max | 4752.936-4752.926=0.010 |
| | mean | 2774.000-2788.000=-14.000 | | σ | 0.000 | | min | 2774.000-2788.000=-14.000 | | max | 2774.000-2788.000=-14.000 |
| | mean | 8.226-8.620=-0.394 | | σ | 0.473-0.380=0.092 | | min | 7.809-8.059=-0.249 | | max | 8.911-9.032=-0.121 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.798-4941.861=-0.063 | | σ | 0.164-0.023=0.141 | | min | 4941.506-4941.833=-0.327 | | max | 4941.892-4941.891=0.001 |
| | mean | 3054.800-3054.600=0.200 | | σ | 343.795-258.394=85.402 | | min | 2774.000-2788.000=-14.000 | | max | 3566.000-3422.000=144.000 |
| | mean | 8.520-8.695=-0.175 | | σ | 0.131-0.248=-0.118 | | min | 8.317-8.449=-0.132 | | max | 8.640-9.017=-0.377 |
|