iters=5 new-facts=1 prior-facts=1 | | mean | 270.611-270.140=0.471 | | σ | 0.006-0.009=-0.002 | | min | 270.601-270.128=0.472 | | max | 270.618-270.151=0.467 |
| | mean | 2769.000-2771.000=-2.000 | | σ | 0.000 | | min | 2769.000-2771.000=-2.000 | | max | 2769.000-2771.000=-2.000 |
| | mean | 0.379-0.378=0.001 | | σ | 0.004-0.005=-0.001 | | min | 0.377-0.372=0.005 | | max | 0.386-0.384=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.042-1930.609=0.434 | | σ | 0.009-0.008=0.001 | | min | 1931.035-1930.598=0.437 | | max | 1931.057-1930.619=0.438 |
| | mean | 2769.000-2771.000=-2.000 | | σ | 0.000 | | min | 2769.000-2771.000=-2.000 | | max | 2769.000-2771.000=-2.000 |
| | mean | 2.989-2.517=0.473 | | σ | 0.041-0.102=-0.061 | | min | 2.948-2.450=0.498 | | max | 3.052-2.691=0.361 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.804-4751.318=0.486 | | σ | 0.836-0.908=-0.072 | | min | 4751.221-4750.802=0.418 | | max | 4753.276-4752.933=0.343 |
| | mean | 2769.000-2771.000=-2.000 | | σ | 0.000 | | min | 2769.000-2771.000=-2.000 | | max | 2769.000-2771.000=-2.000 |
| | mean | 8.203-8.477=-0.274 | | σ | 0.629-0.526=0.103 | | min | 7.732-7.614=0.118 | | max | 9.172-9.000=0.173 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.162-4941.695=0.467 | | σ | 0.147-0.154=-0.007 | | min | 4941.903-4941.423=0.481 | | max | 4942.258-4941.785=0.473 |
| | mean | 3037.400-3014.000=23.400 | | σ | 326.486-236.541=89.945 | | min | 2769.000-2771.000=-2.000 | | max | 3527.000-3328.000=199.000 |
| | mean | 8.459-8.626=-0.167 | | σ | 0.134-0.245=-0.111 | | min | 8.355-8.394=-0.039 | | max | 8.693-9.009=-0.316 |
|