iters=5 new-facts=1 prior-facts=1 | | mean | 277.202-279.554=-2.352 | | σ | 0.008-0.010=-0.002 | | min | 277.190-279.539=-2.350 | | max | 277.208-279.562=-2.354 |
| | mean | 2625.000-2741.000=-116.000 | | σ | 0.000 | | min | 2625.000-2741.000=-116.000 | | max | 2625.000-2741.000=-116.000 |
| | mean | 0.416-0.409=0.006 | | σ | 0.015-0.005=0.010 | | min | 0.403-0.405=-0.002 | | max | 0.436-0.418=0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.428-2178.490=-4.061 | | σ | 0.016-0.016=0.000 | | min | 2174.404-2178.465=-4.062 | | max | 2174.447-2178.508=-4.061 |
| | mean | 2625.000-2741.000=-116.000 | | σ | 0.000 | | min | 2625.000-2741.000=-116.000 | | max | 2625.000-2741.000=-116.000 |
| | mean | 2.886-3.442=-0.556 | | σ | 0.095-0.127=-0.032 | | min | 2.786-3.259=-0.473 | | max | 3.005-3.600=-0.595 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.478-5056.213=-3.735 | | σ | 0.713-1.179=-0.466 | | min | 5052.091-5055.217=-3.126 | | max | 5053.750-5058.230=-4.480 |
| | mean | 2625.000-2741.000=-116.000 | | σ | 0.000 | | min | 2625.000-2741.000=-116.000 | | max | 2625.000-2741.000=-116.000 |
| | mean | 8.754-9.060=-0.306 | | σ | 0.470-0.756=-0.286 | | min | 8.215-8.230=-0.015 | | max | 9.424-9.950=-0.526 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.422-5193.806=-5.384 | | σ | 0.094-0.090=0.004 | | min | 5188.330-5193.737=-5.407 | | max | 5188.527-5193.905=-5.378 |
| | mean | 3209.800-3295.000=-85.200 | | σ | 480.692-427.164=53.528 | | min | 2625.000-2741.000=-116.000 | | max | 3855.000-3709.000=146.000 |
| | mean | 8.891-8.903=-0.012 | | σ | 0.447-0.279=0.167 | | min | 8.568-8.672=-0.104 | | max | 9.647-9.369=0.278 |
|