iters=5 new-facts=1 prior-facts=1 | | mean | 272.797-273.589=-0.792 | | σ | 0.004-0.008=-0.004 | | min | 272.792-273.580=-0.788 | | max | 272.801-273.598=-0.797 |
| | mean | 2434.000-2866.000=-432.000 | | σ | 0.000 | | min | 2434.000-2866.000=-432.000 | | max | 2434.000-2866.000=-432.000 |
| | mean | 0.383-0.392=-0.009 | | σ | 0.009-0.012=-0.003 | | min | 0.378-0.383=-0.004 | | max | 0.400-0.412=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.452-1934.228=-0.776 | | σ | 0.013-0.006=0.007 | | min | 1933.433-1934.221=-0.788 | | max | 1933.469-1934.238=-0.769 |
| | mean | 2434.000-2866.000=-432.000 | | σ | 0.000 | | min | 2434.000-2866.000=-432.000 | | max | 2434.000-2866.000=-432.000 |
| | mean | 3.097-2.976=0.122 | | σ | 0.097-0.159=-0.062 | | min | 3.010-2.711=0.299 | | max | 3.256-3.099=0.157 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4757.180-4755.052=2.127 | | σ | 7.573-0.823=6.750 | | min | 4753.696-4754.592=-0.897 | | max | 4770.727-4756.520=14.207 |
| | mean | 2434.000-2866.000=-432.000 | | σ | 0.000 | | min | 2434.000-2866.000=-432.000 | | max | 2434.000-2866.000=-432.000 |
| | mean | 8.525-8.151=0.374 | | σ | 0.382-0.382=-0.000 | | min | 7.939-7.769=0.170 | | max | 8.991-8.698=0.293 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.615-4945.443=-0.828 | | σ | 0.162-0.018=0.144 | | min | 4944.326-4945.414=-1.088 | | max | 4944.708-4945.459=-0.751 |
| | mean | 2948.600-3085.600=-137.000 | | σ | 400.414-297.861=102.553 | | min | 2450.000-2866.000=-416.000 | | max | 3493.000-3547.000=-54.000 |
| | mean | 8.544-8.433=0.110 | | σ | 0.232-0.117=0.115 | | min | 8.302-8.327=-0.025 | | max | 8.861-8.618=0.244 |
|