iters=5 new-facts=1 prior-facts=1 | | mean | 280.290-280.289=0.002 | | σ | 0.003-0.006=-0.003 | | min | 280.286-280.279=0.007 | | max | 280.295-280.294=0.001 |
| | mean | 2683.000-2680.000=3.000 | | σ | 0.000 | | min | 2683.000-2680.000=3.000 | | max | 2683.000-2680.000=3.000 |
| | mean | 0.412-0.410=0.002 | | σ | 0.001-0.001=0.000 | | min | 0.410-0.408=0.002 | | max | 0.414-0.411=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.294-2270.312=-0.018 | | σ | 0.026-0.029=-0.003 | | min | 2270.263-2270.277=-0.014 | | max | 2270.323-2270.357=-0.034 |
| | mean | 2683.000-2680.000=3.000 | | σ | 0.000 | | min | 2683.000-2680.000=3.000 | | max | 2683.000-2680.000=3.000 |
| | mean | 2.986-3.113=-0.126 | | σ | 0.114-0.251=-0.136 | | min | 2.826-2.832=-0.006 | | max | 3.118-3.428=-0.310 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5147.582-5147.587=-0.006 | | σ | 1.012-1.014=-0.002 | | min | 5146.996-5146.973=0.023 | | max | 5149.382-5149.376=0.007 |
| | mean | 2683.000-2680.000=3.000 | | σ | 0.000 | | min | 2683.000-2680.000=3.000 | | max | 2683.000-2680.000=3.000 |
| | mean | 8.990-9.030=-0.039 | | σ | 0.585-0.660=-0.075 | | min | 8.287-8.254=0.033 | | max | 9.689-9.848=-0.159 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5285.572-5285.587=-0.015 | | σ | 0.136-0.152=-0.016 | | min | 5285.367-5285.416=-0.049 | | max | 5285.748-5285.760=-0.012 |
| | mean | 3487.600-3488.400=-0.800 | | σ | 541.401-534.888=6.514 | | min | 2770.000-2781.000=-11.000 | | max | 4004.000-3999.000=5.000 |
| | mean | 9.949-9.961=-0.012 | | σ | 0.511-0.634=-0.123 | | min | 9.185-8.861=0.324 | | max | 10.445-10.366=0.079 |
|