iters=5 new-facts=1 prior-facts=1 | | mean | 277.195-279.498=-2.302 | | σ | 0.006-0.016=-0.010 | | min | 277.187-279.480=-2.293 | | max | 277.203-279.514=-2.311 |
| | mean | 2630.000-2760.000=-130.000 | | σ | 0.000 | | min | 2630.000-2760.000=-130.000 | | max | 2630.000-2760.000=-130.000 |
| | mean | 0.397-0.410=-0.013 | | σ | 0.007-0.002=0.005 | | min | 0.391-0.407=-0.016 | | max | 0.409-0.414=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.418-2178.423=-4.005 | | σ | 0.038-0.032=0.006 | | min | 2174.353-2178.378=-4.024 | | max | 2174.452-2178.465=-4.014 |
| | mean | 2630.000-2760.000=-130.000 | | σ | 0.000 | | min | 2630.000-2760.000=-130.000 | | max | 2630.000-2760.000=-130.000 |
| | mean | 3.095-3.432=-0.338 | | σ | 0.313-0.087=0.226 | | min | 2.776-3.291=-0.516 | | max | 3.585-3.517=0.067 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.635-5056.380=-3.745 | | σ | 0.988-0.979=0.009 | | min | 5052.041-5055.815=-3.774 | | max | 5054.390-5058.125=-3.735 |
| | mean | 2630.000-2760.000=-130.000 | | σ | 0.000 | | min | 2630.000-2760.000=-130.000 | | max | 2630.000-2760.000=-130.000 |
| | mean | 8.708-8.860=-0.152 | | σ | 0.590-0.612=-0.023 | | min | 8.260-8.061=0.199 | | max | 9.660-9.556=0.104 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.358-5193.747=-5.389 | | σ | 0.121-0.101=0.021 | | min | 5188.174-5193.641=-5.467 | | max | 5188.515-5193.857=-5.342 |
| | mean | 3288.600-3296.000=-7.400 | | σ | 417.183-400.590=16.593 | | min | 2706.000-2760.000=-54.000 | | max | 3675.000-3680.000=-5.000 |
| | mean | 9.040-8.879=0.161 | | σ | 0.503-0.169=0.334 | | min | 8.711-8.611=0.100 | | max | 9.933-9.049=0.883 |
|