iters=5 new-facts=1 prior-facts=1 | | mean | 271.953-271.595=0.359 | | σ | 0.007-0.007=0.000 | | min | 271.948-271.586=0.362 | | max | 271.965-271.603=0.362 |
| | mean | 2711.000-2708.000=3.000 | | σ | 0.000 | | min | 2711.000-2708.000=3.000 | | max | 2711.000-2708.000=3.000 |
| | mean | 0.384-0.379=0.005 | | σ | 0.008-0.001=0.007 | | min | 0.378-0.378=0.001 | | max | 0.398-0.380=0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.329-1932.002=0.326 | | σ | 0.014-0.015=-0.001 | | min | 1932.311-1931.976=0.335 | | max | 1932.344-1932.013=0.331 |
| | mean | 2711.000-2708.000=3.000 | | σ | 0.000 | | min | 2711.000-2708.000=3.000 | | max | 2711.000-2708.000=3.000 |
| | mean | 2.900-2.506=0.394 | | σ | 0.262-0.048=0.215 | | min | 2.440-2.459=-0.019 | | max | 3.085-2.569=0.516 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.096-4752.787=0.309 | | σ | 0.895-0.829=0.065 | | min | 4752.580-4752.341=0.239 | | max | 4754.687-4754.265=0.422 |
| | mean | 2711.000-2708.000=3.000 | | σ | 0.000 | | min | 2711.000-2708.000=3.000 | | max | 2711.000-2708.000=3.000 |
| | mean | 8.558-8.195=0.364 | | σ | 0.378-0.339=0.038 | | min | 7.956-7.704=0.252 | | max | 8.952-8.536=0.416 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.489-4943.207=0.282 | | σ | 0.164-0.019=0.146 | | min | 4943.196-4943.181=0.015 | | max | 4943.573-4943.228=0.345 |
| | mean | 2974.200-3030.800=-56.600 | | σ | 233.326-232.918=0.409 | | min | 2711.000-2708.000=3.000 | | max | 3301.000-3327.000=-26.000 |
| | mean | 8.416-8.564=-0.148 | | σ | 0.098-0.123=-0.024 | | min | 8.247-8.444=-0.196 | | max | 8.485-8.715=-0.229 |
|