iters=5 new-facts=1 prior-facts=1 | | mean | 270.142-270.126=0.016 | | σ | 0.009-0.007=0.002 | | min | 270.129-270.118=0.011 | | max | 270.152-270.131=0.020 |
| | mean | 2835.000-2464.000=371.000 | | σ | 0.000 | | min | 2835.000-2464.000=371.000 | | max | 2835.000-2464.000=371.000 |
| | mean | 0.375-0.373=0.002 | | σ | 0.004-0.004=-0.000 | | min | 0.369-0.368=0.001 | | max | 0.380-0.380=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.596-1930.596=-0.000 | | σ | 0.016-0.012=0.004 | | min | 1930.577-1930.577=0.001 | | max | 1930.613-1930.607=0.006 |
| | mean | 2835.000-2464.000=371.000 | | σ | 0.000 | | min | 2835.000-2464.000=371.000 | | max | 2835.000-2464.000=371.000 |
| | mean | 2.545-2.637=-0.092 | | σ | 0.146-0.088=0.058 | | min | 2.397-2.503=-0.106 | | max | 2.783-2.747=0.036 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.227-4751.068=0.159 | | σ | 0.963-0.907=0.056 | | min | 4750.477-4750.482=-0.005 | | max | 4752.910-4752.678=0.232 |
| | mean | 2835.000-2464.000=371.000 | | σ | 0.000 | | min | 2835.000-2464.000=371.000 | | max | 2835.000-2464.000=371.000 |
| | mean | 8.349-8.784=-0.435 | | σ | 0.519-0.527=-0.008 | | min | 7.799-7.901=-0.102 | | max | 9.060-9.227=-0.167 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.763-4941.535=0.228 | | σ | 0.029-0.087=-0.058 | | min | 4941.741-4941.467=0.274 | | max | 4941.800-4941.634=0.166 |
| | mean | 3009.600-3018.400=-8.800 | | σ | 194.489-419.832=-225.343 | | min | 2835.000-2464.000=371.000 | | max | 3308.000-3560.000=-252.000 |
| | mean | 8.476-8.722=-0.245 | | σ | 0.122-0.228=-0.107 | | min | 8.360-8.562=-0.202 | | max | 8.650-9.114=-0.464 |
|