iters=5 new-facts=1 prior-facts=1 | | mean | 278.674-278.674=-0.000 | | σ | 0.009-0.009=0.000 | | min | 278.661-278.663=-0.002 | | max | 278.682-278.685=-0.003 |
| | mean | 2632.000-2830.000=-198.000 | | σ | 0.000 | | min | 2632.000-2830.000=-198.000 | | max | 2632.000-2830.000=-198.000 |
| | mean | 0.418-0.421=-0.003 | | σ | 0.001-0.001=-0.000 | | min | 0.417-0.419=-0.002 | | max | 0.419-0.422=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.831-2268.843=-0.012 | | σ | 0.017-0.014=0.004 | | min | 2268.808-2268.828=-0.019 | | max | 2268.848-2268.858=-0.010 |
| | mean | 2632.000-2830.000=-198.000 | | σ | 0.000 | | min | 2632.000-2830.000=-198.000 | | max | 2632.000-2830.000=-198.000 |
| | mean | 3.146-3.071=0.074 | | σ | 0.156-0.158=-0.001 | | min | 2.903-2.910=-0.007 | | max | 3.324-3.296=0.028 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.336-4952.240=0.096 | | σ | 0.795-0.867=-0.072 | | min | 4951.956-4951.408=0.547 | | max | 4953.759-4953.714=0.045 |
| | mean | 2632.000-2830.000=-198.000 | | σ | 0.000 | | min | 2632.000-2830.000=-198.000 | | max | 2632.000-2830.000=-198.000 |
| | mean | 7.890-7.732=0.158 | | σ | 0.189-0.126=0.064 | | min | 7.618-7.635=-0.017 | | max | 8.094-7.936=0.157 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.977-5166.982=-0.005 | | σ | 0.146-0.162=-0.016 | | min | 5166.715-5166.693=0.022 | | max | 5167.044-5167.073=-0.030 |
| | mean | 3357.000-3341.000=16.000 | | σ | 446.904-398.291=48.613 | | min | 2919.000-2830.000=89.000 | | max | 3812.000-3864.000=-52.000 |
| | mean | 9.265-9.303=-0.038 | | σ | 0.255-0.598=-0.343 | | min | 9.040-9.006=0.034 | | max | 9.627-10.373=-0.746 |
|