iters=5 new-facts=1 prior-facts=1 | | mean | 272.792-272.792=-0.000 | | σ | 0.004-0.010=-0.006 | | min | 272.788-272.782=0.006 | | max | 272.797-272.806=-0.009 |
| | mean | 2511.000-2772.000=-261.000 | | σ | 0.000 | | min | 2511.000-2772.000=-261.000 | | max | 2511.000-2772.000=-261.000 |
| | mean | 0.379-0.383=-0.004 | | σ | 0.001-0.007=-0.007 | | min | 0.378-0.377=0.001 | | max | 0.380-0.396=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.225-1933.226=-0.000 | | σ | 0.008-0.021=-0.012 | | min | 1933.216-1933.211=0.005 | | max | 1933.236-1933.261=-0.026 |
| | mean | 2511.000-2772.000=-261.000 | | σ | 0.000 | | min | 2511.000-2772.000=-261.000 | | max | 2511.000-2772.000=-261.000 |
| | mean | 3.039-3.100=-0.061 | | σ | 0.066-0.131=-0.065 | | min | 2.974-2.949=0.024 | | max | 3.133-3.262=-0.129 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.956-4756.748=0.208 | | σ | 7.557-7.693=-0.136 | | min | 4753.419-4753.053=0.366 | | max | 4770.473-4770.504=-0.031 |
| | mean | 2511.000-2772.000=-261.000 | | σ | 0.000 | | min | 2511.000-2772.000=-261.000 | | max | 2511.000-2772.000=-261.000 |
| | mean | 8.571-8.367=0.204 | | σ | 0.415-0.505=-0.090 | | min | 8.030-7.768=0.261 | | max | 9.187-8.926=0.261 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.452-4944.398=0.054 | | σ | 0.022-0.151=-0.129 | | min | 4944.434-4944.129=0.305 | | max | 4944.479-4944.486=-0.007 |
| | mean | 2955.800-3014.800=-59.000 | | σ | 284.613-304.611=-19.997 | | min | 2578.000-2772.000=-194.000 | | max | 3329.000-3473.000=-144.000 |
| | mean | 8.462-8.483=-0.021 | | σ | 0.071-0.133=-0.062 | | min | 8.358-8.397=-0.039 | | max | 8.527-8.718=-0.191 |
|