iters=5 new-facts=1 prior-facts=1 | | mean | 278.690-278.693=-0.003 | | σ | 0.012-0.008=0.004 | | min | 278.680-278.686=-0.005 | | max | 278.712-278.706=0.005 |
| | mean | 2660.000-2589.000=71.000 | | σ | 0.000 | | min | 2660.000-2589.000=71.000 | | max | 2660.000-2589.000=71.000 |
| | mean | 0.419-0.417=0.001 | | σ | 0.001-0.001=0.000 | | min | 0.417-0.416=0.001 | | max | 0.420-0.418=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.855-2268.861=-0.006 | | σ | 0.018-0.017=0.001 | | min | 2268.834-2268.833=0.001 | | max | 2268.870-2268.877=-0.007 |
| | mean | 2660.000-2589.000=71.000 | | σ | 0.000 | | min | 2660.000-2589.000=71.000 | | max | 2660.000-2589.000=71.000 |
| | mean | 3.100-2.980=0.120 | | σ | 0.144-0.136=0.008 | | min | 2.872-2.897=-0.025 | | max | 3.251-3.219=0.032 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.031-4952.062=-0.032 | | σ | 0.866-0.976=-0.110 | | min | 4951.253-4951.133=0.119 | | max | 4953.516-4953.725=-0.209 |
| | mean | 2660.000-2589.000=71.000 | | σ | 0.000 | | min | 2660.000-2589.000=71.000 | | max | 2660.000-2589.000=71.000 |
| | mean | 7.949-7.937=0.013 | | σ | 0.445-0.320=0.125 | | min | 7.650-7.674=-0.023 | | max | 8.717-8.427=0.289 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.851-5166.915=-0.064 | | σ | 0.168-0.013=0.155 | | min | 5166.553-5166.903=-0.351 | | max | 5166.951-5166.936=0.015 |
| | mean | 3349.800-3343.800=6.000 | | σ | 423.692-468.509=-44.817 | | min | 2932.000-2775.000=157.000 | | max | 3779.000-3999.000=-220.000 |
| | mean | 9.445-9.453=-0.008 | | σ | 0.382-0.251=0.131 | | min | 9.015-9.208=-0.193 | | max | 10.005-9.807=0.198 |
|