iters=5 new-facts=1 prior-facts=1 | | mean | 271.644-279.072=-7.428 | | σ | 0.008-0.005=0.003 | | min | 271.631-279.064=-7.433 | | max | 271.652-279.077=-7.425 |
| | mean | 2842.000-2848.000=-6.000 | | σ | 0.000 | | min | 2842.000-2848.000=-6.000 | | max | 2842.000-2848.000=-6.000 |
| | mean | 0.378-0.391=-0.013 | | σ | 0.005-0.005=0.000 | | min | 0.375-0.387=-0.012 | | max | 0.387-0.398=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.102-1939.518=-7.416 | | σ | 0.018-0.012=0.006 | | min | 1932.080-1939.500=-7.420 | | max | 1932.118-1939.530=-7.412 |
| | mean | 2842.000-2848.000=-6.000 | | σ | 0.000 | | min | 2842.000-2848.000=-6.000 | | max | 2842.000-2848.000=-6.000 |
| | mean | 2.594-2.824=-0.231 | | σ | 0.246-0.206=0.040 | | min | 2.385-2.500=-0.115 | | max | 3.004-3.011=-0.006 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.414-4760.056=-7.642 | | σ | 1.008-0.791=0.217 | | min | 4751.622-4759.561=-7.940 | | max | 4754.113-4761.458=-7.346 |
| | mean | 2842.000-2848.000=-6.000 | | σ | 0.000 | | min | 2842.000-2848.000=-6.000 | | max | 2842.000-2848.000=-6.000 |
| | mean | 8.159-8.165=-0.006 | | σ | 0.468-0.379=0.089 | | min | 7.752-7.733=0.020 | | max | 8.906-8.634=0.273 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.043-4950.467=-7.424 | | σ | 0.080-0.078=0.002 | | min | 4942.971-4950.401=-7.430 | | max | 4943.131-4950.555=-7.424 |
| | mean | 3063.600-3077.200=-13.600 | | σ | 295.017-302.031=-7.014 | | min | 2842.000-2848.000=-6.000 | | max | 3521.000-3541.000=-20.000 |
| | mean | 8.432-8.491=-0.059 | | σ | 0.270-0.122=0.148 | | min | 8.276-8.378=-0.101 | | max | 8.910-8.639=0.271 |
|