iters=5 new-facts=1 prior-facts=1 | | mean | 271.594-269.379=2.214 | | σ | 0.008-0.006=0.002 | | min | 271.583-269.370=2.213 | | max | 271.602-269.387=2.215 |
| | mean | 2773.000-2786.000=-13.000 | | σ | 0.000 | | min | 2773.000-2786.000=-13.000 | | max | 2773.000-2786.000=-13.000 |
| | mean | 0.383-0.377=0.006 | | σ | 0.004-0.003=0.002 | | min | 0.378-0.375=0.004 | | max | 0.390-0.381=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.999-1929.744=2.255 | | σ | 0.007-0.017=-0.009 | | min | 1931.989-1929.716=2.273 | | max | 1932.009-1929.759=2.250 |
| | mean | 2773.000-2786.000=-13.000 | | σ | 0.000 | | min | 2773.000-2786.000=-13.000 | | max | 2773.000-2786.000=-13.000 |
| | mean | 2.538-3.108=-0.570 | | σ | 0.127-0.173=-0.047 | | min | 2.404-2.983=-0.579 | | max | 2.686-3.401=-0.715 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.591-4750.507=2.084 | | σ | 1.007-0.856=0.151 | | min | 4751.719-4750.057=1.662 | | max | 4754.333-4752.035=2.298 |
| | mean | 2773.000-2786.000=-13.000 | | σ | 0.000 | | min | 2773.000-2786.000=-13.000 | | max | 2773.000-2786.000=-13.000 |
| | mean | 8.696-8.431=0.265 | | σ | 0.440-0.442=-0.002 | | min | 7.994-7.695=0.299 | | max | 9.124-8.883=0.241 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.136-4940.909=2.227 | | σ | 0.154-0.155=-0.001 | | min | 4942.862-4940.634=2.228 | | max | 4943.223-4940.998=2.225 |
| | mean | 3051.000-3037.200=13.800 | | σ | 268.127-317.482=-49.355 | | min | 2773.000-2786.000=-13.000 | | max | 3430.000-3525.000=-95.000 |
| | mean | 8.607-8.467=0.140 | | σ | 0.204-0.082=0.122 | | min | 8.418-8.400=0.018 | | max | 8.927-8.594=0.333 |
|