iters=5 new-facts=1 prior-facts=1 | | mean | 271.956-271.957=-0.001 | | σ | 0.006-0.009=-0.002 | | min | 271.947-271.946=0.002 | | max | 271.962-271.964=-0.002 |
| | mean | 2702.000-2756.000=-54.000 | | σ | 0.000 | | min | 2702.000-2756.000=-54.000 | | max | 2702.000-2756.000=-54.000 |
| | mean | 0.380-0.386=-0.005 | | σ | 0.002-0.007=-0.005 | | min | 0.378-0.379=-0.001 | | max | 0.383-0.395=-0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.321-1932.319=0.002 | | σ | 0.008-0.006=0.002 | | min | 1932.310-1932.315=-0.005 | | max | 1932.332-1932.329=0.003 |
| | mean | 2702.000-2756.000=-54.000 | | σ | 0.000 | | min | 2702.000-2756.000=-54.000 | | max | 2702.000-2756.000=-54.000 |
| | mean | 3.057-2.997=0.060 | | σ | 0.069-0.059=0.010 | | min | 2.978-2.910=0.068 | | max | 3.146-3.073=0.072 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.126-4752.935=0.191 | | σ | 0.825-0.998=-0.173 | | min | 4752.638-4752.085=0.552 | | max | 4754.592-4754.664=-0.072 |
| | mean | 2702.000-2756.000=-54.000 | | σ | 0.000 | | min | 2702.000-2756.000=-54.000 | | max | 2702.000-2756.000=-54.000 |
| | mean | 8.427-8.779=-0.352 | | σ | 0.621-0.237=0.385 | | min | 7.611-8.518=-0.907 | | max | 9.110-9.065=0.045 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.553-4943.557=-0.004 | | σ | 0.022-0.018=0.004 | | min | 4943.529-4943.542=-0.013 | | max | 4943.578-4943.581=-0.003 |
| | mean | 3002.000-2998.800=3.200 | | σ | 252.790-222.227=30.564 | | min | 2702.000-2756.000=-54.000 | | max | 3323.000-3322.000=1.000 |
| | mean | 8.549-8.508=0.041 | | σ | 0.164-0.146=0.018 | | min | 8.400-8.352=0.049 | | max | 8.782-8.668=0.114 |
|