iters=5 new-facts=1 prior-facts=1 | | mean | 326.632-326.638=-0.006 | | σ | 0.061-0.047=0.014 | | min | 326.523-326.555=-0.033 | | max | 326.671-326.676=-0.006 |
| | mean | 2760.000-2597.000=163.000 | | σ | 0.000 | | min | 2760.000-2597.000=163.000 | | max | 2760.000-2597.000=163.000 |
| | mean | 0.429-0.423=0.006 | | σ | 0.006-0.001=0.005 | | min | 0.424-0.422=0.002 | | max | 0.439-0.424=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.799-1988.806=-0.007 | | σ | 0.015-0.010=0.005 | | min | 1988.782-1988.788=-0.006 | | max | 1988.820-1988.814=0.006 |
| | mean | 2760.000-2597.000=163.000 | | σ | 0.000 | | min | 2760.000-2597.000=163.000 | | max | 2760.000-2597.000=163.000 |
| | mean | 2.679-2.696=-0.017 | | σ | 0.143-0.074=0.069 | | min | 2.576-2.613=-0.037 | | max | 2.926-2.801=0.125 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.553-4813.669=-0.116 | | σ | 7.513-7.710=-0.197 | | min | 4810.142-4810.133=0.009 | | max | 4826.992-4827.460=-0.468 |
| | mean | 2760.000-2597.000=163.000 | | σ | 0.000 | | min | 2760.000-2597.000=163.000 | | max | 2760.000-2597.000=163.000 |
| | mean | 8.923-8.601=0.322 | | σ | 0.444-0.590=-0.146 | | min | 8.467-7.690=0.776 | | max | 9.539-9.136=0.403 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.131-5001.000=0.131 | | σ | 0.156-0.310=-0.154 | | min | 5000.855-5000.519=0.336 | | max | 5001.231-5001.231=-0.000 |
| | mean | 2989.200-2994.000=-4.800 | | σ | 228.327-271.282=-42.955 | | min | 2760.000-2602.000=158.000 | | max | 3322.000-3324.000=-2.000 |
| | mean | 9.645-9.879=-0.234 | | σ | 0.182-0.251=-0.069 | | min | 9.460-9.614=-0.154 | | max | 9.901-10.292=-0.391 |
|