iters=5 new-facts=1 prior-facts=1 | | mean | 324.013-324.011=0.002 | | σ | 0.060-0.058=0.002 | | min | 323.906-323.908=-0.001 | | max | 324.046-324.047=-0.000 |
| | mean | 2523.000-2833.000=-310.000 | | σ | 0.000 | | min | 2523.000-2833.000=-310.000 | | max | 2523.000-2833.000=-310.000 |
| | mean | 0.428-0.428=0.000 | | σ | 0.005-0.001=0.004 | | min | 0.423-0.427=-0.004 | | max | 0.436-0.429=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.595-1984.592=0.003 | | σ | 0.008-0.010=-0.001 | | min | 1984.583-1984.575=0.008 | | max | 1984.604-1984.599=0.005 |
| | mean | 2523.000-2833.000=-310.000 | | σ | 0.000 | | min | 2523.000-2833.000=-310.000 | | max | 2523.000-2833.000=-310.000 |
| | mean | 2.625-2.624=0.001 | | σ | 0.172-0.047=0.125 | | min | 2.439-2.577=-0.138 | | max | 2.903-2.680=0.223 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.122-4808.265=-0.143 | | σ | 7.540-7.771=-0.230 | | min | 4804.675-4804.708=-0.033 | | max | 4821.610-4822.165=-0.555 |
| | mean | 2523.000-2833.000=-310.000 | | σ | 0.000 | | min | 2523.000-2833.000=-310.000 | | max | 2523.000-2833.000=-310.000 |
| | mean | 8.887-9.034=-0.147 | | σ | 0.185-0.321=-0.135 | | min | 8.578-8.636=-0.058 | | max | 9.037-9.417=-0.380 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.806-4995.797=0.010 | | σ | 0.027-0.019=0.008 | | min | 4995.777-4995.774=0.003 | | max | 4995.832-4995.827=0.005 |
| | mean | 2997.600-3043.000=-45.400 | | σ | 294.192-264.937=29.255 | | min | 2594.000-2833.000=-239.000 | | max | 3366.000-3446.000=-80.000 |
| | mean | 8.742-8.622=0.120 | | σ | 0.318-0.086=0.232 | | min | 8.514-8.507=0.007 | | max | 9.272-8.735=0.537 |
|