iters=5 new-facts=1 prior-facts=1 | | mean | 270.588-270.140=0.448 | | σ | 0.017-0.009=0.009 | | min | 270.576-270.128=0.448 | | max | 270.618-270.151=0.468 |
| | mean | 2768.000-2771.000=-3.000 | | σ | 0.000 | | min | 2768.000-2771.000=-3.000 | | max | 2768.000-2771.000=-3.000 |
| | mean | 0.382-0.378=0.004 | | σ | 0.006-0.005=0.001 | | min | 0.379-0.372=0.007 | | max | 0.392-0.384=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.041-1930.609=0.432 | | σ | 0.006-0.008=-0.002 | | min | 1931.033-1930.598=0.435 | | max | 1931.048-1930.619=0.429 |
| | mean | 2768.000-2771.000=-3.000 | | σ | 0.000 | | min | 2768.000-2771.000=-3.000 | | max | 2768.000-2771.000=-3.000 |
| | mean | 2.962-2.517=0.446 | | σ | 0.156-0.102=0.054 | | min | 2.697-2.450=0.247 | | max | 3.077-2.691=0.385 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.846-4751.318=0.529 | | σ | 0.808-0.908=-0.100 | | min | 4751.379-4750.802=0.577 | | max | 4753.288-4752.933=0.354 |
| | mean | 2768.000-2771.000=-3.000 | | σ | 0.000 | | min | 2768.000-2771.000=-3.000 | | max | 2768.000-2771.000=-3.000 |
| | mean | 7.975-8.477=-0.502 | | σ | 0.318-0.526=-0.207 | | min | 7.733-7.614=0.119 | | max | 8.531-9.000=-0.468 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.230-4941.695=0.535 | | σ | 0.023-0.154=-0.131 | | min | 4942.205-4941.423=0.782 | | max | 4942.260-4941.785=0.475 |
| | mean | 3032.000-3014.000=18.000 | | σ | 319.601-236.541=83.060 | | min | 2768.000-2771.000=-3.000 | | max | 3513.000-3328.000=185.000 |
| | mean | 8.346-8.626=-0.280 | | σ | 0.141-0.245=-0.104 | | min | 8.186-8.394=-0.208 | | max | 8.562-9.009=-0.447 |
|