iters=5 new-facts=1 prior-facts=1 | | mean | 326.632-326.577=0.055 | | σ | 0.061-0.031=0.031 | | min | 326.523-326.523=-0.000 | | max | 326.671-326.597=0.074 |
| | mean | 2760.000-2611.000=149.000 | | σ | 0.000 | | min | 2760.000-2611.000=149.000 | | max | 2760.000-2611.000=149.000 |
| | mean | 0.429-0.422=0.007 | | σ | 0.006-0.001=0.005 | | min | 0.424-0.421=0.004 | | max | 0.439-0.423=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.799-1988.742=0.057 | | σ | 0.015-0.009=0.006 | | min | 1988.782-1988.728=0.054 | | max | 1988.820-1988.752=0.068 |
| | mean | 2760.000-2611.000=149.000 | | σ | 0.000 | | min | 2760.000-2611.000=149.000 | | max | 2760.000-2611.000=149.000 |
| | mean | 2.679-2.716=-0.037 | | σ | 0.143-0.053=0.090 | | min | 2.576-2.657=-0.081 | | max | 2.926-2.798=0.128 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.553-4813.402=0.152 | | σ | 7.513-7.183=0.329 | | min | 4810.142-4810.043=0.100 | | max | 4826.992-4826.250=0.741 |
| | mean | 2760.000-2611.000=149.000 | | σ | 0.000 | | min | 2760.000-2611.000=149.000 | | max | 2760.000-2611.000=149.000 |
| | mean | 8.923-8.227=0.697 | | σ | 0.444-0.552=-0.108 | | min | 8.467-7.806=0.661 | | max | 9.539-9.112=0.427 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.131-5001.138=-0.007 | | σ | 0.156-0.026=0.131 | | min | 5000.855-5001.105=-0.250 | | max | 5001.231-5001.160=0.071 |
| | mean | 2989.200-2980.400=8.800 | | σ | 228.327-406.012=-177.685 | | min | 2760.000-2611.000=149.000 | | max | 3322.000-3554.000=-232.000 |
| | mean | 9.645-9.807=-0.161 | | σ | 0.182-0.174=0.008 | | min | 9.460-9.574=-0.114 | | max | 9.901-10.000=-0.099 |
|