iters=5 new-facts=1 prior-facts=1 | | mean | 326.451-326.448=0.003 | | σ | 0.048-0.042=0.006 | | min | 326.366-326.375=-0.009 | | max | 326.481-326.488=-0.007 |
| | mean | 2833.000-2591.000=242.000 | | σ | 0.000 | | min | 2833.000-2591.000=242.000 | | max | 2833.000-2591.000=242.000 |
| | mean | 0.424-0.430=-0.007 | | σ | 0.002-0.006=-0.005 | | min | 0.422-0.427=-0.005 | | max | 0.426-0.442=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.619-1988.618=0.001 | | σ | 0.009-0.004=0.005 | | min | 1988.608-1988.613=-0.005 | | max | 1988.633-1988.622=0.011 |
| | mean | 2833.000-2591.000=242.000 | | σ | 0.000 | | min | 2833.000-2591.000=242.000 | | max | 2833.000-2591.000=242.000 |
| | mean | 2.667-2.735=-0.068 | | σ | 0.142-0.206=-0.063 | | min | 2.498-2.570=-0.072 | | max | 2.867-3.093=-0.226 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.346-4813.457=-0.112 | | σ | 7.792-7.752=0.040 | | min | 4809.488-4809.912=-0.424 | | max | 4827.280-4827.325=-0.045 |
| | mean | 2833.000-2591.000=242.000 | | σ | 0.000 | | min | 2833.000-2591.000=242.000 | | max | 2833.000-2591.000=242.000 |
| | mean | 8.836-8.610=0.225 | | σ | 0.409-0.550=-0.141 | | min | 8.254-7.847=0.407 | | max | 9.147-9.395=-0.248 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.018-5001.010=0.008 | | σ | 0.025-0.019=0.005 | | min | 5000.990-5000.990=0.000 | | max | 5001.044-5001.037=0.007 |
| | mean | 3044.800-2947.400=97.400 | | σ | 206.408-360.576=-154.168 | | min | 2833.000-2591.000=242.000 | | max | 3304.000-3423.000=-119.000 |
| | mean | 9.780-9.647=0.133 | | σ | 0.171-0.179=-0.008 | | min | 9.624-9.362=0.262 | | max | 10.041-9.811=0.229 |
|