iters=5 new-facts=1 prior-facts=1 | | mean | 324.588 | | σ | 0.046-0.043=0.003 | | min | 324.507-324.512=-0.005 | | max | 324.618-324.617=0.001 |
| | mean | 2832.000-2824.000=8.000 | | σ | 0.000 | | min | 2832.000-2824.000=8.000 | | max | 2832.000-2824.000=8.000 |
| | mean | 0.424-0.423=0.001 | | σ | 0.002-0.001=0.001 | | min | 0.422-0.422=0.000 | | max | 0.427-0.425=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.134-1985.137=-0.003 | | σ | 0.014-0.020=-0.006 | | min | 1985.117-1985.106=0.011 | | max | 1985.149-1985.152=-0.003 |
| | mean | 2832.000-2824.000=8.000 | | σ | 0.000 | | min | 2832.000-2824.000=8.000 | | max | 2832.000-2824.000=8.000 |
| | mean | 2.597-2.697=-0.100 | | σ | 0.072-0.242=-0.170 | | min | 2.530-2.502=0.028 | | max | 2.677-3.112=-0.435 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.757-4808.752=0.005 | | σ | 7.666-7.696=-0.030 | | min | 4805.215-4805.204=0.011 | | max | 4822.469-4822.517=-0.048 |
| | mean | 2832.000-2824.000=8.000 | | σ | 0.000 | | min | 2832.000-2824.000=8.000 | | max | 2832.000-2824.000=8.000 |
| | mean | 9.001-8.936=0.065 | | σ | 0.304-0.389=-0.085 | | min | 8.701-8.529=0.172 | | max | 9.507-9.452=0.055 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.345-4996.274=0.070 | | σ | 0.024-0.156=-0.132 | | min | 4996.323-4995.997=0.326 | | max | 4996.378-4996.360=0.018 |
| | mean | 3071.000-3041.600=29.400 | | σ | 227.190-291.512=-64.322 | | min | 2832.000-2824.000=8.000 | | max | 3400.000-3495.000=-95.000 |
| | mean | 8.830-8.495=0.335 | | σ | 0.321-0.109=0.212 | | min | 8.541-8.429=0.112 | | max | 9.311-8.685=0.626 |
|