iters=5 new-facts=1 prior-facts=1 | | mean | 326.511-326.517=-0.007 | | σ | 0.034-0.032=0.002 | | min | 326.451-326.461=-0.010 | | max | 326.536-326.541=-0.005 |
| | mean | 2587.000-2836.000=-249.000 | | σ | 0.000 | | min | 2587.000-2836.000=-249.000 | | max | 2587.000-2836.000=-249.000 |
| | mean | 0.424-0.427=-0.003 | | σ | 0.003-0.005=-0.002 | | min | 0.421-0.421=-0.000 | | max | 0.429-0.433=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.673-1988.667=0.005 | | σ | 0.012-0.018=-0.007 | | min | 1988.653-1988.644=0.009 | | max | 1988.682-1988.683=-0.001 |
| | mean | 2587.000-2836.000=-249.000 | | σ | 0.000 | | min | 2587.000-2836.000=-249.000 | | max | 2587.000-2836.000=-249.000 |
| | mean | 2.698-2.753=-0.054 | | σ | 0.090-0.228=-0.138 | | min | 2.617-2.627=-0.010 | | max | 2.798-3.157=-0.360 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.509-4813.510=-0.002 | | σ | 7.724-7.725=-0.000 | | min | 4809.980-4809.980=-0.000 | | max | 4827.326-4827.328=-0.002 |
| | mean | 2587.000-2836.000=-249.000 | | σ | 0.000 | | min | 2587.000-2836.000=-249.000 | | max | 2587.000-2836.000=-249.000 |
| | mean | 8.747-8.695=0.051 | | σ | 0.272-0.236=0.036 | | min | 8.459-8.452=0.007 | | max | 9.180-9.066=0.114 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.076-5000.948=0.129 | | σ | 0.031-0.213=-0.182 | | min | 5001.047-5000.713=0.334 | | max | 5001.123-5001.131=-0.008 |
| | mean | 2959.800-3037.800=-78.000 | | σ | 254.740-210.010=44.730 | | min | 2637.000-2836.000=-199.000 | | max | 3303.000-3337.000=-34.000 |
| | mean | 9.905-9.855=0.050 | | σ | 0.201-0.380=-0.179 | | min | 9.710-9.183=0.527 | | max | 10.242-10.086=0.156 |
|