iters=5 new-facts=1 prior-facts=1 | | mean | 277.195-277.195=0.000 | | σ | 0.006-0.004=0.001 | | min | 277.188-277.191=-0.003 | | max | 277.204-277.202=0.002 |
| | mean | 2664.000-2662.000=2.000 | | σ | 0.000 | | min | 2664.000-2662.000=2.000 | | max | 2664.000-2662.000=2.000 |
| | mean | 0.398-0.393=0.005 | | σ | 0.011-0.001=0.009 | | min | 0.390-0.392=-0.002 | | max | 0.414-0.395=0.019 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.442-2174.442=-0.000 | | σ | 0.017-0.038=-0.022 | | min | 2174.428-2174.374=0.053 | | max | 2174.469-2174.470=-0.002 |
| | mean | 2664.000-2662.000=2.000 | | σ | 0.000 | | min | 2664.000-2662.000=2.000 | | max | 2664.000-2662.000=2.000 |
| | mean | 2.982-3.078=-0.097 | | σ | 0.169-0.234=-0.065 | | min | 2.709-2.782=-0.073 | | max | 3.153-3.362=-0.209 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.624-5052.482=0.142 | | σ | 0.980-1.099=-0.118 | | min | 5052.017-5051.712=0.305 | | max | 5054.363-5054.417=-0.055 |
| | mean | 2664.000-2662.000=2.000 | | σ | 0.000 | | min | 2664.000-2662.000=2.000 | | max | 2664.000-2662.000=2.000 |
| | mean | 8.684-9.132=-0.448 | | σ | 0.611-0.594=0.017 | | min | 8.095-8.239=-0.145 | | max | 9.589-9.883=-0.294 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.430-5188.358=0.072 | | σ | 0.090-0.209=-0.119 | | min | 5188.345-5188.011=0.335 | | max | 5188.527-5188.524=0.004 |
| | mean | 3220.800-3226.400=-5.600 | | σ | 384.962-385.954=-0.992 | | min | 2667.000-2687.000=-20.000 | | max | 3688.000-3710.000=-22.000 |
| | mean | 8.948-8.906=0.042 | | σ | 0.284-0.282=0.002 | | min | 8.712-8.680=0.032 | | max | 9.412-9.340=0.072 |
|